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-3727945-1338667497/watcher-3727945-1338667497 -o /tmp/evaluation-result-3727945-1338667497/solver-3727945-1338667497 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727945-1338667497.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.85 1.97 1.99 3/177 31983
/proc/meminfo: memFree=27842564/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=11732 CPUtime=0 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) R 31981 31983 31869 0 -1 4202496 728 0 0 0 0 0 0 0 20 0 1 0 332874248 12013568 680 33554432000 4194304 5964350 140733663256144 140734013340504 4353427 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 2933 680 166 433 0 813 0
[startup+0.067217 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 31983
/proc/meminfo: memFree=27842564/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=27300 CPUtime=0.05 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) R 31981 31983 31869 0 -1 4202496 4468 0 0 0 5 0 0 0 20 0 1 0 332874248 27955200 4266 33554432000 4194304 5964350 140733663256144 140734013340504 4353552 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 6825 4266 299 433 0 4705 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27300
[startup+0.100348 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 31983
/proc/meminfo: memFree=27842564/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=31428 CPUtime=0.09 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) R 31981 31983 31869 0 -1 4202496 5774 0 0 0 8 1 0 0 20 0 1 0 332874248 32182272 5475 33554432000 4194304 5964350 140733663256144 140734013340504 4344726 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 7857 5475 363 433 0 5737 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31428
[startup+0.300237 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 31983
/proc/meminfo: memFree=27842564/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=45004 CPUtime=0.29 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) R 31981 31983 31869 0 -1 4202496 9467 0 0 0 28 1 0 0 20 0 1 0 332874248 46084096 9039 33554432000 4194304 5964350 140733663256144 140733663254616 4339289 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 11251 9040 854 433 0 9131 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45004
[startup+0.700191 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 31983
/proc/meminfo: memFree=27842564/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=146044 CPUtime=0.69 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 20048 0 0 0 65 4 0 0 20 0 2 0 332874248 149549056 17936 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 36511 17936 177 433 0 36075 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 146044
[startup+1.50022 s]
/proc/loadavg: 1.85 1.97 1.99 3/179 31985
/proc/meminfo: memFree=27726760/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=201208 CPUtime=1.49 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 38264 0 0 0 142 7 0 0 20 0 2 0 332874248 206036992 33140 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 50302 33140 192 433 0 49866 0
[pid=31983/tid=31985] ppid=31981 vsize=201208 CPUtime=0.82 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 22579 0 0 0 78 4 0 0 20 0 2 0 332874315 206036992 33140 33554432000 4194304 5964350 140733663256144 139641407990712 4410659 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) 201208
[startup+3.10021 s]
/proc/loadavg: 1.85 1.97 1.99 3/179 31985
/proc/meminfo: memFree=27707516/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=201208 CPUtime=3.09 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 38266 0 0 0 302 7 0 0 20 0 2 0 332874248 206036992 33142 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 50302 33142 194 433 0 49866 0
[pid=31983/tid=31985] ppid=31981 vsize=201208 CPUtime=2.42 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 22581 0 0 0 238 4 0 0 20 0 2 0 332874315 206036992 33142 33554432000 4194304 5964350 140733663256144 139641407990712 4403637 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) 201208
[startup+6.30023 s]
/proc/loadavg: 1.86 1.97 1.99 3/179 31985
/proc/meminfo: memFree=27699040/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=201208 CPUtime=6.28 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 38266 0 0 0 621 7 0 0 20 0 2 0 332874248 206036992 33142 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 50302 33142 194 433 0 49866 0
[pid=31983/tid=31985] ppid=31981 vsize=201208 CPUtime=5.61 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 22581 0 0 0 557 4 0 0 20 0 2 0 332874315 206036992 33142 33554432000 4194304 5964350 140733663256144 139641407990712 4222416 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) 201208
[startup+12.7002 s]
/proc/loadavg: 1.87 1.97 1.99 3/179 31985
/proc/meminfo: memFree=27651796/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=201208 CPUtime=12.68 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 45466 0 0 0 1260 8 0 0 20 0 2 0 332874248 206036992 40852 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 50302 40852 194 433 0 49866 0
[pid=31983/tid=31985] ppid=31981 vsize=201208 CPUtime=11.99 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 29781 0 0 0 1195 4 0 0 20 0 2 0 332874315 206036992 40852 33554432000 4194304 5964350 140733663256144 139641407990120 4403612 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) 201208
[startup+25.5002 s]
/proc/loadavg: 1.97 1.99 1.99 3/179 31985
/proc/meminfo: memFree=27616008/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=201208 CPUtime=25.47 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 45762 0 0 0 2539 8 0 0 20 0 2 0 332874248 206036992 41148 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 50302 41148 194 433 0 49866 0
[pid=31983/tid=31985] ppid=31981 vsize=201208 CPUtime=24.75 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 30077 0 0 0 2471 4 0 0 20 0 2 0 332874315 206036992 41148 33554432000 4194304 5964350 140733663256144 139641407990120 4403597 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 201208
[startup+51.1002 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 31985
/proc/meminfo: memFree=27577956/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=266744 CPUtime=51.06 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 55234 0 0 0 5095 11 0 0 20 0 2 0 332874248 273145856 50620 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 66686 50620 194 433 0 66250 0
[pid=31983/tid=31985] ppid=31981 vsize=266744 CPUtime=50.28 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 39549 0 0 0 5021 7 0 0 20 0 2 0 332874315 273145856 50620 33554432000 4194304 5964350 140733663256144 139641407989272 4389090 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 266744
[startup+102.307 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 31985
/proc/meminfo: memFree=27357776/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=332280 CPUtime=102.26 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 76918 0 0 0 10208 18 0 0 20 0 2 0 332874248 340254720 72304 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 83070 72304 194 433 0 82634 0
[pid=31983/tid=31985] ppid=31981 vsize=332280 CPUtime=101.35 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 61233 0 0 0 10120 15 0 0 20 0 2 0 332874315 340254720 72304 33554432000 4194304 5964350 140733663256144 139641407989272 4410659 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 332280
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 31985
/proc/meminfo: memFree=27075604/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=463352 CPUtime=162.24 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 102277 0 0 0 16196 28 0 0 20 0 2 0 332874248 474472448 97663 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 115838 97663 194 433 0 115402 0
[pid=31983/tid=31985] ppid=31981 vsize=463352 CPUtime=161.19 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 86592 0 0 0 16093 26 0 0 20 0 2 0 332874315 474472448 97663 33554432000 4194304 5964350 140733663256144 139641407989272 4389067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 463352
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 31985
/proc/meminfo: memFree=26962048/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=528888 CPUtime=222.22 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 130107 0 0 0 22185 37 0 0 20 0 2 0 332874248 541581312 125771 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 132222 125771 194 433 0 131786 0
[pid=31983/tid=31985] ppid=31981 vsize=528888 CPUtime=221.03 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 114422 0 0 0 22067 36 0 0 20 0 2 0 332874315 541581312 125771 33554432000 4194304 5964350 140733663256144 139641407989272 4389049 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 528888
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 31986
/proc/meminfo: memFree=26734288/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=659960 CPUtime=282.2 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 154989 0 0 0 28174 46 0 0 20 0 2 0 332874248 675799040 150707 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 164990 150707 194 433 0 164554 0
[pid=31983/tid=31985] ppid=31981 vsize=659960 CPUtime=280.86 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 139304 0 0 0 28040 46 0 0 20 0 2 0 332874315 675799040 150707 33554432000 4194304 5964350 140733663256144 139641407989272 4399926 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 659960
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31989
/proc/meminfo: memFree=26549804/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=725496 CPUtime=342.18 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 177637 0 0 0 34162 56 0 0 20 0 2 0 332874248 742907904 173359 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 181374 173359 194 433 0 180938 0
[pid=31983/tid=31985] ppid=31981 vsize=725496 CPUtime=340.7 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 161952 0 0 0 34013 57 0 0 20 0 2 0 332874315 742907904 173359 33554432000 4194304 5964350 140733663256144 139641407989752 4388724 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) 725496
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 31989
/proc/meminfo: memFree=26472404/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=791032 CPUtime=402.15 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 196387 0 0 0 40151 64 0 0 20 0 2 0 332874248 810016768 192564 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 197758 192564 194 433 0 197322 0
[pid=31983/tid=31985] ppid=31981 vsize=791032 CPUtime=400.52 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 180702 0 0 0 39986 66 0 0 20 0 2 0 332874315 810016768 192564 33554432000 4194304 5964350 140733663256144 139641407989752 4389080 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 791032
[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 31989
/proc/meminfo: memFree=26310616/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=922104 CPUtime=462.13 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31995
/proc/meminfo: memFree=24908988/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=2036216 CPUtime=1421.89 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 502759 0 0 0 142021 168 0 0 20 0 2 0 332874248 2085085184 500232 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 509054 500232 194 433 0 508618 0
[pid=31983/tid=31985] ppid=31981 vsize=2036216 CPUtime=1417.83 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 487074 0 0 0 141598 185 0 0 20 0 2 0 332874315 2085085184 500232 33554432000 4194304 5964350 140733663256144 139641407989752 4389005 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 2036216
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31996
/proc/meminfo: memFree=24908992/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=2036216 CPUtime=1481.87 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 502766 0 0 0 148019 168 0 0 20 0 2 0 332874248 2085085184 500232 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 509054 500232 194 433 0 508618 0
[pid=31983/tid=31985] ppid=31981 vsize=2036216 CPUtime=1477.67 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 487081 0 0 0 147581 186 0 0 20 0 2 0 332874315 2085085184 500232 33554432000 4194304 5964350 140733663256144 139641407989752 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 2036216
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31999
/proc/meminfo: memFree=24908860/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=2036216 CPUtime=1541.86 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 502767 0 0 0 154018 168 0 0 20 0 2 0 332874248 2085085184 500233 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 509054 500233 194 433 0 508618 0
[pid=31983/tid=31985] ppid=31981 vsize=2036216 CPUtime=1537.52 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 487082 0 0 0 153565 187 0 0 20 0 2 0 332874315 2085085184 500233 33554432000 4194304 5964350 140733663256144 139641407989752 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 2036216
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31999
/proc/meminfo: memFree=24908868/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=2036216 CPUtime=1601.85 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 502775 0 0 0 160017 168 0 0 20 0 2 0 332874248 2085085184 500241 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 509054 500241 194 433 0 508618 0
[pid=31983/tid=31985] ppid=31981 vsize=2036216 CPUtime=1597.36 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 487090 0 0 0 159548 188 0 0 20 0 2 0 332874315 2085085184 500241 33554432000 4194304 5964350 140733663256144 139641407989752 4399835 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 2036216
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 31999
/proc/meminfo: memFree=24908620/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=2036216 CPUtime=1661.85 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 502788 0 0 0 166017 168 0 0 20 0 2 0 332874248 2085085184 500254 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 509054 500254 194 433 0 508618 0
[pid=31983/tid=31985] ppid=31981 vsize=2036216 CPUtime=1657.21 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 487103 0 0 0 165532 189 0 0 20 0 2 0 332874315 2085085184 500254 33554432000 4194304 5964350 140733663256144 139641407989752 4389080 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 2036216
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 31999
/proc/meminfo: memFree=24908744/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=2036216 CPUtime=1721.84 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 502789 0 0 0 172016 168 0 0 20 0 2 0 332874248 2085085184 500255 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 509054 500255 194 433 0 508618 0
[pid=31983/tid=31985] ppid=31981 vsize=2036216 CPUtime=1717.06 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 487104 0 0 0 171516 190 0 0 20 0 2 0 332874315 2085085184 500255 33554432000 4194304 5964350 140733663256144 139641407989752 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 2036216
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 32001
/proc/meminfo: memFree=24908648/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=2036216 CPUtime=1781.83 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 502795 0 0 0 178015 168 0 0 20 0 2 0 332874248 2085085184 500261 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 509054 500261 194 433 0 508618 0
[pid=31983/tid=31985] ppid=31981 vsize=2036216 CPUtime=1776.91 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 487110 0 0 0 177501 190 0 0 20 0 2 0 332874315 2085085184 500261 33554432000 4194304 5964350 140733663256144 139641407989752 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 2036216
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 32001
/proc/meminfo: memFree=24908632/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=2036216 CPUtime=1791.43 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 502796 0 0 0 178975 168 0 0 20 0 2 0 332874248 2085085184 500262 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 509054 500262 194 433 0 508618 0
[pid=31983/tid=31985] ppid=31981 vsize=2036216 CPUtime=1786.49 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 487111 0 0 0 178458 191 0 0 20 0 2 0 332874315 2085085184 500262 33554432000 4194304 5964350 140733663256144 139641407989752 4388165 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 2036216
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 2/173 32028
/proc/meminfo: memFree=25930280/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=2036216 CPUtime=1794.63 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 502797 0 0 0 179295 168 0 0 20 0 2 0 332874248 2085085184 500263 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 509054 500263 194 433 0 508618 0
[pid=31983/tid=31985] ppid=31981 vsize=2036216 CPUtime=1789.68 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 487112 0 0 0 178777 191 0 0 20 0 2 0 332874315 2085085184 500263 33554432000 4194304 5964350 140733663256144 139641407989752 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 2036216
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/173 32028
/proc/meminfo: memFree=25930600/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=2036216 CPUtime=1797.82 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 502798 0 0 0 179614 168 0 0 20 0 2 0 332874248 2085085184 500264 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 509054 500264 194 433 0 508618 0
[pid=31983/tid=31985] ppid=31981 vsize=2036216 CPUtime=1792.87 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 487113 0 0 0 179096 191 0 0 20 0 2 0 332874315 2085085184 500264 33554432000 4194304 5964350 140733663256144 139641407989752 4389080 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 2036216
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 2/173 32028
/proc/meminfo: memFree=25930600/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=2036216 CPUtime=1798.62 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 502798 0 0 0 179694 168 0 0 20 0 2 0 332874248 2085085184 500264 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 509054 500264 194 433 0 508618 0
[pid=31983/tid=31985] ppid=31981 vsize=2036216 CPUtime=1793.66 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 487113 0 0 0 179175 191 0 0 20 0 2 0 332874315 2085085184 500264 33554432000 4194304 5964350 140733663256144 139641407989752 4222308 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (KiB) 2036216
[startup+1799.5 s]
/proc/loadavg: 1.92 1.99 1.99 2/173 32028
/proc/meminfo: memFree=25930724/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=2036216 CPUtime=1799.03 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 502799 0 0 0 179735 168 0 0 20 0 2 0 332874248 2085085184 500265 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 509054 500265 194 433 0 508618 0
[pid=31983/tid=31985] ppid=31981 vsize=2036216 CPUtime=1794.07 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 487114 0 0 0 179216 191 0 0 20 0 2 0 332874315 2085085184 500265 33554432000 4194304 5964350 140733663256144 139641407989752 4388992 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.03
Current children cumulated vsize (KiB) 2036216
[startup+1799.9 s]
/proc/loadavg: 1.92 1.99 1.99 2/173 32028
/proc/meminfo: memFree=25930724/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=2036216 CPUtime=1799.42 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 502799 0 0 0 179774 168 0 0 20 0 2 0 332874248 2085085184 500265 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 509054 500265 194 433 0 508618 0
[pid=31983/tid=31985] ppid=31981 vsize=2036216 CPUtime=1794.46 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 487114 0 0 0 179255 191 0 0 20 0 2 0 332874315 2085085184 500265 33554432000 4194304 5964350 140733663256144 139641407989752 4389084 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (KiB) 2036216
[startup+1800 s]
/proc/loadavg: 1.92 1.99 1.99 2/173 32028
/proc/meminfo: memFree=25930724/32873844 swapFree=7628/7628
[pid=31983] ppid=31981 vsize=2036216 CPUtime=1799.52 cores=1,3,5,7
/proc/31983/stat : 31983 (wbo1.72) S 31981 31983 31869 0 -1 4202496 502799 0 0 0 179784 168 0 0 20 0 2 0 332874248 2085085184 500265 33554432000 4194304 5964350 140733663256144 140733663255664 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 509054 500265 194 433 0 508618 0
[pid=31983/tid=31985] ppid=31981 vsize=2036216 CPUtime=1794.56 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (wbo1.72) R 31981 31983 31869 0 -1 4202560 487114 0 0 0 179265 191 0 0 20 0 2 0 332874315 2085085184 500265 33554432000 4194304 5964350 140733663256144 139641407989752 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (KiB) 2036216
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31983 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=291378
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=18693
# CPU time returned by wait4() is 1795.31
# 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.06
CPU time (s): 1799.52
CPU user time (s): 1797.84
CPU system time (s): 1.68
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 2036216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.29
system time used= 2.01869
maximum resident set size= 2001068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 502801
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= 309
involuntary context switches= 2104
runsolver used 9.69453 second user time and 11.7922 second system time
The end