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-3500460-1307995780/watcher-3500460-1307995780 -o /tmp/evaluation-result-3500460-1307995780/solver-3500460-1307995780 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500460-1307995780.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.38 3.86 3.88 3/179 14172
/proc/meminfo: memFree=32195680/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=134852 CPUtime=0 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 432 0 0 0 0 0 0 0 18 0 3 0 911180365 138088448 382 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 33713 382 179 372 0 33338 0
[pid=14172/tid=14173] ppid=14170 vsize=134852 CPUtime=0 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 52 0 0 0 0 0 0 0 18 0 3 0 911180366 138088448 384 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=134852 CPUtime=0 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 33 0 0 0 0 0 0 0 25 0 3 0 911180366 138088448 384 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[startup+0.0615111 s]
/proc/loadavg: 3.38 3.86 3.88 3/179 14172
/proc/meminfo: memFree=32195680/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=134852 CPUtime=0.11 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 697 0 0 0 11 0 0 0 18 0 3 0 911180365 138088448 647 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 33713 647 179 372 0 33338 0
[pid=14172/tid=14173] ppid=14170 vsize=134852 CPUtime=0.05 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 207 0 0 0 5 0 0 0 18 0 3 0 911180366 138088448 647 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=134852 CPUtime=0.05 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 141 0 0 0 5 0 0 0 25 0 3 0 911180366 138088448 647 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 134852
[startup+0.100502 s]
/proc/loadavg: 3.38 3.86 3.88 3/179 14172
/proc/meminfo: memFree=32195680/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=134852 CPUtime=0.19 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 854 0 0 0 19 0 0 0 18 0 3 0 911180365 138088448 804 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 33713 804 179 372 0 33338 0
[pid=14172/tid=14173] ppid=14170 vsize=134852 CPUtime=0.09 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 302 0 0 0 9 0 0 0 18 0 3 0 911180366 138088448 804 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=134852 CPUtime=0.09 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 203 0 0 0 9 0 0 0 25 0 3 0 911180366 138088448 804 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134852
[startup+0.300467 s]
/proc/loadavg: 3.38 3.86 3.88 3/179 14172
/proc/meminfo: memFree=32195680/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=134852 CPUtime=0.59 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 1522 0 0 0 57 2 0 0 18 0 3 0 911180365 138088448 1472 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 33713 1473 179 372 0 33338 0
[pid=14172/tid=14173] ppid=14170 vsize=134852 CPUtime=0.29 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 718 0 0 0 29 0 0 0 18 0 3 0 911180366 138088448 1473 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=134852 CPUtime=0.29 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 456 0 0 0 28 1 0 0 25 0 3 0 911180366 138088448 1473 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134852
[startup+0.700392 s]
/proc/loadavg: 3.38 3.86 3.88 3/179 14172
/proc/meminfo: memFree=32195680/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=134996 CPUtime=1.39 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 2489 0 0 0 136 3 0 0 18 0 3 0 911180365 138235904 2439 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 33749 2439 179 372 0 33374 0
[pid=14172/tid=14173] ppid=14170 vsize=134996 CPUtime=0.69 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 1344 0 0 0 68 1 0 0 18 0 3 0 911180366 138235904 2439 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=134996 CPUtime=0.68 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 796 0 0 0 67 1 0 0 25 0 3 0 911180366 138235904 2439 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 134996
[startup+1.50024 s]
/proc/loadavg: 3.38 3.86 3.88 5/182 14175
/proc/meminfo: memFree=32177452/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=135140 CPUtime=2.99 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 3130 0 0 0 294 5 0 0 18 0 3 0 911180365 138383360 3080 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 33785 3080 179 372 0 33410 0
[pid=14172/tid=14173] ppid=14170 vsize=135140 CPUtime=1.49 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 1783 0 0 0 147 2 0 0 20 0 3 0 911180366 138383360 3080 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=135140 CPUtime=1.49 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 998 0 0 0 146 3 0 0 25 0 3 0 911180366 138383360 3080 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135140
[startup+3.10093 s]
/proc/loadavg: 3.38 3.86 3.88 5/182 14175
/proc/meminfo: memFree=32169756/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=135140 CPUtime=6.19 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 3838 0 0 0 610 9 0 0 18 0 3 0 911180365 138383360 3788 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 33785 3788 180 372 0 33410 0
[pid=14172/tid=14173] ppid=14170 vsize=135140 CPUtime=3.08 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 2346 0 0 0 305 3 0 0 25 0 3 0 911180366 138383360 3788 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=135140 CPUtime=3.09 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 1143 0 0 0 304 5 0 0 25 0 3 0 911180366 138383360 3788 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135140
[startup+6.30033 s]
/proc/loadavg: 3.43 3.86 3.88 5/182 14175
/proc/meminfo: memFree=32158596/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=135212 CPUtime=12.59 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 5359 0 0 0 1242 17 0 0 18 0 3 0 911180365 138457088 5309 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 33803 5309 180 372 0 33428 0
[pid=14172/tid=14173] ppid=14170 vsize=135212 CPUtime=6.28 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 3773 0 0 0 622 6 0 0 25 0 3 0 911180366 138457088 5309 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=135212 CPUtime=6.29 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 1237 0 0 0 619 10 0 0 25 0 3 0 911180366 138457088 5309 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135212
[startup+12.7011 s]
/proc/loadavg: 3.48 3.86 3.88 5/182 14175
/proc/meminfo: memFree=32139844/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=135284 CPUtime=25.4 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 7606 0 0 0 2507 33 0 0 18 0 3 0 911180365 138530816 7556 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 33821 7557 180 372 0 33446 0
[pid=14172/tid=14173] ppid=14170 vsize=135284 CPUtime=12.69 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 5659 0 0 0 1255 14 0 0 25 0 3 0 911180366 138530816 7557 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=135284 CPUtime=12.69 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 1599 0 0 0 1251 18 0 0 25 0 3 0 911180366 138530816 7557 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 135284
[startup+25.5007 s]
/proc/loadavg: 3.59 3.87 3.88 5/182 14175
/proc/meminfo: memFree=32112560/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=135284 CPUtime=51 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 11199 0 0 0 5034 66 0 0 18 0 3 0 911180365 138530816 11149 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 33821 11149 180 372 0 33446 0
[pid=14172/tid=14173] ppid=14170 vsize=135284 CPUtime=25.49 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 8896 0 0 0 2521 28 0 0 25 0 3 0 911180366 138530816 11149 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=135284 CPUtime=25.49 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 1954 0 0 0 2512 37 0 0 25 0 3 0 911180366 138530816 11149 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 135284
[startup+51.1009 s]
/proc/loadavg: 3.73 3.87 3.88 5/182 14176
/proc/meminfo: memFree=32064276/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=135500 CPUtime=102.19 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 17742 0 0 0 10096 123 0 0 18 0 3 0 911180365 138752000 17692 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 33875 17692 180 372 0 33500 0
[pid=14172/tid=14173] ppid=14170 vsize=135500 CPUtime=51.09 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 14454 0 0 0 5054 55 0 0 25 0 3 0 911180366 138752000 17692 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=135500 CPUtime=51.09 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 2939 0 0 0 5041 68 0 0 25 0 3 0 911180366 138752000 17692 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 135500
[startup+102.306 s]
/proc/loadavg: 3.88 3.89 3.89 5/182 14177
/proc/meminfo: memFree=31978924/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=201468 CPUtime=204.61 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 29363 0 0 0 20236 225 0 0 18 0 3 0 911180365 206303232 29171 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 50367 29171 180 372 0 49992 0
[pid=14172/tid=14173] ppid=14170 vsize=201468 CPUtime=102.3 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 25235 0 0 0 10122 108 0 0 25 0 3 0 911180366 206303232 29171 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=201468 CPUtime=102.3 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 3779 0 0 0 10113 117 0 0 25 0 3 0 911180366 206303232 29171 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.61
Current children cumulated vsize (KiB) 201468
[startup+162.301 s]
/proc/loadavg: 3.99 3.92 3.90 5/182 14179
/proc/meminfo: memFree=31889968/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=267580 CPUtime=324.6 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 41919 0 0 0 32115 345 0 0 18 0 3 0 911180365 274001920 41572 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 66895 41572 180 372 0 66520 0
[pid=14172/tid=14173] ppid=14170 vsize=267580 CPUtime=162.29 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 37065 0 0 0 16059 170 0 0 25 0 3 0 911180366 274001920 41572 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=267580 CPUtime=162.29 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 4505 0 0 0 16055 174 0 0 25 0 3 0 911180366 274001920 41572 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.6
Current children cumulated vsize (KiB) 267580
[startup+222.3 s]
/proc/loadavg: 3.99 3.93 3.90 5/182 14181
/proc/meminfo: memFree=31805856/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=267868 CPUtime=444.61 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 52974 0 0 0 44010 451 0 0 18 0 3 0 911180365 274296832 52608 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 66967 52608 180 372 0 66592 0
[pid=14172/tid=14173] ppid=14170 vsize=267868 CPUtime=222.3 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 47739 0 0 0 22007 223 0 0 25 0 3 0 911180366 274296832 52608 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=267868 CPUtime=222.29 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 4886 0 0 0 22002 227 0 0 25 0 3 0 911180366 274296832 52608 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.61
Current children cumulated vsize (KiB) 267868
[startup+282.301 s]
/proc/loadavg: 3.99 3.94 3.91 5/182 14182
/proc/meminfo: memFree=31725220/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=334644 CPUtime=564.62 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 63896 0 0 0 55896 566 0 0 18 0 3 0 911180365 342675456 63409 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 83661 63409 180 372 0 83286 0
[pid=14172/tid=14173] ppid=14170 vsize=334644 CPUtime=282.3 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 58273 0 0 0 27950 280 0 0 25 0 3 0 911180366 342675456 63409 33554432000 4194304 5714118 140734352428656 18446744073709551615 4320075 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=334644 CPUtime=282.3 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 5274 0 0 0 27945 285 0 0 25 0 3 0 911180366 342675456 63409 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.62
Current children cumulated vsize (KiB) 334644
[startup+342.301 s]
/proc/loadavg: 3.99 3.95 3.91 5/182 14184
/proc/meminfo: memFree=31649172/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=401348 CPUtime=684.61 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 74431 0 0 0 67790 671 0 0 18 0 3 0 911180365 410980352 73655 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 100337 73655 180 372 0 99962 0
[pid=14172/tid=14173] ppid=14170 vsize=401348 CPUtime=342.3 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 68248 0 0 0 33899 331 0 0 25 0 3 0 911180366 410980352 73655 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=401348 CPUtime=342.3 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 5834 0 0 0 33891 339 0 0 25 0 3 0 911180366 410980352 73655 33554432000 4194304 5714118 140734352428656 18446744073709551615 4300320 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.61
Current children cumulated vsize (KiB) 401348
[startup+402.3 s]
/proc/loadavg: 3.99 3.95 3.91 5/182 14185
/proc/meminfo: memFree=31572872/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=402356 CPUtime=804.61 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 84589 0 0 0 79682 779 0 0 18 0 3 0 911180365 412012544 83711 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 100589 83711 180 372 0 100214 0
[pid=14172/tid=14173] ppid=14170 vsize=402356 CPUtime=402.31 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 78156 0 0 0 39849 382 0 0 25 0 3 0 911180366 412012544 83711 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=402356 CPUtime=402.3 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 6084 0 0 0 39833 397 0 0 25 0 3 0 911180366 412012544 83711 33554432000 4194304 5714118 140734352428656 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 402356
[startup+462.301 s]
/proc/loadavg: 4.07 3.98 3.91 5/182 14187
/proc/meminfo: memFree=31496568/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=468828 CPUtime=924.62 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 94608 0 0 0 91577 885 0 0 18 0 3 0 911180365 480079872 93532 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 117207 93532 180 372 0 116832 0
[pid=14172/tid=14173] ppid=14170 vsize=468828 CPUtime=462.3 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 87441 0 0 0 45795 435 0 0 25 0 3 0 911180366 480079872 93532 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=468828 CPUtime=462.3 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 6818 0 0 0 45781 449 0 0 25 0 3 0 911180366 480079872 93532 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.62
Current children cumulated vsize (KiB) 468828
[startup+522.301 s]
/proc/loadavg: 4.03 3.98 3.91 5/182 14189
/proc/meminfo: memFree=31428080/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=469332 CPUtime=1044.63 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 103640 0 0 0 103477 986 0 0 18 0 3 0 911180365 480595968 102493 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 117333 102493 180 372 0 116958 0
[pid=14172/tid=14173] ppid=14170 vsize=469332 CPUtime=522.31 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 96313 0 0 0 51745 486 0 0 25 0 3 0 911180366 480595968 102493 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=469332 CPUtime=522.31 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 6978 0 0 0 51732 499 0 0 25 0 3 0 911180366 480595968 102493 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.63
Current children cumulated vsize (KiB) 469332
[startup+582.3 s]
/proc/loadavg: 4.01 3.98 3.91 5/182 14190
/proc/meminfo: memFree=31360336/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=535444 CPUtime=1164.64 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 112764 0 0 0 115374 1090 0 0 18 0 3 0 911180365 548294656 111539 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 133861 111539 180 372 0 133486 0
[pid=14172/tid=14173] ppid=14170 vsize=535444 CPUtime=582.31 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 105183 0 0 0 57693 538 0 0 25 0 3 0 911180366 548294656 111539 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=535444 CPUtime=582.31 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 7232 0 0 0 57680 551 0 0 25 0 3 0 911180366 548294656 111539 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.64
Current children cumulated vsize (KiB) 535444
[startup+642.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14192
/proc/meminfo: memFree=31289112/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=535660 CPUtime=1284.65 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 121795 0 0 0 127258 1207 0 0 18 0 3 0 911180365 548515840 120399 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 133915 120399 180 372 0 133540 0
[pid=14172/tid=14173] ppid=14170 vsize=535660 CPUtime=642.31 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 114179 0 0 0 63642 589 0 0 25 0 3 0 911180366 548515840 120399 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=535660 CPUtime=642.32 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 7267 0 0 0 63615 617 0 0 25 0 3 0 911180366 548515840 120399 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.65
Current children cumulated vsize (KiB) 535660
[startup+702.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14193
/proc/meminfo: memFree=31221748/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=601844 CPUtime=1404.64 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 130426 0 0 0 139142 1322 0 0 18 0 3 0 911180365 616288256 129030 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 150461 129030 180 372 0 150086 0
[pid=14172/tid=14173] ppid=14170 vsize=601844 CPUtime=702.32 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 122810 0 0 0 69593 639 0 0 25 0 3 0 911180366 616288256 129030 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=601844 CPUtime=702.31 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 7267 0 0 0 69548 683 0 0 25 0 3 0 911180366 616288256 129030 33554432000 4194304 5714118 140734352428656 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.64
Current children cumulated vsize (KiB) 601844
[startup+762.306 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14195
/proc/meminfo: memFree=31152888/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=602492 CPUtime=1524.66 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 139312 0 0 0 151037 1429 0 0 18 0 3 0 911180365 616951808 137916 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 150623 137916 180 372 0 150248 0
[pid=14172/tid=14173] ppid=14170 vsize=602492 CPUtime=762.33 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 131694 0 0 0 75549 684 0 0 25 0 3 0 911180366 616951808 137916 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=602492 CPUtime=762.32 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 7269 0 0 0 75488 744 0 0 25 0 3 0 911180366 616951808 137916 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.66
Current children cumulated vsize (KiB) 602492
[startup+822.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14197
/proc/meminfo: memFree=31088992/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=668460 CPUtime=1644.65 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 147941 0 0 0 162931 1534 0 0 18 0 3 0 911180365 684503040 146545 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 167115 146545 180 372 0 166740 0
[pid=14172/tid=14173] ppid=14170 vsize=668460 CPUtime=822.32 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 140323 0 0 0 81500 732 0 0 25 0 3 0 911180366 684503040 146545 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=668460 CPUtime=822.32 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 7269 0 0 0 81431 801 0 0 25 0 3 0 911180366 684503040 146545 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.65
Current children cumulated vsize (KiB) 668460
[startup+882.3 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14198
/proc/meminfo: memFree=31027820/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=668892 CPUtime=1764.66 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 155872 0 0 0 174823 1643 0 0 18 0 3 0 911180365 684945408 154360 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 167223 154360 180 372 0 166848 0
[pid=14172/tid=14173] ppid=14170 vsize=668892 CPUtime=882.32 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 148099 0 0 0 87452 780 0 0 25 0 3 0 911180366 684945408 154360 33554432000 4194304 5714118 140734352428656 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=668892 CPUtime=882.32 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 7424 0 0 0 87370 862 0 0 25 0 3 0 911180366 684945408 154360 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.66
Current children cumulated vsize (KiB) 668892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 3.98 3.91 3/179 14200
/proc/meminfo: memFree=31563856/32951124 swapFree=67050540/67111528
[pid=14172] ppid=14170 vsize=734572 CPUtime=1800.07 cores=1,3,5,7
/proc/14172/stat : 14172 (pwbo1.1) S 14170 14172 13000 0 -1 4202496 158987 0 0 0 178333 1674 0 0 18 0 3 0 911180365 752201728 157416 33554432000 4194304 5714118 140734352428656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14172/statm: 183643 157416 180 372 0 183268 0
[pid=14172/tid=14173] ppid=14170 vsize=734572 CPUtime=900.03 cores=1,3,5,7
/proc/14172/task/14173/stat : 14173 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 151126 0 0 0 89207 796 0 0 25 0 3 0 911180366 752201728 157416 33554432000 4194304 5714118 140734352428656 18446744073709551615 4300144 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=14172/tid=14174] ppid=14170 vsize=734572 CPUtime=900.03 cores=1,3,5,7
/proc/14172/task/14174/stat : 14174 (pwbo1.1) R 14170 14172 13000 0 -1 4202560 7512 0 0 0 89125 878 0 0 25 0 3 0 911180366 752201728 157416 33554432000 4194304 5714118 140734352428656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 734572
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.036
CPU time (s): 1800.11
CPU user time (s): 1783.34
CPU system time (s): 16.7694
CPU usage (%): 200.005
Max. virtual memory (cumulated for all children) (KiB): 734572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.34
system time used= 16.7694
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158992
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= 56
involuntary context switches= 11058
runsolver used 1.35079 second user time and 2.91056 second system time
The end