Trace number 3380837

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 814.525 767.251

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-27-step13.cnf
MD5SUM52e16341bcff805ef2d6abe4e95359a0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark29.8475
Satisfiable
(Un)Satisfiability was proved
Number of variables224228
Number of clauses5314673
Sum of the clauses size11732345
Maximum clause length3193
Minimum clause length1
Number of clauses of size 1556
Number of clauses of size 25229536
Number of clauses of size 36084
Number of clauses of size 49856
Number of clauses of size 58159
Number of clauses of size over 560482

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...493743/instance-3380837-1305493743.cnf
1.38/1.42	c Solving...
814.47/767.24	s UNSATISFIABLE
814.47/767.24	
814.47/767.24	c Models        : 0     
814.47/767.24	c Time          : 767.035s (Solving: 765.61s 1st Model: 0.00s Unsat: 765.61s)
814.47/767.24	c CPU Time      : 814.310s

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-3380837-1305493743/watcher-3380837-1305493743 -o /tmp/evaluation-result-3380837-1305493743/solver-3380837-1305493743 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380837-1305493743.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: 7.50 8.05 8.00 2/426 10964
/proc/meminfo: memFree=10588704/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=49348 CPUtime=0 cores=0-7
/proc/10964/stat : 10964 (claspmt) R 10962 10964 10540 0 -1 4202496 3398 0 0 0 0 0 0 0 21 0 1 0 660973227 50532352 3329 33554432000 4194304 4964800 140733966643824 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10964/statm: 12337 3336 376 189 0 7211 0

[startup+0.032432 s]
/proc/loadavg: 7.50 8.05 8.00 2/426 10964
/proc/meminfo: memFree=10588704/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=62488 CPUtime=0.02 cores=0-7
/proc/10964/stat : 10964 (claspmt) R 10962 10964 10540 0 -1 4202496 10794 0 0 0 1 1 0 0 21 0 1 0 660973227 63987712 9721 33554432000 4194304 4964800 140733966643824 18446744073709551615 4679094 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10964/statm: 15622 9730 377 189 0 10496 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 62488

[startup+0.100411 s]
/proc/loadavg: 7.50 8.05 8.00 2/426 10964
/proc/meminfo: memFree=10588704/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=67140 CPUtime=0.09 cores=0-7
/proc/10964/stat : 10964 (claspmt) R 10962 10964 10540 0 -1 4202496 13620 0 0 0 7 2 0 0 21 0 1 0 660973227 68751360 11799 33554432000 4194304 4964800 140733966643824 18446744073709551615 242970211013 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10964/statm: 16785 11800 388 189 0 11659 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 67140

[startup+0.300376 s]
/proc/loadavg: 7.50 8.05 8.00 2/426 10964
/proc/meminfo: memFree=10588704/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=83628 CPUtime=0.29 cores=0-7
/proc/10964/stat : 10964 (claspmt) R 10962 10964 10540 0 -1 4202496 18018 0 0 0 26 3 0 0 22 0 1 0 660973227 85635072 15927 33554432000 4194304 4964800 140733966643824 18446744073709551615 242970550016 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10964/statm: 20907 15927 390 189 0 15781 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83628

[startup+0.70032 s]
/proc/loadavg: 7.50 8.05 8.00 2/426 10964
/proc/meminfo: memFree=10588704/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=100148 CPUtime=0.69 cores=0-7
/proc/10964/stat : 10964 (claspmt) R 10962 10964 10540 0 -1 4202496 22130 0 0 0 64 5 0 0 23 0 1 0 660973227 102551552 20039 33554432000 4194304 4964800 140733966643824 18446744073709551615 242970550016 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10964/statm: 25037 20040 390 189 0 19911 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 100148

[startup+1.50014 s]
/proc/loadavg: 7.50 8.05 8.00 2/427 10965
/proc/meminfo: memFree=10498060/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=651084 CPUtime=1.65 cores=0-7
/proc/10964/stat : 10964 (claspmt) S 10962 10964 10540 0 -1 4202496 78259 0 0 0 143 22 0 0 18 0 8 0 660973227 666710016 59476 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/10964/statm: 162771 59476 431 189 0 157120 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 651084

