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-3500593-1307996907/watcher-3500593-1307996907 -o /var/tmp/evaluation-result-3500593-1307996907/solver-3500593-1307996907 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500593-1307996907.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: 1.36 2.77 3.44 1/172 12891
/proc/meminfo: memFree=8315084/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=3392 CPUtime=0 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) R 12889 12891 11319 0 -1 4202496 563 0 0 0 0 0 0 0 23 0 1 0 989921465 3473408 515 33554432000 4194304 5714118 140734565768240 18446744073709551615 4228371 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12891/statm: 848 515 168 372 0 394 0
[startup+0.0477099 s]
/proc/loadavg: 1.36 2.77 3.44 1/172 12891
/proc/meminfo: memFree=8315084/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=139636 CPUtime=0.06 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 2515 0 0 0 6 0 0 0 23 0 3 0 989921465 142987264 2388 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 34909 2388 181 372 0 34534 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 139636
[startup+0.100698 s]
/proc/loadavg: 1.36 2.77 3.44 1/172 12891
/proc/meminfo: memFree=8315084/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=139636 CPUtime=0.16 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 2625 0 0 0 16 0 0 0 23 0 3 0 989921465 142987264 2498 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 34909 2498 181 372 0 34534 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 139636
[startup+0.300685 s]
/proc/loadavg: 1.36 2.77 3.44 1/172 12891
/proc/meminfo: memFree=8315084/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=139636 CPUtime=0.55 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 3069 0 0 0 55 0 0 0 23 0 3 0 989921465 142987264 2942 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 34909 2942 181 372 0 34534 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 139636
[startup+0.700593 s]
/proc/loadavg: 1.36 2.77 3.44 1/172 12891
/proc/meminfo: memFree=8315084/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=139636 CPUtime=1.35 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 4099 0 0 0 134 1 0 0 23 0 3 0 989921465 142987264 3972 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 34909 3972 181 372 0 34534 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 139636
[startup+1.50045 s]
/proc/loadavg: 1.41 2.75 3.43 3/175 12894
/proc/meminfo: memFree=8296244/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=139636 CPUtime=2.95 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 5643 0 0 0 291 4 0 0 23 0 3 0 989921465 142987264 5516 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 34909 5516 181 372 0 34534 0
[pid=12891/tid=12893] ppid=12889 vsize=139636 CPUtime=1.46 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 2422 0 0 0 144 2 0 0 25 0 3 0 989921468 142987264 5516 33554432000 4194304 5714118 140734565768240 18446744073709551615 4200608 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=139636 CPUtime=1.45 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 1618 0 0 0 143 2 0 0 25 0 3 0 989921468 142987264 5516 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 139636
[startup+3.10017 s]
/proc/loadavg: 1.41 2.75 3.43 3/175 12894
/proc/meminfo: memFree=8288028/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=139924 CPUtime=6.15 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 7623 0 0 0 604 11 0 0 23 0 3 0 989921465 143282176 7496 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 34981 7496 181 372 0 34606 0
[pid=12891/tid=12893] ppid=12889 vsize=139924 CPUtime=3.06 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 3465 0 0 0 301 5 0 0 25 0 3 0 989921468 143282176 7496 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=139924 CPUtime=3.06 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 2555 0 0 0 300 6 0 0 25 0 3 0 989921468 143282176 7496 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 139924
[startup+6.30062 s]
/proc/loadavg: 1.41 2.75 3.43 3/175 12934
/proc/meminfo: memFree=8283708/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=139924 CPUtime=12.56 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 8291 0 0 0 1237 19 0 0 23 0 3 0 989921465 143282176 8164 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 34981 8164 181 372 0 34606 0
[pid=12891/tid=12893] ppid=12889 vsize=139924 CPUtime=6.26 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 4122 0 0 0 617 9 0 0 25 0 3 0 989921468 143282176 8164 33554432000 4194304 5714118 140734565768240 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=139924 CPUtime=6.26 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 2566 0 0 0 617 9 0 0 25 0 3 0 989921468 143282176 8164 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 139924
[startup+12.7005 s]
/proc/loadavg: 1.66 2.76 3.43 5/182 12950
/proc/meminfo: memFree=8251840/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=140336 CPUtime=25.36 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 10911 0 0 0 2505 31 0 0 23 0 3 0 989921465 143704064 10784 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 35084 10784 182 372 0 34709 0
[pid=12891/tid=12893] ppid=12889 vsize=140336 CPUtime=12.66 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 5891 0 0 0 1251 15 0 0 25 0 3 0 989921468 143704064 10784 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=140336 CPUtime=12.65 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 3417 0 0 0 1250 15 0 0 25 0 3 0 989921468 143704064 10784 33554432000 4194304 5714118 140734565768240 18446744073709551615 4322824 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 140336
[startup+25.5003 s]
/proc/loadavg: 2.02 2.80 3.43 5/182 12951
/proc/meminfo: memFree=8200212/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=141332 CPUtime=50.95 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 18741 0 0 0 5050 45 0 0 23 0 3 0 989921465 144723968 18614 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 35333 18614 182 372 0 34958 0
[pid=12891/tid=12893] ppid=12889 vsize=141332 CPUtime=25.46 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 9916 0 0 0 2523 23 0 0 25 0 3 0 989921468 144723968 18614 33554432000 4194304 5714118 140734565768240 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=141332 CPUtime=25.46 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 7222 0 0 0 2524 22 0 0 25 0 3 0 989921468 144723968 18614 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 141332
[startup+51.1008 s]
/proc/loadavg: 2.69 2.90 3.45 5/182 12951
/proc/meminfo: memFree=8158504/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=142472 CPUtime=102.16 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 21532 0 0 0 10148 68 0 0 23 0 3 0 989921465 145891328 21372 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 35618 21372 182 372 0 35243 0
[pid=12891/tid=12893] ppid=12889 vsize=142472 CPUtime=51.06 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 12466 0 0 0 5070 36 0 0 25 0 3 0 989921468 145891328 21372 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=142472 CPUtime=51.05 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 7463 0 0 0 5074 31 0 0 25 0 3 0 989921468 145891328 21372 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 142472
[startup+102.307 s]
/proc/loadavg: 3.48 3.08 3.48 5/182 12953
/proc/meminfo: memFree=8073276/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=211152 CPUtime=204.57 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 34024 0 0 0 20325 132 0 0 23 0 3 0 989921465 216219648 33829 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 52788 33829 182 372 0 52413 0
[pid=12891/tid=12893] ppid=12889 vsize=211152 CPUtime=102.27 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 21107 0 0 0 10159 68 0 0 25 0 3 0 989921468 216219648 33829 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=211152 CPUtime=102.26 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 11314 0 0 0 10163 63 0 0 25 0 3 0 989921468 216219648 33829 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (KiB) 211152
[startup+162.3 s]
/proc/loadavg: 3.81 3.24 3.50 5/182 12954
/proc/meminfo: memFree=7914760/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=343300 CPUtime=324.55 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 61456 0 0 0 32279 176 0 0 23 0 3 0 989921465 351539200 61254 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 85825 61254 182 372 0 85450 0
[pid=12891/tid=12893] ppid=12889 vsize=343300 CPUtime=162.27 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 38100 0 0 0 16134 93 0 0 25 0 3 0 989921468 351539200 61254 33554432000 4194304 5714118 140734565768240 18446744073709551615 4309073 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=343300 CPUtime=162.25 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 21753 0 0 0 16142 83 0 0 25 0 3 0 989921468 351539200 61254 33554432000 4194304 5714118 140734565768240 18446744073709551615 4309520 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) 343300
[startup+222.301 s]
/proc/loadavg: 3.97 3.39 3.54 5/182 12956
/proc/meminfo: memFree=7874292/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=343888 CPUtime=444.55 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 62807 0 0 0 44253 202 0 0 23 0 3 0 989921465 352141312 62581 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 85972 62581 182 372 0 85597 0
[pid=12891/tid=12893] ppid=12889 vsize=343888 CPUtime=222.26 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 38810 0 0 0 22120 106 0 0 25 0 3 0 989921468 352141312 62581 33554432000 4194304 5714118 140734565768240 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=343888 CPUtime=222.26 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 22394 0 0 0 22130 96 0 0 25 0 3 0 989921468 352141312 62581 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 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) 343888
[startup+282.3 s]
/proc/loadavg: 3.99 3.50 3.56 5/182 12958
/proc/meminfo: memFree=7834204/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=344876 CPUtime=564.56 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 63035 0 0 0 56191 265 0 0 23 0 3 0 989921465 353153024 62797 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 86219 62797 182 372 0 85844 0
[pid=12891/tid=12893] ppid=12889 vsize=344876 CPUtime=282.27 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 38814 0 0 0 28091 136 0 0 25 0 3 0 989921468 353153024 62797 33554432000 4194304 5714118 140734565768240 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=344876 CPUtime=282.26 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 22618 0 0 0 28097 129 0 0 25 0 3 0 989921468 353153024 62797 33554432000 4194304 5714118 140734565768240 18446744073709551615 4322968 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) 344876
[startup+342.301 s]
/proc/loadavg: 3.99 3.59 3.59 5/182 12959
/proc/meminfo: memFree=7796688/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=345572 CPUtime=684.56 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 63193 0 0 0 68108 348 0 0 23 0 3 0 989921465 353865728 62955 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 86393 62955 182 372 0 86018 0
[pid=12891/tid=12893] ppid=12889 vsize=345572 CPUtime=342.27 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 38814 0 0 0 34052 175 0 0 25 0 3 0 989921468 353865728 62955 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=345572 CPUtime=342.25 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 22776 0 0 0 34053 172 0 0 25 0 3 0 989921468 353865728 62955 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.56
Current children cumulated vsize (KiB) 345572
[startup+402.3 s]
/proc/loadavg: 3.99 3.66 3.61 5/182 12961
/proc/meminfo: memFree=7715532/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=412608 CPUtime=804.57 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 74409 0 0 0 80066 391 0 0 23 0 3 0 989921465 422510592 74171 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 103152 74171 182 372 0 102777 0
[pid=12891/tid=12893] ppid=12889 vsize=412608 CPUtime=402.27 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 49776 0 0 0 40027 200 0 0 25 0 3 0 989921468 422510592 74171 33554432000 4194304 5714118 140734565768240 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=412608 CPUtime=402.26 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 23030 0 0 0 40036 190 0 0 25 0 3 0 989921468 422510592 74171 33554432000 4194304 5714118 140734565768240 18446744073709551615 4310902 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.57
Current children cumulated vsize (KiB) 412608
[startup+462.301 s]
/proc/loadavg: 3.99 3.72 3.63 5/182 12962
/proc/meminfo: memFree=7652364/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=413056 CPUtime=924.57 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 79098 0 0 0 92037 420 0 0 23 0 3 0 989921465 422969344 78860 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 103264 78860 182 372 0 102889 0
[pid=12891/tid=12893] ppid=12889 vsize=413056 CPUtime=462.27 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 54419 0 0 0 46012 215 0 0 25 0 3 0 989921468 422969344 78860 33554432000 4194304 5714118 140734565768240 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=413056 CPUtime=462.26 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 23076 0 0 0 46022 204 0 0 25 0 3 0 989921468 422969344 78860 33554432000 4194304 5714118 140734565768240 18446744073709551615 4320105 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.57
Current children cumulated vsize (KiB) 413056
[startup+522.3 s]
/proc/loadavg: 3.99 3.77 3.65 5/182 12964
/proc/meminfo: memFree=7618856/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=413340 CPUtime=1044.57 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 79160 0 0 0 103998 459 0 0 23 0 3 0 989921465 423260160 78551 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 103335 78551 182 372 0 102960 0
[pid=12891/tid=12893] ppid=12889 vsize=413340 CPUtime=522.27 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 54427 0 0 0 51991 236 0 0 25 0 3 0 989921468 423260160 78551 33554432000 4194304 5714118 140734565768240 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=413340 CPUtime=522.25 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 23130 0 0 0 52003 222 0 0 25 0 3 0 989921468 423260160 78551 33554432000 4194304 5714118 140734565768240 18446744073709551615 4309468 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.57
Current children cumulated vsize (KiB) 413340
[startup+582.301 s]
/proc/loadavg: 3.99 3.81 3.67 5/182 12966
/proc/meminfo: memFree=7580500/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=413692 CPUtime=1164.57 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 79873 0 0 0 115946 511 0 0 23 0 3 0 989921465 423620608 79264 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 103423 79264 182 372 0 103048 0
[pid=12891/tid=12893] ppid=12889 vsize=413692 CPUtime=582.27 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 55102 0 0 0 57965 262 0 0 25 0 3 0 989921468 423620608 79264 33554432000 4194304 5714118 140734565768240 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=413692 CPUtime=582.26 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 23168 0 0 0 57977 249 0 0 25 0 3 0 989921468 423620608 79264 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.57
Current children cumulated vsize (KiB) 413692
[startup+642.3 s]
/proc/loadavg: 3.99 3.84 3.69 5/182 12970
/proc/meminfo: memFree=7539748/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=415300 CPUtime=1284.59 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 81303 0 0 0 127862 597 0 0 23 0 3 0 989921465 425267200 80694 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 103825 80694 182 372 0 103450 0
[pid=12891/tid=12893] ppid=12889 vsize=415300 CPUtime=642.28 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 56302 0 0 0 63926 302 0 0 25 0 3 0 989921468 425267200 80694 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=415300 CPUtime=642.26 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 23398 0 0 0 63932 294 0 0 25 0 3 0 989921468 425267200 80694 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.59
Current children cumulated vsize (KiB) 415300
[startup+702.301 s]
/proc/loadavg: 3.99 3.87 3.71 5/182 12972
/proc/meminfo: memFree=7480880/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=415736 CPUtime=1404.58 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 87539 0 0 0 139784 674 0 0 23 0 3 0 989921465 425713664 86930 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 103934 86930 182 372 0 103559 0
[pid=12891/tid=12893] ppid=12889 vsize=415736 CPUtime=702.28 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 62482 0 0 0 69887 341 0 0 25 0 3 0 989921468 425713664 86930 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=415736 CPUtime=702.26 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 23454 0 0 0 69894 332 0 0 25 0 3 0 989921468 425713664 86930 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.58
Current children cumulated vsize (KiB) 415736
[startup+762.306 s]
/proc/loadavg: 3.99 3.89 3.72 5/182 12973
/proc/meminfo: memFree=7431228/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=481440 CPUtime=1524.6 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 91328 0 0 0 151712 748 0 0 23 0 3 0 989921465 492994560 90719 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 120360 90719 182 372 0 119985 0
[pid=12891/tid=12893] ppid=12889 vsize=481440 CPUtime=762.28 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 66222 0 0 0 75848 380 0 0 25 0 3 0 989921468 492994560 90719 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=481440 CPUtime=762.27 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 23503 0 0 0 75860 367 0 0 25 0 3 0 989921468 492994560 90719 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.6
Current children cumulated vsize (KiB) 481440
[startup+822.301 s]
/proc/loadavg: 3.99 3.91 3.74 5/182 12975
/proc/meminfo: memFree=7373516/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=481868 CPUtime=1644.58 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 98286 0 0 0 163626 832 0 0 23 0 3 0 989921465 493432832 97673 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 120467 97673 182 372 0 120092 0
[pid=12891/tid=12893] ppid=12889 vsize=481868 CPUtime=822.28 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 73092 0 0 0 81806 422 0 0 25 0 3 0 989921468 493432832 97673 33554432000 4194304 5714118 140734565768240 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=481868 CPUtime=822.27 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 23591 0 0 0 81817 410 0 0 25 0 3 0 989921468 493432832 97673 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.58
Current children cumulated vsize (KiB) 481868
[startup+882.3 s]
/proc/loadavg: 3.99 3.92 3.75 5/182 12977
/proc/meminfo: memFree=7255556/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=549008 CPUtime=1764.58 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 119226 0 0 0 175568 890 0 0 23 0 3 0 989921465 562184192 118613 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 137252 118613 182 372 0 136877 0
[pid=12891/tid=12893] ppid=12889 vsize=549008 CPUtime=882.28 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 88616 0 0 0 87771 457 0 0 25 0 3 0 989921468 562184192 118613 33554432000 4194304 5714118 140734565768240 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=549008 CPUtime=882.27 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 29007 0 0 0 87794 433 0 0 25 0 3 0 989921468 562184192 118613 33554432000 4194304 5714118 140734565768240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.58
Current children cumulated vsize (KiB) 549008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 3.99 3.92 3.75 5/182 12977
/proc/meminfo: memFree=7240296/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=549148 CPUtime=1800.2 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 119933 0 0 0 179115 905 0 0 23 0 3 0 989921465 562327552 119248 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 137287 119248 182 372 0 136912 0
[pid=12891/tid=12893] ppid=12889 vsize=549148 CPUtime=900.08 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 89288 0 0 0 89544 464 0 0 25 0 3 0 989921468 562327552 119248 33554432000 4194304 5714118 140734565768240 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=549148 CPUtime=900.08 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 29042 0 0 0 89568 440 0 0 25 0 3 0 989921468 562327552 119248 33554432000 4194304 5714118 140734565768240 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 549148
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: 3.99 3.92 3.75 5/182 12977
/proc/meminfo: memFree=7240296/32950940 swapFree=67053420/67111528
[pid=12891] ppid=12889 vsize=549148 CPUtime=1800.2 cores=1,3,5,7
/proc/12891/stat : 12891 (pwbo1.1) S 12889 12891 11319 0 -1 4202496 119933 0 0 0 179115 905 0 0 23 0 3 0 989921465 562327552 119248 33554432000 4194304 5714118 140734565768240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12891/statm: 137287 119248 182 372 0 136912 0
[pid=12891/tid=12893] ppid=12889 vsize=549148 CPUtime=900.08 cores=1,3,5,7
/proc/12891/task/12893/stat : 12893 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 89288 0 0 0 89544 464 0 0 25 0 3 0 989921468 562327552 119248 33554432000 4194304 5714118 140734565768240 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12891/tid=12894] ppid=12889 vsize=549148 CPUtime=900.08 cores=1,3,5,7
/proc/12891/task/12894/stat : 12894 (pwbo1.1) R 12889 12891 11319 0 -1 4202560 29042 0 0 0 89568 440 0 0 25 0 3 0 989921468 562327552 119248 33554432000 4194304 5714118 140734565768240 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 549148
Child status: 0
Real time (s): 900.132
CPU time (s): 1800.24
CPU user time (s): 1791.17
CPU system time (s): 9.07262
CPU usage (%): 199.997
Max. virtual memory (cumulated for all children) (KiB): 549148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.17
system time used= 9.07262
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119937
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= 265
involuntary context switches= 3527
runsolver used 1.39779 second user time and 3.10253 second system time
The end