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-3727280-1338652149/watcher-3727280-1338652149 -o /tmp/evaluation-result-3727280-1338652149/solver-3727280-1338652149 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727280-1338652149.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.99 1.92 1.69 3/179 4206
/proc/meminfo: memFree=28690028/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=4360 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) R 4204 4206 2201 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 331339730 4464640 543 33554432000 4194304 5964350 140736919748336 140736778947800 4297148 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 1090 555 167 433 0 654 0
[startup+0.0206881 s]
/proc/loadavg: 1.99 1.92 1.69 3/179 4206
/proc/meminfo: memFree=28690028/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=84244 CPUtime=0.01 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 1248 0 0 0 1 0 0 0 20 0 2 0 331339730 86265856 1180 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 21061 1180 191 433 0 20625 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 84244
[startup+0.100156 s]
/proc/loadavg: 1.99 1.92 1.69 3/179 4206
/proc/meminfo: memFree=28690028/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=84244 CPUtime=0.09 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 2896 0 0 0 9 0 0 0 20 0 2 0 331339730 86265856 2179 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 21061 2179 191 433 0 20625 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84244
[startup+0.300172 s]
/proc/loadavg: 1.99 1.92 1.69 3/179 4206
/proc/meminfo: memFree=28690028/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=84244 CPUtime=0.28 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 6453 0 0 0 28 0 0 0 20 0 2 0 331339730 86265856 3545 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 21061 3545 191 433 0 20625 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 84244
[startup+0.700209 s]
/proc/loadavg: 1.99 1.92 1.69 3/179 4206
/proc/meminfo: memFree=28690028/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=84244 CPUtime=0.69 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 11157 0 0 0 68 1 0 0 20 0 2 0 331339730 86265856 5608 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 21061 5608 193 433 0 20625 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84244
[startup+1.50033 s]
/proc/loadavg: 1.99 1.92 1.69 3/181 4208
/proc/meminfo: memFree=28662872/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=84244 CPUtime=1.48 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 17817 0 0 0 146 2 0 0 20 0 2 0 331339730 86265856 7310 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 21061 7317 194 433 0 20625 0
[pid=4206/tid=4208] ppid=4204 vsize=84244 CPUtime=1.47 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 16965 0 0 0 145 2 0 0 20 0 2 0 331339731 86265856 7320 33554432000 4194304 5964350 140736919748336 140422451513880 4395259 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) 84244
[startup+3.10034 s]
/proc/loadavg: 1.99 1.92 1.69 3/181 4208
/proc/meminfo: memFree=28652812/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=84244 CPUtime=3.08 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 28476 0 0 0 304 4 0 0 20 0 2 0 331339730 86265856 10903 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 21061 10903 194 433 0 20625 0
[pid=4206/tid=4208] ppid=4204 vsize=84244 CPUtime=3.06 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 27614 0 0 0 302 4 0 0 20 0 2 0 331339731 86265856 10903 33554432000 4194304 5964350 140736919748336 140422451514184 4403337 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84244
[startup+6.30033 s]
/proc/loadavg: 1.99 1.92 1.69 3/181 4208
/proc/meminfo: memFree=28618092/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=84244 CPUtime=6.28 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 41955 0 0 0 622 6 0 0 20 0 2 0 331339730 86265856 16649 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 21061 16649 195 433 0 20625 0
[pid=4206/tid=4208] ppid=4204 vsize=84244 CPUtime=6.26 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 41093 0 0 0 620 6 0 0 20 0 2 0 331339731 86265856 16649 33554432000 4194304 5964350 140736919748336 140422451514184 4388125 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) 84244
[startup+12.7003 s]
/proc/loadavg: 1.99 1.92 1.70 3/181 4208
/proc/meminfo: memFree=28570748/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=151980 CPUtime=12.68 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 50091 0 0 0 1260 8 0 0 20 0 2 0 331339730 155627520 23322 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 37995 23322 195 433 0 37559 0
[pid=4206/tid=4208] ppid=4204 vsize=151980 CPUtime=12.64 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 49229 0 0 0 1256 8 0 0 20 0 2 0 331339731 155627520 23322 33554432000 4194304 5964350 140736919748336 140422451513688 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 151980
[startup+25.5004 s]
/proc/loadavg: 1.99 1.92 1.70 3/181 4208
/proc/meminfo: memFree=28530672/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=151980 CPUtime=25.48 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 55980 0 0 0 2538 10 0 0 20 0 2 0 331339730 155627520 29256 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 37995 29256 195 433 0 37559 0
[pid=4206/tid=4208] ppid=4204 vsize=151980 CPUtime=25.4 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 55118 0 0 0 2531 9 0 0 20 0 2 0 331339731 155627520 29256 33554432000 4194304 5964350 140736919748336 140422451514296 4390776 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) 151980
[startup+51.1003 s]
/proc/loadavg: 1.99 1.93 1.71 3/181 4208
/proc/meminfo: memFree=28449484/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=217516 CPUtime=51.06 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 62209 0 0 0 5095 11 0 0 20 0 2 0 331339730 222736384 38763 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 54379 38763 195 433 0 53943 0
[pid=4206/tid=4208] ppid=4204 vsize=217516 CPUtime=50.93 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 61347 0 0 0 5082 11 0 0 20 0 2 0 331339731 222736384 38763 33554432000 4194304 5964350 140736919748336 140422451513672 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 217516
[startup+102.307 s]
/proc/loadavg: 1.99 1.94 1.72 3/182 4211
/proc/meminfo: memFree=28353652/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=283052 CPUtime=102.22 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 71212 0 0 0 10210 12 0 0 20 0 2 0 331339730 289845248 51814 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 70763 51814 195 433 0 70327 0
[pid=4206/tid=4208] ppid=4204 vsize=283052 CPUtime=101.97 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 70350 0 0 0 10184 13 0 0 20 0 2 0 331339731 289845248 51814 33554432000 4194304 5964350 140736919748336 140422451513704 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 283052
[startup+162.3 s]
/proc/loadavg: 1.99 1.95 1.74 3/181 4212
/proc/meminfo: memFree=28289420/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=348588 CPUtime=162.21 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 83134 0 0 0 16206 15 0 0 20 0 2 0 331339730 356954112 67863 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 87147 67863 195 433 0 86711 0
[pid=4206/tid=4208] ppid=4204 vsize=348588 CPUtime=161.81 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 82272 0 0 0 16164 17 0 0 20 0 2 0 331339731 356954112 67863 33554432000 4194304 5964350 140736919748336 140422451513672 4403501 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 348588
[startup+222.3 s]
/proc/loadavg: 1.99 1.95 1.75 3/181 4212
/proc/meminfo: memFree=28261424/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=348588 CPUtime=222.2 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 89748 0 0 0 22204 16 0 0 20 0 2 0 331339730 356954112 75498 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 87147 75498 195 433 0 86711 0
[pid=4206/tid=4208] ppid=4204 vsize=348588 CPUtime=221.66 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 88886 0 0 0 22147 19 0 0 20 0 2 0 331339731 356954112 75498 33554432000 4194304 5964350 140736919748336 140422451513704 4400011 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) 348588
[startup+282.3 s]
/proc/loadavg: 1.99 1.96 1.76 3/181 4212
/proc/meminfo: memFree=28221208/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=414124 CPUtime=282.19 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 98176 0 0 0 28202 17 0 0 20 0 2 0 331339730 424062976 85456 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 103531 85456 195 433 0 103095 0
[pid=4206/tid=4208] ppid=4204 vsize=414124 CPUtime=281.5 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 97314 0 0 0 28129 21 0 0 20 0 2 0 331339731 424062976 85456 33554432000 4194304 5964350 140736919748336 140422451513672 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 414124
[startup+342.3 s]
/proc/loadavg: 1.99 1.96 1.77 3/181 4212
/proc/meminfo: memFree=28207044/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=414124 CPUtime=342.18 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 101126 0 0 0 34200 18 0 0 20 0 2 0 331339730 424062976 88917 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 103531 88917 195 433 0 103095 0
[pid=4206/tid=4208] ppid=4204 vsize=414124 CPUtime=341.35 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 100264 0 0 0 34112 23 0 0 20 0 2 0 331339731 424062976 88917 33554432000 4194304 5964350 140736919748336 140422451513672 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 414124
[startup+402.3 s]
/proc/loadavg: 2.04 1.98 1.79 3/181 4212
/proc/meminfo: memFree=28207032/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=414124 CPUtime=402.17 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 101191 0 0 0 40199 18 0 0 20 0 2 0 331339730 424062976 88982 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 103531 88982 195 433 0 103095 0
[pid=4206/tid=4208] ppid=4204 vsize=414124 CPUtime=401.2 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 100329 0 0 0 40096 24 0 0 20 0 2 0 331339731 424062976 88982 33554432000 4194304 5964350 140736919748336 140422451513672 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 414124
[startup+462.3 s]
/proc/loadavg: 2.01 1.98 1.80 3/181 4213
/proc/meminfo: memFree=28123068/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=494244 CPUtime=462.16 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 1.92 3/181 4284
/proc/meminfo: memFree=28473424/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=676268 CPUtime=1421.91 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 155734 0 0 0 142151 40 0 0 20 0 2 0 331339730 692498432 151496 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 169067 151496 195 433 0 168631 0
[pid=4206/tid=4208] ppid=4204 vsize=676268 CPUtime=1418.49 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 154872 0 0 0 141789 60 0 0 20 0 2 0 331339731 692498432 151496 33554432000 4194304 5964350 140736919748336 140422451513672 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 676268
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/181 4284
/proc/meminfo: memFree=28439696/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=676268 CPUtime=1481.89 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 155734 0 0 0 148149 40 0 0 20 0 2 0 331339730 692498432 151496 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 169067 151496 195 433 0 168631 0
[pid=4206/tid=4208] ppid=4204 vsize=676268 CPUtime=1478.33 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 154872 0 0 0 147772 61 0 0 20 0 2 0 331339731 692498432 151496 33554432000 4194304 5964350 140736919748336 140422451513672 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 676268
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/181 4284
/proc/meminfo: memFree=28384144/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=676268 CPUtime=1541.87 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 162180 0 0 0 154143 44 0 0 20 0 2 0 331339730 692498432 157942 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 169067 157942 195 433 0 168631 0
[pid=4206/tid=4208] ppid=4204 vsize=676268 CPUtime=1538.18 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 161318 0 0 0 153751 67 0 0 20 0 2 0 331339731 692498432 157942 33554432000 4194304 5964350 140736919748336 140422451513336 4399930 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 676268
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 4284
/proc/meminfo: memFree=28253372/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=807340 CPUtime=1601.87 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 186758 0 0 0 160131 56 0 0 20 0 2 0 331339730 826716160 185072 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 201835 185072 195 433 0 201399 0
[pid=4206/tid=4208] ppid=4204 vsize=807340 CPUtime=1598.02 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 185896 0 0 0 159723 79 0 0 20 0 2 0 331339731 826716160 185072 33554432000 4194304 5964350 140736919748336 140422451513704 4400439 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 807340
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 4285
/proc/meminfo: memFree=28206288/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=807340 CPUtime=1661.86 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 186758 0 0 0 166130 56 0 0 20 0 2 0 331339730 826716160 185072 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 201835 185072 195 433 0 201399 0
[pid=4206/tid=4208] ppid=4204 vsize=807340 CPUtime=1657.87 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 185896 0 0 0 165707 80 0 0 20 0 2 0 331339731 826716160 185072 33554432000 4194304 5964350 140736919748336 140422451513704 4403484 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 807340
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 4285
/proc/meminfo: memFree=28205580/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=807340 CPUtime=1721.85 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 186758 0 0 0 172129 56 0 0 20 0 2 0 331339730 826716160 185072 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 201835 185072 195 433 0 201399 0
[pid=4206/tid=4208] ppid=4204 vsize=807340 CPUtime=1717.72 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 185896 0 0 0 171691 81 0 0 20 0 2 0 331339731 826716160 185072 33554432000 4194304 5964350 140736919748336 140422451513704 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 807340
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/181 4285
/proc/meminfo: memFree=28200624/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=807340 CPUtime=1781.84 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 186760 0 0 0 178128 56 0 0 20 0 2 0 331339730 826716160 185344 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 201835 185344 195 433 0 201399 0
[pid=4206/tid=4208] ppid=4204 vsize=807340 CPUtime=1777.56 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 185898 0 0 0 177674 82 0 0 20 0 2 0 331339731 826716160 185344 33554432000 4194304 5964350 140736919748336 140422451513704 4388266 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 807340
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 1.93 3/181 4285
/proc/meminfo: memFree=28200732/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=807340 CPUtime=1791.45 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 186766 0 0 0 179089 56 0 0 20 0 2 0 331339730 826716160 185344 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 201835 185344 195 433 0 201399 0
[pid=4206/tid=4208] ppid=4204 vsize=807340 CPUtime=1787.14 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 185904 0 0 0 178632 82 0 0 20 0 2 0 331339731 826716160 185344 33554432000 4194304 5964350 140736919748336 140422451513704 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 807340
[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 1.93 3/181 4285
/proc/meminfo: memFree=28200980/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=807340 CPUtime=1794.65 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 186766 0 0 0 179409 56 0 0 20 0 2 0 331339730 826716160 185344 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 201835 185344 195 433 0 201399 0
[pid=4206/tid=4208] ppid=4204 vsize=807340 CPUtime=1790.33 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 185904 0 0 0 178951 82 0 0 20 0 2 0 331339731 826716160 185344 33554432000 4194304 5964350 140736919748336 140422451513704 4403263 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 807340
[startup+1798.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/181 4285
/proc/meminfo: memFree=28200980/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=807340 CPUtime=1797.84 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 186766 0 0 0 179728 56 0 0 20 0 2 0 331339730 826716160 185344 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 201835 185344 195 433 0 201399 0
[pid=4206/tid=4208] ppid=4204 vsize=807340 CPUtime=1793.52 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 185904 0 0 0 179270 82 0 0 20 0 2 0 331339731 826716160 185344 33554432000 4194304 5964350 140736919748336 140422451513704 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 807340
[startup+1799.1 s]
/proc/loadavg: 2.03 2.01 1.93 3/181 4285
/proc/meminfo: memFree=28200980/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=807340 CPUtime=1798.64 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 186766 0 0 0 179808 56 0 0 20 0 2 0 331339730 826716160 185344 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 201835 185344 195 433 0 201399 0
[pid=4206/tid=4208] ppid=4204 vsize=807340 CPUtime=1794.32 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 185904 0 0 0 179350 82 0 0 20 0 2 0 331339731 826716160 185344 33554432000 4194304 5964350 140736919748336 140422451513704 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (KiB) 807340
[startup+1799.5 s]
/proc/loadavg: 2.03 2.01 1.93 3/181 4285
/proc/meminfo: memFree=28200980/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=807340 CPUtime=1799.04 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 186766 0 0 0 179848 56 0 0 20 0 2 0 331339730 826716160 185344 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 201835 185344 195 433 0 201399 0
[pid=4206/tid=4208] ppid=4204 vsize=807340 CPUtime=1794.72 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 185904 0 0 0 179390 82 0 0 20 0 2 0 331339731 826716160 185344 33554432000 4194304 5964350 140736919748336 140422451513704 4222330 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.04
Current children cumulated vsize (KiB) 807340
[startup+1799.9 s]
/proc/loadavg: 2.03 2.01 1.93 3/181 4285
/proc/meminfo: memFree=28200980/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=807340 CPUtime=1799.44 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 186766 0 0 0 179888 56 0 0 20 0 2 0 331339730 826716160 185344 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 201835 185344 195 433 0 201399 0
[pid=4206/tid=4208] ppid=4204 vsize=807340 CPUtime=1795.11 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 185904 0 0 0 179429 82 0 0 20 0 2 0 331339731 826716160 185344 33554432000 4194304 5964350 140736919748336 140422451513704 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (KiB) 807340
[startup+1800 s]
/proc/loadavg: 2.03 2.01 1.93 3/181 4285
/proc/meminfo: memFree=28200980/32873844 swapFree=7620/7620
[pid=4206] ppid=4204 vsize=807340 CPUtime=1799.54 cores=1,3,5,7
/proc/4206/stat : 4206 (wbo1.72) S 4204 4206 2201 0 -1 4202496 186766 0 0 0 179898 56 0 0 20 0 2 0 331339730 826716160 185344 33554432000 4194304 5964350 140736919748336 140736919747856 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 201835 185344 195 433 0 201399 0
[pid=4206/tid=4208] ppid=4204 vsize=807340 CPUtime=1795.21 cores=1,3,5,7
/proc/4206/task/4208/stat : 4208 (wbo1.72) R 4204 4206 2201 0 -1 4202560 185904 0 0 0 179439 82 0 0 20 0 2 0 331339731 826716160 185344 33554432000 4194304 5964350 140736919748336 140422451513704 4400023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (KiB) 807340
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4206 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=411208
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=840872
# CPU time returned by wait4() is 1795.25
# while last known CPU time is 1799.54
#
# 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.54
CPU user time (s): 1798.98
CPU system time (s): 0.56
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 807340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.41
system time used= 0.840872
maximum resident set size= 741384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186768
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= 191
involuntary context switches= 1884
runsolver used 2.98455 second user time and 8.49771 second system time
The end