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-3727182-1338671121/watcher-3727182-1338671121 -o /tmp/evaluation-result-3727182-1338671121/solver-3727182-1338671121 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727182-1338671121.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: 2.00 2.00 2.04 4/173 3928
/proc/meminfo: memFree=26058300/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=4120 CPUtime=0 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) R 3926 3928 3468 0 -1 4202496 486 0 0 0 0 0 0 0 20 0 1 0 333237555 4218880 439 33554432000 4194304 5964350 140736173935952 140737464832184 4344688 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 1030 439 165 433 0 538 0
[startup+0.104317 s]
/proc/loadavg: 2.00 2.00 2.04 4/173 3928
/proc/meminfo: memFree=26058300/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=85260 CPUtime=0.09 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 1830 0 0 0 9 0 0 0 20 0 2 0 333237555 87306240 1727 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 21315 1727 186 433 0 20879 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85260
[startup+0.2003 s]
/proc/loadavg: 2.00 2.00 2.04 4/173 3928
/proc/meminfo: memFree=26058300/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=85260 CPUtime=0.19 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 1944 0 0 0 19 0 0 0 20 0 2 0 333237555 87306240 1841 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 21315 1841 186 433 0 20879 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 85260
[startup+0.300253 s]
/proc/loadavg: 2.00 2.00 2.04 4/173 3928
/proc/meminfo: memFree=26058300/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=85260 CPUtime=0.29 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 2074 0 0 0 29 0 0 0 20 0 2 0 333237555 87306240 1971 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 21315 1971 186 433 0 20879 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85260
[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 2.04 4/173 3928
/proc/meminfo: memFree=26058300/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=85260 CPUtime=0.69 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 2580 0 0 0 69 0 0 0 20 0 2 0 333237555 87306240 2477 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 21315 2477 186 433 0 20879 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85260
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.04 4/177 3932
/proc/meminfo: memFree=26036668/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=85260 CPUtime=1.49 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 3365 0 0 0 149 0 0 0 20 0 2 0 333237555 87306240 3262 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 21315 3262 186 433 0 20879 0
[pid=3928/tid=3932] ppid=3926 vsize=85260 CPUtime=1.46 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 2215 0 0 0 146 0 0 0 20 0 2 0 333237557 87306240 3262 33554432000 4194304 5964350 140736173935952 140293024827192 4391663 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85260
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.04 4/177 3932
/proc/meminfo: memFree=26028584/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=85404 CPUtime=3.08 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 3903 0 0 0 308 0 0 0 20 0 2 0 333237555 87453696 3800 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 21351 3800 186 433 0 20915 0
[pid=3928/tid=3932] ppid=3926 vsize=85404 CPUtime=3.06 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 2753 0 0 0 306 0 0 0 20 0 2 0 333237557 87453696 3800 33554432000 4194304 5964350 140736173935952 140293024827384 4400011 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) 85404
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 4010
/proc/meminfo: memFree=26030824/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=85404 CPUtime=6.29 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 4577 0 0 0 628 1 0 0 20 0 2 0 333237555 87453696 4474 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 21351 4474 186 433 0 20915 0
[pid=3928/tid=3932] ppid=3926 vsize=85404 CPUtime=6.25 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 3427 0 0 0 625 0 0 0 20 0 2 0 333237557 87453696 4474 33554432000 4194304 5964350 140736173935952 140293024827192 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85404
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 4010
/proc/meminfo: memFree=26010968/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=85476 CPUtime=12.68 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 5933 0 0 0 1267 1 0 0 20 0 2 0 333237555 87527424 5907 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 21369 5907 186 433 0 20933 0
[pid=3928/tid=3932] ppid=3926 vsize=85476 CPUtime=12.62 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 4783 0 0 0 1261 1 0 0 20 0 2 0 333237557 87527424 5907 33554432000 4194304 5964350 140736173935952 140293024827192 4400003 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) 85476
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 4010
/proc/meminfo: memFree=25990104/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=85476 CPUtime=25.47 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 8295 0 0 0 2545 2 0 0 20 0 2 0 333237555 87527424 8311 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 21369 8311 186 433 0 20933 0
[pid=3928/tid=3932] ppid=3926 vsize=85476 CPUtime=25.38 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 7145 0 0 0 2536 2 0 0 20 0 2 0 333237557 87527424 8311 33554432000 4194304 5964350 140736173935952 140293024827432 4381584 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 85476
[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.04 3/177 4049
/proc/meminfo: memFree=25934912/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=85728 CPUtime=51.07 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 11223 0 0 0 5102 5 0 0 20 0 2 0 333237555 87785472 11932 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 21432 11932 186 433 0 20996 0
[pid=3928/tid=3932] ppid=3926 vsize=85728 CPUtime=50.92 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 10073 0 0 0 5087 5 0 0 20 0 2 0 333237557 87785472 11932 33554432000 4194304 5964350 140736173935952 140293024827192 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 85728
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.03 3/177 4049
/proc/meminfo: memFree=25891584/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=88192 CPUtime=102.27 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 14569 0 0 0 10220 7 0 0 20 0 2 0 333237555 90308608 15278 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 22048 15278 186 433 0 21612 0
[pid=3928/tid=3932] ppid=3926 vsize=88192 CPUtime=101.99 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 13419 0 0 0 10192 7 0 0 20 0 2 0 333237557 90308608 15278 33554432000 4194304 5964350 140736173935952 140293024827432 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 88192
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/177 4049
/proc/meminfo: memFree=25843304/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=156752 CPUtime=162.23 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 19368 0 0 0 16213 10 0 0 20 0 2 0 333237555 160514048 20219 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 39188 20219 186 433 0 38752 0
[pid=3928/tid=3932] ppid=3926 vsize=156752 CPUtime=161.81 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 18218 0 0 0 16169 12 0 0 20 0 2 0 333237557 160514048 20219 33554432000 4194304 5964350 140736173935952 140293024827384 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 156752
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 4049
/proc/meminfo: memFree=25773244/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=159800 CPUtime=222.23 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 21525 0 0 0 22212 11 0 0 20 0 2 0 333237555 163635200 22376 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 39950 22376 186 433 0 39514 0
[pid=3928/tid=3932] ppid=3926 vsize=159800 CPUtime=221.66 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 20375 0 0 0 22152 14 0 0 20 0 2 0 333237557 163635200 22376 33554432000 4194304 5964350 140736173935952 140293024827432 4399958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 159800
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 4052
/proc/meminfo: memFree=25709064/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=161312 CPUtime=282.21 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 24236 0 0 0 28208 13 0 0 20 0 2 0 333237555 165183488 25094 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 40328 25094 186 433 0 39892 0
[pid=3928/tid=3932] ppid=3926 vsize=161312 CPUtime=281.49 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 23086 0 0 0 28132 17 0 0 20 0 2 0 333237557 165183488 25094 33554432000 4194304 5964350 140736173935952 140293024827432 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 161312
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 4053
/proc/meminfo: memFree=25681212/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=162428 CPUtime=342.2 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 26053 0 0 0 34205 15 0 0 20 0 2 0 333237555 166326272 26922 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 40607 26922 186 433 0 40171 0
[pid=3928/tid=3932] ppid=3926 vsize=162428 CPUtime=341.33 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 24903 0 0 0 34113 20 0 0 20 0 2 0 333237557 166326272 26922 33554432000 4194304 5964350 140736173935952 140293024827432 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 162428
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 4053
/proc/meminfo: memFree=25658828/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=164804 CPUtime=402.19 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 28366 0 0 0 40201 18 0 0 20 0 2 0 333237555 168759296 29235 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 41201 29235 186 433 0 40765 0
[pid=3928/tid=3932] ppid=3926 vsize=164804 CPUtime=401.17 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 27216 0 0 0 40093 24 0 0 20 0 2 0 333237557 168759296 29235 33554432000 4194304 5964350 140736173935952 140293024827192 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 164804
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4053
/proc/meminfo: memFree=25636568/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=165776 CPUtime=462.18 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4059
/proc/meminfo: memFree=25421016/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=315460 CPUtime=1361.97 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 67245 0 0 0 136147 50 0 0 20 0 2 0 333237555 323031040 68234 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 78865 68234 186 433 0 78429 0
[pid=3928/tid=3932] ppid=3926 vsize=315460 CPUtime=1358.58 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 66095 0 0 0 135788 70 0 0 20 0 2 0 333237557 323031040 68234 33554432000 4194304 5964350 140736173935952 140293024827192 4400029 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 315460
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4059
/proc/meminfo: memFree=25406756/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=316828 CPUtime=1421.98 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 67834 0 0 0 142147 51 0 0 20 0 2 0 333237555 324431872 68823 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 79207 68823 186 433 0 78771 0
[pid=3928/tid=3932] ppid=3926 vsize=316828 CPUtime=1418.43 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 66684 0 0 0 141772 71 0 0 20 0 2 0 333237557 324431872 68823 33554432000 4194304 5964350 140736173935952 140293024827192 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 316828
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4062
/proc/meminfo: memFree=25381836/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=318052 CPUtime=1481.94 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 70800 0 0 0 148141 53 0 0 20 0 2 0 333237555 325685248 71891 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 79513 71891 186 433 0 79077 0
[pid=3928/tid=3932] ppid=3926 vsize=318052 CPUtime=1478.25 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 69650 0 0 0 147750 75 0 0 20 0 2 0 333237557 325685248 71891 33554432000 4194304 5964350 140736173935952 140293024827384 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 318052
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4063
/proc/meminfo: memFree=25359300/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=320140 CPUtime=1541.95 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 73681 0 0 0 154139 56 0 0 20 0 2 0 333237555 327823360 74772 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 80035 74772 186 433 0 79599 0
[pid=3928/tid=3932] ppid=3926 vsize=320140 CPUtime=1538.1 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 72531 0 0 0 153732 78 0 0 20 0 2 0 333237557 327823360 74772 33554432000 4194304 5964350 140736173935952 140293024827192 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 320140
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4063
/proc/meminfo: memFree=25349628/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=321416 CPUtime=1601.93 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 73958 0 0 0 160137 56 0 0 20 0 2 0 333237555 329129984 75049 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 80354 75049 186 433 0 79918 0
[pid=3928/tid=3932] ppid=3926 vsize=321416 CPUtime=1597.94 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 72808 0 0 0 159714 80 0 0 20 0 2 0 333237557 329129984 75049 33554432000 4194304 5964350 140736173935952 140293024827432 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 321416
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4063
/proc/meminfo: memFree=25330776/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=387456 CPUtime=1661.92 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 77532 0 0 0 166132 60 0 0 20 0 2 0 333237555 396754944 78623 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 96864 78623 186 433 0 96428 0
[pid=3928/tid=3932] ppid=3926 vsize=387456 CPUtime=1657.78 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 76382 0 0 0 165693 85 0 0 20 0 2 0 333237557 396754944 78623 33554432000 4194304 5964350 140736173935952 140293024827432 4392802 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 387456
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4064
/proc/meminfo: memFree=25327928/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=388356 CPUtime=1721.91 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 77913 0 0 0 172131 60 0 0 20 0 2 0 333237555 397676544 79004 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 97089 79004 186 433 0 96653 0
[pid=3928/tid=3932] ppid=3926 vsize=388356 CPUtime=1717.62 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 76763 0 0 0 171676 86 0 0 20 0 2 0 333237557 397676544 79004 33554432000 4194304 5964350 140736173935952 140293024827192 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 388356
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4064
/proc/meminfo: memFree=25306856/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=389364 CPUtime=1781.9 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 79489 0 0 0 178128 62 0 0 20 0 2 0 333237555 398708736 80580 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 97341 80580 186 433 0 96905 0
[pid=3928/tid=3932] ppid=3926 vsize=389364 CPUtime=1777.46 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 78339 0 0 0 177658 88 0 0 20 0 2 0 333237557 398708736 80580 33554432000 4194304 5964350 140736173935952 140293024827192 4388125 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 389364
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4064
/proc/meminfo: memFree=25304500/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=389508 CPUtime=1791.61 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 79532 0 0 0 179099 62 0 0 20 0 2 0 333237555 398856192 80623 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 97377 80623 186 433 0 96941 0
[pid=3928/tid=3932] ppid=3926 vsize=389508 CPUtime=1787.15 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 78382 0 0 0 178627 88 0 0 20 0 2 0 333237557 398856192 80623 33554432000 4194304 5964350 140736173935952 140293024827192 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 389508
[startup+1795.2 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4064
/proc/meminfo: memFree=25303632/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=389580 CPUtime=1794.81 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 79537 0 0 0 179419 62 0 0 20 0 2 0 333237555 398929920 80628 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 97395 80628 186 433 0 96959 0
[pid=3928/tid=3932] ppid=3926 vsize=389580 CPUtime=1790.34 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 78387 0 0 0 178946 88 0 0 20 0 2 0 333237557 398929920 80628 33554432000 4194304 5964350 140736173935952 140293024827432 4400707 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 389580
[startup+1798.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4064
/proc/meminfo: memFree=25302888/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=389868 CPUtime=1798 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 79591 0 0 0 179738 62 0 0 20 0 2 0 333237555 399224832 80682 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 97467 80682 186 433 0 97031 0
[pid=3928/tid=3932] ppid=3926 vsize=389868 CPUtime=1793.52 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 78441 0 0 0 179264 88 0 0 20 0 2 0 333237557 399224832 80682 33554432000 4194304 5964350 140736173935952 140293024827432 4400321 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 389868
[startup+1799.2 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4064
/proc/meminfo: memFree=25302764/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=389868 CPUtime=1798.8 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 79591 0 0 0 179818 62 0 0 20 0 2 0 333237555 399224832 80682 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 97467 80682 186 433 0 97031 0
[pid=3928/tid=3932] ppid=3926 vsize=389868 CPUtime=1794.32 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 78441 0 0 0 179344 88 0 0 20 0 2 0 333237557 399224832 80682 33554432000 4194304 5964350 140736173935952 140293024827432 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.8
Current children cumulated vsize (KiB) 389868
[startup+1799.6 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4064
/proc/meminfo: memFree=25302516/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=390084 CPUtime=1799.21 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 79627 0 0 0 179859 62 0 0 20 0 2 0 333237555 399446016 80718 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 97521 80718 186 433 0 97085 0
[pid=3928/tid=3932] ppid=3926 vsize=390084 CPUtime=1794.73 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 78477 0 0 0 179385 88 0 0 20 0 2 0 333237557 399446016 80718 33554432000 4194304 5964350 140736173935952 140293024827432 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.21
Current children cumulated vsize (KiB) 390084
[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4064
/proc/meminfo: memFree=25302516/32873852 swapFree=6856/6856
[pid=3928] ppid=3926 vsize=390084 CPUtime=1799.6 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 3468 0 -1 4202496 79632 0 0 0 179898 62 0 0 20 0 2 0 333237555 399446016 80723 33554432000 4194304 5964350 140736173935952 140736173935472 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3928/statm: 97521 80723 186 433 0 97085 0
[pid=3928/tid=3932] ppid=3926 vsize=390084 CPUtime=1795.12 cores=1,3,5,7
/proc/3928/task/3932/stat : 3932 (wbo1.72) R 3926 3928 3468 0 -1 4202560 78482 0 0 0 179424 88 0 0 20 0 2 0 333237557 399446016 80723 33554432000 4194304 5964350 140736173935952 140293024827432 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (KiB) 390084
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3928 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=263230
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=897863
# CPU time returned by wait4() is 1795.16
# while last known CPU time is 1799.6
#
# 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.6
CPU user time (s): 1798.98
CPU system time (s): 0.62
CPU usage (%): 99.9773
Max. virtual memory (cumulated for all children) (KiB): 390084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.26
system time used= 0.897863
maximum resident set size= 322904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79635
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= 127
involuntary context switches= 1851
runsolver used 3.81742 second user time and 8.86265 second system time
The end