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-3460699-1307108345/watcher-3460699-1307108345 -o /tmp/evaluation-result-3460699-1307108345/solver-3460699-1307108345 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460699-1307108345.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: 2.01 2.02 1.97 3/415 1749
/proc/meminfo: memFree=25799224/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/1749/stat : 1749 (runsolver) R 1747 1749 32638 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 1 0 278443921 12079104 50 33554432000 4194304 5432328 140736192530400 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/1749/statm: 2949 50 31 303 0 2643 0
[startup+0.0603819 s]
/proc/loadavg: 2.01 2.02 1.97 3/415 1749
/proc/meminfo: memFree=25799224/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=36340 CPUtime=0.04 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 4614 0 0 0 4 0 0 0 19 0 1 0 278443921 37212160 4283 33554432000 4194304 5714214 140737041006336 18446744073709551615 4228051 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 9085 4283 325 372 0 4339 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36340
[startup+0.100373 s]
/proc/loadavg: 2.01 2.02 1.97 3/415 1749
/proc/meminfo: memFree=25799224/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=41724 CPUtime=0.08 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 5895 0 0 0 8 0 0 0 19 0 1 0 278443921 42725376 5435 33554432000 4194304 5714214 140737041006336 18446744073709551615 4236043 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 10431 5435 456 372 0 5685 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 41724
[startup+0.300346 s]
/proc/loadavg: 2.01 2.02 1.97 3/415 1749
/proc/meminfo: memFree=25799224/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=58636 CPUtime=0.29 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 10798 0 0 0 28 1 0 0 20 0 1 0 278443921 60043264 10066 33554432000 4194304 5714214 140737041006336 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 14659 10066 1029 372 0 9913 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58636
[startup+0.700268 s]
/proc/loadavg: 2.01 2.02 1.97 3/415 1749
/proc/meminfo: memFree=25799224/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=74240 CPUtime=0.68 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 15989 0 0 0 67 1 0 0 20 0 1 0 278443921 76021760 15257 33554432000 4194304 5714214 140737041006336 18446744073709551615 4336999 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 18560 15257 2302 372 0 13814 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 74240
[startup+1.50113 s]
/proc/loadavg: 2.01 2.02 1.97 3/416 1750
/proc/meminfo: memFree=25735976/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=136776 CPUtime=1.48 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 38017 0 0 0 145 3 0 0 18 0 1 0 278443921 140058624 32657 33554432000 4194304 5714214 140737041006336 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 34194 32661 170 372 0 33819 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 136776
[startup+3.10085 s]
/proc/loadavg: 2.01 2.02 1.97 3/416 1750
/proc/meminfo: memFree=25609000/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=210856 CPUtime=3.09 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 64991 0 0 0 301 8 0 0 20 0 1 0 278443921 215916544 51612 33554432000 4194304 5714214 140737041006336 18446744073709551615 4359787 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 52714 51612 175 372 0 52339 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 210856
[startup+6.30028 s]
/proc/loadavg: 2.01 2.02 1.97 3/416 1750
/proc/meminfo: memFree=25584000/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=210960 CPUtime=6.28 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 78854 0 0 0 618 10 0 0 25 0 1 0 278443921 216023040 52016 33554432000 4194304 5714214 140737041006336 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 52740 52016 179 372 0 52365 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 210960
[startup+12.7001 s]
/proc/loadavg: 2.01 2.02 1.97 3/416 1751
/proc/meminfo: memFree=25580716/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=221288 CPUtime=12.68 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 81002 0 0 0 1256 12 0 0 25 0 1 0 278443921 226598912 54164 33554432000 4194304 5714214 140737041006336 18446744073709551615 4330771 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 55322 54164 180 372 0 54947 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 221288
[startup+25.5009 s]
/proc/loadavg: 2.01 2.02 1.97 3/416 1751
/proc/meminfo: memFree=25570308/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=221288 CPUtime=25.48 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 81002 0 0 0 2536 12 0 0 25 0 1 0 278443921 226598912 54164 33554432000 4194304 5714214 140737041006336 18446744073709551615 4330771 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 55322 54164 180 372 0 54947 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 221288
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 1.97 3/416 1752
/proc/meminfo: memFree=25561716/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=221288 CPUtime=51.09 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 81002 0 0 0 5095 14 0 0 25 0 1 0 278443921 226598912 54164 33554432000 4194304 5714214 140737041006336 18446744073709551615 4330771 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 55322 54164 180 372 0 54947 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 221288
[startup+102.315 s]
/proc/loadavg: 2.08 2.02 1.98 3/416 1753
/proc/meminfo: memFree=25545732/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=221288 CPUtime=102.3 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 81002 0 0 0 10201 29 0 0 25 0 1 0 278443921 226598912 54164 33554432000 4194304 5714214 140737041006336 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 55322 54164 180 372 0 54947 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 221288
[startup+162.301 s]
/proc/loadavg: 2.03 2.02 1.98 3/416 1755
/proc/meminfo: memFree=25488164/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=257824 CPUtime=162.29 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 89735 0 0 0 16183 46 0 0 25 0 1 0 278443921 264011776 62897 33554432000 4194304 5714214 140737041006336 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 64456 62897 180 372 0 64081 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 257824
[startup+222.301 s]
/proc/loadavg: 2.01 2.01 1.98 3/416 1756
/proc/meminfo: memFree=25444876/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=257824 CPUtime=222.29 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 89940 0 0 0 22158 71 0 0 25 0 1 0 278443921 264011776 63102 33554432000 4194304 5714214 140737041006336 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 64456 63102 180 372 0 64081 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 257824
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 1.98 3/416 1758
/proc/meminfo: memFree=25379144/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=296228 CPUtime=282.29 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 99723 0 0 0 28128 101 0 0 25 0 1 0 278443921 303337472 72885 33554432000 4194304 5714214 140737041006336 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 74057 72885 180 372 0 73682 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 296228
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/416 1760
/proc/meminfo: memFree=25290592/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=360796 CPUtime=342.29 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 115845 0 0 0 34101 128 0 0 25 0 1 0 278443921 369455104 89007 33554432000 4194304 5714214 140737041006336 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 90199 89007 180 372 0 89824 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 360796
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/416 1761
/proc/meminfo: memFree=25236512/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=415328 CPUtime=402.3 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 129461 0 0 0 40095 135 0 0 25 0 1 0 278443921 425295872 102623 33554432000 4194304 5714214 140737041006336 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 103832 102623 180 372 0 103457 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 415328
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/416 1763
/proc/meminfo: memFree=25040560/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=575084 CPUtime=462.3 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 169417 0 0 0 46081 149 0 0 25 0 1 0 278443921 588886016 142579 33554432000 4194304 5714214 140737041006336 18446744073709551615 4329449 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 143771 142579 180 372 0 143396 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 575084
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/416 1764
/proc/meminfo: memFree=24862108/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=753144 CPUtime=522.3 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 213932 0 0 0 52067 163 0 0 25 0 1 0 278443921 771219456 187094 33554432000 4194304 5714214 140737041006336 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 188286 187094 180 372 0 187911 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 753144
[startup+582.301 s]
/proc/loadavg: 2.05 2.01 1.98 3/416 1766
/proc/meminfo: memFree=24644468/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=956964 CPUtime=582.3 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 264870 0 0 0 58054 176 0 0 25 0 1 0 278443921 979931136 238032 33554432000 4194304 5714214 140737041006336 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 239241 238032 180 372 0 238866 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 956964
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 1774
/proc/meminfo: memFree=23810576/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=1661568 CPUtime=882.31 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 440970 0 0 0 87998 233 0 0 25 0 1 0 278443921 1701445632 414132 33554432000 4194304 5714214 140737041006336 18446744073709551615 4319198 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 415392 414132 180 372 0 415017 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1661568
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 1776
/proc/meminfo: memFree=23741252/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=1727112 CPUtime=942.31 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 457330 0 0 0 93993 238 0 0 25 0 1 0 278443921 1768562688 430492 33554432000 4194304 5714214 140737041006336 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 431778 430492 180 372 0 431403 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1727112
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 1777
/proc/meminfo: memFree=23594912/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=1841576 CPUtime=1002.3 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 485960 0 0 0 99987 243 0 0 25 0 1 0 278443921 1885773824 459122 33554432000 4194304 5714214 140737041006336 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 460394 459122 180 372 0 460019 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 1841576
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 1779
/proc/meminfo: memFree=23522240/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=1910316 CPUtime=1062.31 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 503151 0 0 0 105982 249 0 0 25 0 1 0 278443921 1956163584 476313 33554432000 4194304 5714214 140737041006336 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 477579 476313 180 372 0 477204 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1910316
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/416 1780
/proc/meminfo: memFree=23414088/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=2010608 CPUtime=1122.31 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 528218 0 0 0 111975 256 0 0 25 0 1 0 278443921 2058862592 501380 33554432000 4194304 5714214 140737041006336 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 502652 501380 180 372 0 502277 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2010608
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/416 1782
/proc/meminfo: memFree=23299984/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=2102152 CPUtime=1182.31 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 551087 0 0 0 117968 263 0 0 25 0 1 0 278443921 2152603648 524249 33554432000 4194304 5714214 140737041006336 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 525538 524249 180 372 0 525163 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2102152
[startup+1242.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/416 1784
/proc/meminfo: memFree=23176456/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=2213844 CPUtime=1242.31 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 579032 0 0 0 123961 270 0 0 25 0 1 0 278443921 2266976256 552194 33554432000 4194304 5714214 140737041006336 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 553461 552194 180 372 0 553086 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 2213844
[startup+1302.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/416 1785
/proc/meminfo: memFree=23089896/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=2290908 CPUtime=1302.32 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 598244 0 0 0 129955 277 0 0 25 0 1 0 278443921 2345889792 571406 33554432000 4194304 5714214 140737041006336 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 572727 571406 180 372 0 572352 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 2290908
[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/416 1796
/proc/meminfo: memFree=23032924/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=2338944 CPUtime=1362.32 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 610182 0 0 0 135946 286 0 0 25 0 1 0 278443921 2395078656 583344 33554432000 4194304 5714214 140737041006336 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 584736 583344 180 372 0 584361 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2338944
[startup+1422.32 s]
/proc/loadavg: 2.01 2.02 2.00 5/416 1825
/proc/meminfo: memFree=23388504/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=2492128 CPUtime=1422.34 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 648489 0 0 0 141934 300 0 0 25 0 1 0 278443921 2551939072 621651 33554432000 4194304 5714214 140737041006336 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 623032 621651 180 372 0 622657 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2492128
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 5/416 1827
/proc/meminfo: memFree=23139820/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=2690952 CPUtime=1482.32 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 698205 0 0 0 147920 312 0 0 25 0 1 0 278443921 2755534848 671367 33554432000 4194304 5714214 140737041006336 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 672738 671367 180 372 0 672363 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2690952
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/416 1829
/proc/meminfo: memFree=23019388/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=2761148 CPUtime=1542.32 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 715681 0 0 0 153916 316 0 0 25 0 1 0 278443921 2827415552 688843 33554432000 4194304 5714214 140737041006336 18446744073709551615 4311837 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 690287 688843 180 372 0 689912 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 2761148
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/416 1830
/proc/meminfo: memFree=22869064/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=2855280 CPUtime=1602.33 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 739159 0 0 0 159910 323 0 0 25 0 1 0 278443921 2923806720 712321 33554432000 4194304 5714214 140737041006336 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 713820 712321 180 372 0 713445 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2855280
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 5/416 1832
/proc/meminfo: memFree=22745416/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=2938288 CPUtime=1662.33 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 759890 0 0 0 165906 327 0 0 25 0 1 0 278443921 3008806912 733052 33554432000 4194304 5714214 140737041006336 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 734572 733052 180 372 0 734197 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2938288
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 5/416 1833
/proc/meminfo: memFree=22650780/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=2995392 CPUtime=1722.33 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 774120 0 0 0 171895 338 0 0 25 0 1 0 278443921 3067281408 747282 33554432000 4194304 5714214 140737041006336 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 748848 747282 180 372 0 748473 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2995392
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.01 5/416 1835
/proc/meminfo: memFree=22557012/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=3028880 CPUtime=1782.33 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 782496 0 0 0 177890 343 0 0 25 0 1 0 278443921 3101573120 755658 33554432000 4194304 5714214 140737041006336 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 757220 755658 180 372 0 756845 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3028880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.12 2.05 2.01 3/416 1835
/proc/meminfo: memFree=22541120/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=3045144 CPUtime=1800.03 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4202496 786578 0 0 0 179653 350 0 0 25 0 1 0 278443921 3118227456 759740 33554432000 4194304 5714214 140737041006336 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1749/statm: 761286 759740 180 372 0 760911 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3045144
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.12 s]
/proc/loadavg: 2.12 2.05 2.01 3/416 1835
/proc/meminfo: memFree=22541120/32950928 swapFree=52006644/67111528
[pid=1749] ppid=1747 vsize=0 CPUtime=1800.14 cores=1,3,5,7
/proc/1749/stat : 1749 (wbo1.6) R 1747 1749 32638 0 -1 4203524 786579 0 0 0 179654 360 0 0 25 0 1 0 278443921 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/1749/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.13
CPU time (s): 1800.17
CPU user time (s): 1796.55
CPU system time (s): 3.62145
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3045144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.55
system time used= 3.62145
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 786579
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= 6
involuntary context switches= 1241
runsolver used 6.78997 second user time and 16.6765 second system time
The end