Trace number 3380925

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095-patched (fixed)UNSAT 1093.03 146.858

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_pcb_unknown.cnf
MD5SUMe669f2d68684ca746cc80f142ad8d0dc
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark102.934
Satisfiable
(Un)Satisfiability was proved
Number of variables33320
Number of clauses766757
Sum of the clauses size2858079
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 253534
Number of clauses of size 3101881
Number of clauses of size 4611342
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...495016/instance-3380925-1305495016.cnf
2.10/2.19	c Solving...
1092.97/146.85	s UNSATISFIABLE
1092.97/146.85	
1092.97/146.85	c Models        : 0     
1092.97/146.85	c Time          : 146.658s (Solving: 144.46s 1st Model: 0.00s Unsat: 144.46s)
1092.97/146.85	c CPU Time      : 1092.820s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3380925-1305495016/watcher-3380925-1305495016 -o /tmp/evaluation-result-3380925-1305495016/solver-3380925-1305495016 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380925-1305495016.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.04 6.50 5.43 1/426 11244
/proc/meminfo: memFree=10658024/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=28116 CPUtime=0 cores=0-7
/proc/11244/stat : 11244 (claspmt) R 11242 11244 10540 0 -1 4202496 2545 0 0 0 0 0 0 0 21 0 1 0 661100268 28790784 2215 33554432000 4194304 4964800 140736842671520 18446744073709551615 242970211013 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11244/statm: 7029 2215 386 189 0 1903 0

[startup+0.0343539 s]
/proc/loadavg: 8.04 6.50 5.43 1/426 11244
/proc/meminfo: memFree=10658024/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=31732 CPUtime=0.02 cores=0-7
/proc/11244/stat : 11244 (claspmt) R 11242 11244 10540 0 -1 4202496 3730 0 0 0 2 0 0 0 21 0 1 0 661100268 32493568 3108 33554432000 4194304 4964800 140736842671520 18446744073709551615 242970211013 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11244/statm: 7933 3109 386 189 0 2807 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 31732

[startup+0.100327 s]
/proc/loadavg: 8.04 6.50 5.43 1/426 11244
/proc/meminfo: memFree=10658024/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=42548 CPUtime=0.09 cores=0-7
/proc/11244/stat : 11244 (claspmt) R 11242 11244 10540 0 -1 4202496 7247 0 0 0 9 0 0 0 21 0 1 0 661100268 43569152 5767 33554432000 4194304 4964800 140736842671520 18446744073709551615 242970211013 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11244/statm: 10637 5768 386 189 0 5511 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42548

[startup+0.300292 s]
/proc/loadavg: 8.04 6.50 5.43 1/426 11244
/proc/meminfo: memFree=10658024/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=78524 CPUtime=0.29 cores=0-7
/proc/11244/stat : 11244 (claspmt) R 11242 11244 10540 0 -1 4202496 18889 0 0 0 27 2 0 0 22 0 1 0 661100268 80408576 14196 33554432000 4194304 4964800 140736842671520 18446744073709551615 4615664 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11244/statm: 19631 14196 398 189 0 14505 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 78524

[startup+0.700223 s]
/proc/loadavg: 8.04 6.50 5.43 1/426 11244
/proc/meminfo: memFree=10658024/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=97124 CPUtime=0.69 cores=0-7
/proc/11244/stat : 11244 (claspmt) R 11242 11244 10540 0 -1 4202496 23314 0 0 0 67 2 0 0 23 0 1 0 661100268 99454976 18621 33554432000 4194304 4964800 140736842671520 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11244/statm: 24281 18621 402 189 0 19155 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 97124

[startup+1.50108 s]
/proc/loadavg: 8.04 6.50 5.43 2/427 11245
/proc/meminfo: memFree=10585228/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=97124 CPUtime=1.49 cores=0-7
/proc/11244/stat : 11244 (claspmt) R 11242 11244 10540 0 -1 4202496 23315 0 0 0 147 2 0 0 25 0 1 0 661100268 99454976 18622 33554432000 4194304 4964800 140736842671520 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11244/statm: 24281 18622 402 189 0 19155 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97124

[startup+3.10082 s]
/proc/loadavg: 8.04 6.50 5.43 2/427 11245
/proc/meminfo: memFree=10579772/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=604440 CPUtime=3.62 cores=0-7
/proc/11244/stat : 11244 (claspmt) S 11242 11244 10540 0 -1 4202496 86444 0 0 0 318 44 0 0 25 0 8 0 661100268 618946560 79265 33554432000 4194304 4964800 140736842671520 18446744073709551615 242982366105 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/11244/statm: 151110 79265 443 189 0 145459 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 604440

