Trace number 3381145

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 1585.25 199.176

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/korf-17.cnf
MD5SUMade81e5508101352b3d942708b201606
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark440.727
Satisfiable
(Un)Satisfiability was proved
Number of variables6664
Number of clauses89966
Sum of the clauses size425665
Maximum clause length36
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 216962
Number of clauses of size 310874
Number of clauses of size 412189
Number of clauses of size 522355
Number of clauses of size over 527586

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...505740/instance-3381145-1305505740.cnf
0.39/0.44	c Solving...
1585.18/199.17	s UNSATISFIABLE
1585.18/199.17	
1585.18/199.17	c Models        : 0     
1585.18/199.17	c Time          : 199.030s (Solving: 198.59s 1st Model: 0.00s Unsat: 198.59s)
1585.18/199.17	c CPU Time      : 1585.100s

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-3381145-1305505740/watcher-3381145-1305505740 -o /tmp/evaluation-result-3381145-1305505740/solver-3381145-1305505740 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381145-1305505740.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: 5.69 6.97 7.63 2/366 29356
/proc/meminfo: memFree=13292028/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=23736 CPUtime=0.01 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 1347 0 0 0 1 0 0 0 25 0 1 0 662173665 24305664 1135 33554432000 4194304 4964800 140735418762656 18446744073709551615 208079893189 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/29356/statm: 5934 1137 386 189 0 808 0

[startup+0.031889 s]
/proc/loadavg: 5.69 6.97 7.63 2/366 29356
/proc/meminfo: memFree=13292028/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=26776 CPUtime=0.03 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 2291 0 0 0 3 0 0 0 25 0 1 0 662173665 27418624 1877 33554432000 4194304 4964800 140735418762656 18446744073709551615 208079893189 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/29356/statm: 6694 1878 386 189 0 1568 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26776

[startup+0.100876 s]
/proc/loadavg: 5.69 6.97 7.63 2/366 29356
/proc/meminfo: memFree=13292028/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=30744 CPUtime=0.09 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 3391 0 0 0 9 0 0 0 25 0 1 0 662173665 31481856 2913 33554432000 4194304 4964800 140735418762656 18446744073709551615 4607575 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/29356/statm: 7686 2913 399 189 0 2560 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30744

[startup+0.300837 s]
/proc/loadavg: 5.69 6.97 7.63 2/366 29356
/proc/meminfo: memFree=13292028/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=30744 CPUtime=0.29 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 3391 0 0 0 29 0 0 0 25 0 1 0 662173665 31481856 2913 33554432000 4194304 4964800 140735418762656 18446744073709551615 4607604 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/29356/statm: 7686 2913 399 189 0 2560 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30744

[startup+0.720918 s]
/proc/loadavg: 5.69 6.97 7.63 2/366 29356
/proc/meminfo: memFree=13292028/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=528336 CPUtime=3.32 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 15558 0 0 0 326 6 0 0 18 0 8 0 662173665 541016064 14693 33554432000 4194304 4964800 140735418762656 18446744073709551615 208080337439 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29356/statm: 132249 18702 464 189 0 126598 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 528336

[startup+1.90154 s]
/proc/loadavg: 5.69 6.97 7.63 2/366 29356
/proc/meminfo: memFree=13292028/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=529128 CPUtime=10.98 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 19759 0 0 0 1090 8 0 0 19 0 8 0 662173665 541827072 18894 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29356/statm: 132282 18894 464 189 0 126631 0
Current children cumulated CPU time (s) 10.98
Current children cumulated vsize (KiB) 529128

[startup+3.10031 s]
/proc/loadavg: 5.31 6.87 7.60 9/374 29364
/proc/meminfo: memFree=13216640/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=532124 CPUtime=20.56 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 23650 0 0 0 2046 10 0 0 22 0 8 0 662173665 544894976 22785 33554432000 4194304 4964800 140735418762656 18446744073709551615 4320981 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29356/statm: 133031 22785 464 189 0 127380 0
[pid=29356/tid=29358] ppid=29354 vsize=532124 CPUtime=2.49 cores=0-7
/proc/29356/task/29358/stat : 29358 (claspmt) R 29354 29356 29294 0 -1 4202560 1946 0 0 0 249 0 0 0 20 0 8 0 662173710 544894976 22785 33554432000 4194304 4964800 140735418762656 18446744073709551615 4342223 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29356/tid=29359] ppid=29354 vsize=532124 CPUtime=2.5 cores=0-7
/proc/29356/task/29359/stat : 29359 (claspmt) R 29354 29356 29294 0 -1 4202560 3286 0 0 0 248 2 0 0 19 0 8 0 662173710 544894976 22785 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670670 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29356/tid=29360] ppid=29354 vsize=532124 CPUtime=2.48 cores=0-7
/proc/29356/task/29360/stat : 29360 (claspmt) R 29354 29356 29294 0 -1 4202560 2077 0 0 0 247 1 0 0 20 0 8 0 662173710 544894976 22785 33554432000 4194304 4964800 140735418762656 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29356/tid=29361] ppid=29354 vsize=532124 CPUtime=2.5 cores=0-7
/proc/29356/task/29361/stat : 29361 (claspmt) R 29354 29356 29294 0 -1 4202560 3147 0 0 0 249 1 0 0 20 0 8 0 662173710 544894976 22785 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29356/tid=29362] ppid=29354 vsize=532124 CPUtime=2.62 cores=0-7
/proc/29356/task/29362/stat : 29362 (claspmt) R 29354 29356 29294 0 -1 4202560 1825 0 0 0 262 0 0 0 22 0 8 0 662173710 544894976 22785 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670256 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29356/tid=29363] ppid=29354 vsize=532124 CPUtime=2.49 cores=0-7
/proc/29356/task/29363/stat : 29363 (claspmt) R 29354 29356 29294 0 -1 4202560 2583 0 0 0 248 1 0 0 20 0 8 0 662173710 544894976 22786 33554432000 4194304 4964800 140735418762656 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29356/tid=29364] ppid=29354 vsize=532124 CPUtime=2.5 cores=0-7
/proc/29356/task/29364/stat : 29364 (claspmt) R 29354 29356 29294 0 -1 4202560 3368 0 0 0 249 1 0 0 20 0 8 0 662173710 544894976 22786 33554432000 4194304 4964800 140735418762656 18446744073709551615 4669437 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 20.56
Current children cumulated vsize (KiB) 532124