[startup+3.1009 s]
/proc/loadavg: 7.50 8.05 8.00 3/434 10972
/proc/meminfo: memFree=10261536/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=658308 CPUtime=3.84 cores=0-7
/proc/10964/stat : 10964 (claspmt) S 10962 10964 10540 0 -1 4202496 101490 0 0 0 349 35 0 0 18 0 8 0 660973227 674107392 82446 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/10964/statm: 164577 82446 437 189 0 158926 0
[pid=10964/tid=10966] ppid=10962 vsize=658308 CPUtime=0.03 cores=0-7
/proc/10964/task/10966/stat : 10966 (claspmt) S 10962 10964 10540 0 -1 4202560 7515 0 0 0 1 2 0 0 18 0 8 0 660973370 674107392 82446 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 1 0 0 0
[pid=10964/tid=10967] ppid=10962 vsize=658308 CPUtime=0.18 cores=0-7
/proc/10964/task/10967/stat : 10967 (claspmt) S 10962 10964 10540 0 -1 4202560 10403 0 0 0 15 3 0 0 18 0 8 0 660973370 674107392 82446 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 7 0 0 0
[pid=10964/tid=10968] ppid=10962 vsize=658308 CPUtime=0.17 cores=0-7
/proc/10964/task/10968/stat : 10968 (claspmt) S 10962 10964 10540 0 -1 4202560 10016 0 0 0 15 2 0 0 18 0 8 0 660973370 674107392 82446 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 1 0 0 0
[pid=10964/tid=10969] ppid=10962 vsize=658308 CPUtime=0.04 cores=0-7
/proc/10964/task/10969/stat : 10969 (claspmt) S 10962 10964 10540 0 -1 4202560 7776 0 0 0 2 2 0 0 18 0 8 0 660973370 674107392 82446 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 3 0 0 0
[pid=10964/tid=10970] ppid=10962 vsize=658308 CPUtime=1.55 cores=0-7
/proc/10964/task/10970/stat : 10970 (claspmt) R 10962 10964 10540 0 -1 4202560 11160 0 0 0 148 7 0 0 19 0 8 0 660973370 674107392 82446 33554432000 4194304 4964800 140733966643824 18446744073709551615 4670112 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10964/tid=10971] ppid=10962 vsize=658308 CPUtime=0.17 cores=0-7
/proc/10964/task/10971/stat : 10971 (claspmt) S 10962 10964 10540 0 -1 4202560 10415 0 0 0 14 3 0 0 18 0 8 0 660973370 674107392 82446 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 6 0 0 0
[pid=10964/tid=10972] ppid=10962 vsize=658308 CPUtime=0.22 cores=0-7
/proc/10964/task/10972/stat : 10972 (claspmt) S 10962 10964 10540 0 -1 4202560 10262 0 0 0 17 5 0 0 18 0 8 0 660973370 674107392 82446 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 658308

[startup+6.30135 s]
/proc/loadavg: 7.22 7.98 7.98 2/434 10972
/proc/meminfo: memFree=10259432/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=658308 CPUtime=7.04 cores=0-7
/proc/10964/stat : 10964 (claspmt) S 10962 10964 10540 0 -1 4202496 101980 0 0 0 668 36 0 0 18 0 8 0 660973227 674107392 82936 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/10964/statm: 164577 82936 437 189 0 158926 0
[pid=10964/tid=10966] ppid=10962 vsize=658308 CPUtime=0.03 cores=0-7
/proc/10964/task/10966/stat : 10966 (claspmt) S 10962 10964 10540 0 -1 4202560 7515 0 0 0 1 2 0 0 18 0 8 0 660973370 674107392 82936 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 1 0 0 0
[pid=10964/tid=10967] ppid=10962 vsize=658308 CPUtime=0.18 cores=0-7
/proc/10964/task/10967/stat : 10967 (claspmt) S 10962 10964 10540 0 -1 4202560 10403 0 0 0 15 3 0 0 18 0 8 0 660973370 674107392 82936 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 7 0 0 0
[pid=10964/tid=10968] ppid=10962 vsize=658308 CPUtime=0.17 cores=0-7
/proc/10964/task/10968/stat : 10968 (claspmt) S 10962 10964 10540 0 -1 4202560 10016 0 0 0 15 2 0 0 18 0 8 0 660973370 674107392 82936 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 1 0 0 0
[pid=10964/tid=10969] ppid=10962 vsize=658308 CPUtime=0.04 cores=0-7
/proc/10964/task/10969/stat : 10969 (claspmt) S 10962 10964 10540 0 -1 4202560 7776 0 0 0 2 2 0 0 18 0 8 0 660973370 674107392 82936 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 3 0 0 0
[pid=10964/tid=10970] ppid=10962 vsize=658308 CPUtime=4.75 cores=0-7
/proc/10964/task/10970/stat : 10970 (claspmt) R 10962 10964 10540 0 -1 4202560 11650 0 0 0 467 8 0 0 25 0 8 0 660973370 674107392 82936 33554432000 4194304 4964800 140733966643824 18446744073709551615 4668564 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10964/tid=10971] ppid=10962 vsize=658308 CPUtime=0.17 cores=0-7
/proc/10964/task/10971/stat : 10971 (claspmt) S 10962 10964 10540 0 -1 4202560 10415 0 0 0 14 3 0 0 18 0 8 0 660973370 674107392 82936 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 6 0 0 0
[pid=10964/tid=10972] ppid=10962 vsize=658308 CPUtime=0.22 cores=0-7
/proc/10964/task/10972/stat : 10972 (claspmt) S 10962 10964 10540 0 -1 4202560 10262 0 0 0 17 5 0 0 18 0 8 0 660973370 674107392 82936 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 658308