[startup+6.30126 s]
/proc/loadavg: 7.48 6.41 5.41 2/434 11252
/proc/meminfo: memFree=10341772/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=604440 CPUtime=6.82 cores=0-7
/proc/11244/stat : 11244 (claspmt) S 11242 11244 10540 0 -1 4202496 86714 0 0 0 638 44 0 0 25 0 8 0 661100268 618946560 79535 33554432000 4194304 4964800 140736842671520 18446744073709551615 242982366105 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/11244/statm: 151110 79535 443 189 0 145459 0
[pid=11244/tid=11246] ppid=11242 vsize=604440 CPUtime=0.11 cores=0-7
/proc/11244/task/11246/stat : 11246 (claspmt) S 11242 11244 10540 0 -1 4202560 7646 0 0 0 6 5 0 0 17 0 8 0 661100488 618946560 79535 33554432000 4194304 4964800 140736842671520 18446744073709551615 242982366105 0 0 4096 18946 18446604459089225856 0 0 -1 1 0 0 0
[pid=11244/tid=11247] ppid=11242 vsize=604440 CPUtime=0.13 cores=0-7
/proc/11244/task/11247/stat : 11247 (claspmt) S 11242 11244 10540 0 -1 4202560 8507 0 0 0 7 6 0 0 17 0 8 0 661100488 618946560 79535 33554432000 4194304 4964800 140736842671520 18446744073709551615 242982366105 0 0 4096 18946 18446604459089225856 0 0 -1 2 0 0 0
[pid=11244/tid=11248] ppid=11242 vsize=604440 CPUtime=0.12 cores=0-7
/proc/11244/task/11248/stat : 11248 (claspmt) S 11242 11244 10540 0 -1 4202560 8277 0 0 0 6 6 0 0 17 0 8 0 661100488 618946560 79535 33554432000 4194304 4964800 140736842671520 18446744073709551615 242982366105 0 0 4096 18946 18446604459089225856 0 0 -1 6 0 0 0
[pid=11244/tid=11249] ppid=11242 vsize=604440 CPUtime=0.1 cores=0-7
/proc/11244/task/11249/stat : 11249 (claspmt) S 11242 11244 10540 0 -1 4202560 8598 0 0 0 5 5 0 0 17 0 8 0 661100488 618946560 79535 33554432000 4194304 4964800 140736842671520 18446744073709551615 242982366105 0 0 4096 18946 18446604459089225856 0 0 -1 7 0 0 0
[pid=11244/tid=11250] ppid=11242 vsize=604440 CPUtime=3.86 cores=0-7
/proc/11244/task/11250/stat : 11250 (claspmt) R 11242 11244 10540 0 -1 4202560 10262 0 0 0 379 7 0 0 25 0 8 0 661100488 618946560 79535 33554432000 4194304 4964800 140736842671520 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=11244/tid=11251] ppid=11242 vsize=604440 CPUtime=0.11 cores=0-7
/proc/11244/task/11251/stat : 11251 (claspmt) S 11242 11244 10540 0 -1 4202560 8148 0 0 0 7 4 0 0 17 0 8 0 661100488 618946560 79535 33554432000 4194304 4964800 140736842671520 18446744073709551615 242982366105 0 0 4096 18946 18446604459089225856 0 0 -1 7 0 0 0
[pid=11244/tid=11252] ppid=11242 vsize=604440 CPUtime=0.13 cores=0-7
/proc/11244/task/11252/stat : 11252 (claspmt) S 11242 11244 10540 0 -1 4202560 8758 0 0 0 9 4 0 0 17 0 8 0 661100488 618946560 79535 33554432000 4194304 4964800 140736842671520 18446744073709551615 242982366105 0 0 4096 18946 18446604459089225856 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.82
Current children cumulated vsize (KiB) 604440

[startup+12.7011 s]
/proc/loadavg: 7.12 6.36 5.40 10/434 11252
/proc/meminfo: memFree=10313160/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=605364 CPUtime=23.52 cores=0-7
/proc/11244/stat : 11244 (claspmt) R 11242 11244 10540 0 -1 4202496 94807 0 0 0 2295 57 0 0 19 0 8 0 661100268 619892736 87628 33554432000 4194304 4964800 140736842671520 18446744073709551615 4669011 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/11244/statm: 151341 87628 464 189 0 145690 0
[pid=11244/tid=11246] ppid=11242 vsize=605364 CPUtime=1.61 cores=0-7
/proc/11244/task/11246/stat : 11246 (claspmt) R 11242 11244 10540 0 -1 4202560 8667 0 0 0 154 7 0 0 17 0 8 0 661100488 619892736 87628 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11244/tid=11247] ppid=11242 vsize=605364 CPUtime=1.63 cores=0-7
/proc/11244/task/11247/stat : 11247 (claspmt) R 11242 11244 10540 0 -1 4202560 9371 0 0 0 155 8 0 0 17 0 8 0 661100488 619892736 87628 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670434 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11244/tid=11248] ppid=11242 vsize=605364 CPUtime=1.62 cores=0-7
/proc/11244/task/11248/stat : 11248 (claspmt) R 11242 11244 10540 0 -1 4202560 9373 0 0 0 154 8 0 0 17 0 8 0 661100488 619892736 87628 33554432000 4194304 4964800 140736842671520 18446744073709551615 4669276 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11244/tid=11249] ppid=11242 vsize=605364 CPUtime=1.6 cores=0-7
/proc/11244/task/11249/stat : 11249 (claspmt) R 11242 11244 10540 0 -1 4202560 9805 0 0 0 153 7 0 0 17 0 8 0 661100488 619892736 87628 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11244/tid=11250] ppid=11242 vsize=605364 CPUtime=10.07 cores=0-7
/proc/11244/task/11250/stat : 11250 (claspmt) R 11242 11244 10540 0 -1 4202560 10271 0 0 0 1000 7 0 0 25 0 8 0 661100488 619892736 87628 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11244/tid=11251] ppid=11242 vsize=605364 CPUtime=1.58 cores=0-7
/proc/11244/task/11251/stat : 11251 (claspmt) R 11242 11244 10540 0 -1 4202560 9918 0 0 0 152 6 0 0 17 0 8 0 661100488 619892736 87628 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11244/tid=11252] ppid=11242 vsize=605364 CPUtime=1.63 cores=0-7
/proc/11244/task/11252/stat : 11252 (claspmt) R 11242 11244 10540 0 -1 4202560 9954 0 0 0 157 6 0 0 17 0 8 0 661100488 619892736 87628 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.52
Current children cumulated vsize (KiB) 605364