[startup+6.3007 s]
/proc/loadavg: 5.31 6.87 7.60 9/374 29364
/proc/meminfo: memFree=13188984/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=533512 CPUtime=46.11 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 28322 0 0 0 4599 12 0 0 21 0 8 0 662173665 546316288 27457 33554432000 4194304 4964800 140735418762656 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29356/statm: 133378 27458 466 189 0 127727 0
[pid=29356/tid=29358] ppid=29354 vsize=533512 CPUtime=5.7 cores=0-7
/proc/29356/task/29358/stat : 29358 (claspmt) R 29354 29356 29294 0 -1 4202560 2462 0 0 0 569 1 0 0 25 0 8 0 662173710 546316288 27458 33554432000 4194304 4964800 140735418762656 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29356/tid=29359] ppid=29354 vsize=533512 CPUtime=5.7 cores=0-7
/proc/29356/task/29359/stat : 29359 (claspmt) R 29354 29356 29294 0 -1 4202560 3932 0 0 0 568 2 0 0 25 0 8 0 662173710 546316288 27458 33554432000 4194304 4964800 140735418762656 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29356/tid=29360] ppid=29354 vsize=533512 CPUtime=5.65 cores=0-7
/proc/29356/task/29360/stat : 29360 (claspmt) R 29354 29356 29294 0 -1 4202560 2225 0 0 0 564 1 0 0 25 0 8 0 662173710 546316288 27458 33554432000 4194304 4964800 140735418762656 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29356/tid=29361] ppid=29354 vsize=533512 CPUtime=5.69 cores=0-7
/proc/29356/task/29361/stat : 29361 (claspmt) R 29354 29356 29294 0 -1 4202560 3790 0 0 0 568 1 0 0 25 0 8 0 662173710 546316288 27458 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29356/tid=29362] ppid=29354 vsize=533512 CPUtime=5.81 cores=0-7
/proc/29356/task/29362/stat : 29362 (claspmt) R 29354 29356 29294 0 -1 4202560 1843 0 0 0 581 0 0 0 25 0 8 0 662173710 546316288 27458 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29356/tid=29363] ppid=29354 vsize=533512 CPUtime=5.69 cores=0-7
/proc/29356/task/29363/stat : 29363 (claspmt) R 29354 29356 29294 0 -1 4202560 3069 0 0 0 568 1 0 0 25 0 8 0 662173710 546316288 27458 33554432000 4194304 4964800 140735418762656 18446744073709551615 4320875 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29356/tid=29364] ppid=29354 vsize=533512 CPUtime=5.7 cores=0-7
/proc/29356/task/29364/stat : 29364 (claspmt) R 29354 29356 29294 0 -1 4202560 5123 0 0 0 568 2 0 0 25 0 8 0 662173710 546316288 27458 33554432000 4194304 4964800 140735418762656 18446744073709551615 208079893537 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 46.11
Current children cumulated vsize (KiB) 533512

