runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3460734-1307070962/watcher-3460734-1307070962 -o /tmp/evaluation-result-3460734-1307070962/solver-3460734-1307070962 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460734-1307070962.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: 1.95 2.02 1.91 3/473 23054
/proc/meminfo: memFree=20384348/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=5144 CPUtime=0 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 560 0 0 0 0 0 0 0 25 0 1 0 818695889 5267456 514 33554432000 4194304 5714214 140735468903888 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23054/statm: 1286 515 199 372 0 379 0
[startup+0.018983 s]
/proc/loadavg: 1.95 2.02 1.91 3/473 23054
/proc/meminfo: memFree=20384348/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=5832 CPUtime=0.01 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 727 0 0 0 1 0 0 0 25 0 1 0 818695889 5971968 681 33554432000 4194304 5714214 140735468903888 18446744073709551615 4993816 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23054/statm: 1458 681 218 372 0 551 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5832
[startup+0.100964 s]
/proc/loadavg: 1.95 2.02 1.91 3/473 23054
/proc/meminfo: memFree=20384348/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=13364 CPUtime=0.09 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 2821 0 0 0 9 0 0 0 25 0 1 0 818695889 13684736 2742 33554432000 4194304 5714214 140735468903888 18446744073709551615 4997408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23054/statm: 3341 2742 521 372 0 2434 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13364
[startup+0.300927 s]
/proc/loadavg: 1.95 2.02 1.91 3/473 23054
/proc/meminfo: memFree=20384348/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=34516 CPUtime=0.29 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 9406 0 0 0 28 1 0 0 25 0 1 0 818695889 35344384 8087 33554432000 4194304 5714214 140735468903888 18446744073709551615 4309222 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23054/statm: 8629 8087 179 372 0 8254 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34516
[startup+0.700858 s]
/proc/loadavg: 1.95 2.02 1.91 3/473 23054
/proc/meminfo: memFree=20384348/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=34516 CPUtime=0.69 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 9407 0 0 0 66 3 0 0 25 0 1 0 818695889 35344384 8088 33554432000 4194304 5714214 140735468903888 18446744073709551615 4305773 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23054/statm: 8629 8088 180 372 0 8254 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34516
[startup+1.50071 s]
/proc/loadavg: 1.95 2.02 1.91 3/474 23055
/proc/meminfo: memFree=20352248/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=34516 CPUtime=1.49 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 9407 0 0 0 145 4 0 0 25 0 1 0 818695889 35344384 8088 33554432000 4194304 5714214 140735468903888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23054/statm: 8629 8088 180 372 0 8254 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34516
[startup+3.10043 s]
/proc/loadavg: 1.95 2.02 1.91 3/474 23055
/proc/meminfo: memFree=20350884/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=34516 CPUtime=3.09 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 9407 0 0 0 301 8 0 0 25 0 1 0 818695889 35344384 8088 33554432000 4194304 5714214 140735468903888 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23054/statm: 8629 8088 180 372 0 8254 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34516
[startup+6.30087 s]
/proc/loadavg: 2.03 2.04 1.91 3/474 23055
/proc/meminfo: memFree=20345444/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=39136 CPUtime=6.29 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 10578 0 0 0 618 11 0 0 25 0 1 0 818695889 40075264 9259 33554432000 4194304 5714214 140735468903888 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23054/statm: 9784 9259 180 372 0 9409 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39136
[startup+12.7007 s]
/proc/loadavg: 2.03 2.04 1.91 3/474 23055
/proc/meminfo: memFree=20331864/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=47272 CPUtime=12.68 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 12582 0 0 0 1252 16 0 0 25 0 1 0 818695889 48406528 11263 33554432000 4194304 5714214 140735468903888 18446744073709551615 4309258 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23054/statm: 11818 11263 180 372 0 11443 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47272
[startup+25.5005 s]
/proc/loadavg: 2.02 2.03 1.91 4/474 23056
/proc/meminfo: memFree=20308104/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=64576 CPUtime=25.49 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 16911 0 0 0 2520 29 0 0 25 0 1 0 818695889 66125824 15592 33554432000 4194304 5714214 140735468903888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23054/statm: 16144 15592 180 372 0 15769 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 64576
[startup+51.101 s]
/proc/loadavg: 2.01 2.03 1.91 3/474 23056
/proc/meminfo: memFree=20288244/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=73820 CPUtime=51.09 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 19080 0 0 0 5059 50 0 0 25 0 1 0 818695889 75591680 17761 33554432000 4194304 5714214 140735468903888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23054/statm: 18455 17761 180 372 0 18080 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 73820
[startup+102.318 s]
/proc/loadavg: 2.00 2.02 1.91 3/474 23058
/proc/meminfo: memFree=20228580/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=108588 CPUtime=102.31 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 27738 0 0 0 10139 92 0 0 25 0 1 0 818695889 111194112 26419 33554432000 4194304 5714214 140735468903888 18446744073709551615 4319752 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23054/statm: 27147 26419 180 372 0 26772 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 108588
[startup+162.3 s]
/proc/loadavg: 2.11 2.05 1.92 3/474 23059
/proc/meminfo: memFree=20174112/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=141632 CPUtime=162.29 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 35967 0 0 0 16108 121 0 0 25 0 1 0 818695889 145031168 34648 33554432000 4194304 5714214 140735468903888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 35408 34648 180 372 0 35033 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 141632
[startup+222.301 s]
/proc/loadavg: 2.09 2.05 1.93 3/474 23061
/proc/meminfo: memFree=20141460/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=153580 CPUtime=222.28 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 38910 0 0 0 22081 147 0 0 25 0 1 0 818695889 157265920 37591 33554432000 4194304 5714214 140735468903888 18446744073709551615 4309777 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 38395 37591 180 372 0 38020 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 153580
[startup+282.3 s]
/proc/loadavg: 2.03 2.04 1.93 3/474 23063
/proc/meminfo: memFree=20112900/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=161464 CPUtime=282.29 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 40758 0 0 0 28043 186 0 0 25 0 1 0 818695889 165339136 39439 33554432000 4194304 5714214 140735468903888 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 40366 39439 180 372 0 39991 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 161464
[startup+342.301 s]
/proc/loadavg: 2.09 2.06 1.94 3/474 23064
/proc/meminfo: memFree=20063152/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=187124 CPUtime=342.28 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 47198 0 0 0 34002 226 0 0 25 0 1 0 818695889 191614976 45879 33554432000 4194304 5714214 140735468903888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 46781 45879 180 372 0 46406 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 187124
[startup+402.3 s]
/proc/loadavg: 2.07 2.06 1.94 3/474 23228
/proc/meminfo: memFree=19952648/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=195208 CPUtime=402.28 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 49220 0 0 0 39960 268 0 0 25 0 1 0 818695889 199892992 47901 33554432000 4194304 5714214 140735468903888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 48802 47901 180 372 0 48427 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 195208
[startup+462.301 s]
/proc/loadavg: 2.02 2.05 1.94 3/474 23229
/proc/meminfo: memFree=19952332/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=195956 CPUtime=462.27 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 49362 0 0 0 45922 305 0 0 25 0 1 0 818695889 200658944 48043 33554432000 4194304 5714214 140735468903888 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 48989 48043 180 372 0 48614 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 195956
[startup+522.301 s]
/proc/loadavg: 2.01 2.04 1.94 3/474 23231
/proc/meminfo: memFree=19925400/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=222232 CPUtime=522.27 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 55863 0 0 0 51892 335 0 0 25 0 1 0 818695889 227565568 54544 33554432000 4194304 5714214 140735468903888 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 55558 54544 180 372 0 55183 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 222232
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/474 23233
/proc/meminfo: memFree=19911088/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=236920 CPUtime=582.27 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 59467 0 0 0 57869 358 0 0 25 0 1 0 818695889 242606080 58148 33554432000 4194304 5714214 140735468903888 18446744073709551615 4309080 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 59230 58148 180 372 0 58855 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 236920
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.04 2.04 1.97 3/474 23241
/proc/meminfo: memFree=19841332/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=303288 CPUtime=882.28 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 75872 0 0 0 87702 526 0 0 25 0 1 0 818695889 310566912 74553 33554432000 4194304 5714214 140735468903888 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 75822 74553 180 372 0 75447 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 303288
[startup+942.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/474 23242
/proc/meminfo: memFree=19838800/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=306008 CPUtime=942.27 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 76495 0 0 0 93682 545 0 0 25 0 1 0 818695889 313352192 75176 33554432000 4194304 5714214 140735468903888 18446744073709551615 4309105 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 76502 75176 180 372 0 76127 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 306008
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/474 23244
/proc/meminfo: memFree=19816804/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=327836 CPUtime=1002.27 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 81817 0 0 0 99662 565 0 0 25 0 1 0 818695889 335704064 80498 33554432000 4194304 5714214 140735468903888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 81959 80498 180 372 0 81584 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 327836
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/474 23245
/proc/meminfo: memFree=19807200/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=337120 CPUtime=1062.28 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 84084 0 0 0 105638 590 0 0 25 0 1 0 818695889 345210880 82765 33554432000 4194304 5714214 140735468903888 18446744073709551615 4319915 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 84280 82765 180 372 0 83905 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 337120
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/474 23247
/proc/meminfo: memFree=19803552/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=340668 CPUtime=1122.28 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 84911 0 0 0 111619 609 0 0 25 0 1 0 818695889 348844032 83592 33554432000 4194304 5714214 140735468903888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 85167 83592 180 372 0 84792 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 340668
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/474 23249
/proc/meminfo: memFree=19783044/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=357992 CPUtime=1182.29 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 89155 0 0 0 117589 640 0 0 25 0 1 0 818695889 366583808 87836 33554432000 4194304 5714214 140735468903888 18446744073709551615 4309121 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 89498 87836 180 372 0 89123 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 357992
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/474 23250
/proc/meminfo: memFree=19767380/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=370992 CPUtime=1242.29 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 92352 0 0 0 123559 670 0 0 25 0 1 0 818695889 379895808 91033 33554432000 4194304 5714214 140735468903888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 92748 91033 180 372 0 92373 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 370992
[startup+1302.3 s]
/proc/loadavg: 2.08 2.03 1.98 3/474 23252
/proc/meminfo: memFree=19744648/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=391140 CPUtime=1302.3 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 97378 0 0 0 129525 705 0 0 25 0 1 0 818695889 400527360 96059 33554432000 4194304 5714214 140735468903888 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 97785 96059 180 372 0 97410 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 391140
[startup+1362.3 s]
/proc/loadavg: 2.07 2.03 1.98 3/474 23253
/proc/meminfo: memFree=19698344/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=435132 CPUtime=1362.28 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 108333 0 0 0 135502 726 0 0 25 0 1 0 818695889 445575168 107014 33554432000 4194304 5714214 140735468903888 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 108783 107014 180 372 0 108408 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 435132
[startup+1422.32 s]
/proc/loadavg: 2.13 2.06 1.99 3/474 23255
/proc/meminfo: memFree=19677216/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=454784 CPUtime=1422.31 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 112999 0 0 0 141483 748 0 0 25 0 1 0 818695889 465698816 111680 33554432000 4194304 5714214 140735468903888 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 113696 111680 180 372 0 113321 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 454784
[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 1.99 3/474 23257
/proc/meminfo: memFree=19674688/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=454784 CPUtime=1482.29 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 113010 0 0 0 147464 765 0 0 25 0 1 0 818695889 465698816 111691 33554432000 4194304 5714214 140735468903888 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 113696 111691 180 372 0 113321 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 454784
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/474 23258
/proc/meminfo: memFree=19671412/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=454784 CPUtime=1542.29 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 113025 0 0 0 153444 785 0 0 25 0 1 0 818695889 465698816 111706 33554432000 4194304 5714214 140735468903888 18446744073709551615 4300272 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 113696 111706 180 372 0 113321 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 454784
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/474 23260
/proc/meminfo: memFree=19667888/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=454784 CPUtime=1602.3 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 113025 0 0 0 159411 819 0 0 25 0 1 0 818695889 465698816 111706 33554432000 4194304 5714214 140735468903888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 113696 111706 180 372 0 113321 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 454784
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/474 23261
/proc/meminfo: memFree=19656668/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=463624 CPUtime=1662.29 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 115140 0 0 0 165388 841 0 0 25 0 1 0 818695889 474750976 113821 33554432000 4194304 5714214 140735468903888 18446744073709551615 4319758 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 115906 113821 180 372 0 115531 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 463624
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/474 23290
/proc/meminfo: memFree=19945912/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=469276 CPUtime=1722.3 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 116502 0 0 0 171352 878 0 0 25 0 1 0 818695889 480538624 115183 33554432000 4194304 5714214 140735468903888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 117319 115183 180 372 0 116944 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 469276
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/474 23292
/proc/meminfo: memFree=19885400/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=471436 CPUtime=1782.29 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 117001 0 0 0 177323 906 0 0 25 0 1 0 818695889 482750464 115682 33554432000 4194304 5714214 140735468903888 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 117859 115682 180 372 0 117484 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 471436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.15 2.04 2.00 3/474 23292
/proc/meminfo: memFree=19863684/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=471436 CPUtime=1800.1 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 117001 0 0 0 179091 919 0 0 25 0 1 0 818695889 482750464 115682 33554432000 4194304 5714214 140735468903888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 117859 115682 180 372 0 117484 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 471436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.15 2.04 2.00 3/474 23292
/proc/meminfo: memFree=19863684/32950928 swapFree=61858088/67111528
[pid=23054] ppid=23052 vsize=471436 CPUtime=1800.1 cores=1,3,5,7
/proc/23054/stat : 23054 (wbo1.6) R 23052 23054 21173 0 -1 4202496 117001 0 0 0 179091 919 0 0 25 0 1 0 818695889 482750464 115682 33554432000 4194304 5714214 140735468903888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23054/statm: 117859 115682 180 372 0 117484 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 471436
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.14
CPU time (s): 1800.15
CPU user time (s): 1790.92
CPU system time (s): 9.2226
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 471436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.92
system time used= 9.2226
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117001
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= 4
involuntary context switches= 22654
runsolver used 7.79981 second user time and 20.043 second system time
The end