[startup+25.5009 s]
/proc/loadavg: 7.45 6.47 5.45 9/434 11252
/proc/meminfo: memFree=10287600/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=607080 CPUtime=125.72 cores=0-7
/proc/11244/stat : 11244 (claspmt) R 11242 11244 10540 0 -1 4202496 101492 0 0 0 12507 65 0 0 25 0 8 0 661100268 621649920 94313 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/11244/statm: 151770 94313 464 189 0 146119 0
[pid=11244/tid=11246] ppid=11242 vsize=607080 CPUtime=14.41 cores=0-7
/proc/11244/task/11246/stat : 11246 (claspmt) R 11242 11244 10540 0 -1 4202560 9370 0 0 0 1432 9 0 0 25 0 8 0 661100488 621649920 94313 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11244/tid=11247] ppid=11242 vsize=607080 CPUtime=14.43 cores=0-7
/proc/11244/task/11247/stat : 11247 (claspmt) R 11242 11244 10540 0 -1 4202560 10128 0 0 0 1435 8 0 0 25 0 8 0 661100488 621649920 94313 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11244/tid=11248] ppid=11242 vsize=607080 CPUtime=14.41 cores=0-7
/proc/11244/task/11248/stat : 11248 (claspmt) R 11242 11244 10540 0 -1 4202560 10041 0 0 0 1433 8 0 0 25 0 8 0 661100488 621649920 94314 33554432000 4194304 4964800 140736842671520 18446744073709551615 242970211361 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11244/tid=11249] ppid=11242 vsize=607080 CPUtime=14.4 cores=0-7
/proc/11244/task/11249/stat : 11249 (claspmt) R 11242 11244 10540 0 -1 4202560 11369 0 0 0 1431 9 0 0 25 0 8 0 661100488 621649920 94314 33554432000 4194304 4964800 140736842671520 18446744073709551615 4371527 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11244/tid=11250] ppid=11242 vsize=607080 CPUtime=22.87 cores=0-7
/proc/11244/task/11250/stat : 11250 (claspmt) R 11242 11244 10540 0 -1 4202560 10276 0 0 0 2280 7 0 0 25 0 8 0 661100488 621649920 94314 33554432000 4194304 4964800 140736842671520 18446744073709551615 4651391 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11244/tid=11251] ppid=11242 vsize=607080 CPUtime=14.19 cores=0-7
/proc/11244/task/11251/stat : 11251 (claspmt) R 11242 11244 10540 0 -1 4202560 11253 0 0 0 1412 7 0 0 25 0 8 0 661100488 621649920 94314 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670640 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11244/tid=11252] ppid=11242 vsize=607080 CPUtime=14.43 cores=0-7
/proc/11244/task/11252/stat : 11252 (claspmt) R 11242 11244 10540 0 -1 4202560 11310 0 0 0 1435 8 0 0 25 0 8 0 661100488 621649920 94314 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 125.72
Current children cumulated vsize (KiB) 607080