[startup+12.7005 s]
/proc/loadavg: 5.80 6.93 7.61 9/374 29365
/proc/meminfo: memFree=13159032/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=537936 CPUtime=97.23 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 35491 0 0 0 9705 18 0 0 25 0 8 0 662173665 550846464 34626 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29356/statm: 134484 34626 466 189 0 128833 0
[pid=29356/tid=29358] ppid=29354 vsize=537936 CPUtime=12.09 cores=0-7
/proc/29356/task/29358/stat : 29358 (claspmt) R 29354 29356 29294 0 -1 4202560 3142 0 0 0 1207 2 0 0 25 0 8 0 662173710 550846464 34626 33554432000 4194304 4964800 140735418762656 18446744073709551615 4660444 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29356/tid=29359] ppid=29354 vsize=537936 CPUtime=12.09 cores=0-7
/proc/29356/task/29359/stat : 29359 (claspmt) R 29354 29356 29294 0 -1 4202560 4939 0 0 0 1207 2 0 0 25 0 8 0 662173710 550846464 34626 33554432000 4194304 4964800 140735418762656 18446744073709551615 4669406 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29356/tid=29360] ppid=29354 vsize=537936 CPUtime=11.96 cores=0-7
/proc/29356/task/29360/stat : 29360 (claspmt) R 29354 29356 29294 0 -1 4202560 2867 0 0 0 1195 1 0 0 25 0 8 0 662173710 550846464 34626 33554432000 4194304 4964800 140735418762656 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29356/tid=29361] ppid=29354 vsize=537936 CPUtime=12.1 cores=0-7
/proc/29356/task/29361/stat : 29361 (claspmt) R 29354 29356 29294 0 -1 4202560 4470 0 0 0 1208 2 0 0 25 0 8 0 662173710 550846464 34626 33554432000 4194304 4964800 140735418762656 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29356/tid=29362] ppid=29354 vsize=537936 CPUtime=12.21 cores=0-7
/proc/29356/task/29362/stat : 29362 (claspmt) R 29354 29356 29294 0 -1 4202560 3255 0 0 0 1220 1 0 0 25 0 8 0 662173710 550846464 34626 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670530 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29356/tid=29363] ppid=29354 vsize=537936 CPUtime=12.1 cores=0-7
/proc/29356/task/29363/stat : 29363 (claspmt) R 29354 29356 29294 0 -1 4202560 3500 0 0 0 1208 2 0 0 25 0 8 0 662173710 550846464 34626 33554432000 4194304 4964800 140735418762656 18446744073709551615 208079929994 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29356/tid=29364] ppid=29354 vsize=537936 CPUtime=12.09 cores=0-7
/proc/29356/task/29364/stat : 29364 (claspmt) R 29354 29356 29294 0 -1 4202560 7042 0 0 0 1206 3 0 0 25 0 8 0 662173710 550846464 34626 33554432000 4194304 4964800 140735418762656 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 97.23
Current children cumulated vsize (KiB) 537936

[startup+25.501 s]
/proc/loadavg: 6.14 6.96 7.61 9/374 29365
/proc/meminfo: memFree=13113964/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=549028 CPUtime=199.48 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 46010 0 0 0 19922 26 0 0 25 0 8 0 662173665 562204672 45145 33554432000 4194304 4964800 140735418762656 18446744073709551615 4669357 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29356/statm: 137257 45145 466 189 0 131606 0
[pid=29356/tid=29358] ppid=29354 vsize=549028 CPUtime=24.89 cores=0-7
/proc/29356/task/29358/stat : 29358 (claspmt) R 29354 29356 29294 0 -1 4202560 3822 0 0 0 2486 3 0 0 25 0 8 0 662173710 562204672 45145 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29356/tid=29359] ppid=29354 vsize=549028 CPUtime=24.9 cores=0-7
/proc/29356/task/29359/stat : 29359 (claspmt) R 29354 29356 29294 0 -1 4202560 5936 0 0 0 2487 3 0 0 25 0 8 0 662173710 562204672 45145 33554432000 4194304 4964800 140735418762656 18446744073709551615 4627168 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29356/tid=29360] ppid=29354 vsize=549028 CPUtime=24.61 cores=0-7
/proc/29356/task/29360/stat : 29360 (claspmt) R 29354 29356 29294 0 -1 4202560 3533 0 0 0 2459 2 0 0 25 0 8 0 662173710 562204672 45145 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29356/tid=29361] ppid=29354 vsize=549028 CPUtime=24.9 cores=0-7
/proc/29356/task/29361/stat : 29361 (claspmt) R 29354 29356 29294 0 -1 4202560 5730 0 0 0 2487 3 0 0 25 0 8 0 662173710 562204672 45145 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29356/tid=29362] ppid=29354 vsize=549028 CPUtime=25.01 cores=0-7
/proc/29356/task/29362/stat : 29362 (claspmt) R 29354 29356 29294 0 -1 4202560 5594 0 0 0 2498 3 0 0 25 0 8 0 662173710 562204672 45145 33554432000 4194304 4964800 140735418762656 18446744073709551615 4632289 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29356/tid=29363] ppid=29354 vsize=549028 CPUtime=24.89 cores=0-7
/proc/29356/task/29363/stat : 29363 (claspmt) R 29354 29356 29294 0 -1 4202560 4010 0 0 0 2487 2 0 0 25 0 8 0 662173710 562204672 45145 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29356/tid=29364] ppid=29354 vsize=549028 CPUtime=24.9 cores=0-7
/proc/29356/task/29364/stat : 29364 (claspmt) R 29354 29356 29294 0 -1 4202560 10845 0 0 0 2484 6 0 0 25 0 8 0 662173710 562204672 45145 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 199.48
Current children cumulated vsize (KiB) 549028

