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 /var/tmp/evaluation-result-3500086-1307990518/watcher-3500086-1307990518 -o /var/tmp/evaluation-result-3500086-1307990518/solver-3500086-1307990518 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500086-1307990518.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.04 2.01 1.94 3/179 30654
/proc/meminfo: memFree=3805152/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=135392 CPUtime=0 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 611 0 0 0 0 0 0 0 23 0 3 0 910650292 138641408 552 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 33848 557 176 372 0 33473 0
[pid=30654/tid=30655] ppid=30652 vsize=135392 CPUtime=0 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 102 0 0 0 0 0 0 0 18 0 3 0 910650293 138641408 564 33554432000 4194304 5714118 140736230891072 18446744073709551615 4315294 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=135392 CPUtime=0 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 28 0 0 0 0 0 0 0 25 0 3 0 910650293 138641408 564 33554432000 4194304 5714118 140736230891072 18446744073709551615 4967679 0 0 4096 16387 0 0 0 -1 3 0 0 0
[startup+0.042638 s]
/proc/loadavg: 2.04 2.01 1.94 3/179 30654
/proc/meminfo: memFree=3805152/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=153016 CPUtime=0.06 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 6353 0 0 0 5 1 0 0 23 0 3 0 910650292 156688384 6201 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 38254 6205 177 372 0 37879 0
[pid=30654/tid=30655] ppid=30652 vsize=153016 CPUtime=0.03 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 499 0 0 0 3 0 0 0 18 0 3 0 910650293 156688384 6208 33554432000 4194304 5714118 140736230891072 18446744073709551615 4356046 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=153016 CPUtime=0.03 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 5370 0 0 0 2 1 0 0 18 0 3 0 910650293 156688384 6210 33554432000 4194304 5714118 140736230891072 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 153016
[startup+0.100634 s]
/proc/loadavg: 2.04 2.01 1.94 3/179 30654
/proc/meminfo: memFree=3805152/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=154908 CPUtime=0.18 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 9340 0 0 0 16 2 0 0 23 0 3 0 910650292 158625792 9179 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 38727 9179 178 372 0 38352 0
[pid=30654/tid=30655] ppid=30652 vsize=154908 CPUtime=0.08 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 897 0 0 0 8 0 0 0 18 0 3 0 910650293 158625792 9179 33554432000 4194304 5714118 140736230891072 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=154908 CPUtime=0.09 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 7950 0 0 0 7 2 0 0 18 0 3 0 910650293 158625792 9179 33554432000 4194304 5714118 140736230891072 18446744073709551615 4320089 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 154908
[startup+0.300599 s]
/proc/loadavg: 2.04 2.01 1.94 3/179 30654
/proc/meminfo: memFree=3805152/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=155044 CPUtime=0.58 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 9677 0 0 0 54 4 0 0 23 0 3 0 910650292 158765056 9516 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 38761 9516 179 372 0 38386 0
[pid=30654/tid=30655] ppid=30652 vsize=155044 CPUtime=0.29 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 1207 0 0 0 27 2 0 0 18 0 3 0 910650293 158765056 9516 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=155044 CPUtime=0.28 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 7977 0 0 0 26 2 0 0 18 0 3 0 910650293 158765056 9516 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 155044
[startup+0.700533 s]
/proc/loadavg: 2.04 2.01 1.94 3/179 30654
/proc/meminfo: memFree=3805152/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=155044 CPUtime=1.38 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 10279 0 0 0 132 6 0 0 23 0 3 0 910650292 158765056 10118 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 38761 10118 179 372 0 38386 0
[pid=30654/tid=30655] ppid=30652 vsize=155044 CPUtime=0.68 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 1776 0 0 0 64 4 0 0 18 0 3 0 910650293 158765056 10118 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=155044 CPUtime=0.68 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 8010 0 0 0 66 2 0 0 18 0 3 0 910650293 158765056 10118 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 155044
[startup+1.5004 s]
/proc/loadavg: 2.19 2.04 1.95 5/182 30657
/proc/meminfo: memFree=3758356/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=155188 CPUtime=2.98 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 11504 0 0 0 288 10 0 0 23 0 3 0 910650292 158912512 11343 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 38797 11343 179 372 0 38422 0
[pid=30654/tid=30655] ppid=30652 vsize=155188 CPUtime=1.48 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 2878 0 0 0 141 7 0 0 20 0 3 0 910650293 158912512 11343 33554432000 4194304 5714118 140736230891072 18446744073709551615 4347263 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=155188 CPUtime=1.48 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 8133 0 0 0 146 2 0 0 20 0 3 0 910650293 158912512 11343 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 155188
[startup+3.10113 s]
/proc/loadavg: 2.19 2.04 1.95 5/182 30657
/proc/meminfo: memFree=3749804/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=155188 CPUtime=6.19 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 13712 0 0 0 602 17 0 0 23 0 3 0 910650292 158912512 13551 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 38797 13551 180 372 0 38422 0
[pid=30654/tid=30655] ppid=30652 vsize=155188 CPUtime=3.08 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 3757 0 0 0 296 12 0 0 25 0 3 0 910650293 158912512 13551 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=155188 CPUtime=3.09 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 9462 0 0 0 305 4 0 0 25 0 3 0 910650293 158912512 13551 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 155188
[startup+6.30059 s]
/proc/loadavg: 2.19 2.04 1.95 5/182 30657
/proc/meminfo: memFree=3715384/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=155476 CPUtime=12.58 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 17960 0 0 0 1231 27 0 0 23 0 3 0 910650292 159207424 17799 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 38869 17799 180 372 0 38494 0
[pid=30654/tid=30655] ppid=30652 vsize=155476 CPUtime=6.29 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 5573 0 0 0 608 21 0 0 25 0 3 0 910650293 159207424 17799 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=155476 CPUtime=6.28 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 11894 0 0 0 622 6 0 0 25 0 3 0 910650293 159207424 17799 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 155476
[startup+12.7005 s]
/proc/loadavg: 2.47 2.11 1.97 5/182 30658
/proc/meminfo: memFree=3686532/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=155528 CPUtime=25.38 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 22878 0 0 0 2494 44 0 0 23 0 3 0 910650292 159260672 22679 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 38882 22679 180 372 0 38507 0
[pid=30654/tid=30655] ppid=30652 vsize=155528 CPUtime=12.68 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 6231 0 0 0 1235 33 0 0 25 0 3 0 910650293 159260672 22679 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=155528 CPUtime=12.68 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 16154 0 0 0 1258 10 0 0 25 0 3 0 910650293 159260672 22679 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 155528
[startup+25.5004 s]
/proc/loadavg: 2.70 2.17 2.00 5/182 30658
/proc/meminfo: memFree=3634500/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=155528 CPUtime=50.98 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 27029 0 0 0 5027 71 0 0 23 0 3 0 910650292 159260672 26830 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 38882 26830 180 372 0 38507 0
[pid=30654/tid=30655] ppid=30652 vsize=155528 CPUtime=25.49 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 9944 0 0 0 2495 54 0 0 25 0 3 0 910650293 159260672 26830 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=155528 CPUtime=25.49 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 16592 0 0 0 2532 17 0 0 25 0 3 0 910650293 159260672 26830 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 155528
[startup+51.1011 s]
/proc/loadavg: 3.21 2.35 2.06 5/182 30659
/proc/meminfo: memFree=3517416/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=287200 CPUtime=102.18 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 45264 0 0 0 10094 124 0 0 23 0 3 0 910650292 294092800 45065 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 71800 45065 180 372 0 71425 0
[pid=30654/tid=30655] ppid=30652 vsize=287200 CPUtime=51.08 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 17064 0 0 0 5020 88 0 0 25 0 3 0 910650293 294092800 45065 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=287200 CPUtime=51.09 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 27707 0 0 0 5073 36 0 0 25 0 3 0 910650293 294092800 45065 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 287200
[startup+102.306 s]
/proc/loadavg: 3.66 2.60 2.16 5/182 30660
/proc/meminfo: memFree=3369704/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=353276 CPUtime=204.59 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 65233 0 0 0 20257 202 0 0 23 0 3 0 910650292 361754624 64979 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 88319 64979 180 372 0 87944 0
[pid=30654/tid=30655] ppid=30652 vsize=353276 CPUtime=102.29 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 23041 0 0 0 10084 145 0 0 25 0 3 0 910650293 361754624 64979 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=353276 CPUtime=102.29 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 41699 0 0 0 10172 57 0 0 25 0 3 0 910650293 361754624 64979 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 353276
[startup+162.3 s]
/proc/loadavg: 3.91 2.86 2.27 5/182 30662
/proc/meminfo: memFree=3228668/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=354084 CPUtime=324.58 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 73126 0 0 0 32187 271 0 0 23 0 3 0 910650292 362582016 72872 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 88521 72872 180 372 0 88146 0
[pid=30654/tid=30655] ppid=30652 vsize=354084 CPUtime=162.29 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 23916 0 0 0 16031 198 0 0 25 0 3 0 910650293 362582016 72872 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=354084 CPUtime=162.28 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 48717 0 0 0 16155 73 0 0 25 0 3 0 910650293 362582016 72872 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 354084
[startup+222.3 s]
/proc/loadavg: 3.96 3.07 2.38 5/182 30663
/proc/meminfo: memFree=3099916/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=485156 CPUtime=444.58 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 89453 0 0 0 44116 342 0 0 23 0 3 0 910650292 496799744 89199 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 121289 89199 180 372 0 120914 0
[pid=30654/tid=30655] ppid=30652 vsize=485156 CPUtime=222.29 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 33782 0 0 0 21975 254 0 0 25 0 3 0 910650293 496799744 89199 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=485156 CPUtime=222.29 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 55178 0 0 0 22141 88 0 0 25 0 3 0 910650293 496799744 89199 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (KiB) 485156
[startup+282.3 s]
/proc/loadavg: 3.98 3.24 2.48 5/182 30665
/proc/meminfo: memFree=2950324/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=485156 CPUtime=564.59 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 103000 0 0 0 56046 413 0 0 23 0 3 0 910650292 496799744 102746 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 121289 102746 180 372 0 120914 0
[pid=30654/tid=30655] ppid=30652 vsize=485156 CPUtime=282.29 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 42148 0 0 0 27919 310 0 0 25 0 3 0 910650293 496799744 102746 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=485156 CPUtime=282.28 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 60359 0 0 0 28126 102 0 0 25 0 3 0 910650293 496799744 102746 33554432000 4194304 5714118 140736230891072 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 485156
[startup+342.301 s]
/proc/loadavg: 3.99 3.37 2.57 5/182 30667
/proc/meminfo: memFree=2764776/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=551908 CPUtime=684.59 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 120349 0 0 0 67978 481 0 0 23 0 3 0 910650292 565153792 120094 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 137977 120094 180 372 0 137602 0
[pid=30654/tid=30655] ppid=30652 vsize=551908 CPUtime=342.29 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 50648 0 0 0 33870 359 0 0 25 0 3 0 910650293 565153792 120094 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=551908 CPUtime=342.29 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 69208 0 0 0 34108 121 0 0 25 0 3 0 910650293 565153792 120094 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 551908
[startup+402.301 s]
/proc/loadavg: 3.99 3.48 2.66 5/182 30668
/proc/meminfo: memFree=2656204/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=617444 CPUtime=804.59 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 136992 0 0 0 79909 550 0 0 23 0 3 0 910650292 632262656 136737 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 154361 136737 180 372 0 153986 0
[pid=30654/tid=30655] ppid=30652 vsize=617444 CPUtime=402.29 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 58942 0 0 0 39816 413 0 0 25 0 3 0 910650293 632262656 136737 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319325 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=617444 CPUtime=402.28 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 77557 0 0 0 40092 136 0 0 25 0 3 0 910650293 632262656 136737 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 617444
[startup+462.301 s]
/proc/loadavg: 3.99 3.57 2.74 5/182 30670
/proc/meminfo: memFree=2573924/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=682980 CPUtime=924.59 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 152993 0 0 0 91835 624 0 0 23 0 3 0 910650292 699371520 152738 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 170745 152738 180 372 0 170370 0
[pid=30654/tid=30655] ppid=30652 vsize=682980 CPUtime=462.3 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 68265 0 0 0 45754 476 0 0 25 0 3 0 910650293 699371520 152738 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319276 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=682980 CPUtime=462.28 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 84235 0 0 0 46080 148 0 0 25 0 3 0 910650293 699371520 152738 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.59
Current children cumulated vsize (KiB) 682980
[startup+522.301 s]
/proc/loadavg: 3.99 3.65 2.81 5/182 30671
/proc/meminfo: memFree=2485112/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=749000 CPUtime=1044.59 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 168672 0 0 0 103771 688 0 0 23 0 3 0 910650292 766976000 168417 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 187250 168417 180 372 0 186875 0
[pid=30654/tid=30655] ppid=30652 vsize=749000 CPUtime=522.29 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 78609 0 0 0 51699 530 0 0 25 0 3 0 910650293 766976000 168417 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=749000 CPUtime=522.29 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 89570 0 0 0 52071 158 0 0 25 0 3 0 910650293 766976000 168417 33554432000 4194304 5714118 140736230891072 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.59
Current children cumulated vsize (KiB) 749000
[startup+582.301 s]
/proc/loadavg: 3.99 3.71 2.89 5/182 30673
/proc/meminfo: memFree=2430372/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=814536 CPUtime=1164.6 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 175438 0 0 0 115713 747 0 0 23 0 3 0 910650292 834084864 175183 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 203634 175183 180 372 0 203259 0
[pid=30654/tid=30655] ppid=30652 vsize=814536 CPUtime=582.29 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 85338 0 0 0 57658 571 0 0 25 0 3 0 910650293 834084864 175183 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=814536 CPUtime=582.29 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 89607 0 0 0 58054 175 0 0 25 0 3 0 910650293 834084864 175183 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319689 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 814536
[startup+642.301 s]
/proc/loadavg: 3.99 3.76 2.95 5/182 30675
/proc/meminfo: memFree=2362736/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=814536 CPUtime=1284.61 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 181723 0 0 0 127660 801 0 0 23 0 3 0 910650292 834084864 181467 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 203634 181467 180 372 0 203259 0
[pid=30654/tid=30655] ppid=30652 vsize=814536 CPUtime=642.3 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 91619 0 0 0 63612 618 0 0 25 0 3 0 910650293 834084864 181467 33554432000 4194304 5714118 140736230891072 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=814536 CPUtime=642.3 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 89611 0 0 0 64047 183 0 0 25 0 3 0 910650293 834084864 181467 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.61
Current children cumulated vsize (KiB) 814536
[startup+702.301 s]
/proc/loadavg: 3.99 3.80 3.02 5/182 30676
/proc/meminfo: memFree=2288776/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=880072 CPUtime=1404.6 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 188852 0 0 0 139622 838 0 0 23 0 3 0 910650292 901193728 188594 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 220018 188594 180 372 0 219643 0
[pid=30654/tid=30655] ppid=30652 vsize=880072 CPUtime=702.3 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 98741 0 0 0 69580 650 0 0 25 0 3 0 910650293 901193728 188594 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=880072 CPUtime=702.29 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 89618 0 0 0 70041 188 0 0 25 0 3 0 910650293 901193728 188594 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.6
Current children cumulated vsize (KiB) 880072
[startup+762.307 s]
/proc/loadavg: 4.04 3.85 3.08 5/182 30678
/proc/meminfo: memFree=2210728/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=880072 CPUtime=1524.61 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 195387 0 0 0 151561 900 0 0 23 0 3 0 910650292 901193728 195129 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 220018 195129 180 372 0 219643 0
[pid=30654/tid=30655] ppid=30652 vsize=880072 CPUtime=762.3 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 105252 0 0 0 75526 704 0 0 25 0 3 0 910650293 901193728 195129 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319704 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=880072 CPUtime=762.3 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 89642 0 0 0 76034 196 0 0 25 0 3 0 910650293 901193728 195129 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.61
Current children cumulated vsize (KiB) 880072
[startup+822.3 s]
/proc/loadavg: 4.01 3.87 3.13 5/182 30679
/proc/meminfo: memFree=2137784/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=880072 CPUtime=1644.6 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 201657 0 0 0 163509 951 0 0 23 0 3 0 910650292 901193728 201399 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 220018 201399 180 372 0 219643 0
[pid=30654/tid=30655] ppid=30652 vsize=880072 CPUtime=822.3 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 111517 0 0 0 81484 746 0 0 25 0 3 0 910650293 901193728 201399 33554432000 4194304 5714118 140736230891072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=880072 CPUtime=822.3 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 89647 0 0 0 82025 205 0 0 25 0 3 0 910650293 901193728 201399 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.6
Current children cumulated vsize (KiB) 880072
[startup+882.3 s]
/proc/loadavg: 4.00 3.89 3.19 5/182 30681
/proc/meminfo: memFree=2064816/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=945608 CPUtime=1764.61 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 207795 0 0 0 175460 1001 0 0 23 0 3 0 910650292 968302592 207533 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 236402 207533 180 372 0 236027 0
[pid=30654/tid=30655] ppid=30652 vsize=945608 CPUtime=882.3 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 117643 0 0 0 87442 788 0 0 25 0 3 0 910650293 968302592 207533 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319284 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=945608 CPUtime=882.29 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 89659 0 0 0 88017 212 0 0 25 0 3 0 910650293 968302592 207533 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 945608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 4.00 3.90 3.20 3/178 30682
/proc/meminfo: memFree=3004376/32951124 swapFree=67054520/67111528
[pid=30654] ppid=30652 vsize=945608 CPUtime=1800.02 cores=1,3,5,7
/proc/30654/stat : 30654 (pwbo1.1) S 30652 30654 30373 0 -1 4202496 209787 0 0 0 178986 1016 0 0 23 0 3 0 910650292 968302592 209525 33554432000 4194304 5714118 140736230891072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30654/statm: 236402 209525 180 372 0 236027 0
[pid=30654/tid=30655] ppid=30652 vsize=945608 CPUtime=900 cores=1,3,5,7
/proc/30654/task/30655/stat : 30655 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 119635 0 0 0 89199 801 0 0 25 0 3 0 910650293 968302592 209525 33554432000 4194304 5714118 140736230891072 18446744073709551615 4322923 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30654/tid=30656] ppid=30652 vsize=945608 CPUtime=900 cores=1,3,5,7
/proc/30654/task/30656/stat : 30656 (pwbo1.1) R 30652 30654 30373 0 -1 4202560 89659 0 0 0 89786 214 0 0 25 0 3 0 910650293 968302592 209525 33554432000 4194304 5714118 140736230891072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 945608
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.044
CPU time (s): 1800.07
CPU user time (s): 1789.88
CPU system time (s): 10.1945
CPU usage (%): 199.998
Max. virtual memory (cumulated for all children) (KiB): 945608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.88
system time used= 10.1944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209795
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= 433
involuntary context switches= 12900
runsolver used 1.40179 second user time and 3.51946 second system time
The end