[startup+12.7012 s]
/proc/loadavg: 6.96 7.91 7.96 2/434 10972
/proc/meminfo: memFree=10259772/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=658308 CPUtime=13.44 cores=0-7
/proc/10964/stat : 10964 (claspmt) S 10962 10964 10540 0 -1 4202496 102247 0 0 0 1308 36 0 0 18 0 8 0 660973227 674107392 83203 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/10964/statm: 164577 83203 437 189 0 158926 0
[pid=10964/tid=10966] ppid=10962 vsize=658308 CPUtime=0.03 cores=0-7
/proc/10964/task/10966/stat : 10966 (claspmt) S 10962 10964 10540 0 -1 4202560 7515 0 0 0 1 2 0 0 18 0 8 0 660973370 674107392 83203 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 1 0 0 0
[pid=10964/tid=10967] ppid=10962 vsize=658308 CPUtime=0.18 cores=0-7
/proc/10964/task/10967/stat : 10967 (claspmt) S 10962 10964 10540 0 -1 4202560 10403 0 0 0 15 3 0 0 18 0 8 0 660973370 674107392 83203 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 7 0 0 0
[pid=10964/tid=10968] ppid=10962 vsize=658308 CPUtime=0.17 cores=0-7
/proc/10964/task/10968/stat : 10968 (claspmt) S 10962 10964 10540 0 -1 4202560 10016 0 0 0 15 2 0 0 18 0 8 0 660973370 674107392 83203 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 1 0 0 0
[pid=10964/tid=10969] ppid=10962 vsize=658308 CPUtime=0.04 cores=0-7
/proc/10964/task/10969/stat : 10969 (claspmt) S 10962 10964 10540 0 -1 4202560 7776 0 0 0 2 2 0 0 18 0 8 0 660973370 674107392 83203 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 3 0 0 0
[pid=10964/tid=10970] ppid=10962 vsize=658308 CPUtime=11.15 cores=0-7
/proc/10964/task/10970/stat : 10970 (claspmt) R 10962 10964 10540 0 -1 4202560 11917 0 0 0 1107 8 0 0 25 0 8 0 660973370 674107392 83203 33554432000 4194304 4964800 140733966643824 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10964/tid=10971] ppid=10962 vsize=658308 CPUtime=0.17 cores=0-7
/proc/10964/task/10971/stat : 10971 (claspmt) S 10962 10964 10540 0 -1 4202560 10415 0 0 0 14 3 0 0 18 0 8 0 660973370 674107392 83203 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 6 0 0 0
[pid=10964/tid=10972] ppid=10962 vsize=658308 CPUtime=0.22 cores=0-7
/proc/10964/task/10972/stat : 10972 (claspmt) S 10962 10964 10540 0 -1 4202560 10262 0 0 0 17 5 0 0 18 0 8 0 660973370 674107392 83203 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 13.44
Current children cumulated vsize (KiB) 658308

[startup+25.501 s]
/proc/loadavg: 6.00 7.66 7.87 2/434 10972
/proc/meminfo: memFree=10262124/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=658308 CPUtime=26.24 cores=0-7
/proc/10964/stat : 10964 (claspmt) S 10962 10964 10540 0 -1 4202496 102478 0 0 0 2588 36 0 0 18 0 8 0 660973227 674107392 83434 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/10964/statm: 164577 83434 437 189 0 158926 0
[pid=10964/tid=10966] ppid=10962 vsize=658308 CPUtime=0.03 cores=0-7
/proc/10964/task/10966/stat : 10966 (claspmt) S 10962 10964 10540 0 -1 4202560 7515 0 0 0 1 2 0 0 18 0 8 0 660973370 674107392 83434 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 1 0 0 0
[pid=10964/tid=10967] ppid=10962 vsize=658308 CPUtime=0.18 cores=0-7
/proc/10964/task/10967/stat : 10967 (claspmt) S 10962 10964 10540 0 -1 4202560 10403 0 0 0 15 3 0 0 18 0 8 0 660973370 674107392 83434 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 7 0 0 0
[pid=10964/tid=10968] ppid=10962 vsize=658308 CPUtime=0.17 cores=0-7
/proc/10964/task/10968/stat : 10968 (claspmt) S 10962 10964 10540 0 -1 4202560 10016 0 0 0 15 2 0 0 18 0 8 0 660973370 674107392 83434 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 1 0 0 0
[pid=10964/tid=10969] ppid=10962 vsize=658308 CPUtime=0.04 cores=0-7
/proc/10964/task/10969/stat : 10969 (claspmt) S 10962 10964 10540 0 -1 4202560 7776 0 0 0 2 2 0 0 18 0 8 0 660973370 674107392 83434 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 3 0 0 0
[pid=10964/tid=10970] ppid=10962 vsize=658308 CPUtime=23.94 cores=0-7
/proc/10964/task/10970/stat : 10970 (claspmt) R 10962 10964 10540 0 -1 4202560 12148 0 0 0 2386 8 0 0 25 0 8 0 660973370 674107392 83434 33554432000 4194304 4964800 140733966643824 18446744073709551615 4670640 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10964/tid=10971] ppid=10962 vsize=658308 CPUtime=0.17 cores=0-7
/proc/10964/task/10971/stat : 10971 (claspmt) S 10962 10964 10540 0 -1 4202560 10415 0 0 0 14 3 0 0 18 0 8 0 660973370 674107392 83434 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 6 0 0 0
[pid=10964/tid=10972] ppid=10962 vsize=658308 CPUtime=0.22 cores=0-7
/proc/10964/task/10972/stat : 10972 (claspmt) S 10962 10964 10540 0 -1 4202560 10262 0 0 0 17 5 0 0 18 0 8 0 660973370 674107392 83434 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 26.24
Current children cumulated vsize (KiB) 658308