[startup+51.1012 s]
/proc/loadavg: 6.87 7.06 7.62 9/374 29366
/proc/meminfo: memFree=13065124/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=553708 CPUtime=403.96 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 58644 0 0 0 40360 36 0 0 25 0 8 0 662173665 566996992 57507 33554432000 4194304 4964800 140735418762656 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29356/statm: 138427 57507 466 189 0 132776 0
[pid=29356/tid=29358] ppid=29354 vsize=553708 CPUtime=50.5 cores=0-7
/proc/29356/task/29358/stat : 29358 (claspmt) R 29354 29356 29294 0 -1 4202560 5021 0 0 0 5046 4 0 0 25 0 8 0 662173710 566996992 57507 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29356/tid=29359] ppid=29354 vsize=553708 CPUtime=50.5 cores=0-7
/proc/29356/task/29359/stat : 29359 (claspmt) R 29354 29356 29294 0 -1 4202560 7709 0 0 0 5046 4 0 0 25 0 8 0 662173710 566996992 57507 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29356/tid=29360] ppid=29354 vsize=553708 CPUtime=49.91 cores=0-7
/proc/29356/task/29360/stat : 29360 (claspmt) R 29354 29356 29294 0 -1 4202560 4611 0 0 0 4988 3 0 0 25 0 8 0 662173710 566996992 57507 33554432000 4194304 4964800 140735418762656 18446744073709551615 4312185 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29356/tid=29361] ppid=29354 vsize=553708 CPUtime=50.5 cores=0-7
/proc/29356/task/29361/stat : 29361 (claspmt) R 29354 29356 29294 0 -1 4202560 7694 0 0 0 5045 5 0 0 25 0 8 0 662173710 566996992 57507 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29356/tid=29362] ppid=29354 vsize=553708 CPUtime=50.6 cores=0-7
/proc/29356/task/29362/stat : 29362 (claspmt) R 29354 29356 29294 0 -1 4202560 7440 0 0 0 5056 4 0 0 25 0 8 0 662173710 566996992 57507 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29356/tid=29363] ppid=29354 vsize=553708 CPUtime=50.5 cores=0-7
/proc/29356/task/29363/stat : 29363 (claspmt) R 29354 29356 29294 0 -1 4202560 4580 0 0 0 5047 3 0 0 25 0 8 0 662173710 566996992 57507 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29356/tid=29364] ppid=29354 vsize=553708 CPUtime=50.5 cores=0-7
/proc/29356/task/29364/stat : 29364 (claspmt) R 29354 29356 29294 0 -1 4202560 13751 0 0 0 5042 8 0 0 25 0 8 0 662173710 566996992 57507 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 403.96
Current children cumulated vsize (KiB) 553708

[startup+102.314 s]
/proc/loadavg: 7.56 7.22 7.64 9/374 29367
/proc/meminfo: memFree=12984864/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=571212 CPUtime=813.04 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 78325 0 0 0 81251 53 0 0 25 0 8 0 662173665 584921088 77090 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670295 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29356/statm: 142803 77090 466 189 0 137152 0
[pid=29356/tid=29358] ppid=29354 vsize=571212 CPUtime=101.7 cores=0-7
/proc/29356/task/29358/stat : 29358 (claspmt) R 29354 29356 29294 0 -1 4202560 5755 0 0 0 10166 4 0 0 25 0 8 0 662173710 584921088 77090 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29356/tid=29359] ppid=29354 vsize=571212 CPUtime=101.72 cores=0-7
/proc/29356/task/29359/stat : 29359 (claspmt) R 29354 29356 29294 0 -1 4202560 9727 0 0 0 10167 5 0 0 25 0 8 0 662173710 584921088 77090 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29356/tid=29360] ppid=29354 vsize=571212 CPUtime=100.51 cores=0-7
/proc/29356/task/29360/stat : 29360 (claspmt) R 29354 29356 29294 0 -1 4202560 5236 0 0 0 10048 3 0 0 25 0 8 0 662173710 584921088 77090 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670368 0 0 4096 18946 0 0 0 -1 7 0 0 0

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

[pid=29356/tid=29361] ppid=29354 vsize=575112 CPUtime=161.7 cores=0-7
/proc/29356/task/29361/stat : 29361 (claspmt) R 29354 29356 29294 0 -1 4202560 10214 0 0 0 16163 7 0 0 25 0 8 0 662173710 588914688 90190 33554432000 4194304 4964800 140735418762656 18446744073709551615 4321097 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29356/tid=29362] ppid=29354 vsize=575112 CPUtime=161.78 cores=0-7
/proc/29356/task/29362/stat : 29362 (claspmt) R 29354 29356 29294 0 -1 4202560 11191 0 0 0 16170 8 0 0 25 0 8 0 662173710 588914688 90190 33554432000 4194304 4964800 140735418762656 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29356/tid=29363] ppid=29354 vsize=575112 CPUtime=161.69 cores=0-7
/proc/29356/task/29363/stat : 29363 (claspmt) R 29354 29356 29294 0 -1 4202560 6166 0 0 0 16164 5 0 0 25 0 8 0 662173710 588914688 90190 33554432000 4194304 4964800 140735418762656 18446744073709551615 4669493 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29356/tid=29364] ppid=29354 vsize=575112 CPUtime=161.7 cores=0-7
/proc/29356/task/29364/stat : 29364 (claspmt) R 29354 29356 29294 0 -1 4202560 28624 0 0 0 16148 22 0 0 25 0 8 0 662173710 588914688 90190 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1292.22
Current children cumulated vsize (KiB) 575112

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

