Trace number 3299967

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? (TO) 4802.03 1204.59

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf
MD5SUM0385ba51f44fb47d0b0726e26312816f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables171676
Number of clauses858766
Sum of the clauses size2046721
Maximum clause length63
Minimum clause length1
Number of clauses of size 1211
Number of clauses of size 2847665
Number of clauses of size 32700
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 58190

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...058244/instance-3299967-1304058244.cnf
1.00/1.03	c Solving...
4800.12/1202.71	
4800.12/1202.71	*** INTERRUPTED! ***
4800.12/1202.71	*** Shutting down threads...
4801.93/1204.51	s UNKNOWN
4801.93/1204.51	
4801.93/1204.51	c INTERRUPTED   : 1
4801.93/1204.51	c Models        : 0+    
4801.93/1204.51	c Time          : 1203.807s (Solving: 1202.78s 1st Model: 0.00s Unsat: 0.00s)
4801.93/1204.51	c CPU Time      : 4801.240s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3299967-1304058244/watcher-3299967-1304058244 -o /tmp/evaluation-result-3299967-1304058244/solver-3299967-1304058244 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299967-1304058244.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.50 7.95 7.78 5/184 5943
/proc/meminfo: memFree=24276240/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=42672 CPUtime=0 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 1275 0 0 0 0 0 0 0 23 0 1 0 517422682 43696128 1204 33554432000 4194304 4964704 140734258163312 18446744073709551615 4700332 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5943/statm: 10668 1212 375 189 0 5542 0

[startup+0.0232839 s]
/proc/loadavg: 7.50 7.95 7.78 5/184 5943
/proc/meminfo: memFree=24276240/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=52736 CPUtime=0.01 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 7648 0 0 0 1 0 0 0 23 0 1 0 517422682 54001664 7104 33554432000 4194304 4964704 140734258163312 18446744073709551615 4679071 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5943/statm: 13184 7115 376 189 0 8058 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 52736

[startup+0.100268 s]
/proc/loadavg: 7.50 7.95 7.78 5/184 5943
/proc/meminfo: memFree=24276240/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=60264 CPUtime=0.09 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 12024 0 0 0 8 1 0 0 23 0 1 0 517422682 61710336 10139 33554432000 4194304 4964704 140734258163312 18446744073709551615 246516495045 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5943/statm: 15066 10139 388 189 0 9940 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 60264

[startup+0.300228 s]
/proc/loadavg: 7.50 7.95 7.78 5/184 5943
/proc/meminfo: memFree=24276240/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=95984 CPUtime=0.29 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 24697 0 0 0 26 3 0 0 24 0 1 0 517422682 98287616 18897 33554432000 4194304 4964704 140734258163312 18446744073709551615 4618467 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5943/statm: 23996 18897 398 189 0 18870 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 95984

[startup+0.70115 s]
/proc/loadavg: 7.50 7.95 7.78 5/184 5943
/proc/meminfo: memFree=24276240/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=109048 CPUtime=0.69 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 27745 0 0 0 65 4 0 0 25 0 1 0 517422682 111665152 21945 33554432000 4194304 4964704 140734258163312 18446744073709551615 4600691 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5943/statm: 27262 21945 403 189 0 22136 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 109048

[startup+1.50098 s]
/proc/loadavg: 7.50 7.95 7.78 6/185 5944
/proc/meminfo: memFree=24180636/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=268228 CPUtime=2.8 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 45711 0 0 0 273 7 0 0 25 0 4 0 517422682 274665472 32798 33554432000 4194304 4964704 140734258163312 18446744073709551615 4670100 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/5943/statm: 67057 32798 458 189 0 61406 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 268228

