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-3738008-1338731878/watcher-3738008-1338731878 -o /tmp/evaluation-result-3738008-1338731878/solver-3738008-1338731878 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3738008-1338731878.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: 2.01 2.00 2.00 3/176 19788
/proc/meminfo: memFree=29943548/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4194304 150 0 0 0 0 0 0 0 20 0 1 0 339313626 4583424 101 33554432000 134512640 135840783 4292151120 4292150040 5760631 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 1119 119 100 325 0 39 0
[startup+0.0146849 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 19788
/proc/meminfo: memFree=29943548/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=5536 CPUtime=0 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 639 0 0 0 0 0 0 0 20 0 1 0 339313626 5668864 575 33554432000 134512640 135840783 4292151120 4292148992 6057064 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 1384 576 336 325 0 279 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5536
[startup+0.100217 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 19788
/proc/meminfo: memFree=29943548/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=11356 CPUtime=0.09 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 2187 0 0 0 9 0 0 0 20 0 1 0 339313626 11628544 2082 33554432000 134512640 135840783 4292151120 4291996224 134583067 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 2839 2082 343 325 0 1775 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11356
[startup+0.300191 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 19788
/proc/meminfo: memFree=29943548/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=11356 CPUtime=0.29 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 2188 0 0 0 29 0 0 0 20 0 1 0 339313626 11628544 2083 33554432000 134512640 135840783 4292151120 4291996112 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 2839 2083 343 325 0 1775 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11356
[startup+0.700188 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 19788
/proc/meminfo: memFree=29943548/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=11356 CPUtime=0.69 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 2189 0 0 0 69 0 0 0 20 0 1 0 339313626 11628544 2084 33554432000 134512640 135840783 4292151120 4291995888 6327198 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 2839 2084 343 325 0 1775 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11356
[startup+1.50019 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19789
/proc/meminfo: memFree=29935860/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=11480 CPUtime=1.48 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 2191 0 0 0 148 0 0 0 20 0 1 0 339313626 11755520 2086 33554432000 134512640 135840783 4292151120 4291996224 134583074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 2870 2086 343 325 0 1806 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11480
[startup+3.10018 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19789
/proc/meminfo: memFree=29935488/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=11480 CPUtime=3.08 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 2191 0 0 0 308 0 0 0 20 0 1 0 339313626 11755520 2086 33554432000 134512640 135840783 4292151120 4291996112 134550791 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 2870 2086 343 325 0 1806 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11480
[startup+6.30018 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19789
/proc/meminfo: memFree=29935240/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=11476 CPUtime=6.28 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 2191 0 0 0 628 0 0 0 20 0 1 0 339313626 11751424 2086 33554432000 134512640 135840783 4292151120 4291996224 134583456 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 2869 2086 343 325 0 1805 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11476
[startup+12.701 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19789
/proc/meminfo: memFree=29933892/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=11476 CPUtime=12.68 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 2191 0 0 0 1268 0 0 0 20 0 1 0 339313626 11751424 2086 33554432000 134512640 135840783 4292151120 4291996252 12006448 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 2869 2086 343 325 0 1805 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11476
[startup+25.5003 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 19866
/proc/meminfo: memFree=30478004/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=36332 CPUtime=25.48 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 8848 0 0 0 2545 3 0 0 20 0 1 0 339313626 37203968 8352 33554432000 134512640 135840783 4292151120 4292150480 134550863 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 9083 8352 347 325 0 8019 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36332
[startup+51.1011 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 19866
/proc/meminfo: memFree=30409044/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=62228 CPUtime=51.06 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 15323 0 0 0 5100 6 0 0 20 0 1 0 339313626 63721472 14803 33554432000 134512640 135840783 4292151120 4292150480 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 15557 14803 347 325 0 14493 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 62228
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 19867
/proc/meminfo: memFree=30324476/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=91028 CPUtime=102.25 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 22530 0 0 0 10216 9 0 0 20 0 1 0 339313626 93212672 22006 33554432000 134512640 135840783 4292151120 4292150480 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 22757 22006 347 325 0 21693 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 91028
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 19870
/proc/meminfo: memFree=30256432/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=127752 CPUtime=162.23 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 31710 0 0 0 16212 11 0 0 20 0 1 0 339313626 130818048 31186 33554432000 134512640 135840783 4292151120 4292150480 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 31938 31186 347 325 0 30874 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 127752
[startup+222.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 19892
/proc/meminfo: memFree=30217940/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=145588 CPUtime=222.22 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 36195 0 0 0 22208 14 0 0 20 0 1 0 339313626 149082112 35645 33554432000 134512640 135840783 4292151120 4292150432 134550913 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 36397 35645 347 325 0 35333 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 145588
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19892
/proc/meminfo: memFree=30186240/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=158272 CPUtime=282.18 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 39400 0 0 0 28203 15 0 0 20 0 1 0 339313626 162070528 38836 33554432000 134512640 135840783 4292151120 4292150480 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 39568 38836 347 325 0 38504 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 158272
[startup+342.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19892
/proc/meminfo: memFree=30148512/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=178748 CPUtime=342.18 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 44524 0 0 0 34200 18 0 0 20 0 1 0 339313626 183037952 43960 33554432000 134512640 135840783 4292151120 4292150480 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 44687 43960 347 325 0 43623 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 178748
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19893
/proc/meminfo: memFree=30126112/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=189712 CPUtime=402.17 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 47245 0 0 0 40198 19 0 0 20 0 1 0 339313626 194265088 46681 33554432000 134512640 135840783 4292151120 4292150480 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 47428 46681 347 325 0 46364 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 189712
[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19893
/proc/meminfo: memFree=30102036/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=201604 CPUtime=462.16 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 50220 0 0 0 46196 20 0 0 20 0 1 0 339313626 206442496 49656 33554432000 134512640 135840783 4292151120 4292150480 134551324 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 50401 49656 347 325 0 49337 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 201604
[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19893
/proc/meminfo: memFree=30072836/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=214024 CPUtime=522.14 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 53362 0 0 0 52192 22 0 0 20 0 1 0 339313626 219160576 52768 33554432000 134512640 135840783 4292151120 4292150480 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 53506 52768 347 325 0 52442 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 214024
[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19893
/proc/meminfo: memFree=30049400/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=226308 CPUtime=582.12 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 56419 0 0 0 58189 23 0 0 20 0 1 0 339313626 231739392 55825 33554432000 134512640 135840783 4292151120 4292150424 2492624 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 56577 55825 347 325 0 55513 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 226308
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19897
/proc/meminfo: memFree=29966556/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=260260 CPUtime=882.07 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 64937 0 0 0 88180 27 0 0 20 0 1 0 339313626 266506240 64322 33554432000 134512640 135840783 4292151120 4292150480 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 65065 64322 347 325 0 64001 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 260260
[startup+942.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19897
/proc/meminfo: memFree=29953412/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=266472 CPUtime=942.05 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 66489 0 0 0 94177 28 0 0 20 0 1 0 339313626 272867328 65874 33554432000 134512640 135840783 4292151120 4292150480 134551400 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 66618 65874 347 325 0 65554 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 266472
[startup+1002.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 19897
/proc/meminfo: memFree=29940640/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=272944 CPUtime=1002.04 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 68114 0 0 0 100175 29 0 0 20 0 1 0 339313626 279494656 67499 33554432000 134512640 135840783 4292151120 4292150480 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 68236 67499 347 325 0 67172 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 272944
[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 19898
/proc/meminfo: memFree=29925900/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=280872 CPUtime=1062.04 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 70077 0 0 0 106173 31 0 0 20 0 1 0 339313626 287612928 69462 33554432000 134512640 135840783 4292151120 4292150480 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 70218 69462 347 325 0 69154 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 280872
[startup+1122.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 19898
/proc/meminfo: memFree=29907760/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=291704 CPUtime=1122.02 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 72802 0 0 0 112170 32 0 0 20 0 1 0 339313626 298704896 72187 33554432000 134512640 135840783 4292151120 4292150480 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 72926 72187 347 325 0 71862 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 291704
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 19898
/proc/meminfo: memFree=29893748/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=298972 CPUtime=1182.02 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 74603 0 0 0 118169 33 0 0 20 0 1 0 339313626 306147328 73988 33554432000 134512640 135840783 4292151120 4292150480 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 74743 73988 347 325 0 73679 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 298972
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19898
/proc/meminfo: memFree=29877728/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=307160 CPUtime=1242 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 76677 0 0 0 124166 34 0 0 20 0 1 0 339313626 314531840 76040 33554432000 134512640 135840783 4292151120 4292150480 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 76790 76040 347 325 0 75726 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 307160
[startup+1302.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 19898
/proc/meminfo: memFree=29865452/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=312844 CPUtime=1301.99 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 78110 0 0 0 130164 35 0 0 20 0 1 0 339313626 320352256 77473 33554432000 134512640 135840783 4292151120 4292150480 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 78211 77473 347 325 0 77147 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 312844
[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/178 19902
/proc/meminfo: memFree=29856292/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=318128 CPUtime=1361.98 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 79433 0 0 0 136162 36 0 0 20 0 1 0 339313626 325763072 78796 33554432000 134512640 135840783 4292151120 4292150480 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 79532 78796 347 325 0 78468 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 318128
[startup+1422.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 19902
/proc/meminfo: memFree=29847000/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=322884 CPUtime=1421.98 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 80628 0 0 0 142161 37 0 0 20 0 1 0 339313626 330633216 79991 33554432000 134512640 135840783 4292151120 4292150480 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 80721 79991 347 325 0 79657 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 322884
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 19902
/proc/meminfo: memFree=29836604/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=327772 CPUtime=1481.96 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 81830 0 0 0 148159 37 0 0 20 0 1 0 339313626 335638528 81193 33554432000 134512640 135840783 4292151120 4292150480 134551081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 81943 81193 347 325 0 80879 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 327772
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19902
/proc/meminfo: memFree=29826792/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=332660 CPUtime=1541.96 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 83049 0 0 0 154158 38 0 0 20 0 1 0 339313626 340643840 82412 33554432000 134512640 135840783 4292151120 4292150480 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 83165 82412 347 325 0 82101 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 332660
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19902
/proc/meminfo: memFree=29814020/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=337680 CPUtime=1601.94 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 84313 0 0 0 160156 38 0 0 20 0 1 0 339313626 345784320 83676 33554432000 134512640 135840783 4292151120 4292150480 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 84420 83676 347 325 0 83356 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 337680
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19903
/proc/meminfo: memFree=29798080/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=341908 CPUtime=1661.93 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 85380 0 0 0 166155 38 0 0 20 0 1 0 339313626 350113792 84740 33554432000 134512640 135840783 4292151120 4292150480 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 85477 84740 347 325 0 84413 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 341908
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19903
/proc/meminfo: memFree=29789368/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=346136 CPUtime=1721.91 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 86447 0 0 0 172152 39 0 0 20 0 1 0 339313626 354443264 85792 33554432000 134512640 135840783 4292151120 4292150480 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 86534 85792 347 325 0 85470 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 346136
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 19903
/proc/meminfo: memFree=29773868/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=353004 CPUtime=1781.91 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 88166 0 0 0 178151 40 0 0 20 0 1 0 339313626 361476096 87511 33554432000 134512640 135840783 4292151120 4292150480 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 88251 87511 347 325 0 87187 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 353004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 19903
/proc/meminfo: memFree=29770644/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=354196 CPUtime=1800.01 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 88464 0 0 0 179961 40 0 0 20 0 1 0 339313626 362696704 87809 33554432000 134512640 135840783 4292151120 4292150480 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 88549 87809 347 325 0 87485 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 354196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 19903
/proc/meminfo: memFree=29770644/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=354196 CPUtime=1800.01 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 88464 0 0 0 179961 40 0 0 20 0 1 0 339313626 362696704 87809 33554432000 134512640 135840783 4292151120 4292150480 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 88549 87809 347 325 0 87485 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 354196
Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1799.61
CPU system time (s): 0.411937
CPU usage (%): 99.9785
Max. virtual memory (cumulated for all children) (KiB): 354196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.411937
maximum resident set size= 351236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88467
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= 171
involuntary context switches= 1911
runsolver used 3.3115 second user time and 9.41357 second system time
The end