[startup+180.201 s]
/proc/loadavg: 7.87 7.39 7.67 9/374 29369
/proc/meminfo: memFree=12912652/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=575112 CPUtime=1435.21 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 96868 0 0 0 143446 75 0 0 25 0 8 0 662173665 588914688 95159 33554432000 4194304 4964800 140735418762656 18446744073709551615 4669399 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29356/statm: 143778 95159 466 189 0 138127 0
[pid=29356/tid=29358] ppid=29354 vsize=575112 CPUtime=179.58 cores=0-7
/proc/29356/task/29358/stat : 29358 (claspmt) R 29354 29356 29294 0 -1 4202560 6465 0 0 0 17953 5 0 0 25 0 8 0 662173710 588914688 95159 33554432000 4194304 4964800 140735418762656 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29356/tid=29359] ppid=29354 vsize=575112 CPUtime=179.6 cores=0-7
/proc/29356/task/29359/stat : 29359 (claspmt) R 29354 29356 29294 0 -1 4202560 11987 0 0 0 17954 6 0 0 25 0 8 0 662173710 588914688 95159 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670520 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29356/tid=29360] ppid=29354 vsize=575112 CPUtime=177.49 cores=0-7
/proc/29356/task/29360/stat : 29360 (claspmt) R 29354 29356 29294 0 -1 4202560 6461 0 0 0 17744 5 0 0 25 0 8 0 662173710 588914688 95159 33554432000 4194304 4964800 140735418762656 18446744073709551615 4653604 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29356/tid=29361] ppid=29354 vsize=575112 CPUtime=179.6 cores=0-7
/proc/29356/task/29361/stat : 29361 (claspmt) R 29354 29356 29294 0 -1 4202560 10338 0 0 0 17953 7 0 0 25 0 8 0 662173710 588914688 95159 33554432000 4194304 4964800 140735418762656 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29356/tid=29362] ppid=29354 vsize=575112 CPUtime=179.67 cores=0-7
/proc/29356/task/29362/stat : 29362 (claspmt) R 29354 29356 29294 0 -1 4202560 11548 0 0 0 17959 8 0 0 25 0 8 0 662173710 588914688 95159 33554432000 4194304 4964800 140735418762656 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29356/tid=29363] ppid=29354 vsize=575112 CPUtime=179.58 cores=0-7
/proc/29356/task/29363/stat : 29363 (claspmt) R 29354 29356 29294 0 -1 4202560 6301 0 0 0 17953 5 0 0 25 0 8 0 662173710 588914688 95159 33554432000 4194304 4964800 140735418762656 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29356/tid=29364] ppid=29354 vsize=575112 CPUtime=179.6 cores=0-7
/proc/29356/task/29364/stat : 29364 (claspmt) R 29354 29356 29294 0 -1 4202560 31922 0 0 0 17935 25 0 0 25 0 8 0 662173710 588914688 95159 33554432000 4194304 4964800 140735418762656 18446744073709551615 4321082 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1435.21
Current children cumulated vsize (KiB) 575112

[startup+186.6 s]
/proc/loadavg: 7.96 7.42 7.68 9/374 29369
/proc/meminfo: memFree=12911532/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=575112 CPUtime=1486.31 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 97221 0 0 0 148556 75 0 0 25 0 8 0 662173665 588914688 95512 33554432000 4194304 4964800 140735418762656 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29356/statm: 143778 95512 466 189 0 138127 0
[pid=29356/tid=29358] ppid=29354 vsize=575112 CPUtime=185.98 cores=0-7
/proc/29356/task/29358/stat : 29358 (claspmt) R 29354 29356 29294 0 -1 4202560 6487 0 0 0 18593 5 0 0 25 0 8 0 662173710 588914688 95512 33554432000 4194304 4964800 140735418762656 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29356/tid=29359] ppid=29354 vsize=575112 CPUtime=186 cores=0-7
/proc/29356/task/29359/stat : 29359 (claspmt) R 29354 29356 29294 0 -1 4202560 11999 0 0 0 18594 6 0 0 25 0 8 0 662173710 588914688 95512 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29356/tid=29360] ppid=29354 vsize=575112 CPUtime=183.81 cores=0-7
/proc/29356/task/29360/stat : 29360 (claspmt) R 29354 29356 29294 0 -1 4202560 6461 0 0 0 18376 5 0 0 25 0 8 0 662173710 588914688 95512 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29356/tid=29361] ppid=29354 vsize=575112 CPUtime=186 cores=0-7
/proc/29356/task/29361/stat : 29361 (claspmt) R 29354 29356 29294 0 -1 4202560 10410 0 0 0 18593 7 0 0 25 0 8 0 662173710 588914688 95512 33554432000 4194304 4964800 140735418762656 18446744073709551615 4627918 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29356/tid=29362] ppid=29354 vsize=575112 CPUtime=186.07 cores=0-7
/proc/29356/task/29362/stat : 29362 (claspmt) R 29354 29356 29294 0 -1 4202560 11548 0 0 0 18599 8 0 0 25 0 8 0 662173710 588914688 95512 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29356/tid=29363] ppid=29354 vsize=575112 CPUtime=185.98 cores=0-7
/proc/29356/task/29363/stat : 29363 (claspmt) R 29354 29356 29294 0 -1 4202560 6405 0 0 0 18593 5 0 0 25 0 8 0 662173710 588914688 95512 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29356/tid=29364] ppid=29354 vsize=575112 CPUtime=185.99 cores=0-7
/proc/29356/task/29364/stat : 29364 (claspmt) R 29354 29356 29294 0 -1 4202560 32064 0 0 0 18574 25 0 0 25 0 8 0 662173710 588914688 95512 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1486.31
Current children cumulated vsize (KiB) 575112