[startup+3.10068 s]
/proc/loadavg: 7.62 7.97 7.79 9/188 5947
/proc/meminfo: memFree=24115512/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=269428 CPUtime=9.2 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 54223 0 0 0 908 12 0 0 25 0 4 0 517422682 275894272 41310 33554432000 4194304 4964704 140734258163312 18446744073709551615 4370301 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/5943/statm: 67357 41310 458 189 0 61706 0
[pid=5943/tid=5945] ppid=5941 vsize=269428 CPUtime=2.02 cores=1,3,5,7
/proc/5943/task/5945/stat : 5945 (claspmt) R 5941 5943 5436 0 -1 4202560 6033 0 0 0 201 1 0 0 21 0 4 0 517422786 275894272 41310 33554432000 4194304 4964704 140734258163312 18446744073709551615 4362287 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5943/tid=5946] ppid=5941 vsize=269428 CPUtime=2.05 cores=1,3,5,7
/proc/5943/task/5946/stat : 5946 (claspmt) R 5941 5943 5436 0 -1 4202560 9169 0 0 0 203 2 0 0 25 0 4 0 517422786 275894272 41310 33554432000 4194304 4964704 140734258163312 18446744073709551615 4627269 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5943/tid=5947] ppid=5941 vsize=269428 CPUtime=2.06 cores=1,3,5,7
/proc/5943/task/5947/stat : 5947 (claspmt) R 5941 5943 5436 0 -1 4202560 8683 0 0 0 204 2 0 0 25 0 4 0 517422786 275894272 41310 33554432000 4194304 4964704 140734258163312 18446744073709551615 4343157 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 9.2
Current children cumulated vsize (KiB) 269428

[startup+6.30109 s]
/proc/loadavg: 7.62 7.97 7.79 9/188 5947
/proc/meminfo: memFree=23984192/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=426512 CPUtime=21.97 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 79925 0 0 0 2177 20 0 0 25 0 4 0 517422682 436748288 67012 33554432000 4194304 4964704 140734258163312 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/5943/statm: 106628 67012 458 189 0 100977 0
[pid=5943/tid=5945] ppid=5941 vsize=426512 CPUtime=5.2 cores=1,3,5,7
/proc/5943/task/5945/stat : 5945 (claspmt) R 5941 5943 5436 0 -1 4202560 9338 0 0 0 518 2 0 0 20 0 4 0 517422786 436748288 67016 33554432000 4194304 4964704 140734258163312 18446744073709551615 4462632 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5943/tid=5946] ppid=5941 vsize=426512 CPUtime=5.25 cores=1,3,5,7
/proc/5943/task/5946/stat : 5946 (claspmt) R 5941 5943 5436 0 -1 4202560 19735 0 0 0 520 5 0 0 25 0 4 0 517422786 436748288 67016 33554432000 4194304 4964704 140734258163312 18446744073709551615 4658272 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5943/tid=5947] ppid=5941 vsize=426512 CPUtime=5.25 cores=1,3,5,7
/proc/5943/task/5947/stat : 5947 (claspmt) R 5941 5943 5436 0 -1 4202560 15825 0 0 0 521 4 0 0 25 0 4 0 517422786 436748288 67016 33554432000 4194304 4964704 140734258163312 18446744073709551615 4320309 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 21.97
Current children cumulated vsize (KiB) 426512

[startup+12.7009 s]
/proc/loadavg: 7.68 7.97 7.79 9/188 5947
/proc/meminfo: memFree=23747252/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=524336 CPUtime=47.54 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 124999 0 0 0 4718 36 0 0 20 0 4 0 517422682 536920064 112086 33554432000 4194304 4964704 140734258163312 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/5943/statm: 131084 112086 458 189 0 125433 0
[pid=5943/tid=5945] ppid=5941 vsize=524336 CPUtime=11.57 cores=1,3,5,7
/proc/5943/task/5945/stat : 5945 (claspmt) R 5941 5943 5436 0 -1 4202560 17085 0 0 0 1152 5 0 0 25 0 4 0 517422786 536920064 112086 33554432000 4194304 4964704 140734258163312 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5943/tid=5946] ppid=5941 vsize=524336 CPUtime=11.65 cores=1,3,5,7
/proc/5943/task/5946/stat : 5946 (claspmt) R 5941 5943 5436 0 -1 4202560 38712 0 0 0 1154 11 0 0 25 0 4 0 517422786 536920064 112086 33554432000 4194304 4964704 140734258163312 18446744073709551615 4654527 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5943/tid=5947] ppid=5941 vsize=524336 CPUtime=11.65 cores=1,3,5,7
/proc/5943/task/5947/stat : 5947 (claspmt) R 5941 5943 5436 0 -1 4202560 26784 0 0 0 1156 9 0 0 25 0 4 0 517422786 536920064 112086 33554432000 4194304 4964704 140734258163312 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 47.54
Current children cumulated vsize (KiB) 524336

