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-3500408-1307994872/watcher-3500408-1307994872 -o /tmp/evaluation-result-3500408-1307994872/solver-3500408-1307994872 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500408-1307994872.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.68 3.93 3.91 3/179 14053
/proc/meminfo: memFree=32190580/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=3400 CPUtime=0 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) R 14051 14053 13000 0 -1 4202496 519 0 0 0 0 0 0 0 25 0 1 0 911089583 3481600 472 33554432000 4194304 5714118 140734883997712 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14053/statm: 850 472 165 372 0 382 0
[startup+0.0351761 s]
/proc/loadavg: 3.68 3.93 3.91 3/179 14053
/proc/meminfo: memFree=32190580/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=137524 CPUtime=0.03 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 1716 0 0 0 3 0 0 0 25 0 3 0 911089583 140824576 1576 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 34435 1590 177 372 0 34060 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 137524
[startup+0.101156 s]
/proc/loadavg: 3.68 3.93 3.91 3/179 14053
/proc/meminfo: memFree=32190580/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=156692 CPUtime=0.16 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 10344 0 0 0 13 3 0 0 25 0 3 0 911089583 160452608 9931 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 39173 9937 177 372 0 38798 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 156692
[startup+0.301128 s]
/proc/loadavg: 3.68 3.93 3.91 3/179 14053
/proc/meminfo: memFree=32190580/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=158428 CPUtime=0.56 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 12901 0 0 0 52 4 0 0 25 0 3 0 911089583 162230272 12405 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 39607 12405 179 372 0 39232 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 158428
[startup+0.701047 s]
/proc/loadavg: 3.68 3.93 3.91 3/179 14053
/proc/meminfo: memFree=32190580/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=158428 CPUtime=1.36 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 13193 0 0 0 130 6 0 0 25 0 3 0 911089583 162230272 12697 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 39607 12697 179 372 0 39232 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 158428
[startup+1.5009 s]
/proc/loadavg: 3.68 3.93 3.91 5/182 14056
/proc/meminfo: memFree=32119032/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=158428 CPUtime=2.96 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 14752 0 0 0 285 11 0 0 25 0 3 0 911089583 162230272 14256 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 39607 14256 179 372 0 39232 0
[pid=14053/tid=14055] ppid=14051 vsize=158428 CPUtime=1.46 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 2850 0 0 0 139 7 0 0 18 0 3 0 911089586 162230272 14256 33554432000 4194304 5714118 140734883997712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=158428 CPUtime=1.46 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 11135 0 0 0 143 3 0 0 25 0 3 0 911089586 162230272 14256 33554432000 4194304 5714118 140734883997712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 158428
[startup+3.10059 s]
/proc/loadavg: 3.68 3.93 3.91 5/182 14056
/proc/meminfo: memFree=32093244/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=158504 CPUtime=6.16 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 16999 0 0 0 599 17 0 0 25 0 3 0 911089583 162308096 16399 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 39626 16399 179 372 0 39251 0
[pid=14053/tid=14055] ppid=14051 vsize=158504 CPUtime=3.06 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 4294 0 0 0 294 12 0 0 19 0 3 0 911089586 162308096 16399 33554432000 4194304 5714118 140734883997712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=158504 CPUtime=3.06 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 11938 0 0 0 302 4 0 0 25 0 3 0 911089586 162308096 16399 33554432000 4194304 5714118 140734883997712 18446744073709551615 4320050 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 158504
[startup+6.30099 s]
/proc/loadavg: 3.71 3.93 3.91 5/182 14057
/proc/meminfo: memFree=32068072/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=158312 CPUtime=12.56 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 18185 0 0 0 1234 22 0 0 25 0 3 0 911089583 162111488 17444 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 39578 17444 179 372 0 39203 0
[pid=14053/tid=14055] ppid=14051 vsize=158312 CPUtime=6.26 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 4295 0 0 0 610 16 0 0 25 0 3 0 911089586 162111488 17444 33554432000 4194304 5714118 140734883997712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=158312 CPUtime=6.26 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 13123 0 0 0 620 6 0 0 25 0 3 0 911089586 162111488 17444 33554432000 4194304 5714118 140734883997712 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 158312
[startup+12.7008 s]
/proc/loadavg: 3.73 3.94 3.91 5/182 14057
/proc/meminfo: memFree=32022300/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=158660 CPUtime=25.36 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 28290 0 0 0 2488 48 0 0 25 0 3 0 911089583 162467840 27549 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 39665 27549 179 372 0 39290 0
[pid=14053/tid=14055] ppid=14051 vsize=158660 CPUtime=12.66 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 10014 0 0 0 1228 38 0 0 18 0 3 0 911089586 162467840 27549 33554432000 4194304 5714118 140734883997712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=158660 CPUtime=12.66 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 17509 0 0 0 1256 10 0 0 25 0 3 0 911089586 162467840 27549 33554432000 4194304 5714118 140734883997712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 158660
[startup+25.5004 s]
/proc/loadavg: 3.79 3.94 3.91 5/182 14057
/proc/meminfo: memFree=31953616/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=224520 CPUtime=50.96 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 36647 0 0 0 5025 71 0 0 25 0 3 0 911089583 229908480 35906 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 56130 35906 180 372 0 55755 0
[pid=14053/tid=14055] ppid=14051 vsize=224520 CPUtime=25.46 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 13478 0 0 0 2491 55 0 0 21 0 3 0 911089586 229908480 35906 33554432000 4194304 5714118 140734883997712 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=224520 CPUtime=25.46 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 22403 0 0 0 2531 15 0 0 25 0 3 0 911089586 229908480 35907 33554432000 4194304 5714118 140734883997712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 224520
[startup+51.1005 s]
/proc/loadavg: 3.86 3.94 3.91 5/182 14058
/proc/meminfo: memFree=31839876/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=290640 CPUtime=102.16 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 57168 0 0 0 10102 114 0 0 25 0 3 0 911089583 297615360 56427 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 72660 56427 180 372 0 72285 0
[pid=14053/tid=14055] ppid=14051 vsize=290640 CPUtime=51.06 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 19225 0 0 0 5020 86 0 0 25 0 3 0 911089586 297615360 56427 33554432000 4194304 5714118 140734883997712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=290640 CPUtime=51.06 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 37176 0 0 0 5079 27 0 0 25 0 3 0 911089586 297615360 56427 33554432000 4194304 5714118 140734883997712 18446744073709551615 4311675 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 290640
[startup+102.307 s]
/proc/loadavg: 3.94 3.95 3.91 5/182 14059
/proc/meminfo: memFree=31676904/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=422236 CPUtime=204.57 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 90947 0 0 0 20270 187 0 0 25 0 3 0 911089583 432369664 90206 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 105559 90206 180 372 0 105184 0
[pid=14053/tid=14055] ppid=14051 vsize=422236 CPUtime=102.27 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 28230 0 0 0 10087 140 0 0 22 0 3 0 911089586 432369664 90206 33554432000 4194304 5714118 140734883997712 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=422236 CPUtime=102.27 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 61950 0 0 0 10181 46 0 0 25 0 3 0 911089586 432369664 90206 33554432000 4194304 5714118 140734883997712 18446744073709551615 4319349 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (KiB) 422236
[startup+162.3 s]
/proc/loadavg: 3.98 3.95 3.91 5/182 14061
/proc/meminfo: memFree=31593288/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=488984 CPUtime=324.56 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 106906 0 0 0 32184 272 0 0 25 0 3 0 911089583 500719616 106165 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 122246 106165 180 372 0 121871 0
[pid=14053/tid=14055] ppid=14051 vsize=488984 CPUtime=162.27 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 38733 0 0 0 16020 207 0 0 25 0 3 0 911089586 500719616 106165 33554432000 4194304 5714118 140734883997712 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=488984 CPUtime=162.26 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 67406 0 0 0 16161 65 0 0 25 0 3 0 911089586 500719616 106165 33554432000 4194304 5714118 140734883997712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.56
Current children cumulated vsize (KiB) 488984
[startup+222.301 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 14062
/proc/meminfo: memFree=31488844/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=555068 CPUtime=444.57 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 123800 0 0 0 44094 363 0 0 25 0 3 0 911089583 568389632 123059 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 138767 123059 180 372 0 138392 0
[pid=14053/tid=14055] ppid=14051 vsize=555068 CPUtime=222.27 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 55486 0 0 0 21937 290 0 0 25 0 3 0 911089586 568389632 123059 33554432000 4194304 5714118 140734883997712 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=555068 CPUtime=222.26 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 67547 0 0 0 22154 72 0 0 25 0 3 0 911089586 568389632 123059 33554432000 4194304 5714118 140734883997712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.57
Current children cumulated vsize (KiB) 555068
[startup+282.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 14064
/proc/meminfo: memFree=31311728/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=687236 CPUtime=564.57 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 157238 0 0 0 56027 430 0 0 25 0 3 0 911089583 703729664 156482 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 171809 156482 180 372 0 171434 0
[pid=14053/tid=14055] ppid=14051 vsize=687236 CPUtime=282.27 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 63498 0 0 0 27889 338 0 0 25 0 3 0 911089586 703729664 156482 33554432000 4194304 5714118 140734883997712 18446744073709551615 4319307 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=687236 CPUtime=282.27 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 92973 0 0 0 28135 92 0 0 25 0 3 0 911089586 703729664 156482 33554432000 4194304 5714118 140734883997712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.57
Current children cumulated vsize (KiB) 687236
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 14066
/proc/meminfo: memFree=31122700/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=884416 CPUtime=684.58 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 193451 0 0 0 67960 498 0 0 25 0 3 0 911089583 905641984 192695 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 221104 192695 180 372 0 220729 0
[pid=14053/tid=14055] ppid=14051 vsize=884416 CPUtime=342.27 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 71132 0 0 0 33845 382 0 0 18 0 3 0 911089586 905641984 192695 33554432000 4194304 5714118 140734883997712 18446744073709551615 4299720 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=884416 CPUtime=342.26 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 121552 0 0 0 34111 115 0 0 25 0 3 0 911089586 905641984 192695 33554432000 4194304 5714118 140734883997712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.58
Current children cumulated vsize (KiB) 884416
[startup+402.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 14076
/proc/meminfo: memFree=30909804/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=1016296 CPUtime=804.58 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 241680 0 0 0 79892 566 0 0 25 0 3 0 911089583 1040687104 240924 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 254074 240924 180 372 0 253699 0
[pid=14053/tid=14055] ppid=14051 vsize=1016296 CPUtime=402.27 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 79658 0 0 0 39799 428 0 0 25 0 3 0 911089586 1040687104 240924 33554432000 4194304 5714118 140734883997712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=1016296 CPUtime=402.27 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 161255 0 0 0 40090 137 0 0 25 0 3 0 911089586 1040687104 240924 33554432000 4194304 5714118 140734883997712 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.58
Current children cumulated vsize (KiB) 1016296
[startup+462.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 14078
/proc/meminfo: memFree=30717060/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=1213076 CPUtime=924.58 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 279664 0 0 0 91829 629 0 0 25 0 3 0 911089583 1242189824 278908 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 303269 278908 180 372 0 302894 0
[pid=14053/tid=14055] ppid=14051 vsize=1213076 CPUtime=462.27 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 86734 0 0 0 45753 474 0 0 25 0 3 0 911089586 1242189824 278908 33554432000 4194304 5714118 140734883997712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=1213076 CPUtime=462.27 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 192163 0 0 0 46073 154 0 0 25 0 3 0 911089586 1242189824 278908 33554432000 4194304 5714118 140734883997712 18446744073709551615 4322576 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.58
Current children cumulated vsize (KiB) 1213076
[startup+522.3 s]
/proc/loadavg: 4.04 3.99 3.92 5/182 14079
/proc/meminfo: memFree=30670032/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=1213216 CPUtime=1044.59 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 286322 0 0 0 103767 692 0 0 25 0 3 0 911089583 1242333184 285566 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 303304 285566 180 372 0 302929 0
[pid=14053/tid=14055] ppid=14051 vsize=1213216 CPUtime=522.27 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 93365 0 0 0 51703 524 0 0 25 0 3 0 911089586 1242333184 285566 33554432000 4194304 5714118 140734883997712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=1213216 CPUtime=522.27 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 192190 0 0 0 52060 167 0 0 25 0 3 0 911089586 1242333184 285566 33554432000 4194304 5714118 140734883997712 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.59
Current children cumulated vsize (KiB) 1213216
[startup+582.301 s]
/proc/loadavg: 4.01 3.99 3.92 5/182 14084
/proc/meminfo: memFree=30635464/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=1279032 CPUtime=1164.6 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 294170 0 0 0 115710 750 0 0 25 0 3 0 911089583 1309728768 293414 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 319758 293414 180 372 0 319383 0
[pid=14053/tid=14055] ppid=14051 vsize=1279032 CPUtime=582.28 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 101166 0 0 0 57652 576 0 0 25 0 3 0 911089586 1309728768 293414 33554432000 4194304 5714118 140734883997712 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=1279032 CPUtime=582.27 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 192237 0 0 0 58054 173 0 0 25 0 3 0 911089586 1309728768 293414 33554432000 4194304 5714118 140734883997712 18446744073709551615 4322707 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 1279032
[startup+642.301 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 14086
/proc/meminfo: memFree=30524772/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=1279680 CPUtime=1284.6 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 304313 0 0 0 127640 820 0 0 25 0 3 0 911089583 1310392320 303557 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 319920 303557 180 372 0 319545 0
[pid=14053/tid=14055] ppid=14051 vsize=1279680 CPUtime=642.29 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 111279 0 0 0 63595 634 0 0 25 0 3 0 911089586 1310392320 303557 33554432000 4194304 5714118 140734883997712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=1279680 CPUtime=642.28 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 192267 0 0 0 64042 186 0 0 25 0 3 0 911089586 1310392320 303557 33554432000 4194304 5714118 140734883997712 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.6
Current children cumulated vsize (KiB) 1279680
[startup+702.301 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 14087
/proc/meminfo: memFree=30458752/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=1345928 CPUtime=1404.6 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 317890 0 0 0 139557 903 0 0 25 0 3 0 911089583 1378230272 317134 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 336482 317134 180 372 0 336107 0
[pid=14053/tid=14055] ppid=14051 vsize=1345928 CPUtime=702.28 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 124727 0 0 0 69521 707 0 0 25 0 3 0 911089586 1378230272 317134 33554432000 4194304 5714118 140734883997712 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=1345928 CPUtime=702.29 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 192396 0 0 0 70033 196 0 0 25 0 3 0 911089586 1378230272 317134 33554432000 4194304 5714118 140734883997712 18446744073709551615 4319915 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.6
Current children cumulated vsize (KiB) 1345928
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 14089
/proc/meminfo: memFree=30384312/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=1346204 CPUtime=1524.62 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 321713 0 0 0 151516 946 0 0 25 0 3 0 911089583 1378512896 320957 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 336551 320957 180 372 0 336176 0
[pid=14053/tid=14055] ppid=14051 vsize=1346204 CPUtime=762.29 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 128498 0 0 0 75487 742 0 0 25 0 3 0 911089586 1378512896 320957 33554432000 4194304 5714118 140734883997712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=1346204 CPUtime=762.29 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 192448 0 0 0 76026 203 0 0 25 0 3 0 911089586 1378512896 320957 33554432000 4194304 5714118 140734883997712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 1346204
[startup+822.301 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 14090
/proc/meminfo: memFree=30336280/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=1412680 CPUtime=1644.61 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 328676 0 0 0 163461 1000 0 0 25 0 3 0 911089583 1446584320 327920 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 353170 327920 180 372 0 352795 0
[pid=14053/tid=14055] ppid=14051 vsize=1412680 CPUtime=822.29 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 135317 0 0 0 81438 791 0 0 25 0 3 0 911089586 1446584320 327920 33554432000 4194304 5714118 140734883997712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=1412680 CPUtime=822.29 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 192592 0 0 0 82020 209 0 0 25 0 3 0 911089586 1446584320 327920 33554432000 4194304 5714118 140734883997712 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 1412680
[startup+882.301 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 14092
/proc/meminfo: memFree=30245096/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=1478652 CPUtime=1764.62 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 342491 0 0 0 175388 1074 0 0 25 0 3 0 911089583 1514139648 341735 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 369663 341735 180 372 0 369288 0
[pid=14053/tid=14055] ppid=14051 vsize=1478652 CPUtime=882.29 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 149081 0 0 0 87374 855 0 0 25 0 3 0 911089586 1514139648 341735 33554432000 4194304 5714118 140734883997712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=1478652 CPUtime=882.29 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 192643 0 0 0 88011 218 0 0 25 0 3 0 911089586 1514139648 341735 33554432000 4194304 5714118 140734883997712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 1478652
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 3.99 3.92 3/179 14093
/proc/meminfo: memFree=30814152/32951124 swapFree=67050540/67111528
[pid=14053] ppid=14051 vsize=1478788 CPUtime=1800.03 cores=0,2,4,6
/proc/14053/stat : 14053 (pwbo1.1) S 14051 14053 13000 0 -1 4202496 345342 0 0 0 178912 1091 0 0 25 0 3 0 911089583 1514278912 344586 33554432000 4194304 5714118 140734883997712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14053/statm: 369697 344586 180 372 0 369322 0
[pid=14053/tid=14055] ppid=14051 vsize=1478788 CPUtime=900 cores=0,2,4,6
/proc/14053/task/14055/stat : 14055 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 151923 0 0 0 89132 868 0 0 25 0 3 0 911089586 1514278912 344586 33554432000 4194304 5714118 140734883997712 18446744073709551615 4319437 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14053/tid=14056] ppid=14051 vsize=1478788 CPUtime=900 cores=0,2,4,6
/proc/14053/task/14056/stat : 14056 (pwbo1.1) R 14051 14053 13000 0 -1 4202560 192652 0 0 0 89777 223 0 0 25 0 3 0 911089586 1514278912 344586 33554432000 4194304 5714118 140734883997712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1478788
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.067
CPU time (s): 1800.1
CPU user time (s): 1789.13
CPU system time (s): 10.9713
CPU usage (%): 199.997
Max. virtual memory (cumulated for all children) (KiB): 1478788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.13
system time used= 10.9713
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 345349
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= 432
involuntary context switches= 2964
runsolver used 1.67075 second user time and 2.91856 second system time
The end