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-3460149-1307119086/watcher-3460149-1307119086 -o /tmp/evaluation-result-3460149-1307119086/solver-3460149-1307119086 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460149-1307119086.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: 1.01 1.07 1.38 2/488 12790
/proc/meminfo: memFree=21501612/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=3024 CPUtime=0 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 495 0 0 0 0 0 0 0 25 0 1 0 556099845 3096576 448 33554432000 4194304 5714214 140735108082688 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 756 448 181 372 0 330 0
[startup+0.0529459 s]
/proc/loadavg: 1.01 1.07 1.38 2/488 12790
/proc/meminfo: memFree=21501612/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=5244 CPUtime=0.05 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 1142 0 0 0 5 0 0 0 25 0 1 0 556099845 5369856 1044 33554432000 4194304 5714214 140735108082688 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 1311 1044 180 372 0 936 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5244
[startup+0.10093 s]
/proc/loadavg: 1.01 1.07 1.38 2/488 12790
/proc/meminfo: memFree=21501612/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=5244 CPUtime=0.09 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 1142 0 0 0 9 0 0 0 25 0 1 0 556099845 5369856 1044 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 1311 1044 180 372 0 936 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5244
[startup+0.300901 s]
/proc/loadavg: 1.01 1.07 1.38 2/488 12790
/proc/meminfo: memFree=21501612/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=5928 CPUtime=0.29 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 1303 0 0 0 29 0 0 0 25 0 1 0 556099845 6070272 1205 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 1482 1205 180 372 0 1107 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5928
[startup+0.700833 s]
/proc/loadavg: 1.01 1.07 1.38 2/488 12790
/proc/meminfo: memFree=21501612/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=8044 CPUtime=0.69 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 1845 0 0 0 69 0 0 0 25 0 1 0 556099845 8237056 1747 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 2011 1747 180 372 0 1636 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8044
[startup+1.5007 s]
/proc/loadavg: 1.01 1.07 1.38 3/489 12791
/proc/meminfo: memFree=21489572/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=12304 CPUtime=1.49 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 2903 0 0 0 148 1 0 0 25 0 1 0 556099845 12599296 2805 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 3076 2805 180 372 0 2701 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12304
[startup+3.10041 s]
/proc/loadavg: 1.09 1.09 1.38 3/489 12791
/proc/meminfo: memFree=21482828/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=16400 CPUtime=3.09 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 3943 0 0 0 307 2 0 0 25 0 1 0 556099845 16793600 3845 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 4100 3845 180 372 0 3725 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16400
[startup+6.30084 s]
/proc/loadavg: 1.09 1.09 1.38 3/489 12791
/proc/meminfo: memFree=21473684/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=19924 CPUtime=6.3 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 4797 0 0 0 626 4 0 0 25 0 1 0 556099845 20402176 4699 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 4981 4699 180 372 0 4606 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 19924
[startup+12.7007 s]
/proc/loadavg: 1.23 1.12 1.39 3/489 12791
/proc/meminfo: memFree=21457612/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=31424 CPUtime=12.69 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 7666 0 0 0 1260 9 0 0 25 0 1 0 556099845 32178176 7568 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 7856 7568 180 372 0 7481 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31424
[startup+25.5005 s]
/proc/loadavg: 1.35 1.15 1.40 3/489 12792
/proc/meminfo: memFree=21425588/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=48088 CPUtime=25.49 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 11843 0 0 0 2534 15 0 0 25 0 1 0 556099845 49242112 11745 33554432000 4194304 5714214 140735108082688 18446744073709551615 4314364 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 12022 11745 180 372 0 11647 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48088
[startup+51.1009 s]
/proc/loadavg: 1.57 1.21 1.41 3/489 12792
/proc/meminfo: memFree=21387816/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=65052 CPUtime=51.09 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 16043 0 0 0 5081 28 0 0 25 0 1 0 556099845 66613248 15945 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 16263 15945 180 372 0 15888 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 65052
[startup+102.318 s]
/proc/loadavg: 1.83 1.34 1.44 3/489 12794
/proc/meminfo: memFree=21325784/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=90144 CPUtime=102.31 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 22286 0 0 0 10188 43 0 0 25 0 1 0 556099845 92307456 22188 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 22536 22188 180 372 0 22161 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 90144
[startup+162.3 s]
/proc/loadavg: 2.01 1.48 1.48 3/489 12795
/proc/meminfo: memFree=21267948/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=112964 CPUtime=162.29 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 27961 0 0 0 16161 68 0 0 25 0 1 0 556099845 115675136 27863 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 28241 27863 180 372 0 27866 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 112964
[startup+222.301 s]
/proc/loadavg: 2.00 1.57 1.51 3/489 12797
/proc/meminfo: memFree=21201940/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=139860 CPUtime=222.29 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 34628 0 0 0 22143 86 0 0 25 0 1 0 556099845 143216640 34530 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 34965 34530 180 372 0 34590 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 139860
[startup+282.3 s]
/proc/loadavg: 2.00 1.64 1.54 3/489 12799
/proc/meminfo: memFree=21141652/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=161544 CPUtime=282.29 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 40020 0 0 0 28119 110 0 0 25 0 1 0 556099845 165421056 39922 33554432000 4194304 5714214 140735108082688 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 40386 39922 180 372 0 40011 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 161544
[startup+342.301 s]
/proc/loadavg: 2.04 1.72 1.57 3/489 12800
/proc/meminfo: memFree=21074164/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=195420 CPUtime=342.29 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 48481 0 0 0 34087 142 0 0 25 0 1 0 556099845 200110080 48383 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 48855 48383 180 372 0 48480 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 195420
[startup+402.301 s]
/proc/loadavg: 2.01 1.77 1.59 3/489 12802
/proc/meminfo: memFree=21023148/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=209828 CPUtime=402.3 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 52235 0 0 0 40071 159 0 0 25 0 1 0 556099845 214863872 51962 33554432000 4194304 5714214 140735108082688 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 52457 51962 180 372 0 52082 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 209828
[startup+462.3 s]
/proc/loadavg: 2.00 1.81 1.62 3/489 12803
/proc/meminfo: memFree=20973016/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=225524 CPUtime=462.3 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 56079 0 0 0 46051 179 0 0 25 0 1 0 556099845 230936576 55806 33554432000 4194304 5714214 140735108082688 18446744073709551615 4300368 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 56381 55806 180 372 0 56006 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 225524
[startup+522.301 s]
/proc/loadavg: 2.00 1.84 1.64 3/489 12805
/proc/meminfo: memFree=20924004/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=240688 CPUtime=522.3 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 59891 0 0 0 52036 194 0 0 25 0 1 0 556099845 246464512 59601 33554432000 4194304 5714214 140735108082688 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 60172 59601 180 372 0 59797 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 240688
[startup+582.3 s]
/proc/loadavg: 2.00 1.87 1.66 3/489 12807
/proc/meminfo: memFree=20875132/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=255532 CPUtime=582.3 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 63549 0 0 0 58017 213 0 0 25 0 1 0 556099845 261664768 63259 33554432000 4194304 5714214 140735108082688 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 63883 63259 180 372 0 63508 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 255532
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 1.95 1.73 3/489 12813
/proc/meminfo: memFree=20653528/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=336660 CPUtime=822.3 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 84348 0 0 0 81959 271 0 0 25 0 1 0 556099845 344739840 83493 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 84165 83493 180 372 0 83790 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 336660
[startup+882.3 s]
/proc/loadavg: 2.06 1.97 1.75 3/489 12815
/proc/meminfo: memFree=20608740/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=348712 CPUtime=882.31 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 87277 0 0 0 87947 284 0 0 25 0 1 0 556099845 357081088 86422 33554432000 4194304 5714214 140735108082688 18446744073709551615 4319405 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 87178 86422 180 372 0 86803 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 348712
[startup+942.301 s]
/proc/loadavg: 2.07 1.99 1.77 3/489 12816
/proc/meminfo: memFree=20576104/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=354544 CPUtime=942.31 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 88696 0 0 0 93939 292 0 0 25 0 1 0 556099845 363053056 87841 33554432000 4194304 5714214 140735108082688 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 88636 87841 180 372 0 88261 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 354544
[startup+1002.3 s]
/proc/loadavg: 2.03 1.99 1.78 3/489 12818
/proc/meminfo: memFree=20533792/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=366312 CPUtime=1002.31 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 91616 0 0 0 99925 306 0 0 25 0 1 0 556099845 375103488 90761 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 91578 90761 180 372 0 91203 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 366312
[startup+1062.3 s]
/proc/loadavg: 2.01 1.99 1.79 3/489 12821
/proc/meminfo: memFree=20488628/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=381900 CPUtime=1062.32 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 95537 0 0 0 105912 320 0 0 25 0 1 0 556099845 391065600 94682 33554432000 4194304 5714214 140735108082688 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 95475 94682 180 372 0 95100 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 381900
[startup+1122.3 s]
/proc/loadavg: 2.03 2.00 1.81 3/489 12824
/proc/meminfo: memFree=20447020/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=393884 CPUtime=1122.31 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 98510 0 0 0 111903 328 0 0 25 0 1 0 556099845 403337216 97655 33554432000 4194304 5714214 140735108082688 18446744073709551615 4309188 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 98471 97655 180 372 0 98096 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 393884
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.82 3/489 12826
/proc/meminfo: memFree=20396520/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=400816 CPUtime=1182.32 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 100256 0 0 0 117893 339 0 0 25 0 1 0 556099845 410435584 99401 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 100204 99401 180 372 0 99829 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 400816
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/489 12827
/proc/meminfo: memFree=20356684/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=411528 CPUtime=1242.32 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 102918 0 0 0 123880 352 0 0 25 0 1 0 556099845 421404672 102063 33554432000 4194304 5714214 140735108082688 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 102882 102063 180 372 0 102507 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 411528
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 1.84 3/489 12829
/proc/meminfo: memFree=20313380/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=422308 CPUtime=1302.33 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 106827 0 0 0 129868 365 0 0 25 0 1 0 556099845 432443392 104765 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 105577 104765 180 372 0 105202 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 422308
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 1.85 3/489 12830
/proc/meminfo: memFree=20256928/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=443852 CPUtime=1362.32 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 112191 0 0 0 135841 391 0 0 25 0 1 0 556099845 454504448 110129 33554432000 4194304 5714214 140735108082688 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 110963 110129 180 372 0 110588 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 443852
[startup+1422.32 s]
/proc/loadavg: 2.18 2.05 1.86 3/489 12841
/proc/meminfo: memFree=20210292/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=458848 CPUtime=1422.35 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 115926 0 0 0 141819 416 0 0 25 0 1 0 556099845 469860352 113864 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 114712 113864 180 372 0 114337 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 458848
[startup+1482.3 s]
/proc/loadavg: 2.14 2.06 1.88 3/489 12843
/proc/meminfo: memFree=20168104/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=467296 CPUtime=1482.32 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 118036 0 0 0 147794 438 0 0 25 0 1 0 556099845 478511104 115974 33554432000 4194304 5714214 140735108082688 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 116824 115974 180 372 0 116449 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 467296
[startup+1542.3 s]
/proc/loadavg: 2.05 2.05 1.88 3/489 12844
/proc/meminfo: memFree=20110780/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=498920 CPUtime=1542.33 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 126128 0 0 0 153774 459 0 0 25 0 1 0 556099845 510894080 123842 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 124730 123842 180 372 0 124355 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 498920
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 1.89 3/489 12846
/proc/meminfo: memFree=20061772/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=516660 CPUtime=1602.33 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 130551 0 0 0 159757 476 0 0 25 0 1 0 556099845 529059840 128265 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 129165 128265 180 372 0 128790 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 516660
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 1.89 3/489 12847
/proc/meminfo: memFree=19997872/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=549400 CPUtime=1662.33 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 138690 0 0 0 165739 494 0 0 25 0 1 0 556099845 562585600 136404 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 137350 136404 180 372 0 136975 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 549400
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.90 3/489 12849
/proc/meminfo: memFree=19958292/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=554416 CPUtime=1722.33 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 139976 0 0 0 171720 513 0 0 25 0 1 0 556099845 567721984 137690 33554432000 4194304 5714214 140735108082688 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 138604 137690 180 372 0 138229 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 554416
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/489 12851
/proc/meminfo: memFree=19917336/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=564328 CPUtime=1782.34 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 142441 0 0 0 177707 527 0 0 25 0 1 0 556099845 577871872 140155 33554432000 4194304 5714214 140735108082688 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 141082 140155 180 372 0 140707 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 564328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 1.91 2/487 12852
/proc/meminfo: memFree=20934020/32951124 swapFree=46575304/67111528
[pid=12790] ppid=12788 vsize=570720 CPUtime=1800.04 cores=0,2,4,6
/proc/12790/stat : 12790 (wbo1.6) R 12788 12790 5006 0 -1 4202496 144029 0 0 0 179472 532 0 0 25 0 1 0 556099845 584417280 141743 33554432000 4194304 5714214 140735108082688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12790/statm: 142680 141743 180 372 0 142305 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 570720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.09
CPU user time (s): 1794.73
CPU system time (s): 5.35219
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 570720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.73
system time used= 5.35219
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144030
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= 2746
runsolver used 8.91964 second user time and 18.9851 second system time
The end