[startup+25.5006 s]
/proc/loadavg: 7.73 7.97 7.79 9/188 5948
/proc/meminfo: memFree=23374768/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=908428 CPUtime=98.67 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 196671 0 0 0 9805 62 0 0 25 0 4 0 517422682 930230272 183758 33554432000 4194304 4964704 140734258163312 18446744073709551615 4344052 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/5943/statm: 227107 183758 460 189 0 221456 0
[pid=5943/tid=5945] ppid=5941 vsize=908428 CPUtime=24.29 cores=1,3,5,7
/proc/5943/task/5945/stat : 5945 (claspmt) R 5941 5943 5436 0 -1 4202560 27519 0 0 0 2420 9 0 0 25 0 4 0 517422786 930230272 183758 33554432000 4194304 4964704 140734258163312 18446744073709551615 4653154 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5943/tid=5946] ppid=5941 vsize=908428 CPUtime=24.45 cores=1,3,5,7
/proc/5943/task/5946/stat : 5946 (claspmt) R 5941 5943 5436 0 -1 4202560 64725 0 0 0 2425 20 0 0 25 0 4 0 517422786 930230272 183758 33554432000 4194304 4964704 140734258163312 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5943/tid=5947] ppid=5941 vsize=908428 CPUtime=24.45 cores=1,3,5,7
/proc/5943/task/5947/stat : 5947 (claspmt) R 5941 5943 5436 0 -1 4202560 45758 0 0 0 2430 15 0 0 25 0 4 0 517422786 930230272 183758 33554432000 4194304 4964704 140734258163312 18446744073709551615 4332507 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 98.67
Current children cumulated vsize (KiB) 908428

[startup+51.1009 s]
/proc/loadavg: 7.88 7.99 7.80 9/188 5948
/proc/meminfo: memFree=22703024/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=1399160 CPUtime=200.88 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 332652 0 0 0 19984 104 0 0 25 0 4 0 517422682 1432739840 319739 33554432000 4194304 4964704 140734258163312 18446744073709551615 4632331 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/5943/statm: 349790 319739 460 189 0 344139 0
[pid=5943/tid=5945] ppid=5941 vsize=1399160 CPUtime=49.72 cores=1,3,5,7
/proc/5943/task/5945/stat : 5945 (claspmt) R 5941 5943 5436 0 -1 4202560 59630 0 0 0 4954 18 0 0 25 0 4 0 517422786 1432739840 319739 33554432000 4194304 4964704 140734258163312 18446744073709551615 4653336 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5943/tid=5946] ppid=5941 vsize=1399160 CPUtime=50.05 cores=1,3,5,7
/proc/5943/task/5946/stat : 5946 (claspmt) R 5941 5943 5436 0 -1 4202560 115324 0 0 0 4972 33 0 0 25 0 4 0 517422786 1432739840 319739 33554432000 4194304 4964704 140734258163312 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5943/tid=5947] ppid=5941 vsize=1399160 CPUtime=50.05 cores=1,3,5,7
/proc/5943/task/5947/stat : 5947 (claspmt) R 5941 5943 5436 0 -1 4202560 71949 0 0 0 4980 25 0 0 25 0 4 0 517422786 1432739840 319739 33554432000 4194304 4964704 140734258163312 18446744073709551615 4325409 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 200.88
Current children cumulated vsize (KiB) 1399160

[startup+102.307 s]
/proc/loadavg: 8.17 8.05 7.83 10/188 5950
/proc/meminfo: memFree=21615448/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=2315368 CPUtime=405.4 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 552824 0 0 0 40360 180 0 0 25 0 4 0 517422682 2370936832 539911 33554432000 4194304 4964704 140734258163312 18446744073709551615 4668907 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/5943/statm: 578842 539911 460 189 0 573191 0
[pid=5943/tid=5945] ppid=5941 vsize=2315368 CPUtime=100.64 cores=1,3,5,7
/proc/5943/task/5945/stat : 5945 (claspmt) R 5941 5943 5436 0 -1 4202560 103785 0 0 0 10027 37 0 0 25 0 4 0 517422786 2370936832 539911 33554432000 4194304 4964704 140734258163312 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5943/tid=5946] ppid=5941 vsize=2315368 CPUtime=101.24 cores=1,3,5,7
/proc/5943/task/5946/stat : 5946 (claspmt) R 5941 5943 5436 0 -1 4202560 176271 0 0 0 10075 49 0 0 25 0 4 0 517422786 2370936832 539911 33554432000 4194304 4964704 140734258163312 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5943/tid=5947] ppid=5941 vsize=2315368 CPUtime=101.25 cores=1,3,5,7
/proc/5943/task/5947/stat : 5947 (claspmt) R 5941 5943 5436 0 -1 4202560 121755 0 0 0 10083 42 0 0 25 0 4 0 517422786 2370936832 539911 33554432000 4194304 4964704 140734258163312 18446744073709551615 4313753 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 405.4
Current children cumulated vsize (KiB) 2315368