[startup+193.001 s]
/proc/loadavg: 7.97 7.43 7.68 9/374 29369
/proc/meminfo: memFree=12904084/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=575112 CPUtime=1537.44 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 99496 0 0 0 153666 78 0 0 25 0 8 0 662173665 588914688 97689 33554432000 4194304 4964800 140735418762656 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29356/statm: 143778 97689 466 189 0 138127 0
[pid=29356/tid=29358] ppid=29354 vsize=575112 CPUtime=192.38 cores=0-7
/proc/29356/task/29358/stat : 29358 (claspmt) R 29354 29356 29294 0 -1 4202560 6516 0 0 0 19233 5 0 0 25 0 8 0 662173710 588914688 97689 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29356/tid=29359] ppid=29354 vsize=575112 CPUtime=192.4 cores=0-7
/proc/29356/task/29359/stat : 29359 (claspmt) R 29354 29356 29294 0 -1 4202560 12035 0 0 0 19234 6 0 0 25 0 8 0 662173710 588914688 97689 33554432000 4194304 4964800 140735418762656 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29356/tid=29360] ppid=29354 vsize=575112 CPUtime=190.13 cores=0-7
/proc/29356/task/29360/stat : 29360 (claspmt) R 29354 29356 29294 0 -1 4202560 6464 0 0 0 19008 5 0 0 25 0 8 0 662173710 588914688 97689 33554432000 4194304 4964800 140735418762656 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29356/tid=29361] ppid=29354 vsize=575112 CPUtime=192.4 cores=0-7
/proc/29356/task/29361/stat : 29361 (claspmt) R 29354 29356 29294 0 -1 4202560 10429 0 0 0 19233 7 0 0 25 0 8 0 662173710 588914688 97689 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29356/tid=29362] ppid=29354 vsize=575112 CPUtime=192.47 cores=0-7
/proc/29356/task/29362/stat : 29362 (claspmt) R 29354 29356 29294 0 -1 4202560 11548 0 0 0 19239 8 0 0 25 0 8 0 662173710 588914688 97689 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29356/tid=29363] ppid=29354 vsize=575112 CPUtime=192.39 cores=0-7
/proc/29356/task/29363/stat : 29363 (claspmt) R 29354 29356 29294 0 -1 4202560 6607 0 0 0 19233 6 0 0 25 0 8 0 662173710 588914688 97689 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670282 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29356/tid=29364] ppid=29354 vsize=575112 CPUtime=192.4 cores=0-7
/proc/29356/task/29364/stat : 29364 (claspmt) R 29354 29356 29294 0 -1 4202560 34050 0 0 0 19212 28 0 0 25 0 8 0 662173710 588914688 97689 33554432000 4194304 4964800 140735418762656 18446744073709551615 4342228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1537.44
Current children cumulated vsize (KiB) 575112

[startup+196.201 s]
/proc/loadavg: 7.97 7.44 7.68 9/374 29369
/proc/meminfo: memFree=12895276/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=575852 CPUtime=1563 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 101561 0 0 0 156219 81 0 0 25 0 8 0 662173665 589672448 99754 33554432000 4194304 4964800 140735418762656 18446744073709551615 4660352 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29356/statm: 143963 99754 466 189 0 138312 0
[pid=29356/tid=29358] ppid=29354 vsize=575852 CPUtime=195.58 cores=0-7
/proc/29356/task/29358/stat : 29358 (claspmt) R 29354 29356 29294 0 -1 4202560 6628 0 0 0 19553 5 0 0 25 0 8 0 662173710 589672448 99754 33554432000 4194304 4964800 140735418762656 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29356/tid=29359] ppid=29354 vsize=575852 CPUtime=195.6 cores=0-7
/proc/29356/task/29359/stat : 29359 (claspmt) R 29354 29356 29294 0 -1 4202560 12159 0 0 0 19554 6 0 0 25 0 8 0 662173710 589672448 99754 33554432000 4194304 4964800 140735418762656 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29356/tid=29360] ppid=29354 vsize=575852 CPUtime=193.29 cores=0-7
/proc/29356/task/29360/stat : 29360 (claspmt) R 29354 29356 29294 0 -1 4202560 6468 0 0 0 19324 5 0 0 25 0 8 0 662173710 589672448 99754 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29356/tid=29361] ppid=29354 vsize=575852 CPUtime=195.6 cores=0-7
/proc/29356/task/29361/stat : 29361 (claspmt) R 29354 29356 29294 0 -1 4202560 10431 0 0 0 19553 7 0 0 25 0 8 0 662173710 589672448 99754 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29356/tid=29362] ppid=29354 vsize=575852 CPUtime=195.66 cores=0-7
/proc/29356/task/29362/stat : 29362 (claspmt) R 29354 29356 29294 0 -1 4202560 11640 0 0 0 19558 8 0 0 25 0 8 0 662173710 589672448 99754 33554432000 4194304 4964800 140735418762656 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29356/tid=29363] ppid=29354 vsize=575852 CPUtime=195.59 cores=0-7
/proc/29356/task/29363/stat : 29363 (claspmt) R 29354 29356 29294 0 -1 4202560 6607 0 0 0 19553 6 0 0 25 0 8 0 662173710 589672448 99754 33554432000 4194304 4964800 140735418762656 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29356/tid=29364] ppid=29354 vsize=575852 CPUtime=195.59 cores=0-7
/proc/29356/task/29364/stat : 29364 (claspmt) R 29354 29356 29294 0 -1 4202560 35781 0 0 0 19529 30 0 0 25 0 8 0 662173710 589672448 99754 33554432000 4194304 4964800 140735418762656 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1563
Current children cumulated vsize (KiB) 575852