[startup+51.1005 s]
/proc/loadavg: 7.71 6.61 5.52 9/434 11253
/proc/meminfo: memFree=10235564/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=608404 CPUtime=330.07 cores=0-7
/proc/11244/stat : 11244 (claspmt) R 11242 11244 10540 0 -1 4202496 115035 0 0 0 32922 85 0 0 25 0 8 0 661100268 623005696 107856 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/11244/statm: 152101 107856 466 189 0 146450 0
[pid=11244/tid=11246] ppid=11242 vsize=608404 CPUtime=40.01 cores=0-7
/proc/11244/task/11246/stat : 11246 (claspmt) R 11242 11244 10540 0 -1 4202560 10091 0 0 0 3991 10 0 0 25 0 8 0 661100488 623005696 107856 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11244/tid=11247] ppid=11242 vsize=608404 CPUtime=40.03 cores=0-7
/proc/11244/task/11247/stat : 11247 (claspmt) R 11242 11244 10540 0 -1 4202560 12623 0 0 0 3992 11 0 0 25 0 8 0 661100488 623005696 107856 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11244/tid=11248] ppid=11242 vsize=608404 CPUtime=39.95 cores=0-7
/proc/11244/task/11248/stat : 11248 (claspmt) R 11242 11244 10540 0 -1 4202560 11599 0 0 0 3984 11 0 0 25 0 8 0 661100488 623005696 107857 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11244/tid=11249] ppid=11242 vsize=608404 CPUtime=40 cores=0-7
/proc/11244/task/11249/stat : 11249 (claspmt) R 11242 11244 10540 0 -1 4202560 13832 0 0 0 3988 12 0 0 25 0 8 0 661100488 623005696 107857 33554432000 4194304 4964800 140736842671520 18446744073709551615 242970211361 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11244/tid=11250] ppid=11242 vsize=608404 CPUtime=48.47 cores=0-7
/proc/11244/task/11250/stat : 11250 (claspmt) R 11242 11244 10540 0 -1 4202560 11666 0 0 0 4838 9 0 0 25 0 8 0 661100488 623005696 107857 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11244/tid=11251] ppid=11242 vsize=608404 CPUtime=39.4 cores=0-7
/proc/11244/task/11251/stat : 11251 (claspmt) R 11242 11244 10540 0 -1 4202560 12773 0 0 0 3931 9 0 0 25 0 8 0 661100488 623005696 107857 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11244/tid=11252] ppid=11242 vsize=608404 CPUtime=40.03 cores=0-7
/proc/11244/task/11252/stat : 11252 (claspmt) R 11242 11244 10540 0 -1 4202560 14472 0 0 0 3989 14 0 0 25 0 8 0 661100488 623005696 107857 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 330.07
Current children cumulated vsize (KiB) 608404

[startup+102.317 s]
/proc/loadavg: 7.92 6.83 5.65 9/434 11254
/proc/meminfo: memFree=10136612/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=686632 CPUtime=739.01 cores=0-7
/proc/11244/stat : 11244 (claspmt) R 11242 11244 10540 0 -1 4202496 139027 0 0 0 73790 111 0 0 25 0 8 0 661100268 703111168 131848 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670335 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/11244/statm: 171658 131849 466 189 0 166007 0
[pid=11244/tid=11246] ppid=11242 vsize=686632 CPUtime=91.23 cores=0-7
/proc/11244/task/11246/stat : 11246 (claspmt) R 11242 11244 10540 0 -1 4202560 11145 0 0 0 9111 12 0 0 25 0 8 0 661100488 703111168 131849 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11244/tid=11247] ppid=11242 vsize=686632 CPUtime=91.24 cores=0-7
/proc/11244/task/11247/stat : 11247 (claspmt) R 11242 11244 10540 0 -1 4202560 16022 0 0 0 9110 14 0 0 25 0 8 0 661100488 703111168 131849 33554432000 4194304 4964800 140736842671520 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11244/tid=11248] ppid=11242 vsize=686632 CPUtime=91.15 cores=0-7
/proc/11244/task/11248/stat : 11248 (claspmt) R 11242 11244 10540 0 -1 4202560 14242 0 0 0 9101 14 0 0 25 0 8 0 661100488 703111168 131849 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11244/tid=11249] ppid=11242 vsize=686632 CPUtime=91.21 cores=0-7
/proc/11244/task/11249/stat : 11249 (claspmt) R 11242 11244 10540 0 -1 4202560 16423 0 0 0 9106 15 0 0 25 0 8 0 661100488 703111168 131849 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11244/tid=11250] ppid=11242 vsize=686632 CPUtime=99.69 cores=0-7
/proc/11244/task/11250/stat : 11250 (claspmt) R 11242 11244 10540 0 -1 4202560 15390 0 0 0 9956 13 0 0 25 0 8 0 661100488 703111168 131849 33554432000 4194304 4964800 140736842671520 18446744073709551615 242970211361 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11244/tid=11251] ppid=11242 vsize=686632 CPUtime=89.87 cores=0-7
/proc/11244/task/11251/stat : 11251 (claspmt) R 11242 11244 10540 0 -1 4202560 15691 0 0 0 8975 12 0 0 25 0 8 0 661100488 703111168 131849 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11244/tid=11252] ppid=11242 vsize=686632 CPUtime=91.24 cores=0-7
/proc/11244/task/11252/stat : 11252 (claspmt) R 11242 11244 10540 0 -1 4202560 21586 0 0 0 9103 21 0 0 25 0 8 0 661100488 703111168 131849 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 739.01
Current children cumulated vsize (KiB) 686632