[startup+162.301 s]
/proc/loadavg: 8.13 8.05 7.84 10/188 5951
/proc/meminfo: memFree=20856016/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=2811720 CPUtime=645.03 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 675415 0 0 0 64278 225 0 0 25 0 4 0 517422682 2879201280 662501 33554432000 4194304 4964704 140734258163312 18446744073709551615 4668609 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/5943/statm: 702930 662501 460 189 0 697279 0
[pid=5943/tid=5945] ppid=5941 vsize=2811720 CPUtime=160.3 cores=1,3,5,7
/proc/5943/task/5945/stat : 5945 (claspmt) R 5941 5943 5436 0 -1 4202560 118105 0 0 0 15987 43 0 0 25 0 4 0 517422786 2879201280 662501 33554432000 4194304 4964704 140734258163312 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5943/tid=5946] ppid=5941 vsize=2811720 CPUtime=161.24 cores=1,3,5,7
/proc/5943/task/5946/stat : 5946 (claspmt) R 5941 5943 5436 0 -1 4202560 213667 0 0 0 16062 62 0 0 25 0 4 0 517422786 2879201280 662502 33554432000 4194304 4964704 140734258163312 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5943/tid=5947] ppid=5941 vsize=2811720 CPUtime=161.24 cores=1,3,5,7
/proc/5943/task/5947/stat : 5947 (claspmt) R 5941 5943 5436 0 -1 4202560 155740 0 0 0 16070 54 0 0 25 0 4 0 517422786 2879201280 662502 33554432000 4194304 4964704 140734258163312 18446744073709551615 246516495393 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 645.03
Current children cumulated vsize (KiB) 2811720

[startup+222.301 s]
/proc/loadavg: 8.10 8.06 7.85 10/188 5953
/proc/meminfo: memFree=19508952/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=3991368 CPUtime=884.65 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 973662 0 0 0 88137 328 0 0 25 0 4 0 517422682 4087160832 960728 33554432000 4194304 4964704 140734258163312 18446744073709551615 4342935 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/5943/statm: 997842 960728 460 189 0 992191 0
[pid=5943/tid=5945] ppid=5941 vsize=3991368 CPUtime=219.99 cores=1,3,5,7
/proc/5943/task/5945/stat : 5945 (claspmt) R 5941 5943 5436 0 -1 4202560 132672 0 0 0 21948 51 0 0 25 0 4 0 517422786 4087160832 960728 33554432000 4194304 4964704 140734258163312 18446744073709551615 246516495393 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5943/tid=5946] ppid=5941 vsize=3991368 CPUtime=221.22 cores=1,3,5,7
/proc/5943/task/5946/stat : 5946 (claspmt) R 5941 5943 5436 0 -1 4202560 358819 0 0 0 22028 94 0 0 25 0 4 0 517422786 4087160832 960728 33554432000 4194304 4964704 140734258163312 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5943/tid=5947] ppid=5941 vsize=3991368 CPUtime=221.24 cores=1,3,5,7
/proc/5943/task/5947/stat : 5947 (claspmt) R 5941 5943 5436 0 -1 4202560 266948 0 0 0 22018 106 0 0 25 0 4 0 517422786 4087160832 960728 33554432000 4194304 4964704 140734258163312 18446744073709551615 4632416 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 884.65
Current children cumulated vsize (KiB) 3991368

[startup+282.301 s]
/proc/loadavg: 8.15 8.08 7.87 9/188 5954
/proc/meminfo: memFree=18839308/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=4515656 CPUtime=1124.3 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 1105393 0 0 0 112040 390 0 0 25 0 4 0 517422682 4624031744 1092422 33554432000 4194304 4964704 140734258163312 18446744073709551615 4372759 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/5943/statm: 1128914 1092422 460 189 0 1123263 0
[pid=5943/tid=5945] ppid=5941 vsize=4515656 CPUtime=279.99 cores=1,3,5,7

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