[startup+51.1007 s]
/proc/loadavg: 4.29 7.12 7.69 2/434 10973
/proc/meminfo: memFree=10262176/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=658308 CPUtime=51.84 cores=0-7
/proc/10964/stat : 10964 (claspmt) S 10962 10964 10540 0 -1 4202496 102819 0 0 0 5147 37 0 0 18 0 8 0 660973227 674107392 83775 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/10964/statm: 164577 83775 437 189 0 158926 0
[pid=10964/tid=10966] ppid=10962 vsize=658308 CPUtime=0.03 cores=0-7
/proc/10964/task/10966/stat : 10966 (claspmt) S 10962 10964 10540 0 -1 4202560 7515 0 0 0 1 2 0 0 18 0 8 0 660973370 674107392 83775 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 1 0 0 0
[pid=10964/tid=10967] ppid=10962 vsize=658308 CPUtime=0.18 cores=0-7
/proc/10964/task/10967/stat : 10967 (claspmt) S 10962 10964 10540 0 -1 4202560 10403 0 0 0 15 3 0 0 18 0 8 0 660973370 674107392 83775 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 7 0 0 0
[pid=10964/tid=10968] ppid=10962 vsize=658308 CPUtime=0.17 cores=0-7
/proc/10964/task/10968/stat : 10968 (claspmt) S 10962 10964 10540 0 -1 4202560 10016 0 0 0 15 2 0 0 18 0 8 0 660973370 674107392 83775 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 1 0 0 0
[pid=10964/tid=10969] ppid=10962 vsize=658308 CPUtime=0.04 cores=0-7
/proc/10964/task/10969/stat : 10969 (claspmt) S 10962 10964 10540 0 -1 4202560 7776 0 0 0 2 2 0 0 18 0 8 0 660973370 674107392 83775 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 3 0 0 0
[pid=10964/tid=10970] ppid=10962 vsize=658308 CPUtime=49.54 cores=0-7
/proc/10964/task/10970/stat : 10970 (claspmt) R 10962 10964 10540 0 -1 4202560 12489 0 0 0 4946 8 0 0 25 0 8 0 660973370 674107392 83775 33554432000 4194304 4964800 140733966643824 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10964/tid=10971] ppid=10962 vsize=658308 CPUtime=0.17 cores=0-7
/proc/10964/task/10971/stat : 10971 (claspmt) S 10962 10964 10540 0 -1 4202560 10415 0 0 0 14 3 0 0 18 0 8 0 660973370 674107392 83775 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 6 0 0 0
[pid=10964/tid=10972] ppid=10962 vsize=658308 CPUtime=0.22 cores=0-7
/proc/10964/task/10972/stat : 10972 (claspmt) S 10962 10964 10540 0 -1 4202560 10262 0 0 0 17 5 0 0 18 0 8 0 660973370 674107392 83775 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.84
Current children cumulated vsize (KiB) 658308

[startup+102.315 s]
/proc/loadavg: 2.43 6.18 7.33 2/434 10974
/proc/meminfo: memFree=10260160/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=658308 CPUtime=103.06 cores=0-7
/proc/10964/stat : 10964 (claspmt) S 10962 10964 10540 0 -1 4202496 103222 0 0 0 10269 37 0 0 18 0 8 0 660973227 674107392 84178 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/10964/statm: 164577 84178 437 189 0 158926 0
[pid=10964/tid=10966] ppid=10962 vsize=658308 CPUtime=0.03 cores=0-7
/proc/10964/task/10966/stat : 10966 (claspmt) S 10962 10964 10540 0 -1 4202560 7515 0 0 0 1 2 0 0 18 0 8 0 660973370 674107392 84178 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 1 0 0 0
[pid=10964/tid=10967] ppid=10962 vsize=658308 CPUtime=0.18 cores=0-7
/proc/10964/task/10967/stat : 10967 (claspmt) S 10962 10964 10540 0 -1 4202560 10403 0 0 0 15 3 0 0 18 0 8 0 660973370 674107392 84178 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 7 0 0 0
[pid=10964/tid=10968] ppid=10962 vsize=658308 CPUtime=0.17 cores=0-7
/proc/10964/task/10968/stat : 10968 (claspmt) S 10962 10964 10540 0 -1 4202560 10016 0 0 0 15 2 0 0 18 0 8 0 660973370 674107392 84178 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 1 0 0 0

################
# More data... #
################

[pid=10964/tid=10968] ppid=10962 vsize=658308 CPUtime=0.17 cores=0-7
/proc/10964/task/10968/stat : 10968 (claspmt) S 10962 10964 10540 0 -1 4202560 10016 0 0 0 15 2 0 0 18 0 8 0 660973370 674107392 85105 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 1 0 0 0
[pid=10964/tid=10969] ppid=10962 vsize=658308 CPUtime=0.04 cores=0-7
/proc/10964/task/10969/stat : 10969 (claspmt) S 10962 10964 10540 0 -1 4202560 7776 0 0 0 2 2 0 0 18 0 8 0 660973370 674107392 85105 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 3 0 0 0
[pid=10964/tid=10970] ppid=10962 vsize=658308 CPUtime=580.75 cores=0-7
/proc/10964/task/10970/stat : 10970 (claspmt) R 10962 10964 10540 0 -1 4202560 13819 0 0 0 58065 10 0 0 25 0 8 0 660973370 674107392 85105 33554432000 4194304 4964800 140733966643824 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10964/tid=10971] ppid=10962 vsize=658308 CPUtime=0.17 cores=0-7
/proc/10964/task/10971/stat : 10971 (claspmt) S 10962 10964 10540 0 -1 4202560 10415 0 0 0 14 3 0 0 18 0 8 0 660973370 674107392 85105 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 6 0 0 0
[pid=10964/tid=10972] ppid=10962 vsize=658308 CPUtime=0.22 cores=0-7
/proc/10964/task/10972/stat : 10972 (claspmt) S 10962 10964 10540 0 -1 4202560 10262 0 0 0 17 5 0 0 18 0 8 0 660973370 674107392 85105 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 583.04
Current children cumulated vsize (KiB) 658308

