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-3461256-1307070779/watcher-3461256-1307070779 -o /tmp/evaluation-result-3461256-1307070779/solver-3461256-1307070779 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461256-1307070779.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.89 2.01 1.99 3/535 7939
/proc/meminfo: memFree=25255152/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=2292 CPUtime=0 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 336 0 0 0 0 0 0 0 25 0 1 0 799494151 2347008 290 33554432000 4194304 5714214 140737366872528 18446744073709551615 5013559 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 573 290 162 372 0 190 0
[startup+0.0269751 s]
/proc/loadavg: 1.89 2.01 1.99 3/535 7939
/proc/meminfo: memFree=25255152/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=3332 CPUtime=0.02 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 627 0 0 0 2 0 0 0 25 0 1 0 799494151 3411968 573 33554432000 4194304 5714214 140737366872528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 833 573 180 372 0 458 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3332
[startup+0.100976 s]
/proc/loadavg: 1.89 2.01 1.99 3/535 7939
/proc/meminfo: memFree=25255152/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=4124 CPUtime=0.09 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 828 0 0 0 9 0 0 0 25 0 1 0 799494151 4222976 774 33554432000 4194304 5714214 140737366872528 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 1031 774 180 372 0 656 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4124
[startup+0.300938 s]
/proc/loadavg: 1.89 2.01 1.99 3/535 7939
/proc/meminfo: memFree=25255152/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=5980 CPUtime=0.29 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 1289 0 0 0 29 0 0 0 25 0 1 0 799494151 6123520 1235 33554432000 4194304 5714214 140737366872528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 1495 1235 180 372 0 1120 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5980
[startup+0.700868 s]
/proc/loadavg: 1.89 2.01 1.99 3/535 7939
/proc/meminfo: memFree=25255152/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=8908 CPUtime=0.69 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 2029 0 0 0 69 0 0 0 25 0 1 0 799494151 9121792 1975 33554432000 4194304 5714214 140737366872528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 2227 1975 180 372 0 1852 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8908
[startup+1.50072 s]
/proc/loadavg: 1.89 2.01 1.99 3/536 7940
/proc/meminfo: memFree=25241752/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=14720 CPUtime=1.48 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 3489 0 0 0 148 0 0 0 25 0 1 0 799494151 15073280 3435 33554432000 4194304 5714214 140737366872528 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 3680 3435 180 372 0 3305 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14720
[startup+3.10041 s]
/proc/loadavg: 1.89 2.01 1.99 3/536 7940
/proc/meminfo: memFree=25232784/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=19896 CPUtime=3.09 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 4767 0 0 0 308 1 0 0 25 0 1 0 799494151 20373504 4713 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 4974 4713 180 372 0 4599 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19896
[startup+6.30087 s]
/proc/loadavg: 1.90 2.01 1.99 3/536 7940
/proc/meminfo: memFree=25226196/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=24808 CPUtime=6.29 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 6003 0 0 0 627 2 0 0 25 0 1 0 799494151 25403392 5949 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 6202 5949 180 372 0 5827 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24808
[startup+12.7007 s]
/proc/loadavg: 1.91 2.01 1.99 3/536 7941
/proc/meminfo: memFree=25216780/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=27620 CPUtime=12.69 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 6699 0 0 0 1266 3 0 0 25 0 1 0 799494151 28282880 6645 33554432000 4194304 5714214 140737366872528 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 6905 6645 180 372 0 6530 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27620
[startup+25.5004 s]
/proc/loadavg: 1.93 2.01 1.99 3/536 7941
/proc/meminfo: memFree=25200772/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=44268 CPUtime=25.49 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 10803 0 0 0 2543 6 0 0 25 0 1 0 799494151 45330432 10749 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 11067 10749 180 372 0 10692 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 44268
[startup+51.1009 s]
/proc/loadavg: 1.95 2.01 1.99 3/536 7942
/proc/meminfo: memFree=25194168/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=48656 CPUtime=51.09 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 11918 0 0 0 5098 11 0 0 25 0 1 0 799494151 49823744 11864 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 12164 11864 180 372 0 11789 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 48656
[startup+102.321 s]
/proc/loadavg: 1.98 2.00 1.99 3/536 7943
/proc/meminfo: memFree=25149240/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=87496 CPUtime=102.31 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 21605 0 0 0 10209 22 0 0 25 0 1 0 799494151 89595904 21542 33554432000 4194304 5714214 140737366872528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 21874 21542 180 372 0 21499 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 87496
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/536 7945
/proc/meminfo: memFree=25088428/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=102136 CPUtime=162.29 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 25227 0 0 0 16200 29 0 0 25 0 1 0 799494151 104587264 25164 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 25534 25164 180 372 0 25159 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 102136
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/536 7946
/proc/meminfo: memFree=25076228/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=115504 CPUtime=222.29 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 28532 0 0 0 22193 36 0 0 25 0 1 0 799494151 118276096 28469 33554432000 4194304 5714214 140737366872528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 28876 28469 180 372 0 28501 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 115504
[startup+282.301 s]
/proc/loadavg: 2.09 2.03 2.00 3/536 7948
/proc/meminfo: memFree=25064032/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=117360 CPUtime=282.3 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 29000 0 0 0 28190 40 0 0 25 0 1 0 799494151 120176640 28937 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 29340 28937 180 372 0 28965 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 117360
[startup+342.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/536 7949
/proc/meminfo: memFree=25030972/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=119872 CPUtime=342.3 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 29610 0 0 0 34186 44 0 0 25 0 1 0 799494151 122748928 29547 33554432000 4194304 5714214 140737366872528 18446744073709551615 4310856 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 29968 29547 180 372 0 29593 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 119872
[startup+402.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/536 7951
/proc/meminfo: memFree=25015788/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=128340 CPUtime=402.29 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 31839 0 0 0 40179 50 0 0 25 0 1 0 799494151 131420160 31644 33554432000 4194304 5714214 140737366872528 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 32085 31644 180 372 0 31710 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 128340
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/536 7953
/proc/meminfo: memFree=24999108/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=135004 CPUtime=462.3 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 33449 0 0 0 46173 57 0 0 25 0 1 0 799494151 138244096 33254 33554432000 4194304 5714214 140737366872528 18446744073709551615 4198963 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 33751 33254 180 372 0 33376 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 135004
[startup+522.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/536 7954
/proc/meminfo: memFree=24978228/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=140440 CPUtime=522.3 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 34798 0 0 0 52165 65 0 0 25 0 1 0 799494151 143810560 34603 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 35110 34603 180 372 0 34735 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 140440
[startup+582.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/536 7956
/proc/meminfo: memFree=24898444/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=199764 CPUtime=582.3 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 49642 0 0 0 58155 75 0 0 25 0 1 0 799494151 204558336 49419 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 49941 49419 180 372 0 49566 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 199764
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/536 7965
/proc/meminfo: memFree=24792468/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=232740 CPUtime=822.31 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 57743 0 0 0 82126 105 0 0 25 0 1 0 799494151 238325760 57519 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 58185 57519 180 372 0 57810 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 232740
[startup+882.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/536 7967
/proc/meminfo: memFree=24768724/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=248940 CPUtime=882.31 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 61704 0 0 0 88121 110 0 0 25 0 1 0 799494151 254914560 61480 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 62235 61480 180 372 0 61860 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 248940
[startup+942.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/536 7968
/proc/meminfo: memFree=24743608/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=271480 CPUtime=942.31 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 67267 0 0 0 94112 119 0 0 25 0 1 0 799494151 277995520 67043 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 67870 67043 180 372 0 67495 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 271480
[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 7970
/proc/meminfo: memFree=24724192/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=290128 CPUtime=1002.31 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 72613 0 0 0 100106 125 0 0 25 0 1 0 799494151 297091072 71522 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 72532 71522 180 372 0 72157 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 290128
[startup+1062.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/536 7972
/proc/meminfo: memFree=24723636/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=290632 CPUtime=1062.32 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 72715 0 0 0 106098 134 0 0 25 0 1 0 799494151 297607168 71624 33554432000 4194304 5714214 140737366872528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 72658 71624 180 372 0 72283 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 290632
[startup+1122.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/536 7973
/proc/meminfo: memFree=24715276/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=290704 CPUtime=1122.31 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 72735 0 0 0 112089 142 0 0 25 0 1 0 799494151 297680896 71644 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 72676 71644 180 372 0 72301 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 290704
[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 7975
/proc/meminfo: memFree=24710512/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=290704 CPUtime=1182.32 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 72747 0 0 0 118084 148 0 0 25 0 1 0 799494151 297680896 71656 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 72676 71656 180 372 0 72301 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 290704
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 7976
/proc/meminfo: memFree=24660476/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=321208 CPUtime=1242.31 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 80318 0 0 0 124076 155 0 0 25 0 1 0 799494151 328916992 79227 33554432000 4194304 5714214 140737366872528 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 80302 79227 180 372 0 79927 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 321208
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 7978
/proc/meminfo: memFree=24653232/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=322264 CPUtime=1302.33 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 80579 0 0 0 130074 159 0 0 25 0 1 0 799494151 329998336 79488 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 80566 79488 180 372 0 80191 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 322264
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 7980
/proc/meminfo: memFree=24633220/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=326140 CPUtime=1362.32 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 81522 0 0 0 136071 161 0 0 25 0 1 0 799494151 333967360 80431 33554432000 4194304 5714214 140737366872528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 81535 80431 180 372 0 81160 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 326140
[startup+1422.32 s]
/proc/loadavg: 2.07 2.04 2.01 3/536 7981
/proc/meminfo: memFree=24618904/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=330232 CPUtime=1422.35 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 82563 0 0 0 142069 166 0 0 25 0 1 0 799494151 338157568 81472 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 82558 81472 180 372 0 82183 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 330232
[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/536 7983
/proc/meminfo: memFree=24607424/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=331816 CPUtime=1482.32 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 82950 0 0 0 148064 168 0 0 25 0 1 0 799494151 339779584 81859 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 82954 81859 180 372 0 82579 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 331816
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 7984
/proc/meminfo: memFree=24595460/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=331816 CPUtime=1542.33 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 82968 0 0 0 154061 172 0 0 25 0 1 0 799494151 339779584 81877 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 82954 81877 180 372 0 82579 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 331816
[startup+1602.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/536 7986
/proc/meminfo: memFree=24567120/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=330304 CPUtime=1602.33 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 82977 0 0 0 160056 177 0 0 25 0 1 0 799494151 338231296 81525 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 82576 81525 180 372 0 82201 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 330304
[startup+1662.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/536 7988
/proc/meminfo: memFree=24568044/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=330304 CPUtime=1662.33 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 82977 0 0 0 166048 185 0 0 25 0 1 0 799494151 338231296 81525 33554432000 4194304 5714214 140737366872528 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 82576 81525 180 372 0 82201 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 330304
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/536 7989
/proc/meminfo: memFree=24540104/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=358584 CPUtime=1722.33 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 90001 0 0 0 172040 193 0 0 25 0 1 0 799494151 367190016 88549 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 89646 88549 180 372 0 89271 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 358584
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 8046
/proc/meminfo: memFree=24916336/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=364712 CPUtime=1782.33 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 91828 0 0 0 178035 198 0 0 25 0 1 0 799494151 373465088 90067 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 91178 90067 180 372 0 90803 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 364712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 8046
/proc/meminfo: memFree=24875432/32951124 swapFree=46970528/67111528
[pid=7939] ppid=7937 vsize=364712 CPUtime=1800.04 cores=0,2,4,6
/proc/7939/stat : 7939 (wbo1.6) R 7937 7939 6615 0 -1 4202496 91828 0 0 0 179805 199 0 0 25 0 1 0 799494151 373465088 90067 33554432000 4194304 5714214 140737366872528 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/7939/statm: 91178 90067 180 372 0 90803 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 364712
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.08
CPU user time (s): 1798.07
CPU system time (s): 2.00969
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 366004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.07
system time used= 2.00969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91828
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= 3
involuntary context switches= 6414
runsolver used 10.1645 second user time and 20.9588 second system time
The end