/proc/5943/task/5945/stat : 5945 (claspmt) R 5941 5943 5436 0 -1 4202560 327815 0 0 0 81840 135 0 0 25 0 4 0 517422786 8179945472 1957160 33554432000 4194304 4964704 140734258163312 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5943/tid=5946] ppid=5941 vsize=7988228 CPUtime=820.11 cores=1,3,5,7
/proc/5943/task/5946/stat : 5946 (claspmt) R 5941 5943 5436 0 -1 4202560 656100 0 0 0 81802 209 0 0 25 0 4 0 517422786 8179945472 1957160 33554432000 4194304 4964704 140734258163312 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5943/tid=5947] ppid=5941 vsize=7988228 CPUtime=820.15 cores=1,3,5,7
/proc/5943/task/5947/stat : 5947 (claspmt) R 5941 5943 5436 0 -1 4202560 516136 0 0 0 81789 226 0 0 25 0 4 0 517422786 8179945472 1957160 33554432000 4194304 4964704 140734258163312 18446744073709551615 4653154 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.99
Current children cumulated vsize (KiB) 7988228

[startup+882.3 s]
/proc/loadavg: 8.07 8.14 8.00 9/188 5970
/proc/meminfo: memFree=13429016/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=8391684 CPUtime=3520.6 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 2081168 0 0 0 351257 803 0 0 25 0 4 0 517422682 8593084416 2067877 33554432000 4194304 4964704 140734258163312 18446744073709551615 4332537 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/5943/statm: 2097921 2067877 460 189 0 2092270 0
[pid=5943/tid=5945] ppid=5941 vsize=8391684 CPUtime=879.7 cores=1,3,5,7
/proc/5943/task/5945/stat : 5945 (claspmt) R 5941 5943 5436 0 -1 4202560 337081 0 0 0 87830 140 0 0 25 0 4 0 517422786 8593084416 2067877 33554432000 4194304 4964704 140734258163312 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5943/tid=5946] ppid=5941 vsize=8391684 CPUtime=880.12 cores=1,3,5,7
/proc/5943/task/5946/stat : 5946 (claspmt) R 5941 5943 5436 0 -1 4202560 685681 0 0 0 87792 220 0 0 25 0 4 0 517422786 8593084416 2067877 33554432000 4194304 4964704 140734258163312 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5943/tid=5947] ppid=5941 vsize=8391684 CPUtime=879.8 cores=1,3,5,7
/proc/5943/task/5947/stat : 5947 (claspmt) R 5941 5943 5436 0 -1 4202560 519625 0 0 0 87752 228 0 0 25 0 4 0 517422786 8593084416 2067877 33554432000 4194304 4964704 140734258163312 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.6
Current children cumulated vsize (KiB) 8391684

[startup+942.3 s]
/proc/loadavg: 8.07 8.13 8.00 9/188 5972
/proc/meminfo: memFree=13207516/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=8413200 CPUtime=3760.27 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 2085945 0 0 0 375222 805 0 0 25 0 4 0 517422682 8615116800 2072534 33554432000 4194304 4964704 140734258163312 18446744073709551615 4632289 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/5943/statm: 2103300 2072534 460 189 0 2097649 0
[pid=5943/tid=5945] ppid=5941 vsize=8413200 CPUtime=939.71 cores=1,3,5,7
/proc/5943/task/5945/stat : 5945 (claspmt) R 5941 5943 5436 0 -1 4202560 340412 0 0 0 93829 142 0 0 25 0 4 0 517422786 8615116800 2072534 33554432000 4194304 4964704 140734258163312 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5943/tid=5946] ppid=5941 vsize=8413200 CPUtime=940.12 cores=1,3,5,7
/proc/5943/task/5946/stat : 5946 (claspmt) R 5941 5943 5436 0 -1 4202560 687122 0 0 0 93792 220 0 0 25 0 4 0 517422786 8615116800 2072534 33554432000 4194304 4964704 140734258163312 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5943/tid=5947] ppid=5941 vsize=8413200 CPUtime=939.48 cores=1,3,5,7
/proc/5943/task/5947/stat : 5947 (claspmt) R 5941 5943 5436 0 -1 4202560 519630 0 0 0 93720 228 0 0 25 0 4 0 517422786 8615116800 2072534 33554432000 4194304 4964704 140734258163312 18446744073709551615 4653570 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3760.27
Current children cumulated vsize (KiB) 8413200

