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 /var/tmp/evaluation-result-3500376-1307994558/watcher-3500376-1307994558 -o /var/tmp/evaluation-result-3500376-1307994558/solver-3500376-1307994558 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500376-1307994558.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.84 3.95 3.90 3/176 6370
/proc/meminfo: memFree=12618744/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=135844 CPUtime=0 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 747 0 0 0 0 0 0 0 25 0 3 0 989686259 139104256 690 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 33961 701 177 372 0 33586 0
[pid=6370/tid=6371] ppid=6368 vsize=135844 CPUtime=0 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 141 0 0 0 0 0 0 0 18 0 3 0 989686259 139104256 740 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=135844 CPUtime=0 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 249 0 0 0 0 0 0 0 25 0 3 0 989686259 139104256 740 33554432000 4194304 5714118 140735159646192 18446744073709551615 5082442 0 0 4096 16387 0 0 0 -1 5 0 0 0
[startup+0.0753781 s]
/proc/loadavg: 3.84 3.95 3.90 3/176 6370
/proc/meminfo: memFree=12618744/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=148276 CPUtime=0.13 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 6890 0 0 0 12 1 0 0 25 0 3 0 989686259 151834624 6787 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 37069 6787 179 372 0 36694 0
[pid=6370/tid=6371] ppid=6368 vsize=148276 CPUtime=0.07 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 296 0 0 0 7 0 0 0 18 0 3 0 989686259 151834624 6787 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=148276 CPUtime=0.06 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 6187 0 0 0 5 1 0 0 25 0 3 0 989686259 151834624 6787 33554432000 4194304 5714118 140735159646192 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) 148276
[startup+0.100349 s]
/proc/loadavg: 3.84 3.95 3.90 3/176 6370
/proc/meminfo: memFree=12618744/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=148276 CPUtime=0.19 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 6931 0 0 0 17 2 0 0 25 0 3 0 989686259 151834624 6825 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 37069 6825 179 372 0 36694 0
[pid=6370/tid=6371] ppid=6368 vsize=148276 CPUtime=0.08 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 337 0 0 0 8 0 0 0 18 0 3 0 989686259 151834624 6825 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=148276 CPUtime=0.09 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 6187 0 0 0 8 1 0 0 25 0 3 0 989686259 151834624 6825 33554432000 4194304 5714118 140735159646192 18446744073709551615 4305133 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) 148276
[startup+0.300312 s]
/proc/loadavg: 3.84 3.95 3.90 3/176 6370
/proc/meminfo: memFree=12618744/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=148276 CPUtime=0.59 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 7250 0 0 0 54 5 0 0 25 0 3 0 989686259 151834624 7144 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 37069 7144 179 372 0 36694 0
[pid=6370/tid=6371] ppid=6368 vsize=148276 CPUtime=0.29 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 656 0 0 0 26 3 0 0 18 0 3 0 989686259 151834624 7144 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=148276 CPUtime=0.28 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 6187 0 0 0 27 1 0 0 25 0 3 0 989686259 151834624 7144 33554432000 4194304 5714118 140735159646192 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) 148276
[startup+0.700241 s]
/proc/loadavg: 3.84 3.95 3.90 3/176 6370
/proc/meminfo: memFree=12618744/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=148276 CPUtime=1.39 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 8137 0 0 0 131 8 0 0 25 0 3 0 989686259 151834624 8031 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 37069 8031 179 372 0 36694 0
[pid=6370/tid=6371] ppid=6368 vsize=148276 CPUtime=0.68 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 1509 0 0 0 63 5 0 0 18 0 3 0 989686259 151834624 8031 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=148276 CPUtime=0.69 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 6221 0 0 0 67 2 0 0 25 0 3 0 989686259 151834624 8031 33554432000 4194304 5714118 140735159646192 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) 148276
[startup+1.50109 s]
/proc/loadavg: 3.84 3.95 3.90 5/179 6373
/proc/meminfo: memFree=12585276/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=148420 CPUtime=2.99 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 9156 0 0 0 288 11 0 0 25 0 3 0 989686259 151982080 9050 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 37105 9051 179 372 0 36730 0
[pid=6370/tid=6371] ppid=6368 vsize=148420 CPUtime=1.48 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 2358 0 0 0 141 7 0 0 19 0 3 0 989686259 151982080 9051 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=148420 CPUtime=1.49 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 6392 0 0 0 146 3 0 0 25 0 3 0 989686259 151982080 9051 33554432000 4194304 5714118 140735159646192 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) 148420
[startup+3.10079 s]
/proc/loadavg: 3.84 3.95 3.90 5/179 6373
/proc/meminfo: memFree=12579820/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=148420 CPUtime=6.18 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 11283 0 0 0 600 18 0 0 25 0 3 0 989686259 151982080 11177 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 37105 11177 179 372 0 36730 0
[pid=6370/tid=6371] ppid=6368 vsize=148420 CPUtime=3.08 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 3873 0 0 0 296 12 0 0 25 0 3 0 989686259 151982080 11177 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=148420 CPUtime=3.08 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 7004 0 0 0 303 5 0 0 25 0 3 0 989686259 151982080 11178 33554432000 4194304 5714118 140735159646192 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 148420
[startup+6.3012 s]
/proc/loadavg: 3.85 3.95 3.90 5/179 6373
/proc/meminfo: memFree=12572900/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=148276 CPUtime=12.58 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 11607 0 0 0 1226 32 0 0 25 0 3 0 989686259 151834624 11470 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 37069 11470 179 372 0 36694 0
[pid=6370/tid=6371] ppid=6368 vsize=148276 CPUtime=6.28 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 3939 0 0 0 607 21 0 0 25 0 3 0 989686259 151834624 11470 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=148276 CPUtime=6.28 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 7261 0 0 0 618 10 0 0 25 0 3 0 989686259 151834624 11470 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 148276
[startup+12.701 s]
/proc/loadavg: 3.86 3.95 3.90 5/179 6373
/proc/meminfo: memFree=12560920/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=148708 CPUtime=25.39 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 14996 0 0 0 2486 53 0 0 25 0 3 0 989686259 152276992 14859 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 37177 14859 180 372 0 36802 0
[pid=6370/tid=6371] ppid=6368 vsize=148708 CPUtime=12.69 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 6319 0 0 0 1231 38 0 0 25 0 3 0 989686259 152276992 14859 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=148708 CPUtime=12.69 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 8270 0 0 0 1254 15 0 0 25 0 3 0 989686259 152276992 14859 33554432000 4194304 5714118 140735159646192 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) 148708
[startup+25.5006 s]
/proc/loadavg: 3.89 3.96 3.91 5/179 6373
/proc/meminfo: memFree=12524696/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=149392 CPUtime=50.98 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 23556 0 0 0 5007 91 0 0 25 0 3 0 989686259 152977408 23419 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 37348 23419 180 372 0 36973 0
[pid=6370/tid=6371] ppid=6368 vsize=149392 CPUtime=25.48 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 11347 0 0 0 2481 67 0 0 25 0 3 0 989686259 152977408 23419 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=149392 CPUtime=25.48 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 11802 0 0 0 2525 23 0 0 25 0 3 0 989686259 152977408 23419 33554432000 4194304 5714118 140735159646192 18446744073709551615 4322702 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 149392
[startup+51.1009 s]
/proc/loadavg: 3.93 3.96 3.91 5/179 6374
/proc/meminfo: memFree=12486148/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=215332 CPUtime=102.19 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 33150 0 0 0 10058 161 0 0 25 0 3 0 989686259 220499968 33013 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 53833 33013 180 372 0 53458 0
[pid=6370/tid=6371] ppid=6368 vsize=215332 CPUtime=51.09 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 19165 0 0 0 4996 113 0 0 25 0 3 0 989686259 220499968 33013 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=215332 CPUtime=51.09 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 13578 0 0 0 5062 47 0 0 25 0 3 0 989686259 220499968 33013 33554432000 4194304 5714118 140735159646192 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) 215332
[startup+102.306 s]
/proc/loadavg: 3.97 3.96 3.91 5/179 6376
/proc/meminfo: memFree=12447908/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=215652 CPUtime=204.6 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 42530 0 0 0 20187 273 0 0 25 0 3 0 989686259 220827648 42337 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 53913 42337 180 372 0 53538 0
[pid=6370/tid=6371] ppid=6368 vsize=215652 CPUtime=102.29 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 28406 0 0 0 10042 187 0 0 25 0 3 0 989686259 220827648 42337 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=215652 CPUtime=102.3 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 13717 0 0 0 10144 86 0 0 25 0 3 0 989686259 220827648 42337 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 215652
[startup+162.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/179 6377
/proc/meminfo: memFree=12421808/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=217028 CPUtime=324.6 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 48680 0 0 0 32060 400 0 0 25 0 3 0 989686259 222236672 48487 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 54257 48487 180 372 0 53882 0
[pid=6370/tid=6371] ppid=6368 vsize=217028 CPUtime=162.29 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 28621 0 0 0 15955 274 0 0 25 0 3 0 989686259 222236672 48487 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=217028 CPUtime=162.29 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 19652 0 0 0 16103 126 0 0 25 0 3 0 989686259 222236672 48487 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.6
Current children cumulated vsize (KiB) 217028
[startup+222.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/179 6379
/proc/meminfo: memFree=12400324/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=284480 CPUtime=444.6 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 53817 0 0 0 43994 466 0 0 25 0 3 0 989686259 291307520 53624 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 71120 53624 180 372 0 70745 0
[pid=6370/tid=6371] ppid=6368 vsize=284480 CPUtime=222.29 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 28686 0 0 0 21914 315 0 0 25 0 3 0 989686259 291307520 53624 33554432000 4194304 5714118 140735159646192 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=284480 CPUtime=222.29 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 24724 0 0 0 22079 150 0 0 25 0 3 0 989686259 291307520 53624 33554432000 4194304 5714118 140735159646192 18446744073709551615 4319327 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) 284480
[startup+282.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/179 6380
/proc/meminfo: memFree=12319316/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=418348 CPUtime=564.61 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 74176 0 0 0 55877 584 0 0 25 0 3 0 989686259 428388352 73983 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 104587 73983 180 372 0 104212 0
[pid=6370/tid=6371] ppid=6368 vsize=418348 CPUtime=282.29 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 34765 0 0 0 27825 404 0 0 25 0 3 0 989686259 428388352 73983 33554432000 4194304 5714118 140735159646192 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=418348 CPUtime=282.3 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 39004 0 0 0 28051 179 0 0 25 0 3 0 989686259 428388352 73983 33554432000 4194304 5714118 140735159646192 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.61
Current children cumulated vsize (KiB) 418348
[startup+342.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/179 6382
/proc/meminfo: memFree=12247600/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=418920 CPUtime=684.61 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 91928 0 0 0 67792 669 0 0 25 0 3 0 989686259 428974080 91735 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 104730 91735 180 372 0 104355 0
[pid=6370/tid=6371] ppid=6368 vsize=418920 CPUtime=342.3 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 42181 0 0 0 33762 468 0 0 25 0 3 0 989686259 428974080 91735 33554432000 4194304 5714118 140735159646192 18446744073709551615 4319255 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=418920 CPUtime=342.3 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 49340 0 0 0 34029 201 0 0 25 0 3 0 989686259 428974080 91735 33554432000 4194304 5714118 140735159646192 18446744073709551615 4319398 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) 418920
[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/179 6384
/proc/meminfo: memFree=12213084/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=419984 CPUtime=804.61 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 100580 0 0 0 79696 765 0 0 25 0 3 0 989686259 430063616 100387 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 104996 100387 180 372 0 104621 0
[pid=6370/tid=6371] ppid=6368 vsize=419984 CPUtime=402.3 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 48472 0 0 0 39691 539 0 0 25 0 3 0 989686259 430063616 100387 33554432000 4194304 5714118 140735159646192 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=419984 CPUtime=402.3 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 51701 0 0 0 40005 225 0 0 25 0 3 0 989686259 430063616 100387 33554432000 4194304 5714118 140735159646192 18446744073709551615 4319284 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 419984
[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/179 6385
/proc/meminfo: memFree=12145460/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=486748 CPUtime=924.62 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 112997 0 0 0 91590 872 0 0 25 0 3 0 989686259 498429952 112804 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 121687 112804 180 372 0 121312 0
[pid=6370/tid=6371] ppid=6368 vsize=486748 CPUtime=462.3 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 60629 0 0 0 45601 629 0 0 25 0 3 0 989686259 498429952 112804 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=486748 CPUtime=462.3 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 51961 0 0 0 45988 242 0 0 25 0 3 0 989686259 498429952 112804 33554432000 4194304 5714118 140735159646192 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.62
Current children cumulated vsize (KiB) 486748
[startup+522.301 s]
/proc/loadavg: 4.03 3.99 3.91 5/179 6387
/proc/meminfo: memFree=12113048/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=552452 CPUtime=1044.62 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 120558 0 0 0 103502 960 0 0 25 0 3 0 989686259 565710848 120365 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 138113 120365 180 372 0 137738 0
[pid=6370/tid=6371] ppid=6368 vsize=552452 CPUtime=522.31 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 68136 0 0 0 51525 706 0 0 25 0 3 0 989686259 565710848 120365 33554432000 4194304 5714118 140735159646192 18446744073709551615 4322619 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=552452 CPUtime=522.31 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 52015 0 0 0 51977 254 0 0 25 0 3 0 989686259 565710848 120365 33554432000 4194304 5714118 140735159646192 18446744073709551615 4200618 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) 552452
[startup+582.301 s]
/proc/loadavg: 4.01 3.99 3.91 5/179 6388
/proc/meminfo: memFree=12048648/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=619092 CPUtime=1164.63 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 136572 0 0 0 115397 1066 0 0 25 0 3 0 989686259 633950208 136379 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 154773 136379 180 372 0 154398 0
[pid=6370/tid=6371] ppid=6368 vsize=619092 CPUtime=582.31 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 79000 0 0 0 57434 797 0 0 25 0 3 0 989686259 633950208 136379 33554432000 4194304 5714118 140735159646192 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=619092 CPUtime=582.31 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 57165 0 0 0 57962 269 0 0 25 0 3 0 989686259 633950208 136379 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.63
Current children cumulated vsize (KiB) 619092
[startup+642.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6390
/proc/meminfo: memFree=12006932/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=686676 CPUtime=1284.64 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 147314 0 0 0 127316 1148 0 0 25 0 3 0 989686259 703156224 146681 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 171669 146681 180 372 0 171294 0
[pid=6370/tid=6371] ppid=6368 vsize=686676 CPUtime=642.31 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 83357 0 0 0 63369 862 0 0 25 0 3 0 989686259 703156224 146681 33554432000 4194304 5714118 140735159646192 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=686676 CPUtime=642.31 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 63550 0 0 0 63946 285 0 0 25 0 3 0 989686259 703156224 146681 33554432000 4194304 5714118 140735159646192 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.64
Current children cumulated vsize (KiB) 686676
[startup+702.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6392
/proc/meminfo: memFree=11969084/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=686984 CPUtime=1404.64 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 156706 0 0 0 139244 1220 0 0 25 0 3 0 989686259 703471616 156068 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 171746 156068 180 372 0 171371 0
[pid=6370/tid=6371] ppid=6368 vsize=686984 CPUtime=702.31 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 92474 0 0 0 69315 916 0 0 25 0 3 0 989686259 703471616 156068 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=686984 CPUtime=702.31 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 63825 0 0 0 69929 302 0 0 25 0 3 0 989686259 703471616 156068 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.64
Current children cumulated vsize (KiB) 686984
[startup+762.306 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6402
/proc/meminfo: memFree=11948276/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=687392 CPUtime=1524.65 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 161165 0 0 0 151195 1270 0 0 25 0 3 0 989686259 703889408 160522 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 171848 160522 180 372 0 171473 0
[pid=6370/tid=6371] ppid=6368 vsize=687392 CPUtime=762.32 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 96882 0 0 0 75278 954 0 0 25 0 3 0 989686259 703889408 160522 33554432000 4194304 5714118 140735159646192 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=687392 CPUtime=762.32 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 63876 0 0 0 75917 315 0 0 25 0 3 0 989686259 703889408 160522 33554432000 4194304 5714118 140735159646192 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.65
Current children cumulated vsize (KiB) 687392
[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6445
/proc/meminfo: memFree=12200100/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=753732 CPUtime=1644.64 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 166169 0 0 0 163148 1316 0 0 25 0 3 0 989686259 771821568 165526 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 188433 165526 180 372 0 188058 0
[pid=6370/tid=6371] ppid=6368 vsize=753732 CPUtime=822.32 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 101681 0 0 0 81240 992 0 0 25 0 3 0 989686259 771821568 165526 33554432000 4194304 5714118 140735159646192 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=753732 CPUtime=822.32 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 64081 0 0 0 81908 324 0 0 25 0 3 0 989686259 771821568 165526 33554432000 4194304 5714118 140735159646192 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.64
Current children cumulated vsize (KiB) 753732
[startup+882.301 s]
/proc/loadavg: 4.03 4.00 3.92 5/179 6486
/proc/meminfo: memFree=12130448/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=754372 CPUtime=1764.64 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 174252 0 0 0 175104 1360 0 0 25 0 3 0 989686259 772476928 173609 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 188593 173609 180 372 0 188218 0
[pid=6370/tid=6371] ppid=6368 vsize=754372 CPUtime=882.32 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 109584 0 0 0 87205 1027 0 0 25 0 3 0 989686259 772476928 173609 33554432000 4194304 5714118 140735159646192 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=754372 CPUtime=882.31 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 64261 0 0 0 87899 332 0 0 25 0 3 0 989686259 772476928 173609 33554432000 4194304 5714118 140735159646192 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.64
Current children cumulated vsize (KiB) 754372
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.02 4.00 3.92 5/179 6487
/proc/meminfo: memFree=12107864/32951124 swapFree=67062556/67111528
[pid=6370] ppid=6368 vsize=754796 CPUtime=1800.06 cores=1,3,5,7
/proc/6370/stat : 6370 (pwbo1.1) S 6368 6370 4694 0 -1 4202496 174733 0 0 0 178637 1369 0 0 25 0 3 0 989686259 772911104 174090 33554432000 4194304 5714118 140735159646192 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/6370/statm: 188699 174090 180 372 0 188324 0
[pid=6370/tid=6371] ppid=6368 vsize=754796 CPUtime=900.02 cores=1,3,5,7
/proc/6370/task/6371/stat : 6371 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 109996 0 0 0 88969 1033 0 0 25 0 3 0 989686259 772911104 174090 33554432000 4194304 5714118 140735159646192 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6370/tid=6372] ppid=6368 vsize=754796 CPUtime=900.02 cores=1,3,5,7
/proc/6370/task/6372/stat : 6372 (pwbo1.1) R 6368 6370 4694 0 -1 4202560 64330 0 0 0 89667 335 0 0 25 0 3 0 989686259 772911104 174090 33554432000 4194304 5714118 140735159646192 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 754796
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.04
CPU time (s): 1800.11
CPU user time (s): 1786.38
CPU system time (s): 13.7229
CPU usage (%): 200.003
Max. virtual memory (cumulated for all children) (KiB): 754796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.38
system time used= 13.7229
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174739
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= 188
involuntary context switches= 1792
runsolver used 1.54576 second user time and 3.3075 second system time
The end