runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3727504-1338660474/watcher-3727504-1338660474 -o /tmp/evaluation-result-3727504-1338660474/solver-3727504-1338660474 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727504-1338660474.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.02 2.01 2.00 3/177 6586
/proc/meminfo: memFree=25993012/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=4368 CPUtime=0 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) R 6584 6586 4479 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 332172812 4472832 308 33554432000 4194304 5964350 140736044484944 140736882751768 4344688 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 1092 309 167 433 0 382 0
[startup+0.0180921 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6586
/proc/meminfo: memFree=25993012/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=5556 CPUtime=0.01 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) R 6584 6586 4479 0 -1 4202496 676 0 0 0 1 0 0 0 20 0 1 0 332172812 5689344 628 33554432000 4194304 5964350 140736044484944 140736882751768 4315654 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 1389 629 205 433 0 679 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5556
[startup+0.100214 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6586
/proc/meminfo: memFree=25993012/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=91420 CPUtime=0.09 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 4118 0 0 0 9 0 0 0 20 0 2 0 332172812 93614080 3796 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 22855 3800 182 433 0 22419 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 91420
[startup+0.300242 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6586
/proc/meminfo: memFree=25993012/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=91420 CPUtime=0.29 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 7496 0 0 0 28 1 0 0 20 0 2 0 332172812 93614080 7174 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 22855 7174 193 433 0 22419 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 91420
[startup+0.70018 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6586
/proc/meminfo: memFree=25993012/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=91420 CPUtime=0.69 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 7972 0 0 0 68 1 0 0 20 0 2 0 332172812 93614080 7650 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 22855 7650 195 433 0 22419 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91420
[startup+1.50021 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 6627
/proc/meminfo: memFree=26332276/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=91420 CPUtime=1.49 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 8303 0 0 0 148 1 0 0 20 0 2 0 332172812 93614080 7981 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 22855 7981 195 433 0 22419 0
[pid=6586/tid=6588] ppid=6584 vsize=91420 CPUtime=1.4 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 5381 0 0 0 140 0 0 0 20 0 2 0 332172820 93614080 7981 33554432000 4194304 5964350 140736044484944 140317129673128 4222314 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91420
[startup+3.10021 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 6627
/proc/meminfo: memFree=26329028/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=91420 CPUtime=3.09 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 8488 0 0 0 308 1 0 0 20 0 2 0 332172812 93614080 8166 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 22855 8166 195 433 0 22419 0
[pid=6586/tid=6588] ppid=6584 vsize=91420 CPUtime=3 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 5566 0 0 0 300 0 0 0 20 0 2 0 332172820 93614080 8166 33554432000 4194304 5964350 140736044484944 140317129673064 4403296 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 91420
[startup+6.30022 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 6627
/proc/meminfo: memFree=26325644/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=91420 CPUtime=6.29 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 8777 0 0 0 628 1 0 0 20 0 2 0 332172812 93614080 8455 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 22855 8455 195 433 0 22419 0
[pid=6586/tid=6588] ppid=6584 vsize=91420 CPUtime=6.2 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 5855 0 0 0 619 1 0 0 20 0 2 0 332172820 93614080 8455 33554432000 4194304 5964350 140736044484944 140317129673160 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91420
[startup+12.7001 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 6627
/proc/meminfo: memFree=26320580/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=91420 CPUtime=12.69 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 9417 0 0 0 1268 1 0 0 20 0 2 0 332172812 93614080 9095 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 22855 9095 195 433 0 22419 0
[pid=6586/tid=6588] ppid=6584 vsize=91420 CPUtime=12.6 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 6495 0 0 0 1258 2 0 0 20 0 2 0 332172820 93614080 9095 33554432000 4194304 5964350 140736044484944 140317129673096 4222330 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 91420
[startup+25.5001 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 6627
/proc/meminfo: memFree=26314140/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=91420 CPUtime=25.48 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 9871 0 0 0 2547 1 0 0 20 0 2 0 332172812 93614080 9680 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 22855 9680 195 433 0 22419 0
[pid=6586/tid=6588] ppid=6584 vsize=91420 CPUtime=25.4 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 6949 0 0 0 2538 2 0 0 20 0 2 0 332172820 93614080 9680 33554432000 4194304 5964350 140736044484944 140317129673160 4403399 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 91420
[startup+51.1002 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6627
/proc/meminfo: memFree=26299256/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=91420 CPUtime=51.07 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 11555 0 0 0 5105 2 0 0 20 0 2 0 332172812 93614080 11580 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 22855 11580 195 433 0 22419 0
[pid=6586/tid=6588] ppid=6584 vsize=91420 CPUtime=50.99 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 8633 0 0 0 5097 2 0 0 20 0 2 0 332172820 93614080 11580 33554432000 4194304 5964350 140736044484944 140317129673064 4222314 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 91420
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6627
/proc/meminfo: memFree=26273756/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=91420 CPUtime=102.27 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 13060 0 0 0 10225 2 0 0 20 0 2 0 332172812 93614080 13028 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 22855 13028 195 433 0 22419 0
[pid=6586/tid=6588] ppid=6584 vsize=91420 CPUtime=102.2 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 10138 0 0 0 10216 4 0 0 20 0 2 0 332172820 93614080 13028 33554432000 4194304 5964350 140736044484944 140317129673656 4400342 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 91420
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6630
/proc/meminfo: memFree=26262300/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=91420 CPUtime=162.25 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 13076 0 0 0 16223 2 0 0 20 0 2 0 332172812 93614080 13540 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 22855 13540 195 433 0 22419 0
[pid=6586/tid=6588] ppid=6584 vsize=91420 CPUtime=162.19 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 10154 0 0 0 16214 5 0 0 20 0 2 0 332172820 93614080 13540 33554432000 4194304 5964350 140736044484944 140317129673048 4403290 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 91420
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6630
/proc/meminfo: memFree=26225224/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=91904 CPUtime=222.24 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 15313 0 0 0 22220 4 0 0 20 0 2 0 332172812 94109696 15801 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 22976 15801 195 433 0 22540 0
[pid=6586/tid=6588] ppid=6584 vsize=91904 CPUtime=222.19 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 12391 0 0 0 22212 7 0 0 20 0 2 0 332172820 94109696 15801 33554432000 4194304 5964350 140736044484944 140317129672504 4222304 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 91904
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6630
/proc/meminfo: memFree=26175984/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=92144 CPUtime=282.23 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 19413 0 0 0 28217 6 0 0 20 0 2 0 332172812 94355456 19914 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 23036 19914 195 433 0 22600 0
[pid=6586/tid=6588] ppid=6584 vsize=92144 CPUtime=282.19 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 16491 0 0 0 28209 10 0 0 20 0 2 0 332172820 94355456 19914 33554432000 4194304 5964350 140736044484944 140317129672696 4222474 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 92144
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6631
/proc/meminfo: memFree=26136224/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=157680 CPUtime=342.22 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 22380 0 0 0 34214 8 0 0 20 0 2 0 332172812 161464320 22900 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 39420 22900 195 433 0 38984 0
[pid=6586/tid=6588] ppid=6584 vsize=157680 CPUtime=342.19 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 19458 0 0 0 34206 13 0 0 20 0 2 0 332172820 161464320 22900 33554432000 4194304 5964350 140736044484944 140317129672744 4403637 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 157680
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6631
/proc/meminfo: memFree=26099792/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=157680 CPUtime=402.2 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 24717 0 0 0 40210 10 0 0 20 0 2 0 332172812 161464320 25254 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 39420 25254 195 433 0 38984 0
[pid=6586/tid=6588] ppid=6584 vsize=157680 CPUtime=402.19 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 21795 0 0 0 40202 17 0 0 20 0 2 0 332172820 161464320 25254 33554432000 4194304 5964350 140736044484944 140317129672696 4403641 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 157680
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6631
/proc/meminfo: memFree=26084564/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=158524 CPUtime=462.19 cores=1,3,5,7
################
# More data... #
################
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 35642 0 0 0 130175 46 0 0 20 0 2 0 332172820 227831808 39004 33554432000 4194304 5964350 140736044484944 140317129673656 4403647 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 222492
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6640
/proc/meminfo: memFree=25851004/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=222492 CPUtime=1362.02 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 38580 0 0 0 136175 27 0 0 20 0 2 0 332172812 227831808 39020 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 55623 39020 195 433 0 55187 0
[pid=6586/tid=6588] ppid=6584 vsize=222492 CPUtime=1362.2 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 35658 0 0 0 136173 47 0 0 20 0 2 0 332172820 227831808 39020 33554432000 4194304 5964350 140736044484944 140317129673656 4403641 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 222492
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6640
/proc/meminfo: memFree=25827160/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=222492 CPUtime=1422.02 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 38580 0 0 0 142175 27 0 0 20 0 2 0 332172812 227831808 39020 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 55623 39020 195 433 0 55187 0
[pid=6586/tid=6588] ppid=6584 vsize=222492 CPUtime=1422.21 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 35658 0 0 0 142173 48 0 0 20 0 2 0 332172820 227831808 39020 33554432000 4194304 5964350 140736044484944 140317129673656 4222314 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 222492
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6640
/proc/meminfo: memFree=25811096/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=222492 CPUtime=1482 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 40206 0 0 0 148171 29 0 0 20 0 2 0 332172812 227831808 40646 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 55623 40646 195 433 0 55187 0
[pid=6586/tid=6588] ppid=6584 vsize=222492 CPUtime=1482.21 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 37284 0 0 0 148169 52 0 0 20 0 2 0 332172820 227831808 40646 33554432000 4194304 5964350 140736044484944 140317129672504 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 222492
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 6641
/proc/meminfo: memFree=25784168/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=224116 CPUtime=1541.99 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 44489 0 0 0 154166 33 0 0 20 0 2 0 332172812 229494784 44929 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 56029 44929 195 433 0 55593 0
[pid=6586/tid=6588] ppid=6584 vsize=224116 CPUtime=1542.21 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 41567 0 0 0 154165 56 0 0 20 0 2 0 332172820 229494784 44929 33554432000 4194304 5964350 140736044484944 140317129672632 4222314 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 224116
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 6641
/proc/meminfo: memFree=25760732/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=224116 CPUtime=1601.98 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 44526 0 0 0 160165 33 0 0 20 0 2 0 332172812 229494784 44966 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 56029 44966 195 433 0 55593 0
[pid=6586/tid=6588] ppid=6584 vsize=224116 CPUtime=1602.21 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 41604 0 0 0 160164 57 0 0 20 0 2 0 332172820 229494784 44966 33554432000 4194304 5964350 140736044484944 140317129672744 4399832 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 224116
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6641
/proc/meminfo: memFree=25734376/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=224116 CPUtime=1661.97 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 48900 0 0 0 166159 38 0 0 20 0 2 0 332172812 229494784 49345 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 56029 49345 195 433 0 55593 0
[pid=6586/tid=6588] ppid=6584 vsize=224116 CPUtime=1662.21 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 45978 0 0 0 166158 63 0 0 20 0 2 0 332172820 229494784 49345 33554432000 4194304 5964350 140736044484944 140317129672744 4378736 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 224116
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6641
/proc/meminfo: memFree=25698376/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=224116 CPUtime=1721.95 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 48958 0 0 0 172157 38 0 0 20 0 2 0 332172812 229494784 49566 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 56029 49566 195 433 0 55593 0
[pid=6586/tid=6588] ppid=6584 vsize=224116 CPUtime=1722.2 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 46036 0 0 0 172156 64 0 0 20 0 2 0 332172820 229494784 49566 33554432000 4194304 5964350 140736044484944 140317129672504 4403639 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 224116
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6641
/proc/meminfo: memFree=25690192/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=224116 CPUtime=1781.93 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 50980 0 0 0 178153 40 0 0 20 0 2 0 332172812 229494784 51588 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 56029 51588 195 433 0 55593 0
[pid=6586/tid=6588] ppid=6584 vsize=224116 CPUtime=1782.2 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 48058 0 0 0 178152 68 0 0 20 0 2 0 332172820 229494784 51588 33554432000 4194304 5964350 140736044484944 140317129672696 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 224116
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6641
/proc/meminfo: memFree=25687836/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=224116 CPUtime=1791.54 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 51559 0 0 0 179113 41 0 0 20 0 2 0 332172812 229494784 52167 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 56029 52167 195 433 0 55593 0
[pid=6586/tid=6588] ppid=6584 vsize=224116 CPUtime=1791.81 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 48637 0 0 0 179112 69 0 0 20 0 2 0 332172820 229494784 52167 33554432000 4194304 5964350 140736044484944 140317129672744 4399852 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (KiB) 224116
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6641
/proc/meminfo: memFree=25687216/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=224116 CPUtime=1794.74 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 51742 0 0 0 179433 41 0 0 20 0 2 0 332172812 229494784 52350 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 56029 52350 195 433 0 55593 0
[pid=6586/tid=6588] ppid=6584 vsize=224116 CPUtime=1795.01 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 48820 0 0 0 179432 69 0 0 20 0 2 0 332172820 229494784 52350 33554432000 4194304 5964350 140736044484944 140317129672744 4222474 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 224116
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6641
/proc/meminfo: memFree=25686720/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=224116 CPUtime=1797.94 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 51934 0 0 0 179752 42 0 0 20 0 2 0 332172812 229494784 52542 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 56029 52542 195 433 0 55593 0
[pid=6586/tid=6588] ppid=6584 vsize=224116 CPUtime=1798.21 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 49012 0 0 0 179752 69 0 0 20 0 2 0 332172820 229494784 52542 33554432000 4194304 5964350 140736044484944 140317129672696 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 224116
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6641
/proc/meminfo: memFree=25686472/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=224116 CPUtime=1798.74 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 51987 0 0 0 179832 42 0 0 20 0 2 0 332172812 229494784 52595 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 56029 52595 195 433 0 55593 0
[pid=6586/tid=6588] ppid=6584 vsize=224116 CPUtime=1799.01 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 49065 0 0 0 179832 69 0 0 20 0 2 0 332172820 229494784 52595 33554432000 4194304 5964350 140736044484944 140317129672696 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.74
Current children cumulated vsize (KiB) 224116
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6641
/proc/meminfo: memFree=25686224/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=224116 CPUtime=1799.14 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 52018 0 0 0 179872 42 0 0 20 0 2 0 332172812 229494784 52626 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 56029 52626 195 433 0 55593 0
[pid=6586/tid=6588] ppid=6584 vsize=224116 CPUtime=1799.41 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 49096 0 0 0 179871 70 0 0 20 0 2 0 332172820 229494784 52626 33554432000 4194304 5964350 140736044484944 140317129672696 4403637 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.14
Current children cumulated vsize (KiB) 224116
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6641
/proc/meminfo: memFree=25686224/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=224116 CPUtime=1799.53 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 52043 0 0 0 179911 42 0 0 20 0 2 0 332172812 229494784 52651 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 56029 52651 195 433 0 55593 0
[pid=6586/tid=6588] ppid=6584 vsize=224116 CPUtime=1799.81 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 49121 0 0 0 179911 70 0 0 20 0 2 0 332172820 229494784 52651 33554432000 4194304 5964350 140736044484944 140317129672696 4400017 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 224116
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6641
/proc/meminfo: memFree=25686224/32873648 swapFree=6864/6864
[pid=6586] ppid=6584 vsize=224116 CPUtime=1799.63 cores=1,3,5,7
/proc/6586/stat : 6586 (wbo1.72) S 6584 6586 4479 0 -1 4202496 52052 0 0 0 179921 42 0 0 20 0 2 0 332172812 229494784 52660 33554432000 4194304 5964350 140736044484944 140736044484464 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6586/statm: 56029 52660 195 433 0 55593 0
[pid=6586/tid=6588] ppid=6584 vsize=224116 CPUtime=1799.91 cores=1,3,5,7
/proc/6586/task/6588/stat : 6588 (wbo1.72) R 6584 6586 4479 0 -1 4202560 49130 0 0 0 179921 70 0 0 20 0 2 0 332172820 229494784 52660 33554432000 4194304 5964350 140736044484944 140317129672696 5136340 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (KiB) 224116
Child status: 255
Real time (s): 1800
CPU time (s): 1800.01
CPU user time (s): 1799.3
CPU system time (s): 0.714891
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 224116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.714891
maximum resident set size= 210648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52054
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= 93
involuntary context switches= 1844
runsolver used 2.65759 second user time and 7.16491 second system time
The end