[startup+1002.3 s]
/proc/loadavg: 8.09 8.13 8.00 9/188 5974
/proc/meminfo: memFree=12788876/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=8591376 CPUtime=3999.86 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 2130473 0 0 0 399166 820 0 0 25 0 4 0 517422682 8797569024 2117041 33554432000 4194304 4964704 140734258163312 18446744073709551615 4653475 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/5943/statm: 2147844 2117041 460 189 0 2142193 0
[pid=5943/tid=5945] ppid=5941 vsize=8591376 CPUtime=999.63 cores=1,3,5,7
/proc/5943/task/5945/stat : 5945 (claspmt) R 5941 5943 5436 0 -1 4202560 363181 0 0 0 99813 150 0 0 25 0 4 0 517422786 8797569024 2117041 33554432000 4194304 4964704 140734258163312 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5943/tid=5946] ppid=5941 vsize=8591376 CPUtime=1000.12 cores=1,3,5,7
/proc/5943/task/5946/stat : 5946 (claspmt) R 5941 5943 5436 0 -1 4202560 697804 0 0 0 99789 223 0 0 25 0 4 0 517422786 8797569024 2117041 33554432000 4194304 4964704 140734258163312 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5943/tid=5947] ppid=5941 vsize=8591376 CPUtime=999.31 cores=1,3,5,7
/proc/5943/task/5947/stat : 5947 (claspmt) R 5941 5943 5436 0 -1 4202560 530692 0 0 0 99699 232 0 0 25 0 4 0 517422786 8797569024 2117041 33554432000 4194304 4964704 140734258163312 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3999.86
Current children cumulated vsize (KiB) 8591376

[startup+1062.3 s]
/proc/loadavg: 8.18 8.15 8.02 9/188 5975
/proc/meminfo: memFree=12260128/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=9093136 CPUtime=4239.53 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 2242969 0 0 0 423077 876 0 0 25 0 4 0 517422682 9311371264 2229528 33554432000 4194304 4964704 140734258163312 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/5943/statm: 2273284 2229528 460 189 0 2267633 0
[pid=5943/tid=5945] ppid=5941 vsize=9093136 CPUtime=1059.63 cores=1,3,5,7
/proc/5943/task/5945/stat : 5945 (claspmt) R 5941 5943 5436 0 -1 4202560 413009 0 0 0 105775 188 0 0 25 0 4 0 517422786 9311371264 2229528 33554432000 4194304 4964704 140734258163312 18446744073709551615 4660075 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5943/tid=5946] ppid=5941 vsize=9093136 CPUtime=1060.13 cores=1,3,5,7
/proc/5943/task/5946/stat : 5946 (claspmt) R 5941 5943 5436 0 -1 4202560 699494 0 0 0 105789 224 0 0 25 0 4 0 517422786 9311371264 2229528 33554432000 4194304 4964704 140734258163312 18446744073709551615 4313801 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5943/tid=5947] ppid=5941 vsize=9093136 CPUtime=1059.31 cores=1,3,5,7
/proc/5943/task/5947/stat : 5947 (claspmt) R 5941 5943 5436 0 -1 4202560 590240 0 0 0 105682 249 0 0 25 0 4 0 517422786 9311371264 2229528 33554432000 4194304 4964704 140734258163312 18446744073709551615 4361097 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4239.53
Current children cumulated vsize (KiB) 9093136

[startup+1122.3 s]
/proc/loadavg: 8.18 8.16 8.03 9/188 5977
/proc/meminfo: memFree=11548592/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=9505808 CPUtime=4478.94 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 2373368 0 0 0 446970 924 0 0 25 0 4 0 517422682 9733947392 2359802 33554432000 4194304 4964704 140734258163312 18446744073709551615 4320944 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/5943/statm: 2376452 2359802 460 189 0 2370801 0
[pid=5943/tid=5945] ppid=5941 vsize=9505808 CPUtime=1119.39 cores=1,3,5,7
/proc/5943/task/5945/stat : 5945 (claspmt) R 5941 5943 5436 0 -1 4202560 436208 0 0 0 111736 203 0 0 25 0 4 0 517422786 9733947392 2359802 33554432000 4194304 4964704 140734258163312 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5943/tid=5946] ppid=5941 vsize=9505808 CPUtime=1120.13 cores=1,3,5,7
/proc/5943/task/5946/stat : 5946 (claspmt) R 5941 5943 5436 0 -1 4202560 727620 0 0 0 111779 234 0 0 25 0 4 0 517422786 9733947392 2359802 33554432000 4194304 4964704 140734258163312 18446744073709551615 4313799 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5943/tid=5947] ppid=5941 vsize=9505808 CPUtime=1119.27 cores=1,3,5,7
/proc/5943/task/5947/stat : 5947 (claspmt) R 5941 5943 5436 0 -1 4202560 647146 0 0 0 111664 263 0 0 25 0 4 0 517422786 9733947392 2359802 33554432000 4194304 4964704 140734258163312 18446744073709551615 4632416 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4478.94
Current children cumulated vsize (KiB) 9505808

