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-3500052-1307989458/watcher-3500052-1307989458 -o /tmp/evaluation-result-3500052-1307989458/solver-3500052-1307989458 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500052-1307989458.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.77 2.22 1.71 4/179 24935
/proc/meminfo: memFree=16221660/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=3416 CPUtime=0 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) R 24933 24935 24477 0 -1 4202496 609 0 0 0 0 0 0 0 25 0 1 0 910543543 3497984 561 33554432000 4194304 5714118 140733479124272 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24935/statm: 854 562 167 372 0 448 0
[startup+0.02812 s]
/proc/loadavg: 3.77 2.22 1.71 4/179 24935
/proc/meminfo: memFree=16221660/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=137412 CPUtime=0.03 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 1829 0 0 0 3 0 0 0 25 0 3 0 910543543 140709888 1750 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 34353 1751 178 372 0 33978 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 137412
[startup+0.101118 s]
/proc/loadavg: 3.77 2.22 1.71 4/179 24935
/proc/meminfo: memFree=16221660/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=137412 CPUtime=0.18 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 2962 0 0 0 17 1 0 0 25 0 3 0 910543543 140709888 2632 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 34353 2641 179 372 0 33978 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 137412
[startup+0.301071 s]
/proc/loadavg: 3.77 2.22 1.71 4/179 24935
/proc/meminfo: memFree=16221660/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=137412 CPUtime=0.58 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 6227 0 0 0 56 2 0 0 25 0 3 0 910543543 140709888 4465 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 34353 4465 179 372 0 33978 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 137412
[startup+0.700998 s]
/proc/loadavg: 3.77 2.22 1.71 4/179 24935
/proc/meminfo: memFree=16221660/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=137412 CPUtime=1.38 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 13269 0 0 0 134 4 0 0 25 0 3 0 910543543 140709888 7222 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 34353 7222 179 372 0 33978 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 137412
[startup+1.50086 s]
/proc/loadavg: 3.77 2.22 1.71 5/182 24938
/proc/meminfo: memFree=16186320/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=138856 CPUtime=2.98 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 26799 0 0 0 292 6 0 0 25 0 3 0 910543543 142188544 11871 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 34714 11871 179 372 0 34339 0
[pid=24935/tid=24937] ppid=24933 vsize=138856 CPUtime=1.48 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 23805 0 0 0 145 3 0 0 20 0 3 0 910543544 142188544 11871 33554432000 4194304 5714118 140733479124272 18446744073709551615 4967679 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=138856 CPUtime=1.47 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 1979 0 0 0 145 2 0 0 25 0 3 0 910543544 142188544 11871 33554432000 4194304 5714118 140733479124272 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 138856
[startup+3.10057 s]
/proc/loadavg: 3.78 2.25 1.73 5/182 24938
/proc/meminfo: memFree=16159868/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=137412 CPUtime=6.18 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 45097 0 0 0 602 16 0 0 25 0 3 0 910543543 140709888 19197 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 34353 19197 179 372 0 33978 0
[pid=24935/tid=24937] ppid=24933 vsize=137412 CPUtime=3.08 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 40196 0 0 0 297 11 0 0 25 0 3 0 910543544 140709888 19198 33554432000 4194304 5714118 140733479124272 18446744073709551615 4976397 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=137412 CPUtime=3.08 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 3887 0 0 0 304 4 0 0 25 0 3 0 910543544 140709888 19198 33554432000 4194304 5714118 140733479124272 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 137412
[startup+6.30099 s]
/proc/loadavg: 3.78 2.25 1.73 5/182 24938
/proc/meminfo: memFree=16118968/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=202948 CPUtime=12.58 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 75858 0 0 0 1204 54 0 0 25 0 3 0 910543543 207818752 28418 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 50737 28418 179 372 0 50362 0
[pid=24935/tid=24937] ppid=24933 vsize=202948 CPUtime=6.28 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 68901 0 0 0 581 47 0 0 25 0 3 0 910543544 207818752 28418 33554432000 4194304 5714118 140733479124272 18446744073709551615 4355633 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=202948 CPUtime=6.27 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 5942 0 0 0 621 6 0 0 25 0 3 0 910543544 207818752 28418 33554432000 4194304 5714118 140733479124272 18446744073709551615 4319453 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 202948
[startup+12.7008 s]
/proc/loadavg: 3.82 2.31 1.75 5/182 24938
/proc/meminfo: memFree=16061812/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=268484 CPUtime=25.37 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 124624 0 0 0 2379 158 0 0 25 0 3 0 910543543 274927616 43204 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 67121 43204 179 372 0 66746 0
[pid=24935/tid=24937] ppid=24933 vsize=268484 CPUtime=12.68 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 115858 0 0 0 1120 148 0 0 25 0 3 0 910543544 274927616 43204 33554432000 4194304 5714118 140733479124272 18446744073709551615 4968872 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=268484 CPUtime=12.67 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 7751 0 0 0 1258 9 0 0 25 0 3 0 910543544 274927616 43204 33554432000 4194304 5714118 140733479124272 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 268484
[startup+25.5005 s]
/proc/loadavg: 3.84 2.36 1.77 5/182 24938
/proc/meminfo: memFree=15985320/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=334020 CPUtime=50.98 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 174187 0 0 0 4769 329 0 0 25 0 3 0 910543543 342036480 59638 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 83505 59638 180 372 0 83130 0
[pid=24935/tid=24937] ppid=24933 vsize=334020 CPUtime=25.48 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 163159 0 0 0 2235 313 0 0 25 0 3 0 910543544 342036480 59638 33554432000 4194304 5714118 140733479124272 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=334020 CPUtime=25.47 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 10013 0 0 0 2532 15 0 0 25 0 3 0 910543544 342036480 59638 33554432000 4194304 5714118 140733479124272 18446744073709551615 4309268 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 334020
[startup+51.1009 s]
/proc/loadavg: 3.90 2.49 1.83 5/182 24939
/proc/meminfo: memFree=15926408/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=334020 CPUtime=102.17 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 194995 0 0 0 9800 417 0 0 25 0 3 0 910543543 342036480 72084 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 83505 72084 180 372 0 83130 0
[pid=24935/tid=24937] ppid=24933 vsize=334020 CPUtime=51.08 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 181026 0 0 0 4713 395 0 0 25 0 3 0 910543544 342036480 72084 33554432000 4194304 5714118 140733479124272 18446744073709551615 4319864 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=334020 CPUtime=51.08 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 12954 0 0 0 5086 22 0 0 25 0 3 0 910543544 342036480 72084 33554432000 4194304 5714118 140733479124272 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 334020
[startup+102.307 s]
/proc/loadavg: 3.96 2.74 1.95 5/182 24940
/proc/meminfo: memFree=15861524/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=421436 CPUtime=204.59 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 214869 0 0 0 19995 464 0 0 25 0 3 0 910543543 431550464 88345 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 105359 88345 180 372 0 104984 0
[pid=24935/tid=24937] ppid=24933 vsize=421436 CPUtime=102.28 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 198819 0 0 0 9808 420 0 0 25 0 3 0 910543544 431550464 88345 33554432000 4194304 5714118 140733479124272 18446744073709551615 4310576 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=421436 CPUtime=102.28 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 15035 0 0 0 10185 43 0 0 25 0 3 0 910543544 431550464 88345 33554432000 4194304 5714118 140733479124272 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 421436
[startup+162.301 s]
/proc/loadavg: 3.98 2.97 2.08 5/182 24942
/proc/meminfo: memFree=15720104/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=552508 CPUtime=324.58 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 249566 0 0 0 31944 514 0 0 25 0 3 0 910543543 565768192 123042 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 138127 123042 180 372 0 137752 0
[pid=24935/tid=24937] ppid=24933 vsize=552508 CPUtime=162.28 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 233516 0 0 0 15789 439 0 0 25 0 3 0 910543544 565768192 123042 33554432000 4194304 5714118 140733479124272 18446744073709551615 4322628 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=552508 CPUtime=162.28 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 15035 0 0 0 16154 74 0 0 25 0 3 0 910543544 565768192 123042 33554432000 4194304 5714118 140733479124272 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 552508
[startup+222.301 s]
/proc/loadavg: 3.99 3.15 2.20 5/182 24944
/proc/meminfo: memFree=15606960/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=683580 CPUtime=444.59 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 275394 0 0 0 43903 556 0 0 25 0 3 0 910543543 699985920 148845 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 170895 148845 180 372 0 170520 0
[pid=24935/tid=24937] ppid=24933 vsize=683580 CPUtime=222.28 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 257697 0 0 0 21775 453 0 0 25 0 3 0 910543544 699985920 148845 33554432000 4194304 5714118 140733479124272 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=683580 CPUtime=222.27 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 16682 0 0 0 22126 101 0 0 25 0 3 0 910543544 699985920 148845 33554432000 4194304 5714118 140733479124272 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 683580
[startup+282.301 s]
/proc/loadavg: 3.99 3.31 2.31 5/182 24945
/proc/meminfo: memFree=15482060/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=814800 CPUtime=564.59 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 304312 0 0 0 55870 589 0 0 25 0 3 0 910543543 834355200 177762 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 203700 177762 180 372 0 203325 0
[pid=24935/tid=24937] ppid=24933 vsize=814800 CPUtime=282.28 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 285449 0 0 0 27763 465 0 0 25 0 3 0 910543544 834355200 177762 33554432000 4194304 5714118 140733479124272 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=814800 CPUtime=282.28 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 17848 0 0 0 28105 123 0 0 25 0 3 0 910543544 834355200 177762 33554432000 4194304 5714118 140733479124272 18446744073709551615 4310920 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 814800
[startup+342.3 s]
/proc/loadavg: 3.99 3.43 2.41 5/182 24947
/proc/meminfo: memFree=15339272/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=934932 CPUtime=684.59 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 343705 0 0 0 67816 643 0 0 25 0 3 0 910543543 957370368 211122 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 233733 211122 180 372 0 233358 0
[pid=24935/tid=24937] ppid=24933 vsize=934932 CPUtime=342.29 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 324839 0 0 0 33732 497 0 0 25 0 3 0 910543544 957370368 211122 33554432000 4194304 5714118 140733479124272 18446744073709551615 4323015 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=934932 CPUtime=342.28 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 17851 0 0 0 34083 145 0 0 25 0 3 0 910543544 957370368 211122 33554432000 4194304 5714118 140733479124272 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 934932
[startup+402.3 s]
/proc/loadavg: 3.99 3.53 2.51 5/182 24948
/proc/meminfo: memFree=15306480/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=934932 CPUtime=804.59 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 351359 0 0 0 79791 668 0 0 25 0 3 0 910543543 957370368 218776 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 233733 218776 180 372 0 233358 0
[pid=24935/tid=24937] ppid=24933 vsize=934932 CPUtime=402.28 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 324896 0 0 0 39728 500 0 0 25 0 3 0 910543544 957370368 218776 33554432000 4194304 5714118 140733479124272 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=934932 CPUtime=402.29 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 25448 0 0 0 40062 167 0 0 25 0 3 0 910543544 957370368 218776 33554432000 4194304 5714118 140733479124272 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 934932
[startup+462.301 s]
/proc/loadavg: 3.99 3.61 2.60 5/182 24950
/proc/meminfo: memFree=15305684/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=934932 CPUtime=924.6 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 351741 0 0 0 91773 687 0 0 25 0 3 0 910543543 957370368 218878 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 233733 218878 180 372 0 233358 0
[pid=24935/tid=24937] ppid=24933 vsize=934932 CPUtime=462.29 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 325032 0 0 0 45725 504 0 0 25 0 3 0 910543544 957370368 218878 33554432000 4194304 5714118 140733479124272 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=934932 CPUtime=462.28 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 25694 0 0 0 46046 182 0 0 25 0 3 0 910543544 957370368 218878 33554432000 4194304 5714118 140733479124272 18446744073709551615 4312918 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 934932
[startup+522.301 s]
/proc/loadavg: 3.99 3.68 2.68 5/182 24952
/proc/meminfo: memFree=15291116/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=934932 CPUtime=1044.6 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 354456 0 0 0 103754 706 0 0 25 0 3 0 910543543 957370368 221047 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 233733 221047 180 372 0 233358 0
[pid=24935/tid=24937] ppid=24933 vsize=934932 CPUtime=522.29 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 325143 0 0 0 51723 506 0 0 25 0 3 0 910543544 957370368 221047 33554432000 4194304 5714118 140733479124272 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=934932 CPUtime=522.29 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 28298 0 0 0 52030 199 0 0 25 0 3 0 910543544 957370368 221047 33554432000 4194304 5714118 140733479124272 18446744073709551615 4323002 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 934932
[startup+582.301 s]
/proc/loadavg: 3.99 3.74 2.76 5/182 24953
/proc/meminfo: memFree=15283488/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=934932 CPUtime=1164.6 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 356083 0 0 0 115735 725 0 0 25 0 3 0 910543543 957370368 221972 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 233733 221972 180 372 0 233358 0
[pid=24935/tid=24937] ppid=24933 vsize=934932 CPUtime=582.29 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 325175 0 0 0 57721 508 0 0 25 0 3 0 910543544 957370368 221972 33554432000 4194304 5714118 140733479124272 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=934932 CPUtime=582.29 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 29893 0 0 0 58012 217 0 0 25 0 3 0 910543544 957370368 221972 33554432000 4194304 5714118 140733479124272 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 934932
[startup+642.301 s]
/proc/loadavg: 3.99 3.78 2.84 5/182 24955
/proc/meminfo: memFree=15249332/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=1000620 CPUtime=1284.62 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 363945 0 0 0 127718 744 0 0 25 0 3 0 910543543 1024634880 229834 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 250155 229834 180 372 0 249780 0
[pid=24935/tid=24937] ppid=24933 vsize=1000620 CPUtime=642.3 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 325217 0 0 0 63721 509 0 0 25 0 3 0 910543544 1024634880 229834 33554432000 4194304 5714118 140733479124272 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=1000620 CPUtime=642.3 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 37713 0 0 0 63996 234 0 0 25 0 3 0 910543544 1024634880 229834 33554432000 4194304 5714118 140733479124272 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 1000620
[startup+702.3 s]
/proc/loadavg: 3.99 3.82 2.91 5/182 24956
/proc/meminfo: memFree=15222364/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=1000772 CPUtime=1404.61 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 370215 0 0 0 139704 757 0 0 25 0 3 0 910543543 1024790528 236104 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 250193 236104 180 372 0 249818 0
[pid=24935/tid=24937] ppid=24933 vsize=1000772 CPUtime=702.29 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 325238 0 0 0 69718 511 0 0 25 0 3 0 910543544 1024790528 236104 33554432000 4194304 5714118 140733479124272 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=1000772 CPUtime=702.3 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 43962 0 0 0 69985 245 0 0 25 0 3 0 910543544 1024790528 236104 33554432000 4194304 5714118 140733479124272 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 1000772
[startup+762.306 s]
/proc/loadavg: 3.99 3.85 2.97 5/182 24999
/proc/meminfo: memFree=15123048/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=1066308 CPUtime=1524.62 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 382645 0 0 0 151673 789 0 0 25 0 3 0 910543543 1091899392 248421 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 266577 248421 180 372 0 266202 0
[pid=24935/tid=24937] ppid=24933 vsize=1066308 CPUtime=762.31 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 337663 0 0 0 75705 526 0 0 25 0 3 0 910543544 1091899392 248421 33554432000 4194304 5714118 140733479124272 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=1066308 CPUtime=762.3 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 43967 0 0 0 75967 263 0 0 25 0 3 0 910543544 1091899392 248421 33554432000 4194304 5714118 140733479124272 18446744073709551615 4309446 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 1066308
[startup+822.301 s]
/proc/loadavg: 4.04 3.89 3.04 5/182 25001
/proc/meminfo: memFree=14997124/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=1131844 CPUtime=1644.62 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 401950 0 0 0 163619 843 0 0 25 0 3 0 910543543 1159008256 267725 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 282961 267725 180 372 0 282586 0
[pid=24935/tid=24937] ppid=24933 vsize=1131844 CPUtime=822.29 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 356968 0 0 0 81676 553 0 0 25 0 3 0 910543544 1159008256 267725 33554432000 4194304 5714118 140733479124272 18446744073709551615 4319920 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=1131844 CPUtime=822.3 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 43967 0 0 0 81941 289 0 0 25 0 3 0 910543544 1159008256 267725 33554432000 4194304 5714118 140733479124272 18446744073709551615 4309468 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 1131844
[startup+882.301 s]
/proc/loadavg: 4.01 3.91 3.10 5/182 25002
/proc/meminfo: memFree=14914348/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=1197380 CPUtime=1764.62 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 415422 0 0 0 175565 897 0 0 25 0 3 0 910543543 1226117120 281197 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 299345 281197 180 372 0 298970 0
[pid=24935/tid=24937] ppid=24933 vsize=1197380 CPUtime=882.3 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 370440 0 0 0 87653 577 0 0 25 0 3 0 910543544 1226117120 281197 33554432000 4194304 5714118 140733479124272 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=1197380 CPUtime=882.29 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 43967 0 0 0 87910 319 0 0 25 0 3 0 910543544 1226117120 281197 33554432000 4194304 5714118 140733479124272 18446744073709551615 4311859 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 1197380
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.01 3.91 3.11 5/182 25003
/proc/meminfo: memFree=14898308/32951124 swapFree=67053176/67111528
[pid=24935] ppid=24933 vsize=1197380 CPUtime=1800.03 cores=1,3,5,7
/proc/24935/stat : 24935 (pwbo1.1) S 24933 24935 24477 0 -1 4202496 418880 0 0 0 179090 913 0 0 25 0 3 0 910543543 1226117120 284655 33554432000 4194304 5714118 140733479124272 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/24935/statm: 299345 284655 180 372 0 298970 0
[pid=24935/tid=24937] ppid=24933 vsize=1197380 CPUtime=900.01 cores=1,3,5,7
/proc/24935/task/24937/stat : 24937 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 373898 0 0 0 89417 584 0 0 25 0 3 0 910543544 1226117120 284655 33554432000 4194304 5714118 140733479124272 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=24935/tid=24938] ppid=24933 vsize=1197380 CPUtime=900.01 cores=1,3,5,7
/proc/24935/task/24938/stat : 24938 (pwbo1.1) R 24933 24935 24477 0 -1 4202560 43967 0 0 0 89672 329 0 0 25 0 3 0 910543544 1226117120 284655 33554432000 4194304 5714118 140733479124272 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1197380
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.061
CPU time (s): 1800.1
CPU user time (s): 1790.92
CPU system time (s): 9.1866
CPU usage (%): 199.998
Max. virtual memory (cumulated for all children) (KiB): 1197380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.92
system time used= 9.1866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 418885
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= 290
involuntary context switches= 11543
runsolver used 1.50977 second user time and 3.38748 second system time
The end