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-3500409-1307994873/watcher-3500409-1307994873 -o /tmp/evaluation-result-3500409-1307994873/solver-3500409-1307994873 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500409-1307994873.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: 4.02 3.99 3.91 4/179 25782
/proc/meminfo: memFree=16126164/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=134924 CPUtime=0 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 538 0 0 0 0 0 0 0 25 0 3 0 911084977 138162176 488 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 33731 488 179 372 0 33356 0
[pid=25782/tid=25783] ppid=25780 vsize=134924 CPUtime=0 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 59 0 0 0 0 0 0 0 25 0 3 0 911084977 138162176 489 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=134924 CPUtime=0 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 157 0 0 0 0 0 0 0 18 0 3 0 911084977 138162176 489 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[startup+0.07047 s]
/proc/loadavg: 4.02 3.99 3.91 4/179 25782
/proc/meminfo: memFree=16126164/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=134924 CPUtime=0.13 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 862 0 0 0 12 1 0 0 25 0 3 0 911084977 138162176 812 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 33731 812 179 372 0 33356 0
[pid=25782/tid=25783] ppid=25780 vsize=134924 CPUtime=0.06 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 254 0 0 0 6 0 0 0 25 0 3 0 911084977 138162176 812 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=134924 CPUtime=0.05 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 285 0 0 0 5 0 0 0 18 0 3 0 911084977 138162176 812 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 134924
[startup+0.100468 s]
/proc/loadavg: 4.02 3.99 3.91 4/179 25782
/proc/meminfo: memFree=16126164/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=134924 CPUtime=0.19 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 951 0 0 0 18 1 0 0 25 0 3 0 911084977 138162176 901 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 33731 901 179 372 0 33356 0
[pid=25782/tid=25783] ppid=25780 vsize=134924 CPUtime=0.09 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 342 0 0 0 9 0 0 0 25 0 3 0 911084977 138162176 901 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=134924 CPUtime=0.09 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 286 0 0 0 8 1 0 0 18 0 3 0 911084977 138162176 901 33554432000 4194304 5714118 140733860532208 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) 134924
[startup+0.30043 s]
/proc/loadavg: 4.02 3.99 3.91 4/179 25782
/proc/meminfo: memFree=16126164/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=134924 CPUtime=0.59 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 1533 0 0 0 56 3 0 0 25 0 3 0 911084977 138162176 1483 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 33731 1483 179 372 0 33356 0
[pid=25782/tid=25783] ppid=25780 vsize=134924 CPUtime=0.29 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 582 0 0 0 28 1 0 0 25 0 3 0 911084977 138162176 1483 33554432000 4194304 5714118 140733860532208 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=134924 CPUtime=0.29 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 628 0 0 0 27 2 0 0 18 0 3 0 911084977 138162176 1484 33554432000 4194304 5714118 140733860532208 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) 134924
[startup+0.700356 s]
/proc/loadavg: 4.02 3.99 3.91 4/179 25782
/proc/meminfo: memFree=16126164/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=134924 CPUtime=1.39 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 2620 0 0 0 133 6 0 0 25 0 3 0 911084977 138162176 2570 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 33731 2570 179 372 0 33356 0
[pid=25782/tid=25783] ppid=25780 vsize=134924 CPUtime=0.68 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 1291 0 0 0 66 2 0 0 25 0 3 0 911084977 138162176 2571 33554432000 4194304 5714118 140733860532208 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=134924 CPUtime=0.69 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 1007 0 0 0 66 3 0 0 18 0 3 0 911084977 138162176 2571 33554432000 4194304 5714118 140733860532208 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) 134924
[startup+1.50023 s]
/proc/loadavg: 4.02 3.99 3.91 5/182 25785
/proc/meminfo: memFree=16110296/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=135352 CPUtime=2.99 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 3673 0 0 0 290 9 0 0 25 0 3 0 911084977 138600448 3623 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 33838 3623 179 372 0 33463 0
[pid=25782/tid=25783] ppid=25780 vsize=135352 CPUtime=1.48 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 2061 0 0 0 144 4 0 0 25 0 3 0 911084977 138600448 3623 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=135352 CPUtime=1.48 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 1289 0 0 0 144 4 0 0 20 0 3 0 911084977 138600448 3623 33554432000 4194304 5714118 140733860532208 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) 135352
[startup+3.10092 s]
/proc/loadavg: 4.02 3.99 3.91 5/182 25785
/proc/meminfo: memFree=16101492/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=135352 CPUtime=6.19 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 5139 0 0 0 604 15 0 0 25 0 3 0 911084977 138600448 5089 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 33838 5089 180 372 0 33463 0
[pid=25782/tid=25783] ppid=25780 vsize=135352 CPUtime=3.09 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 3186 0 0 0 301 8 0 0 25 0 3 0 911084977 138600448 5089 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=135352 CPUtime=3.09 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 1630 0 0 0 302 7 0 0 25 0 3 0 911084977 138600448 5089 33554432000 4194304 5714118 140733860532208 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) 135352
[startup+6.30034 s]
/proc/loadavg: 4.02 3.99 3.91 5/182 25785
/proc/meminfo: memFree=16085008/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=135556 CPUtime=12.59 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 7284 0 0 0 1229 30 0 0 25 0 3 0 911084977 138809344 7234 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 33889 7234 180 372 0 33514 0
[pid=25782/tid=25783] ppid=25780 vsize=135556 CPUtime=6.29 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 5186 0 0 0 615 14 0 0 25 0 3 0 911084977 138809344 7234 33554432000 4194304 5714118 140733860532208 18446744073709551615 4319784 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=135556 CPUtime=6.29 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 1775 0 0 0 614 15 0 0 25 0 3 0 911084977 138809344 7234 33554432000 4194304 5714118 140733860532208 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) 135556
[startup+12.7002 s]
/proc/loadavg: 4.02 3.99 3.91 5/182 25785
/proc/meminfo: memFree=16069956/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=135772 CPUtime=25.39 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 8464 0 0 0 2493 46 0 0 25 0 3 0 911084977 139030528 8376 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 33943 8376 180 372 0 33568 0
[pid=25782/tid=25783] ppid=25780 vsize=135772 CPUtime=12.69 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 5934 0 0 0 1248 21 0 0 25 0 3 0 911084977 139030528 8376 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=135772 CPUtime=12.68 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 2207 0 0 0 1244 24 0 0 25 0 3 0 911084977 139030528 8376 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 135772
[startup+25.5009 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 25786
/proc/meminfo: memFree=16052480/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=136420 CPUtime=50.99 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 11544 0 0 0 5027 72 0 0 25 0 3 0 911084977 139694080 11456 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 34105 11456 180 372 0 33730 0
[pid=25782/tid=25783] ppid=25780 vsize=136420 CPUtime=25.49 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 8285 0 0 0 2514 35 0 0 25 0 3 0 911084977 139694080 11456 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=136420 CPUtime=25.49 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 2936 0 0 0 2512 37 0 0 25 0 3 0 911084977 139694080 11456 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 136420
[startup+51.1003 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 25786
/proc/meminfo: memFree=16005924/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=202800 CPUtime=102.19 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 20302 0 0 0 10094 125 0 0 25 0 3 0 911084977 207667200 20214 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 50700 20214 180 372 0 50325 0
[pid=25782/tid=25783] ppid=25780 vsize=202800 CPUtime=51.09 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 16208 0 0 0 5043 66 0 0 25 0 3 0 911084977 207667200 20214 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=202800 CPUtime=51.09 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 3771 0 0 0 5050 59 0 0 25 0 3 0 911084977 207667200 20214 33554432000 4194304 5714118 140733860532208 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) 202800
[startup+102.307 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25788
/proc/meminfo: memFree=15939024/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=203932 CPUtime=204.61 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 33740 0 0 0 20244 217 0 0 25 0 3 0 911084977 208826368 33652 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 50983 33652 180 372 0 50608 0
[pid=25782/tid=25783] ppid=25780 vsize=203932 CPUtime=102.3 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 28401 0 0 0 10114 116 0 0 25 0 3 0 911084977 208826368 33652 33554432000 4194304 5714118 140733860532208 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=203932 CPUtime=102.3 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 5016 0 0 0 10129 101 0 0 25 0 3 0 911084977 208826368 33652 33554432000 4194304 5714118 140733860532208 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) 203932
[startup+162.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25789
/proc/meminfo: memFree=15848212/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=269704 CPUtime=324.59 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 45206 0 0 0 32152 307 0 0 25 0 3 0 911084977 276176896 45116 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 67426 45116 180 372 0 67051 0
[pid=25782/tid=25783] ppid=25780 vsize=269704 CPUtime=162.29 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 39772 0 0 0 16071 158 0 0 25 0 3 0 911084977 276176896 45116 33554432000 4194304 5714118 140733860532208 18446744073709551615 4319321 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=269704 CPUtime=162.29 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 5111 0 0 0 16080 149 0 0 25 0 3 0 911084977 276176896 45116 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 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) 269704
[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25791
/proc/meminfo: memFree=15757376/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=335668 CPUtime=444.6 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 56153 0 0 0 44068 392 0 0 25 0 3 0 911084977 343724032 56063 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 83917 56063 180 372 0 83542 0
[pid=25782/tid=25783] ppid=25780 vsize=335668 CPUtime=222.29 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 50135 0 0 0 22033 196 0 0 25 0 3 0 911084977 343724032 56063 33554432000 4194304 5714118 140733860532208 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=335668 CPUtime=222.3 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 5695 0 0 0 22035 195 0 0 25 0 3 0 911084977 343724032 56063 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 335668
[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25793
/proc/meminfo: memFree=15674364/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=335968 CPUtime=564.6 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 67514 0 0 0 55986 474 0 0 25 0 3 0 911084977 344031232 67419 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 83992 67419 180 372 0 83617 0
[pid=25782/tid=25783] ppid=25780 vsize=335968 CPUtime=282.3 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 60758 0 0 0 27992 238 0 0 25 0 3 0 911084977 344031232 67419 33554432000 4194304 5714118 140733860532208 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=335968 CPUtime=282.3 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 6433 0 0 0 27994 236 0 0 25 0 3 0 911084977 344031232 67419 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 335968
[startup+342.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25794
/proc/meminfo: memFree=15569868/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=402028 CPUtime=684.61 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 76466 0 0 0 67913 548 0 0 25 0 3 0 911084977 411676672 76371 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 100507 76371 180 372 0 100132 0
[pid=25782/tid=25783] ppid=25780 vsize=402028 CPUtime=342.3 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 69605 0 0 0 33959 271 0 0 25 0 3 0 911084977 411676672 76371 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=402028 CPUtime=342.29 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 6538 0 0 0 33953 276 0 0 25 0 3 0 911084977 411676672 76371 33554432000 4194304 5714118 140733860532208 18446744073709551615 4199408 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) 402028
[startup+402.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25805
/proc/meminfo: memFree=15497220/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=402240 CPUtime=804.6 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 84538 0 0 0 79833 627 0 0 25 0 3 0 911084977 411893760 84443 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 100560 84443 180 372 0 100185 0
[pid=25782/tid=25783] ppid=25780 vsize=402240 CPUtime=402.3 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 77622 0 0 0 39925 305 0 0 25 0 3 0 911084977 411893760 84443 33554432000 4194304 5714118 140733860532208 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=402240 CPUtime=402.3 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 6593 0 0 0 39908 322 0 0 25 0 3 0 911084977 411893760 84443 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 402240
[startup+462.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25806
/proc/meminfo: memFree=15425640/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=468244 CPUtime=924.61 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 94140 0 0 0 91747 714 0 0 25 0 3 0 911084977 479481856 94043 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 117061 94043 180 372 0 116686 0
[pid=25782/tid=25783] ppid=25780 vsize=468244 CPUtime=462.3 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 86591 0 0 0 45884 346 0 0 25 0 3 0 911084977 479481856 94043 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=468244 CPUtime=462.31 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 7226 0 0 0 45863 368 0 0 25 0 3 0 911084977 479481856 94043 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 468244
[startup+522.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25808
/proc/meminfo: memFree=15363560/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=468852 CPUtime=1044.62 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 104112 0 0 0 103658 804 0 0 25 0 3 0 911084977 480104448 104015 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 117213 104015 180 372 0 116838 0
[pid=25782/tid=25783] ppid=25780 vsize=468852 CPUtime=522.3 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 96461 0 0 0 51841 389 0 0 25 0 3 0 911084977 480104448 104015 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=468852 CPUtime=522.31 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 7328 0 0 0 51816 415 0 0 25 0 3 0 911084977 480104448 104015 33554432000 4194304 5714118 140733860532208 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.62
Current children cumulated vsize (KiB) 468852
[startup+582.3 s]
/proc/loadavg: 4.03 4.00 3.92 5/182 25810
/proc/meminfo: memFree=15249400/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=534548 CPUtime=1164.62 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 112818 0 0 0 115570 892 0 0 25 0 3 0 911084977 547377152 112720 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 133637 112720 180 372 0 133262 0
[pid=25782/tid=25783] ppid=25780 vsize=534548 CPUtime=582.3 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 105075 0 0 0 57795 435 0 0 25 0 3 0 911084977 547377152 112720 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=534548 CPUtime=582.3 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 7420 0 0 0 57774 456 0 0 25 0 3 0 911084977 547377152 112720 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 534548
[startup+642.3 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 25814
/proc/meminfo: memFree=15096960/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=666732 CPUtime=1284.63 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 143129 0 0 0 127488 975 0 0 25 0 3 0 911084977 682733568 143031 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 166683 143031 180 372 0 166308 0
[pid=25782/tid=25783] ppid=25780 vsize=666732 CPUtime=642.31 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 135220 0 0 0 63759 472 0 0 25 0 3 0 911084977 682733568 143031 33554432000 4194304 5714118 140733860532208 18446744073709551615 4324644 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=666732 CPUtime=642.32 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 7586 0 0 0 63729 503 0 0 25 0 3 0 911084977 682733568 143031 33554432000 4194304 5714118 140733860532208 18446744073709551615 4299695 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 666732
[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 25816
/proc/meminfo: memFree=15064776/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=664628 CPUtime=1404.63 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 143342 0 0 0 139386 1077 0 0 25 0 3 0 911084977 680579072 142861 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 166157 142861 180 372 0 165782 0
[pid=25782/tid=25783] ppid=25780 vsize=664628 CPUtime=702.3 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 135292 0 0 0 69704 526 0 0 25 0 3 0 911084977 680579072 142861 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=664628 CPUtime=702.31 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 7727 0 0 0 69681 550 0 0 25 0 3 0 911084977 680579072 142861 33554432000 4194304 5714118 140733860532208 18446744073709551615 4319255 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.63
Current children cumulated vsize (KiB) 664628
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 25817
/proc/meminfo: memFree=15031716/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=664844 CPUtime=1524.64 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 143614 0 0 0 151292 1172 0 0 25 0 3 0 911084977 680800256 143133 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 166211 143133 180 372 0 165836 0
[pid=25782/tid=25783] ppid=25780 vsize=664844 CPUtime=762.31 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 135502 0 0 0 75656 575 0 0 25 0 3 0 911084977 680800256 143133 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=664844 CPUtime=762.32 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 7789 0 0 0 75635 597 0 0 25 0 3 0 911084977 680800256 143133 33554432000 4194304 5714118 140733860532208 18446744073709551615 4319964 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.64
Current children cumulated vsize (KiB) 664844
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 25819
/proc/meminfo: memFree=15001380/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=665056 CPUtime=1644.63 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 143859 0 0 0 163207 1256 0 0 25 0 3 0 911084977 681017344 143376 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 166264 143376 180 372 0 165889 0
[pid=25782/tid=25783] ppid=25780 vsize=665056 CPUtime=822.3 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 135611 0 0 0 81615 615 0 0 25 0 3 0 911084977 681017344 143376 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=665056 CPUtime=822.31 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 7925 0 0 0 81591 640 0 0 25 0 3 0 911084977 681017344 143376 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 665056
[startup+882.301 s]
/proc/loadavg: 3.58 3.85 3.87 5/182 25862
/proc/meminfo: memFree=15666008/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=665056 CPUtime=1764.63 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 144281 0 0 0 175099 1364 0 0 25 0 3 0 911084977 681017344 143797 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 166264 143797 180 372 0 165889 0
[pid=25782/tid=25783] ppid=25780 vsize=665056 CPUtime=882.31 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 135978 0 0 0 87559 672 0 0 25 0 3 0 911084977 681017344 143797 33554432000 4194304 5714118 140733860532208 18446744073709551615 4199520 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=665056 CPUtime=882.31 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 7980 0 0 0 87539 692 0 0 25 0 3 0 911084977 681017344 143797 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 665056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 3.68 3.86 3.87 5/182 25862
/proc/meminfo: memFree=15649020/32951124 swapFree=67053176/67111528
[pid=25782] ppid=25780 vsize=665056 CPUtime=1800.04 cores=1,3,5,7
/proc/25782/stat : 25782 (pwbo1.1) S 25780 25782 24477 0 -1 4202496 144332 0 0 0 178621 1383 0 0 25 0 3 0 911084977 681017344 143848 33554432000 4194304 5714118 140733860532208 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25782/statm: 166264 143848 180 372 0 165889 0
[pid=25782/tid=25783] ppid=25780 vsize=665056 CPUtime=900.02 cores=1,3,5,7
/proc/25782/task/25783/stat : 25783 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 136002 0 0 0 89322 680 0 0 25 0 3 0 911084977 681017344 143848 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25782/tid=25784] ppid=25780 vsize=665056 CPUtime=900.02 cores=1,3,5,7
/proc/25782/task/25784/stat : 25784 (pwbo1.1) R 25780 25782 24477 0 -1 4202560 8007 0 0 0 89299 703 0 0 25 0 3 0 911084977 681017344 143848 33554432000 4194304 5714118 140733860532208 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 665056
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.038
CPU time (s): 1800.09
CPU user time (s): 1786.23
CPU system time (s): 13.8609
CPU usage (%): 200.002
Max. virtual memory (cumulated for all children) (KiB): 666732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.23
system time used= 13.8609
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144337
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= 47
involuntary context switches= 11951
runsolver used 1.54776 second user time and 3.36849 second system time
The end