[startup+197.801 s]
/proc/loadavg: 7.97 7.44 7.68 9/374 29369
/proc/meminfo: memFree=12892300/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=575852 CPUtime=1575.8 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 102054 0 0 0 157498 82 0 0 25 0 8 0 662173665 589672448 100247 33554432000 4194304 4964800 140735418762656 18446744073709551615 4684009 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29356/statm: 143963 100247 466 189 0 138312 0
[pid=29356/tid=29358] ppid=29354 vsize=575852 CPUtime=197.18 cores=0-7
/proc/29356/task/29358/stat : 29358 (claspmt) R 29354 29356 29294 0 -1 4202560 6702 0 0 0 19713 5 0 0 25 0 8 0 662173710 589672448 100247 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29356/tid=29359] ppid=29354 vsize=575852 CPUtime=197.21 cores=0-7
/proc/29356/task/29359/stat : 29359 (claspmt) R 29354 29356 29294 0 -1 4202560 12162 0 0 0 19715 6 0 0 25 0 8 0 662173710 589672448 100247 33554432000 4194304 4964800 140735418762656 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29356/tid=29360] ppid=29354 vsize=575852 CPUtime=194.88 cores=0-7
/proc/29356/task/29360/stat : 29360 (claspmt) R 29354 29356 29294 0 -1 4202560 6494 0 0 0 19483 5 0 0 25 0 8 0 662173710 589672448 100247 33554432000 4194304 4964800 140735418762656 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29356/tid=29361] ppid=29354 vsize=575852 CPUtime=197.2 cores=0-7
/proc/29356/task/29361/stat : 29361 (claspmt) R 29354 29356 29294 0 -1 4202560 10431 0 0 0 19713 7 0 0 25 0 8 0 662173710 589672448 100247 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29356/tid=29362] ppid=29354 vsize=575852 CPUtime=197.27 cores=0-7
/proc/29356/task/29362/stat : 29362 (claspmt) R 29354 29356 29294 0 -1 4202560 11784 0 0 0 19718 9 0 0 25 0 8 0 662173710 589672448 100247 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29356/tid=29363] ppid=29354 vsize=575852 CPUtime=197.19 cores=0-7
/proc/29356/task/29363/stat : 29363 (claspmt) R 29354 29356 29294 0 -1 4202560 6607 0 0 0 19713 6 0 0 25 0 8 0 662173710 589672448 100247 33554432000 4194304 4964800 140735418762656 18446744073709551615 4320890 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29356/tid=29364] ppid=29354 vsize=575852 CPUtime=197.2 cores=0-7
/proc/29356/task/29364/stat : 29364 (claspmt) R 29354 29356 29294 0 -1 4202560 36027 0 0 0 19689 31 0 0 25 0 8 0 662173710 589672448 100247 33554432000 4194304 4964800 140735418762656 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1575.8
Current children cumulated vsize (KiB) 575852

