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-3500411-1307994895/watcher-3500411-1307994895 -o /tmp/evaluation-result-3500411-1307994895/solver-3500411-1307994895 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500411-1307994895.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: 3.84 3.97 3.90 4/174 11800
/proc/meminfo: memFree=28744768/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=3116 CPUtime=0 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) R 11798 11800 10842 0 -1 4202496 406 0 0 0 0 0 0 0 25 0 1 0 911089115 3190784 358 33554432000 4194304 5714118 140734524362640 18446744073709551615 4228371 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/11800/statm: 779 358 167 372 0 254 0
[startup+0.053703 s]
/proc/loadavg: 3.84 3.97 3.90 4/174 11800
/proc/meminfo: memFree=28744768/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=142168 CPUtime=0.05 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 2724 0 0 0 5 0 0 0 25 0 3 0 911089115 145580032 2492 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 35542 2506 179 372 0 35167 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 142168
[startup+0.100695 s]
/proc/loadavg: 3.84 3.97 3.90 4/174 11800
/proc/meminfo: memFree=28744768/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=154388 CPUtime=0.14 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 8127 0 0 0 13 1 0 0 25 0 3 0 911089115 158093312 7851 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 38597 7855 179 372 0 38222 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 154388
[startup+0.300661 s]
/proc/loadavg: 3.84 3.97 3.90 4/174 11800
/proc/meminfo: memFree=28744768/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=155904 CPUtime=0.54 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 9908 0 0 0 52 2 0 0 25 0 3 0 911089115 159645696 9627 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 38976 9627 181 372 0 38601 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 155904
[startup+0.700594 s]
/proc/loadavg: 3.84 3.97 3.90 4/174 11800
/proc/meminfo: memFree=28744768/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=155904 CPUtime=1.35 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 10806 0 0 0 129 6 0 0 25 0 3 0 911089115 159645696 10525 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 38976 10525 181 372 0 38601 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 155904
[startup+1.50046 s]
/proc/loadavg: 3.84 3.97 3.90 5/177 11803
/proc/meminfo: memFree=28692956/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=155904 CPUtime=2.94 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 12847 0 0 0 282 12 0 0 25 0 3 0 911089115 159645696 12566 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 38976 12566 181 372 0 38601 0
[pid=11800/tid=11802] ppid=11798 vsize=155904 CPUtime=1.45 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 2770 0 0 0 138 7 0 0 20 0 3 0 911089119 159645696 12566 33554432000 4194304 5714118 140734524362640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=155904 CPUtime=1.44 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 9233 0 0 0 139 5 0 0 20 0 3 0 911089119 159645696 12566 33554432000 4194304 5714118 140734524362640 18446744073709551615 4320026 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 155904
[startup+3.10126 s]
/proc/loadavg: 3.93 3.98 3.91 5/177 11803
/proc/meminfo: memFree=28672772/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=156048 CPUtime=6.14 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 15444 0 0 0 596 18 0 0 25 0 3 0 911089115 159793152 15163 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 39012 15163 181 372 0 38637 0
[pid=11800/tid=11802] ppid=11798 vsize=156048 CPUtime=3.04 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 4821 0 0 0 294 10 0 0 25 0 3 0 911089119 159793152 15163 33554432000 4194304 5714118 140734524362640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=156048 CPUtime=3.05 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 9779 0 0 0 297 8 0 0 25 0 3 0 911089119 159793152 15163 33554432000 4194304 5714118 140734524362640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 156048
[startup+6.30065 s]
/proc/loadavg: 3.93 3.98 3.91 5/177 11803
/proc/meminfo: memFree=28650804/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=156048 CPUtime=12.54 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 18486 0 0 0 1226 28 0 0 25 0 3 0 911089115 159793152 18205 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 39012 18205 181 372 0 38637 0
[pid=11800/tid=11802] ppid=11798 vsize=156048 CPUtime=6.25 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 6527 0 0 0 609 16 0 0 25 0 3 0 911089119 159793152 18205 33554432000 4194304 5714118 140734524362640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=156048 CPUtime=6.25 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 11115 0 0 0 613 12 0 0 25 0 3 0 911089119 159793152 18205 33554432000 4194304 5714118 140734524362640 18446744073709551615 4320050 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 156048
[startup+12.7006 s]
/proc/loadavg: 3.94 3.98 3.91 5/177 11803
/proc/meminfo: memFree=28627100/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=155904 CPUtime=25.34 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 22599 0 0 0 2486 48 0 0 25 0 3 0 911089115 159645696 22282 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 38976 22282 182 372 0 38601 0
[pid=11800/tid=11802] ppid=11798 vsize=155904 CPUtime=12.65 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 8055 0 0 0 1236 29 0 0 25 0 3 0 911089119 159645696 22282 33554432000 4194304 5714118 140734524362640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=155904 CPUtime=12.65 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 13700 0 0 0 1246 19 0 0 25 0 3 0 911089119 159645696 22282 33554432000 4194304 5714118 140734524362640 18446744073709551615 4345797 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 155904
[startup+25.5004 s]
/proc/loadavg: 3.95 3.98 3.91 5/177 11803
/proc/meminfo: memFree=28595992/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=156120 CPUtime=50.94 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 25811 0 0 0 4997 97 0 0 25 0 3 0 911089115 159866880 25426 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 39030 25426 182 372 0 38655 0
[pid=11800/tid=11802] ppid=11798 vsize=156120 CPUtime=25.45 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 8974 0 0 0 2483 62 0 0 25 0 3 0 911089119 159866880 25426 33554432000 4194304 5714118 140734524362640 18446744073709551615 4311863 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=156120 CPUtime=25.44 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 15993 0 0 0 2510 34 0 0 25 0 3 0 911089119 159866880 25426 33554432000 4194304 5714118 140734524362640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 156120
[startup+51.1011 s]
/proc/loadavg: 3.97 3.98 3.91 5/177 11803
/proc/meminfo: memFree=28501228/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=222276 CPUtime=102.14 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 41350 0 0 0 10058 156 0 0 25 0 3 0 911089115 227610624 40965 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 55569 40965 182 372 0 55194 0
[pid=11800/tid=11802] ppid=11798 vsize=222276 CPUtime=51.05 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 16064 0 0 0 5005 100 0 0 25 0 3 0 911089119 227610624 40965 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=222276 CPUtime=51.05 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 24442 0 0 0 5049 56 0 0 25 0 3 0 911089119 227610624 40965 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 222276
[startup+102.306 s]
/proc/loadavg: 3.98 3.98 3.91 5/177 11805
/proc/meminfo: memFree=28234252/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=420188 CPUtime=204.55 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 94421 0 0 0 20201 254 0 0 25 0 3 0 911089115 430272512 94026 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 105047 94026 182 372 0 104672 0
[pid=11800/tid=11802] ppid=11798 vsize=420188 CPUtime=102.25 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 29744 0 0 0 10059 166 0 0 25 0 3 0 911089119 430272512 94026 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=420188 CPUtime=102.25 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 63833 0 0 0 10137 88 0 0 25 0 3 0 911089119 430272512 94026 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 420188
[startup+162.3 s]
/proc/loadavg: 4.07 4.00 3.91 5/177 11807
/proc/meminfo: memFree=28031260/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=618512 CPUtime=324.55 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 136414 0 0 0 32082 373 0 0 25 0 3 0 911089115 633356288 136013 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 154628 136013 182 372 0 154253 0
[pid=11800/tid=11802] ppid=11798 vsize=618512 CPUtime=162.25 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 39731 0 0 0 15969 256 0 0 25 0 3 0 911089119 633356288 136013 33554432000 4194304 5714118 140734524362640 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=618512 CPUtime=162.24 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 95839 0 0 0 16108 116 0 0 25 0 3 0 911089119 633356288 136013 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 324.55
Current children cumulated vsize (KiB) 618512
[startup+222.3 s]
/proc/loadavg: 4.02 4.00 3.91 5/177 11809
/proc/meminfo: memFree=27847492/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=751040 CPUtime=444.55 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 173160 0 0 0 43985 470 0 0 25 0 3 0 911089115 769064960 172759 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 187760 172759 182 372 0 187385 0
[pid=11800/tid=11802] ppid=11798 vsize=751040 CPUtime=222.25 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 44550 0 0 0 21903 322 0 0 25 0 3 0 911089119 769064960 172759 33554432000 4194304 5714118 140734524362640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=751040 CPUtime=222.24 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 127766 0 0 0 22077 147 0 0 25 0 3 0 911089119 769064960 172759 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.55
Current children cumulated vsize (KiB) 751040
[startup+282.301 s]
/proc/loadavg: 4.01 4.00 3.91 5/177 11809
/proc/meminfo: memFree=27703652/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=883668 CPUtime=564.56 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 201012 0 0 0 55894 562 0 0 25 0 3 0 911089115 904876032 200611 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 220917 200611 182 372 0 220542 0
[pid=11800/tid=11802] ppid=11798 vsize=883668 CPUtime=282.25 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 54797 0 0 0 27832 393 0 0 25 0 3 0 911089119 904876032 200611 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319859 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=883668 CPUtime=282.25 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 145371 0 0 0 28057 168 0 0 25 0 3 0 911089119 904876032 200611 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.56
Current children cumulated vsize (KiB) 883668
[startup+342.301 s]
/proc/loadavg: 4.04 4.01 3.92 5/177 11811
/proc/meminfo: memFree=27606436/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=951380 CPUtime=684.55 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 216256 0 0 0 67824 631 0 0 25 0 3 0 911089115 974213120 215855 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 237845 215855 182 372 0 237470 0
[pid=11800/tid=11802] ppid=11798 vsize=951380 CPUtime=342.25 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 62470 0 0 0 33776 449 0 0 25 0 3 0 911089119 974213120 215855 33554432000 4194304 5714118 140734524362640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=951380 CPUtime=342.25 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 152942 0 0 0 34043 182 0 0 25 0 3 0 911089119 974213120 215855 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.55
Current children cumulated vsize (KiB) 951380
[startup+402.301 s]
/proc/loadavg: 4.01 4.01 3.92 5/177 11822
/proc/meminfo: memFree=27500588/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=1018560 CPUtime=804.56 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 235335 0 0 0 79750 706 0 0 25 0 3 0 911089115 1043005440 234934 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 254640 234934 182 372 0 254265 0
[pid=11800/tid=11802] ppid=11798 vsize=1018560 CPUtime=402.25 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 69745 0 0 0 39719 506 0 0 25 0 3 0 911089119 1043005440 234934 33554432000 4194304 5714118 140734524362640 18446744073709551615 4324880 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=1018560 CPUtime=402.25 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 164746 0 0 0 40026 199 0 0 25 0 3 0 911089119 1043005440 234934 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319218 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.56
Current children cumulated vsize (KiB) 1018560
[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/177 11824
/proc/meminfo: memFree=27452104/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=1084640 CPUtime=924.55 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 240732 0 0 0 91645 810 0 0 25 0 3 0 911089115 1110671360 240261 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 271160 240261 182 372 0 270785 0
[pid=11800/tid=11802] ppid=11798 vsize=1084640 CPUtime=462.26 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 70060 0 0 0 45627 599 0 0 25 0 3 0 911089119 1110671360 240261 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=1084640 CPUtime=462.25 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 169828 0 0 0 46014 211 0 0 25 0 3 0 911089119 1110671360 240261 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319710 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.55
Current children cumulated vsize (KiB) 1084640
[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/177 11826
/proc/meminfo: memFree=27412548/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=1084988 CPUtime=1044.56 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 240865 0 0 0 103563 893 0 0 25 0 3 0 911089115 1111027712 240394 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 271247 240394 182 372 0 270872 0
[pid=11800/tid=11802] ppid=11798 vsize=1084988 CPUtime=522.26 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 70092 0 0 0 51557 669 0 0 25 0 3 0 911089119 1111027712 240394 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=1084988 CPUtime=522.25 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 169929 0 0 0 52001 224 0 0 25 0 3 0 911089119 1111027712 240394 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.56
Current children cumulated vsize (KiB) 1084988
[startup+582.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/177 11826
/proc/meminfo: memFree=27373860/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=1085320 CPUtime=1164.56 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 240964 0 0 0 115511 945 0 0 25 0 3 0 911089115 1111367680 240493 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 271330 240493 182 372 0 270955 0
[pid=11800/tid=11802] ppid=11798 vsize=1085320 CPUtime=582.26 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 70109 0 0 0 57515 711 0 0 25 0 3 0 911089119 1111367680 240493 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319357 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=1085320 CPUtime=582.25 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 170011 0 0 0 57992 233 0 0 25 0 3 0 911089119 1111367680 240493 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319389 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.56
Current children cumulated vsize (KiB) 1085320
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/177 11828
/proc/meminfo: memFree=27333680/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=1085320 CPUtime=1284.58 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 241003 0 0 0 127478 980 0 0 25 0 3 0 911089115 1111367680 240532 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 271330 240532 182 372 0 270955 0
[pid=11800/tid=11802] ppid=11798 vsize=1085320 CPUtime=642.26 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 70145 0 0 0 63487 739 0 0 25 0 3 0 911089119 1111367680 240532 33554432000 4194304 5714118 140734524362640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=1085320 CPUtime=642.26 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 170014 0 0 0 63986 240 0 0 25 0 3 0 911089119 1111367680 240532 33554432000 4194304 5714118 140734524362640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.58
Current children cumulated vsize (KiB) 1085320
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/177 11833
/proc/meminfo: memFree=27309104/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=1086220 CPUtime=1404.56 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 241213 0 0 0 139432 1024 0 0 25 0 3 0 911089115 1112289280 240742 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 271555 240742 182 372 0 271180 0
[pid=11800/tid=11802] ppid=11798 vsize=1086220 CPUtime=702.25 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 70170 0 0 0 69448 777 0 0 25 0 3 0 911089119 1112289280 240742 33554432000 4194304 5714118 140734524362640 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=1086220 CPUtime=702.25 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 170199 0 0 0 69979 246 0 0 25 0 3 0 911089119 1112289280 240742 33554432000 4194304 5714118 140734524362640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.56
Current children cumulated vsize (KiB) 1086220
[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.92 5/177 11835
/proc/meminfo: memFree=27274756/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=1086704 CPUtime=1524.58 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 241363 0 0 0 151402 1056 0 0 25 0 3 0 911089115 1112784896 240892 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 271676 240892 182 372 0 271301 0
[pid=11800/tid=11802] ppid=11798 vsize=1086704 CPUtime=762.27 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 70211 0 0 0 75423 804 0 0 25 0 3 0 911089119 1112784896 240892 33554432000 4194304 5714118 140734524362640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=1086704 CPUtime=762.26 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 170308 0 0 0 75974 252 0 0 25 0 3 0 911089119 1112784896 240892 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319232 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.58
Current children cumulated vsize (KiB) 1086704
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/177 11837
/proc/meminfo: memFree=27241768/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=1086704 CPUtime=1644.57 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 241370 0 0 0 163360 1097 0 0 25 0 3 0 911089115 1112784896 240899 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 271676 240899 182 372 0 271301 0
[pid=11800/tid=11802] ppid=11798 vsize=1086704 CPUtime=822.26 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 70211 0 0 0 81386 840 0 0 25 0 3 0 911089119 1112784896 240899 33554432000 4194304 5714118 140734524362640 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=1086704 CPUtime=822.26 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 170315 0 0 0 81969 257 0 0 25 0 3 0 911089119 1112784896 240899 33554432000 4194304 5714118 140734524362640 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.57
Current children cumulated vsize (KiB) 1086704
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/177 11837
/proc/meminfo: memFree=27211884/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=1086704 CPUtime=1764.57 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 241396 0 0 0 175302 1155 0 0 25 0 3 0 911089115 1112784896 240925 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 271676 240925 182 372 0 271301 0
[pid=11800/tid=11802] ppid=11798 vsize=1086704 CPUtime=882.26 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 70233 0 0 0 87334 892 0 0 25 0 3 0 911089119 1112784896 240925 33554432000 4194304 5714118 140734524362640 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=1086704 CPUtime=882.26 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 170319 0 0 0 87963 263 0 0 25 0 3 0 911089119 1112784896 240925 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.57
Current children cumulated vsize (KiB) 1086704
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.92 3/173 11840
/proc/meminfo: memFree=27786656/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=1086704 CPUtime=1800.18 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 242234 0 0 0 178845 1173 0 0 25 0 3 0 911089115 1112784896 241763 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 271676 241763 182 372 0 271301 0
[pid=11800/tid=11802] ppid=11798 vsize=1086704 CPUtime=900.07 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 70233 0 0 0 89101 906 0 0 25 0 3 0 911089119 1112784896 241763 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=1086704 CPUtime=900.06 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 171157 0 0 0 89740 266 0 0 25 0 3 0 911089119 1112784896 241763 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 1086704
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.92 3/173 11840
/proc/meminfo: memFree=27786656/32951132 swapFree=67061148/67111528
[pid=11800] ppid=11798 vsize=1086704 CPUtime=1800.18 cores=1,3,5,7
/proc/11800/stat : 11800 (pwbo1.1) S 11798 11800 10842 0 -1 4202496 242234 0 0 0 178845 1173 0 0 25 0 3 0 911089115 1112784896 241763 33554432000 4194304 5714118 140734524362640 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11800/statm: 271676 241763 182 372 0 271301 0
[pid=11800/tid=11802] ppid=11798 vsize=1086704 CPUtime=900.07 cores=1,3,5,7
/proc/11800/task/11802/stat : 11802 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 70233 0 0 0 89101 906 0 0 25 0 3 0 911089119 1112784896 241763 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11800/tid=11803] ppid=11798 vsize=1086704 CPUtime=900.06 cores=1,3,5,7
/proc/11800/task/11803/stat : 11803 (pwbo1.1) R 11798 11800 10842 0 -1 4202560 171157 0 0 0 89740 266 0 0 25 0 3 0 911089119 1112784896 241763 33554432000 4194304 5714118 140734524362640 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 1086704
Child status: 0
Real time (s): 900.15
CPU time (s): 1800.24
CPU user time (s): 1788.47
CPU system time (s): 11.7712
CPU usage (%): 199.993
Max. virtual memory (cumulated for all children) (KiB): 1086704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.47
system time used= 11.7712
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242239
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= 565
involuntary context switches= 2239
runsolver used 1.18182 second user time and 2.94155 second system time
The end