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-3705583-1338163347/watcher-3705583-1338163347 -o /tmp/evaluation-result-3705583-1338163347/solver-3705583-1338163347 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705583-1338163347.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.92 1.99 1.99 3/176 18028
/proc/meminfo: memFree=27306136/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=31872 CPUtime=0 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) R 18026 18028 17655 0 -1 4202496 601 0 0 0 0 0 0 0 20 0 1 0 282461579 32636928 553 33554432000 4194304 5963574 140737388434064 140736448089608 4394942 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 7968 553 178 432 0 641 0
[startup+0.096826 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 18028
/proc/meminfo: memFree=27306136/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=42308 CPUtime=0.08 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) R 18026 18028 17655 0 -1 4202496 3343 0 0 0 8 0 0 0 20 0 1 0 282461579 43323392 3181 33554432000 4194304 5963574 140737388434064 140737388431944 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 10577 3181 487 432 0 3250 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 42308
[startup+0.100212 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 18028
/proc/meminfo: memFree=27306136/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=42440 CPUtime=0.09 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) R 18026 18028 17655 0 -1 4202496 3402 0 0 0 9 0 0 0 20 0 1 0 282461579 43458560 3240 33554432000 4194304 5963574 140737388434064 140737388431944 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 10610 3240 499 432 0 3283 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42440
[startup+0.300233 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 18028
/proc/meminfo: memFree=27306136/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=53944 CPUtime=0.29 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) R 18026 18028 17655 0 -1 4202496 7088 0 0 0 28 1 0 0 20 0 1 0 282461579 55238656 6789 33554432000 4194304 5963574 140737388434064 140737388431944 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 13486 6789 1108 432 0 6159 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53944
[startup+0.700215 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 18028
/proc/meminfo: memFree=27306136/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=93092 CPUtime=0.69 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) R 18026 18028 17655 0 -1 4202496 16834 0 0 0 66 3 0 0 20 0 1 0 282461579 95326208 15877 33554432000 4194304 5963574 140737388434064 140737388431944 4394942 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 23273 15877 2342 432 0 15946 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 93092
[startup+1.50028 s]
/proc/loadavg: 1.92 1.99 1.99 3/178 18030
/proc/meminfo: memFree=27110404/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=148056 CPUtime=1.49 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) R 18026 18028 17655 0 -1 4202496 31600 0 0 0 144 5 0 0 20 0 1 0 282461579 151609344 31319 33554432000 4194304 5963574 140737388434064 140737388432664 4394942 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 37014 31320 4336 432 0 29687 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 148056
[startup+3.10015 s]
/proc/loadavg: 1.92 1.99 1.99 3/178 18030
/proc/meminfo: memFree=26859704/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=401924 CPUtime=3.09 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 76837 0 0 0 297 12 0 0 20 0 2 0 282461579 411570176 79187 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 100481 79187 187 432 0 100046 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 401924
[startup+6.30028 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 18031
/proc/meminfo: memFree=26451868/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=565660 CPUtime=6.28 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 114533 0 0 0 607 21 0 0 20 0 2 0 282461579 579235840 122559 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 141415 122559 197 432 0 140980 0
[pid=18028/tid=18031] ppid=18026 vsize=565660 CPUtime=3.52 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 67491 0 0 0 338 14 0 0 20 0 2 0 282461856 579235840 122559 33554432000 4194304 5963574 140737388434064 140351021484376 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 565660
[startup+12.7003 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 18031
/proc/meminfo: memFree=26394116/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=565660 CPUtime=12.69 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 115209 0 0 0 1247 22 0 0 20 0 2 0 282461579 579235840 128337 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 141415 128337 198 432 0 140980 0
[pid=18028/tid=18031] ppid=18026 vsize=565660 CPUtime=9.89 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 68167 0 0 0 975 14 0 0 20 0 2 0 282461856 579235840 128337 33554432000 4194304 5963574 140737388434064 140351021484872 4392454 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 565660
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 18031
/proc/meminfo: memFree=26297700/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=565660 CPUtime=25.48 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 115218 0 0 0 2526 22 0 0 20 0 2 0 282461579 579235840 128338 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 141415 128338 198 432 0 140980 0
[pid=18028/tid=18031] ppid=18026 vsize=565660 CPUtime=22.66 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 68176 0 0 0 2252 14 0 0 20 0 2 0 282461856 579235840 128338 33554432000 4194304 5963574 140737388434064 140351021484872 4403126 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 565660
[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 1.99 3/179 18031
/proc/meminfo: memFree=26075188/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=631196 CPUtime=51.07 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 118551 0 0 0 5084 23 0 0 20 0 2 0 282461579 646344704 139602 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 157799 139602 198 432 0 157364 0
[pid=18028/tid=18031] ppid=18026 vsize=631196 CPUtime=48.19 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 71509 0 0 0 4803 16 0 0 20 0 2 0 282461856 646344704 139602 33554432000 4194304 5963574 140737388434064 140351021484568 4403126 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) 631196
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/179 18031
/proc/meminfo: memFree=25780140/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=631196 CPUtime=102.27 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 123805 0 0 0 10202 25 0 0 20 0 2 0 282461579 646344704 139479 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 157799 139479 198 432 0 157364 0
[pid=18028/tid=18031] ppid=18026 vsize=631196 CPUtime=99.26 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 76763 0 0 0 9908 18 0 0 20 0 2 0 282461856 646344704 139479 33554432000 4194304 5963574 140737388434064 140351021484568 4392454 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) 631196
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 18032
/proc/meminfo: memFree=25405048/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=713252 CPUtime=162.25 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 127340 0 0 0 16198 27 0 0 20 0 2 0 282461579 730370048 153492 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 178313 153492 198 432 0 177878 0
[pid=18028/tid=18031] ppid=18026 vsize=713252 CPUtime=159.1 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 80298 0 0 0 15889 21 0 0 20 0 2 0 282461856 730370048 153492 33554432000 4194304 5963574 140737388434064 140351021484376 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 713252
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 18032
/proc/meminfo: memFree=25066892/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=647716 CPUtime=222.24 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 129473 0 0 0 22195 29 0 0 20 0 2 0 282461579 663261184 146880 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 161929 146880 198 432 0 161494 0
[pid=18028/tid=18031] ppid=18026 vsize=647716 CPUtime=218.94 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 82431 0 0 0 21870 24 0 0 20 0 2 0 282461856 663261184 146880 33554432000 4194304 5963574 140737388434064 140351021484872 4402879 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 647716
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 18032
/proc/meminfo: memFree=24755120/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=778788 CPUtime=282.23 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 153007 0 0 0 28185 38 0 0 20 0 2 0 282461579 797478912 165044 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 194697 165044 198 432 0 194262 0
[pid=18028/tid=18031] ppid=18026 vsize=778788 CPUtime=278.78 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 105965 0 0 0 27844 34 0 0 20 0 2 0 282461856 797478912 165044 33554432000 4194304 5963574 140737388434064 140351021484328 4392309 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 778788
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 18032
/proc/meminfo: memFree=24352668/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=778788 CPUtime=342.22 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 153007 0 0 0 34184 38 0 0 20 0 2 0 282461579 797478912 165044 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 194697 165044 198 432 0 194262 0
[pid=18028/tid=18031] ppid=18026 vsize=778788 CPUtime=338.63 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 105965 0 0 0 33828 35 0 0 20 0 2 0 282461856 797478912 165044 33554432000 4194304 5963574 140737388434064 140351021484328 4399546 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 778788
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 18032
/proc/meminfo: memFree=24087692/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=713252 CPUtime=402.2 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 153158 0 0 0 40182 38 0 0 20 0 2 0 282461579 730370048 158369 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 178313 158369 198 432 0 177878 0
[pid=18028/tid=18031] ppid=18026 vsize=713252 CPUtime=398.47 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 106116 0 0 0 39811 36 0 0 20 0 2 0 282461856 730370048 158369 33554432000 4194304 5963574 140737388434064 140351021484872 4399390 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 713252
[startup+462.3 s]
/proc/loadavg: 2.09 2.02 2.00 3/180 18036
/proc/meminfo: memFree=23822088/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=778788 CPUtime=462.19 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 155488 0 0 0 46180 39 0 0 20 0 2 0 282461579 797478912 170919 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 194697 170919 198 432 0 194262 0
[pid=18028/tid=18031] ppid=18026 vsize=778788 CPUtime=458.31 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 108446 0 0 0 45794 37 0 0 20 0 2 0 282461856 797478912 170919 33554432000 4194304 5963574 140737388434064 140351021484376 4392454 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 18042
/proc/meminfo: memFree=22290400/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=778788 CPUtime=1422.03 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 160207 0 0 0 142162 41 0 0 20 0 2 0 282461579 797478912 171126 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 194697 171126 198 432 0 194262 0
[pid=18028/tid=18031] ppid=18026 vsize=778788 CPUtime=1415.82 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 113165 0 0 0 141528 54 0 0 20 0 2 0 282461856 797478912 171126 33554432000 4194304 5963574 140737388434064 140351021484376 4392341 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 778788
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 18042
/proc/meminfo: memFree=22117524/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=713252 CPUtime=1482.01 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 160207 0 0 0 148160 41 0 0 20 0 2 0 282461579 730370048 163538 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 178313 163538 198 432 0 177878 0
[pid=18028/tid=18031] ppid=18026 vsize=713252 CPUtime=1475.66 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 113165 0 0 0 147511 55 0 0 20 0 2 0 282461856 730370048 163538 33554432000 4194304 5963574 140737388434064 140351021484872 4399390 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 713252
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18042
/proc/meminfo: memFree=22048064/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=713252 CPUtime=1542 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 160207 0 0 0 154159 41 0 0 20 0 2 0 282461579 730370048 163538 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 178313 163538 198 432 0 177878 0
[pid=18028/tid=18031] ppid=18026 vsize=713252 CPUtime=1535.5 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 113165 0 0 0 153494 56 0 0 20 0 2 0 282461856 730370048 163538 33554432000 4194304 5963574 140737388434064 140351021484872 4400118 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 713252
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18042
/proc/meminfo: memFree=21816692/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=696848 CPUtime=1602 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 160276 0 0 0 160158 42 0 0 20 0 2 0 282461579 713572352 155822 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 174212 155822 198 432 0 173777 0
[pid=18028/tid=18031] ppid=18026 vsize=696848 CPUtime=1595.35 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 113234 0 0 0 159477 58 0 0 20 0 2 0 282461856 713572352 155822 33554432000 4194304 5963574 140737388434064 140351021484872 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 696848
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18046
/proc/meminfo: memFree=21794180/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=696848 CPUtime=1661.99 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 160276 0 0 0 166157 42 0 0 20 0 2 0 282461579 713572352 155822 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 174212 155822 198 432 0 173777 0
[pid=18028/tid=18031] ppid=18026 vsize=696848 CPUtime=1655.2 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 113234 0 0 0 165461 59 0 0 20 0 2 0 282461856 713572352 155822 33554432000 4194304 5963574 140737388434064 140351021484872 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 696848
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18046
/proc/meminfo: memFree=21540068/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=696848 CPUtime=1721.98 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 160276 0 0 0 172156 42 0 0 20 0 2 0 282461579 713572352 155822 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 174212 155822 198 432 0 173777 0
[pid=18028/tid=18031] ppid=18026 vsize=696848 CPUtime=1715.05 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 113234 0 0 0 171445 60 0 0 20 0 2 0 282461856 713572352 155822 33554432000 4194304 5963574 140737388434064 140351021484872 4221987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 696848
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18046
/proc/meminfo: memFree=21403220/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=696848 CPUtime=1781.97 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 160276 0 0 0 178155 42 0 0 20 0 2 0 282461579 713572352 155822 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 174212 155822 198 432 0 173777 0
[pid=18028/tid=18031] ppid=18026 vsize=696848 CPUtime=1774.89 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 113234 0 0 0 177429 60 0 0 20 0 2 0 282461856 713572352 155822 33554432000 4194304 5963574 140737388434064 140351021484872 4399451 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 696848
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18046
/proc/meminfo: memFree=21469544/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=696848 CPUtime=1791.58 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 160276 0 0 0 179116 42 0 0 20 0 2 0 282461579 713572352 155822 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 174212 155822 198 432 0 173777 0
[pid=18028/tid=18031] ppid=18026 vsize=696848 CPUtime=1784.48 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 113234 0 0 0 178387 61 0 0 20 0 2 0 282461856 713572352 155822 33554432000 4194304 5963574 140737388434064 140351021484872 4403156 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 696848
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18046
/proc/meminfo: memFree=21383392/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=696848 CPUtime=1794.78 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 160276 0 0 0 179436 42 0 0 20 0 2 0 282461579 713572352 155822 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 174212 155822 198 432 0 173777 0
[pid=18028/tid=18031] ppid=18026 vsize=696848 CPUtime=1787.67 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 113234 0 0 0 178706 61 0 0 20 0 2 0 282461856 713572352 155822 33554432000 4194304 5963574 140737388434064 140351021484872 4390414 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 696848
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18046
/proc/meminfo: memFree=21343112/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=696848 CPUtime=1797.97 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 160276 0 0 0 179755 42 0 0 20 0 2 0 282461579 713572352 155822 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 174212 155822 198 432 0 173777 0
[pid=18028/tid=18031] ppid=18026 vsize=696848 CPUtime=1790.85 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 113234 0 0 0 179024 61 0 0 20 0 2 0 282461856 713572352 155822 33554432000 4194304 5963574 140737388434064 140351021484872 4222474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 696848
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 18046
/proc/meminfo: memFree=21370968/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=696848 CPUtime=1798.77 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 160276 0 0 0 179835 42 0 0 20 0 2 0 282461579 713572352 155822 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 174212 155822 198 432 0 173777 0
[pid=18028/tid=18031] ppid=18026 vsize=696848 CPUtime=1791.65 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 113234 0 0 0 179104 61 0 0 20 0 2 0 282461856 713572352 155822 33554432000 4194304 5963574 140737388434064 140351021484872 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.77
Current children cumulated vsize (KiB) 696848
[startup+1799.5 s]
/proc/loadavg: 1.92 1.98 1.99 2/176 18047
/proc/meminfo: memFree=26814648/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=696848 CPUtime=1799.17 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 160276 0 0 0 179875 42 0 0 20 0 2 0 282461579 713572352 155822 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 174212 155822 198 432 0 173777 0
[pid=18028/tid=18031] ppid=18026 vsize=696848 CPUtime=1792.06 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 113234 0 0 0 179145 61 0 0 20 0 2 0 282461856 713572352 155822 33554432000 4194304 5963574 140737388434064 140351021484872 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.17
Current children cumulated vsize (KiB) 696848
[startup+1799.9 s]
/proc/loadavg: 1.92 1.98 1.99 2/176 18047
/proc/meminfo: memFree=26814648/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=696848 CPUtime=1799.57 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 160276 0 0 0 179915 42 0 0 20 0 2 0 282461579 713572352 155822 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 174212 155822 198 432 0 173777 0
[pid=18028/tid=18031] ppid=18026 vsize=696848 CPUtime=1792.45 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 113234 0 0 0 179184 61 0 0 20 0 2 0 282461856 713572352 155822 33554432000 4194304 5963574 140737388434064 140351021484872 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 696848
[startup+1800 s]
/proc/loadavg: 1.92 1.98 1.99 2/176 18047
/proc/meminfo: memFree=26814648/32873648 swapFree=6848/6848
[pid=18028] ppid=18026 vsize=696848 CPUtime=1799.67 cores=1,3,5,7
/proc/18028/stat : 18028 (wbo1.7) S 18026 18028 17655 0 -1 4202496 160276 0 0 0 179925 42 0 0 20 0 2 0 282461579 713572352 155822 33554432000 4194304 5963574 140737388434064 140737388433584 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18028/statm: 174212 155822 198 432 0 173777 0
[pid=18028/tid=18031] ppid=18026 vsize=696848 CPUtime=1792.55 cores=1,3,5,7
/proc/18028/task/18031/stat : 18031 (wbo1.7) R 18026 18028 17655 0 -1 4202560 113234 0 0 0 179194 61 0 0 20 0 2 0 282461856 713572352 155822 33554432000 4194304 5963574 140737388434064 140351021484872 4403111 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (KiB) 696848
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18028 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=640173
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=700893
# CPU time returned by wait4() is 1795.34
# while last known CPU time is 1799.67
#
# 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.67
CPU user time (s): 1799.25
CPU system time (s): 0.42
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 778788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.64
system time used= 0.700893
maximum resident set size= 684504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160276
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= 22
involuntary context switches= 3187
runsolver used 3.10853 second user time and 8.39572 second system time
The end