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-3500410-1307994894/watcher-3500410-1307994894 -o /tmp/evaluation-result-3500410-1307994894/solver-3500410-1307994894 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500410-1307994894.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.84 3.97 3.90 1/170 11760
/proc/meminfo: memFree=28754076/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=136492 CPUtime=0 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 996 0 0 0 0 0 0 0 25 0 3 0 911089032 139767808 926 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 34123 929 178 372 0 33748 0
[pid=11760/tid=11761] ppid=11758 vsize=136492 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 104 0 0 0 0 0 0 0 25 0 3 0 911089032 139767808 948 33554432000 4194304 5714118 140733388650352 18446744073709551615 4964882 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=136492 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 574 0 0 0 0 0 0 0 25 0 3 0 911089032 139767808 951 33554432000 4194304 5714118 140733388650352 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 4 0 0 0
[startup+0.0281601 s]
/proc/loadavg: 3.84 3.97 3.90 1/170 11760
/proc/meminfo: memFree=28754076/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=136492 CPUtime=0.05 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 1323 0 0 0 4 1 0 0 25 0 3 0 911089032 139767808 1253 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 34123 1253 179 372 0 33748 0
[pid=11760/tid=11761] ppid=11758 vsize=136492 CPUtime=0.02 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 154 0 0 0 2 0 0 0 25 0 3 0 911089032 139767808 1253 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=136492 CPUtime=0.01 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 826 0 0 0 1 0 0 0 25 0 3 0 911089032 139767808 1253 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 136492
[startup+0.101149 s]
/proc/loadavg: 3.84 3.97 3.90 1/170 11760
/proc/meminfo: memFree=28754076/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=136492 CPUtime=0.19 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 1598 0 0 0 17 2 0 0 25 0 3 0 911089032 139767808 1528 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 34123 1528 179 372 0 33748 0
[pid=11760/tid=11761] ppid=11758 vsize=136492 CPUtime=0.08 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 349 0 0 0 8 0 0 0 25 0 3 0 911089032 139767808 1528 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=136492 CPUtime=0.09 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 906 0 0 0 8 1 0 0 25 0 3 0 911089032 139767808 1528 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 136492
[startup+0.301121 s]
/proc/loadavg: 3.84 3.97 3.90 1/170 11760
/proc/meminfo: memFree=28754076/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=136492 CPUtime=0.59 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 2000 0 0 0 56 3 0 0 25 0 3 0 911089032 139767808 1930 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 34123 1930 179 372 0 33748 0
[pid=11760/tid=11761] ppid=11758 vsize=136492 CPUtime=0.28 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 560 0 0 0 27 1 0 0 25 0 3 0 911089032 139767808 1930 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=136492 CPUtime=0.28 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 1097 0 0 0 27 1 0 0 18 0 3 0 911089032 139767808 1930 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 136492
[startup+0.701053 s]
/proc/loadavg: 3.84 3.97 3.90 1/170 11760
/proc/meminfo: memFree=28754076/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=136492 CPUtime=1.39 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 2965 0 0 0 132 7 0 0 25 0 3 0 911089032 139767808 2895 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 34123 2895 179 372 0 33748 0
[pid=11760/tid=11761] ppid=11758 vsize=136492 CPUtime=0.69 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 1264 0 0 0 66 3 0 0 18 0 3 0 911089032 139767808 2895 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=136492 CPUtime=0.69 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 1358 0 0 0 66 3 0 0 18 0 3 0 911089032 139767808 2895 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 136492
[startup+1.50092 s]
/proc/loadavg: 3.84 3.97 3.90 5/177 11803
/proc/meminfo: memFree=28705716/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=136636 CPUtime=2.98 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 4580 0 0 0 285 13 0 0 25 0 3 0 911089032 139915264 4510 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 34159 4510 179 372 0 33784 0
[pid=11760/tid=11761] ppid=11758 vsize=136636 CPUtime=1.48 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 1985 0 0 0 143 5 0 0 18 0 3 0 911089032 139915264 4510 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=136636 CPUtime=1.48 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 2252 0 0 0 141 7 0 0 18 0 3 0 911089032 139915264 4510 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 136636
[startup+3.10067 s]
/proc/loadavg: 3.84 3.97 3.90 5/177 11803
/proc/meminfo: memFree=28687528/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=136988 CPUtime=6.18 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 7447 0 0 0 595 23 0 0 25 0 3 0 911089032 140275712 7377 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 34247 7377 179 372 0 33872 0
[pid=11760/tid=11761] ppid=11758 vsize=136988 CPUtime=3.09 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 3616 0 0 0 299 10 0 0 19 0 3 0 911089032 140275712 7377 33554432000 4194304 5714118 140733388650352 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=136988 CPUtime=3.08 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 3488 0 0 0 295 13 0 0 18 0 3 0 911089032 140275712 7377 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 136988
[startup+6.30112 s]
/proc/loadavg: 3.93 3.98 3.91 5/177 11803
/proc/meminfo: memFree=28652888/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=137256 CPUtime=12.58 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 9506 0 0 0 1230 28 0 0 25 0 3 0 911089032 140550144 9436 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 34314 9436 180 372 0 33939 0
[pid=11760/tid=11761] ppid=11758 vsize=137256 CPUtime=6.29 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 5337 0 0 0 617 12 0 0 25 0 3 0 911089032 140550144 9436 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=137256 CPUtime=6.28 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 3826 0 0 0 612 16 0 0 24 0 3 0 911089032 140550144 9436 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 137256
[startup+12.701 s]
/proc/loadavg: 3.94 3.98 3.91 5/177 11803
/proc/meminfo: memFree=28630424/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=137384 CPUtime=25.38 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 10860 0 0 0 2500 38 0 0 25 0 3 0 911089032 140681216 10756 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 34346 10756 180 372 0 33971 0
[pid=11760/tid=11761] ppid=11758 vsize=137384 CPUtime=12.69 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 6204 0 0 0 1252 17 0 0 25 0 3 0 911089032 140681216 10756 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=137384 CPUtime=12.69 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 4313 0 0 0 1248 21 0 0 25 0 3 0 911089032 140681216 10756 33554432000 4194304 5714118 140733388650352 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 137384
[startup+25.5009 s]
/proc/loadavg: 3.95 3.98 3.91 5/177 11803
/proc/meminfo: memFree=28599464/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=138160 CPUtime=50.99 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 15065 0 0 0 5046 53 0 0 25 0 3 0 911089032 141475840 14961 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 34540 14961 180 372 0 34165 0
[pid=11760/tid=11761] ppid=11758 vsize=138160 CPUtime=25.49 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 8989 0 0 0 2525 24 0 0 25 0 3 0 911089032 141475840 14961 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=138160 CPUtime=25.48 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 5733 0 0 0 2520 28 0 0 25 0 3 0 911089032 141475840 14961 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 138160
[startup+51.1005 s]
/proc/loadavg: 3.97 3.98 3.91 5/177 11803
/proc/meminfo: memFree=28503088/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=139184 CPUtime=102.19 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 23498 0 0 0 10141 78 0 0 25 0 3 0 911089032 142524416 23394 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 34796 23394 180 372 0 34421 0
[pid=11760/tid=11761] ppid=11758 vsize=139184 CPUtime=51.09 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 15993 0 0 0 5070 39 0 0 25 0 3 0 911089032 142524416 23394 33554432000 4194304 5714118 140733388650352 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=139184 CPUtime=51.08 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 7162 0 0 0 5070 38 0 0 25 0 3 0 911089032 142524416 23394 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 139184
[startup+102.307 s]
/proc/loadavg: 3.98 3.98 3.91 5/177 11805
/proc/meminfo: memFree=28236980/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=206076 CPUtime=204.6 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 36621 0 0 0 20339 121 0 0 25 0 3 0 911089032 211021824 36517 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 51519 36517 180 372 0 51144 0
[pid=11760/tid=11761] ppid=11758 vsize=206076 CPUtime=102.3 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 27936 0 0 0 10170 60 0 0 25 0 3 0 911089032 211021824 36517 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=206076 CPUtime=102.29 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 8342 0 0 0 10169 60 0 0 22 0 3 0 911089032 211021824 36517 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 206076
[startup+162.301 s]
/proc/loadavg: 4.07 4.00 3.91 5/177 11807
/proc/meminfo: memFree=28033368/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=272200 CPUtime=324.58 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 45438 0 0 0 32293 165 0 0 25 0 3 0 911089032 278732800 45309 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 68050 45309 180 372 0 67675 0
[pid=11760/tid=11761] ppid=11758 vsize=272200 CPUtime=162.29 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 36162 0 0 0 16151 78 0 0 25 0 3 0 911089032 278732800 45309 33554432000 4194304 5714118 140733388650352 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=272200 CPUtime=162.29 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 8933 0 0 0 16142 87 0 0 25 0 3 0 911089032 278732800 45309 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 272200
[startup+222.301 s]
/proc/loadavg: 4.02 4.00 3.91 5/177 11809
/proc/meminfo: memFree=27849600/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=273396 CPUtime=444.59 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 54317 0 0 0 44248 211 0 0 25 0 3 0 911089032 279957504 54188 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 68349 54188 180 372 0 67974 0
[pid=11760/tid=11761] ppid=11758 vsize=273396 CPUtime=222.29 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 44248 0 0 0 22131 98 0 0 25 0 3 0 911089032 279957504 54188 33554432000 4194304 5714118 140733388650352 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=273396 CPUtime=222.28 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 9726 0 0 0 22116 112 0 0 25 0 3 0 911089032 279957504 54188 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 273396
[startup+282.301 s]
/proc/loadavg: 4.01 4.00 3.91 5/177 11809
/proc/meminfo: memFree=27704644/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=340220 CPUtime=564.58 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 62400 0 0 0 56201 257 0 0 25 0 3 0 911089032 348385280 62271 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 85055 62271 180 372 0 84680 0
[pid=11760/tid=11761] ppid=11758 vsize=340220 CPUtime=282.29 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 50612 0 0 0 28108 121 0 0 25 0 3 0 911089032 348385280 62271 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=340220 CPUtime=282.29 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 11445 0 0 0 28093 136 0 0 25 0 3 0 911089032 348385280 62271 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.58
Current children cumulated vsize (KiB) 340220
[startup+342.3 s]
/proc/loadavg: 4.04 4.01 3.92 5/177 11811
/proc/meminfo: memFree=27607180/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=340460 CPUtime=684.59 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 71301 0 0 0 68157 302 0 0 25 0 3 0 911089032 348631040 71172 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 85115 71172 180 372 0 84740 0
[pid=11760/tid=11761] ppid=11758 vsize=340460 CPUtime=342.28 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 59448 0 0 0 34087 141 0 0 25 0 3 0 911089032 348631040 71172 33554432000 4194304 5714118 140733388650352 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=340460 CPUtime=342.29 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 11510 0 0 0 34069 160 0 0 25 0 3 0 911089032 348631040 71172 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 340460
[startup+402.3 s]
/proc/loadavg: 4.01 4.01 3.92 5/177 11822
/proc/meminfo: memFree=27501828/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=406328 CPUtime=804.59 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 78661 0 0 0 80118 341 0 0 25 0 3 0 911089032 416079872 78532 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 101582 78532 180 372 0 101207 0
[pid=11760/tid=11761] ppid=11758 vsize=406328 CPUtime=402.29 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 66236 0 0 0 40072 157 0 0 25 0 3 0 911089032 416079872 78532 33554432000 4194304 5714118 140733388650352 18446744073709551615 4200768 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=406328 CPUtime=402.29 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 12082 0 0 0 40045 184 0 0 25 0 3 0 911089032 416079872 78532 33554432000 4194304 5714118 140733388650352 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 406328
[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/177 11824
/proc/meminfo: memFree=27452104/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=409056 CPUtime=924.59 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 85304 0 0 0 92076 383 0 0 25 0 3 0 911089032 418873344 85168 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 102264 85168 180 372 0 101889 0
[pid=11760/tid=11761] ppid=11758 vsize=409056 CPUtime=462.29 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 72335 0 0 0 46051 178 0 0 25 0 3 0 911089032 418873344 85168 33554432000 4194304 5714118 140733388650352 18446744073709551615 4319232 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=409056 CPUtime=462.29 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 12626 0 0 0 46025 204 0 0 25 0 3 0 911089032 418873344 85168 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.59
Current children cumulated vsize (KiB) 409056
[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/177 11826
/proc/meminfo: memFree=27412672/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=410540 CPUtime=1044.59 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 95117 0 0 0 104032 427 0 0 25 0 3 0 911089032 420392960 94975 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 102635 94975 180 372 0 102260 0
[pid=11760/tid=11761] ppid=11758 vsize=410540 CPUtime=522.28 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 80404 0 0 0 52029 199 0 0 25 0 3 0 911089032 420392960 94975 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=410540 CPUtime=522.29 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 14370 0 0 0 52002 227 0 0 25 0 3 0 911089032 420392960 94975 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.59
Current children cumulated vsize (KiB) 410540
[startup+582.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/177 11826
/proc/meminfo: memFree=27373984/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=476652 CPUtime=1164.6 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 104632 0 0 0 115995 465 0 0 25 0 3 0 911089032 488091648 104487 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 119163 104487 180 372 0 118788 0
[pid=11760/tid=11761] ppid=11758 vsize=476652 CPUtime=582.28 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 89897 0 0 0 58009 219 0 0 25 0 3 0 911089032 488091648 104487 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=476652 CPUtime=582.3 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 14392 0 0 0 57985 245 0 0 25 0 3 0 911089032 488091648 104487 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 476652
[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/177 11828
/proc/meminfo: memFree=27334424/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=480936 CPUtime=1284.6 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 114449 0 0 0 127961 499 0 0 25 0 3 0 911089032 492478464 114290 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 120234 114290 180 372 0 119859 0
[pid=11760/tid=11761] ppid=11758 vsize=480936 CPUtime=642.29 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 97813 0 0 0 63994 235 0 0 25 0 3 0 911089032 492478464 114290 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=480936 CPUtime=642.3 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 16293 0 0 0 63967 263 0 0 25 0 3 0 911089032 492478464 114290 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.6
Current children cumulated vsize (KiB) 480936
[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/177 11833
/proc/meminfo: memFree=27309228/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=547084 CPUtime=1404.6 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 120635 0 0 0 139929 531 0 0 25 0 3 0 911089032 560214016 120476 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 136771 120476 180 372 0 136396 0
[pid=11760/tid=11761] ppid=11758 vsize=547084 CPUtime=702.29 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 103945 0 0 0 69978 251 0 0 25 0 3 0 911089032 560214016 120476 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=547084 CPUtime=702.29 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 16347 0 0 0 69950 279 0 0 25 0 3 0 911089032 560214016 120476 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.6
Current children cumulated vsize (KiB) 547084
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/177 11835
/proc/meminfo: memFree=27274756/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=548092 CPUtime=1524.61 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 129048 0 0 0 151890 571 0 0 25 0 3 0 911089032 561246208 128889 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 137023 128889 180 372 0 136648 0
[pid=11760/tid=11761] ppid=11758 vsize=548092 CPUtime=762.3 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 112326 0 0 0 75957 273 0 0 25 0 3 0 911089032 561246208 128889 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=548092 CPUtime=762.3 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 16379 0 0 0 75933 297 0 0 25 0 3 0 911089032 561246208 128889 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.61
Current children cumulated vsize (KiB) 548092
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/177 11837
/proc/meminfo: memFree=27241768/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=614680 CPUtime=1644.59 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 137289 0 0 0 163850 609 0 0 25 0 3 0 911089032 629432320 137130 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 153670 137130 180 372 0 153295 0
[pid=11760/tid=11761] ppid=11758 vsize=614680 CPUtime=822.29 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 119820 0 0 0 81937 292 0 0 25 0 3 0 911089032 629432320 137130 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=614680 CPUtime=822.3 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 17126 0 0 0 81913 317 0 0 25 0 3 0 911089032 629432320 137130 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.59
Current children cumulated vsize (KiB) 614680
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/177 11837
/proc/meminfo: memFree=27211884/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=614896 CPUtime=1764.6 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 144723 0 0 0 175809 651 0 0 25 0 3 0 911089032 629653504 144564 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 153724 144564 180 372 0 153349 0
[pid=11760/tid=11761] ppid=11758 vsize=614896 CPUtime=882.29 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 127248 0 0 0 87916 313 0 0 25 0 3 0 911089032 629653504 144564 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=614896 CPUtime=882.3 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 17132 0 0 0 87893 337 0 0 25 0 3 0 911089032 629653504 144564 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.6
Current children cumulated vsize (KiB) 614896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 4.00 4.00 3.92 5/177 11839
/proc/meminfo: memFree=27202708/32951132 swapFree=67061148/67111528
[pid=11760] ppid=11758 vsize=615520 CPUtime=1800.01 cores=0,2,4,6
/proc/11760/stat : 11760 (pwbo1.1) S 11758 11760 10842 0 -1 4202496 146296 0 0 0 179337 664 0 0 25 0 3 0 911089032 630292480 146134 33554432000 4194304 5714118 140733388650352 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11760/statm: 153880 146134 180 372 0 153505 0
[pid=11760/tid=11761] ppid=11758 vsize=615520 CPUtime=900 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 128789 0 0 0 89679 321 0 0 25 0 3 0 911089032 630292480 146134 33554432000 4194304 5714118 140733388650352 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11760/tid=11762] ppid=11758 vsize=615520 CPUtime=900.01 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (pwbo1.1) R 11758 11760 10842 0 -1 4202560 17164 0 0 0 89658 343 0 0 25 0 3 0 911089032 630292480 146134 33554432000 4194304 5714118 140733388650352 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 615520
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.037
CPU time (s): 1800.06
CPU user time (s): 1793.38
CPU system time (s): 6.67298
CPU usage (%): 199.998
Max. virtual memory (cumulated for all children) (KiB): 615520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.38
system time used= 6.67298
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146302
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= 97
involuntary context switches= 3658
runsolver used 1.45278 second user time and 2.87856 second system time
The end