Solver just ended. Dumping a history of the last processes samples

[startup+127.9 s]
/proc/loadavg: 8.03 6.94 5.72 9/434 11255
/proc/meminfo: memFree=10111064/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=754864 CPUtime=943.29 cores=0-7
/proc/11244/stat : 11244 (claspmt) R 11242 11244 10540 0 -1 4202496 145443 0 0 0 94210 119 0 0 25 0 8 0 661100268 772980736 138264 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670335 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/11244/statm: 188716 138264 466 189 0 183065 0
[pid=11244/tid=11246] ppid=11242 vsize=754864 CPUtime=116.81 cores=0-7
/proc/11244/task/11246/stat : 11246 (claspmt) R 11242 11244 10540 0 -1 4202560 11994 0 0 0 11668 13 0 0 25 0 8 0 661100488 772980736 138264 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11244/tid=11247] ppid=11242 vsize=754864 CPUtime=116.83 cores=0-7
/proc/11244/task/11247/stat : 11247 (claspmt) R 11242 11244 10540 0 -1 4202560 16557 0 0 0 11668 15 0 0 25 0 8 0 661100488 772980736 138264 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11244/tid=11248] ppid=11242 vsize=754864 CPUtime=116.72 cores=0-7
/proc/11244/task/11248/stat : 11248 (claspmt) R 11242 11244 10540 0 -1 4202560 15001 0 0 0 11657 15 0 0 25 0 8 0 661100488 772980736 138264 33554432000 4194304 4964800 140736842671520 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11244/tid=11249] ppid=11242 vsize=754864 CPUtime=116.8 cores=0-7
/proc/11244/task/11249/stat : 11249 (claspmt) R 11242 11244 10540 0 -1 4202560 17571 0 0 0 11663 17 0 0 25 0 8 0 661100488 772980736 138264 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11244/tid=11250] ppid=11242 vsize=754864 CPUtime=125.27 cores=0-7
/proc/11244/task/11250/stat : 11250 (claspmt) R 11242 11244 10540 0 -1 4202560 16588 0 0 0 12513 14 0 0 25 0 8 0 661100488 772980736 138264 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11244/tid=11251] ppid=11242 vsize=754864 CPUtime=115.08 cores=0-7
/proc/11244/task/11251/stat : 11251 (claspmt) R 11242 11244 10540 0 -1 4202560 16363 0 0 0 11496 12 0 0 25 0 8 0 661100488 772980736 138264 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11244/tid=11252] ppid=11242 vsize=754864 CPUtime=116.83 cores=0-7
/proc/11244/task/11252/stat : 11252 (claspmt) R 11242 11244 10540 0 -1 4202560 22594 0 0 0 11659 24 0 0 25 0 8 0 661100488 772980736 138264 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 943.29
Current children cumulated vsize (KiB) 754864

[startup+134.301 s]
/proc/loadavg: 8.02 6.98 5.74 9/434 11255
/proc/meminfo: memFree=10108460/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=756596 CPUtime=994.39 cores=0-7
/proc/11244/stat : 11244 (claspmt) R 11242 11244 10540 0 -1 4202496 145969 0 0 0 99320 119 0 0 25 0 8 0 661100268 774754304 138790 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/11244/statm: 189149 138790 466 189 0 183498 0
[pid=11244/tid=11246] ppid=11242 vsize=756596 CPUtime=123.21 cores=0-7
/proc/11244/task/11246/stat : 11246 (claspmt) R 11242 11244 10540 0 -1 4202560 11994 0 0 0 12308 13 0 0 25 0 8 0 661100488 774754304 138790 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11244/tid=11247] ppid=11242 vsize=756596 CPUtime=123.23 cores=0-7
/proc/11244/task/11247/stat : 11247 (claspmt) R 11242 11244 10540 0 -1 4202560 16629 0 0 0 12308 15 0 0 25 0 8 0 661100488 774754304 138790 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11244/tid=11248] ppid=11242 vsize=756596 CPUtime=123.12 cores=0-7
/proc/11244/task/11248/stat : 11248 (claspmt) R 11242 11244 10540 0 -1 4202560 15001 0 0 0 12297 15 0 0 25 0 8 0 661100488 774754304 138790 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11244/tid=11249] ppid=11242 vsize=756596 CPUtime=123.2 cores=0-7
/proc/11244/task/11249/stat : 11249 (claspmt) R 11242 11244 10540 0 -1 4202560 17697 0 0 0 12303 17 0 0 25 0 8 0 661100488 774754304 138790 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11244/tid=11250] ppid=11242 vsize=756596 CPUtime=131.67 cores=0-7
/proc/11244/task/11250/stat : 11250 (claspmt) R 11242 11244 10540 0 -1 4202560 16622 0 0 0 13153 14 0 0 25 0 8 0 661100488 774754304 138790 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11244/tid=11251] ppid=11242 vsize=756596 CPUtime=121.38 cores=0-7
/proc/11244/task/11251/stat : 11251 (claspmt) R 11242 11244 10540 0 -1 4202560 16424 0 0 0 12126 12 0 0 25 0 8 0 661100488 774754304 138790 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11244/tid=11252] ppid=11242 vsize=756596 CPUtime=123.23 cores=0-7
/proc/11244/task/11252/stat : 11252 (claspmt) R 11242 11244 10540 0 -1 4202560 22827 0 0 0 12299 24 0 0 25 0 8 0 661100488 774754304 138790 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670440 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 994.39
Current children cumulated vsize (KiB) 756596

