runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3737917-1338730075/watcher-3737917-1338730075 -o /tmp/evaluation-result-3737917-1338730075/solver-3737917-1338730075 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737917-1338730075.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.92 1.98 1.99 3/176 19695
/proc/meminfo: memFree=29987284/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/19695/stat : 19695 (runsolver) D 19693 19695 18429 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 339133351 12095488 50 33554432000 4194304 5436572 140734752541296 140734752537592 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/19695/statm: 2953 50 31 304 0 2645 0
[startup+0.0653329 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 19695
/proc/meminfo: memFree=29987284/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=11356 CPUtime=0.05 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 2188 0 0 0 5 0 0 0 20 0 1 0 339133351 11628544 2083 33554432000 134512640 135840783 4293788608 4293633504 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 2839 2083 343 325 0 1775 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11356
[startup+0.100257 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 19695
/proc/meminfo: memFree=29987284/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=11356 CPUtime=0.08 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 2190 0 0 0 8 0 0 0 20 0 1 0 339133351 11628544 2085 33554432000 134512640 135840783 4293788608 4293633504 134551715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 2839 2085 343 325 0 1775 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11356
[startup+0.300192 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 19695
/proc/meminfo: memFree=29987284/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=11356 CPUtime=0.28 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 2191 0 0 0 28 0 0 0 20 0 1 0 339133351 11628544 2086 33554432000 134512640 135840783 4293788608 4293633504 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 2839 2086 343 325 0 1775 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11356
[startup+0.700236 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 19695
/proc/meminfo: memFree=29987284/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=11356 CPUtime=0.68 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 2191 0 0 0 68 0 0 0 20 0 1 0 339133351 11628544 2086 33554432000 134512640 135840783 4293788608 4293633504 134551175 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 2839 2086 343 325 0 1775 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11356
[startup+1.50024 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19696
/proc/meminfo: memFree=29979960/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=11356 CPUtime=1.48 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 2191 0 0 0 148 0 0 0 20 0 1 0 339133351 11628544 2086 33554432000 134512640 135840783 4293788608 4293633616 134583111 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 2839 2086 343 325 0 1775 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11356
[startup+3.10105 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19696
/proc/meminfo: memFree=29979324/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=11356 CPUtime=3.08 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 2191 0 0 0 308 0 0 0 20 0 1 0 339133351 11628544 2086 33554432000 134512640 135840783 4293788608 4293633644 10822704 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 2839 2086 343 325 0 1775 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11356
[startup+6.30105 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 19696
/proc/meminfo: memFree=29978952/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=11356 CPUtime=6.28 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 2191 0 0 0 628 0 0 0 20 0 1 0 339133351 11628544 2086 33554432000 134512640 135840783 4293788608 4293633644 10822704 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 2839 2086 343 325 0 1775 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11356
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 19696
/proc/meminfo: memFree=29976528/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=11356 CPUtime=12.68 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 2191 0 0 0 1268 0 0 0 20 0 1 0 339133351 11628544 2086 33554432000 134512640 135840783 4293788608 4293633172 6316284 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 2839 2086 343 325 0 1775 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11356
[startup+25.5011 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 19735
/proc/meminfo: memFree=30431848/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=46636 CPUtime=25.47 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 11427 0 0 0 2544 3 0 0 20 0 1 0 339133351 47755264 10929 33554432000 134512640 135840783 4293788608 4293787968 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 11659 10929 347 325 0 10595 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 46636
[startup+51.1003 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 19735
/proc/meminfo: memFree=30384532/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=94204 CPUtime=51.06 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 23340 0 0 0 5099 7 0 0 20 0 1 0 339133351 96464896 22826 33554432000 134512640 135840783 4293788608 4293783136 6329639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 23551 22826 347 325 0 22487 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 94204
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19736
/proc/meminfo: memFree=30327412/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=149300 CPUtime=102.23 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 37137 0 0 0 10212 11 0 0 20 0 1 0 339133351 152883200 36583 33554432000 134512640 135840783 4293788608 4293787968 134551104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 37325 36583 347 325 0 36261 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 149300
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19739
/proc/meminfo: memFree=30279908/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=198448 CPUtime=162.2 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 49434 0 0 0 16202 18 0 0 20 0 1 0 339133351 203210752 48859 33554432000 134512640 135840783 4293788608 4293787968 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 49612 48859 347 325 0 48548 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 198448
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19739
/proc/meminfo: memFree=30209928/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=252220 CPUtime=222.19 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 62889 0 0 0 22196 23 0 0 20 0 1 0 339133351 258273280 62314 33554432000 134512640 135840783 4293788608 4293787968 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 63055 62315 347 325 0 61991 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 252220
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19739
/proc/meminfo: memFree=30065080/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=294760 CPUtime=282.18 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 73531 0 0 0 28191 27 0 0 20 0 1 0 339133351 301834240 72949 33554432000 134512640 135840783 4293788608 4293787920 134550878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 73690 72949 347 325 0 72626 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 294760
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19739
/proc/meminfo: memFree=29973480/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=340344 CPUtime=342.14 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 84973 0 0 0 34183 31 0 0 20 0 1 0 339133351 348512256 84344 33554432000 134512640 135840783 4293788608 4293787968 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 85086 84344 347 325 0 84022 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 340344
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19740
/proc/meminfo: memFree=29913812/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=370996 CPUtime=402.1 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 92671 0 0 0 40176 34 0 0 20 0 1 0 339133351 379899904 92002 33554432000 134512640 135840783 4293788608 4293787968 134550916 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 92749 92002 347 325 0 91685 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 370996
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 19740
/proc/meminfo: memFree=29853596/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=406800 CPUtime=462.09 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 101616 0 0 0 46171 38 0 0 20 0 1 0 339133351 416563200 100947 33554432000 134512640 135840783 4293788608 4293787920 134551052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 101700 100947 347 325 0 100636 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 406800
[startup+522.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19740
/proc/meminfo: memFree=29791000/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=438376 CPUtime=522.08 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 109506 0 0 0 52167 41 0 0 20 0 1 0 339133351 448897024 108837 33554432000 134512640 135840783 4293788608 4293787968 134551175 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 109594 108837 347 325 0 108530 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 438376
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19740
/proc/meminfo: memFree=29733812/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=467972 CPUtime=582.07 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 116933 0 0 0 58162 45 0 0 20 0 1 0 339133351 479203328 116264 33554432000 134512640 135840783 4293788608 4293787968 134551312 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 116993 116264 347 325 0 115929 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 467972
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19744
/proc/meminfo: memFree=29601968/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=539316 CPUtime=822.04 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 134742 0 0 0 82149 55 0 0 20 0 1 0 339133351 552259584 134073 33554432000 134512640 135840783 4293788608 4293787968 134551175 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 134829 134073 347 325 0 133765 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 539316
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19744
/proc/meminfo: memFree=29572868/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=554776 CPUtime=881.99 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 138666 0 0 0 88143 56 0 0 20 0 1 0 339133351 568090624 137955 33554432000 134512640 135840783 4293788608 4293787920 134551071 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 138694 137955 347 325 0 137630 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 554776
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19744
/proc/meminfo: memFree=29552188/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=564552 CPUtime=941.96 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 141147 0 0 0 94139 57 0 0 20 0 1 0 339133351 578101248 140388 33554432000 134512640 135840783 4293788608 4293787968 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 141138 140388 347 325 0 140074 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 564552
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19745
/proc/meminfo: memFree=29518200/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=579480 CPUtime=1001.95 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 144894 0 0 0 100136 59 0 0 20 0 1 0 339133351 593387520 144129 33554432000 134512640 135840783 4293788608 4293787920 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 144870 144129 347 325 0 143806 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 579480
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19745
/proc/meminfo: memFree=29483976/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=600620 CPUtime=1061.94 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 150183 0 0 0 106133 61 0 0 20 0 1 0 339133351 615034880 149418 33554432000 134512640 135840783 4293788608 4293787920 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 150155 149418 347 325 0 149091 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 600620
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19745
/proc/meminfo: memFree=29462404/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=613040 CPUtime=1121.93 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 153281 0 0 0 112130 63 0 0 20 0 1 0 339133351 627752960 152516 33554432000 134512640 135840783 4293788608 4293787920 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 153260 152516 347 325 0 152196 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 613040
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19745
/proc/meminfo: memFree=29438764/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=629684 CPUtime=1181.92 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 157461 0 0 0 118127 65 0 0 20 0 1 0 339133351 644796416 156696 33554432000 134512640 135840783 4293788608 4293787968 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 157421 156696 347 325 0 156357 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 629684
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 19745
/proc/meminfo: memFree=29414336/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=644348 CPUtime=1241.91 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 161118 0 0 0 124124 67 0 0 20 0 1 0 339133351 659812352 160353 33554432000 134512640 135840783 4293788608 4293787968 134551428 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 161087 160353 347 325 0 160023 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 644348
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19746
/proc/meminfo: memFree=29398648/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=652540 CPUtime=1301.91 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 163158 0 0 0 130123 68 0 0 20 0 1 0 339133351 668200960 162393 33554432000 134512640 135840783 4293788608 4293787968 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 163135 162393 347 325 0 162071 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 652540
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19749
/proc/meminfo: memFree=29385768/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=659940 CPUtime=1361.9 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 165023 0 0 0 136121 69 0 0 20 0 1 0 339133351 675778560 164258 33554432000 134512640 135840783 4293788608 4293787968 134551501 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 164985 164258 347 325 0 163921 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 659940
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19749
/proc/meminfo: memFree=29367796/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=668528 CPUtime=1421.89 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 167164 0 0 0 142119 70 0 0 20 0 1 0 339133351 684572672 166399 33554432000 134512640 135840783 4293788608 4293783264 6329639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 167132 166399 347 325 0 166068 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 668528
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19749
/proc/meminfo: memFree=29339276/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=680944 CPUtime=1481.88 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 170261 0 0 0 148117 71 0 0 20 0 1 0 339133351 697286656 169496 33554432000 134512640 135840783 4293788608 4293787968 134551175 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 170236 169496 347 325 0 169172 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 680944
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19749
/proc/meminfo: memFree=29309148/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=694552 CPUtime=1541.87 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 173649 0 0 0 154114 73 0 0 20 0 1 0 339133351 711221248 172884 33554432000 134512640 135840783 4293788608 4293787968 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 173638 172884 347 325 0 172574 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 694552
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19750
/proc/meminfo: memFree=29281476/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=706840 CPUtime=1601.85 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 176745 0 0 0 160112 73 0 0 20 0 1 0 339133351 723804160 175971 33554432000 134512640 135840783 4293788608 4293787968 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 176710 175971 347 325 0 175646 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 706840
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19750
/proc/meminfo: memFree=29250380/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=721240 CPUtime=1661.82 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 180399 0 0 0 166106 76 0 0 20 0 1 0 339133351 738549760 179585 33554432000 134512640 135840783 4293788608 4293787968 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 180310 179585 347 325 0 179246 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 721240
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 19750
/proc/meminfo: memFree=29223492/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=734716 CPUtime=1721.8 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 183765 0 0 0 172102 78 0 0 20 0 1 0 339133351 752349184 182931 33554432000 134512640 135840783 4293788608 4293787920 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 183679 182931 347 325 0 182615 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 734716
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19750
/proc/meminfo: memFree=29203528/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=745684 CPUtime=1781.78 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 186522 0 0 0 178099 79 0 0 20 0 1 0 339133351 763580416 185688 33554432000 134512640 135840783 4293788608 4293787968 134551071 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 186421 185688 347 325 0 185357 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 745684
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19750
/proc/meminfo: memFree=29198072/32873648 swapFree=6860/6860
[pid=19695] ppid=19693 vsize=748588 CPUtime=1800.1 cores=0,2,4,6
/proc/19695/stat : 19695 (bsolo3.0.17) R 19693 19695 18429 0 -1 4202496 187227 0 0 0 179930 80 0 0 20 0 1 0 339133351 766554112 186393 33554432000 134512640 135840783 4293788608 4293787920 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19695/statm: 187147 186393 347 325 0 186083 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 748588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 15
Real time (s): 1800.62
CPU time (s): 1800.11
CPU user time (s): 1799.3
CPU system time (s): 0.807877
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 748588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.807877
maximum resident set size= 745572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187230
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= 357
involuntary context switches= 1859
runsolver used 3.35049 second user time and 9.30659 second system time
The end