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-3705205-1338098930/watcher-3705205-1338098930 -o /tmp/evaluation-result-3705205-1338098930/solver-3705205-1338098930 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705205-1338098930.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 31387
/proc/meminfo: memFree=28269576/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=5272 CPUtime=0 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) R 31385 31387 27916 0 -1 4202496 351 0 0 0 0 0 0 0 20 0 1 0 276018858 5398528 304 33554432000 4194304 5963574 140733546075488 140737461953816 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 1318 304 170 432 0 382 0
[startup+0.0301181 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31387
/proc/meminfo: memFree=28269576/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=7572 CPUtime=0.02 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) R 31385 31387 27916 0 -1 4202496 982 0 0 0 2 0 0 0 20 0 1 0 276018858 7753728 935 33554432000 4194304 5963574 140733546075488 140737461953816 4343959 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 1893 936 248 432 0 957 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7572
[startup+0.100224 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31387
/proc/meminfo: memFree=28269576/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=14168 CPUtime=0.09 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) R 31385 31387 27916 0 -1 4202496 2871 0 0 0 9 0 0 0 20 0 1 0 276018858 14508032 2825 33554432000 4194304 5963574 140733546075488 140737461953816 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 3542 2829 481 432 0 2606 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14168
[startup+0.300194 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31387
/proc/meminfo: memFree=28269576/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=97380 CPUtime=0.29 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 11660 0 0 0 28 1 0 0 20 0 2 0 276018858 99717120 11005 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 24345 11005 192 432 0 23910 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 97380
[startup+0.700185 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31387
/proc/meminfo: memFree=28269576/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=97380 CPUtime=0.68 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 13163 0 0 0 67 1 0 0 20 0 2 0 276018858 99717120 12508 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 24345 12508 193 432 0 23910 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 97380
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31389
/proc/meminfo: memFree=28215860/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=97380 CPUtime=1.47 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 14023 0 0 0 146 1 0 0 20 0 2 0 276018858 99717120 13368 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 24345 13368 195 432 0 23910 0
[pid=31387/tid=31389] ppid=31385 vsize=97380 CPUtime=1.33 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 9339 0 0 0 131 2 0 0 20 0 2 0 276018873 99717120 13368 33554432000 4194304 5963574 140733546075488 140371345125696 4222304 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 97380
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31389
/proc/meminfo: memFree=28210652/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=97380 CPUtime=3.07 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 14615 0 0 0 306 1 0 0 20 0 2 0 276018858 99717120 13960 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 24345 13960 195 432 0 23910 0
[pid=31387/tid=31389] ppid=31385 vsize=97380 CPUtime=2.92 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 9931 0 0 0 290 2 0 0 20 0 2 0 276018873 99717120 13960 33554432000 4194304 5963574 140733546075488 140371345136008 4403039 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 97380
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31389
/proc/meminfo: memFree=28205796/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=97380 CPUtime=6.27 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 14986 0 0 0 626 1 0 0 20 0 2 0 276018858 99717120 14331 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 24345 14331 195 432 0 23910 0
[pid=31387/tid=31389] ppid=31385 vsize=97380 CPUtime=6.12 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 10302 0 0 0 610 2 0 0 20 0 2 0 276018873 99717120 14331 33554432000 4194304 5963574 140733546075488 140371345136072 4403265 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 97380
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31389
/proc/meminfo: memFree=28197280/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=97380 CPUtime=12.67 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 14986 0 0 0 1266 1 0 0 20 0 2 0 276018858 99717120 14331 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 24345 14331 195 432 0 23910 0
[pid=31387/tid=31389] ppid=31385 vsize=97380 CPUtime=12.51 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 10302 0 0 0 1249 2 0 0 20 0 2 0 276018873 99717120 14331 33554432000 4194304 5963574 140733546075488 140371345136072 4222330 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 97380
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31389
/proc/meminfo: memFree=28169048/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=97380 CPUtime=25.47 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 15891 0 0 0 2546 1 0 0 20 0 2 0 276018858 99717120 15236 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 24345 15236 195 432 0 23910 0
[pid=31387/tid=31389] ppid=31385 vsize=97380 CPUtime=25.27 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 11207 0 0 0 2525 2 0 0 20 0 2 0 276018873 99717120 15236 33554432000 4194304 5963574 140733546075488 140371345136168 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 97380
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31389
/proc/meminfo: memFree=28092232/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=97380 CPUtime=51.07 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 16325 0 0 0 5105 2 0 0 20 0 2 0 276018858 99717120 15670 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 24345 15670 195 432 0 23910 0
[pid=31387/tid=31389] ppid=31385 vsize=97380 CPUtime=50.8 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 11641 0 0 0 5078 2 0 0 20 0 2 0 276018873 99717120 15670 33554432000 4194304 5963574 140733546075488 140371345135976 4402912 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 97380
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31392
/proc/meminfo: memFree=27976896/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=97380 CPUtime=102.27 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 17995 0 0 0 10225 2 0 0 20 0 2 0 276018858 99717120 17340 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 24345 17340 195 432 0 23910 0
[pid=31387/tid=31389] ppid=31385 vsize=97380 CPUtime=101.87 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 13311 0 0 0 10185 2 0 0 20 0 2 0 276018873 99717120 17340 33554432000 4194304 5963574 140733546075488 140371345135976 4392504 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 97380
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31392
/proc/meminfo: memFree=27974056/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=97380 CPUtime=162.23 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 18254 0 0 0 16221 2 0 0 20 0 2 0 276018858 99717120 17704 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 24345 17704 195 432 0 23910 0
[pid=31387/tid=31389] ppid=31385 vsize=97380 CPUtime=161.68 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 13570 0 0 0 16164 4 0 0 20 0 2 0 276018873 99717120 17704 33554432000 4194304 5963574 140733546075488 140371345135944 4372674 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 97380
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31392
/proc/meminfo: memFree=27964424/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=97380 CPUtime=222.22 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 20393 0 0 0 22220 2 0 0 20 0 2 0 276018858 99717120 20267 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 24345 20267 195 432 0 23910 0
[pid=31387/tid=31389] ppid=31385 vsize=97380 CPUtime=221.52 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 15709 0 0 0 22147 5 0 0 20 0 2 0 276018873 99717120 20267 33554432000 4194304 5963574 140733546075488 140371345136568 4402906 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 97380
[startup+282.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 31392
/proc/meminfo: memFree=27964764/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=97380 CPUtime=282.2 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 20393 0 0 0 28218 2 0 0 20 0 2 0 276018858 99717120 20267 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 24345 20267 195 432 0 23910 0
[pid=31387/tid=31389] ppid=31385 vsize=97380 CPUtime=281.37 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 15709 0 0 0 28131 6 0 0 20 0 2 0 276018873 99717120 20267 33554432000 4194304 5963574 140733546075488 140371345136568 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 97380
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 31393
/proc/meminfo: memFree=27963932/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=97864 CPUtime=342.19 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 20490 0 0 0 34217 2 0 0 20 0 2 0 276018858 100212736 20364 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 24466 20364 195 432 0 24031 0
[pid=31387/tid=31389] ppid=31385 vsize=97864 CPUtime=341.21 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 15806 0 0 0 34114 7 0 0 20 0 2 0 276018873 100212736 20364 33554432000 4194304 5963574 140733546075488 140371345135544 4392498 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 97864
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31393
/proc/meminfo: memFree=27960860/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=97864 CPUtime=402.19 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 21286 0 0 0 40216 3 0 0 20 0 2 0 276018858 100212736 21160 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 24466 21160 195 432 0 24031 0
[pid=31387/tid=31389] ppid=31385 vsize=97864 CPUtime=401.05 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 16602 0 0 0 40096 9 0 0 20 0 2 0 276018873 100212736 21160 33554432000 4194304 5963574 140733546075488 140371345135416 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 97864
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 31393
/proc/meminfo: memFree=27952496/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=163640 CPUtime=462.17 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32026
/proc/meminfo: memFree=28691436/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=228452 CPUtime=1421.99 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 38548 0 0 0 142182 17 0 0 20 0 2 0 276018858 233934848 38473 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 57113 38473 195 432 0 56678 0
[pid=31387/tid=31389] ppid=31385 vsize=228452 CPUtime=1418.4 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 33864 0 0 0 141802 38 0 0 20 0 2 0 276018873 233934848 38473 33554432000 4194304 5963574 140733546075488 140371345136008 4402906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 228452
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32026
/proc/meminfo: memFree=28681096/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=228452 CPUtime=1481.98 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 38548 0 0 0 148181 17 0 0 20 0 2 0 276018858 233934848 38473 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 57113 38473 195 432 0 56678 0
[pid=31387/tid=31389] ppid=31385 vsize=228452 CPUtime=1478.24 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 33864 0 0 0 147785 39 0 0 20 0 2 0 276018873 233934848 38473 33554432000 4194304 5963574 140733546075488 140371345136008 4402906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 228452
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32027
/proc/meminfo: memFree=28652948/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=228452 CPUtime=1541.97 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 38548 0 0 0 154180 17 0 0 20 0 2 0 276018858 233934848 38473 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 57113 38473 195 432 0 56678 0
[pid=31387/tid=31389] ppid=31385 vsize=228452 CPUtime=1538.09 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 33864 0 0 0 153769 40 0 0 20 0 2 0 276018873 233934848 38473 33554432000 4194304 5963574 140733546075488 140371345136008 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 228452
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32027
/proc/meminfo: memFree=28640424/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=228452 CPUtime=1601.96 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 38548 0 0 0 160179 17 0 0 20 0 2 0 276018858 233934848 38473 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 57113 38473 195 432 0 56678 0
[pid=31387/tid=31389] ppid=31385 vsize=228452 CPUtime=1597.94 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 33864 0 0 0 159753 41 0 0 20 0 2 0 276018873 233934848 38473 33554432000 4194304 5963574 140733546075488 140371345136008 4399560 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 228452
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32027
/proc/meminfo: memFree=28621516/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=228452 CPUtime=1661.95 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 38548 0 0 0 166178 17 0 0 20 0 2 0 276018858 233934848 38473 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 57113 38473 195 432 0 56678 0
[pid=31387/tid=31389] ppid=31385 vsize=228452 CPUtime=1657.78 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 33864 0 0 0 165736 42 0 0 20 0 2 0 276018873 233934848 38473 33554432000 4194304 5963574 140733546075488 140371345136008 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 228452
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 32027
/proc/meminfo: memFree=28621768/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=228452 CPUtime=1721.94 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 38548 0 0 0 172177 17 0 0 20 0 2 0 276018858 233934848 38473 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 57113 38473 195 432 0 56678 0
[pid=31387/tid=31389] ppid=31385 vsize=228452 CPUtime=1717.63 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 33864 0 0 0 171720 43 0 0 20 0 2 0 276018873 233934848 38473 33554432000 4194304 5963574 140733546075488 140371345136008 4378847 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 228452
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 32027
/proc/meminfo: memFree=28602920/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=228452 CPUtime=1781.93 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 38548 0 0 0 178176 17 0 0 20 0 2 0 276018858 233934848 38473 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 57113 38473 195 432 0 56678 0
[pid=31387/tid=31389] ppid=31385 vsize=228452 CPUtime=1777.47 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 33864 0 0 0 177703 44 0 0 20 0 2 0 276018873 233934848 38473 33554432000 4194304 5963574 140733546075488 140371345136008 4222352 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 228452
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 32027
/proc/meminfo: memFree=28602052/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=228452 CPUtime=1791.53 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 38548 0 0 0 179136 17 0 0 20 0 2 0 276018858 233934848 38473 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 57113 38473 195 432 0 56678 0
[pid=31387/tid=31389] ppid=31385 vsize=228452 CPUtime=1787.05 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 33864 0 0 0 178661 44 0 0 20 0 2 0 276018873 233934848 38473 33554432000 4194304 5963574 140733546075488 140371345136008 4403263 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 228452
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 32027
/proc/meminfo: memFree=28601308/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=228452 CPUtime=1794.73 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 38548 0 0 0 179456 17 0 0 20 0 2 0 276018858 233934848 38473 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 57113 38473 195 432 0 56678 0
[pid=31387/tid=31389] ppid=31385 vsize=228452 CPUtime=1790.25 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 33864 0 0 0 178981 44 0 0 20 0 2 0 276018873 233934848 38473 33554432000 4194304 5963574 140733546075488 140371345136008 4403204 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.73
Current children cumulated vsize (KiB) 228452
[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 32027
/proc/meminfo: memFree=28601060/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=228452 CPUtime=1797.93 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 38548 0 0 0 179776 17 0 0 20 0 2 0 276018858 233934848 38473 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 57113 38473 195 432 0 56678 0
[pid=31387/tid=31389] ppid=31385 vsize=228452 CPUtime=1793.43 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 33864 0 0 0 179299 44 0 0 20 0 2 0 276018873 233934848 38473 33554432000 4194304 5963574 140733546075488 140371345136008 4399474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 228452
[startup+1799.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 32027
/proc/meminfo: memFree=28601060/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=228452 CPUtime=1798.73 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 38548 0 0 0 179856 17 0 0 20 0 2 0 276018858 233934848 38473 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 57113 38473 195 432 0 56678 0
[pid=31387/tid=31389] ppid=31385 vsize=228452 CPUtime=1794.23 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 33864 0 0 0 179379 44 0 0 20 0 2 0 276018873 233934848 38473 33554432000 4194304 5963574 140733546075488 140371345136008 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.73
Current children cumulated vsize (KiB) 228452
[startup+1799.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 32027
/proc/meminfo: memFree=28601060/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=228452 CPUtime=1799.13 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 38548 0 0 0 179896 17 0 0 20 0 2 0 276018858 233934848 38473 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 57113 38473 195 432 0 56678 0
[pid=31387/tid=31389] ppid=31385 vsize=228452 CPUtime=1794.64 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 33864 0 0 0 179420 44 0 0 20 0 2 0 276018873 233934848 38473 33554432000 4194304 5963574 140733546075488 140371345136008 4222330 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.13
Current children cumulated vsize (KiB) 228452
[startup+1799.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 32027
/proc/meminfo: memFree=28601060/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=228452 CPUtime=1799.53 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 38548 0 0 0 179936 17 0 0 20 0 2 0 276018858 233934848 38473 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 57113 38473 195 432 0 56678 0
[pid=31387/tid=31389] ppid=31385 vsize=228452 CPUtime=1795.03 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 33864 0 0 0 179459 44 0 0 20 0 2 0 276018873 233934848 38473 33554432000 4194304 5963574 140733546075488 140371345136008 4402906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 228452
[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 32027
/proc/meminfo: memFree=28601060/32873648 swapFree=6844/6844
[pid=31387] ppid=31385 vsize=228452 CPUtime=1799.63 cores=1,3,5,7
/proc/31387/stat : 31387 (wbo1.7) S 31385 31387 27916 0 -1 4202496 38548 0 0 0 179946 17 0 0 20 0 2 0 276018858 233934848 38473 33554432000 4194304 5963574 140733546075488 140733546075008 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31387/statm: 57113 38473 195 432 0 56678 0
[pid=31387/tid=31389] ppid=31385 vsize=228452 CPUtime=1795.13 cores=1,3,5,7
/proc/31387/task/31389/stat : 31389 (wbo1.7) R 31385 31387 27916 0 -1 4202560 33864 0 0 0 179469 44 0 0 20 0 2 0 276018873 233934848 38473 33554432000 4194304 5963574 140733546075488 140371345136008 4402906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (KiB) 228452
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31387 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=846141
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=454930
# CPU time returned by wait4() is 1795.3
# while last known CPU time is 1799.63
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800
CPU time (s): 1799.63
CPU user time (s): 1799.46
CPU system time (s): 0.17
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 228452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.85
system time used= 0.45493
maximum resident set size= 153892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38548
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= 58
involuntary context switches= 2713
runsolver used 3.71743 second user time and 10.0235 second system time
The end