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-3727966-1338667492/watcher-3727966-1338667492 -o /tmp/evaluation-result-3727966-1338667492/solver-3727966-1338667492 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727966-1338667492.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 31932
/proc/meminfo: memFree=27927560/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=7744 CPUtime=0 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) R 31930 31932 31869 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 332873665 7929856 578 33554432000 4194304 5964350 140735998116448 140736987665048 4344195 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 1936 578 164 433 0 691 0
[startup+0.028238 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 31932
/proc/meminfo: memFree=27927560/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=13920 CPUtime=0.02 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) R 31930 31932 31869 0 -1 4202496 2057 0 0 0 2 0 0 0 20 0 1 0 332873665 14254080 2010 33554432000 4194304 5964350 140735998116448 140736987665048 5136410 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 3480 2012 219 433 0 2235 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13920
[startup+0.100316 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 31932
/proc/meminfo: memFree=27927560/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=21384 CPUtime=0.09 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) R 31930 31932 31869 0 -1 4202496 4197 0 0 0 9 0 0 0 20 0 1 0 332873665 21897216 4036 33554432000 4194304 5964350 140735998116448 140735998115048 5136410 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 5346 4037 407 433 0 4101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21384
[startup+0.300167 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 31932
/proc/meminfo: memFree=27927560/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=113900 CPUtime=0.29 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 10167 0 0 0 28 1 0 0 20 0 2 0 332873665 116633600 9197 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 28475 9197 177 433 0 28039 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 113900
[startup+0.700164 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 31932
/proc/meminfo: memFree=27927560/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=109276 CPUtime=0.69 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 19636 0 0 0 66 3 0 0 20 0 2 0 332873665 111898624 16663 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 27319 16663 193 433 0 26883 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 109276
[startup+1.50024 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 31934
/proc/meminfo: memFree=27859740/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=109276 CPUtime=1.48 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 23104 0 0 0 145 3 0 0 20 0 2 0 332873665 111898624 20130 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 27319 20130 194 433 0 26883 0
[pid=31932/tid=31934] ppid=31930 vsize=109276 CPUtime=1.19 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 15088 0 0 0 117 2 0 0 20 0 2 0 332873693 111898624 20130 33554432000 4194304 5964350 140735998116448 140513944435640 5122344 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 109276
[startup+3.10027 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 31934
/proc/meminfo: memFree=27844356/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=109276 CPUtime=3.08 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 23104 0 0 0 305 3 0 0 20 0 2 0 332873665 111898624 20130 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 27319 20130 194 433 0 26883 0
[pid=31932/tid=31934] ppid=31930 vsize=109276 CPUtime=2.79 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 15088 0 0 0 277 2 0 0 20 0 2 0 332873693 111898624 20130 33554432000 4194304 5964350 140735998116448 140513944435048 4403584 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 109276
[startup+6.30026 s]
/proc/loadavg: 1.85 1.97 1.99 3/179 31978
/proc/meminfo: memFree=27840680/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=109276 CPUtime=6.28 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 23136 0 0 0 625 3 0 0 20 0 2 0 332873665 111898624 20162 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 27319 20162 194 433 0 26883 0
[pid=31932/tid=31934] ppid=31930 vsize=109276 CPUtime=5.98 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 15120 0 0 0 596 2 0 0 20 0 2 0 332873693 111898624 20162 33554432000 4194304 5964350 140735998116448 140513944435048 4389090 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 109276
[startup+12.7003 s]
/proc/loadavg: 1.86 1.97 1.99 3/179 31985
/proc/meminfo: memFree=27696808/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=174812 CPUtime=12.68 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 26915 0 0 0 1263 5 0 0 20 0 2 0 332873665 179007488 23941 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 43703 23941 194 433 0 43267 0
[pid=31932/tid=31934] ppid=31930 vsize=174812 CPUtime=12.36 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 18899 0 0 0 1231 5 0 0 20 0 2 0 332873693 179007488 23941 33554432000 4194304 5964350 140735998116448 140513944434200 4389084 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 174812
[startup+25.5003 s]
/proc/loadavg: 1.96 1.99 1.99 3/179 31985
/proc/meminfo: memFree=27636220/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=174812 CPUtime=25.48 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 34692 0 0 0 2539 9 0 0 20 0 2 0 332873665 179007488 31724 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 43703 31724 194 433 0 43267 0
[pid=31932/tid=31934] ppid=31930 vsize=174812 CPUtime=25.12 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 26676 0 0 0 2504 8 0 0 20 0 2 0 332873693 179007488 31724 33554432000 4194304 5964350 140735998116448 140513944434200 4389049 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 174812
[startup+51.1003 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 31985
/proc/meminfo: memFree=27587148/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=174812 CPUtime=51.07 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 39363 0 0 0 5097 10 0 0 20 0 2 0 332873665 179007488 36441 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 43703 36441 194 433 0 43267 0
[pid=31932/tid=31934] ppid=31930 vsize=174812 CPUtime=50.65 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 31347 0 0 0 5056 9 0 0 20 0 2 0 332873693 179007488 36441 33554432000 4194304 5964350 140735998116448 140513944435048 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 174812
[startup+102.307 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 31985
/proc/meminfo: memFree=27381848/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=305884 CPUtime=102.24 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 68738 0 0 0 10202 22 0 0 20 0 2 0 332873665 313225216 65951 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 76471 65951 194 433 0 76035 0
[pid=31932/tid=31934] ppid=31930 vsize=305884 CPUtime=101.7 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 60722 0 0 0 10148 22 0 0 20 0 2 0 332873693 313225216 65951 33554432000 4194304 5964350 140735998116448 140513944434680 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 305884
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 31985
/proc/meminfo: memFree=27101768/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=502492 CPUtime=162.2 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 113695 0 0 0 16180 40 0 0 20 0 2 0 332873665 514551808 111636 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 125623 111636 194 433 0 125187 0
[pid=31932/tid=31934] ppid=31930 vsize=502492 CPUtime=161.51 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 105679 0 0 0 16109 42 0 0 20 0 2 0 332873693 514551808 111636 33554432000 4194304 5964350 140735998116448 140513944434680 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 502492
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 31985
/proc/meminfo: memFree=26973720/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=502492 CPUtime=222.19 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 117033 0 0 0 22177 42 0 0 20 0 2 0 332873665 514551808 114974 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 125623 114974 194 433 0 125187 0
[pid=31932/tid=31934] ppid=31930 vsize=502492 CPUtime=221.35 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 109017 0 0 0 22091 44 0 0 20 0 2 0 332873693 514551808 114974 33554432000 4194304 5964350 140735998116448 140513944434680 4403591 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 502492
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 31986
/proc/meminfo: memFree=26758732/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=633564 CPUtime=282.19 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 145551 0 0 0 28164 55 0 0 20 0 2 0 332873665 648769536 143492 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 158391 143492 194 433 0 157955 0
[pid=31932/tid=31934] ppid=31930 vsize=633564 CPUtime=281.2 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 137535 0 0 0 28062 58 0 0 20 0 2 0 332873693 648769536 143492 33554432000 4194304 5964350 140735998116448 140513944434200 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 633564
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31989
/proc/meminfo: memFree=26560236/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=700724 CPUtime=342.18 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 172406 0 0 0 34155 63 0 0 20 0 2 0 332873665 717541376 170347 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 175181 170347 194 433 0 174745 0
[pid=31932/tid=31934] ppid=31930 vsize=700724 CPUtime=341.04 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 164390 0 0 0 34037 67 0 0 20 0 2 0 332873693 717541376 170347 33554432000 4194304 5964350 140735998116448 140513944434680 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 700724
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 31989
/proc/meminfo: memFree=26480108/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=700724 CPUtime=402.17 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 172459 0 0 0 40154 63 0 0 20 0 2 0 332873665 717541376 170400 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 175181 170400 194 433 0 174745 0
[pid=31932/tid=31934] ppid=31930 vsize=700724 CPUtime=400.88 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 164443 0 0 0 40020 68 0 0 20 0 2 0 332873693 717541376 170400 33554432000 4194304 5964350 140735998116448 140513944434488 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 700724
[startup+462.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 31989
/proc/meminfo: memFree=26325880/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=831796 CPUtime=462.16 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31995
/proc/meminfo: memFree=24908880/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=1026780 CPUtime=1421.95 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 254840 0 0 0 142103 92 0 0 20 0 2 0 332873665 1051422720 252623 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 256695 252623 194 433 0 256259 0
[pid=31932/tid=31934] ppid=31930 vsize=1026780 CPUtime=1418.17 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 246824 0 0 0 141705 112 0 0 20 0 2 0 332873693 1051422720 252623 33554432000 4194304 5964350 140735998116448 140513944435224 4403290 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1026780
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31996
/proc/meminfo: memFree=24908992/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=1026780 CPUtime=1481.93 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 254840 0 0 0 148101 92 0 0 20 0 2 0 332873665 1051422720 252623 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 256695 252623 194 433 0 256259 0
[pid=31932/tid=31934] ppid=31930 vsize=1026780 CPUtime=1478.01 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 246824 0 0 0 147688 113 0 0 20 0 2 0 332873693 1051422720 252623 33554432000 4194304 5964350 140735998116448 140513944435224 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1026780
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31999
/proc/meminfo: memFree=24908860/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=1026780 CPUtime=1541.92 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 254840 0 0 0 154100 92 0 0 20 0 2 0 332873665 1051422720 252623 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 256695 252623 194 433 0 256259 0
[pid=31932/tid=31934] ppid=31930 vsize=1026780 CPUtime=1537.85 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 246824 0 0 0 153671 114 0 0 20 0 2 0 332873693 1051422720 252623 33554432000 4194304 5964350 140735998116448 140513944435224 4387871 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1026780
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31999
/proc/meminfo: memFree=24908868/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=1026780 CPUtime=1601.91 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 254840 0 0 0 160099 92 0 0 20 0 2 0 332873665 1051422720 252623 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 256695 252623 194 433 0 256259 0
[pid=31932/tid=31934] ppid=31930 vsize=1026780 CPUtime=1597.7 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 246824 0 0 0 159655 115 0 0 20 0 2 0 332873693 1051422720 252623 33554432000 4194304 5964350 140735998116448 140513944435224 4403296 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1026780
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 31999
/proc/meminfo: memFree=24908744/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=1026780 CPUtime=1661.91 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 254840 0 0 0 166099 92 0 0 20 0 2 0 332873665 1051422720 252623 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 256695 252623 194 433 0 256259 0
[pid=31932/tid=31934] ppid=31930 vsize=1026780 CPUtime=1657.54 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 246824 0 0 0 165638 116 0 0 20 0 2 0 332873693 1051422720 252623 33554432000 4194304 5964350 140735998116448 140513944435224 4392725 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1026780
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 31999
/proc/meminfo: memFree=24908744/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=1026780 CPUtime=1721.9 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 254840 0 0 0 172098 92 0 0 20 0 2 0 332873665 1051422720 252623 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 256695 252623 194 433 0 256259 0
[pid=31932/tid=31934] ppid=31930 vsize=1026780 CPUtime=1717.39 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 246824 0 0 0 171622 117 0 0 20 0 2 0 332873693 1051422720 252623 33554432000 4194304 5964350 140735998116448 140513944435224 4222324 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1026780
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 32001
/proc/meminfo: memFree=24908540/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=1026780 CPUtime=1781.89 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 254840 0 0 0 178097 92 0 0 20 0 2 0 332873665 1051422720 252628 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 256695 252628 194 433 0 256259 0
[pid=31932/tid=31934] ppid=31930 vsize=1026780 CPUtime=1777.23 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 246824 0 0 0 177605 118 0 0 20 0 2 0 332873693 1051422720 252628 33554432000 4194304 5964350 140735998116448 140513944435224 4222317 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1026780
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 32001
/proc/meminfo: memFree=24908524/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=1026780 CPUtime=1791.49 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 254840 0 0 0 179057 92 0 0 20 0 2 0 332873665 1051422720 252628 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 256695 252628 194 433 0 256259 0
[pid=31932/tid=31934] ppid=31930 vsize=1026780 CPUtime=1786.81 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 246824 0 0 0 178563 118 0 0 20 0 2 0 332873693 1051422720 252628 33554432000 4194304 5964350 140735998116448 140513944435224 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 1026780
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 32001
/proc/meminfo: memFree=24908632/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=1026780 CPUtime=1794.69 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 254840 0 0 0 179377 92 0 0 20 0 2 0 332873665 1051422720 252640 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 256695 252640 194 433 0 256259 0
[pid=31932/tid=31934] ppid=31930 vsize=1026780 CPUtime=1790 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 246824 0 0 0 178882 118 0 0 20 0 2 0 332873693 1051422720 252640 33554432000 4194304 5964350 140735998116448 140513944435224 4403647 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 1026780
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 32001
/proc/meminfo: memFree=24908632/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=1026780 CPUtime=1797.88 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 254840 0 0 0 179696 92 0 0 20 0 2 0 332873665 1051422720 252640 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 256695 252640 194 433 0 256259 0
[pid=31932/tid=31934] ppid=31930 vsize=1026780 CPUtime=1793.19 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 246824 0 0 0 179201 118 0 0 20 0 2 0 332873693 1051422720 252640 33554432000 4194304 5964350 140735998116448 140513944435224 4403296 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 1026780
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 32001
/proc/meminfo: memFree=24908632/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=1026780 CPUtime=1798.68 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 254840 0 0 0 179776 92 0 0 20 0 2 0 332873665 1051422720 252640 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 256695 252640 194 433 0 256259 0
[pid=31932/tid=31934] ppid=31930 vsize=1026780 CPUtime=1793.99 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 246824 0 0 0 179281 118 0 0 20 0 2 0 332873693 1051422720 252640 33554432000 4194304 5964350 140735998116448 140513944435224 4403597 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 1026780
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 32001
/proc/meminfo: memFree=24908632/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=1026780 CPUtime=1799.09 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 254840 0 0 0 179817 92 0 0 20 0 2 0 332873665 1051422720 252640 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 256695 252640 194 433 0 256259 0
[pid=31932/tid=31934] ppid=31930 vsize=1026780 CPUtime=1794.39 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 246824 0 0 0 179321 118 0 0 20 0 2 0 332873693 1051422720 252640 33554432000 4194304 5964350 140735998116448 140513944435224 4403296 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 1026780
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 32001
/proc/meminfo: memFree=24908632/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=1026780 CPUtime=1799.48 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 254840 0 0 0 179856 92 0 0 20 0 2 0 332873665 1051422720 252640 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 256695 252640 194 433 0 256259 0
[pid=31932/tid=31934] ppid=31930 vsize=1026780 CPUtime=1794.78 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 246824 0 0 0 179360 118 0 0 20 0 2 0 332873693 1051422720 252640 33554432000 4194304 5964350 140735998116448 140513944435224 4403637 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 1026780
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 32001
/proc/meminfo: memFree=24908632/32873844 swapFree=7628/7628
[pid=31932] ppid=31930 vsize=1026780 CPUtime=1799.58 cores=0,2,4,6
/proc/31932/stat : 31932 (wbo1.72) S 31930 31932 31869 0 -1 4202496 254840 0 0 0 179866 92 0 0 20 0 2 0 332873665 1051422720 252640 33554432000 4194304 5964350 140735998116448 140735998115968 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31932/statm: 256695 252640 194 433 0 256259 0
[pid=31932/tid=31934] ppid=31930 vsize=1026780 CPUtime=1794.88 cores=0,2,4,6
/proc/31932/task/31934/stat : 31934 (wbo1.72) R 31930 31932 31869 0 -1 4202560 246824 0 0 0 179370 118 0 0 20 0 2 0 332873693 1051422720 252640 33554432000 4194304 5964350 140735998116448 140513944435224 4403420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 1026780
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31932 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=985272
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=217814
# CPU time returned by wait4() is 1795.2
# while last known CPU time is 1799.58
#
# 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.58
CPU user time (s): 1798.66
CPU system time (s): 0.92
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 1028404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.99
system time used= 1.21781
maximum resident set size= 1010880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254842
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= 176
involuntary context switches= 1985
runsolver used 2.75858 second user time and 7.2619 second system time
The end