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-3500598-1307996984/watcher-3500598-1307996984 -o /var/tmp/evaluation-result-3500598-1307996984/solver-3500598-1307996984 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500598-1307996984.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: 3.53 3.86 3.88 4/179 1541
/proc/meminfo: memFree=12843916/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=3324 CPUtime=0 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) R 1539 1541 306 0 -1 4202496 423 0 0 0 0 0 0 0 25 0 1 0 892114504 3403776 376 33554432000 4194304 5714118 140733882686320 18446744073709551615 5014028 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/1541/statm: 831 376 162 372 0 262 0
[startup+0.0103759 s]
/proc/loadavg: 3.53 3.86 3.88 4/179 1541
/proc/meminfo: memFree=12843916/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=5108 CPUtime=0 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) R 1539 1541 306 0 -1 4202496 877 0 0 0 0 0 0 0 25 0 1 0 892114504 5230592 830 33554432000 4194304 5714118 140733882686320 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/1541/statm: 1277 831 180 372 0 708 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5108
[startup+0.100386 s]
/proc/loadavg: 3.53 3.86 3.88 4/179 1541
/proc/meminfo: memFree=12843916/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=147956 CPUtime=0.11 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 5600 0 0 0 10 1 0 0 25 0 3 0 892114504 151506944 5266 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 36989 5200 179 372 0 36614 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 147956
[startup+0.300352 s]
/proc/loadavg: 3.53 3.86 3.88 4/179 1541
/proc/meminfo: memFree=12843916/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=147668 CPUtime=0.51 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 6081 0 0 0 48 3 0 0 25 0 3 0 892114504 151212032 5681 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 36917 5681 181 372 0 36542 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 147668
[startup+0.700282 s]
/proc/loadavg: 3.53 3.86 3.88 4/179 1541
/proc/meminfo: memFree=12843916/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=147668 CPUtime=1.31 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 6800 0 0 0 126 5 0 0 25 0 3 0 892114504 151212032 6400 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 36917 6400 181 372 0 36542 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 147668
[startup+1.50114 s]
/proc/loadavg: 3.53 3.86 3.88 5/182 1544
/proc/meminfo: memFree=12816140/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=147668 CPUtime=2.91 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 8312 0 0 0 282 9 0 0 25 0 3 0 892114504 151212032 7912 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 36917 7912 181 372 0 36542 0
[pid=1541/tid=1543] ppid=1539 vsize=147668 CPUtime=1.41 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 3174 0 0 0 134 7 0 0 18 0 3 0 892114512 151212032 7912 33554432000 4194304 5714118 140733882686320 18446744073709551615 4309149 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=147668 CPUtime=1.41 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 1688 0 0 0 140 1 0 0 25 0 3 0 892114512 151212032 7912 33554432000 4194304 5714118 140733882686320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 147668
[startup+3.10087 s]
/proc/loadavg: 3.53 3.86 3.88 5/182 1544
/proc/meminfo: memFree=12804856/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=147668 CPUtime=6.11 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 10786 0 0 0 595 16 0 0 25 0 3 0 892114504 151212032 10386 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 36917 10386 181 372 0 36542 0
[pid=1541/tid=1543] ppid=1539 vsize=147668 CPUtime=3.01 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 4600 0 0 0 288 13 0 0 19 0 3 0 892114512 151212032 10386 33554432000 4194304 5714118 140733882686320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=147668 CPUtime=3.02 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 2736 0 0 0 300 2 0 0 25 0 3 0 892114512 151212032 10386 33554432000 4194304 5714118 140733882686320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 147668
[startup+6.3003 s]
/proc/loadavg: 3.57 3.87 3.88 5/182 1544
/proc/meminfo: memFree=12786008/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=147668 CPUtime=12.51 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 12915 0 0 0 1229 22 0 0 25 0 3 0 892114504 151212032 12515 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 36917 12515 181 372 0 36542 0
[pid=1541/tid=1543] ppid=1539 vsize=147668 CPUtime=6.22 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 5585 0 0 0 604 18 0 0 22 0 3 0 892114512 151212032 12515 33554432000 4194304 5714118 140733882686320 18446744073709551615 4309465 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=147668 CPUtime=6.21 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 3880 0 0 0 618 3 0 0 25 0 3 0 892114512 151212032 12515 33554432000 4194304 5714118 140733882686320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 147668
[startup+12.7012 s]
/proc/loadavg: 3.60 3.87 3.88 5/182 1545
/proc/meminfo: memFree=12741800/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=147668 CPUtime=25.31 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 23360 0 0 0 2494 37 0 0 25 0 3 0 892114504 151212032 22960 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 36917 22960 181 372 0 36542 0
[pid=1541/tid=1543] ppid=1539 vsize=147668 CPUtime=12.61 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 11789 0 0 0 1230 31 0 0 18 0 3 0 892114512 151212032 22960 33554432000 4194304 5714118 140733882686320 18446744073709551615 4309520 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=147668 CPUtime=12.62 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 8121 0 0 0 1257 5 0 0 25 0 3 0 892114512 151212032 22960 33554432000 4194304 5714118 140733882686320 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 147668
[startup+25.5009 s]
/proc/loadavg: 3.69 3.87 3.88 5/182 1545
/proc/meminfo: memFree=12664912/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=213204 CPUtime=50.92 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 39204 0 0 0 5032 60 0 0 25 0 3 0 892114504 218320896 38804 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 53301 38804 182 372 0 52926 0
[pid=1541/tid=1543] ppid=1539 vsize=213204 CPUtime=25.42 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 19496 0 0 0 2492 50 0 0 25 0 3 0 892114512 218320896 38804 33554432000 4194304 5714118 140733882686320 18446744073709551615 4320064 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=213204 CPUtime=25.42 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 16258 0 0 0 2533 9 0 0 25 0 3 0 892114512 218320896 38804 33554432000 4194304 5714118 140733882686320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 213204
[startup+51.1004 s]
/proc/loadavg: 3.79 3.88 3.88 5/182 1546
/proc/meminfo: memFree=12651496/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=278900 CPUtime=102.11 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 40810 0 0 0 10136 75 0 0 25 0 3 0 892114504 285593600 40410 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 69725 40410 182 372 0 69350 0
[pid=1541/tid=1543] ppid=1539 vsize=278900 CPUtime=51.02 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 20125 0 0 0 5042 60 0 0 25 0 3 0 892114512 285593600 40410 33554432000 4194304 5714118 140733882686320 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=278900 CPUtime=51.01 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 17235 0 0 0 5087 14 0 0 25 0 3 0 892114512 285593600 40410 33554432000 4194304 5714118 140733882686320 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 278900
[startup+102.306 s]
/proc/loadavg: 3.91 3.90 3.89 5/182 1547
/proc/meminfo: memFree=12612012/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=280912 CPUtime=204.52 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 44335 0 0 0 20349 103 0 0 25 0 3 0 892114504 287653888 43607 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 70228 43607 182 372 0 69853 0
[pid=1541/tid=1543] ppid=1539 vsize=280912 CPUtime=102.22 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 22949 0 0 0 10142 80 0 0 25 0 3 0 892114512 287653888 43607 33554432000 4194304 5714118 140733882686320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=280912 CPUtime=102.22 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 17936 0 0 0 10200 22 0 0 25 0 3 0 892114512 287653888 43607 33554432000 4194304 5714118 140733882686320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 280912
[startup+162.301 s]
/proc/loadavg: 3.96 3.91 3.89 5/182 1549
/proc/meminfo: memFree=12562628/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=281944 CPUtime=324.51 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 46882 0 0 0 32320 131 0 0 25 0 3 0 892114504 288710656 45995 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 70486 45995 182 372 0 70111 0
[pid=1541/tid=1543] ppid=1539 vsize=281944 CPUtime=162.22 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 25253 0 0 0 16121 101 0 0 25 0 3 0 892114512 288710656 45995 33554432000 4194304 5714118 140733882686320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=281944 CPUtime=162.21 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 18179 0 0 0 16192 29 0 0 25 0 3 0 892114512 288710656 45995 33554432000 4194304 5714118 140733882686320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 281944
[startup+222.3 s]
/proc/loadavg: 3.98 3.93 3.90 5/182 1550
/proc/meminfo: memFree=12476424/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=348828 CPUtime=444.52 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 57539 0 0 0 44266 186 0 0 25 0 3 0 892114504 357199872 56652 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 87207 56652 182 372 0 86832 0
[pid=1541/tid=1543] ppid=1539 vsize=348828 CPUtime=222.22 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 35610 0 0 0 22079 143 0 0 25 0 3 0 892114512 357199872 56652 33554432000 4194304 5714118 140733882686320 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=348828 CPUtime=222.22 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 18479 0 0 0 22180 42 0 0 25 0 3 0 892114512 357199872 56652 33554432000 4194304 5714118 140733882686320 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.52
Current children cumulated vsize (KiB) 348828
[startup+282.301 s]
/proc/loadavg: 3.99 3.94 3.91 5/182 1552
/proc/meminfo: memFree=12351916/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=349652 CPUtime=564.52 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 83912 0 0 0 56205 247 0 0 25 0 3 0 892114504 358043648 83025 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 87413 83025 182 372 0 87038 0
[pid=1541/tid=1543] ppid=1539 vsize=349652 CPUtime=282.22 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 49436 0 0 0 28029 193 0 0 25 0 3 0 892114512 358043648 83025 33554432000 4194304 5714118 140733882686320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=349652 CPUtime=282.21 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 31026 0 0 0 28168 53 0 0 25 0 3 0 892114512 358043648 83025 33554432000 4194304 5714118 140733882686320 18446744073709551615 4319372 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.52
Current children cumulated vsize (KiB) 349652
[startup+342.301 s]
/proc/loadavg: 4.10 3.98 3.92 5/182 1553
/proc/meminfo: memFree=12312716/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=349888 CPUtime=684.53 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 87118 0 0 0 68189 264 0 0 25 0 3 0 892114504 358285312 86161 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 87472 86161 182 372 0 87097 0
[pid=1541/tid=1543] ppid=1539 vsize=349888 CPUtime=342.22 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 49445 0 0 0 34021 201 0 0 25 0 3 0 892114512 358285312 86161 33554432000 4194304 5714118 140733882686320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=349888 CPUtime=342.22 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 34223 0 0 0 34161 61 0 0 25 0 3 0 892114512 358285312 86161 33554432000 4194304 5714118 140733882686320 18446744073709551615 4309344 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.53
Current children cumulated vsize (KiB) 349888
[startup+402.301 s]
/proc/loadavg: 4.04 3.98 3.92 5/182 1555
/proc/meminfo: memFree=12242388/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=481300 CPUtime=804.53 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 99354 0 0 0 80147 306 0 0 25 0 3 0 892114504 492851200 98288 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 120325 98288 182 372 0 119950 0
[pid=1541/tid=1543] ppid=1539 vsize=481300 CPUtime=402.23 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 59620 0 0 0 39986 237 0 0 25 0 3 0 892114512 492851200 98288 33554432000 4194304 5714118 140733882686320 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=481300 CPUtime=402.22 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 36284 0 0 0 40154 68 0 0 25 0 3 0 892114512 492851200 98288 33554432000 4194304 5714118 140733882686320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.53
Current children cumulated vsize (KiB) 481300
[startup+462.301 s]
/proc/loadavg: 4.01 3.98 3.92 5/182 1557
/proc/meminfo: memFree=12209132/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=481592 CPUtime=924.53 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 103133 0 0 0 92127 326 0 0 25 0 3 0 892114504 493150208 102067 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 120398 102067 182 372 0 120023 0
[pid=1541/tid=1543] ppid=1539 vsize=481592 CPUtime=462.23 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 59626 0 0 0 45975 248 0 0 25 0 3 0 892114512 493150208 102067 33554432000 4194304 5714118 140733882686320 18446744073709551615 4309465 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=481592 CPUtime=462.23 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 40057 0 0 0 46145 78 0 0 25 0 3 0 892114512 493150208 102067 33554432000 4194304 5714118 140733882686320 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.53
Current children cumulated vsize (KiB) 481592
[startup+522.301 s]
/proc/loadavg: 4.00 3.98 3.92 5/182 1558
/proc/meminfo: memFree=12179472/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=482592 CPUtime=1044.53 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 103417 0 0 0 104104 349 0 0 25 0 3 0 892114504 494174208 102351 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 120648 102351 182 372 0 120273 0
[pid=1541/tid=1543] ppid=1539 vsize=482592 CPUtime=522.23 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 59627 0 0 0 51963 260 0 0 25 0 3 0 892114512 494174208 102351 33554432000 4194304 5714118 140733882686320 18446744073709551615 4323002 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=482592 CPUtime=522.22 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 40340 0 0 0 52134 88 0 0 25 0 3 0 892114512 494174208 102351 33554432000 4194304 5714118 140733882686320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.53
Current children cumulated vsize (KiB) 482592
[startup+582.301 s]
/proc/loadavg: 4.00 3.98 3.92 5/182 1560
/proc/meminfo: memFree=12154780/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=483052 CPUtime=1164.54 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 104299 0 0 0 116084 370 0 0 25 0 3 0 892114504 494645248 103233 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 120763 103233 182 372 0 120388 0
[pid=1541/tid=1543] ppid=1539 vsize=483052 CPUtime=582.23 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 60434 0 0 0 57953 270 0 0 25 0 3 0 892114512 494645248 103233 33554432000 4194304 5714118 140733882686320 18446744073709551615 4309483 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=483052 CPUtime=582.23 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 40415 0 0 0 58124 99 0 0 25 0 3 0 892114512 494645248 103233 33554432000 4194304 5714118 140733882686320 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.54
Current children cumulated vsize (KiB) 483052
[startup+642.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/182 1561
/proc/meminfo: memFree=12131924/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=483052 CPUtime=1284.55 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 104304 0 0 0 128066 389 0 0 25 0 3 0 892114504 494645248 103238 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 120763 103238 182 372 0 120388 0
[pid=1541/tid=1543] ppid=1539 vsize=483052 CPUtime=642.23 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 60434 0 0 0 63943 280 0 0 25 0 3 0 892114512 494645248 103238 33554432000 4194304 5714118 140733882686320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=483052 CPUtime=642.24 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 40420 0 0 0 64116 108 0 0 25 0 3 0 892114512 494645248 103238 33554432000 4194304 5714118 140733882686320 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.55
Current children cumulated vsize (KiB) 483052
[startup+702.301 s]
/proc/loadavg: 4.00 3.98 3.92 5/182 1563
/proc/meminfo: memFree=12126688/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=483052 CPUtime=1404.55 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 104308 0 0 0 140038 417 0 0 25 0 3 0 892114504 494645248 103242 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 120763 103242 182 372 0 120388 0
[pid=1541/tid=1543] ppid=1539 vsize=483052 CPUtime=702.23 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 60434 0 0 0 69925 298 0 0 25 0 3 0 892114512 494645248 103242 33554432000 4194304 5714118 140733882686320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=483052 CPUtime=702.23 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 40424 0 0 0 70105 118 0 0 25 0 3 0 892114512 494645248 103242 33554432000 4194304 5714118 140733882686320 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.55
Current children cumulated vsize (KiB) 483052
[startup+762.306 s]
/proc/loadavg: 4.00 3.98 3.92 5/182 1606
/proc/meminfo: memFree=12075592/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=483968 CPUtime=1524.55 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 104527 0 0 0 152006 449 0 0 25 0 3 0 892114504 495583232 103461 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 120992 103461 182 372 0 120617 0
[pid=1541/tid=1543] ppid=1539 vsize=483968 CPUtime=762.24 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 60434 0 0 0 75909 315 0 0 25 0 3 0 892114512 495583232 103461 33554432000 4194304 5714118 140733882686320 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=483968 CPUtime=762.24 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 40643 0 0 0 76090 134 0 0 25 0 3 0 892114512 495583232 103461 33554432000 4194304 5714118 140733882686320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.55
Current children cumulated vsize (KiB) 483968
[startup+822.301 s]
/proc/loadavg: 4.00 3.98 3.92 5/182 1607
/proc/meminfo: memFree=11584036/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=484328 CPUtime=1644.55 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 105577 0 0 0 163970 485 0 0 25 0 3 0 892114504 495951872 104511 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 121082 104511 182 372 0 120707 0
[pid=1541/tid=1543] ppid=1539 vsize=484328 CPUtime=822.23 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 61420 0 0 0 81886 337 0 0 25 0 3 0 892114512 495951872 104511 33554432000 4194304 5714118 140733882686320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=484328 CPUtime=822.23 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 40707 0 0 0 82076 147 0 0 25 0 3 0 892114512 495951872 104511 33554432000 4194304 5714118 140733882686320 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.55
Current children cumulated vsize (KiB) 484328
[startup+882.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/182 1609
/proc/meminfo: memFree=11035960/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=484656 CPUtime=1764.55 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 110167 0 0 0 175921 534 0 0 25 0 3 0 892114504 496287744 109101 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 121164 109101 182 372 0 120789 0
[pid=1541/tid=1543] ppid=1539 vsize=484656 CPUtime=882.24 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 65949 0 0 0 87853 371 0 0 25 0 3 0 892114512 496287744 109101 33554432000 4194304 5714118 140733882686320 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=484656 CPUtime=882.23 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 40768 0 0 0 88061 162 0 0 25 0 3 0 892114512 496287744 109101 33554432000 4194304 5714118 140733882686320 18446744073709551615 4323026 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.55
Current children cumulated vsize (KiB) 484656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.07 3.99 3.92 5/182 1609
/proc/meminfo: memFree=10936364/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=484656 CPUtime=1800.15 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 110179 0 0 0 179472 543 0 0 25 0 3 0 892114504 496287744 109113 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 121164 109113 182 372 0 120789 0
[pid=1541/tid=1543] ppid=1539 vsize=484656 CPUtime=900.04 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 65961 0 0 0 89630 374 0 0 25 0 3 0 892114512 496287744 109113 33554432000 4194304 5714118 140733882686320 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=484656 CPUtime=900.03 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 40768 0 0 0 89835 168 0 0 25 0 3 0 892114512 496287744 109113 33554432000 4194304 5714118 140733882686320 18446744073709551615 4309180 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 484656
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.07 3.99 3.92 5/182 1609
/proc/meminfo: memFree=10936364/32951124 swapFree=67055536/67111528
[pid=1541] ppid=1539 vsize=484656 CPUtime=1800.15 cores=0,2,4,6
/proc/1541/stat : 1541 (pwbo1.1) S 1539 1541 306 0 -1 4202496 110179 0 0 0 179472 543 0 0 25 0 3 0 892114504 496287744 109113 33554432000 4194304 5714118 140733882686320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1541/statm: 121164 109113 182 372 0 120789 0
[pid=1541/tid=1543] ppid=1539 vsize=484656 CPUtime=900.04 cores=0,2,4,6
/proc/1541/task/1543/stat : 1543 (pwbo1.1) R 1539 1541 306 0 -1 4202560 65961 0 0 0 89630 374 0 0 25 0 3 0 892114512 496287744 109113 33554432000 4194304 5714118 140733882686320 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=484656 CPUtime=900.03 cores=0,2,4,6
/proc/1541/task/1544/stat : 1544 (pwbo1.1) R 1539 1541 306 0 -1 4202560 40768 0 0 0 89835 168 0 0 25 0 3 0 892114512 496287744 109113 33554432000 4194304 5714118 140733882686320 18446744073709551615 4309180 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 484656
Child status: 0
Real time (s): 900.131
CPU time (s): 1800.2
CPU user time (s): 1794.74
CPU system time (s): 5.45717
CPU usage (%): 199.993
Max. virtual memory (cumulated for all children) (KiB): 484656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.74
system time used= 5.45717
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110183
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= 260
involuntary context switches= 12892
runsolver used 1.58276 second user time and 2.93055 second system time
The end