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-3500418-1307994970/watcher-3500418-1307994970 -o /var/tmp/evaluation-result-3500418-1307994970/solver-3500418-1307994970 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500418-1307994970.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.79 3.93 3.89 3/179 1151
/proc/meminfo: memFree=12222484/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=2964 CPUtime=0 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) R 1149 1151 306 0 -1 4202496 367 0 0 0 0 0 0 0 25 0 1 0 891913168 3035136 319 33554432000 4194304 5714118 140736731781184 18446744073709551615 4228003 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/1151/statm: 741 319 160 372 0 219 0
[startup+0.0475251 s]
/proc/loadavg: 3.79 3.93 3.89 3/179 1151
/proc/meminfo: memFree=12222484/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=137828 CPUtime=0.04 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 1472 0 0 0 4 0 0 0 25 0 3 0 891913168 141135872 1272 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 34457 1280 178 372 0 34082 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 137828
[startup+0.100513 s]
/proc/loadavg: 3.79 3.93 3.89 3/179 1151
/proc/meminfo: memFree=12222484/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=144728 CPUtime=0.14 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 5648 0 0 0 14 0 0 0 25 0 3 0 891913168 148201472 5447 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 36182 5448 180 372 0 35807 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 144728
[startup+0.300482 s]
/proc/loadavg: 3.79 3.93 3.89 3/179 1151
/proc/meminfo: memFree=12222484/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=144728 CPUtime=0.55 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 6262 0 0 0 52 3 0 0 25 0 3 0 891913168 148201472 6061 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 36182 6061 181 372 0 35807 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 144728
[startup+0.700417 s]
/proc/loadavg: 3.79 3.93 3.89 3/179 1151
/proc/meminfo: memFree=12222484/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=144728 CPUtime=1.34 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 7525 0 0 0 129 5 0 0 25 0 3 0 891913168 148201472 7324 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 36182 7324 181 372 0 35807 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 144728
[startup+1.50027 s]
/proc/loadavg: 3.79 3.93 3.89 6/182 1154
/proc/meminfo: memFree=12190368/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=144728 CPUtime=2.95 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 9235 0 0 0 285 10 0 0 25 0 3 0 891913168 148201472 9034 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 36182 9034 181 372 0 35807 0
[pid=1151/tid=1153] ppid=1149 vsize=144728 CPUtime=1.45 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 2915 0 0 0 138 7 0 0 20 0 3 0 891913172 148201472 9034 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=144728 CPUtime=1.44 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 5522 0 0 0 142 2 0 0 25 0 3 0 891913172 148201472 9034 33554432000 4194304 5714118 140736731781184 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 144728
[startup+3.10099 s]
/proc/loadavg: 3.79 3.93 3.89 5/182 1154
/proc/meminfo: memFree=12180576/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=144728 CPUtime=6.15 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 11879 0 0 0 599 16 0 0 25 0 3 0 891913168 148201472 11651 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 36182 11651 181 372 0 35807 0
[pid=1151/tid=1153] ppid=1149 vsize=144728 CPUtime=3.05 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 4186 0 0 0 294 11 0 0 25 0 3 0 891913172 148201472 11651 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=144728 CPUtime=3.04 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 6895 0 0 0 300 4 0 0 25 0 3 0 891913172 148201472 11651 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 144728
[startup+6.30042 s]
/proc/loadavg: 3.80 3.93 3.89 5/182 1154
/proc/meminfo: memFree=12162696/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=144728 CPUtime=12.54 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 14990 0 0 0 1223 31 0 0 25 0 3 0 891913168 148201472 14762 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 36182 14762 181 372 0 35807 0
[pid=1151/tid=1153] ppid=1149 vsize=144728 CPUtime=6.24 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 4864 0 0 0 603 21 0 0 25 0 3 0 891913172 148201472 14762 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=144728 CPUtime=6.25 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 9328 0 0 0 616 9 0 0 25 0 3 0 891913172 148201472 14762 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 144728
[startup+12.7003 s]
/proc/loadavg: 3.82 3.93 3.89 5/182 1154
/proc/meminfo: memFree=12116576/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=145196 CPUtime=25.34 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 22075 0 0 0 2477 57 0 0 25 0 3 0 891913168 148680704 21847 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 36299 21847 182 372 0 35924 0
[pid=1151/tid=1153] ppid=1149 vsize=145196 CPUtime=12.65 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 5989 0 0 0 1224 41 0 0 25 0 3 0 891913172 148680704 21847 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=145196 CPUtime=12.65 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 15288 0 0 0 1249 16 0 0 25 0 3 0 891913172 148680704 21847 33554432000 4194304 5714118 140736731781184 18446744073709551615 4319301 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 145196
[startup+25.501 s]
/proc/loadavg: 3.86 3.93 3.89 5/182 1154
/proc/meminfo: memFree=12047388/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=211164 CPUtime=50.95 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 31489 0 0 0 4988 107 0 0 25 0 3 0 891913168 216231936 31219 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 52791 31219 182 372 0 52416 0
[pid=1151/tid=1153] ppid=1149 vsize=211164 CPUtime=25.45 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 11510 0 0 0 2464 81 0 0 25 0 3 0 891913172 216231936 31219 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=211164 CPUtime=25.45 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 19181 0 0 0 2519 26 0 0 25 0 3 0 891913172 216231936 31219 33554432000 4194304 5714118 140736731781184 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 211164
[startup+51.1005 s]
/proc/loadavg: 3.78 3.91 3.89 5/182 1196
/proc/meminfo: memFree=12935036/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=211480 CPUtime=102.15 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 39062 0 0 0 10052 163 0 0 25 0 3 0 891913168 216555520 38792 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 52870 38792 182 372 0 52495 0
[pid=1151/tid=1153] ppid=1149 vsize=211480 CPUtime=51.05 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 13176 0 0 0 4986 119 0 0 25 0 3 0 891913172 216555520 38792 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=211480 CPUtime=51.04 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 25088 0 0 0 5061 43 0 0 25 0 3 0 891913172 216555520 38792 33554432000 4194304 5714118 140736731781184 18446744073709551615 4319258 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 211480
[startup+102.307 s]
/proc/loadavg: 3.90 3.92 3.89 5/182 1237
/proc/meminfo: memFree=12679404/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=409364 CPUtime=204.56 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 82879 0 0 0 20172 284 0 0 25 0 3 0 891913168 419188736 82609 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 102341 82609 182 372 0 101966 0
[pid=1151/tid=1153] ppid=1149 vsize=409364 CPUtime=102.25 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 19284 0 0 0 10015 210 0 0 25 0 3 0 891913172 419188736 82609 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=409364 CPUtime=102.25 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 62797 0 0 0 10152 73 0 0 25 0 3 0 891913172 419188736 82609 33554432000 4194304 5714118 140736731781184 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 409364
[startup+162.301 s]
/proc/loadavg: 3.96 3.93 3.90 5/182 1239
/proc/meminfo: memFree=12545536/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=475252 CPUtime=324.56 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 89465 0 0 0 32030 426 0 0 25 0 3 0 891913168 486658048 89195 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 118813 89195 182 372 0 118438 0
[pid=1151/tid=1153] ppid=1149 vsize=475252 CPUtime=162.25 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 20479 0 0 0 15902 323 0 0 25 0 3 0 891913172 486658048 89195 33554432000 4194304 5714118 140736731781184 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=475252 CPUtime=162.25 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 68188 0 0 0 16123 102 0 0 25 0 3 0 891913172 486658048 89195 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.56
Current children cumulated vsize (KiB) 475252
[startup+222.3 s]
/proc/loadavg: 3.98 3.94 3.90 5/182 1241
/proc/meminfo: memFree=12427952/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=476416 CPUtime=444.55 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 111684 0 0 0 43912 543 0 0 25 0 3 0 891913168 487849984 111414 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 119104 111414 182 372 0 118729 0
[pid=1151/tid=1153] ppid=1149 vsize=476416 CPUtime=222.25 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 28967 0 0 0 21809 416 0 0 25 0 3 0 891913172 487849984 111414 33554432000 4194304 5714118 140736731781184 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=476416 CPUtime=222.26 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 81919 0 0 0 22099 127 0 0 25 0 3 0 891913172 487849984 111414 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.55
Current children cumulated vsize (KiB) 476416
[startup+282.301 s]
/proc/loadavg: 3.99 3.95 3.91 5/182 1242
/proc/meminfo: memFree=12198768/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=607636 CPUtime=564.56 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 130517 0 0 0 55801 655 0 0 25 0 3 0 891913168 622219264 130228 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 151909 130228 182 372 0 151534 0
[pid=1151/tid=1153] ppid=1149 vsize=607636 CPUtime=282.25 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 39293 0 0 0 27719 506 0 0 25 0 3 0 891913172 622219264 130228 33554432000 4194304 5714118 140736731781184 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=607636 CPUtime=282.26 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 90426 0 0 0 28078 148 0 0 25 0 3 0 891913172 622219264 130228 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.56
Current children cumulated vsize (KiB) 607636
[startup+342.3 s]
/proc/loadavg: 3.99 3.95 3.91 5/182 1253
/proc/meminfo: memFree=11988036/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=607876 CPUtime=684.56 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 146363 0 0 0 67711 745 0 0 25 0 3 0 891913168 622465024 146074 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 151969 146074 182 372 0 151594 0
[pid=1151/tid=1153] ppid=1149 vsize=607876 CPUtime=342.26 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 48420 0 0 0 33646 580 0 0 25 0 3 0 891913172 622465024 146074 33554432000 4194304 5714118 140736731781184 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=607876 CPUtime=342.25 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 97145 0 0 0 34060 165 0 0 25 0 3 0 891913172 622465024 146074 33554432000 4194304 5714118 140736731781184 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.56
Current children cumulated vsize (KiB) 607876
[startup+402.301 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 1254
/proc/meminfo: memFree=11762192/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=673764 CPUtime=804.56 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 155801 0 0 0 79614 842 0 0 25 0 3 0 891913168 689934336 155512 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 168441 155512 182 372 0 168066 0
[pid=1151/tid=1153] ppid=1149 vsize=673764 CPUtime=402.26 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 57758 0 0 0 39566 660 0 0 25 0 3 0 891913172 689934336 155512 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=673764 CPUtime=402.26 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 97245 0 0 0 40044 182 0 0 25 0 3 0 891913172 689934336 155512 33554432000 4194304 5714118 140736731781184 18446744073709551615 4319218 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.56
Current children cumulated vsize (KiB) 673764
[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 1256
/proc/meminfo: memFree=11528676/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=739836 CPUtime=924.56 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 179886 0 0 0 91518 938 0 0 25 0 3 0 891913168 757592064 179597 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 184959 179597 182 372 0 184584 0
[pid=1151/tid=1153] ppid=1149 vsize=739836 CPUtime=462.25 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 78527 0 0 0 45482 743 0 0 25 0 3 0 891913172 757592064 179597 33554432000 4194304 5714118 140736731781184 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=739836 CPUtime=462.25 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 100561 0 0 0 46031 194 0 0 25 0 3 0 891913172 757592064 179597 33554432000 4194304 5714118 140736731781184 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.56
Current children cumulated vsize (KiB) 739836
[startup+522.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 1258
/proc/meminfo: memFree=11440116/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=740028 CPUtime=1044.56 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 180199 0 0 0 103427 1029 0 0 25 0 3 0 891913168 757788672 179910 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 185007 179910 182 372 0 184632 0
[pid=1151/tid=1153] ppid=1149 vsize=740028 CPUtime=522.26 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 78618 0 0 0 51405 821 0 0 25 0 3 0 891913172 757788672 179910 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=740028 CPUtime=522.26 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 100783 0 0 0 52018 208 0 0 25 0 3 0 891913172 757788672 179910 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.56
Current children cumulated vsize (KiB) 740028
[startup+582.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 1259
/proc/meminfo: memFree=11299488/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=805860 CPUtime=1164.57 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 189746 0 0 0 115347 1110 0 0 25 0 3 0 891913168 825200640 189457 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 201465 189457 182 372 0 201090 0
[pid=1151/tid=1153] ppid=1149 vsize=805860 CPUtime=582.26 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 88080 0 0 0 57333 893 0 0 25 0 3 0 891913172 825200640 189457 33554432000 4194304 5714118 140736731781184 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=805860 CPUtime=582.26 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 100868 0 0 0 58009 217 0 0 25 0 3 0 891913172 825200640 189457 33554432000 4194304 5714118 140736731781184 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.57
Current children cumulated vsize (KiB) 805860
[startup+642.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 1261
/proc/meminfo: memFree=11162196/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=871764 CPUtime=1284.58 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 199445 0 0 0 127275 1183 0 0 25 0 3 0 891913168 892686336 199156 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 217941 199156 182 372 0 217566 0
[pid=1151/tid=1153] ppid=1149 vsize=871764 CPUtime=642.26 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 90959 0 0 0 63273 953 0 0 25 0 3 0 891913172 892686336 199156 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=871764 CPUtime=642.26 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 107688 0 0 0 63997 229 0 0 25 0 3 0 891913172 892686336 199156 33554432000 4194304 5714118 140736731781184 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.58
Current children cumulated vsize (KiB) 871764
[startup+702.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 1262
/proc/meminfo: memFree=10975316/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=1003804 CPUtime=1404.58 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 227281 0 0 0 139163 1295 0 0 25 0 3 0 891913168 1027895296 226976 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 250951 226976 182 372 0 250576 0
[pid=1151/tid=1153] ppid=1149 vsize=1003804 CPUtime=702.26 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 107023 0 0 0 69180 1046 0 0 25 0 3 0 891913172 1027895296 226976 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=1003804 CPUtime=702.27 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 119460 0 0 0 69979 248 0 0 25 0 3 0 891913172 1027895296 226976 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.58
Current children cumulated vsize (KiB) 1003804
[startup+762.307 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 1264
/proc/meminfo: memFree=10874476/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=1004028 CPUtime=1524.59 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 229388 0 0 0 151060 1399 0 0 25 0 3 0 891913168 1028124672 228948 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 251007 228948 182 372 0 250632 0
[pid=1151/tid=1153] ppid=1149 vsize=1004028 CPUtime=762.27 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 109084 0 0 0 75091 1136 0 0 25 0 3 0 891913172 1028124672 228948 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=1004028 CPUtime=762.27 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 119506 0 0 0 75965 262 0 0 25 0 3 0 891913172 1028124672 228948 33554432000 4194304 5714118 140736731781184 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.59
Current children cumulated vsize (KiB) 1004028
[startup+822.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 1266
/proc/meminfo: memFree=10741896/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=1004540 CPUtime=1644.58 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 237634 0 0 0 162964 1494 0 0 25 0 3 0 891913168 1028648960 237194 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 251135 237194 182 372 0 250760 0
[pid=1151/tid=1153] ppid=1149 vsize=1004540 CPUtime=822.25 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 113706 0 0 0 81008 1217 0 0 25 0 3 0 891913172 1028648960 237194 33554432000 4194304 5714118 140736731781184 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=1004540 CPUtime=822.27 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 123130 0 0 0 81951 276 0 0 25 0 3 0 891913172 1028648960 237194 33554432000 4194304 5714118 140736731781184 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.58
Current children cumulated vsize (KiB) 1004540
[startup+882.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 1267
/proc/meminfo: memFree=10505280/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=1201528 CPUtime=1764.58 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 279541 0 0 0 174857 1601 0 0 25 0 3 0 891913168 1230364672 279101 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 300382 279101 182 372 0 300007 0
[pid=1151/tid=1153] ppid=1149 vsize=1201528 CPUtime=882.26 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 123204 0 0 0 86927 1299 0 0 25 0 3 0 891913172 1230364672 279101 33554432000 4194304 5714118 140736731781184 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=1201528 CPUtime=882.27 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 155539 0 0 0 87925 302 0 0 25 0 3 0 891913172 1230364672 279101 33554432000 4194304 5714118 140736731781184 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.58
Current children cumulated vsize (KiB) 1201528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.1 s]
/proc/loadavg: 4.06 3.99 3.91 5/182 1268
/proc/meminfo: memFree=10435460/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=1201852 CPUtime=1800.19 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 289800 0 0 0 178393 1626 0 0 25 0 3 0 891913168 1230696448 289360 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 300463 289360 182 372 0 300088 0
[pid=1151/tid=1153] ppid=1149 vsize=1201852 CPUtime=900.07 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 123307 0 0 0 88690 1317 0 0 25 0 3 0 891913172 1230696448 289362 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=1201852 CPUtime=900.07 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 165697 0 0 0 89699 308 0 0 25 0 3 0 891913172 1230696448 289362 33554432000 4194304 5714118 140736731781184 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 1201852
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.1 s]
/proc/loadavg: 4.06 3.99 3.91 5/182 1268
/proc/meminfo: memFree=10435460/32951124 swapFree=67055536/67111528
[pid=1151] ppid=1149 vsize=1201852 CPUtime=1800.19 cores=1,3,5,7
/proc/1151/stat : 1151 (pwbo1.1) S 1149 1151 306 0 -1 4202496 289800 0 0 0 178393 1626 0 0 25 0 3 0 891913168 1230696448 289360 33554432000 4194304 5714118 140736731781184 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1151/statm: 300463 289360 182 372 0 300088 0
[pid=1151/tid=1153] ppid=1149 vsize=1201852 CPUtime=900.07 cores=1,3,5,7
/proc/1151/task/1153/stat : 1153 (pwbo1.1) R 1149 1151 306 0 -1 4202560 123307 0 0 0 88690 1317 0 0 25 0 3 0 891913172 1230696448 289362 33554432000 4194304 5714118 140736731781184 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=1151/tid=1154] ppid=1149 vsize=1201852 CPUtime=900.07 cores=1,3,5,7
/proc/1151/task/1154/stat : 1154 (pwbo1.1) R 1149 1151 306 0 -1 4202560 165697 0 0 0 89699 308 0 0 25 0 3 0 891913172 1230696448 289362 33554432000 4194304 5714118 140736731781184 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 1201852
Child status: 0
Real time (s): 900.16
CPU time (s): 1800.26
CPU user time (s): 1783.95
CPU system time (s): 16.3095
CPU usage (%): 199.993
Max. virtual memory (cumulated for all children) (KiB): 1201852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.95
system time used= 16.3095
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289811
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= 545
involuntary context switches= 2749
runsolver used 1.50877 second user time and 3.3135 second system time
The end