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-3500592-1307996903/watcher-3500592-1307996903 -o /tmp/evaluation-result-3500592-1307996903/solver-3500592-1307996903 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500592-1307996903.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.32 3.82 3.86 3/179 15661
/proc/meminfo: memFree=31773704/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=3676 CPUtime=0 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) R 15659 15661 14247 0 -1 4202496 572 0 0 0 0 0 0 0 25 0 1 0 911293111 3764224 524 33554432000 4194304 5714118 140736533546832 18446744073709551615 4315294 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/15661/statm: 919 525 168 372 0 429 0
[startup+0.010392 s]
/proc/loadavg: 3.32 3.82 3.86 3/179 15661
/proc/meminfo: memFree=31773704/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=4872 CPUtime=0 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) R 15659 15661 14247 0 -1 4202496 872 0 0 0 0 0 0 0 25 0 1 0 911293111 4988928 824 33554432000 4194304 5714118 140736533546832 18446744073709551615 5200969 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/15661/statm: 1218 828 180 372 0 728 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4872
[startup+0.100429 s]
/proc/loadavg: 3.32 3.82 3.86 3/179 15661
/proc/meminfo: memFree=31773704/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=141684 CPUtime=0.14 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 3615 0 0 0 13 1 0 0 18 0 3 0 911293111 145084416 3368 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 35421 3368 181 372 0 35046 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 141684
[startup+0.300392 s]
/proc/loadavg: 3.32 3.82 3.86 3/179 15661
/proc/meminfo: memFree=31773704/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=141684 CPUtime=0.55 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 4151 0 0 0 52 3 0 0 18 0 3 0 911293111 145084416 3904 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 35421 3904 181 372 0 35046 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 141684
[startup+0.700318 s]
/proc/loadavg: 3.32 3.82 3.86 3/179 15661
/proc/meminfo: memFree=31773704/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=141684 CPUtime=1.34 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 5191 0 0 0 129 5 0 0 18 0 3 0 911293111 145084416 4944 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 35421 4944 181 372 0 35046 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 141684
[startup+1.50117 s]
/proc/loadavg: 3.32 3.82 3.86 5/182 15664
/proc/meminfo: memFree=31750888/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=141684 CPUtime=2.95 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 6778 0 0 0 285 10 0 0 18 0 3 0 911293111 145084416 6531 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 35421 6531 181 372 0 35046 0
[pid=15661/tid=15663] ppid=15659 vsize=141684 CPUtime=1.44 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 2805 0 0 0 136 8 0 0 18 0 3 0 911293115 145084416 6532 33554432000 4194304 5714118 140736533546832 18446744073709551615 4322799 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=141684 CPUtime=1.45 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 1793 0 0 0 144 1 0 0 23 0 3 0 911293115 145084416 6532 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 141684
[startup+3.10091 s]
/proc/loadavg: 3.32 3.82 3.86 5/182 15664
/proc/meminfo: memFree=31743200/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=141684 CPUtime=6.15 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 9654 0 0 0 596 19 0 0 18 0 3 0 911293111 145084416 9407 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 35421 9407 181 372 0 35046 0
[pid=15661/tid=15663] ppid=15659 vsize=141684 CPUtime=3.05 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 4433 0 0 0 290 15 0 0 18 0 3 0 911293115 145084416 9407 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=141684 CPUtime=3.05 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 3040 0 0 0 302 3 0 0 25 0 3 0 911293115 145084416 9407 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 141684
[startup+6.30033 s]
/proc/loadavg: 3.37 3.82 3.86 5/182 15664
/proc/meminfo: memFree=31722368/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=141684 CPUtime=12.55 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 13620 0 0 0 1226 29 0 0 18 0 3 0 911293111 145084416 13373 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 35421 13373 181 372 0 35046 0
[pid=15661/tid=15663] ppid=15659 vsize=141684 CPUtime=6.25 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 6622 0 0 0 601 24 0 0 18 0 3 0 911293115 145084416 13373 33554432000 4194304 5714118 140736533546832 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=141684 CPUtime=6.25 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 4817 0 0 0 621 4 0 0 25 0 3 0 911293115 145084416 13373 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 141684
[startup+12.7012 s]
/proc/loadavg: 3.42 3.82 3.86 5/182 15664
/proc/meminfo: memFree=31707792/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=141684 CPUtime=25.35 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 14057 0 0 0 2502 33 0 0 18 0 3 0 911293111 145084416 13810 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 35421 13810 182 372 0 35046 0
[pid=15661/tid=15663] ppid=15659 vsize=141684 CPUtime=12.64 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 6677 0 0 0 1238 26 0 0 25 0 3 0 911293115 145084416 13810 33554432000 4194304 5714118 140736533546832 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=141684 CPUtime=12.65 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 5199 0 0 0 1259 6 0 0 25 0 3 0 911293115 145084416 13810 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 141684
[startup+25.5009 s]
/proc/loadavg: 3.55 3.83 3.87 5/182 15664
/proc/meminfo: memFree=31681740/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=142124 CPUtime=50.95 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 17657 0 0 0 5045 50 0 0 18 0 3 0 911293111 145534976 17410 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 35531 17410 182 372 0 35156 0
[pid=15661/tid=15663] ppid=15659 vsize=142124 CPUtime=25.45 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 9158 0 0 0 2506 39 0 0 25 0 3 0 911293115 145534976 17410 33554432000 4194304 5714118 140736533546832 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=142124 CPUtime=25.45 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 6318 0 0 0 2535 10 0 0 25 0 3 0 911293115 145534976 17410 33554432000 4194304 5714118 140736533546832 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 142124
[startup+51.1003 s]
/proc/loadavg: 3.70 3.84 3.87 5/182 15665
/proc/meminfo: memFree=31636212/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=143744 CPUtime=102.15 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 25495 0 0 0 10143 72 0 0 18 0 3 0 911293111 147193856 25248 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 35936 25248 182 372 0 35561 0
[pid=15661/tid=15663] ppid=15659 vsize=143744 CPUtime=51.05 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 13904 0 0 0 5049 56 0 0 25 0 3 0 911293115 147193856 25248 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=143744 CPUtime=51.05 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 9410 0 0 0 5090 15 0 0 25 0 3 0 911293115 147193856 25248 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 143744
[startup+102.306 s]
/proc/loadavg: 3.87 3.87 3.87 5/182 15666
/proc/meminfo: memFree=31558800/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=211524 CPUtime=204.56 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 38411 0 0 0 20332 124 0 0 18 0 3 0 911293111 216600576 38164 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 52881 38164 182 372 0 52506 0
[pid=15661/tid=15663] ppid=15659 vsize=211524 CPUtime=102.25 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 20400 0 0 0 10131 94 0 0 25 0 3 0 911293115 216600576 38164 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=211524 CPUtime=102.25 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 15830 0 0 0 10196 29 0 0 25 0 3 0 911293115 216600576 38164 33554432000 4194304 5714118 140736533546832 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 211524
[startup+162.301 s]
/proc/loadavg: 3.95 3.89 3.88 5/182 15668
/proc/meminfo: memFree=31386500/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=343220 CPUtime=324.55 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 70699 0 0 0 32255 200 0 0 18 0 3 0 911293111 351457280 70452 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 85805 70452 182 372 0 85430 0
[pid=15661/tid=15663] ppid=15659 vsize=343220 CPUtime=162.25 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 39848 0 0 0 16070 155 0 0 25 0 3 0 911293115 351457280 70452 33554432000 4194304 5714118 140736533546832 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=343220 CPUtime=162.25 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 28670 0 0 0 16180 45 0 0 25 0 3 0 911293115 351457280 70452 33554432000 4194304 5714118 140736533546832 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.55
Current children cumulated vsize (KiB) 343220
[startup+222.301 s]
/proc/loadavg: 3.98 3.91 3.88 5/182 15670
/proc/meminfo: memFree=31288352/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=408924 CPUtime=444.56 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 87182 0 0 0 44220 236 0 0 18 0 3 0 911293111 418738176 86935 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 102231 86935 182 372 0 101856 0
[pid=15661/tid=15663] ppid=15659 vsize=408924 CPUtime=222.25 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 48228 0 0 0 22043 182 0 0 25 0 3 0 911293115 418738176 86935 33554432000 4194304 5714118 140736533546832 18446744073709551615 4309494 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=408924 CPUtime=222.25 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 36773 0 0 0 22172 53 0 0 25 0 3 0 911293115 418738176 86935 33554432000 4194304 5714118 140736533546832 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.56
Current children cumulated vsize (KiB) 408924
[startup+282.3 s]
/proc/loadavg: 3.99 3.92 3.89 5/182 15671
/proc/meminfo: memFree=31262112/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=409272 CPUtime=564.55 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 87251 0 0 0 56207 248 0 0 18 0 3 0 911293111 419094528 87004 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 102318 87004 182 372 0 101943 0
[pid=15661/tid=15663] ppid=15659 vsize=409272 CPUtime=282.25 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 48230 0 0 0 28036 189 0 0 25 0 3 0 911293115 419094528 87004 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=409272 CPUtime=282.25 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 36840 0 0 0 28167 58 0 0 25 0 3 0 911293115 419094528 87004 33554432000 4194304 5714118 140736533546832 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.55
Current children cumulated vsize (KiB) 409272
[startup+342.301 s]
/proc/loadavg: 3.99 3.93 3.90 5/182 15673
/proc/meminfo: memFree=31233516/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=410536 CPUtime=684.56 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 87563 0 0 0 68173 283 0 0 18 0 3 0 911293111 420388864 87274 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 102634 87274 182 372 0 102259 0
[pid=15661/tid=15663] ppid=15659 vsize=410536 CPUtime=342.26 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 48230 0 0 0 34015 211 0 0 25 0 3 0 911293115 420388864 87274 33554432000 4194304 5714118 140736533546832 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=410536 CPUtime=342.25 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 37152 0 0 0 34154 71 0 0 25 0 3 0 911293115 420388864 87274 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.56
Current children cumulated vsize (KiB) 410536
[startup+402.301 s]
/proc/loadavg: 3.99 3.94 3.90 5/182 15674
/proc/meminfo: memFree=31209032/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=411256 CPUtime=804.56 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 87683 0 0 0 80148 308 0 0 18 0 3 0 911293111 421126144 87394 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 102814 87394 182 372 0 102439 0
[pid=15661/tid=15663] ppid=15659 vsize=411256 CPUtime=402.25 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 48231 0 0 0 40002 223 0 0 25 0 3 0 911293115 421126144 87394 33554432000 4194304 5714118 140736533546832 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=411256 CPUtime=402.25 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 37271 0 0 0 40141 84 0 0 25 0 3 0 911293115 421126144 87394 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.56
Current children cumulated vsize (KiB) 411256
[startup+462.3 s]
/proc/loadavg: 4.03 3.96 3.91 5/182 15676
/proc/meminfo: memFree=31197552/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=411396 CPUtime=924.57 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 87756 0 0 0 92133 324 0 0 18 0 3 0 911293111 421269504 87467 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 102849 87467 182 372 0 102474 0
[pid=15661/tid=15663] ppid=15659 vsize=411396 CPUtime=462.25 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 48231 0 0 0 45995 230 0 0 25 0 3 0 911293115 421269504 87467 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=411396 CPUtime=462.26 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 37344 0 0 0 46133 93 0 0 25 0 3 0 911293115 421269504 87467 33554432000 4194304 5714118 140736533546832 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.57
Current children cumulated vsize (KiB) 411396
[startup+522.301 s]
/proc/loadavg: 4.01 3.97 3.91 5/182 15677
/proc/meminfo: memFree=31180632/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=411548 CPUtime=1044.57 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 87780 0 0 0 104121 336 0 0 18 0 3 0 911293111 421425152 87491 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 102887 87491 182 372 0 102512 0
[pid=15661/tid=15663] ppid=15659 vsize=411548 CPUtime=522.26 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 48231 0 0 0 51989 237 0 0 25 0 3 0 911293115 421425152 87491 33554432000 4194304 5714118 140736533546832 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=411548 CPUtime=522.26 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 37368 0 0 0 52128 98 0 0 25 0 3 0 911293115 421425152 87491 33554432000 4194304 5714118 140736533546832 18446744073709551615 4319357 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.57
Current children cumulated vsize (KiB) 411548
[startup+582.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 15679
/proc/meminfo: memFree=31174488/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=411684 CPUtime=1164.57 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 87808 0 0 0 116102 355 0 0 18 0 3 0 911293111 421564416 87519 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 102921 87519 182 372 0 102546 0
[pid=15661/tid=15663] ppid=15659 vsize=411684 CPUtime=582.26 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 48231 0 0 0 57976 250 0 0 25 0 3 0 911293115 421564416 87519 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=411684 CPUtime=582.26 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 37396 0 0 0 58121 105 0 0 25 0 3 0 911293115 421564416 87519 33554432000 4194304 5714118 140736533546832 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.57
Current children cumulated vsize (KiB) 411684
[startup+642.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 15681
/proc/meminfo: memFree=31153460/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=412332 CPUtime=1284.59 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 88083 0 0 0 128070 389 0 0 18 0 3 0 911293111 422227968 87794 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 103083 87794 182 372 0 102708 0
[pid=15661/tid=15663] ppid=15659 vsize=412332 CPUtime=642.27 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 48330 0 0 0 63955 272 0 0 25 0 3 0 911293115 422227968 87794 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=412332 CPUtime=642.27 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 37572 0 0 0 64111 116 0 0 25 0 3 0 911293115 422227968 87794 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.59
Current children cumulated vsize (KiB) 412332
[startup+702.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 15682
/proc/meminfo: memFree=31100704/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=479888 CPUtime=1404.58 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 97462 0 0 0 140004 454 0 0 18 0 3 0 911293111 491405312 97173 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 119972 97173 182 372 0 119597 0
[pid=15661/tid=15663] ppid=15659 vsize=479888 CPUtime=702.27 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 57245 0 0 0 69907 320 0 0 25 0 3 0 911293115 491405312 97173 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=479888 CPUtime=702.26 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 38036 0 0 0 70093 133 0 0 25 0 3 0 911293115 491405312 97173 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.58
Current children cumulated vsize (KiB) 479888
[startup+762.306 s]
/proc/loadavg: 3.92 3.95 3.90 3/174 15709
/proc/meminfo: memFree=31624948/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=480616 CPUtime=1524.59 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 101932 0 0 0 151965 494 0 0 18 0 3 0 911293111 492150784 101049 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 120154 101049 182 372 0 119779 0
[pid=15661/tid=15663] ppid=15659 vsize=480616 CPUtime=762.27 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 61578 0 0 0 75877 350 0 0 25 0 3 0 911293115 492150784 101049 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=480616 CPUtime=762.27 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 38173 0 0 0 76083 144 0 0 25 0 3 0 911293115 492150784 101049 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.59
Current children cumulated vsize (KiB) 480616
[startup+822.3 s]
/proc/loadavg: 2.70 3.59 3.78 3/174 15711
/proc/meminfo: memFree=31617764/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=481184 CPUtime=1644.58 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 103904 0 0 0 163936 522 0 0 18 0 3 0 911293111 492732416 103021 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 120296 103021 182 372 0 119921 0
[pid=15661/tid=15663] ppid=15659 vsize=481184 CPUtime=822.27 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 63405 0 0 0 81863 364 0 0 25 0 3 0 911293115 492732416 103021 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=481184 CPUtime=822.26 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 38318 0 0 0 82069 157 0 0 25 0 3 0 911293115 492732416 103021 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.58
Current children cumulated vsize (KiB) 481184
[startup+882.301 s]
/proc/loadavg: 2.26 3.30 3.67 3/174 15712
/proc/meminfo: memFree=31609028/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=482000 CPUtime=1764.59 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 106144 0 0 0 175913 546 0 0 18 0 3 0 911293111 493568000 105261 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 120500 105261 182 372 0 120125 0
[pid=15661/tid=15663] ppid=15659 vsize=482000 CPUtime=882.27 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 65481 0 0 0 87847 380 0 0 25 0 3 0 911293115 493568000 105261 33554432000 4194304 5714118 140736533546832 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=482000 CPUtime=882.27 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 38482 0 0 0 88062 165 0 0 25 0 3 0 911293115 493568000 105261 33554432000 4194304 5714118 140736533546832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.59
Current children cumulated vsize (KiB) 482000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 2.18 3.22 3.63 3/174 15713
/proc/meminfo: memFree=31604176/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=547536 CPUtime=1800.2 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 107292 0 0 0 179462 558 0 0 18 0 3 0 911293111 560676864 106409 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 136884 106409 182 372 0 136509 0
[pid=15661/tid=15663] ppid=15659 vsize=547536 CPUtime=900.07 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 66629 0 0 0 89619 388 0 0 25 0 3 0 911293115 560676864 106409 33554432000 4194304 5714118 140736533546832 18446744073709551615 4300160 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=547536 CPUtime=900.07 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 38482 0 0 0 89839 168 0 0 25 0 3 0 911293115 560676864 106409 33554432000 4194304 5714118 140736533546832 18446744073709551615 4309365 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 547536
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 2.18 3.22 3.63 3/174 15713
/proc/meminfo: memFree=31604176/32951124 swapFree=67050044/67111528
[pid=15661] ppid=15659 vsize=547536 CPUtime=1800.2 cores=0,2,4,6
/proc/15661/stat : 15661 (pwbo1.1) S 15659 15661 14247 0 -1 4202496 107292 0 0 0 179462 558 0 0 18 0 3 0 911293111 560676864 106409 33554432000 4194304 5714118 140736533546832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/15661/statm: 136884 106409 182 372 0 136509 0
[pid=15661/tid=15663] ppid=15659 vsize=547536 CPUtime=900.07 cores=0,2,4,6
/proc/15661/task/15663/stat : 15663 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 66629 0 0 0 89619 388 0 0 25 0 3 0 911293115 560676864 106409 33554432000 4194304 5714118 140736533546832 18446744073709551615 4300160 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=15661/tid=15664] ppid=15659 vsize=547536 CPUtime=900.07 cores=0,2,4,6
/proc/15661/task/15664/stat : 15664 (pwbo1.1) R 15659 15661 14247 0 -1 4202560 38482 0 0 0 89839 168 0 0 25 0 3 0 911293115 560676864 106409 33554432000 4194304 5714118 140736533546832 18446744073709551615 4309365 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 547536
Child status: 0
Real time (s): 900.129
CPU time (s): 1800.24
CPU user time (s): 1794.64
CPU system time (s): 5.59815
CPU usage (%): 199.998
Max. virtual memory (cumulated for all children) (KiB): 547536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.64
system time used= 5.59815
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107297
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= 191
involuntary context switches= 4074
runsolver used 1.52977 second user time and 3.02954 second system time
The end