[startup+642.301 s]
/proc/loadavg: 1.00 1.85 4.53 2/434 10990
/proc/meminfo: memFree=10256624/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=658308 CPUtime=643.05 cores=0-7
/proc/10964/stat : 10964 (claspmt) S 10962 10964 10540 0 -1 4202496 104151 0 0 0 64267 38 0 0 18 0 8 0 660973227 674107392 85107 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/10964/statm: 164577 85107 437 189 0 158926 0
[pid=10964/tid=10966] ppid=10962 vsize=658308 CPUtime=0.03 cores=0-7
/proc/10964/task/10966/stat : 10966 (claspmt) S 10962 10964 10540 0 -1 4202560 7515 0 0 0 1 2 0 0 18 0 8 0 660973370 674107392 85107 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 1 0 0 0
[pid=10964/tid=10967] ppid=10962 vsize=658308 CPUtime=0.18 cores=0-7
/proc/10964/task/10967/stat : 10967 (claspmt) S 10962 10964 10540 0 -1 4202560 10403 0 0 0 15 3 0 0 18 0 8 0 660973370 674107392 85107 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 7 0 0 0
[pid=10964/tid=10968] ppid=10962 vsize=658308 CPUtime=0.17 cores=0-7
/proc/10964/task/10968/stat : 10968 (claspmt) S 10962 10964 10540 0 -1 4202560 10016 0 0 0 15 2 0 0 18 0 8 0 660973370 674107392 85107 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 1 0 0 0
[pid=10964/tid=10969] ppid=10962 vsize=658308 CPUtime=0.04 cores=0-7
/proc/10964/task/10969/stat : 10969 (claspmt) S 10962 10964 10540 0 -1 4202560 7776 0 0 0 2 2 0 0 18 0 8 0 660973370 674107392 85107 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 3 0 0 0
[pid=10964/tid=10970] ppid=10962 vsize=658308 CPUtime=640.76 cores=0-7
/proc/10964/task/10970/stat : 10970 (claspmt) R 10962 10964 10540 0 -1 4202560 13821 0 0 0 64066 10 0 0 25 0 8 0 660973370 674107392 85107 33554432000 4194304 4964800 140733966643824 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10964/tid=10971] ppid=10962 vsize=658308 CPUtime=0.17 cores=0-7
/proc/10964/task/10971/stat : 10971 (claspmt) S 10962 10964 10540 0 -1 4202560 10415 0 0 0 14 3 0 0 18 0 8 0 660973370 674107392 85107 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 6 0 0 0
[pid=10964/tid=10972] ppid=10962 vsize=658308 CPUtime=0.22 cores=0-7
/proc/10964/task/10972/stat : 10972 (claspmt) S 10962 10964 10540 0 -1 4202560 10262 0 0 0 17 5 0 0 18 0 8 0 660973370 674107392 85107 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 643.05
Current children cumulated vsize (KiB) 658308

[startup+702.301 s]
/proc/loadavg: 1.00 1.69 4.31 2/434 10991
/proc/meminfo: memFree=10256496/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=658308 CPUtime=703.04 cores=0-7
/proc/10964/stat : 10964 (claspmt) S 10962 10964 10540 0 -1 4202496 104151 0 0 0 70266 38 0 0 18 0 8 0 660973227 674107392 85107 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/10964/statm: 164577 85107 437 189 0 158926 0
[pid=10964/tid=10966] ppid=10962 vsize=658308 CPUtime=0.03 cores=0-7
/proc/10964/task/10966/stat : 10966 (claspmt) S 10962 10964 10540 0 -1 4202560 7515 0 0 0 1 2 0 0 18 0 8 0 660973370 674107392 85107 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 1 0 0 0
[pid=10964/tid=10967] ppid=10962 vsize=658308 CPUtime=0.18 cores=0-7
/proc/10964/task/10967/stat : 10967 (claspmt) S 10962 10964 10540 0 -1 4202560 10403 0 0 0 15 3 0 0 18 0 8 0 660973370 674107392 85107 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 7 0 0 0
[pid=10964/tid=10968] ppid=10962 vsize=658308 CPUtime=0.17 cores=0-7
/proc/10964/task/10968/stat : 10968 (claspmt) S 10962 10964 10540 0 -1 4202560 10016 0 0 0 15 2 0 0 18 0 8 0 660973370 674107392 85107 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 1 0 0 0
[pid=10964/tid=10969] ppid=10962 vsize=658308 CPUtime=0.04 cores=0-7
/proc/10964/task/10969/stat : 10969 (claspmt) S 10962 10964 10540 0 -1 4202560 7776 0 0 0 2 2 0 0 18 0 8 0 660973370 674107392 85107 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 3 0 0 0
[pid=10964/tid=10970] ppid=10962 vsize=658308 CPUtime=700.75 cores=0-7
/proc/10964/task/10970/stat : 10970 (claspmt) R 10962 10964 10540 0 -1 4202560 13821 0 0 0 70065 10 0 0 25 0 8 0 660973370 674107392 85107 33554432000 4194304 4964800 140733966643824 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10964/tid=10971] ppid=10962 vsize=658308 CPUtime=0.17 cores=0-7
/proc/10964/task/10971/stat : 10971 (claspmt) S 10962 10964 10540 0 -1 4202560 10415 0 0 0 14 3 0 0 18 0 8 0 660973370 674107392 85107 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 6 0 0 0
[pid=10964/tid=10972] ppid=10962 vsize=658308 CPUtime=0.22 cores=0-7
/proc/10964/task/10972/stat : 10972 (claspmt) S 10962 10964 10540 0 -1 4202560 10262 0 0 0 17 5 0 0 18 0 8 0 660973370 674107392 85107 33554432000 4194304 4964800 140733966643824 18446744073709551615 242982366105 0 0 4096 18946 18446604469213821120 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 703.04
Current children cumulated vsize (KiB) 658308

