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-3727108-1339017761/watcher-3727108-1339017761 -o /tmp/evaluation-result-3727108-1339017761/solver-3727108-1339017761 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727108-1339017761.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: 0.16 0.03 0.01 3/175 5977
/proc/meminfo: memFree=31642848/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=4868 CPUtime=0 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) R 5975 5977 5932 0 -1 4202496 447 0 0 0 0 0 0 0 20 0 1 0 367901603 4984832 399 33554432000 4194304 5964350 140733487047328 140734568222024 4349631 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 1217 399 169 433 0 483 0
[startup+0.07817 s]
/proc/loadavg: 0.16 0.03 0.01 3/175 5977
/proc/meminfo: memFree=31642848/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=10216 CPUtime=0.07 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) R 5975 5977 5932 0 -1 4202496 2011 0 0 0 7 0 0 0 20 0 1 0 367901603 10461184 1930 33554432000 4194304 5964350 140733487047328 140734568222024 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 2554 1931 419 433 0 1820 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10216
[startup+0.100212 s]
/proc/loadavg: 0.16 0.03 0.01 3/175 5977
/proc/meminfo: memFree=31642848/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=91068 CPUtime=0.09 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 3674 0 0 0 9 0 0 0 20 0 2 0 367901603 93253632 3295 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 22767 3295 177 433 0 22331 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 91068
[startup+0.300179 s]
/proc/loadavg: 0.16 0.03 0.01 3/175 5977
/proc/meminfo: memFree=31642848/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=90960 CPUtime=0.29 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 4765 0 0 0 29 0 0 0 20 0 2 0 367901603 93143040 4081 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 22740 4081 187 433 0 22304 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 90960
[startup+0.700072 s]
/proc/loadavg: 0.16 0.03 0.01 3/175 5977
/proc/meminfo: memFree=31642848/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=90960 CPUtime=0.69 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 5024 0 0 0 69 0 0 0 20 0 2 0 367901603 93143040 4340 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 22740 4340 187 433 0 22304 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90960
[startup+1.50021 s]
/proc/loadavg: 0.16 0.03 0.01 3/177 5979
/proc/meminfo: memFree=31624976/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=90960 CPUtime=1.49 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 5465 0 0 0 148 1 0 0 20 0 2 0 367901603 93143040 4781 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 22740 4781 187 433 0 22304 0
[pid=5977/tid=5979] ppid=5975 vsize=90960 CPUtime=1.39 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 2787 0 0 0 139 0 0 0 20 0 2 0 367901612 93143040 4781 33554432000 4194304 5964350 140733487047328 140571044538360 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90960
[startup+3.10023 s]
/proc/loadavg: 0.16 0.03 0.01 3/177 5979
/proc/meminfo: memFree=31620456/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=90960 CPUtime=3.09 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 6274 0 0 0 308 1 0 0 20 0 2 0 367901603 93143040 5590 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 22740 5590 187 433 0 22304 0
[pid=5977/tid=5979] ppid=5975 vsize=90960 CPUtime=2.98 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 3596 0 0 0 298 0 0 0 20 0 2 0 367901612 93143040 5590 33554432000 4194304 5964350 140733487047328 140571044538408 4399962 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90960
[startup+6.30022 s]
/proc/loadavg: 0.31 0.07 0.02 3/176 5979
/proc/meminfo: memFree=31609056/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=90960 CPUtime=6.29 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 6971 0 0 0 628 1 0 0 20 0 2 0 367901603 93143040 6287 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 22740 6287 187 433 0 22304 0
[pid=5977/tid=5979] ppid=5975 vsize=90960 CPUtime=6.18 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 4293 0 0 0 617 1 0 0 20 0 2 0 367901612 93143040 6287 33554432000 4194304 5964350 140733487047328 140571044538168 4389067 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 90960
[startup+12.7002 s]
/proc/loadavg: 0.44 0.10 0.03 3/177 5980
/proc/meminfo: memFree=31591984/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=90960 CPUtime=12.68 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 8403 0 0 0 1267 1 0 0 20 0 2 0 367901603 93143040 7719 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 22740 7719 187 433 0 22304 0
[pid=5977/tid=5979] ppid=5975 vsize=90960 CPUtime=12.56 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 5725 0 0 0 1255 1 0 0 20 0 2 0 367901612 93143040 7719 33554432000 4194304 5964350 140733487047328 140571044538168 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 90960
[startup+25.5003 s]
/proc/loadavg: 0.79 0.19 0.06 3/177 5980
/proc/meminfo: memFree=31571764/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=91444 CPUtime=25.48 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 10977 0 0 0 2546 2 0 0 20 0 2 0 367901603 93638656 10293 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 22861 10293 187 433 0 22425 0
[pid=5977/tid=5979] ppid=5975 vsize=91444 CPUtime=25.32 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 8299 0 0 0 2530 2 0 0 20 0 2 0 367901612 93638656 10293 33554432000 4194304 5964350 140733487047328 140571044538360 4399840 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) 91444
[startup+51.1003 s]
/proc/loadavg: 1.20 0.33 0.11 3/177 5980
/proc/meminfo: memFree=31533104/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=92044 CPUtime=51.08 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 15920 0 0 0 5103 5 0 0 20 0 2 0 367901603 94253056 15236 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 23011 15236 187 433 0 22575 0
[pid=5977/tid=5979] ppid=5975 vsize=92044 CPUtime=50.86 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 13242 0 0 0 5081 5 0 0 20 0 2 0 367901612 94253056 15236 33554432000 4194304 5964350 140733487047328 140571044538168 4399930 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 92044
[startup+102.307 s]
/proc/loadavg: 1.73 0.60 0.21 3/177 5980
/proc/meminfo: memFree=31480528/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=157580 CPUtime=102.24 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 20791 0 0 0 10215 9 0 0 20 0 2 0 367901603 161361920 20101 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 39395 20101 187 433 0 38959 0
[pid=5977/tid=5979] ppid=5975 vsize=157580 CPUtime=101.9 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 18113 0 0 0 10181 9 0 0 20 0 2 0 367901612 161361920 20101 33554432000 4194304 5964350 140733487047328 140571044538408 4399835 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 157580
[startup+162.3 s]
/proc/loadavg: 1.90 0.86 0.32 3/177 5980
/proc/meminfo: memFree=31399916/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=157580 CPUtime=162.22 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 27753 0 0 0 16207 15 0 0 20 0 2 0 367901603 161361920 27578 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 39395 27578 187 433 0 38959 0
[pid=5977/tid=5979] ppid=5975 vsize=157580 CPUtime=161.74 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 25075 0 0 0 16157 17 0 0 20 0 2 0 367901612 161361920 27578 33554432000 4194304 5964350 140733487047328 140571044538408 5136340 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 157580
[startup+222.3 s]
/proc/loadavg: 1.96 1.06 0.43 3/177 5980
/proc/meminfo: memFree=31334128/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=158120 CPUtime=222.21 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 34016 0 0 0 22199 22 0 0 20 0 2 0 367901603 161914880 33841 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 39530 33841 187 433 0 39094 0
[pid=5977/tid=5979] ppid=5975 vsize=158120 CPUtime=221.58 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 31338 0 0 0 22134 24 0 0 20 0 2 0 367901612 161914880 33841 33554432000 4194304 5964350 140733487047328 140571044538360 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 158120
[startup+282.3 s]
/proc/loadavg: 1.98 1.23 0.52 3/177 5980
/proc/meminfo: memFree=31285960/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=223656 CPUtime=282.17 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 38829 0 0 0 28190 27 0 0 20 0 2 0 367901603 229023744 38730 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 55914 38730 187 433 0 55478 0
[pid=5977/tid=5979] ppid=5975 vsize=223656 CPUtime=281.4 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 36151 0 0 0 28110 30 0 0 20 0 2 0 367901612 229023744 38730 33554432000 4194304 5964350 140733487047328 140571044538408 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 223656
[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.61 3/177 5981
/proc/meminfo: memFree=31267628/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=223656 CPUtime=342.16 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 42272 0 0 0 34185 31 0 0 20 0 2 0 367901603 229023744 42173 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 55914 42173 187 433 0 55478 0
[pid=5977/tid=5979] ppid=5975 vsize=223656 CPUtime=341.24 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 39594 0 0 0 34089 35 0 0 20 0 2 0 367901612 229023744 42173 33554432000 4194304 5964350 140733487047328 140571044538360 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 223656
[startup+402.3 s]
/proc/loadavg: 2.03 1.49 0.70 3/177 5981
/proc/meminfo: memFree=31221776/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=223656 CPUtime=402.15 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 45578 0 0 0 40180 35 0 0 20 0 2 0 367901603 229023744 45479 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 55914 45479 187 433 0 55478 0
[pid=5977/tid=5979] ppid=5975 vsize=223656 CPUtime=401.09 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 42900 0 0 0 40068 41 0 0 20 0 2 0 367901612 229023744 45479 33554432000 4194304 5964350 140733487047328 140571044538168 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 223656
[startup+462.3 s]
/proc/loadavg: 2.01 1.58 0.78 3/178 5984
/proc/meminfo: memFree=31174832/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=223656 CPUtime=462.14 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/177 5991
/proc/meminfo: memFree=30741024/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=422764 CPUtime=1421.89 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 99418 0 0 0 142081 108 0 0 20 0 2 0 367901603 432910336 99846 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 105691 99846 187 433 0 105255 0
[pid=5977/tid=5979] ppid=5975 vsize=422764 CPUtime=1418.36 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 96740 0 0 0 141708 128 0 0 20 0 2 0 367901612 432910336 99846 33554432000 4194304 5964350 140733487047328 140571044538232 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 422764
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/177 5991
/proc/meminfo: memFree=30712256/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=488300 CPUtime=1481.87 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 105469 0 0 0 148071 116 0 0 20 0 2 0 367901603 500019200 105897 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 122075 105897 187 433 0 121639 0
[pid=5977/tid=5979] ppid=5975 vsize=488300 CPUtime=1478.2 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 102791 0 0 0 147682 138 0 0 20 0 2 0 367901612 500019200 105897 33554432000 4194304 5964350 140733487047328 140571044538360 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 488300
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/177 5992
/proc/meminfo: memFree=30694664/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=488300 CPUtime=1541.86 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 109025 0 0 0 154066 120 0 0 20 0 2 0 367901603 500019200 109453 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 122075 109453 187 433 0 121639 0
[pid=5977/tid=5979] ppid=5975 vsize=488300 CPUtime=1538.04 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 106347 0 0 0 153661 143 0 0 20 0 2 0 367901612 500019200 109453 33554432000 4194304 5964350 140733487047328 140571044538168 4381458 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 488300
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.61 3/177 5992
/proc/meminfo: memFree=30692972/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=488300 CPUtime=1601.86 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 109191 0 0 0 160065 121 0 0 20 0 2 0 367901603 500019200 109619 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 122075 109619 187 433 0 121639 0
[pid=5977/tid=5979] ppid=5975 vsize=488300 CPUtime=1597.89 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 106513 0 0 0 159645 144 0 0 20 0 2 0 367901612 500019200 109619 33554432000 4194304 5964350 140733487047328 140571044538168 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 488300
[startup+1662.3 s]
/proc/loadavg: 2.10 2.00 1.64 3/178 5995
/proc/meminfo: memFree=30682640/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=488300 CPUtime=1661.84 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 111368 0 0 0 166059 125 0 0 20 0 2 0 367901603 500019200 111796 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 122075 111796 187 433 0 121639 0
[pid=5977/tid=5979] ppid=5975 vsize=488300 CPUtime=1657.73 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 108690 0 0 0 165624 149 0 0 20 0 2 0 367901612 500019200 111796 33554432000 4194304 5964350 140733487047328 140571044538408 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 488300
[startup+1722.3 s]
/proc/loadavg: 2.03 2.00 1.66 3/177 5995
/proc/meminfo: memFree=30643464/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=488784 CPUtime=1721.83 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 115702 0 0 0 172052 131 0 0 20 0 2 0 367901603 500514816 116129 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 122196 116129 187 433 0 121760 0
[pid=5977/tid=5979] ppid=5975 vsize=488784 CPUtime=1717.58 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 113024 0 0 0 171601 157 0 0 20 0 2 0 367901612 500514816 116129 33554432000 4194304 5964350 140733487047328 140571044538408 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 488784
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.68 3/177 5995
/proc/meminfo: memFree=30610976/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=490000 CPUtime=1781.82 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 117266 0 0 0 178049 133 0 0 20 0 2 0 367901603 501760000 117693 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 122500 117693 187 433 0 122064 0
[pid=5977/tid=5979] ppid=5975 vsize=490000 CPUtime=1777.42 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 114588 0 0 0 177583 159 0 0 20 0 2 0 367901612 501760000 117693 33554432000 4194304 5964350 140733487047328 140571044538168 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 490000
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 1.68 3/177 5995
/proc/meminfo: memFree=30607876/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=490000 CPUtime=1791.43 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 117292 0 0 0 179010 133 0 0 20 0 2 0 367901603 501760000 117719 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 122500 117719 187 433 0 122064 0
[pid=5977/tid=5979] ppid=5975 vsize=490000 CPUtime=1787.01 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 114614 0 0 0 178541 160 0 0 20 0 2 0 367901612 501760000 117719 33554432000 4194304 5964350 140733487047328 140571044538168 4387868 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 490000
[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 1.68 3/177 5995
/proc/meminfo: memFree=30606636/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=490000 CPUtime=1794.63 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 117320 0 0 0 179330 133 0 0 20 0 2 0 367901603 501760000 117747 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 122500 117747 187 433 0 122064 0
[pid=5977/tid=5979] ppid=5975 vsize=490000 CPUtime=1790.2 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 114642 0 0 0 178860 160 0 0 20 0 2 0 367901612 501760000 117747 33554432000 4194304 5964350 140733487047328 140571044538168 4388154 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 490000
[startup+1798.3 s]
/proc/loadavg: 2.01 2.00 1.68 3/177 5995
/proc/meminfo: memFree=30605892/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=490000 CPUtime=1797.82 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 117337 0 0 0 179649 133 0 0 20 0 2 0 367901603 501760000 117764 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 122500 117764 187 433 0 122064 0
[pid=5977/tid=5979] ppid=5975 vsize=490000 CPUtime=1793.38 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 114659 0 0 0 179178 160 0 0 20 0 2 0 367901612 501760000 117764 33554432000 4194304 5964350 140733487047328 140571044538168 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 490000
[startup+1799.1 s]
/proc/loadavg: 2.01 2.00 1.68 3/177 5995
/proc/meminfo: memFree=30605396/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=490000 CPUtime=1798.62 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 117337 0 0 0 179729 133 0 0 20 0 2 0 367901603 501760000 117764 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 122500 117764 187 433 0 122064 0
[pid=5977/tid=5979] ppid=5975 vsize=490000 CPUtime=1794.18 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 114659 0 0 0 179258 160 0 0 20 0 2 0 367901612 501760000 117764 33554432000 4194304 5964350 140733487047328 140571044538168 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (KiB) 490000
[startup+1799.5 s]
/proc/loadavg: 2.01 2.00 1.68 3/177 5995
/proc/meminfo: memFree=30605024/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=490000 CPUtime=1799.03 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 117337 0 0 0 179770 133 0 0 20 0 2 0 367901603 501760000 117764 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 122500 117764 187 433 0 122064 0
[pid=5977/tid=5979] ppid=5975 vsize=490000 CPUtime=1794.59 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 114659 0 0 0 179299 160 0 0 20 0 2 0 367901612 501760000 117764 33554432000 4194304 5964350 140733487047328 140571044538168 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.03
Current children cumulated vsize (KiB) 490000
[startup+1799.9 s]
/proc/loadavg: 2.01 2.00 1.68 3/177 5995
/proc/meminfo: memFree=30605024/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=490000 CPUtime=1799.42 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 117337 0 0 0 179809 133 0 0 20 0 2 0 367901603 501760000 117764 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 122500 117764 187 433 0 122064 0
[pid=5977/tid=5979] ppid=5975 vsize=490000 CPUtime=1794.98 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 114659 0 0 0 179338 160 0 0 20 0 2 0 367901612 501760000 117764 33554432000 4194304 5964350 140733487047328 140571044538168 4400552 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (KiB) 490000
[startup+1800 s]
/proc/loadavg: 2.01 2.00 1.68 3/177 5995
/proc/meminfo: memFree=30605024/32873852 swapFree=6864/6864
[pid=5977] ppid=5975 vsize=490000 CPUtime=1799.52 cores=1,3,5,7
/proc/5977/stat : 5977 (wbo1.72) S 5975 5977 5932 0 -1 4202496 117337 0 0 0 179819 133 0 0 20 0 2 0 367901603 501760000 117764 33554432000 4194304 5964350 140733487047328 140733487046848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5977/statm: 122500 117764 187 433 0 122064 0
[pid=5977/tid=5979] ppid=5975 vsize=490000 CPUtime=1795.08 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (wbo1.72) R 5975 5977 5932 0 -1 4202560 114659 0 0 0 179348 160 0 0 20 0 2 0 367901612 501760000 117764 33554432000 4194304 5964350 140733487047328 140571044538168 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (KiB) 490000
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5977 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=572335
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=624753
# CPU time returned by wait4() is 1795.2
# while last known CPU time is 1799.52
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.52
CPU user time (s): 1798.19
CPU system time (s): 1.33
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 490000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.57
system time used= 1.62475
maximum resident set size= 471068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117340
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= 183
involuntary context switches= 1889
runsolver used 3.52346 second user time and 9.09162 second system time
The end