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-3704400-1338105335/watcher-3704400-1338105335 -o /tmp/evaluation-result-3704400-1338105335/solver-3704400-1338105335 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704400-1338105335.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: 2.02 2.01 2.00 3/177 20853
/proc/meminfo: memFree=28442736/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=5496 CPUtime=0 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) R 20851 20853 17458 0 -1 4202496 571 0 0 0 0 0 0 0 20 0 1 0 276658028 5627904 523 33554432000 4194304 5965102 140734155767584 140733868415320 4396446 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 1374 523 165 433 0 626 0
[startup+0.0667619 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20853
/proc/meminfo: memFree=28442736/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=10944 CPUtime=0.06 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) R 20851 20853 17458 0 -1 4202496 2005 0 0 0 6 0 0 0 20 0 1 0 276658028 11206656 1957 33554432000 4194304 5965102 140734155767584 140734155765048 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 2736 1957 369 433 0 1988 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10944
[startup+0.100195 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20853
/proc/meminfo: memFree=28442736/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=93788 CPUtime=0.09 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 3232 0 0 0 9 0 0 0 20 0 2 0 276658028 96038912 2872 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 23447 2872 176 433 0 23011 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 93788
[startup+0.300159 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20853
/proc/meminfo: memFree=28442736/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=93624 CPUtime=0.28 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 5865 0 0 0 28 0 0 0 20 0 2 0 276658028 95870976 5026 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 23406 5026 190 433 0 22970 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 93624
[startup+0.700123 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20853
/proc/meminfo: memFree=28442736/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=93624 CPUtime=0.68 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 6202 0 0 0 68 0 0 0 20 0 2 0 276658028 95870976 5363 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 23406 5363 190 433 0 22970 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 93624
[startup+1.50026 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20855
/proc/meminfo: memFree=28421292/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=93624 CPUtime=1.47 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 6875 0 0 0 147 0 0 0 20 0 2 0 276658028 95870976 6036 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 23406 6036 190 433 0 22970 0
[pid=20853/tid=20855] ppid=20851 vsize=93624 CPUtime=1.38 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 3924 0 0 0 138 0 0 0 20 0 2 0 276658038 95870976 6036 33554432000 4194304 5965102 140734155767584 139829158938616 4401058 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 93624
[startup+3.10026 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20855
/proc/meminfo: memFree=28417904/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=93624 CPUtime=3.08 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 8220 0 0 0 307 1 0 0 20 0 2 0 276658028 95870976 7381 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 23406 7381 190 433 0 22970 0
[pid=20853/tid=20855] ppid=20851 vsize=93624 CPUtime=2.98 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 5269 0 0 0 298 0 0 0 20 0 2 0 276658038 95870976 7381 33554432000 4194304 5965102 140734155767584 139829158938616 4401107 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 93624
[startup+6.30029 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20855
/proc/meminfo: memFree=28407372/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=93624 CPUtime=6.28 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 10430 0 0 0 627 1 0 0 20 0 2 0 276658028 95870976 9591 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 23406 9591 190 433 0 22970 0
[pid=20853/tid=20855] ppid=20851 vsize=93624 CPUtime=6.17 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 7479 0 0 0 616 1 0 0 20 0 2 0 276658038 95870976 9591 33554432000 4194304 5965102 140734155767584 139829158938424 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 93624
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20855
/proc/meminfo: memFree=28400936/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=93624 CPUtime=12.68 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 11236 0 0 0 1266 2 0 0 20 0 2 0 276658028 95870976 10397 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 23406 10397 190 433 0 22970 0
[pid=20853/tid=20855] ppid=20851 vsize=93624 CPUtime=12.55 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 8285 0 0 0 1254 1 0 0 20 0 2 0 276658038 95870976 10397 33554432000 4194304 5965102 140734155767584 139829158938616 4400955 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 93624
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20855
/proc/meminfo: memFree=28382972/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=93624 CPUtime=25.47 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 16054 0 0 0 2544 3 0 0 20 0 2 0 276658028 95870976 15215 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 23406 15215 190 433 0 22970 0
[pid=20853/tid=20855] ppid=20851 vsize=93624 CPUtime=25.32 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 13103 0 0 0 2529 3 0 0 20 0 2 0 276658038 95870976 15215 33554432000 4194304 5965102 140734155767584 139829158938616 4401107 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 93624
[startup+51.1002 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 20855
/proc/meminfo: memFree=28349692/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=159160 CPUtime=51.07 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 24028 0 0 0 5101 6 0 0 20 0 2 0 276658028 162979840 23189 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 39790 23189 190 433 0 39354 0
[pid=20853/tid=20855] ppid=20851 vsize=159160 CPUtime=50.85 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 21077 0 0 0 5079 6 0 0 20 0 2 0 276658038 162979840 23189 33554432000 4194304 5965102 140734155767584 139829158938616 4382647 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 159160
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20855
/proc/meminfo: memFree=28290080/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=225420 CPUtime=102.27 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 38937 0 0 0 10216 11 0 0 20 0 2 0 276658028 230830080 38098 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 56355 38098 190 433 0 55919 0
[pid=20853/tid=20855] ppid=20851 vsize=225420 CPUtime=101.93 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 35986 0 0 0 10182 11 0 0 20 0 2 0 276658038 230830080 38098 33554432000 4194304 5965102 140734155767584 139829158938616 4401852 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 225420
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20855
/proc/meminfo: memFree=28285368/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=225780 CPUtime=162.26 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 40085 0 0 0 16215 11 0 0 20 0 2 0 276658028 231198720 39246 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 56445 39246 190 433 0 56009 0
[pid=20853/tid=20855] ppid=20851 vsize=225780 CPUtime=161.77 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 37134 0 0 0 16164 13 0 0 20 0 2 0 276658038 231198720 39246 33554432000 4194304 5965102 140734155767584 139829158938424 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 225780
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20855
/proc/meminfo: memFree=28270984/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=225780 CPUtime=222.24 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 43663 0 0 0 22212 12 0 0 20 0 2 0 276658028 231198720 42824 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 56445 42824 190 433 0 56009 0
[pid=20853/tid=20855] ppid=20851 vsize=225780 CPUtime=221.62 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 40712 0 0 0 22147 15 0 0 20 0 2 0 276658038 231198720 42824 33554432000 4194304 5965102 140734155767584 139829158938616 4404704 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 225780
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20858
/proc/meminfo: memFree=28193356/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=291316 CPUtime=282.21 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 60495 0 0 0 28203 18 0 0 20 0 2 0 276658028 298307584 59659 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 72829 59659 190 433 0 72393 0
[pid=20853/tid=20855] ppid=20851 vsize=291316 CPUtime=281.44 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 57544 0 0 0 28122 22 0 0 20 0 2 0 276658038 298307584 59659 33554432000 4194304 5965102 140734155767584 139829158938616 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 291316
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20882
/proc/meminfo: memFree=28069212/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=356852 CPUtime=342.18 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 75122 0 0 0 34195 23 0 0 20 0 2 0 276658028 365416448 74294 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 89213 74294 190 433 0 88777 0
[pid=20853/tid=20855] ppid=20851 vsize=356852 CPUtime=341.25 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 72171 0 0 0 34098 27 0 0 20 0 2 0 276658038 365416448 74294 33554432000 4194304 5965102 140734155767584 139829158938616 4401109 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 356852
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20882
/proc/meminfo: memFree=28005192/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=422388 CPUtime=402.16 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 89557 0 0 0 40188 28 0 0 20 0 2 0 276658028 432525312 89216 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 105597 89216 190 433 0 105161 0
[pid=20853/tid=20855] ppid=20851 vsize=422388 CPUtime=401.09 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 86606 0 0 0 40076 33 0 0 20 0 2 0 276658038 432525312 89216 33554432000 4194304 5965102 140734155767584 139829158938616 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 422388
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20882
/proc/meminfo: memFree=27995380/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=422388 CPUtime=462.15 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20927
/proc/meminfo: memFree=27933484/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=685072 CPUtime=1421.97 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 164885 0 0 0 142145 52 0 0 20 0 2 0 276658028 701513728 164593 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 171268 164593 190 433 0 170832 0
[pid=20853/tid=20855] ppid=20851 vsize=685072 CPUtime=1418.43 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 161934 0 0 0 141771 72 0 0 20 0 2 0 276658038 701513728 164593 33554432000 4194304 5965102 140734155767584 139829158938616 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 685072
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 20930
/proc/meminfo: memFree=27852132/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=816144 CPUtime=1481.95 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 185282 0 0 0 148135 60 0 0 20 0 2 0 276658028 835731456 184990 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 204036 184990 190 433 0 203600 0
[pid=20853/tid=20855] ppid=20851 vsize=816144 CPUtime=1478.28 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 182331 0 0 0 147747 81 0 0 20 0 2 0 276658038 835731456 184990 33554432000 4194304 5965102 140734155767584 139829158938616 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 816144
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20931
/proc/meminfo: memFree=27775880/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=881680 CPUtime=1541.94 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 201109 0 0 0 154127 67 0 0 20 0 2 0 276658028 902840320 200817 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 220420 200817 190 433 0 219984 0
[pid=20853/tid=20855] ppid=20851 vsize=881680 CPUtime=1538.12 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 198158 0 0 0 153723 89 0 0 20 0 2 0 276658038 902840320 200817 33554432000 4194304 5965102 140734155767584 139829158938616 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 881680
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20931
/proc/meminfo: memFree=27720452/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=881680 CPUtime=1601.92 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 212223 0 0 0 160120 72 0 0 20 0 2 0 276658028 902840320 211973 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 220420 211973 190 433 0 219984 0
[pid=20853/tid=20855] ppid=20851 vsize=881680 CPUtime=1597.96 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 209272 0 0 0 159700 96 0 0 20 0 2 0 276658038 902840320 211973 33554432000 4194304 5965102 140734155767584 139829158938616 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 881680
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20931
/proc/meminfo: memFree=27651412/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=881680 CPUtime=1661.89 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 215732 0 0 0 166116 73 0 0 20 0 2 0 276658028 902840320 215529 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 220420 215529 190 433 0 219984 0
[pid=20853/tid=20855] ppid=20851 vsize=881680 CPUtime=1657.78 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 212781 0 0 0 165680 98 0 0 20 0 2 0 276658038 902840320 215529 33554432000 4194304 5965102 140734155767584 139829158938616 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 881680
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20931
/proc/meminfo: memFree=27643132/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=881680 CPUtime=1721.88 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 215745 0 0 0 172114 74 0 0 20 0 2 0 276658028 902840320 215548 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 220420 215548 190 433 0 219984 0
[pid=20853/tid=20855] ppid=20851 vsize=881680 CPUtime=1717.62 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 212794 0 0 0 171663 99 0 0 20 0 2 0 276658038 902840320 215548 33554432000 4194304 5965102 140734155767584 139829158938616 4382742 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 881680
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20931
/proc/meminfo: memFree=27596412/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=881680 CPUtime=1781.86 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 215766 0 0 0 178112 74 0 0 20 0 2 0 276658028 902840320 215685 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 220420 215685 190 433 0 219984 0
[pid=20853/tid=20855] ppid=20851 vsize=881680 CPUtime=1777.46 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 212815 0 0 0 177646 100 0 0 20 0 2 0 276658038 902840320 215685 33554432000 4194304 5965102 140734155767584 139829158938616 4401118 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 881680
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20931
/proc/meminfo: memFree=27596644/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=881680 CPUtime=1791.46 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 215766 0 0 0 179072 74 0 0 20 0 2 0 276658028 902840320 215685 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 220420 215685 190 433 0 219984 0
[pid=20853/tid=20855] ppid=20851 vsize=881680 CPUtime=1787.04 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 212815 0 0 0 178604 100 0 0 20 0 2 0 276658038 902840320 215685 33554432000 4194304 5965102 140734155767584 139829158938616 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 881680
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20931
/proc/meminfo: memFree=27596892/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=881680 CPUtime=1794.66 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 215766 0 0 0 179392 74 0 0 20 0 2 0 276658028 902840320 215685 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 220420 215685 190 433 0 219984 0
[pid=20853/tid=20855] ppid=20851 vsize=881680 CPUtime=1790.23 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 212815 0 0 0 178923 100 0 0 20 0 2 0 276658038 902840320 215685 33554432000 4194304 5965102 140734155767584 139829158938616 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 881680
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20931
/proc/meminfo: memFree=27596892/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=881680 CPUtime=1797.86 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 215766 0 0 0 179712 74 0 0 20 0 2 0 276658028 902840320 215685 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 220420 215685 190 433 0 219984 0
[pid=20853/tid=20855] ppid=20851 vsize=881680 CPUtime=1793.42 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 212815 0 0 0 179242 100 0 0 20 0 2 0 276658038 902840320 215685 33554432000 4194304 5965102 140734155767584 139829158938616 4401559 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 881680
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20931
/proc/meminfo: memFree=27596448/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=881680 CPUtime=1798.66 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 215766 0 0 0 179792 74 0 0 20 0 2 0 276658028 902840320 215685 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 220420 215685 190 433 0 219984 0
[pid=20853/tid=20855] ppid=20851 vsize=881680 CPUtime=1794.22 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 212815 0 0 0 179322 100 0 0 20 0 2 0 276658038 902840320 215685 33554432000 4194304 5965102 140734155767584 139829158938616 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 881680
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20931
/proc/meminfo: memFree=27596580/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=881680 CPUtime=1799.06 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 215766 0 0 0 179832 74 0 0 20 0 2 0 276658028 902840320 215685 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 220420 215685 190 433 0 219984 0
[pid=20853/tid=20855] ppid=20851 vsize=881680 CPUtime=1794.62 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 212815 0 0 0 179362 100 0 0 20 0 2 0 276658038 902840320 215685 33554432000 4194304 5965102 140734155767584 139829158938616 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 881680
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20931
/proc/meminfo: memFree=27596580/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=881680 CPUtime=1799.46 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 215766 0 0 0 179872 74 0 0 20 0 2 0 276658028 902840320 215685 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 220420 215685 190 433 0 219984 0
[pid=20853/tid=20855] ppid=20851 vsize=881680 CPUtime=1795.01 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 212815 0 0 0 179401 100 0 0 20 0 2 0 276658038 902840320 215685 33554432000 4194304 5965102 140734155767584 139829158938616 4401131 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 881680
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20931
/proc/meminfo: memFree=27596580/32873648 swapFree=6604/6604
[pid=20853] ppid=20851 vsize=881680 CPUtime=1799.56 cores=0,2,4,6
/proc/20853/stat : 20853 (pwbo2.0) S 20851 20853 17458 0 -1 4202496 215766 0 0 0 179882 74 0 0 20 0 2 0 276658028 902840320 215685 33554432000 4194304 5965102 140734155767584 140734155767104 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20853/statm: 220420 215685 190 433 0 219984 0
[pid=20853/tid=20855] ppid=20851 vsize=881680 CPUtime=1795.11 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (pwbo2.0) R 20851 20853 17458 0 -1 4202560 212815 0 0 0 179411 100 0 0 20 0 2 0 276658038 902840320 215685 33554432000 4194304 5965102 140734155767584 139829158938616 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 881680
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20853 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=221236
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=23844
# CPU time returned by wait4() is 1795.25
# while last known CPU time is 1799.56
#
# 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.56
CPU user time (s): 1798.82
CPU system time (s): 0.74
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 881680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.22
system time used= 1.02384
maximum resident set size= 862752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215769
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= 267
involuntary context switches= 1944
runsolver used 2.74558 second user time and 7.09092 second system time
The end