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-3500577-1307996759/watcher-3500577-1307996759 -o /tmp/evaluation-result-3500577-1307996759/solver-3500577-1307996759 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500577-1307996759.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 3.98 3.91 3/179 15576
/proc/meminfo: memFree=31837688/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=5240 CPUtime=0 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) R 15574 15576 14247 0 -1 4202496 554 0 0 0 0 0 0 0 25 0 1 0 911278723 5365760 506 33554432000 4194304 5714118 140735414344656 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15576/statm: 1310 506 166 372 0 414 0
[startup+0.0299921 s]
/proc/loadavg: 4.00 3.98 3.91 3/179 15576
/proc/meminfo: memFree=31837688/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=7168 CPUtime=0.02 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) R 15574 15576 14247 0 -1 4202496 1098 0 0 0 2 0 0 0 25 0 1 0 911278723 7340032 1050 33554432000 4194304 5714118 140735414344656 18446744073709551615 4222951 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15576/statm: 1792 1051 253 372 0 896 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7168
[startup+0.100983 s]
/proc/loadavg: 4.00 3.98 3.91 3/179 15576
/proc/meminfo: memFree=31837688/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=12328 CPUtime=0.09 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) R 15574 15576 14247 0 -1 4202496 2617 0 0 0 9 0 0 0 25 0 1 0 911278723 12623872 2503 33554432000 4194304 5714118 140735414344656 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15576/statm: 3082 2504 507 372 0 2186 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12328
[startup+0.300947 s]
/proc/loadavg: 4.00 3.98 3.91 3/179 15576
/proc/meminfo: memFree=31837688/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=164236 CPUtime=0.44 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 15194 0 0 0 41 3 0 0 25 0 3 0 911278723 168177664 14014 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 41059 14014 179 372 0 40684 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 164236
[startup+0.700876 s]
/proc/loadavg: 4.00 3.98 3.91 3/179 15576
/proc/meminfo: memFree=31837688/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=164236 CPUtime=1.24 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 16447 0 0 0 121 3 0 0 25 0 3 0 911278723 168177664 14288 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 41059 14288 180 372 0 40684 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 164236
[startup+1.50073 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 15579
/proc/meminfo: memFree=31779896/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=164236 CPUtime=2.84 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 17949 0 0 0 279 5 0 0 25 0 3 0 911278723 168177664 15029 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 41059 15029 180 372 0 40684 0
[pid=15576/tid=15578] ppid=15574 vsize=164236 CPUtime=1.35 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 4845 0 0 0 134 1 0 0 19 0 3 0 911278738 168177664 15029 33554432000 4194304 5714118 140735414344656 18446744073709551615 4973054 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=164236 CPUtime=1.34 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 9443 0 0 0 131 3 0 0 19 0 3 0 911278738 168177664 15029 33554432000 4194304 5714118 140735414344656 18446744073709551615 4199232 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 164236
[startup+3.10045 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 15579
/proc/meminfo: memFree=31775804/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=164236 CPUtime=6.04 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 20721 0 0 0 587 17 0 0 25 0 3 0 911278723 168177664 16419 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 41059 16419 180 372 0 40684 0
[pid=15576/tid=15578] ppid=15574 vsize=164236 CPUtime=2.95 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 6776 0 0 0 291 4 0 0 24 0 3 0 911278738 168177664 16419 33554432000 4194304 5714118 140735414344656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=164236 CPUtime=2.94 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 10284 0 0 0 281 13 0 0 24 0 3 0 911278738 168177664 16419 33554432000 4194304 5714118 140735414344656 18446744073709551615 4964882 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 164236
[startup+6.30089 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 15579
/proc/meminfo: memFree=31759376/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=164236 CPUtime=12.44 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 24761 0 0 0 1205 39 0 0 25 0 3 0 911278723 168177664 20459 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 41059 20459 180 372 0 40684 0
[pid=15576/tid=15578] ppid=15574 vsize=164236 CPUtime=6.14 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 8408 0 0 0 606 8 0 0 25 0 3 0 911278738 168177664 20459 33554432000 4194304 5714118 140735414344656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=164236 CPUtime=6.15 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 12692 0 0 0 585 30 0 0 25 0 3 0 911278738 168177664 20459 33554432000 4194304 5714118 140735414344656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 164236
[startup+12.7008 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 15579
/proc/meminfo: memFree=31724608/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=164372 CPUtime=25.24 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 32326 0 0 0 2456 68 0 0 25 0 3 0 911278723 168316928 27927 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 41093 27927 181 372 0 40718 0
[pid=15576/tid=15578] ppid=15574 vsize=164372 CPUtime=12.54 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 13275 0 0 0 1234 20 0 0 25 0 3 0 911278738 168316928 27927 33554432000 4194304 5714118 140735414344656 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=164372 CPUtime=12.54 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 15390 0 0 0 1208 46 0 0 25 0 3 0 911278738 168316928 27927 33554432000 4194304 5714118 140735414344656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 164372
[startup+25.5005 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 15579
/proc/meminfo: memFree=31712692/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=165788 CPUtime=50.84 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 34646 0 0 0 4991 93 0 0 25 0 3 0 911278723 169766912 30247 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 41447 30247 181 372 0 41072 0
[pid=15576/tid=15578] ppid=15574 vsize=165788 CPUtime=25.34 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 13776 0 0 0 2503 31 0 0 25 0 3 0 911278738 169766912 30247 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319232 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=165788 CPUtime=25.34 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 17209 0 0 0 2473 61 0 0 25 0 3 0 911278738 169766912 30247 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 165788
[startup+51.1009 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 15580
/proc/meminfo: memFree=31679836/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=232312 CPUtime=102.05 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 42063 0 0 0 10061 144 0 0 25 0 3 0 911278723 237887488 37662 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 58078 37662 181 372 0 57703 0
[pid=15576/tid=15578] ppid=15574 vsize=232312 CPUtime=50.95 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 16127 0 0 0 5044 51 0 0 25 0 3 0 911278738 237887488 37662 33554432000 4194304 5714118 140735414344656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=232312 CPUtime=50.94 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 22275 0 0 0 5002 92 0 0 25 0 3 0 911278738 237887488 37662 33554432000 4194304 5714118 140735414344656 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 232312
[startup+102.307 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 15581
/proc/meminfo: memFree=31608992/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=304912 CPUtime=204.46 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 57681 0 0 0 20250 196 0 0 25 0 3 0 911278723 312229888 53275 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 76228 53275 181 372 0 75853 0
[pid=15576/tid=15578] ppid=15574 vsize=304912 CPUtime=102.15 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 24408 0 0 0 10128 87 0 0 25 0 3 0 911278738 312229888 53275 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=304912 CPUtime=102.15 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 29612 0 0 0 10107 108 0 0 25 0 3 0 911278738 312229888 53275 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.46
Current children cumulated vsize (KiB) 304912
[startup+162.301 s]
/proc/loadavg: 3.47 3.83 3.86 5/182 15664
/proc/meminfo: memFree=31690924/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=310784 CPUtime=324.45 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 70972 0 0 0 32206 239 0 0 25 0 3 0 911278723 318242816 66561 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 77696 66561 181 372 0 77321 0
[pid=15576/tid=15578] ppid=15574 vsize=310784 CPUtime=162.15 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 32101 0 0 0 16101 114 0 0 25 0 3 0 911278738 318242816 66561 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=310784 CPUtime=162.15 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 35210 0 0 0 16091 124 0 0 25 0 3 0 911278738 318242816 66561 33554432000 4194304 5714118 140735414344656 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.45
Current children cumulated vsize (KiB) 310784
[startup+222.301 s]
/proc/loadavg: 3.80 3.86 3.87 5/182 15666
/proc/meminfo: memFree=31573080/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=377788 CPUtime=444.45 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 78923 0 0 0 44177 268 0 0 25 0 3 0 911278723 386854912 74509 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 94447 74509 181 372 0 94072 0
[pid=15576/tid=15578] ppid=15574 vsize=377788 CPUtime=222.15 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 35951 0 0 0 22085 130 0 0 25 0 3 0 911278738 386854912 74509 33554432000 4194304 5714118 140735414344656 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=377788 CPUtime=222.15 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 39311 0 0 0 22077 138 0 0 25 0 3 0 911278738 386854912 74509 33554432000 4194304 5714118 140735414344656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 377788
[startup+282.301 s]
/proc/loadavg: 3.93 3.88 3.88 5/182 15667
/proc/meminfo: memFree=31417408/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=449428 CPUtime=564.46 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 91250 0 0 0 56153 293 0 0 25 0 3 0 911278723 460214272 86818 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 112357 86818 181 372 0 111982 0
[pid=15576/tid=15578] ppid=15574 vsize=449428 CPUtime=282.15 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 43786 0 0 0 28071 144 0 0 25 0 3 0 911278738 460214272 86818 33554432000 4194304 5714118 140735414344656 18446744073709551615 4300064 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=449428 CPUtime=282.14 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 43803 0 0 0 28066 148 0 0 25 0 3 0 911278738 460214272 86818 33554432000 4194304 5714118 140735414344656 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.46
Current children cumulated vsize (KiB) 449428
[startup+342.3 s]
/proc/loadavg: 3.97 3.90 3.88 5/182 15669
/proc/meminfo: memFree=31302896/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=453932 CPUtime=684.46 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 98483 0 0 0 68126 320 0 0 25 0 3 0 911278723 464826368 94051 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 113483 94051 181 372 0 113108 0
[pid=15576/tid=15578] ppid=15574 vsize=453932 CPUtime=342.15 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 46836 0 0 0 34053 162 0 0 25 0 3 0 911278738 464826368 94051 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=453932 CPUtime=342.15 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 47986 0 0 0 34058 157 0 0 25 0 3 0 911278738 464826368 94051 33554432000 4194304 5714118 140735414344656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.46
Current children cumulated vsize (KiB) 453932
[startup+402.301 s]
/proc/loadavg: 3.99 3.91 3.89 5/182 15670
/proc/meminfo: memFree=31275916/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=456996 CPUtime=804.46 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 104202 0 0 0 80093 353 0 0 25 0 3 0 911278723 467963904 99770 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 114249 99770 181 372 0 113874 0
[pid=15576/tid=15578] ppid=15574 vsize=456996 CPUtime=402.15 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 49107 0 0 0 40030 185 0 0 25 0 3 0 911278738 467963904 99770 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=456996 CPUtime=402.15 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 51434 0 0 0 40048 167 0 0 25 0 3 0 911278738 467963904 99770 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.46
Current children cumulated vsize (KiB) 456996
[startup+462.301 s]
/proc/loadavg: 3.99 3.93 3.89 5/182 15672
/proc/meminfo: memFree=31241872/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=523252 CPUtime=924.47 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 112420 0 0 0 92060 387 0 0 25 0 3 0 911278723 535810048 107913 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 130813 107913 181 372 0 130438 0
[pid=15576/tid=15578] ppid=15574 vsize=523252 CPUtime=462.15 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 56756 0 0 0 46008 207 0 0 25 0 3 0 911278738 535810048 107913 33554432000 4194304 5714118 140735414344656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=523252 CPUtime=462.15 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 52003 0 0 0 46037 178 0 0 25 0 3 0 911278738 535810048 107913 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.47
Current children cumulated vsize (KiB) 523252
[startup+522.3 s]
/proc/loadavg: 3.99 3.94 3.90 5/182 15674
/proc/meminfo: memFree=31220604/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=523252 CPUtime=1044.47 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 117498 0 0 0 104036 411 0 0 25 0 3 0 911278723 535810048 112988 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 130813 112988 181 372 0 130438 0
[pid=15576/tid=15578] ppid=15574 vsize=523252 CPUtime=522.16 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 61823 0 0 0 51998 218 0 0 25 0 3 0 911278738 535810048 112988 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=523252 CPUtime=522.16 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 52014 0 0 0 52023 193 0 0 25 0 3 0 911278738 535810048 112988 33554432000 4194304 5714118 140735414344656 18446744073709551615 4322601 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.47
Current children cumulated vsize (KiB) 523252
[startup+582.301 s]
/proc/loadavg: 4.04 3.96 3.91 5/182 15675
/proc/meminfo: memFree=31200440/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=524540 CPUtime=1164.47 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 122465 0 0 0 116012 435 0 0 25 0 3 0 911278723 537128960 117947 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 131135 117947 181 372 0 130760 0
[pid=15576/tid=15578] ppid=15574 vsize=524540 CPUtime=582.16 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 66608 0 0 0 57984 232 0 0 25 0 3 0 911278738 537128960 117947 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319366 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=524540 CPUtime=582.16 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 52196 0 0 0 58014 202 0 0 25 0 3 0 911278738 537128960 117947 33554432000 4194304 5714118 140735414344656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.47
Current children cumulated vsize (KiB) 524540
[startup+642.301 s]
/proc/loadavg: 4.01 3.97 3.91 5/182 15677
/proc/meminfo: memFree=31195048/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=593080 CPUtime=1284.48 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 123774 0 0 0 127987 461 0 0 25 0 3 0 911278723 607313920 119254 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 148270 119254 181 372 0 147895 0
[pid=15576/tid=15578] ppid=15574 vsize=593080 CPUtime=642.16 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 67272 0 0 0 63969 247 0 0 25 0 3 0 911278738 607313920 119254 33554432000 4194304 5714118 140735414344656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=593080 CPUtime=642.16 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 52841 0 0 0 64003 213 0 0 25 0 3 0 911278738 607313920 119254 33554432000 4194304 5714118 140735414344656 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.48
Current children cumulated vsize (KiB) 593080
[startup+702.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 15678
/proc/meminfo: memFree=31175016/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=595600 CPUtime=1404.48 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 128709 0 0 0 139957 491 0 0 25 0 3 0 911278723 609894400 124184 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 148900 124184 181 372 0 148525 0
[pid=15576/tid=15578] ppid=15574 vsize=595600 CPUtime=702.16 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 71595 0 0 0 69949 267 0 0 25 0 3 0 911278738 609894400 124184 33554432000 4194304 5714118 140735414344656 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=595600 CPUtime=702.15 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 53453 0 0 0 69993 222 0 0 25 0 3 0 911278738 609894400 124184 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.48
Current children cumulated vsize (KiB) 595600
[startup+762.307 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 15680
/proc/meminfo: memFree=31158592/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=595600 CPUtime=1524.49 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 132774 0 0 0 151930 519 0 0 25 0 3 0 911278723 609894400 128248 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 148900 128248 181 372 0 148525 0
[pid=15576/tid=15578] ppid=15574 vsize=595600 CPUtime=762.17 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 75660 0 0 0 75934 283 0 0 25 0 3 0 911278738 609894400 128248 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319372 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=595600 CPUtime=762.16 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 53453 0 0 0 75981 235 0 0 25 0 3 0 911278738 609894400 128248 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.49
Current children cumulated vsize (KiB) 595600
[startup+822.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 15682
/proc/meminfo: memFree=31119460/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=596080 CPUtime=1644.49 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 134297 0 0 0 163899 550 0 0 25 0 3 0 911278723 610385920 129769 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 149020 129769 181 372 0 148645 0
[pid=15576/tid=15578] ppid=15574 vsize=596080 CPUtime=822.16 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 77051 0 0 0 81912 304 0 0 25 0 3 0 911278738 610385920 129769 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319710 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=596080 CPUtime=822.16 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 53585 0 0 0 81972 244 0 0 25 0 3 0 911278738 610385920 129769 33554432000 4194304 5714118 140735414344656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.49
Current children cumulated vsize (KiB) 596080
[startup+882.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 15683
/proc/meminfo: memFree=31085536/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=597200 CPUtime=1764.49 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 139176 0 0 0 175869 580 0 0 25 0 3 0 911278723 611532800 134647 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 149300 134647 181 372 0 148925 0
[pid=15576/tid=15578] ppid=15574 vsize=597200 CPUtime=882.17 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 81763 0 0 0 87890 327 0 0 25 0 3 0 911278738 611532800 134647 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319804 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=597200 CPUtime=882.16 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 53752 0 0 0 87964 252 0 0 25 0 3 0 911278738 611532800 134647 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.49
Current children cumulated vsize (KiB) 597200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 15684
/proc/meminfo: memFree=31071752/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=664540 CPUtime=1800.1 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 140929 0 0 0 179422 588 0 0 25 0 3 0 911278723 680488960 136397 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 166135 136397 181 372 0 165760 0
[pid=15576/tid=15578] ppid=15574 vsize=664540 CPUtime=899.97 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 83066 0 0 0 89665 332 0 0 25 0 3 0 911278738 680488960 136397 33554432000 4194304 5714118 140735414344656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=664540 CPUtime=899.97 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 54202 0 0 0 89743 254 0 0 25 0 3 0 911278738 680488960 136397 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 664540
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: 4.00 3.97 3.91 5/182 15684
/proc/meminfo: memFree=31071752/32951124 swapFree=67050044/67111528
[pid=15576] ppid=15574 vsize=664540 CPUtime=1800.1 cores=1,3,5,7
/proc/15576/stat : 15576 (pwbo1.1) S 15574 15576 14247 0 -1 4202496 140929 0 0 0 179422 588 0 0 25 0 3 0 911278723 680488960 136397 33554432000 4194304 5714118 140735414344656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 166135 136397 181 372 0 165760 0
[pid=15576/tid=15578] ppid=15574 vsize=664540 CPUtime=899.97 cores=1,3,5,7
/proc/15576/task/15578/stat : 15578 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 83066 0 0 0 89665 332 0 0 25 0 3 0 911278738 680488960 136397 33554432000 4194304 5714118 140735414344656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15576/tid=15579] ppid=15574 vsize=664540 CPUtime=899.97 cores=1,3,5,7
/proc/15576/task/15579/stat : 15579 (pwbo1.1) R 15574 15576 14247 0 -1 4202560 54202 0 0 0 89743 254 0 0 25 0 3 0 911278738 680488960 136397 33554432000 4194304 5714118 140735414344656 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 664540
Child status: 0
Real time (s): 900.135
CPU time (s): 1800.14
CPU user time (s): 1794.24
CPU system time (s): 5.9021
CPU usage (%): 199.986
Max. virtual memory (cumulated for all children) (KiB): 664540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.24
system time used= 5.9021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140935
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= 981
involuntary context switches= 1807
runsolver used 1.56376 second user time and 3.2665 second system time
The end