[startup+198.601 s]
/proc/loadavg: 7.97 7.44 7.68 9/374 29370
/proc/meminfo: memFree=12892176/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=575852 CPUtime=1582.18 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 102073 0 0 0 158136 82 0 0 25 0 8 0 662173665 589672448 100266 33554432000 4194304 4964800 140735418762656 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29356/statm: 143963 100266 466 189 0 138312 0
[pid=29356/tid=29358] ppid=29354 vsize=575852 CPUtime=197.99 cores=0-7
/proc/29356/task/29358/stat : 29358 (claspmt) R 29354 29356 29294 0 -1 4202560 6702 0 0 0 19793 6 0 0 25 0 8 0 662173710 589672448 100266 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29356/tid=29359] ppid=29354 vsize=575852 CPUtime=198 cores=0-7
/proc/29356/task/29359/stat : 29359 (claspmt) R 29354 29356 29294 0 -1 4202560 12165 0 0 0 19794 6 0 0 25 0 8 0 662173710 589672448 100266 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29356/tid=29360] ppid=29354 vsize=575852 CPUtime=195.67 cores=0-7
/proc/29356/task/29360/stat : 29360 (claspmt) R 29354 29356 29294 0 -1 4202560 6500 0 0 0 19562 5 0 0 25 0 8 0 662173710 589672448 100266 33554432000 4194304 4964800 140735418762656 18446744073709551615 4669338 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29356/tid=29361] ppid=29354 vsize=575852 CPUtime=198 cores=0-7
/proc/29356/task/29361/stat : 29361 (claspmt) R 29354 29356 29294 0 -1 4202560 10432 0 0 0 19793 7 0 0 25 0 8 0 662173710 589672448 100266 33554432000 4194304 4964800 140735418762656 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29356/tid=29362] ppid=29354 vsize=575852 CPUtime=198.07 cores=0-7
/proc/29356/task/29362/stat : 29362 (claspmt) R 29354 29356 29294 0 -1 4202560 11793 0 0 0 19798 9 0 0 25 0 8 0 662173710 589672448 100266 33554432000 4194304 4964800 140735418762656 18446744073709551615 4660402 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29356/tid=29363] ppid=29354 vsize=575852 CPUtime=197.99 cores=0-7
/proc/29356/task/29363/stat : 29363 (claspmt) R 29354 29356 29294 0 -1 4202560 6607 0 0 0 19793 6 0 0 25 0 8 0 662173710 589672448 100266 33554432000 4194304 4964800 140735418762656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29356/tid=29364] ppid=29354 vsize=575852 CPUtime=198 cores=0-7
/proc/29356/task/29364/stat : 29364 (claspmt) R 29354 29356 29294 0 -1 4202560 36027 0 0 0 19769 31 0 0 25 0 8 0 662173710 589672448 100266 33554432000 4194304 4964800 140735418762656 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1582.18
Current children cumulated vsize (KiB) 575852

[startup+199.001 s]
/proc/loadavg: 7.97 7.44 7.68 2/368 29370
/proc/meminfo: memFree=12892100/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=575852 CPUtime=1585.08 cores=0-7
/proc/29356/stat : 29356 (claspmt) S 29354 29356 29294 0 -1 4202496 102085 0 0 0 158425 83 0 0 25 0 2 0 662173665 589672448 100278 33554432000 4194304 4964800 140735418762656 18446744073709551615 208092035045 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/29356/statm: 143963 100278 467 189 0 138312 0
[pid=29356/tid=29362] ppid=29354 vsize=575852 CPUtime=198.48 cores=0-7
/proc/29356/task/29362/stat : 29362 (claspmt) R 29354 29356 29294 0 -1 4202560 11793 0 0 0 19839 9 0 0 25 0 2 0 662173710 589672448 100278 33554432000 4194304 4964800 140735418762656 18446744073709551615 208079929978 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1585.08
Current children cumulated vsize (KiB) 575852

[startup+199.114 s]
/proc/loadavg: 7.97 7.44 7.68 2/368 29370
/proc/meminfo: memFree=12892100/32950928 swapFree=57376972/67111528
[pid=29356] ppid=29354 vsize=575016 CPUtime=1585.18 cores=0-7
/proc/29356/stat : 29356 (claspmt) R 29354 29356 29294 0 -1 4202496 102094 0 0 0 158435 83 0 0 25 0 1 0 662173665 588816384 99863 33554432000 4194304 4964800 140735418762656 18446744073709551615 208079888945 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/29356/statm: 143754 99863 476 189 0 138103 0
Current children cumulated CPU time (s) 1585.18
Current children cumulated vsize (KiB) 575016

Child status: 20
Real time (s): 199.176
CPU time (s): 1585.25
CPU user time (s): 1584.39
CPU system time (s): 0.855869
CPU usage (%): 795.903
Max. virtual memory (cumulated for all children) (KiB): 575852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1584.39
system time used= 0.855869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102095
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= 12886
involuntary context switches= 7192

runsolver used 0.677896 second user time and 1.67774 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-16 02:29:00
IDJOB=3381145
IDBENCH=83451
IDSOLVER=1865
FILE ID=node127/3381145-1305505740
RUNJOBID= node127-1305505658-29308
PBS_JOBID= 13325499
Free space on /tmp= 73484 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-17.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-3381145-1305505740/watcher-3381145-1305505740 -o /tmp/evaluation-result-3381145-1305505740/solver-3381145-1305505740 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381145-1305505740.cnf

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

MD5SUM BENCH= ade81e5508101352b3d942708b201606
RANDOM SEED=116083243

node127.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.823
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.64
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.823
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.83
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.823
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.74
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.823
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.86
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.823
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.75
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.823
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.823
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.60
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.823
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13292308 kB
Buffers:         13908 kB
Cached:         143760 kB
SwapCached:     117804 kB
Active:        5181404 kB
Inactive:     14275256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13292308 kB
SwapTotal:    67111528 kB
SwapFree:     57376972 kB
Dirty:            3236 kB
Writeback:           0 kB
AnonPages:    19187896 kB
Mapped:          24688 kB
Slab:            56408 kB
PageTables:      76512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 72332132 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73484 MiB
End job on node127 at 2011-05-16 02:32:19