[startup+762.318 s]
/proc/loadavg: 1.00 1.56 4.10 9/434 10993
/proc/meminfo: memFree=10244580/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=661080 CPUtime=776.65 cores=0-7
/proc/10964/stat : 10964 (claspmt) R 10962 10964 10540 0 -1 4202496 107700 0 0 0 77625 40 0 0 20 0 8 0 660973227 676945920 88656 33554432000 4194304 4964800 140733966643824 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/10964/statm: 165270 88656 458 189 0 159619 0
[pid=10964/tid=10966] ppid=10962 vsize=661080 CPUtime=1.97 cores=0-7
/proc/10964/task/10966/stat : 10966 (claspmt) R 10962 10964 10540 0 -1 4202560 7918 0 0 0 195 2 0 0 20 0 8 0 660973370 676945920 88656 33554432000 4194304 4964800 140733966643824 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10964/tid=10967] ppid=10962 vsize=661080 CPUtime=2.11 cores=0-7
/proc/10964/task/10967/stat : 10967 (claspmt) R 10962 10964 10540 0 -1 4202560 10983 0 0 0 208 3 0 0 20 0 8 0 660973370 676945920 88656 33554432000 4194304 4964800 140733966643824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10964/tid=10968] ppid=10962 vsize=661080 CPUtime=2.11 cores=0-7
/proc/10964/task/10968/stat : 10968 (claspmt) R 10962 10964 10540 0 -1 4202560 10719 0 0 0 208 3 0 0 20 0 8 0 660973370 676945920 88656 33554432000 4194304 4964800 140733966643824 18446744073709551615 4629424 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10964/tid=10969] ppid=10962 vsize=661080 CPUtime=1.95 cores=0-7
/proc/10964/task/10969/stat : 10969 (claspmt) R 10962 10964 10540 0 -1 4202560 8180 0 0 0 193 2 0 0 20 0 8 0 660973370 676945920 88656 33554432000 4194304 4964800 140733966643824 18446744073709551615 4670282 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10964/tid=10970] ppid=10962 vsize=661080 CPUtime=760.76 cores=0-7
/proc/10964/task/10970/stat : 10970 (claspmt) R 10962 10964 10540 0 -1 4202560 13830 0 0 0 76066 10 0 0 25 0 8 0 660973370 676945920 88656 33554432000 4194304 4964800 140733966643824 18446744073709551615 4399307 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10964/tid=10971] ppid=10962 vsize=661080 CPUtime=2.12 cores=0-7
/proc/10964/task/10971/stat : 10971 (claspmt) R 10962 10964 10540 0 -1 4202560 10957 0 0 0 209 3 0 0 20 0 8 0 660973370 676945920 88656 33554432000 4194304 4964800 140733966643824 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10964/tid=10972] ppid=10962 vsize=661080 CPUtime=2.18 cores=0-7
/proc/10964/task/10972/stat : 10972 (claspmt) R 10962 10964 10540 0 -1 4202560 10759 0 0 0 213 5 0 0 20 0 8 0 660973370 676945920 88656 33554432000 4194304 4964800 140733966643824 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 776.65
Current children cumulated vsize (KiB) 661080

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

