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-3500395-1307994768/watcher-3500395-1307994768 -o /var/tmp/evaluation-result-3500395-1307994768/solver-3500395-1307994768 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500395-1307994768.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.92 3.98 3.91 3/179 11943
/proc/meminfo: memFree=11306216/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=134920 CPUtime=0 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 551 0 0 0 0 0 0 0 25 0 3 0 643668089 138158080 501 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 33730 501 179 372 0 33355 0
[pid=11943/tid=11944] ppid=11941 vsize=134920 CPUtime=0 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 68 0 0 0 0 0 0 0 25 0 3 0 643668089 138158080 501 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=134920 CPUtime=0 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 162 0 0 0 0 0 0 0 25 0 3 0 643668089 138158080 501 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[startup+0.0751349 s]
/proc/loadavg: 3.92 3.98 3.91 3/179 11943
/proc/meminfo: memFree=11306216/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=134920 CPUtime=0.13 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 931 0 0 0 13 0 0 0 25 0 3 0 643668089 138158080 881 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 33730 881 179 372 0 33355 0
[pid=11943/tid=11944] ppid=11941 vsize=134920 CPUtime=0.06 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 267 0 0 0 6 0 0 0 25 0 3 0 643668089 138158080 881 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=134920 CPUtime=0.06 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 344 0 0 0 6 0 0 0 25 0 3 0 643668089 138158080 882 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 134920
[startup+0.101142 s]
/proc/loadavg: 3.92 3.98 3.91 3/179 11943
/proc/meminfo: memFree=11306216/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=134920 CPUtime=0.19 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 1016 0 0 0 18 1 0 0 25 0 3 0 643668089 138158080 966 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 33730 966 179 372 0 33355 0
[pid=11943/tid=11944] ppid=11941 vsize=134920 CPUtime=0.09 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 326 0 0 0 9 0 0 0 25 0 3 0 643668089 138158080 966 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=134920 CPUtime=0.09 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 369 0 0 0 9 0 0 0 25 0 3 0 643668089 138158080 966 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134920
[startup+0.301094 s]
/proc/loadavg: 3.92 3.98 3.91 3/179 11943
/proc/meminfo: memFree=11306216/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=134920 CPUtime=0.59 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 1443 0 0 0 57 2 0 0 25 0 3 0 643668089 138158080 1393 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 33730 1393 179 372 0 33355 0
[pid=11943/tid=11944] ppid=11941 vsize=134920 CPUtime=0.29 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 574 0 0 0 28 1 0 0 25 0 3 0 643668089 138158080 1393 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=134920 CPUtime=0.29 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 548 0 0 0 28 1 0 0 25 0 3 0 643668089 138158080 1393 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134920
[startup+0.701036 s]
/proc/loadavg: 3.92 3.98 3.91 3/179 11943
/proc/meminfo: memFree=11306216/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=135052 CPUtime=1.39 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 2136 0 0 0 135 4 0 0 25 0 3 0 643668089 138293248 2086 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 33763 2086 179 372 0 33388 0
[pid=11943/tid=11944] ppid=11941 vsize=135052 CPUtime=0.69 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 1014 0 0 0 67 2 0 0 25 0 3 0 643668089 138293248 2086 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=135052 CPUtime=0.69 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 801 0 0 0 67 2 0 0 25 0 3 0 643668089 138293248 2086 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 135052
[startup+1.50089 s]
/proc/loadavg: 3.92 3.98 3.91 3/178 11947
/proc/meminfo: memFree=12344624/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=135472 CPUtime=2.99 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 3477 0 0 0 289 10 0 0 25 0 3 0 643668089 138723328 3427 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 33868 3427 179 372 0 33493 0
[pid=11943/tid=11944] ppid=11941 vsize=135472 CPUtime=1.49 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 1965 0 0 0 145 4 0 0 25 0 3 0 643668089 138723328 3427 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=135472 CPUtime=1.49 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 1191 0 0 0 144 5 0 0 25 0 3 0 643668089 138723328 3427 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135472
[startup+3.1006 s]
/proc/loadavg: 3.92 3.98 3.91 3/178 11947
/proc/meminfo: memFree=12339520/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=135472 CPUtime=6.19 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 4887 0 0 0 600 19 0 0 25 0 3 0 643668089 138723328 4837 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 33868 4837 179 372 0 33493 0
[pid=11943/tid=11944] ppid=11941 vsize=135472 CPUtime=3.09 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 3018 0 0 0 300 9 0 0 25 0 3 0 643668089 138723328 4837 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=135472 CPUtime=3.08 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 1548 0 0 0 299 9 0 0 25 0 3 0 643668089 138723328 4837 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135472
[startup+6.30104 s]
/proc/loadavg: 3.85 3.97 3.90 5/182 12147
/proc/meminfo: memFree=12324100/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=135684 CPUtime=12.59 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 6691 0 0 0 1229 30 0 0 25 0 3 0 643668089 138940416 6641 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 33921 6641 180 372 0 33546 0
[pid=11943/tid=11944] ppid=11941 vsize=135684 CPUtime=6.29 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 4467 0 0 0 614 15 0 0 25 0 3 0 643668089 138940416 6641 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=135684 CPUtime=6.28 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 1903 0 0 0 614 14 0 0 25 0 3 0 643668089 138940416 6641 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135684
[startup+12.7009 s]
/proc/loadavg: 3.86 3.97 3.90 5/182 12147
/proc/meminfo: memFree=12281552/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=136036 CPUtime=25.39 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 9959 0 0 0 2493 46 0 0 25 0 3 0 643668089 139300864 9909 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 34009 9909 180 372 0 33634 0
[pid=11943/tid=11944] ppid=11941 vsize=136036 CPUtime=12.69 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 7306 0 0 0 1246 23 0 0 25 0 3 0 643668089 139300864 9909 33554432000 4194304 5714118 140737011861456 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=136036 CPUtime=12.69 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 2332 0 0 0 1247 22 0 0 25 0 3 0 643668089 139300864 9909 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 136036
[startup+25.5007 s]
/proc/loadavg: 3.75 3.94 3.89 5/182 12187
/proc/meminfo: memFree=12258272/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=136104 CPUtime=50.99 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 15015 0 0 0 5023 76 0 0 25 0 3 0 643668089 139370496 14863 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 34026 14863 180 372 0 33651 0
[pid=11943/tid=11944] ppid=11941 vsize=136104 CPUtime=25.49 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 11894 0 0 0 2508 41 0 0 25 0 3 0 643668089 139370496 14863 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=136104 CPUtime=25.48 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 2800 0 0 0 2514 34 0 0 25 0 3 0 643668089 139370496 14863 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 136104
[startup+51.1011 s]
/proc/loadavg: 3.84 3.94 3.90 5/182 12188
/proc/meminfo: memFree=12207408/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=136732 CPUtime=102.19 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 16179 0 0 0 10098 121 0 0 25 0 3 0 643668089 140013568 16027 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 34183 16027 180 372 0 33808 0
[pid=11943/tid=11944] ppid=11941 vsize=136732 CPUtime=51.09 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 12174 0 0 0 5044 65 0 0 25 0 3 0 643668089 140013568 16027 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=136732 CPUtime=51.09 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 3684 0 0 0 5053 56 0 0 25 0 3 0 643668089 140013568 16027 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 136732
[startup+102.306 s]
/proc/loadavg: 3.93 3.95 3.90 5/182 12189
/proc/meminfo: memFree=12103040/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=203288 CPUtime=204.6 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 26547 0 0 0 20249 211 0 0 25 0 3 0 643668089 208166912 26394 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 50822 26394 180 372 0 50447 0
[pid=11943/tid=11944] ppid=11941 vsize=203288 CPUtime=102.3 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 22283 0 0 0 10131 99 0 0 25 0 3 0 643668089 208166912 26394 33554432000 4194304 5714118 140737011861456 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=203288 CPUtime=102.29 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 3943 0 0 0 10118 111 0 0 25 0 3 0 643668089 208166912 26394 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 203288
[startup+162.301 s]
/proc/loadavg: 3.97 3.95 3.91 5/182 12191
/proc/meminfo: memFree=12006152/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=269124 CPUtime=324.6 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 37283 0 0 0 32155 305 0 0 25 0 3 0 643668089 275582976 37130 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 67281 37130 180 372 0 66906 0
[pid=11943/tid=11944] ppid=11941 vsize=269124 CPUtime=162.3 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 32381 0 0 0 16090 140 0 0 25 0 3 0 643668089 275582976 37130 33554432000 4194304 5714118 140737011861456 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=269124 CPUtime=162.3 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 4581 0 0 0 16065 165 0 0 25 0 3 0 643668089 275582976 37130 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.6
Current children cumulated vsize (KiB) 269124
[startup+222.301 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 12196
/proc/meminfo: memFree=11935480/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=269520 CPUtime=444.6 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 46267 0 0 0 44078 382 0 0 25 0 3 0 643668089 275988480 46114 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 67380 46114 180 372 0 67005 0
[pid=11943/tid=11944] ppid=11941 vsize=269520 CPUtime=222.29 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 40635 0 0 0 22061 168 0 0 25 0 3 0 643668089 275988480 46114 33554432000 4194304 5714118 140737011861456 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=269520 CPUtime=222.29 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 5311 0 0 0 22016 213 0 0 25 0 3 0 643668089 275988480 46114 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 269520
[startup+282.3 s]
/proc/loadavg: 4.04 3.98 3.91 5/182 12197
/proc/meminfo: memFree=11905928/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=269520 CPUtime=564.6 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 53157 0 0 0 56007 453 0 0 25 0 3 0 643668089 275988480 53003 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 67380 53003 180 372 0 67005 0
[pid=11943/tid=11944] ppid=11941 vsize=269520 CPUtime=282.3 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 47400 0 0 0 28031 199 0 0 25 0 3 0 643668089 275988480 53003 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=269520 CPUtime=282.3 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 5436 0 0 0 27976 254 0 0 25 0 3 0 643668089 275988480 53003 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 269520
[startup+342.301 s]
/proc/loadavg: 4.01 3.98 3.91 5/182 12199
/proc/meminfo: memFree=11869920/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=335216 CPUtime=684.6 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 61796 0 0 0 67931 529 0 0 25 0 3 0 643668089 343261184 61640 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 83804 61640 180 372 0 83429 0
[pid=11943/tid=11944] ppid=11941 vsize=335216 CPUtime=342.3 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 55730 0 0 0 33997 233 0 0 25 0 3 0 643668089 343261184 61640 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=335216 CPUtime=342.3 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 5745 0 0 0 33934 296 0 0 25 0 3 0 643668089 343261184 61640 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 335216
[startup+402.3 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 12200
/proc/meminfo: memFree=11830048/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=401036 CPUtime=804.6 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 71756 0 0 0 79846 614 0 0 25 0 3 0 643668089 410660864 71600 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 100259 71600 180 372 0 99884 0
[pid=11943/tid=11944] ppid=11941 vsize=401036 CPUtime=402.3 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 65455 0 0 0 39960 270 0 0 25 0 3 0 643668089 410660864 71600 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=401036 CPUtime=402.3 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 5980 0 0 0 39886 344 0 0 25 0 3 0 643668089 410660864 71600 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 401036
[startup+462.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 12202
/proc/meminfo: memFree=11760936/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=401392 CPUtime=924.61 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 81760 0 0 0 91763 698 0 0 25 0 3 0 643668089 411025408 81604 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 100348 81604 180 372 0 99973 0
[pid=11943/tid=11944] ppid=11941 vsize=401392 CPUtime=462.3 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 75070 0 0 0 45919 311 0 0 25 0 3 0 643668089 411025408 81604 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=401392 CPUtime=462.3 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 6369 0 0 0 45844 386 0 0 25 0 3 0 643668089 411025408 81604 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 401392
[startup+522.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 12213
/proc/meminfo: memFree=11699740/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=467624 CPUtime=1044.61 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 90473 0 0 0 103679 782 0 0 25 0 3 0 643668089 478846976 90314 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 116906 90314 180 372 0 116531 0
[pid=11943/tid=11944] ppid=11941 vsize=467624 CPUtime=522.3 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 83582 0 0 0 51881 349 0 0 25 0 3 0 643668089 478846976 90314 33554432000 4194304 5714118 140737011861456 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=467624 CPUtime=522.3 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 6570 0 0 0 51797 433 0 0 25 0 3 0 643668089 478846976 90314 33554432000 4194304 5714118 140737011861456 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 467624
[startup+582.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 12214
/proc/meminfo: memFree=11634108/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=467624 CPUtime=1164.62 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 99103 0 0 0 115598 864 0 0 25 0 3 0 643668089 478846976 98941 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 116906 98941 180 372 0 116531 0
[pid=11943/tid=11944] ppid=11941 vsize=467624 CPUtime=582.31 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 91961 0 0 0 57846 385 0 0 25 0 3 0 643668089 478846976 98941 33554432000 4194304 5714118 140737011861456 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=467624 CPUtime=582.31 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 6821 0 0 0 57752 479 0 0 25 0 3 0 643668089 478846976 98941 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 467624
[startup+642.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 12216
/proc/meminfo: memFree=11567224/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=534052 CPUtime=1284.63 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 110008 0 0 0 127508 955 0 0 25 0 3 0 643668089 546869248 109846 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 133513 109846 180 372 0 133138 0
[pid=11943/tid=11944] ppid=11941 vsize=534052 CPUtime=642.31 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 101875 0 0 0 63801 430 0 0 25 0 3 0 643668089 546869248 109846 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=534052 CPUtime=642.31 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 7812 0 0 0 63707 524 0 0 25 0 3 0 643668089 546869248 109846 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 534052
[startup+702.3 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 12217
/proc/meminfo: memFree=11519928/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=534700 CPUtime=1404.62 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 118344 0 0 0 139428 1034 0 0 25 0 3 0 643668089 547532800 118181 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 133675 118182 180 372 0 133300 0
[pid=11943/tid=11944] ppid=11941 vsize=534700 CPUtime=702.31 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 110188 0 0 0 69763 468 0 0 25 0 3 0 643668089 547532800 118182 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=534700 CPUtime=702.3 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 7836 0 0 0 69664 566 0 0 25 0 3 0 643668089 547532800 118182 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 534700
[startup+762.307 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 12219
/proc/meminfo: memFree=11449436/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=600236 CPUtime=1524.64 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 126950 0 0 0 151348 1116 0 0 25 0 3 0 643668089 614641664 126787 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 150059 126787 180 372 0 149684 0
[pid=11943/tid=11944] ppid=11941 vsize=600236 CPUtime=762.31 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 118745 0 0 0 75722 509 0 0 25 0 3 0 643668089 614641664 126787 33554432000 4194304 5714118 140737011861456 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=600236 CPUtime=762.31 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 7884 0 0 0 75625 606 0 0 25 0 3 0 643668089 614641664 126787 33554432000 4194304 5714118 140737011861456 18446744073709551615 4319392 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.64
Current children cumulated vsize (KiB) 600236
[startup+822.3 s]
/proc/loadavg: 4.06 3.99 3.92 5/182 12221
/proc/meminfo: memFree=11371640/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=600560 CPUtime=1644.63 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 136128 0 0 0 163267 1196 0 0 25 0 3 0 643668089 614973440 135965 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 150140 135965 180 372 0 149765 0
[pid=11943/tid=11944] ppid=11941 vsize=600560 CPUtime=822.31 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 127880 0 0 0 81681 550 0 0 25 0 3 0 643668089 614973440 135965 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=600560 CPUtime=822.31 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 7927 0 0 0 81586 645 0 0 25 0 3 0 643668089 614973440 135965 33554432000 4194304 5714118 140737011861456 18446744073709551615 4319307 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 600560
[startup+882.301 s]
/proc/loadavg: 4.02 3.99 3.92 5/182 12222
/proc/meminfo: memFree=11309576/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=666096 CPUtime=1764.63 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 142349 0 0 0 175195 1268 0 0 25 0 3 0 643668089 682082304 142186 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 166524 142186 180 372 0 166149 0
[pid=11943/tid=11944] ppid=11941 vsize=666096 CPUtime=882.31 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 133970 0 0 0 87648 583 0 0 25 0 3 0 643668089 682082304 142186 33554432000 4194304 5714118 140737011861456 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=666096 CPUtime=882.31 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 8058 0 0 0 87546 685 0 0 25 0 3 0 643668089 682082304 142186 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 666096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.01 3.99 3.92 5/182 12223
/proc/meminfo: memFree=11289856/32951124 swapFree=67055716/67111528
[pid=11943] ppid=11941 vsize=666240 CPUtime=1800.04 cores=1,3,5,7
/proc/11943/stat : 11943 (pwbo1.1) S 11941 11943 11028 0 -1 4202496 145024 0 0 0 178716 1288 0 0 25 0 3 0 643668089 682229760 144860 33554432000 4194304 5714118 140737011861456 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11943/statm: 166560 144860 180 372 0 166185 0
[pid=11943/tid=11944] ppid=11941 vsize=666240 CPUtime=900.02 cores=1,3,5,7
/proc/11943/task/11944/stat : 11944 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 136603 0 0 0 89410 592 0 0 25 0 3 0 643668089 682229760 144860 33554432000 4194304 5714118 140737011861456 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11943/tid=11945] ppid=11941 vsize=666240 CPUtime=900.02 cores=1,3,5,7
/proc/11943/task/11945/stat : 11945 (pwbo1.1) R 11941 11943 11028 0 -1 4202560 8100 0 0 0 89306 696 0 0 25 0 3 0 643668089 682229760 144860 33554432000 4194304 5714118 140737011861456 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 666240
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.039
CPU time (s): 1800.09
CPU user time (s): 1787.18
CPU system time (s): 12.913
CPU usage (%): 200.001
Max. virtual memory (cumulated for all children) (KiB): 666240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.18
system time used= 12.913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145030
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= 29
involuntary context switches= 2187
runsolver used 1.27481 second user time and 2.94955 second system time
The end