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-3727501-1338660452/watcher-3727501-1338660452 -o /tmp/evaluation-result-3727501-1338660452/solver-3727501-1338660452 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727501-1338660452.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.00 2.00 2.00 3/177 16922
/proc/meminfo: memFree=31306164/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=3588 CPUtime=0 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) R 16920 16922 14738 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 332173714 3674112 307 33554432000 4194304 5964350 140733212794160 140733212793576 4344357 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 897 307 166 433 0 382 0
[startup+0.0769521 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16922
/proc/meminfo: memFree=31306164/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=85948 CPUtime=0.07 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 2752 0 0 0 7 0 0 0 20 0 2 0 332173714 88010752 2625 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 21487 2625 193 433 0 21051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85948
[startup+0.100213 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16922
/proc/meminfo: memFree=31306164/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=85948 CPUtime=0.09 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 2839 0 0 0 9 0 0 0 20 0 2 0 332173714 88010752 2712 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 21487 2712 193 433 0 21051 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85948
[startup+0.300132 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16922
/proc/meminfo: memFree=31306164/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=85948 CPUtime=0.29 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 3056 0 0 0 29 0 0 0 20 0 2 0 332173714 88010752 2929 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 21487 2929 195 433 0 21051 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85948
[startup+0.70011 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16922
/proc/meminfo: memFree=31306164/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=85948 CPUtime=0.69 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 3118 0 0 0 69 0 0 0 20 0 2 0 332173714 88010752 2991 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 21487 2991 195 433 0 21051 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85948
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17001
/proc/meminfo: memFree=31736124/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=85948 CPUtime=1.48 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 3314 0 0 0 148 0 0 0 20 0 2 0 332173714 88010752 3369 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 21487 3369 195 433 0 21051 0
[pid=16922/tid=16924] ppid=16920 vsize=85948 CPUtime=1.44 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 1945 0 0 0 144 0 0 0 20 0 2 0 332173717 88010752 3369 33554432000 4194304 5964350 140733212794160 140613368238400 4403647 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85948
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17002
/proc/meminfo: memFree=31609356/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=85948 CPUtime=3.08 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 3329 0 0 0 308 0 0 0 20 0 2 0 332173714 88010752 3384 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 21487 3384 195 433 0 21051 0
[pid=16922/tid=16924] ppid=16920 vsize=85948 CPUtime=3.04 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 1960 0 0 0 304 0 0 0 20 0 2 0 332173717 88010752 3384 33554432000 4194304 5964350 140733212794160 140613368248248 4403612 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 85948
[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17002
/proc/meminfo: memFree=31582448/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=85948 CPUtime=6.28 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 3832 0 0 0 628 0 0 0 20 0 2 0 332173714 88010752 3887 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 21487 3887 195 433 0 21051 0
[pid=16922/tid=16924] ppid=16920 vsize=85948 CPUtime=6.23 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 2463 0 0 0 623 0 0 0 20 0 2 0 332173717 88010752 3887 33554432000 4194304 5964350 140733212794160 140613368248648 4403584 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 85948
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17002
/proc/meminfo: memFree=31563040/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=85948 CPUtime=12.68 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 4827 0 0 0 1268 0 0 0 20 0 2 0 332173714 88010752 5552 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 21487 5552 195 433 0 21051 0
[pid=16922/tid=16924] ppid=16920 vsize=85948 CPUtime=12.61 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 3458 0 0 0 1261 0 0 0 20 0 2 0 332173717 88010752 5552 33554432000 4194304 5964350 140733212794160 140613368249272 4222330 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85948
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17002
/proc/meminfo: memFree=31556740/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=85948 CPUtime=25.47 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 5394 0 0 0 2547 0 0 0 20 0 2 0 332173714 88010752 6119 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 21487 6119 195 433 0 21051 0
[pid=16922/tid=16924] ppid=16920 vsize=85948 CPUtime=25.38 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 4025 0 0 0 2538 0 0 0 20 0 2 0 332173717 88010752 6119 33554432000 4194304 5964350 140733212794160 140613368248680 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 85948
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17002
/proc/meminfo: memFree=31542084/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=86432 CPUtime=51.06 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 7821 0 0 0 5106 0 0 0 20 0 2 0 332173714 88506368 8546 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 21608 8546 195 433 0 21172 0
[pid=16922/tid=16924] ppid=16920 vsize=86432 CPUtime=50.91 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 6452 0 0 0 5091 0 0 0 20 0 2 0 332173717 88506368 8546 33554432000 4194304 5964350 140733212794160 140613368248312 4403626 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 86432
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 17003
/proc/meminfo: memFree=31513584/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=86672 CPUtime=102.26 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 12773 0 0 0 10223 3 0 0 20 0 2 0 332173714 88752128 13498 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 21668 13498 195 433 0 21232 0
[pid=16922/tid=16924] ppid=16920 vsize=86672 CPUtime=101.98 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 11404 0 0 0 10194 4 0 0 20 0 2 0 332173717 88752128 13498 33554432000 4194304 5964350 140733212794160 140613368248360 4398336 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 86672
[startup+162.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 17006
/proc/meminfo: memFree=31505004/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=85948 CPUtime=162.24 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 13264 0 0 0 16221 3 0 0 20 0 2 0 332173714 88010752 13855 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 21487 13855 195 433 0 21051 0
[pid=16922/tid=16924] ppid=16920 vsize=85948 CPUtime=161.82 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 11895 0 0 0 16177 5 0 0 20 0 2 0 332173717 88010752 13855 33554432000 4194304 5964350 140733212794160 140613368248856 4403626 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 85948
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 17006
/proc/meminfo: memFree=31502628/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=85948 CPUtime=222.22 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 13287 0 0 0 22219 3 0 0 20 0 2 0 332173714 88010752 14419 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 21487 14419 195 433 0 21051 0
[pid=16922/tid=16924] ppid=16920 vsize=85948 CPUtime=221.65 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 11918 0 0 0 22159 6 0 0 20 0 2 0 332173717 88010752 14419 33554432000 4194304 5964350 140733212794160 140613368248856 4381967 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 85948
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 17006
/proc/meminfo: memFree=31480184/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=85948 CPUtime=282.22 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 17053 0 0 0 28216 6 0 0 20 0 2 0 332173714 88010752 18185 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 21487 18185 195 433 0 21051 0
[pid=16922/tid=16924] ppid=16920 vsize=85948 CPUtime=281.5 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 15684 0 0 0 28140 10 0 0 20 0 2 0 332173717 88010752 18185 33554432000 4194304 5964350 140733212794160 140613368248312 4403290 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 85948
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 17006
/proc/meminfo: memFree=31456424/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=152568 CPUtime=342.21 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 22573 0 0 0 34210 11 0 0 20 0 2 0 332173714 156229632 23705 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 38142 23705 195 433 0 37706 0
[pid=16922/tid=16924] ppid=16920 vsize=152568 CPUtime=341.34 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 21204 0 0 0 34118 16 0 0 20 0 2 0 332173717 156229632 23705 33554432000 4194304 5964350 140733212794160 140613368248312 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 152568
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 17007
/proc/meminfo: memFree=31447088/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=151484 CPUtime=402.2 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 24153 0 0 0 40208 12 0 0 20 0 2 0 332173714 155119616 25263 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 37871 25263 195 433 0 37435 0
[pid=16922/tid=16924] ppid=16920 vsize=151484 CPUtime=401.18 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 22784 0 0 0 40100 18 0 0 20 0 2 0 332173717 155119616 25263 33554432000 4194304 5964350 140733212794160 140613368249272 4222474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 151484
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 17007
/proc/meminfo: memFree=31447016/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=151484 CPUtime=462.19 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17016
/proc/meminfo: memFree=31222868/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=349716 CPUtime=1421.98 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 72471 0 0 0 142142 56 0 0 20 0 2 0 332173714 358109184 74565 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 87429 74565 195 433 0 86993 0
[pid=16922/tid=16924] ppid=16920 vsize=349716 CPUtime=1418.46 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 71102 0 0 0 141769 77 0 0 20 0 2 0 332173717 358109184 74565 33554432000 4194304 5964350 140733212794160 140613368248360 4403641 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 349716
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17016
/proc/meminfo: memFree=31204268/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=349716 CPUtime=1481.96 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 77182 0 0 0 148136 60 0 0 20 0 2 0 332173714 358109184 79276 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 87429 79276 195 433 0 86993 0
[pid=16922/tid=16924] ppid=16920 vsize=349716 CPUtime=1478.3 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 75813 0 0 0 147748 82 0 0 20 0 2 0 332173717 358109184 79276 33554432000 4194304 5964350 140733212794160 140613368248360 4399872 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 349716
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17016
/proc/meminfo: memFree=31201540/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=349716 CPUtime=1541.95 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 77849 0 0 0 154134 61 0 0 20 0 2 0 332173714 358109184 79942 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 87429 79942 195 433 0 86993 0
[pid=16922/tid=16924] ppid=16920 vsize=349716 CPUtime=1538.14 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 76480 0 0 0 153730 84 0 0 20 0 2 0 332173717 358109184 79942 33554432000 4194304 5964350 140733212794160 140613368248312 4399832 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 349716
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17017
/proc/meminfo: memFree=31183684/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=349716 CPUtime=1601.95 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 82377 0 0 0 160127 68 0 0 20 0 2 0 332173714 358109184 84470 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 87429 84470 195 433 0 86993 0
[pid=16922/tid=16924] ppid=16920 vsize=349716 CPUtime=1597.98 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 81008 0 0 0 159706 92 0 0 20 0 2 0 332173717 358109184 84470 33554432000 4194304 5964350 140733212794160 140613368248120 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 349716
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 17017
/proc/meminfo: memFree=31176120/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=415252 CPUtime=1661.94 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 84195 0 0 0 166122 72 0 0 20 0 2 0 332173714 425218048 86288 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 103813 86288 195 433 0 103377 0
[pid=16922/tid=16924] ppid=16920 vsize=415252 CPUtime=1657.83 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 82826 0 0 0 165686 97 0 0 20 0 2 0 332173717 425218048 86288 33554432000 4194304 5964350 140733212794160 140613368248312 4403588 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 415252
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17017
/proc/meminfo: memFree=31172952/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=415252 CPUtime=1721.92 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 85054 0 0 0 172119 73 0 0 20 0 2 0 332173714 425218048 87173 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 103813 87173 195 433 0 103377 0
[pid=16922/tid=16924] ppid=16920 vsize=415252 CPUtime=1717.67 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 83685 0 0 0 171668 99 0 0 20 0 2 0 332173717 425218048 87173 33554432000 4194304 5964350 140733212794160 140613368248360 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 415252
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17017
/proc/meminfo: memFree=31156468/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=415252 CPUtime=1781.9 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 88866 0 0 0 178112 78 0 0 20 0 2 0 332173714 425218048 91085 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 103813 91085 195 433 0 103377 0
[pid=16922/tid=16924] ppid=16920 vsize=415252 CPUtime=1777.49 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 87497 0 0 0 177644 105 0 0 20 0 2 0 332173717 425218048 91085 33554432000 4194304 5964350 140733212794160 140613368248360 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 415252
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 17017
/proc/meminfo: memFree=31154980/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=415252 CPUtime=1791.5 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 89186 0 0 0 179072 78 0 0 20 0 2 0 332173714 425218048 91405 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 103813 91405 195 433 0 103377 0
[pid=16922/tid=16924] ppid=16920 vsize=415252 CPUtime=1787.07 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 87817 0 0 0 178602 105 0 0 20 0 2 0 332173717 425218048 91405 33554432000 4194304 5964350 140733212794160 140613368248360 4379312 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 415252
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17017
/proc/meminfo: memFree=31155104/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=415252 CPUtime=1794.7 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 89186 0 0 0 179392 78 0 0 20 0 2 0 332173714 425218048 91405 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 103813 91405 195 433 0 103377 0
[pid=16922/tid=16924] ppid=16920 vsize=415252 CPUtime=1790.26 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 87817 0 0 0 178921 105 0 0 20 0 2 0 332173717 425218048 91405 33554432000 4194304 5964350 140733212794160 140613368248360 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 415252
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17017
/proc/meminfo: memFree=31155104/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=415252 CPUtime=1797.9 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 89186 0 0 0 179712 78 0 0 20 0 2 0 332173714 425218048 91405 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 103813 91405 195 433 0 103377 0
[pid=16922/tid=16924] ppid=16920 vsize=415252 CPUtime=1793.45 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 87817 0 0 0 179240 105 0 0 20 0 2 0 332173717 425218048 91405 33554432000 4194304 5964350 140733212794160 140613368248360 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 415252
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17017
/proc/meminfo: memFree=31155104/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=415252 CPUtime=1798.7 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 89186 0 0 0 179792 78 0 0 20 0 2 0 332173714 425218048 91405 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 103813 91405 195 433 0 103377 0
[pid=16922/tid=16924] ppid=16920 vsize=415252 CPUtime=1794.25 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 87817 0 0 0 179320 105 0 0 20 0 2 0 332173717 425218048 91405 33554432000 4194304 5964350 140733212794160 140613368248360 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (KiB) 415252
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17017
/proc/meminfo: memFree=31155104/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=415252 CPUtime=1799.1 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 89186 0 0 0 179832 78 0 0 20 0 2 0 332173714 425218048 91405 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 103813 91405 195 433 0 103377 0
[pid=16922/tid=16924] ppid=16920 vsize=415252 CPUtime=1794.65 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 87817 0 0 0 179360 105 0 0 20 0 2 0 332173717 425218048 91405 33554432000 4194304 5964350 140733212794160 140613368248360 4222317 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.1
Current children cumulated vsize (KiB) 415252
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17017
/proc/meminfo: memFree=31155104/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=415252 CPUtime=1799.5 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 89186 0 0 0 179872 78 0 0 20 0 2 0 332173714 425218048 91405 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 103813 91405 195 433 0 103377 0
[pid=16922/tid=16924] ppid=16920 vsize=415252 CPUtime=1795.05 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 87817 0 0 0 179400 105 0 0 20 0 2 0 332173717 425218048 91405 33554432000 4194304 5964350 140733212794160 140613368248360 5131148 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 415252
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17017
/proc/meminfo: memFree=31155104/32873844 swapFree=8656/8656
[pid=16922] ppid=16920 vsize=415252 CPUtime=1799.6 cores=1,3,5,7
/proc/16922/stat : 16922 (wbo1.72) S 16920 16922 14738 0 -1 4202496 89186 0 0 0 179882 78 0 0 20 0 2 0 332173714 425218048 91405 33554432000 4194304 5964350 140733212794160 140733212793680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16922/statm: 103813 91405 195 433 0 103377 0
[pid=16922/tid=16924] ppid=16920 vsize=415252 CPUtime=1795.15 cores=1,3,5,7
/proc/16922/task/16924/stat : 16924 (wbo1.72) R 16920 16922 14738 0 -1 4202560 87817 0 0 0 179410 105 0 0 20 0 2 0 332173717 425218048 91405 33554432000 4194304 5964350 140733212794160 140613368248360 4403588 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (KiB) 415252
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16922 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=134250
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=62838
# CPU time returned by wait4() is 1795.2
# while last known CPU time is 1799.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.6
CPU user time (s): 1798.82
CPU system time (s): 0.78
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 415252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.13
system time used= 1.06284
maximum resident set size= 365628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89188
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= 149
involuntary context switches= 1874
runsolver used 4.86726 second user time and 19.0081 second system time
The end