[startup+764.701 s]
/proc/loadavg: 1.56 1.67 4.12 9/434 10993
/proc/meminfo: memFree=10240364/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=662288 CPUtime=795.69 cores=0-7
/proc/10964/stat : 10964 (claspmt) R 10962 10964 10540 0 -1 4202496 108785 0 0 0 79527 42 0 0 25 0 8 0 660973227 678182912 89741 33554432000 4194304 4964800 140733966643824 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/10964/statm: 165572 89741 458 189 0 159921 0
[pid=10964/tid=10966] ppid=10962 vsize=662288 CPUtime=4.35 cores=0-7
/proc/10964/task/10966/stat : 10966 (claspmt) R 10962 10964 10540 0 -1 4202560 8013 0 0 0 433 2 0 0 25 0 8 0 660973370 678182912 89741 33554432000 4194304 4964800 140733966643824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10964/tid=10967] ppid=10962 vsize=662288 CPUtime=4.49 cores=0-7
/proc/10964/task/10967/stat : 10967 (claspmt) R 10962 10964 10540 0 -1 4202560 11550 0 0 0 446 3 0 0 25 0 8 0 660973370 678182912 89741 33554432000 4194304 4964800 140733966643824 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10964/tid=10968] ppid=10962 vsize=662288 CPUtime=4.5 cores=0-7
/proc/10964/task/10968/stat : 10968 (claspmt) R 10962 10964 10540 0 -1 4202560 10813 0 0 0 447 3 0 0 25 0 8 0 660973370 678182912 89741 33554432000 4194304 4964800 140733966643824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10964/tid=10969] ppid=10962 vsize=662288 CPUtime=4.31 cores=0-7
/proc/10964/task/10969/stat : 10969 (claspmt) R 10962 10964 10540 0 -1 4202560 8199 0 0 0 429 2 0 0 25 0 8 0 660973370 678182912 89741 33554432000 4194304 4964800 140733966643824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10964/tid=10970] ppid=10962 vsize=662288 CPUtime=763.15 cores=0-7
/proc/10964/task/10970/stat : 10970 (claspmt) R 10962 10964 10540 0 -1 4202560 13830 0 0 0 76305 10 0 0 25 0 8 0 660973370 678182912 89741 33554432000 4194304 4964800 140733966643824 18446744073709551615 4668994 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10964/tid=10971] ppid=10962 vsize=662288 CPUtime=4.5 cores=0-7
/proc/10964/task/10971/stat : 10971 (claspmt) R 10962 10964 10540 0 -1 4202560 10959 0 0 0 447 3 0 0 25 0 8 0 660973370 678182912 89741 33554432000 4194304 4964800 140733966643824 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10964/tid=10972] ppid=10962 vsize=662288 CPUtime=4.56 cores=0-7
/proc/10964/task/10972/stat : 10972 (claspmt) R 10962 10964 10540 0 -1 4202560 11048 0 0 0 450 6 0 0 25 0 8 0 660973370 678182912 89741 33554432000 4194304 4964800 140733966643824 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 795.69
Current children cumulated vsize (KiB) 662288

[startup+766.301 s]
/proc/loadavg: 1.56 1.67 4.12 9/434 10993
/proc/meminfo: memFree=10239120/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=662288 CPUtime=808.47 cores=0-7
/proc/10964/stat : 10964 (claspmt) R 10962 10964 10540 0 -1 4202496 109089 0 0 0 80805 42 0 0 25 0 8 0 660973227 678182912 90045 33554432000 4194304 4964800 140733966643824 18446744073709551615 4334248 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/10964/statm: 165572 90045 458 189 0 159921 0
[pid=10964/tid=10966] ppid=10962 vsize=662288 CPUtime=5.95 cores=0-7
/proc/10964/task/10966/stat : 10966 (claspmt) R 10962 10964 10540 0 -1 4202560 8022 0 0 0 593 2 0 0 25 0 8 0 660973370 678182912 90045 33554432000 4194304 4964800 140733966643824 18446744073709551615 4669008 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10964/tid=10967] ppid=10962 vsize=662288 CPUtime=6.09 cores=0-7
/proc/10964/task/10967/stat : 10967 (claspmt) R 10962 10964 10540 0 -1 4202560 11703 0 0 0 606 3 0 0 25 0 8 0 660973370 678182912 90045 33554432000 4194304 4964800 140733966643824 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10964/tid=10968] ppid=10962 vsize=662288 CPUtime=6.1 cores=0-7
/proc/10964/task/10968/stat : 10968 (claspmt) R 10962 10964 10540 0 -1 4202560 10816 0 0 0 607 3 0 0 25 0 8 0 660973370 678182912 90045 33554432000 4194304 4964800 140733966643824 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10964/tid=10969] ppid=10962 vsize=662288 CPUtime=5.89 cores=0-7
/proc/10964/task/10969/stat : 10969 (claspmt) R 10962 10964 10540 0 -1 4202560 8206 0 0 0 587 2 0 0 25 0 8 0 660973370 678182912 90045 33554432000 4194304 4964800 140733966643824 18446744073709551615 4627652 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10964/tid=10970] ppid=10962 vsize=662288 CPUtime=764.75 cores=0-7
/proc/10964/task/10970/stat : 10970 (claspmt) R 10962 10964 10540 0 -1 4202560 13830 0 0 0 76465 10 0 0 25 0 8 0 660973370 678182912 90045 33554432000 4194304 4964800 140733966643824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10964/tid=10971] ppid=10962 vsize=662288 CPUtime=6.1 cores=0-7
/proc/10964/task/10971/stat : 10971 (claspmt) R 10962 10964 10540 0 -1 4202560 10961 0 0 0 607 3 0 0 25 0 8 0 660973370 678182912 90045 33554432000 4194304 4964800 140733966643824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10964/tid=10972] ppid=10962 vsize=662288 CPUtime=6.16 cores=0-7
/proc/10964/task/10972/stat : 10972 (claspmt) R 10962 10964 10540 0 -1 4202560 11142 0 0 0 610 6 0 0 25 0 8 0 660973370 678182912 90045 33554432000 4194304 4964800 140733966643824 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 808.47
Current children cumulated vsize (KiB) 662288