[startup+140.701 s]
/proc/loadavg: 8.02 6.99 5.75 9/434 11255
/proc/meminfo: memFree=10108456/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=756596 CPUtime=1045.58 cores=0-7
/proc/11244/stat : 11244 (claspmt) R 11242 11244 10540 0 -1 4202496 145994 0 0 0 104438 120 0 0 25 0 8 0 661100268 774754304 138815 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/11244/statm: 189149 138815 466 189 0 183498 0
[pid=11244/tid=11246] ppid=11242 vsize=756596 CPUtime=129.63 cores=0-7
/proc/11244/task/11246/stat : 11246 (claspmt) R 11242 11244 10540 0 -1 4202560 11994 0 0 0 12950 13 0 0 25 0 8 0 661100488 774754304 138815 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11244/tid=11247] ppid=11242 vsize=756596 CPUtime=129.65 cores=0-7
/proc/11244/task/11247/stat : 11247 (claspmt) R 11242 11244 10540 0 -1 4202560 16635 0 0 0 12950 15 0 0 25 0 8 0 661100488 774754304 138815 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11244/tid=11248] ppid=11242 vsize=756596 CPUtime=129.52 cores=0-7
/proc/11244/task/11248/stat : 11248 (claspmt) R 11242 11244 10540 0 -1 4202560 15001 0 0 0 12937 15 0 0 25 0 8 0 661100488 774754304 138815 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11244/tid=11249] ppid=11242 vsize=756596 CPUtime=129.62 cores=0-7
/proc/11244/task/11249/stat : 11249 (claspmt) R 11242 11244 10540 0 -1 4202560 17697 0 0 0 12945 17 0 0 25 0 8 0 661100488 774754304 138815 33554432000 4194304 4964800 140736842671520 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11244/tid=11250] ppid=11242 vsize=756596 CPUtime=138.09 cores=0-7
/proc/11244/task/11250/stat : 11250 (claspmt) R 11242 11244 10540 0 -1 4202560 16629 0 0 0 13795 14 0 0 25 0 8 0 661100488 774754304 138815 33554432000 4194304 4964800 140736842671520 18446744073709551615 4371527 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11244/tid=11251] ppid=11242 vsize=756596 CPUtime=127.7 cores=0-7
/proc/11244/task/11251/stat : 11251 (claspmt) R 11242 11244 10540 0 -1 4202560 16436 0 0 0 12758 12 0 0 25 0 8 0 661100488 774754304 138815 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11244/tid=11252] ppid=11242 vsize=756596 CPUtime=129.65 cores=0-7
/proc/11244/task/11252/stat : 11252 (claspmt) R 11242 11244 10540 0 -1 4202560 22827 0 0 0 12941 24 0 0 25 0 8 0 661100488 774754304 138815 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1045.58
Current children cumulated vsize (KiB) 756596

[startup+143.901 s]
/proc/loadavg: 8.02 6.99 5.75 9/434 11256
/proc/meminfo: memFree=10108456/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=756596 CPUtime=1071.04 cores=0-7
/proc/11244/stat : 11244 (claspmt) R 11242 11244 10540 0 -1 4202496 145994 0 0 0 106984 120 0 0 25 0 8 0 661100268 774754304 138815 33554432000 4194304 4964800 140736842671520 18446744073709551615 4668773 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/11244/statm: 189149 138815 466 189 0 183498 0
[pid=11244/tid=11246] ppid=11242 vsize=756596 CPUtime=132.81 cores=0-7
/proc/11244/task/11246/stat : 11246 (claspmt) R 11242 11244 10540 0 -1 4202560 11994 0 0 0 13268 13 0 0 25 0 8 0 661100488 774754304 138815 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11244/tid=11247] ppid=11242 vsize=756596 CPUtime=132.83 cores=0-7
/proc/11244/task/11247/stat : 11247 (claspmt) R 11242 11244 10540 0 -1 4202560 16635 0 0 0 13268 15 0 0 25 0 8 0 661100488 774754304 138815 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11244/tid=11248] ppid=11242 vsize=756596 CPUtime=132.7 cores=0-7
/proc/11244/task/11248/stat : 11248 (claspmt) R 11242 11244 10540 0 -1 4202560 15001 0 0 0 13255 15 0 0 25 0 8 0 661100488 774754304 138815 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11244/tid=11249] ppid=11242 vsize=756596 CPUtime=132.8 cores=0-7
/proc/11244/task/11249/stat : 11249 (claspmt) R 11242 11244 10540 0 -1 4202560 17697 0 0 0 13263 17 0 0 25 0 8 0 661100488 774754304 138815 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11244/tid=11250] ppid=11242 vsize=756596 CPUtime=141.27 cores=0-7
/proc/11244/task/11250/stat : 11250 (claspmt) R 11242 11244 10540 0 -1 4202560 16629 0 0 0 14113 14 0 0 25 0 8 0 661100488 774754304 138815 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11244/tid=11251] ppid=11242 vsize=756596 CPUtime=130.85 cores=0-7
/proc/11244/task/11251/stat : 11251 (claspmt) R 11242 11244 10540 0 -1 4202560 16436 0 0 0 13073 12 0 0 25 0 8 0 661100488 774754304 138815 33554432000 4194304 4964800 140736842671520 18446744073709551615 4362958 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11244/tid=11252] ppid=11242 vsize=756596 CPUtime=132.83 cores=0-7
/proc/11244/task/11252/stat : 11252 (claspmt) R 11242 11244 10540 0 -1 4202560 22827 0 0 0 13259 24 0 0 25 0 8 0 661100488 774754304 138815 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670403 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1071.04
Current children cumulated vsize (KiB) 756596

