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-3500753-1307997737/watcher-3500753-1307997737 -o /tmp/evaluation-result-3500753-1307997737/solver-3500753-1307997737 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500753-1307997737.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.93 3.86 3.82 3/179 27157
/proc/meminfo: memFree=15812716/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=2656 CPUtime=0 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) R 27155 27157 24477 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 1 0 911371428 2719744 364 33554432000 4194304 5714118 140735088470944 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/27157/statm: 664 365 168 372 0 254 0
[startup+0.080464 s]
/proc/loadavg: 3.93 3.86 3.82 3/179 27157
/proc/meminfo: memFree=15812716/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=166064 CPUtime=0.14 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 11018 0 0 0 12 2 0 0 25 0 3 0 911371428 170049536 10796 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 41516 10796 177 372 0 41141 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 166064
[startup+0.105757 s]
/proc/loadavg: 3.93 3.86 3.82 3/179 27157
/proc/meminfo: memFree=15812716/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=166872 CPUtime=0.18 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 13541 0 0 0 16 2 0 0 25 0 3 0 911371428 170876928 13319 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 41718 13326 177 372 0 41343 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 166872
[startup+0.30068 s]
/proc/loadavg: 3.93 3.86 3.82 3/179 27157
/proc/meminfo: memFree=15812716/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=169304 CPUtime=0.58 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 17312 0 0 0 54 4 0 0 25 0 3 0 911371428 173367296 17086 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 42326 17086 178 372 0 41951 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 169304
[startup+0.700603 s]
/proc/loadavg: 3.93 3.86 3.82 3/179 27157
/proc/meminfo: memFree=15812716/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=169304 CPUtime=1.38 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 17815 0 0 0 133 5 0 0 25 0 3 0 911371428 173367296 17527 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 42326 17527 178 372 0 41951 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 169304
[startup+1.50047 s]
/proc/loadavg: 3.94 3.87 3.82 5/182 27160
/proc/meminfo: memFree=15741912/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=169304 CPUtime=2.98 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 19085 0 0 0 287 11 0 0 25 0 3 0 911371428 173367296 18784 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 42326 18784 179 372 0 41951 0
[pid=27157/tid=27159] ppid=27155 vsize=169304 CPUtime=1.47 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 2404 0 0 0 142 5 0 0 20 0 3 0 911371429 173367296 18784 33554432000 4194304 5714118 140735088470944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=169304 CPUtime=1.48 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 16056 0 0 0 143 5 0 0 25 0 3 0 911371429 173367296 18784 33554432000 4194304 5714118 140735088470944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 169304
[startup+3.10117 s]
/proc/loadavg: 3.94 3.87 3.82 5/182 27160
/proc/meminfo: memFree=15736752/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=169304 CPUtime=6.18 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 20215 0 0 0 599 19 0 0 25 0 3 0 911371428 173367296 19594 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 42326 19594 179 372 0 41951 0
[pid=27157/tid=27159] ppid=27155 vsize=169304 CPUtime=3.08 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 3529 0 0 0 296 12 0 0 25 0 3 0 911371429 173367296 19594 33554432000 4194304 5714118 140735088470944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=169304 CPUtime=3.08 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 16061 0 0 0 302 6 0 0 25 0 3 0 911371429 173367296 19594 33554432000 4194304 5714118 140735088470944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 169304
[startup+6.30059 s]
/proc/loadavg: 3.94 3.87 3.82 5/182 27161
/proc/meminfo: memFree=15732536/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=169604 CPUtime=12.58 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 20478 0 0 0 1225 33 0 0 25 0 3 0 911371428 173674496 19716 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 42401 19716 179 372 0 42026 0
[pid=27157/tid=27159] ppid=27155 vsize=169604 CPUtime=6.28 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 3623 0 0 0 604 24 0 0 25 0 3 0 911371429 173674496 19716 33554432000 4194304 5714118 140735088470944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=169604 CPUtime=6.28 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 16230 0 0 0 620 8 0 0 25 0 3 0 911371429 173674496 19716 33554432000 4194304 5714118 140735088470944 18446744073709551615 4339248 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 169604
[startup+12.7004 s]
/proc/loadavg: 3.95 3.87 3.82 5/182 27161
/proc/meminfo: memFree=15721708/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=169604 CPUtime=25.38 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 22764 0 0 0 2477 61 0 0 25 0 3 0 911371428 173674496 22002 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 42401 22002 179 372 0 42026 0
[pid=27157/tid=27159] ppid=27155 vsize=169604 CPUtime=12.68 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 4936 0 0 0 1219 49 0 0 25 0 3 0 911371429 173674496 22002 33554432000 4194304 5714118 140735088470944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=169604 CPUtime=12.67 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 17203 0 0 0 1256 11 0 0 25 0 3 0 911371429 173674496 22002 33554432000 4194304 5714118 140735088470944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 169604
[startup+25.5011 s]
/proc/loadavg: 3.95 3.87 3.82 5/182 27161
/proc/meminfo: memFree=15684644/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=169820 CPUtime=50.98 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 31326 0 0 0 5000 98 0 0 25 0 3 0 911371428 173895680 30564 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 42455 30564 180 372 0 42080 0
[pid=27157/tid=27159] ppid=27155 vsize=169820 CPUtime=25.48 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 9066 0 0 0 2472 76 0 0 25 0 3 0 911371429 173895680 30564 33554432000 4194304 5714118 140735088470944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=169820 CPUtime=25.47 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 21635 0 0 0 2526 21 0 0 25 0 3 0 911371429 173895680 30564 33554432000 4194304 5714118 140735088470944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 169820
[startup+51.1005 s]
/proc/loadavg: 3.97 3.88 3.83 5/182 27162
/proc/meminfo: memFree=15623200/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=235356 CPUtime=102.18 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 45694 0 0 0 10068 150 0 0 25 0 3 0 911371428 241004544 44932 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 58839 44932 180 372 0 58464 0
[pid=27157/tid=27159] ppid=27155 vsize=235356 CPUtime=51.08 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 14415 0 0 0 5001 107 0 0 25 0 3 0 911371429 241004544 44932 33554432000 4194304 5714118 140735088470944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=235356 CPUtime=51.08 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 30654 0 0 0 5065 43 0 0 25 0 3 0 911371429 241004544 44932 33554432000 4194304 5714118 140735088470944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 235356
[startup+102.306 s]
/proc/loadavg: 3.99 3.90 3.83 6/182 27163
/proc/meminfo: memFree=15475728/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=432232 CPUtime=204.59 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 79754 0 0 0 20204 255 0 0 25 0 3 0 911371428 442605568 78707 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 108058 78708 180 372 0 107683 0
[pid=27157/tid=27159] ppid=27155 vsize=432232 CPUtime=102.28 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 18836 0 0 0 10056 172 0 0 25 0 3 0 911371429 442605568 78708 33554432000 4194304 5714118 140735088470944 18446744073709551615 4324808 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=432232 CPUtime=102.28 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 60294 0 0 0 10146 82 0 0 25 0 3 0 911371429 442605568 78708 33554432000 4194304 5714118 140735088470944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 432232
[startup+162.3 s]
/proc/loadavg: 3.99 3.92 3.84 5/182 27165
/proc/meminfo: memFree=15447168/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=432232 CPUtime=324.59 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 83172 0 0 0 32098 361 0 0 25 0 3 0 911371428 442605568 82125 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 108058 82125 180 372 0 107683 0
[pid=27157/tid=27159] ppid=27155 vsize=432232 CPUtime=162.28 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 19186 0 0 0 15975 253 0 0 25 0 3 0 911371429 442605568 82125 33554432000 4194304 5714118 140735088470944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=432232 CPUtime=162.28 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 63361 0 0 0 16121 107 0 0 25 0 3 0 911371429 442605568 82125 33554432000 4194304 5714118 140735088470944 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 432232
[startup+222.3 s]
/proc/loadavg: 3.99 3.93 3.84 5/182 27166
/proc/meminfo: memFree=15377540/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=432232 CPUtime=444.59 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 89675 0 0 0 43994 465 0 0 25 0 3 0 911371428 442605568 88628 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 108058 88628 180 372 0 107683 0
[pid=27157/tid=27159] ppid=27155 vsize=432232 CPUtime=222.29 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 25688 0 0 0 21892 337 0 0 25 0 3 0 911371429 442605568 88628 33554432000 4194304 5714118 140735088470944 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=432232 CPUtime=222.28 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 63362 0 0 0 22100 128 0 0 25 0 3 0 911371429 442605568 88628 33554432000 4194304 5714118 140735088470944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 432232
[startup+282.301 s]
/proc/loadavg: 3.99 3.94 3.85 5/182 27168
/proc/meminfo: memFree=15352824/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=432232 CPUtime=564.59 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 95739 0 0 0 55898 561 0 0 25 0 3 0 911371428 442605568 94692 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 108058 94692 180 372 0 107683 0
[pid=27157/tid=27159] ppid=27155 vsize=432232 CPUtime=282.29 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 26662 0 0 0 27822 407 0 0 25 0 3 0 911371429 442605568 94692 33554432000 4194304 5714118 140735088470944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=432232 CPUtime=282.29 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 68452 0 0 0 28075 154 0 0 25 0 3 0 911371429 442605568 94692 33554432000 4194304 5714118 140735088470944 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 432232
[startup+342.301 s]
/proc/loadavg: 3.87 3.91 3.85 5/182 27211
/proc/meminfo: memFree=15777520/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=497768 CPUtime=684.59 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 107395 0 0 0 67824 635 0 0 25 0 3 0 911371428 509714432 106348 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 124442 106348 180 372 0 124067 0
[pid=27157/tid=27159] ppid=27155 vsize=497768 CPUtime=342.29 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 35877 0 0 0 33766 463 0 0 25 0 3 0 911371429 509714432 106348 33554432000 4194304 5714118 140735088470944 18446744073709551615 4319266 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=497768 CPUtime=342.28 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 70893 0 0 0 34057 171 0 0 25 0 3 0 911371429 509714432 106348 33554432000 4194304 5714118 140735088470944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 497768
[startup+402.301 s]
/proc/loadavg: 3.95 3.93 3.85 5/182 27212
/proc/meminfo: memFree=15649720/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=563544 CPUtime=804.59 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 122080 0 0 0 79761 698 0 0 25 0 3 0 911371428 577069056 121033 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 140886 121033 180 372 0 140511 0
[pid=27157/tid=27159] ppid=27155 vsize=563544 CPUtime=402.29 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 43298 0 0 0 39719 510 0 0 25 0 3 0 911371429 577069056 121033 33554432000 4194304 5714118 140735088470944 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=563544 CPUtime=402.28 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 78157 0 0 0 40040 188 0 0 25 0 3 0 911371429 577069056 121033 33554432000 4194304 5714118 140735088470944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 563544
[startup+462.301 s]
/proc/loadavg: 3.98 3.94 3.86 5/182 27214
/proc/meminfo: memFree=15556420/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=629080 CPUtime=924.6 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 133193 0 0 0 91689 771 0 0 25 0 3 0 911371428 644177920 132146 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 157270 132146 180 372 0 156895 0
[pid=27157/tid=27159] ppid=27155 vsize=629080 CPUtime=462.29 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 54411 0 0 0 45659 570 0 0 25 0 3 0 911371429 644177920 132146 33554432000 4194304 5714118 140735088470944 18446744073709551615 4319255 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=629080 CPUtime=462.29 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 78157 0 0 0 46029 200 0 0 25 0 3 0 911371429 644177920 132146 33554432000 4194304 5714118 140735088470944 18446744073709551615 4305130 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 629080
[startup+522.301 s]
/proc/loadavg: 3.99 3.95 3.86 5/182 27215
/proc/meminfo: memFree=15475504/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=629080 CPUtime=1044.6 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 140607 0 0 0 103636 824 0 0 25 0 3 0 911371428 644177920 139301 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 157270 139301 180 372 0 156895 0
[pid=27157/tid=27159] ppid=27155 vsize=629080 CPUtime=522.3 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 60091 0 0 0 51621 609 0 0 25 0 3 0 911371429 644177920 139301 33554432000 4194304 5714118 140735088470944 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=629080 CPUtime=522.28 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 79891 0 0 0 52013 215 0 0 25 0 3 0 911371429 644177920 139301 33554432000 4194304 5714118 140735088470944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 629080
[startup+582.3 s]
/proc/loadavg: 4.03 3.97 3.87 5/182 27217
/proc/meminfo: memFree=15402420/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=629440 CPUtime=1164.61 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 148425 0 0 0 115590 871 0 0 25 0 3 0 911371428 644546560 147119 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 157360 147119 180 372 0 156985 0
[pid=27157/tid=27159] ppid=27155 vsize=629440 CPUtime=582.3 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 65322 0 0 0 57591 639 0 0 25 0 3 0 911371429 644546560 147119 33554432000 4194304 5714118 140735088470944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=629440 CPUtime=582.28 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 82478 0 0 0 57997 231 0 0 25 0 3 0 911371429 644546560 147119 33554432000 4194304 5714118 140735088470944 18446744073709551615 4323259 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 629440
[startup+642.3 s]
/proc/loadavg: 4.01 3.97 3.88 5/182 27219
/proc/meminfo: memFree=15340740/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=694976 CPUtime=1284.62 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 156310 0 0 0 127543 919 0 0 25 0 3 0 911371428 711655424 155004 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 173744 155004 180 372 0 173369 0
[pid=27157/tid=27159] ppid=27155 vsize=694976 CPUtime=642.3 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 72553 0 0 0 63557 673 0 0 25 0 3 0 911371429 711655424 155004 33554432000 4194304 5714118 140735088470944 18446744073709551615 4319758 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=694976 CPUtime=642.3 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 83132 0 0 0 63984 246 0 0 25 0 3 0 911371429 711655424 155004 33554432000 4194304 5714118 140735088470944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 694976
[startup+702.301 s]
/proc/loadavg: 4.00 3.97 3.89 5/182 27220
/proc/meminfo: memFree=15259700/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=695460 CPUtime=1404.61 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 167274 0 0 0 139482 979 0 0 25 0 3 0 911371428 712151040 165968 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 173865 165968 180 372 0 173490 0
[pid=27157/tid=27159] ppid=27155 vsize=695460 CPUtime=702.3 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 79849 0 0 0 69513 717 0 0 25 0 3 0 911371429 712151040 165968 33554432000 4194304 5714118 140735088470944 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=695460 CPUtime=702.29 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 86800 0 0 0 69968 261 0 0 25 0 3 0 911371429 712151040 165968 33554432000 4194304 5714118 140735088470944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 695460
[startup+762.307 s]
/proc/loadavg: 4.00 3.97 3.89 5/182 27222
/proc/meminfo: memFree=15153616/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=826668 CPUtime=1524.63 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 184401 0 0 0 151426 1037 0 0 25 0 3 0 911371428 846508032 183094 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 206667 183094 180 372 0 206292 0
[pid=27157/tid=27159] ppid=27155 vsize=826668 CPUtime=762.31 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 87382 0 0 0 75476 755 0 0 25 0 3 0 911371429 846508032 183094 33554432000 4194304 5714118 140735088470944 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=826668 CPUtime=762.3 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 96394 0 0 0 75948 282 0 0 25 0 3 0 911371429 846508032 183094 33554432000 4194304 5714118 140735088470944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 826668
[startup+822.301 s]
/proc/loadavg: 4.00 3.97 3.90 5/182 27223
/proc/meminfo: memFree=15087336/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=827352 CPUtime=1644.62 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 193845 0 0 0 163360 1102 0 0 25 0 3 0 911371428 847208448 192538 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 206838 192538 180 372 0 206463 0
[pid=27157/tid=27159] ppid=27155 vsize=827352 CPUtime=822.3 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 91628 0 0 0 81424 806 0 0 25 0 3 0 911371429 847208448 192538 33554432000 4194304 5714118 140735088470944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=827352 CPUtime=822.3 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 101592 0 0 0 81935 295 0 0 25 0 3 0 911371429 847208448 192538 33554432000 4194304 5714118 140735088470944 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 827352
[startup+882.301 s]
/proc/loadavg: 4.00 3.97 3.90 5/182 27225
/proc/meminfo: memFree=15016348/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=827484 CPUtime=1764.62 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 202379 0 0 0 175310 1152 0 0 25 0 3 0 911371428 847343616 201072 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 206871 201072 180 372 0 206496 0
[pid=27157/tid=27159] ppid=27155 vsize=827484 CPUtime=882.31 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 97160 0 0 0 87381 850 0 0 25 0 3 0 911371429 847343616 201072 33554432000 4194304 5714118 140735088470944 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=827484 CPUtime=882.3 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 104594 0 0 0 87928 302 0 0 25 0 3 0 911371429 847343616 201072 33554432000 4194304 5714118 140735088470944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 827484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 3.97 3.90 5/182 27225
/proc/meminfo: memFree=14989420/32951124 swapFree=67053176/67111528
[pid=27157] ppid=27155 vsize=959364 CPUtime=1800.04 cores=1,3,5,7
/proc/27157/stat : 27157 (pwbo1.1) S 27155 27157 24477 0 -1 4202496 206613 0 0 0 178834 1170 0 0 25 0 3 0 911371428 982388736 205306 33554432000 4194304 5714118 140735088470944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27157/statm: 239841 205306 180 372 0 239466 0
[pid=27157/tid=27159] ppid=27155 vsize=959364 CPUtime=900.01 cores=1,3,5,7
/proc/27157/task/27159/stat : 27159 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 99473 0 0 0 89138 863 0 0 25 0 3 0 911371429 982388736 205306 33554432000 4194304 5714118 140735088470944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=27157/tid=27160] ppid=27155 vsize=959364 CPUtime=900 cores=1,3,5,7
/proc/27157/task/27160/stat : 27160 (pwbo1.1) R 27155 27157 24477 0 -1 4202560 106515 0 0 0 89694 306 0 0 25 0 3 0 911371429 982388736 205306 33554432000 4194304 5714118 140735088470944 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) 959364
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.049
CPU time (s): 1800.09
CPU user time (s): 1788.36
CPU system time (s): 11.7372
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 959364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.36
system time used= 11.7372
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206620
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= 262
involuntary context switches= 6177
runsolver used 1.52977 second user time and 3.39948 second system time
The end