[startup+1182.3 s]
/proc/loadavg: 8.07 8.13 8.02 9/188 5978
/proc/meminfo: memFree=11458424/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=9505808 CPUtime=4718.61 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 2373434 0 0 0 470937 924 0 0 25 0 4 0 517422682 9733947392 2359868 33554432000 4194304 4964704 140734258163312 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/5943/statm: 2376452 2359868 460 189 0 2370801 0
[pid=5943/tid=5945] ppid=5941 vsize=9505808 CPUtime=1179.06 cores=1,3,5,7
/proc/5943/task/5945/stat : 5945 (claspmt) R 5941 5943 5436 0 -1 4202560 436208 0 0 0 117703 203 0 0 25 0 4 0 517422786 9733947392 2359868 33554432000 4194304 4964704 140734258163312 18446744073709551615 4313751 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5943/tid=5946] ppid=5941 vsize=9505808 CPUtime=1180.13 cores=1,3,5,7
/proc/5943/task/5946/stat : 5946 (claspmt) R 5941 5943 5436 0 -1 4202560 727678 0 0 0 117779 234 0 0 25 0 4 0 517422786 9733947392 2359868 33554432000 4194304 4964704 140734258163312 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5943/tid=5947] ppid=5941 vsize=9505808 CPUtime=1179.27 cores=1,3,5,7
/proc/5943/task/5947/stat : 5947 (claspmt) R 5941 5943 5436 0 -1 4202560 647154 0 0 0 117664 263 0 0 25 0 4 0 517422786 9733947392 2359868 33554432000 4194304 4964704 140734258163312 18446744073709551615 4653233 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4718.61
Current children cumulated vsize (KiB) 9505808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.7 s]
/proc/loadavg: 7.16 7.92 7.95 5/179 5997
/proc/meminfo: memFree=15464756/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=9636880 CPUtime=4800.12 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 2409036 0 0 0 479070 942 0 0 25 0 4 0 517422682 9868165120 2395470 33554432000 4194304 4964704 140734258163312 18446744073709551615 4653480 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/5943/statm: 2409220 2395470 460 189 0 2403569 0
[pid=5943/tid=5945] ppid=5941 vsize=9636880 CPUtime=1199.35 cores=1,3,5,7
/proc/5943/task/5945/stat : 5945 (claspmt) R 5941 5943 5436 0 -1 4202560 436349 0 0 0 119732 203 0 0 25 0 4 0 517422786 9868165120 2395470 33554432000 4194304 4964704 140734258163312 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5943/tid=5946] ppid=5941 vsize=9636880 CPUtime=1200.53 cores=1,3,5,7
/proc/5943/task/5946/stat : 5946 (claspmt) R 5941 5943 5436 0 -1 4202560 727704 0 0 0 119819 234 0 0 25 0 4 0 517422786 9868165120 2395470 33554432000 4194304 4964704 140734258163312 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5943/tid=5947] ppid=5941 vsize=9636880 CPUtime=1199.68 cores=1,3,5,7
/proc/5943/task/5947/stat : 5947 (claspmt) R 5941 5943 5436 0 -1 4202560 647155 0 0 0 119705 263 0 0 25 0 4 0 517422786 9868165120 2395470 33554432000 4194304 4964704 140734258163312 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 9636880

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1203 s]
/proc/loadavg: 7.16 7.92 7.95 5/179 5997
/proc/meminfo: memFree=15464756/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=9636880 CPUtime=4800.43 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) S 5941 5943 5436 0 -1 4202496 2409038 0 0 0 479101 942 0 0 25 0 2 0 517422682 9868165120 2395472 33554432000 4194304 4964704 140734258163312 18446744073709551615 246528636901 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/5943/statm: 2409220 2395472 462 189 0 2403569 0
[pid=5943/tid=5946] ppid=5941 vsize=9636880 CPUtime=1200.83 cores=1,3,5,7
/proc/5943/task/5946/stat : 5946 (claspmt) R 5941 5943 5436 0 -1 4202560 727704 0 0 0 119849 234 0 0 25 0 2 0 517422786 9868165120 2395472 33554432000 4194304 4964704 140734258163312 18446744073709551615 4313753 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.43
Current children cumulated vsize (KiB) 9636880