[startup+145.501 s]
/proc/loadavg: 8.02 7.01 5.77 9/434 11256
/proc/meminfo: memFree=10108332/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=756596 CPUtime=1083.82 cores=0-7
/proc/11244/stat : 11244 (claspmt) R 11242 11244 10540 0 -1 4202496 146015 0 0 0 108262 120 0 0 25 0 8 0 661100268 774754304 138836 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/11244/statm: 189149 138836 466 189 0 183498 0
[pid=11244/tid=11246] ppid=11242 vsize=756596 CPUtime=134.41 cores=0-7
/proc/11244/task/11246/stat : 11246 (claspmt) R 11242 11244 10540 0 -1 4202560 12015 0 0 0 13428 13 0 0 25 0 8 0 661100488 774754304 138836 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11244/tid=11247] ppid=11242 vsize=756596 CPUtime=134.43 cores=0-7
/proc/11244/task/11247/stat : 11247 (claspmt) R 11242 11244 10540 0 -1 4202560 16635 0 0 0 13428 15 0 0 25 0 8 0 661100488 774754304 138836 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11244/tid=11248] ppid=11242 vsize=756596 CPUtime=134.3 cores=0-7
/proc/11244/task/11248/stat : 11248 (claspmt) R 11242 11244 10540 0 -1 4202560 15001 0 0 0 13415 15 0 0 25 0 8 0 661100488 774754304 138836 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11244/tid=11249] ppid=11242 vsize=756596 CPUtime=134.4 cores=0-7
/proc/11244/task/11249/stat : 11249 (claspmt) R 11242 11244 10540 0 -1 4202560 17697 0 0 0 13423 17 0 0 25 0 8 0 661100488 774754304 138836 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11244/tid=11250] ppid=11242 vsize=756596 CPUtime=142.87 cores=0-7
/proc/11244/task/11250/stat : 11250 (claspmt) R 11242 11244 10540 0 -1 4202560 16629 0 0 0 14273 14 0 0 25 0 8 0 661100488 774754304 138836 33554432000 4194304 4964800 140736842671520 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11244/tid=11251] ppid=11242 vsize=756596 CPUtime=132.42 cores=0-7
/proc/11244/task/11251/stat : 11251 (claspmt) R 11242 11244 10540 0 -1 4202560 16436 0 0 0 13230 12 0 0 25 0 8 0 661100488 774754304 138836 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11244/tid=11252] ppid=11242 vsize=756596 CPUtime=134.43 cores=0-7
/proc/11244/task/11252/stat : 11252 (claspmt) R 11242 11244 10540 0 -1 4202560 22827 0 0 0 13419 24 0 0 25 0 8 0 661100488 774754304 138836 33554432000 4194304 4964800 140736842671520 18446744073709551615 4320890 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1083.82
Current children cumulated vsize (KiB) 756596

