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-3727169-1339019549/watcher-3727169-1339019549 -o /tmp/evaluation-result-3727169-1339019549/solver-3727169-1339019549 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727169-1339019549.opb
running on 4 cores: 0,2,4,6
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/174 28686
/proc/meminfo: memFree=26237584/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=11408 CPUtime=0 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) R 28684 28686 28534 0 -1 4202496 321 0 0 0 0 0 0 0 20 0 1 0 368079333 11681792 274 33554432000 4194304 5964350 140734594804928 140737114706232 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 2852 274 171 433 0 349 0
[startup+0.0683801 s]
/proc/loadavg: 1.84 1.97 1.68 3/174 28686
/proc/meminfo: memFree=26237584/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=14444 CPUtime=0.06 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) R 28684 28686 28534 0 -1 4202496 1285 0 0 0 6 0 0 0 20 0 1 0 368079333 14790656 1238 33554432000 4194304 5964350 140734594804928 140734594803400 4344800 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 3611 1238 401 433 0 1108 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14444
[startup+0.100267 s]
/proc/loadavg: 1.84 1.97 1.68 3/174 28686
/proc/meminfo: memFree=26237584/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=16044 CPUtime=0.09 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) R 28684 28686 28534 0 -1 4202496 1815 0 0 0 9 0 0 0 20 0 1 0 368079333 16429056 1735 33554432000 4194304 5964350 140734594804928 140734594803400 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 4011 1735 525 433 0 1508 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16044
[startup+0.300264 s]
/proc/loadavg: 1.84 1.97 1.68 3/174 28686
/proc/meminfo: memFree=26237584/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=25104 CPUtime=0.28 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) R 28684 28686 28534 0 -1 4202496 4860 0 0 0 28 0 0 0 20 0 1 0 368079333 25706496 4715 33554432000 4194304 5964350 140734594804928 140734594803400 5156152 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 6276 4716 1284 433 0 3773 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 25104
[startup+0.700161 s]
/proc/loadavg: 1.84 1.97 1.68 3/174 28686
/proc/meminfo: memFree=26237584/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=107900 CPUtime=0.69 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 16719 0 0 0 67 2 0 0 20 0 2 0 368079333 110489600 13840 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 26975 13840 183 433 0 26539 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 107900
[startup+1.50034 s]
/proc/loadavg: 1.84 1.97 1.68 3/179 28694
/proc/meminfo: memFree=26118008/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=107900 CPUtime=1.48 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 17366 0 0 0 146 2 0 0 20 0 2 0 368079333 110489600 14487 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 26975 14487 186 433 0 26539 0
[pid=28686/tid=28693] ppid=28684 vsize=107900 CPUtime=0.93 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 8242 0 0 0 92 1 0 0 20 0 2 0 368079388 110489600 14487 33554432000 4194304 5964350 140734594804928 139813838116904 4392885 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 107900
[startup+3.10035 s]
/proc/loadavg: 1.84 1.97 1.68 3/179 28694
/proc/meminfo: memFree=26113884/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=107900 CPUtime=3.08 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 17766 0 0 0 306 2 0 0 20 0 2 0 368079333 110489600 14887 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 26975 14887 186 433 0 26539 0
[pid=28686/tid=28693] ppid=28684 vsize=107900 CPUtime=2.53 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 8642 0 0 0 252 1 0 0 20 0 2 0 368079388 110489600 14887 33554432000 4194304 5964350 140734594804928 139813838116664 4399858 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 107900
[startup+6.30029 s]
/proc/loadavg: 1.85 1.97 1.68 3/179 28694
/proc/meminfo: memFree=26105328/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=107900 CPUtime=6.28 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 19030 0 0 0 626 2 0 0 20 0 2 0 368079333 110489600 16151 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 26975 16151 186 433 0 26539 0
[pid=28686/tid=28693] ppid=28684 vsize=107900 CPUtime=5.72 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 9906 0 0 0 571 1 0 0 20 0 2 0 368079388 110489600 16151 33554432000 4194304 5964350 140734594804928 139813838116664 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 107900
[startup+12.7003 s]
/proc/loadavg: 1.86 1.97 1.68 3/179 28694
/proc/meminfo: memFree=26087576/32873844 swapFree=6908/6908
[pid=28686] ppid=28684 vsize=107900 CPUtime=12.68 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 21118 0 0 0 1265 3 0 0 20 0 2 0 368079333 110489600 18239 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 26975 18239 186 433 0 26539 0
[pid=28686/tid=28693] ppid=28684 vsize=107900 CPUtime=12.1 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 11994 0 0 0 1209 1 0 0 20 0 2 0 368079388 110489600 18239 33554432000 4194304 5964350 140734594804928 139813838116792 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 107900
[startup+25.5066 s]
/proc/loadavg: 1.89 1.97 1.68 3/179 28694
/proc/meminfo: memFree=26061164/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=107900 CPUtime=25.48 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 24267 0 0 0 2544 4 0 0 20 0 2 0 368079333 110489600 21388 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 26975 21388 186 433 0 26539 0
[pid=28686/tid=28693] ppid=28684 vsize=107900 CPUtime=24.87 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 15143 0 0 0 2484 3 0 0 20 0 2 0 368079388 110489600 21388 33554432000 4194304 5964350 140734594804928 139813838116904 4399872 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 107900
[startup+51.1003 s]
/proc/loadavg: 2.00 1.99 1.70 3/180 28706
/proc/meminfo: memFree=26018328/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=173436 CPUtime=51.08 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 28621 0 0 0 5100 8 0 0 20 0 2 0 368079333 177598464 25742 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 43359 25742 186 433 0 42923 0
[pid=28686/tid=28693] ppid=28684 vsize=173436 CPUtime=50.4 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 19497 0 0 0 5034 6 0 0 20 0 2 0 368079388 177598464 25742 33554432000 4194304 5964350 140734594804928 139813838116856 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 173436
[startup+102.3 s]
/proc/loadavg: 2.05 2.00 1.72 3/179 28706
/proc/meminfo: memFree=25959552/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=173436 CPUtime=102.25 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 36044 0 0 0 10214 11 0 0 20 0 2 0 368079333 177598464 33514 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 43359 33514 186 433 0 42923 0
[pid=28686/tid=28693] ppid=28684 vsize=173436 CPUtime=101.46 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 26920 0 0 0 10135 11 0 0 20 0 2 0 368079388 177598464 33514 33554432000 4194304 5964350 140734594804928 139813838116664 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 173436
[startup+162.3 s]
/proc/loadavg: 2.02 2.00 1.73 3/179 28706
/proc/meminfo: memFree=25912532/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=175868 CPUtime=162.2 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 40022 0 0 0 16206 14 0 0 20 0 2 0 368079333 180088832 37964 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 43967 37964 186 433 0 43531 0
[pid=28686/tid=28693] ppid=28684 vsize=175868 CPUtime=161.26 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 30898 0 0 0 16112 14 0 0 20 0 2 0 368079388 180088832 37964 33554432000 4194304 5964350 140734594804928 139813838116664 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 175868
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/179 28706
/proc/meminfo: memFree=25861032/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=241404 CPUtime=222.2 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 44683 0 0 0 22203 17 0 0 20 0 2 0 368079333 247197696 42623 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 60351 42623 186 433 0 59915 0
[pid=28686/tid=28693] ppid=28684 vsize=241404 CPUtime=221.11 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 35559 0 0 0 22093 18 0 0 20 0 2 0 368079388 247197696 42623 33554432000 4194304 5964350 140734594804928 139813838116904 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 241404
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/179 28706
/proc/meminfo: memFree=25829280/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=242620 CPUtime=282.19 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 50929 0 0 0 28198 21 0 0 20 0 2 0 368079333 248442880 48868 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 60655 48868 186 433 0 60219 0
[pid=28686/tid=28693] ppid=28684 vsize=242620 CPUtime=280.95 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 41805 0 0 0 28072 23 0 0 20 0 2 0 368079388 248442880 48868 33554432000 4194304 5964350 140734594804928 139813838116664 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 242620
[startup+342.307 s]
/proc/loadavg: 2.00 2.00 1.77 3/179 28706
/proc/meminfo: memFree=25816816/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=242620 CPUtime=342.18 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 52371 0 0 0 34197 21 0 0 20 0 2 0 368079333 248442880 50309 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 60655 50309 186 433 0 60219 0
[pid=28686/tid=28693] ppid=28684 vsize=242620 CPUtime=340.81 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 43247 0 0 0 34056 25 0 0 20 0 2 0 368079388 248442880 50309 33554432000 4194304 5964350 140734594804928 139813838116664 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 242620
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/179 28707
/proc/meminfo: memFree=25767404/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=242620 CPUtime=402.13 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 54245 0 0 0 40191 22 0 0 20 0 2 0 368079333 248442880 53028 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 60655 53028 186 433 0 60219 0
[pid=28686/tid=28693] ppid=28684 vsize=242620 CPUtime=400.61 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 45121 0 0 0 40034 27 0 0 20 0 2 0 368079388 248442880 53028 33554432000 4194304 5964350 140734594804928 139813838116856 4400439 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 242620
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/180 28710
/proc/meminfo: memFree=25720072/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=308156 CPUtime=462.12 cores=0,2,4,6
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 28739
/proc/meminfo: memFree=25347256/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=441052 CPUtime=1421.9 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 100019 0 0 0 142134 56 0 0 20 0 2 0 368079333 451637248 100154 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 110263 100154 186 433 0 109827 0
[pid=28686/tid=28693] ppid=28684 vsize=441052 CPUtime=1417.93 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 90895 0 0 0 141717 76 0 0 20 0 2 0 368079388 451637248 100154 33554432000 4194304 5964350 140734594804928 139813838116904 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 441052
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 28739
/proc/meminfo: memFree=25290588/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=441052 CPUtime=1481.89 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 103831 0 0 0 148129 60 0 0 20 0 2 0 368079333 451637248 103966 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 110263 103966 186 433 0 109827 0
[pid=28686/tid=28693] ppid=28684 vsize=441052 CPUtime=1477.78 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 94707 0 0 0 147698 80 0 0 20 0 2 0 368079388 451637248 103966 33554432000 4194304 5964350 140734594804928 139813838116904 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 441052
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 28739
/proc/meminfo: memFree=25237888/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=506588 CPUtime=1541.89 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 109680 0 0 0 154124 65 0 0 20 0 2 0 368079333 518746112 109815 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 126647 109815 186 433 0 126211 0
[pid=28686/tid=28693] ppid=28684 vsize=506588 CPUtime=1537.63 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 100556 0 0 0 153676 87 0 0 20 0 2 0 368079388 518746112 109815 33554432000 4194304 5964350 140734594804928 139813838116904 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 506588
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 1.91 3/179 28740
/proc/meminfo: memFree=25193728/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=506588 CPUtime=1601.87 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 114525 0 0 0 160118 69 0 0 20 0 2 0 368079333 518746112 114655 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 126647 114655 186 433 0 126211 0
[pid=28686/tid=28693] ppid=28684 vsize=506588 CPUtime=1597.46 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 105401 0 0 0 159654 92 0 0 20 0 2 0 368079388 518746112 114655 33554432000 4194304 5964350 140734594804928 139813838116856 4399930 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 506588
[startup+1662.31 s]
/proc/loadavg: 2.14 2.04 1.93 3/180 28743
/proc/meminfo: memFree=25158260/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=506588 CPUtime=1661.82 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 118476 0 0 0 166109 73 0 0 20 0 2 0 368079333 518746112 118884 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 126647 118884 186 433 0 126211 0
[pid=28686/tid=28693] ppid=28684 vsize=506588 CPUtime=1657.27 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 109352 0 0 0 165630 97 0 0 20 0 2 0 368079388 518746112 118884 33554432000 4194304 5964350 140734594804928 139813838116904 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 506588
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 1.93 3/179 28743
/proc/meminfo: memFree=25135592/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=506588 CPUtime=1721.81 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 121047 0 0 0 172105 76 0 0 20 0 2 0 368079333 518746112 121487 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 126647 121487 186 433 0 126211 0
[pid=28686/tid=28693] ppid=28684 vsize=506588 CPUtime=1717.1 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 111923 0 0 0 171610 100 0 0 20 0 2 0 368079388 518746112 121487 33554432000 4194304 5964350 140734594804928 139813838116664 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 506588
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/179 28743
/proc/meminfo: memFree=25117848/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=506588 CPUtime=1781.79 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 121144 0 0 0 178103 76 0 0 20 0 2 0 368079333 518746112 121682 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 126647 121682 186 433 0 126211 0
[pid=28686/tid=28693] ppid=28684 vsize=506588 CPUtime=1776.95 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 112020 0 0 0 177595 100 0 0 20 0 2 0 368079388 518746112 121682 33554432000 4194304 5964350 140734594804928 139813838116664 4400707 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 506588
Solver just ended. Dumping a history of the last processes samples
[startup+1792.11 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 28743
/proc/meminfo: memFree=25115120/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=506588 CPUtime=1791.6 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 121157 0 0 0 179084 76 0 0 20 0 2 0 368079333 518746112 121695 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 126647 121695 186 433 0 126211 0
[pid=28686/tid=28693] ppid=28684 vsize=506588 CPUtime=1786.73 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 112033 0 0 0 178572 101 0 0 20 0 2 0 368079388 518746112 121695 33554432000 4194304 5964350 140734594804928 139813838116664 4400390 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 506588
[startup+1795.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 28743
/proc/meminfo: memFree=25114500/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=506588 CPUtime=1794.8 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 121158 0 0 0 179404 76 0 0 20 0 2 0 368079333 518746112 121696 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 126647 121696 186 433 0 126211 0
[pid=28686/tid=28693] ppid=28684 vsize=506588 CPUtime=1789.92 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 112034 0 0 0 178891 101 0 0 20 0 2 0 368079388 518746112 121696 33554432000 4194304 5964350 140734594804928 139813838116664 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 506588
[startup+1798.5 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 28743
/proc/meminfo: memFree=25113756/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=506588 CPUtime=1797.99 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 121206 0 0 0 179723 76 0 0 20 0 2 0 368079333 518746112 121744 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 126647 121744 186 433 0 126211 0
[pid=28686/tid=28693] ppid=28684 vsize=506588 CPUtime=1793.1 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 112082 0 0 0 179209 101 0 0 20 0 2 0 368079388 518746112 121744 33554432000 4194304 5964350 140734594804928 139813838116664 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 506588
[startup+1799.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 28743
/proc/meminfo: memFree=25113384/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=506588 CPUtime=1798.79 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 121206 0 0 0 179803 76 0 0 20 0 2 0 368079333 518746112 121744 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 126647 121744 186 433 0 126211 0
[pid=28686/tid=28693] ppid=28684 vsize=506588 CPUtime=1793.9 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 112082 0 0 0 179289 101 0 0 20 0 2 0 368079388 518746112 121744 33554432000 4194304 5964350 140734594804928 139813838116664 4399895 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.79
Current children cumulated vsize (KiB) 506588
[startup+1799.7 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 28743
/proc/meminfo: memFree=25113260/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=506588 CPUtime=1799.19 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 121206 0 0 0 179843 76 0 0 20 0 2 0 368079333 518746112 121744 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 126647 121744 186 433 0 126211 0
[pid=28686/tid=28693] ppid=28684 vsize=506588 CPUtime=1794.31 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 112082 0 0 0 179330 101 0 0 20 0 2 0 368079388 518746112 121744 33554432000 4194304 5964350 140734594804928 139813838116664 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.19
Current children cumulated vsize (KiB) 506588
[startup+1799.9 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 28743
/proc/meminfo: memFree=25113260/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=506588 CPUtime=1799.39 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 121206 0 0 0 179863 76 0 0 20 0 2 0 368079333 518746112 121744 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 126647 121744 186 433 0 126211 0
[pid=28686/tid=28693] ppid=28684 vsize=506588 CPUtime=1794.5 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 112082 0 0 0 179349 101 0 0 20 0 2 0 368079388 518746112 121744 33554432000 4194304 5964350 140734594804928 139813838116664 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 506588
[startup+1800 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 28743
/proc/meminfo: memFree=25113260/32873844 swapFree=6904/6904
[pid=28686] ppid=28684 vsize=506588 CPUtime=1799.49 cores=0,2,4,6
/proc/28686/stat : 28686 (wbo1.72) S 28684 28686 28534 0 -1 4202496 121206 0 0 0 179873 76 0 0 20 0 2 0 368079333 518746112 121744 33554432000 4194304 5964350 140734594804928 140734594804448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28686/statm: 126647 121744 186 433 0 126211 0
[pid=28686/tid=28693] ppid=28684 vsize=506588 CPUtime=1794.6 cores=0,2,4,6
/proc/28686/task/28693/stat : 28693 (wbo1.72) R 28684 28686 28534 0 -1 4202560 112082 0 0 0 179359 101 0 0 20 0 2 0 368079388 518746112 121744 33554432000 4194304 5964350 140734594804928 139813838116664 4399938 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 506588
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28686 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=130250
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=37842
# CPU time returned by wait4() is 1795.17
# while last known CPU time is 1799.49
#
# 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.49
CPU user time (s): 1798.73
CPU system time (s): 0.76
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 506588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.13
system time used= 1.03784
maximum resident set size= 486996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121211
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= 222
involuntary context switches= 1915
runsolver used 4.38333 second user time and 19.2481 second system time
The end