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-3461482-1307099619/watcher-3461482-1307099619 -o /tmp/evaluation-result-3461482-1307099619/solver-3461482-1307099619 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461482-1307099619.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.84 1.98 1.99 2/535 9808
/proc/meminfo: memFree=25258136/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=3872 CPUtime=0 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 670 0 0 0 0 0 0 0 23 0 1 0 802378127 3964928 624 33554432000 4194304 5714214 140737183493312 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 968 624 178 372 0 564 0
[startup+0.0910599 s]
/proc/loadavg: 1.84 1.98 1.99 2/535 9808
/proc/meminfo: memFree=25258136/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=6632 CPUtime=0.08 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 1555 0 0 0 8 0 0 0 24 0 1 0 802378127 6791168 1374 33554432000 4194304 5714214 140737183493312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 1658 1374 180 372 0 1283 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6632
[startup+0.101062 s]
/proc/loadavg: 1.84 1.98 1.99 2/535 9808
/proc/meminfo: memFree=25258136/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=6768 CPUtime=0.1 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 1590 0 0 0 9 1 0 0 24 0 1 0 802378127 6930432 1409 33554432000 4194304 5714214 140737183493312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 1692 1409 180 372 0 1317 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6768
[startup+0.301025 s]
/proc/loadavg: 1.84 1.98 1.99 2/535 9808
/proc/meminfo: memFree=25258136/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=8496 CPUtime=0.29 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 2030 0 0 0 28 1 0 0 25 0 1 0 802378127 8699904 1849 33554432000 4194304 5714214 140737183493312 18446744073709551615 4322847 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 2124 1849 180 372 0 1749 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8496
[startup+0.700951 s]
/proc/loadavg: 1.84 1.98 1.99 2/535 9808
/proc/meminfo: memFree=25258136/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=11416 CPUtime=0.69 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 2731 0 0 0 67 2 0 0 25 0 1 0 802378127 11689984 2550 33554432000 4194304 5714214 140737183493312 18446744073709551615 4309519 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 2854 2550 180 372 0 2479 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11416
[startup+1.50082 s]
/proc/loadavg: 1.84 1.98 1.99 3/536 9809
/proc/meminfo: memFree=25238524/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=16036 CPUtime=1.5 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 3902 0 0 0 147 3 0 0 25 0 1 0 802378127 16420864 3721 33554432000 4194304 5714214 140737183493312 18446744073709551615 4309516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 4009 3722 180 372 0 3634 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 16036
[startup+3.10052 s]
/proc/loadavg: 1.84 1.98 1.99 3/536 9809
/proc/meminfo: memFree=25224636/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=25340 CPUtime=3.09 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 6210 0 0 0 305 4 0 0 25 0 1 0 802378127 25948160 6029 33554432000 4194304 5714214 140737183493312 18446744073709551615 4309212 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 6335 6029 180 372 0 5960 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25340
[startup+6.30096 s]
/proc/loadavg: 1.85 1.98 1.99 3/536 9810
/proc/meminfo: memFree=25192680/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=39700 CPUtime=6.3 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 9817 0 0 0 623 7 0 0 25 0 1 0 802378127 40652800 9636 33554432000 4194304 5714214 140737183493312 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 9925 9636 180 372 0 9550 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 39700
[startup+12.7008 s]
/proc/loadavg: 1.94 1.99 1.99 3/536 9810
/proc/meminfo: memFree=25165828/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=44888 CPUtime=12.69 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 11099 0 0 0 1260 9 0 0 25 0 1 0 802378127 45965312 10918 33554432000 4194304 5714214 140737183493312 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 11222 10918 180 372 0 10847 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44888
[startup+25.5005 s]
/proc/loadavg: 1.96 1.99 1.99 3/536 9810
/proc/meminfo: memFree=25078304/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=99980 CPUtime=25.49 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 24865 0 0 0 2537 12 0 0 25 0 1 0 802378127 102379520 24684 33554432000 4194304 5714214 140737183493312 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 24995 24684 180 372 0 24620 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 99980
[startup+51.1009 s]
/proc/loadavg: 1.97 1.99 1.99 3/536 9811
/proc/meminfo: memFree=24944536/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=149876 CPUtime=51.09 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 37342 0 0 0 5088 21 0 0 25 0 1 0 802378127 153473024 37161 33554432000 4194304 5714214 140737183493312 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 37469 37161 180 372 0 37094 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 149876
[startup+102.32 s]
/proc/loadavg: 1.98 1.99 1.99 3/536 9812
/proc/meminfo: memFree=24873804/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=206028 CPUtime=102.31 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 51383 0 0 0 10201 30 0 0 25 0 1 0 802378127 210972672 51202 33554432000 4194304 5714214 140737183493312 18446744073709551615 4310880 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 51507 51202 180 372 0 51132 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 206028
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/536 9814
/proc/meminfo: memFree=24855524/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=223484 CPUtime=162.29 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 55724 0 0 0 16187 42 0 0 25 0 1 0 802378127 228847616 55543 33554432000 4194304 5714214 140737183493312 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 55871 55543 180 372 0 55496 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 223484
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/536 9815
/proc/meminfo: memFree=24840336/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=235212 CPUtime=222.29 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 58660 0 0 0 22182 47 0 0 25 0 1 0 802378127 240857088 58479 33554432000 4194304 5714214 140737183493312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 58803 58479 180 372 0 58428 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 235212
[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/536 9817
/proc/meminfo: memFree=24784732/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=236700 CPUtime=282.26 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 59051 0 0 0 28172 54 0 0 25 0 1 0 802378127 242380800 58870 33554432000 4194304 5714214 140737183493312 18446744073709551615 4309484 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 59175 58870 180 372 0 58800 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 236700
[startup+342.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/536 9818
/proc/meminfo: memFree=24715352/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=251040 CPUtime=342.25 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 62591 0 0 0 34164 61 0 0 25 0 1 0 802378127 257064960 62410 33554432000 4194304 5714214 140737183493312 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 62760 62410 180 372 0 62385 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 251040
[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/536 9820
/proc/meminfo: memFree=24677484/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=284588 CPUtime=402.25 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 70995 0 0 0 40158 67 0 0 25 0 1 0 802378127 291418112 70814 33554432000 4194304 5714214 140737183493312 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 71147 70814 180 372 0 70772 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 284588
[startup+462.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/536 9822
/proc/meminfo: memFree=24643084/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=284588 CPUtime=462.25 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 70997 0 0 0 46152 73 0 0 25 0 1 0 802378127 291418112 70816 33554432000 4194304 5714214 140737183493312 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 71147 70816 180 372 0 70772 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 284588
[startup+522.301 s]
/proc/loadavg: 2.18 2.06 2.01 3/536 9823
/proc/meminfo: memFree=24643164/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=284588 CPUtime=522.24 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 71006 0 0 0 52143 81 0 0 25 0 1 0 802378127 291418112 70825 33554432000 4194304 5714214 140737183493312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 71147 70825 180 372 0 70772 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 284588
[startup+582.301 s]
/proc/loadavg: 2.13 2.07 2.01 3/536 9825
/proc/meminfo: memFree=24642988/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=284588 CPUtime=582.24 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 71006 0 0 0 58135 89 0 0 25 0 1 0 802378127 291418112 70825 33554432000 4194304 5714214 140737183493312 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 71147 70825 180 372 0 70772 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 284588
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 9836
/proc/meminfo: memFree=24629284/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=298380 CPUtime=882.24 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 74485 0 0 0 88096 128 0 0 25 0 1 0 802378127 305541120 74205 33554432000 4194304 5714214 140737183493312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 74595 74205 180 372 0 74220 0
Current children cumulated CPU time (s) 882.24
Current children cumulated vsize (KiB) 298380
[startup+942.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/536 9837
/proc/meminfo: memFree=24625624/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=300512 CPUtime=942.23 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 75012 0 0 0 94088 135 0 0 25 0 1 0 802378127 307724288 74732 33554432000 4194304 5714214 140737183493312 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 75128 74732 180 372 0 74753 0
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (KiB) 300512
[startup+1002.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/536 9839
/proc/meminfo: memFree=24626204/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=299632 CPUtime=1002.24 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 75070 0 0 0 100078 146 0 0 25 0 1 0 802378127 306823168 74511 33554432000 4194304 5714214 140737183493312 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 74908 74511 180 372 0 74533 0
Current children cumulated CPU time (s) 1002.24
Current children cumulated vsize (KiB) 299632
[startup+1062.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/536 9841
/proc/meminfo: memFree=24536628/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=391884 CPUtime=1062.23 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 98084 0 0 0 106068 155 0 0 25 0 1 0 802378127 401289216 97525 33554432000 4194304 5714214 140737183493312 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 97971 97525 180 372 0 97596 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 391884
[startup+1122.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/536 9842
/proc/meminfo: memFree=24397088/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=531388 CPUtime=1122.23 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 132912 0 0 0 112055 168 0 0 25 0 1 0 802378127 544141312 132353 33554432000 4194304 5714214 140737183493312 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 132847 132353 180 372 0 132472 0
Current children cumulated CPU time (s) 1122.23
Current children cumulated vsize (KiB) 531388
[startup+1182.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/536 9844
/proc/meminfo: memFree=24376584/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=550136 CPUtime=1182.23 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 137608 0 0 0 118049 174 0 0 25 0 1 0 802378127 563339264 137049 33554432000 4194304 5714214 140737183493312 18446744073709551615 4309806 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 137534 137049 180 372 0 137159 0
Current children cumulated CPU time (s) 1182.23
Current children cumulated vsize (KiB) 550136
[startup+1242.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/536 9845
/proc/meminfo: memFree=24367600/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=559272 CPUtime=1242.23 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 139875 0 0 0 124042 181 0 0 25 0 1 0 802378127 572694528 139316 33554432000 4194304 5714214 140737183493312 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 139818 139316 180 372 0 139443 0
Current children cumulated CPU time (s) 1242.23
Current children cumulated vsize (KiB) 559272
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 9847
/proc/meminfo: memFree=24366176/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=559272 CPUtime=1302.23 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 139875 0 0 0 130036 187 0 0 25 0 1 0 802378127 572694528 139316 33554432000 4194304 5714214 140737183493312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 139818 139316 180 372 0 139443 0
Current children cumulated CPU time (s) 1302.23
Current children cumulated vsize (KiB) 559272
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 9849
/proc/meminfo: memFree=24363756/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=561852 CPUtime=1362.22 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 140523 0 0 0 136029 193 0 0 25 0 1 0 802378127 575336448 139964 33554432000 4194304 5714214 140737183493312 18446744073709551615 4309531 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 140463 139964 180 372 0 140088 0
Current children cumulated CPU time (s) 1362.22
Current children cumulated vsize (KiB) 561852
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 9850
/proc/meminfo: memFree=24357132/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=569672 CPUtime=1422.24 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 142470 0 0 0 142024 200 0 0 25 0 1 0 802378127 583344128 141911 33554432000 4194304 5714214 140737183493312 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 142418 141911 180 372 0 142043 0
Current children cumulated CPU time (s) 1422.24
Current children cumulated vsize (KiB) 569672
[startup+1482.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/536 9852
/proc/meminfo: memFree=24356580/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=569672 CPUtime=1482.22 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 142472 0 0 0 148015 207 0 0 25 0 1 0 802378127 583344128 141913 33554432000 4194304 5714214 140737183493312 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 142418 141913 180 372 0 142043 0
Current children cumulated CPU time (s) 1482.22
Current children cumulated vsize (KiB) 569672
[startup+1542.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/536 9853
/proc/meminfo: memFree=24356904/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=569672 CPUtime=1542.22 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 142472 0 0 0 154009 213 0 0 25 0 1 0 802378127 583344128 141913 33554432000 4194304 5714214 140737183493312 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 142418 141913 180 372 0 142043 0
Current children cumulated CPU time (s) 1542.22
Current children cumulated vsize (KiB) 569672
[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/536 9855
/proc/meminfo: memFree=24357104/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=569672 CPUtime=1602.21 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 142472 0 0 0 160000 221 0 0 25 0 1 0 802378127 583344128 141913 33554432000 4194304 5714214 140737183493312 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 142418 141913 180 372 0 142043 0
Current children cumulated CPU time (s) 1602.21
Current children cumulated vsize (KiB) 569672
[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/536 9857
/proc/meminfo: memFree=24355440/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=569672 CPUtime=1662.21 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 142472 0 0 0 165994 227 0 0 25 0 1 0 802378127 583344128 141913 33554432000 4194304 5714214 140737183493312 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 142418 141913 180 372 0 142043 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 569672
[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/536 9858
/proc/meminfo: memFree=24315580/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=569672 CPUtime=1722.21 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 142472 0 0 0 171990 231 0 0 25 0 1 0 802378127 583344128 141913 33554432000 4194304 5714214 140737183493312 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 142418 141913 180 372 0 142043 0
Current children cumulated CPU time (s) 1722.21
Current children cumulated vsize (KiB) 569672
[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/536 9860
/proc/meminfo: memFree=24282420/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=569672 CPUtime=1782.22 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 142472 0 0 0 177984 238 0 0 25 0 1 0 802378127 583344128 141913 33554432000 4194304 5714214 140737183493312 18446744073709551615 4309513 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 142418 141913 180 372 0 142043 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 569672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.02 2.04 2.00 2/534 9861
/proc/meminfo: memFree=24688160/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=569672 CPUtime=1800.02 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 142472 0 0 0 179761 241 0 0 25 0 1 0 802378127 583344128 141913 33554432000 4194304 5714214 140737183493312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 142418 141913 180 372 0 142043 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 569672
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.02 2.04 2.00 2/534 9861
/proc/meminfo: memFree=24688160/32951124 swapFree=46970528/67111528
[pid=9808] ppid=9806 vsize=569672 CPUtime=1800.02 cores=1,3,5,7
/proc/9808/stat : 9808 (wbo1.6) R 9806 9808 9437 0 -1 4202496 142472 0 0 0 179761 241 0 0 25 0 1 0 802378127 583344128 141913 33554432000 4194304 5714214 140737183493312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9808/statm: 142418 141913 180 372 0 142043 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 569672
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.14
CPU time (s): 1800.06
CPU user time (s): 1797.63
CPU system time (s): 2.43463
CPU usage (%): 99.9956
Max. virtual memory (cumulated for all children) (KiB): 569672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.63
system time used= 2.43463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142472
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= 9
involuntary context switches= 3240
runsolver used 8.99963 second user time and 22.1136 second system time
The end