[startup+146.317 s]
/proc/loadavg: 8.02 7.01 5.77 9/434 11256
/proc/meminfo: memFree=10108332/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=756596 CPUtime=1090.33 cores=0-7
/proc/11244/stat : 11244 (claspmt) R 11242 11244 10540 0 -1 4202496 146016 0 0 0 108913 120 0 0 25 0 8 0 661100268 774754304 138837 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/11244/statm: 189149 138837 466 189 0 183498 0
[pid=11244/tid=11246] ppid=11242 vsize=756596 CPUtime=135.23 cores=0-7
/proc/11244/task/11246/stat : 11246 (claspmt) R 11242 11244 10540 0 -1 4202560 12015 0 0 0 13510 13 0 0 25 0 8 0 661100488 774754304 138837 33554432000 4194304 4964800 140736842671520 18446744073709551615 4684704 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11244/tid=11247] ppid=11242 vsize=756596 CPUtime=135.25 cores=0-7
/proc/11244/task/11247/stat : 11247 (claspmt) R 11242 11244 10540 0 -1 4202560 16636 0 0 0 13510 15 0 0 18 0 8 0 661100488 774754304 138837 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11244/tid=11248] ppid=11242 vsize=756596 CPUtime=135.12 cores=0-7
/proc/11244/task/11248/stat : 11248 (claspmt) R 11242 11244 10540 0 -1 4202560 15001 0 0 0 13497 15 0 0 25 0 8 0 661100488 774754304 138837 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11244/tid=11249] ppid=11242 vsize=756596 CPUtime=135.22 cores=0-7
/proc/11244/task/11249/stat : 11249 (claspmt) R 11242 11244 10540 0 -1 4202560 17697 0 0 0 13505 17 0 0 25 0 8 0 661100488 774754304 138837 33554432000 4194304 4964800 140736842671520 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11244/tid=11250] ppid=11242 vsize=756596 CPUtime=143.69 cores=0-7
/proc/11244/task/11250/stat : 11250 (claspmt) R 11242 11244 10540 0 -1 4202560 16629 0 0 0 14355 14 0 0 25 0 8 0 661100488 774754304 138837 33554432000 4194304 4964800 140736842671520 18446744073709551615 4370485 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11244/tid=11251] ppid=11242 vsize=756596 CPUtime=133.23 cores=0-7
/proc/11244/task/11251/stat : 11251 (claspmt) R 11242 11244 10540 0 -1 4202560 16436 0 0 0 13310 13 0 0 25 0 8 0 661100488 774754304 138837 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11244/tid=11252] ppid=11242 vsize=756596 CPUtime=135.25 cores=0-7
/proc/11244/task/11252/stat : 11252 (claspmt) R 11242 11244 10540 0 -1 4202560 22827 0 0 0 13501 24 0 0 25 0 8 0 661100488 774754304 138837 33554432000 4194304 4964800 140736842671520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1090.33
Current children cumulated vsize (KiB) 756596

[startup+146.701 s]
/proc/loadavg: 8.02 7.01 5.77 9/434 11256
/proc/meminfo: memFree=10108332/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=752428 CPUtime=1092.86 cores=0-7
/proc/11244/stat : 11244 (claspmt) R 11242 11244 10540 0 -1 4202496 146026 0 0 0 109165 121 0 0 17 0 1 0 661100268 770486272 137780 33554432000 4194304 4964800 140736842671520 18446744073709551615 4342080 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11244/statm: 188107 137780 476 189 0 182456 0
Current children cumulated CPU time (s) 1092.86
Current children cumulated vsize (KiB) 752428

[startup+146.801 s]
/proc/loadavg: 8.02 7.01 5.77 9/434 11256
/proc/meminfo: memFree=10108332/32951132 swapFree=67093844/67111528
[pid=11244] ppid=11242 vsize=752428 CPUtime=1092.97 cores=0-7
/proc/11244/stat : 11244 (claspmt) R 11242 11244 10540 0 -1 4202496 146026 0 0 0 109175 122 0 0 17 0 1 0 661100268 770486272 136674 33554432000 4194304 4964800 140736842671520 18446744073709551615 4646607 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11244/statm: 188107 136674 476 189 0 182456 0
Current children cumulated CPU time (s) 1092.97
Current children cumulated vsize (KiB) 752428

Child status: 20
Real time (s): 146.858
CPU time (s): 1093.03
CPU user time (s): 1091.78
CPU system time (s): 1.24981
CPU usage (%): 744.275
Max. virtual memory (cumulated for all children) (KiB): 756596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1091.78
system time used= 1.24981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146027
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63275
involuntary context switches= 5436

runsolver used 0.606907 second user time and 1.52177 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-15 23:30:16
IDJOB=3380925
IDBENCH=82500
IDSOLVER=1865
FILE ID=node128/3380925-1305495016
RUNJOBID= node128-1305488489-10554
PBS_JOBID= 13325400
Free space on /tmp= 73572 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/manthey/traffic/traffic_pcb_unknown.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3380925-1305495016/watcher-3380925-1305495016 -o /tmp/evaluation-result-3380925-1305495016/solver-3380925-1305495016 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380925-1305495016.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= e669f2d68684ca746cc80f142ad8d0dc
RANDOM SEED=460710332

node128.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      10658428 kB
Buffers:        292400 kB
Cached:        3252692 kB
SwapCached:       1440 kB
Active:       19792216 kB
Inactive:      2167024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      10658428 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:           19608 kB
Writeback:           0 kB
AnonPages:    18412760 kB
Mapped:          36548 kB
Slab:           191816 kB
PageTables:      69448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 123667528 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73572 MiB
End job on node128 at 2011-05-15 23:32:43