[startup+766.717 s]
/proc/loadavg: 1.56 1.67 4.12 9/434 10993
/proc/meminfo: memFree=10238748/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=662288 CPUtime=811.78 cores=0-7
/proc/10964/stat : 10964 (claspmt) R 10962 10964 10540 0 -1 4202496 109092 0 0 0 81136 42 0 0 25 0 8 0 660973227 678182912 90048 33554432000 4194304 4964800 140733966643824 18446744073709551615 4629451 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/10964/statm: 165572 90048 458 189 0 159921 0
[pid=10964/tid=10966] ppid=10962 vsize=662288 CPUtime=6.37 cores=0-7
/proc/10964/task/10966/stat : 10966 (claspmt) R 10962 10964 10540 0 -1 4202560 8022 0 0 0 635 2 0 0 25 0 8 0 660973370 678182912 90048 33554432000 4194304 4964800 140733966643824 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10964/tid=10967] ppid=10962 vsize=662288 CPUtime=6.51 cores=0-7
/proc/10964/task/10967/stat : 10967 (claspmt) R 10962 10964 10540 0 -1 4202560 11703 0 0 0 648 3 0 0 25 0 8 0 660973370 678182912 90048 33554432000 4194304 4964800 140733966643824 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10964/tid=10968] ppid=10962 vsize=662288 CPUtime=6.51 cores=0-7
/proc/10964/task/10968/stat : 10968 (claspmt) R 10962 10964 10540 0 -1 4202560 10816 0 0 0 648 3 0 0 25 0 8 0 660973370 678182912 90048 33554432000 4194304 4964800 140733966643824 18446744073709551615 4629954 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10964/tid=10969] ppid=10962 vsize=662288 CPUtime=6.29 cores=0-7
/proc/10964/task/10969/stat : 10969 (claspmt) R 10962 10964 10540 0 -1 4202560 8208 0 0 0 627 2 0 0 25 0 8 0 660973370 678182912 90048 33554432000 4194304 4964800 140733966643824 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10964/tid=10970] ppid=10962 vsize=662288 CPUtime=765.16 cores=0-7
/proc/10964/task/10970/stat : 10970 (claspmt) R 10962 10964 10540 0 -1 4202560 13830 0 0 0 76506 10 0 0 25 0 8 0 660973370 678182912 90048 33554432000 4194304 4964800 140733966643824 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10964/tid=10971] ppid=10962 vsize=662288 CPUtime=6.52 cores=0-7
/proc/10964/task/10971/stat : 10971 (claspmt) R 10962 10964 10540 0 -1 4202560 10961 0 0 0 649 3 0 0 25 0 8 0 660973370 678182912 90048 33554432000 4194304 4964800 140733966643824 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10964/tid=10972] ppid=10962 vsize=662288 CPUtime=6.58 cores=0-7
/proc/10964/task/10972/stat : 10972 (claspmt) R 10962 10964 10540 0 -1 4202560 11142 0 0 0 652 6 0 0 25 0 8 0 660973370 678182912 90048 33554432000 4194304 4964800 140733966643824 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 811.78
Current children cumulated vsize (KiB) 662288

[startup+767.101 s]
/proc/loadavg: 1.56 1.67 4.12 9/434 10993
/proc/meminfo: memFree=10238748/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=623524 CPUtime=814.36 cores=0-7
/proc/10964/stat : 10964 (claspmt) R 10962 10964 10540 0 -1 4202496 109102 0 0 0 81394 42 0 0 25 0 1 0 660973227 638488576 80367 33554432000 4194304 4964800 140733966643824 18446744073709551615 242970208065 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10964/statm: 155881 80367 468 189 0 150230 0
Current children cumulated CPU time (s) 814.36
Current children cumulated vsize (KiB) 623524

[startup+767.201 s]
/proc/loadavg: 1.56 1.67 4.12 9/434 10993
/proc/meminfo: memFree=10238748/32951132 swapFree=67093844/67111528
[pid=10964] ppid=10962 vsize=581476 CPUtime=814.47 cores=0-7
/proc/10964/stat : 10964 (claspmt) R 10962 10964 10540 0 -1 4202496 109102 0 0 0 81404 43 0 0 25 0 1 0 660973227 595431424 69855 33554432000 4194304 4964800 140733966643824 18446744073709551615 242970208018 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10964/statm: 145369 69855 468 189 0 139718 0
Current children cumulated CPU time (s) 814.47
Current children cumulated vsize (KiB) 581476

Child status: 20
Real time (s): 767.251
CPU time (s): 814.525
CPU user time (s): 814.078
CPU system time (s): 0.446932
CPU usage (%): 106.161
Max. virtual memory (cumulated for all children) (KiB): 662288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 814.078
system time used= 0.446932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109103
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= 24885
involuntary context switches= 3091

runsolver used 2.95355 second user time and 6.86396 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-15 23:09:06
IDJOB=3380837
IDBENCH=82430
IDSOLVER=1865
FILE ID=node128/3380837-1305493743
RUNJOBID= node128-1305488489-10554
PBS_JOBID= 13325400
Free space on /tmp= 73500 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step13.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-3380837-1305493743/watcher-3380837-1305493743 -o /tmp/evaluation-result-3380837-1305493743/solver-3380837-1305493743 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380837-1305493743.cnf

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

MD5SUM BENCH= 52e16341bcff805ef2d6abe4e95359a0
RANDOM SEED=1210179140

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:      10589232 kB
Buffers:        291292 kB
Cached:        3319628 kB
SwapCached:       1440 kB
Active:       19861564 kB
Inactive:      2163488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      10589232 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:           93892 kB
Writeback:           0 kB
AnonPages:    18412972 kB
Mapped:          36484 kB
Slab:           195840 kB
PageTables:      69584 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 123667888 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= 73500 MiB
End job on node128 at 2011-05-15 23:21:53