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-3727178-1339019549/watcher-3727178-1339019549 -o /tmp/evaluation-result-3727178-1339019549/solver-3727178-1339019549 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727178-1339019549.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: 1.84 1.97 1.68 3/176 28691
/proc/meminfo: memFree=26236932/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=12444 CPUtime=0 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) R 28689 28691 28534 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 368079334 12742656 278 33554432000 4194304 5964350 140736468363904 140734930286264 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 3111 278 172 433 0 349 0
[startup+0.077062 s]
/proc/loadavg: 1.84 1.97 1.68 3/176 28691
/proc/meminfo: memFree=26236932/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=15932 CPUtime=0.07 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) R 28689 28691 28534 0 -1 4202496 1418 0 0 0 7 0 0 0 20 0 1 0 368079334 16314368 1370 33554432000 4194304 5964350 140736468363904 140734930286264 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 3983 1371 437 433 0 1221 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15932
[startup+0.100287 s]
/proc/loadavg: 1.84 1.97 1.68 3/176 28691
/proc/meminfo: memFree=26236932/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=17044 CPUtime=0.09 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) R 28689 28691 28534 0 -1 4202496 1816 0 0 0 9 0 0 0 20 0 1 0 368079334 17453056 1735 33554432000 4194304 5964350 140736468363904 140734930286264 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 4261 1736 528 433 0 1499 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17044
[startup+0.300256 s]
/proc/loadavg: 1.84 1.97 1.68 3/176 28691
/proc/meminfo: memFree=26236932/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=26104 CPUtime=0.29 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) R 28689 28691 28534 0 -1 4202496 4857 0 0 0 28 1 0 0 20 0 1 0 368079334 26730496 4711 33554432000 4194304 5964350 140736468363904 140734930286264 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 6526 4711 1285 433 0 3764 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26104
[startup+0.700152 s]
/proc/loadavg: 1.84 1.97 1.68 3/176 28691
/proc/meminfo: memFree=26236932/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=112712 CPUtime=0.69 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 14477 0 0 0 66 3 0 0 20 0 2 0 368079334 115417088 11875 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 28178 11875 178 433 0 27742 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 112712
[startup+1.50026 s]
/proc/loadavg: 1.84 1.97 1.68 3/179 28694
/proc/meminfo: memFree=26117636/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=111988 CPUtime=1.48 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 19281 0 0 0 145 3 0 0 20 0 2 0 368079334 114675712 16236 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 27997 16236 186 433 0 27561 0
[pid=28691/tid=28694] ppid=28689 vsize=111988 CPUtime=0.85 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 9188 0 0 0 84 1 0 0 20 0 2 0 368079397 114675712 16236 33554432000 4194304 5964350 140736468363904 140236834453544 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 111988
[startup+3.10031 s]
/proc/loadavg: 1.84 1.97 1.68 3/179 28694
/proc/meminfo: memFree=26114016/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=111988 CPUtime=3.09 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 19783 0 0 0 305 4 0 0 20 0 2 0 368079334 114675712 16738 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 27997 16738 186 433 0 27561 0
[pid=28691/tid=28694] ppid=28689 vsize=111988 CPUtime=2.45 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 9690 0 0 0 243 2 0 0 20 0 2 0 368079397 114675712 16738 33554432000 4194304 5964350 140736468363904 140236834453496 4399846 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) 111988
[startup+6.30031 s]
/proc/loadavg: 1.85 1.97 1.68 3/179 28694
/proc/meminfo: memFree=26105328/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=111988 CPUtime=6.28 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 20895 0 0 0 624 4 0 0 20 0 2 0 368079334 114675712 17850 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 27997 17850 186 433 0 27561 0
[pid=28691/tid=28694] ppid=28689 vsize=111988 CPUtime=5.64 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 10802 0 0 0 562 2 0 0 20 0 2 0 368079397 114675712 17850 33554432000 4194304 5964350 140736468363904 140236834453304 4403296 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) 111988
[startup+12.7003 s]
/proc/loadavg: 1.86 1.97 1.68 3/179 28694
/proc/meminfo: memFree=26087948/32873844 swapFree=6908/6908
[pid=28691] ppid=28689 vsize=111988 CPUtime=12.69 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 22809 0 0 0 1264 5 0 0 20 0 2 0 368079334 114675712 19764 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 27997 19764 186 433 0 27561 0
[pid=28691/tid=28694] ppid=28689 vsize=111988 CPUtime=12.02 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 12716 0 0 0 1199 3 0 0 20 0 2 0 368079397 114675712 19764 33554432000 4194304 5964350 140736468363904 140236834453496 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 111988
[startup+25.5003 s]
/proc/loadavg: 1.89 1.97 1.68 3/179 28694
/proc/meminfo: memFree=26061660/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=111988 CPUtime=25.48 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 26062 0 0 0 2542 6 0 0 20 0 2 0 368079334 114675712 23017 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 27997 23017 186 433 0 27561 0
[pid=28691/tid=28694] ppid=28689 vsize=111988 CPUtime=24.79 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 15969 0 0 0 2475 4 0 0 20 0 2 0 368079397 114675712 23017 33554432000 4194304 5964350 140736468363904 140236834453496 5136340 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) 111988
[startup+51.1003 s]
/proc/loadavg: 2.00 1.99 1.70 3/180 28706
/proc/meminfo: memFree=26018328/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=177524 CPUtime=51.07 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 31704 0 0 0 5097 10 0 0 20 0 2 0 368079334 181784576 29378 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 44381 29378 186 433 0 43945 0
[pid=28691/tid=28694] ppid=28689 vsize=177524 CPUtime=50.31 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 21611 0 0 0 5023 8 0 0 20 0 2 0 368079397 181784576 29378 33554432000 4194304 5964350 140736468363904 140236834453544 4400029 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) 177524
[startup+102.307 s]
/proc/loadavg: 2.05 2.00 1.72 3/179 28706
/proc/meminfo: memFree=25958808/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=177524 CPUtime=102.25 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 38514 0 0 0 10210 15 0 0 20 0 2 0 368079334 181784576 36193 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 44381 36193 186 433 0 43945 0
[pid=28691/tid=28694] ppid=28689 vsize=177524 CPUtime=101.37 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 28421 0 0 0 10123 14 0 0 20 0 2 0 368079397 181784576 36193 33554432000 4194304 5964350 140736468363904 140236834453432 4400355 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 177524
[startup+162.3 s]
/proc/loadavg: 2.02 2.00 1.73 3/179 28706
/proc/meminfo: memFree=25912904/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=243060 CPUtime=162.23 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 45669 0 0 0 16202 21 0 0 20 0 2 0 368079334 248893440 43346 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 60765 43346 186 433 0 60329 0
[pid=28691/tid=28694] ppid=28689 vsize=243060 CPUtime=161.21 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 35576 0 0 0 16100 21 0 0 20 0 2 0 368079397 248893440 43346 33554432000 4194304 5964350 140736468363904 140236834453496 4399962 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 243060
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/179 28706
/proc/meminfo: memFree=25861032/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=246708 CPUtime=222.2 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 53303 0 0 0 22192 28 0 0 20 0 2 0 368079334 252628992 51563 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 61677 51563 186 433 0 61241 0
[pid=28691/tid=28694] ppid=28689 vsize=246708 CPUtime=221.04 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 43210 0 0 0 22075 29 0 0 20 0 2 0 368079397 252628992 51563 33554432000 4194304 5964350 140736468363904 140236834453304 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 246708
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/179 28706
/proc/meminfo: memFree=25829280/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=246708 CPUtime=282.16 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 54608 0 0 0 28187 29 0 0 20 0 2 0 368079334 252628992 53313 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 61677 53313 186 433 0 61241 0
[pid=28691/tid=28694] ppid=28689 vsize=246708 CPUtime=280.85 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 44515 0 0 0 28054 31 0 0 20 0 2 0 368079397 252628992 53313 33554432000 4194304 5964350 140736468363904 140236834453304 4403296 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 246708
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/179 28706
/proc/meminfo: memFree=25817188/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=246708 CPUtime=342.15 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 56187 0 0 0 34185 30 0 0 20 0 2 0 368079334 252628992 54892 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 61677 54892 186 433 0 61241 0
[pid=28691/tid=28694] ppid=28689 vsize=246708 CPUtime=340.7 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 46094 0 0 0 34037 33 0 0 20 0 2 0 368079397 252628992 54892 33554432000 4194304 5964350 140736468363904 140236834453544 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 246708
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/179 28707
/proc/meminfo: memFree=25767404/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=312244 CPUtime=402.14 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 66038 0 0 0 40174 40 0 0 20 0 2 0 368079334 319737856 64743 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 78061 64743 186 433 0 77625 0
[pid=28691/tid=28694] ppid=28689 vsize=312244 CPUtime=400.55 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 55945 0 0 0 40011 44 0 0 20 0 2 0 368079397 319737856 64743 33554432000 4194304 5964350 140736468363904 140236834453496 4399832 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 312244
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/180 28710
/proc/meminfo: memFree=25720072/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=314068 CPUtime=462.13 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 28739
/proc/meminfo: memFree=25347380/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=513408 CPUtime=1421.87 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 122200 0 0 0 142084 103 0 0 20 0 2 0 368079334 525729792 122188 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 128352 122188 186 433 0 127916 0
[pid=28691/tid=28694] ppid=28689 vsize=513408 CPUtime=1417.81 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 112107 0 0 0 141659 122 0 0 20 0 2 0 368079397 525729792 122188 33554432000 4194304 5964350 140736468363904 140236834453304 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 513408
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 28739
/proc/meminfo: memFree=25290588/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=578944 CPUtime=1481.84 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 132815 0 0 0 148071 113 0 0 20 0 2 0 368079334 592838656 132803 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 144736 132803 186 433 0 144300 0
[pid=28691/tid=28694] ppid=28689 vsize=578944 CPUtime=1477.65 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 122722 0 0 0 147632 133 0 0 20 0 2 0 368079397 592838656 132803 33554432000 4194304 5964350 140736468363904 140236834453496 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 578944
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 28739
/proc/meminfo: memFree=25238260/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=578944 CPUtime=1541.84 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 139737 0 0 0 154063 121 0 0 20 0 2 0 368079334 592838656 139725 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 144736 139725 186 433 0 144300 0
[pid=28691/tid=28694] ppid=28689 vsize=578944 CPUtime=1537.5 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 129644 0 0 0 153608 142 0 0 20 0 2 0 368079397 592838656 139725 33554432000 4194304 5964350 140736468363904 140236834453544 4381521 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 578944
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 1.91 3/179 28740
/proc/meminfo: memFree=25193728/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=644480 CPUtime=1601.83 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 145836 0 0 0 160056 127 0 0 20 0 2 0 368079334 659947520 146143 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 161120 146143 186 433 0 160684 0
[pid=28691/tid=28694] ppid=28689 vsize=644480 CPUtime=1597.35 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 135743 0 0 0 159586 149 0 0 20 0 2 0 368079397 659947520 146143 33554432000 4194304 5964350 140736468363904 140236834453304 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 644480
[startup+1662.3 s]
/proc/loadavg: 2.14 2.04 1.93 3/180 28743
/proc/meminfo: memFree=25158260/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=644480 CPUtime=1661.82 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 150280 0 0 0 166048 134 0 0 20 0 2 0 368079334 659947520 150587 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 161120 150587 186 433 0 160684 0
[pid=28691/tid=28694] ppid=28689 vsize=644480 CPUtime=1657.19 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 140187 0 0 0 165562 157 0 0 20 0 2 0 368079397 659947520 150587 33554432000 4194304 5964350 140736468363904 140236834453496 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 644480
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 1.93 3/179 28743
/proc/meminfo: memFree=25135592/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=644480 CPUtime=1721.81 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 153388 0 0 0 172044 137 0 0 20 0 2 0 368079334 659947520 153695 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 161120 153695 186 433 0 160684 0
[pid=28691/tid=28694] ppid=28689 vsize=644480 CPUtime=1717.04 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 143295 0 0 0 171543 161 0 0 20 0 2 0 368079397 659947520 153695 33554432000 4194304 5964350 140736468363904 140236834453496 4403296 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 644480
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/179 28743
/proc/meminfo: memFree=25118220/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=710016 CPUtime=1781.81 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 157540 0 0 0 178038 143 0 0 20 0 2 0 368079334 727056384 157847 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 177504 157847 186 433 0 177068 0
[pid=28691/tid=28694] ppid=28689 vsize=710016 CPUtime=1776.88 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 147447 0 0 0 177521 167 0 0 20 0 2 0 368079397 727056384 157847 33554432000 4194304 5964350 140736468363904 140236834453304 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 710016
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 28743
/proc/meminfo: memFree=25115120/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=710016 CPUtime=1791.41 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 158274 0 0 0 178997 144 0 0 20 0 2 0 368079334 727056384 158581 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 177504 158581 186 433 0 177068 0
[pid=28691/tid=28694] ppid=28689 vsize=710016 CPUtime=1786.47 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 148181 0 0 0 178479 168 0 0 20 0 2 0 368079397 727056384 158581 33554432000 4194304 5964350 140736468363904 140236834453544 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 710016
[startup+1795.1 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 28743
/proc/meminfo: memFree=25114500/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=710016 CPUtime=1794.61 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 158461 0 0 0 179317 144 0 0 20 0 2 0 368079334 727056384 158768 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 177504 158768 186 433 0 177068 0
[pid=28691/tid=28694] ppid=28689 vsize=710016 CPUtime=1789.66 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 148368 0 0 0 178797 169 0 0 20 0 2 0 368079397 727056384 158768 33554432000 4194304 5964350 140736468363904 140236834453496 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 710016
[startup+1798.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 28743
/proc/meminfo: memFree=25114004/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=710016 CPUtime=1797.8 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 158614 0 0 0 179635 145 0 0 20 0 2 0 368079334 727056384 158921 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 177504 158921 186 433 0 177068 0
[pid=28691/tid=28694] ppid=28689 vsize=710016 CPUtime=1792.84 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 148521 0 0 0 179115 169 0 0 20 0 2 0 368079397 727056384 158921 33554432000 4194304 5964350 140736468363904 140236834453496 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 710016
[startup+1799.1 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 28743
/proc/meminfo: memFree=25113384/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=710016 CPUtime=1798.6 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 158633 0 0 0 179715 145 0 0 20 0 2 0 368079334 727056384 158940 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 177504 158940 186 433 0 177068 0
[pid=28691/tid=28694] ppid=28689 vsize=710016 CPUtime=1793.64 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 148540 0 0 0 179194 170 0 0 20 0 2 0 368079397 727056384 158940 33554432000 4194304 5964350 140736468363904 140236834453544 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 710016
[startup+1799.5 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 28743
/proc/meminfo: memFree=25113260/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=710016 CPUtime=1799.01 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 158645 0 0 0 179756 145 0 0 20 0 2 0 368079334 727056384 158952 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 177504 158952 186 433 0 177068 0
[pid=28691/tid=28694] ppid=28689 vsize=710016 CPUtime=1794.05 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 148552 0 0 0 179235 170 0 0 20 0 2 0 368079397 727056384 158952 33554432000 4194304 5964350 140736468363904 140236834453544 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 710016
[startup+1799.9 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 28743
/proc/meminfo: memFree=25113260/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=710016 CPUtime=1799.4 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 158659 0 0 0 179795 145 0 0 20 0 2 0 368079334 727056384 158966 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 177504 158966 186 433 0 177068 0
[pid=28691/tid=28694] ppid=28689 vsize=710016 CPUtime=1794.44 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 148566 0 0 0 179274 170 0 0 20 0 2 0 368079397 727056384 158966 33554432000 4194304 5964350 140736468363904 140236834453544 4400436 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 710016
[startup+1800 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 28743
/proc/meminfo: memFree=25113260/32873844 swapFree=6904/6904
[pid=28691] ppid=28689 vsize=710016 CPUtime=1799.5 cores=1,3,5,7
/proc/28691/stat : 28691 (wbo1.72) S 28689 28691 28534 0 -1 4202496 158663 0 0 0 179805 145 0 0 20 0 2 0 368079334 727056384 158970 33554432000 4194304 5964350 140736468363904 140736468363424 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28691/statm: 177504 158970 186 433 0 177068 0
[pid=28691/tid=28694] ppid=28689 vsize=710016 CPUtime=1794.54 cores=1,3,5,7
/proc/28691/task/28694/stat : 28694 (wbo1.72) R 28689 28691 28534 0 -1 4202560 148570 0 0 0 179284 170 0 0 20 0 2 0 368079397 727056384 158970 33554432000 4194304 5964350 140736468363904 140236834453544 4399840 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) 710016
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28691 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=451353
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=744734
# CPU time returned by wait4() is 1795.2
# while last known CPU time is 1799.5
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.02
CPU time (s): 1799.5
CPU user time (s): 1798.05
CPU system time (s): 1.45
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 710016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.45
system time used= 1.74473
maximum resident set size= 635900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158668
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= 220
involuntary context switches= 1881
runsolver used 2.65959 second user time and 9.07662 second system time
The end