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-3500161-1307992017/watcher-3500161-1307992017 -o /tmp/evaluation-result-3500161-1307992017/solver-3500161-1307992017 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500161-1307992017.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.77 3.95 3.81 3/179 25260
/proc/meminfo: memFree=15570544/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=2668 CPUtime=0 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) R 25258 25260 24477 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 910799467 2732032 316 33554432000 4194304 5714118 140735131607840 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/25260/statm: 667 316 169 372 0 218 0
[startup+0.0749321 s]
/proc/loadavg: 3.77 3.95 3.81 3/179 25260
/proc/meminfo: memFree=15570544/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=144220 CPUtime=0.12 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 5127 0 0 0 9 3 0 0 25 0 3 0 910799467 147681280 4920 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 36055 4920 180 372 0 35680 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 144220
[startup+0.10094 s]
/proc/loadavg: 3.77 3.95 3.81 3/179 25260
/proc/meminfo: memFree=15570544/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=144220 CPUtime=0.17 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 5199 0 0 0 14 3 0 0 25 0 3 0 910799467 147681280 4992 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 36055 4992 181 372 0 35680 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 144220
[startup+0.300907 s]
/proc/loadavg: 3.77 3.95 3.81 3/179 25260
/proc/meminfo: memFree=15570544/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=144220 CPUtime=0.56 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 6049 0 0 0 51 5 0 0 25 0 3 0 910799467 147681280 5842 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 36055 5842 181 372 0 35680 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 144220
[startup+0.700825 s]
/proc/loadavg: 3.77 3.95 3.81 3/179 25260
/proc/meminfo: memFree=15570544/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=144220 CPUtime=1.36 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 7561 0 0 0 129 7 0 0 25 0 3 0 910799467 147681280 7354 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 36055 7354 181 372 0 35680 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 144220
[startup+1.50069 s]
/proc/loadavg: 3.77 3.95 3.81 5/182 25263
/proc/meminfo: memFree=15538056/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=144364 CPUtime=2.96 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 9350 0 0 0 283 13 0 0 25 0 3 0 910799467 147828736 9143 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 36091 9143 181 372 0 35716 0
[pid=25260/tid=25262] ppid=25258 vsize=144364 CPUtime=1.47 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 2334 0 0 0 144 3 0 0 20 0 3 0 910799469 147828736 9143 33554432000 4194304 5714118 140735131607840 18446744073709551615 5078183 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=144364 CPUtime=1.47 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 6410 0 0 0 137 10 0 0 18 0 3 0 910799469 147828736 9146 33554432000 4194304 5714118 140735131607840 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 144364
[startup+3.10039 s]
/proc/loadavg: 3.79 3.95 3.81 5/182 25263
/proc/meminfo: memFree=15529752/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=144220 CPUtime=6.16 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 11236 0 0 0 594 22 0 0 25 0 3 0 910799467 147681280 11002 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 36055 11003 181 372 0 35680 0
[pid=25260/tid=25262] ppid=25258 vsize=144220 CPUtime=3.07 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 2624 0 0 0 302 5 0 0 25 0 3 0 910799469 147681280 11003 33554432000 4194304 5714118 140735131607840 18446744073709551615 4319301 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=144220 CPUtime=3.06 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 8007 0 0 0 289 17 0 0 21 0 3 0 910799469 147681280 11003 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 144220
[startup+6.30082 s]
/proc/loadavg: 3.79 3.95 3.81 5/182 25263
/proc/meminfo: memFree=15508096/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=144220 CPUtime=12.56 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 15372 0 0 0 1219 37 0 0 25 0 3 0 910799467 147681280 15138 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 36055 15138 181 372 0 35680 0
[pid=25260/tid=25262] ppid=25258 vsize=144220 CPUtime=6.26 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 4818 0 0 0 617 9 0 0 25 0 3 0 910799469 147681280 15138 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=144220 CPUtime=6.26 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 9948 0 0 0 599 27 0 0 18 0 3 0 910799469 147681280 15138 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 144220
[startup+12.7007 s]
/proc/loadavg: 3.82 3.95 3.81 5/182 25263
/proc/meminfo: memFree=15481940/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=144572 CPUtime=25.37 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 21179 0 0 0 2478 59 0 0 25 0 3 0 910799467 148041728 20945 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 36143 20945 182 372 0 35768 0
[pid=25260/tid=25262] ppid=25258 vsize=144572 CPUtime=12.67 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 7117 0 0 0 1251 16 0 0 25 0 3 0 910799469 148041728 20945 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=144572 CPUtime=12.66 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 13456 0 0 0 1224 42 0 0 18 0 3 0 910799469 148041728 20945 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 144572
[startup+25.5003 s]
/proc/loadavg: 3.85 3.95 3.81 5/182 25264
/proc/meminfo: memFree=15426624/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=211160 CPUtime=50.96 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 33271 0 0 0 4983 113 0 0 25 0 3 0 910799467 216227840 33037 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 52790 33037 182 372 0 52415 0
[pid=25260/tid=25262] ppid=25258 vsize=211160 CPUtime=25.46 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 8169 0 0 0 2520 26 0 0 25 0 3 0 910799469 216227840 33037 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=211160 CPUtime=25.46 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 24496 0 0 0 2460 86 0 0 25 0 3 0 910799469 216227840 33037 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 211160
[startup+51.1007 s]
/proc/loadavg: 3.90 3.96 3.81 5/182 25264
/proc/meminfo: memFree=15330020/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=278328 CPUtime=102.17 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 53901 0 0 0 10037 180 0 0 25 0 3 0 910799467 285007872 53667 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 69582 53667 182 372 0 69207 0
[pid=25260/tid=25262] ppid=25258 vsize=278328 CPUtime=51.07 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 14406 0 0 0 5071 36 0 0 25 0 3 0 910799469 285007872 53667 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=278328 CPUtime=51.06 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 38889 0 0 0 4963 143 0 0 18 0 3 0 910799469 285007872 53667 33554432000 4194304 5714118 140735131607840 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 278328
[startup+102.306 s]
/proc/loadavg: 3.96 3.96 3.82 5/182 25266
/proc/meminfo: memFree=15202252/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=410936 CPUtime=204.58 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 78094 0 0 0 20200 258 0 0 25 0 3 0 910799467 420798464 77860 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 102734 77860 182 372 0 102359 0
[pid=25260/tid=25262] ppid=25258 vsize=410936 CPUtime=102.27 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 24139 0 0 0 10164 63 0 0 25 0 3 0 910799469 420798464 77860 33554432000 4194304 5714118 140735131607840 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=410936 CPUtime=102.27 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 53349 0 0 0 10033 194 0 0 24 0 3 0 910799469 420798464 77860 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.58
Current children cumulated vsize (KiB) 410936
[startup+162.301 s]
/proc/loadavg: 3.86 3.93 3.82 5/182 25348
/proc/meminfo: memFree=15757364/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=476816 CPUtime=324.57 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 88640 0 0 0 32153 304 0 0 25 0 3 0 910799467 488259584 88406 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 119204 88406 182 372 0 118829 0
[pid=25260/tid=25262] ppid=25258 vsize=476816 CPUtime=162.27 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 34634 0 0 0 16133 94 0 0 25 0 3 0 910799469 488259584 88406 33554432000 4194304 5714118 140735131607840 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=476816 CPUtime=162.27 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 53400 0 0 0 16017 210 0 0 25 0 3 0 910799469 488259584 88406 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 324.57
Current children cumulated vsize (KiB) 476816
[startup+222.301 s]
/proc/loadavg: 3.95 3.94 3.82 5/182 25350
/proc/meminfo: memFree=15633476/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=477264 CPUtime=444.58 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 103279 0 0 0 44094 364 0 0 25 0 3 0 910799467 488718336 103045 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 119316 103045 182 372 0 118941 0
[pid=25260/tid=25262] ppid=25258 vsize=477264 CPUtime=222.28 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 42374 0 0 0 22105 123 0 0 25 0 3 0 910799469 488718336 103045 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=477264 CPUtime=222.27 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 60299 0 0 0 21986 241 0 0 25 0 3 0 910799469 488718336 103045 33554432000 4194304 5714118 140735131607840 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (KiB) 477264
[startup+282.301 s]
/proc/loadavg: 3.98 3.95 3.83 5/182 25351
/proc/meminfo: memFree=15530004/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=608788 CPUtime=564.58 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 125487 0 0 0 56011 447 0 0 25 0 3 0 910799467 623398912 125253 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 152197 125253 182 372 0 151822 0
[pid=25260/tid=25262] ppid=25258 vsize=608788 CPUtime=282.28 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 52868 0 0 0 28070 158 0 0 25 0 3 0 910799469 623398912 125253 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=608788 CPUtime=282.27 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 72013 0 0 0 27938 289 0 0 25 0 3 0 910799469 623398912 125253 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 564.58
Current children cumulated vsize (KiB) 608788
[startup+342.301 s]
/proc/loadavg: 3.99 3.96 3.84 5/182 25353
/proc/meminfo: memFree=15443512/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=609704 CPUtime=684.59 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 139138 0 0 0 67963 496 0 0 25 0 3 0 910799467 624336896 138904 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 152426 138904 182 372 0 152051 0
[pid=25260/tid=25262] ppid=25258 vsize=609704 CPUtime=342.28 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 63558 0 0 0 34044 184 0 0 25 0 3 0 910799469 624336896 138904 33554432000 4194304 5714118 140735131607840 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=609704 CPUtime=342.27 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 74974 0 0 0 33916 311 0 0 25 0 3 0 910799469 624336896 138904 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 609704
[startup+402.301 s]
/proc/loadavg: 3.99 3.96 3.84 5/182 25355
/proc/meminfo: memFree=15348588/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=674888 CPUtime=804.59 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 156175 0 0 0 79916 543 0 0 25 0 3 0 910799467 691085312 155675 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 168722 155675 182 372 0 168347 0
[pid=25260/tid=25262] ppid=25258 vsize=674888 CPUtime=402.27 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 78900 0 0 0 40013 214 0 0 25 0 3 0 910799469 691085312 155675 33554432000 4194304 5714118 140735131607840 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=674888 CPUtime=402.27 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 76669 0 0 0 39899 328 0 0 25 0 3 0 910799469 691085312 155675 33554432000 4194304 5714118 140735131607840 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 674888
[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.85 5/182 25356
/proc/meminfo: memFree=15278992/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=675028 CPUtime=924.59 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 156254 0 0 0 91882 577 0 0 25 0 3 0 910799467 691228672 155754 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 168757 155754 182 372 0 168382 0
[pid=25260/tid=25262] ppid=25258 vsize=675028 CPUtime=462.28 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 78965 0 0 0 45986 242 0 0 25 0 3 0 910799469 691228672 155754 33554432000 4194304 5714118 140735131607840 18446744073709551615 4198963 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=675028 CPUtime=462.27 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 76683 0 0 0 45893 334 0 0 25 0 3 0 910799469 691228672 155754 33554432000 4194304 5714118 140735131607840 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 924.59
Current children cumulated vsize (KiB) 675028
[startup+522.301 s]
/proc/loadavg: 3.99 3.97 3.85 5/182 25358
/proc/meminfo: memFree=15180592/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=740564 CPUtime=1044.59 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 172936 0 0 0 103796 663 0 0 25 0 3 0 910799467 758337536 172436 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 185141 172436 182 372 0 184766 0
[pid=25260/tid=25262] ppid=25258 vsize=740564 CPUtime=522.28 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 79030 0 0 0 51961 267 0 0 25 0 3 0 910799469 758337536 172436 33554432000 4194304 5714118 140735131607840 18446744073709551615 4311869 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=740564 CPUtime=522.27 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 93300 0 0 0 51832 395 0 0 25 0 3 0 910799469 758337536 172436 33554432000 4194304 5714118 140735131607840 18446744073709551615 4319372 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1044.59
Current children cumulated vsize (KiB) 740564
[startup+582.301 s]
/proc/loadavg: 3.99 3.97 3.86 5/182 25359
/proc/meminfo: memFree=15088784/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=807392 CPUtime=1164.6 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 186073 0 0 0 115728 732 0 0 25 0 3 0 910799467 826769408 185572 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 201848 185572 182 372 0 201473 0
[pid=25260/tid=25262] ppid=25258 vsize=807392 CPUtime=582.28 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 79114 0 0 0 57936 292 0 0 25 0 3 0 910799469 826769408 185572 33554432000 4194304 5714118 140735131607840 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=807392 CPUtime=582.28 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 106353 0 0 0 57788 440 0 0 25 0 3 0 910799469 826769408 185572 33554432000 4194304 5714118 140735131607840 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 807392
[startup+642.301 s]
/proc/loadavg: 3.99 3.97 3.87 5/182 25361
/proc/meminfo: memFree=15051024/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=807816 CPUtime=1284.61 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 187926 0 0 0 127688 773 0 0 25 0 3 0 910799467 827203584 187425 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 201954 187425 182 372 0 201579 0
[pid=25260/tid=25262] ppid=25258 vsize=807816 CPUtime=642.29 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 79213 0 0 0 63911 318 0 0 25 0 3 0 910799469 827203584 187425 33554432000 4194304 5714118 140735131607840 18446744073709551615 4323002 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=807816 CPUtime=642.29 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 108107 0 0 0 63774 455 0 0 25 0 3 0 910799469 827203584 187425 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1284.61
Current children cumulated vsize (KiB) 807816
[startup+702.301 s]
/proc/loadavg: 3.99 3.97 3.87 5/182 25363
/proc/meminfo: memFree=15021708/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=808028 CPUtime=1404.6 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 188008 0 0 0 139655 805 0 0 25 0 3 0 910799467 827420672 187507 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 202007 187507 182 372 0 201632 0
[pid=25260/tid=25262] ppid=25258 vsize=808028 CPUtime=702.28 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 79264 0 0 0 69884 344 0 0 25 0 3 0 910799469 827420672 187507 33554432000 4194304 5714118 140735131607840 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=808028 CPUtime=702.28 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 108138 0 0 0 69768 460 0 0 25 0 3 0 910799469 827420672 187507 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1404.6
Current children cumulated vsize (KiB) 808028
[startup+762.306 s]
/proc/loadavg: 3.99 3.97 3.88 5/182 25364
/proc/meminfo: memFree=14994248/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=808232 CPUtime=1524.61 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 188139 0 0 0 151623 838 0 0 25 0 3 0 910799467 827629568 187638 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 202058 187638 182 372 0 201683 0
[pid=25260/tid=25262] ppid=25258 vsize=808232 CPUtime=762.29 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 79344 0 0 0 75861 368 0 0 25 0 3 0 910799469 827629568 187638 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=808232 CPUtime=762.29 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 108189 0 0 0 75759 470 0 0 25 0 3 0 910799469 827629568 187638 33554432000 4194304 5714118 140735131607840 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1524.61
Current children cumulated vsize (KiB) 808232
[startup+822.3 s]
/proc/loadavg: 3.99 3.97 3.88 5/182 25366
/proc/meminfo: memFree=14901932/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=873768 CPUtime=1644.61 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 204423 0 0 0 163546 915 0 0 25 0 3 0 910799467 894738432 203922 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 218442 203922 182 372 0 218067 0
[pid=25260/tid=25262] ppid=25258 vsize=873768 CPUtime=822.29 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 79456 0 0 0 81836 393 0 0 25 0 3 0 910799469 894738432 203922 33554432000 4194304 5714118 140735131607840 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=873768 CPUtime=822.29 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 124361 0 0 0 81707 522 0 0 25 0 3 0 910799469 894738432 203922 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 873768
[startup+882.301 s]
/proc/loadavg: 3.99 3.97 3.89 5/182 25367
/proc/meminfo: memFree=14855496/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=874724 CPUtime=1764.61 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 204648 0 0 0 175518 943 0 0 25 0 3 0 910799467 895717376 204147 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 218681 204147 182 372 0 218306 0
[pid=25260/tid=25262] ppid=25258 vsize=874724 CPUtime=882.29 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 79483 0 0 0 87816 413 0 0 25 0 3 0 910799469 895717376 204147 33554432000 4194304 5714118 140735131607840 18446744073709551615 4200768 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=874724 CPUtime=882.29 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 124559 0 0 0 87699 530 0 0 25 0 3 0 910799469 895717376 204147 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 874724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 3.99 3.97 3.89 5/182 25368
/proc/meminfo: memFree=14839484/32951124 swapFree=67053176/67111528
[pid=25260] ppid=25258 vsize=875048 CPUtime=1800.03 cores=0,2,4,6
/proc/25260/stat : 25260 (pwbo1.1) S 25258 25260 24477 0 -1 4202496 206273 0 0 0 179050 953 0 0 25 0 3 0 910799467 896049152 205772 33554432000 4194304 5714118 140735131607840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25260/statm: 218762 205772 182 372 0 218387 0
[pid=25260/tid=25262] ppid=25258 vsize=875048 CPUtime=899.99 cores=0,2,4,6
/proc/25260/task/25262/stat : 25262 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 81036 0 0 0 89578 421 0 0 25 0 3 0 910799469 896049152 205772 33554432000 4194304 5714118 140735131607840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25260/tid=25263] ppid=25258 vsize=875048 CPUtime=900 cores=0,2,4,6
/proc/25260/task/25263/stat : 25263 (pwbo1.1) R 25258 25260 24477 0 -1 4202560 124631 0 0 0 89469 531 0 0 25 0 3 0 910799469 896049152 205772 33554432000 4194304 5714118 140735131607840 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 875048
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.05
CPU time (s): 1800.08
CPU user time (s): 1790.51
CPU system time (s): 9.56854
CPU usage (%): 199.998
Max. virtual memory (cumulated for all children) (KiB): 875048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.51
system time used= 9.56855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206278
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= 216
involuntary context switches= 3779
runsolver used 1.63475 second user time and 3.21951 second system time
The end