[startup+1203.8 s]
/proc/loadavg: 7.16 7.92 7.95 2/178 5998
/proc/meminfo: memFree=15464640/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=9636880 CPUtime=4801.23 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) S 5941 5943 5436 0 -1 4202496 2409038 0 0 0 479181 942 0 0 25 0 2 0 517422682 9868165120 2395472 33554432000 4194304 4964704 140734258163312 18446744073709551615 246528636901 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/5943/statm: 2409220 2395472 462 189 0 2403569 0
[pid=5943/tid=5946] ppid=5941 vsize=9636880 CPUtime=1201.63 cores=1,3,5,7
/proc/5943/task/5946/stat : 5946 (claspmt) R 5941 5943 5436 0 -1 4202560 727704 0 0 0 119929 234 0 0 25 0 2 0 517422786 9868165120 2395472 33554432000 4194304 4964704 140734258163312 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4801.23
Current children cumulated vsize (KiB) 9636880

[startup+1204.2 s]
/proc/loadavg: 7.16 7.92 7.95 2/178 5998
/proc/meminfo: memFree=15464640/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=9590952 CPUtime=4801.63 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 2409048 0 0 0 479221 942 0 0 18 0 1 0 517422682 9821134848 2383379 33554432000 4194304 4964704 140734258163312 18446744073709551615 246516492050 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5943/statm: 2397738 2383379 471 189 0 2392087 0
Current children cumulated CPU time (s) 4801.63
Current children cumulated vsize (KiB) 9590952

[startup+1204.4 s]
/proc/loadavg: 7.16 7.92 7.95 2/177 5998
/proc/meminfo: memFree=20335912/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=4741288 CPUtime=4801.83 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 2409048 0 0 0 479222 961 0 0 18 0 1 0 517422682 4855078912 1144584 33554432000 4194304 4964704 140734258163312 18446744073709551615 246516877447 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5943/statm: 1185322 1144584 471 189 0 1179671 0
Current children cumulated CPU time (s) 4801.83
Current children cumulated vsize (KiB) 4741288

[startup+1204.51 s]
/proc/loadavg: 7.16 7.92 7.95 2/177 5998
/proc/meminfo: memFree=20335912/32951124 swapFree=67111352/67111528
[pid=5943] ppid=5941 vsize=2373944 CPUtime=4801.93 cores=1,3,5,7
/proc/5943/stat : 5943 (claspmt) R 5941 5943 5436 0 -1 4202496 2409048 0 0 0 479222 971 0 0 18 0 1 0 517422682 2430918656 540433 33554432000 4194304 4964704 140734258163312 18446744073709551615 246516877447 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5943/statm: 593486 540433 471 189 0 587835 0
Current children cumulated CPU time (s) 4801.93
Current children cumulated vsize (KiB) 2373944

Child status: 0
Real time (s): 1204.59
CPU time (s): 4802.03
CPU user time (s): 4792.23
CPU system time (s): 9.80051
CPU usage (%): 398.644
Max. virtual memory (cumulated for all children) (KiB): 9636880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.23
system time used= 9.80051
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2409049
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= 19674
involuntary context switches= 84166

runsolver used 1.49377 second user time and 5.08623 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-29 08:24:05
IDJOB=3299967
IDBENCH=82369
IDSOLVER=1683
FILE ID=node134/3299967-1304058244
RUNJOBID= node134-1304057021-5793
PBS_JOBID= 13170420
Free space on /tmp= 71472 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.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-3299967-1304058244/watcher-3299967-1304058244 -o /tmp/evaluation-result-3299967-1304058244/solver-3299967-1304058244 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299967-1304058244.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0385ba51f44fb47d0b0726e26312816f
RANDOM SEED=999960960

node134.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.831
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.66
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.831
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.67
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.831
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.83
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.831
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	: 7186.06
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.831
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.80
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.831
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.83
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.831
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.75
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.831
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	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24276272 kB
Buffers:       1475288 kB
Cached:        5923916 kB
SwapCached:         64 kB
Active:        2201208 kB
Inactive:      5948164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24276272 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:          115204 kB
Writeback:           0 kB
AnonPages:      749696 kB
Mapped:          15816 kB
Slab:           460060 kB
PageTables:       6236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   915264 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71568 MiB
End job on node134 at 2011-04-29 08:44:10