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-3712838-1338192203/watcher-3712838-1338192203 -o /tmp/evaluation-result-3712838-1338192203/solver-3712838-1338192203 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712838-1338192203.wbo
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: 1.61 1.90 1.97 4/176 32507
/proc/meminfo: memFree=27310660/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=83700 CPUtime=0 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 784 0 0 0 0 0 0 0 20 0 2 0 285347556 85708800 736 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 20925 736 193 433 0 20489 0
[pid=32507/tid=32509] ppid=32505 vsize=83700 CPUtime=0 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 2 0 285347557 85708800 736 33554432000 4194304 5964318 140734513305600 140736404620904 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.064294 s]
/proc/loadavg: 1.61 1.90 1.97 4/176 32507
/proc/meminfo: memFree=27310660/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=83700 CPUtime=0.06 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 948 0 0 0 6 0 0 0 20 0 2 0 285347556 85708800 900 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 20925 900 194 433 0 20489 0
[pid=32507/tid=32509] ppid=32505 vsize=83700 CPUtime=0.05 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 235 0 0 0 5 0 0 0 20 0 2 0 285347557 85708800 900 33554432000 4194304 5964318 140734513305600 140736404620904 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 83700
[startup+0.100276 s]
/proc/loadavg: 1.61 1.90 1.97 4/176 32507
/proc/meminfo: memFree=27310660/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=83700 CPUtime=0.09 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 1018 0 0 0 9 0 0 0 20 0 2 0 285347556 85708800 970 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 20925 970 194 433 0 20489 0
[pid=32507/tid=32509] ppid=32505 vsize=83700 CPUtime=0.08 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 305 0 0 0 8 0 0 0 20 0 2 0 285347557 85708800 970 33554432000 4194304 5964318 140734513305600 140736404620904 4399982 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83700
[startup+0.300268 s]
/proc/loadavg: 1.61 1.90 1.97 4/176 32507
/proc/meminfo: memFree=27310660/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=83700 CPUtime=0.29 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 1205 0 0 0 29 0 0 0 20 0 2 0 285347556 85708800 1157 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 20925 1157 194 433 0 20489 0
[pid=32507/tid=32509] ppid=32505 vsize=83700 CPUtime=0.28 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 492 0 0 0 28 0 0 0 20 0 2 0 285347557 85708800 1157 33554432000 4194304 5964318 140734513305600 139878011115320 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83700
[startup+0.700213 s]
/proc/loadavg: 1.61 1.90 1.97 4/176 32507
/proc/meminfo: memFree=27310660/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=83700 CPUtime=0.69 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 1572 0 0 0 69 0 0 0 20 0 2 0 285347556 85708800 1524 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 20925 1524 194 433 0 20489 0
[pid=32507/tid=32509] ppid=32505 vsize=83700 CPUtime=0.68 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 859 0 0 0 68 0 0 0 20 0 2 0 285347557 85708800 1524 33554432000 4194304 5964318 140734513305600 139878011115320 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83700
[startup+1.50021 s]
/proc/loadavg: 1.64 1.90 1.97 4/179 32510
/proc/meminfo: memFree=27294852/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=83700 CPUtime=1.49 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 2033 0 0 0 149 0 0 0 20 0 2 0 285347556 85708800 1985 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 20925 1985 194 433 0 20489 0
[pid=32507/tid=32509] ppid=32505 vsize=83700 CPUtime=1.48 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 1320 0 0 0 148 0 0 0 20 0 2 0 285347557 85708800 1985 33554432000 4194304 5964318 140734513305600 139878011115320 4399982 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83700
[startup+3.1002 s]
/proc/loadavg: 1.64 1.90 1.97 4/179 32510
/proc/meminfo: memFree=27289628/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=83844 CPUtime=3.09 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 2371 0 0 0 309 0 0 0 20 0 2 0 285347556 85856256 2323 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 20961 2323 194 433 0 20525 0
[pid=32507/tid=32509] ppid=32505 vsize=83844 CPUtime=3.07 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 1658 0 0 0 307 0 0 0 20 0 2 0 285347557 85856256 2323 33554432000 4194304 5964318 140734513305600 139878011115320 4399816 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83844
[startup+6.30021 s]
/proc/loadavg: 1.67 1.91 1.97 4/179 32510
/proc/meminfo: memFree=27284484/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=83844 CPUtime=6.29 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 2854 0 0 0 629 0 0 0 20 0 2 0 285347556 85856256 2806 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 20961 2806 194 433 0 20525 0
[pid=32507/tid=32509] ppid=32505 vsize=83844 CPUtime=6.26 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 2141 0 0 0 626 0 0 0 20 0 2 0 285347557 85856256 2806 33554432000 4194304 5964318 140734513305600 139878011115320 4399960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83844
[startup+12.7002 s]
/proc/loadavg: 1.69 1.91 1.97 4/179 32510
/proc/meminfo: memFree=27280436/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=83916 CPUtime=12.68 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 3460 0 0 0 1268 0 0 0 20 0 2 0 285347556 85929984 3411 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 20979 3411 194 433 0 20543 0
[pid=32507/tid=32509] ppid=32505 vsize=83916 CPUtime=12.65 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 2747 0 0 0 1265 0 0 0 20 0 2 0 285347557 85929984 3411 33554432000 4194304 5964318 140734513305600 139878011115320 4399991 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) 83916
[startup+25.5002 s]
/proc/loadavg: 1.76 1.91 1.97 4/179 32510
/proc/meminfo: memFree=27265496/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=84780 CPUtime=25.48 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 4909 0 0 0 2547 1 0 0 20 0 2 0 285347556 86814720 4926 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 21195 4926 194 433 0 20759 0
[pid=32507/tid=32509] ppid=32505 vsize=84780 CPUtime=25.41 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 4196 0 0 0 2541 0 0 0 20 0 2 0 285347557 86814720 4926 33554432000 4194304 5964318 140734513305600 139878011115512 4399879 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84780
[startup+51.1003 s]
/proc/loadavg: 1.84 1.92 1.97 4/179 32510
/proc/meminfo: memFree=27239992/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=86616 CPUtime=51.07 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 7110 0 0 0 5106 1 0 0 20 0 2 0 285347556 88694784 7816 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 21654 7816 194 433 0 21218 0
[pid=32507/tid=32509] ppid=32505 vsize=86616 CPUtime=50.94 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 6397 0 0 0 5093 1 0 0 20 0 2 0 285347557 88694784 7816 33554432000 4194304 5964318 140734513305600 139878011115320 4399960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 86616
[startup+102.307 s]
/proc/loadavg: 1.93 1.93 1.97 4/179 32510
/proc/meminfo: memFree=27212636/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=91024 CPUtime=102.27 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 10243 0 0 0 10224 3 0 0 20 0 2 0 285347556 93208576 10983 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 22756 10983 194 433 0 22320 0
[pid=32507/tid=32509] ppid=32505 vsize=91024 CPUtime=102.01 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 9530 0 0 0 10197 4 0 0 20 0 2 0 285347557 93208576 10983 33554432000 4194304 5964318 140734513305600 139878011115560 4400001 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 91024
[startup+162.3 s]
/proc/loadavg: 1.97 1.94 1.97 4/179 32510
/proc/meminfo: memFree=27193816/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=93064 CPUtime=162.26 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 12919 0 0 0 16221 5 0 0 20 0 2 0 285347556 95297536 13662 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 23266 13662 194 433 0 22830 0
[pid=32507/tid=32509] ppid=32505 vsize=93064 CPUtime=161.84 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 12206 0 0 0 16177 7 0 0 20 0 2 0 285347557 95297536 13662 33554432000 4194304 5964318 140734513305600 139878011115560 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 93064
[startup+222.3 s]
/proc/loadavg: 1.99 1.95 1.97 4/179 32511
/proc/meminfo: memFree=27169436/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=96412 CPUtime=222.24 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 15986 0 0 0 22216 8 0 0 20 0 2 0 285347556 98725888 16735 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 24103 16735 194 433 0 23667 0
[pid=32507/tid=32509] ppid=32505 vsize=96412 CPUtime=221.68 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 15273 0 0 0 22157 11 0 0 20 0 2 0 285347557 98725888 16735 33554432000 4194304 5964318 140734513305600 139878011115320 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 96412
[startup+282.3 s]
/proc/loadavg: 1.99 1.95 1.97 4/179 32511
/proc/meminfo: memFree=27146112/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=98072 CPUtime=282.23 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 18882 0 0 0 28213 10 0 0 20 0 2 0 285347556 100425728 19639 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 24518 19639 194 433 0 24082 0
[pid=32507/tid=32509] ppid=32505 vsize=98072 CPUtime=281.52 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 18169 0 0 0 28138 14 0 0 20 0 2 0 285347557 100425728 19639 33554432000 4194304 5964318 140734513305600 139878011115560 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 98072
[startup+342.3 s]
/proc/loadavg: 1.99 1.96 1.97 4/179 32511
/proc/meminfo: memFree=27124808/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=167216 CPUtime=342.22 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 21010 0 0 0 34209 13 0 0 20 0 2 0 285347556 171229184 21767 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 41804 21767 194 433 0 41368 0
[pid=32507/tid=32509] ppid=32505 vsize=167216 CPUtime=341.36 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 20297 0 0 0 34119 17 0 0 20 0 2 0 285347557 171229184 21767 33554432000 4194304 5964318 140734513305600 139878011115512 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 167216
[startup+402.3 s]
/proc/loadavg: 1.99 1.96 1.97 4/180 32514
/proc/meminfo: memFree=27105744/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=168312 CPUtime=402.21 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 22265 0 0 0 40207 14 0 0 20 0 2 0 285347556 172351488 23019 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 1.98 1.97 4/179 32516
/proc/meminfo: memFree=27045880/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=150320 CPUtime=882.13 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 28415 0 0 0 88194 19 0 0 20 0 2 0 285347556 153927680 25448 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 37580 25448 198 433 0 37144 0
[pid=32507/tid=32509] ppid=32505 vsize=150320 CPUtime=879.94 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 27702 0 0 0 87962 32 0 0 20 0 2 0 285347557 153927680 25448 33554432000 4194304 5964318 140734513305600 139878011115512 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 150320
[startup+942.3 s]
/proc/loadavg: 2.04 2.00 1.98 4/179 32516
/proc/meminfo: memFree=27036624/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=150320 CPUtime=942.11 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 29407 0 0 0 94191 20 0 0 20 0 2 0 285347556 153927680 26669 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 37580 26669 198 433 0 37144 0
[pid=32507/tid=32509] ppid=32505 vsize=150320 CPUtime=939.78 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 28694 0 0 0 93944 34 0 0 20 0 2 0 285347557 153927680 26669 33554432000 4194304 5964318 140734513305600 139878011115320 4400408 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 150320
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 1.98 4/180 32519
/proc/meminfo: memFree=27021240/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=150320 CPUtime=1002.11 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 31473 0 0 0 100189 22 0 0 20 0 2 0 285347556 153927680 28732 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 37580 28732 198 433 0 37144 0
[pid=32507/tid=32509] ppid=32505 vsize=150320 CPUtime=999.62 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 30760 0 0 0 99926 36 0 0 20 0 2 0 285347557 153927680 28732 33554432000 4194304 5964318 140734513305600 139878011115320 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 150320
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/179 32519
/proc/meminfo: memFree=27010356/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=150320 CPUtime=1062.1 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 32509 0 0 0 106188 22 0 0 20 0 2 0 285347556 153927680 29765 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 37580 29765 198 433 0 37144 0
[pid=32507/tid=32509] ppid=32505 vsize=150320 CPUtime=1059.46 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 31796 0 0 0 105908 38 0 0 20 0 2 0 285347557 153927680 29765 33554432000 4194304 5964318 140734513305600 139878011115320 4399995 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 150320
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/179 32519
/proc/meminfo: memFree=27000104/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=150320 CPUtime=1122.08 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 34663 0 0 0 112182 26 0 0 20 0 2 0 285347556 153927680 32307 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 37580 32307 198 433 0 37144 0
[pid=32507/tid=32509] ppid=32505 vsize=150320 CPUtime=1119.3 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 33950 0 0 0 111887 43 0 0 20 0 2 0 285347557 153927680 32307 33554432000 4194304 5964318 140734513305600 139878011115512 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 150320
Solver just ended. Dumping a history of the last processes samples
[startup+1126.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/179 32519
/proc/meminfo: memFree=26999360/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=150320 CPUtime=1126.08 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 34801 0 0 0 112582 26 0 0 20 0 2 0 285347556 153927680 32445 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 37580 32445 198 433 0 37144 0
[pid=32507/tid=32509] ppid=32505 vsize=150320 CPUtime=1123.29 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 34088 0 0 0 112286 43 0 0 20 0 2 0 285347557 153927680 32445 33554432000 4194304 5964318 140734513305600 139878011115512 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1126.08
Current children cumulated vsize (KiB) 150320
[startup+1139.1 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 32520
/proc/meminfo: memFree=26997508/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=150320 CPUtime=1138.88 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 35327 0 0 0 113861 27 0 0 20 0 2 0 285347556 153927680 32971 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 37580 32971 198 433 0 37144 0
[pid=32507/tid=32509] ppid=32505 vsize=150320 CPUtime=1136.05 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 34614 0 0 0 113562 43 0 0 20 0 2 0 285347557 153927680 32971 33554432000 4194304 5964318 140734513305600 139878011115560 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1138.88
Current children cumulated vsize (KiB) 150320
[startup+1145.5 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 32520
/proc/meminfo: memFree=26996764/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=150320 CPUtime=1145.28 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 35537 0 0 0 114501 27 0 0 20 0 2 0 285347556 153927680 33180 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 37580 33180 198 433 0 37144 0
[pid=32507/tid=32509] ppid=32505 vsize=150320 CPUtime=1142.44 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 34824 0 0 0 114200 44 0 0 20 0 2 0 285347557 153927680 33180 33554432000 4194304 5964318 140734513305600 139878011115320 4400013 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1145.28
Current children cumulated vsize (KiB) 150320
[startup+1148.7 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 32520
/proc/meminfo: memFree=26996268/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=150320 CPUtime=1148.48 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 35620 0 0 0 114821 27 0 0 20 0 2 0 285347556 153927680 33263 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 37580 33263 198 433 0 37144 0
[pid=32507/tid=32509] ppid=32505 vsize=150320 CPUtime=1145.63 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 34907 0 0 0 114519 44 0 0 20 0 2 0 285347557 153927680 33263 33554432000 4194304 5964318 140734513305600 139878011115384 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1148.48
Current children cumulated vsize (KiB) 150320
[startup+1151.9 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 32520
/proc/meminfo: memFree=26996516/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=150320 CPUtime=1151.68 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 35625 0 0 0 115141 27 0 0 20 0 2 0 285347556 153927680 33268 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 37580 33268 198 433 0 37144 0
[pid=32507/tid=32509] ppid=32505 vsize=150320 CPUtime=1148.82 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 34912 0 0 0 114838 44 0 0 20 0 2 0 285347557 153927680 33268 33554432000 4194304 5964318 140734513305600 139878011115384 4379136 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1151.68
Current children cumulated vsize (KiB) 150320
[startup+1152.7 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 32520
/proc/meminfo: memFree=26996516/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=150320 CPUtime=1152.48 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 35625 0 0 0 115221 27 0 0 20 0 2 0 285347556 153927680 33268 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 37580 33268 198 433 0 37144 0
[pid=32507/tid=32509] ppid=32505 vsize=150320 CPUtime=1149.62 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 34912 0 0 0 114918 44 0 0 20 0 2 0 285347557 153927680 33268 33554432000 4194304 5964318 140734513305600 139878011115384 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1152.48
Current children cumulated vsize (KiB) 150320
[startup+1153.5 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 32520
/proc/meminfo: memFree=26996516/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=150320 CPUtime=1153.28 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 35625 0 0 0 115301 27 0 0 20 0 2 0 285347556 153927680 33268 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 37580 33268 198 433 0 37144 0
[pid=32507/tid=32509] ppid=32505 vsize=150320 CPUtime=1150.42 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 34912 0 0 0 114998 44 0 0 20 0 2 0 285347557 153927680 33268 33554432000 4194304 5964318 140734513305600 139878011115384 4399856 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1153.28
Current children cumulated vsize (KiB) 150320
[startup+1153.91 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 32520
/proc/meminfo: memFree=26996516/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=150320 CPUtime=1153.68 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 35638 0 0 0 115341 27 0 0 20 0 2 0 285347556 153927680 33281 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 37580 33281 198 433 0 37144 0
[pid=32507/tid=32509] ppid=32505 vsize=150320 CPUtime=1150.82 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 34925 0 0 0 115038 44 0 0 20 0 2 0 285347557 153927680 33281 33554432000 4194304 5964318 140734513305600 139878011115384 4482808 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1153.68
Current children cumulated vsize (KiB) 150320
[startup+1154 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 32520
/proc/meminfo: memFree=26996516/32873648 swapFree=6336/6336
[pid=32507] ppid=32505 vsize=150320 CPUtime=1153.78 cores=1,3,5,7
/proc/32507/stat : 32507 (wbo1.71) S 32505 32507 32463 0 -1 4202496 35638 0 0 0 115351 27 0 0 20 0 2 0 285347556 153927680 33281 33554432000 4194304 5964318 140734513305600 140734513305120 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32507/statm: 37580 33281 198 433 0 37144 0
[pid=32507/tid=32509] ppid=32505 vsize=150320 CPUtime=1150.91 cores=1,3,5,7
/proc/32507/task/32509/stat : 32509 (wbo1.71) R 32505 32507 32463 0 -1 4202560 34925 0 0 0 115047 44 0 0 20 0 2 0 285347557 153927680 33281 33554432000 4194304 5964318 140734513305600 139878011115384 5122143 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1153.78
Current children cumulated vsize (KiB) 150320
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32507 and gives
# childrusage.ru_utime.tv_sec=1150
# childrusage.ru_utime.tv_usec=515095
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=452931
# CPU time returned by wait4() is 1150.97
# while last known CPU time is 1153.78
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1154.04
CPU time (s): 1153.78
CPU user time (s): 1153.51
CPU system time (s): 0.27
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 168312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1150.52
system time used= 0.452931
maximum resident set size= 133124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35641
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= 61
involuntary context switches= 1221
runsolver used 1.66075 second user time and 4.64029 second system time
The end