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-3740998-1338754732/watcher-3740998-1338754732 -o /tmp/evaluation-result-3740998-1338754732/solver-3740998-1338754732 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3740998-1338754732.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 2/176 6854
/proc/meminfo: memFree=28402420/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=2888 CPUtime=0 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 341598912 2957312 56 33554432000 134512640 135840783 4290265744 4290263728 5489604 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6854/statm: 722 61 47 325 0 35 0
[startup+0.098958 s]
/proc/loadavg: 1.92 1.98 1.99 2/176 6854
/proc/meminfo: memFree=28402420/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=20276 CPUtime=0.09 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 1661 0 0 0 9 0 0 0 20 0 1 0 341598912 20762624 1598 33554432000 134512640 135840783 4290265744 4290264652 2384704 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6854/statm: 5069 1598 612 325 0 1029 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20276
[startup+0.100235 s]
/proc/loadavg: 1.92 1.98 1.99 2/176 6854
/proc/meminfo: memFree=28402420/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=20276 CPUtime=0.09 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 1677 0 0 0 9 0 0 0 20 0 1 0 341598912 20762624 1614 33554432000 134512640 135840783 4290265744 4290264640 134539151 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6854/statm: 5069 1614 615 325 0 1029 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20276
[startup+0.300188 s]
/proc/loadavg: 1.92 1.98 1.99 2/176 6854
/proc/meminfo: memFree=28402420/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=27784 CPUtime=0.29 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 4192 0 0 0 29 0 0 0 20 0 1 0 341598912 28450816 4129 33554432000 134512640 135840783 4290265744 4290264892 6740347 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6854/statm: 6946 4129 1241 325 0 2906 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27784
[startup+0.700191 s]
/proc/loadavg: 1.92 1.98 1.99 2/176 6854
/proc/meminfo: memFree=28402420/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=42384 CPUtime=0.68 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 9040 0 0 0 68 0 0 0 20 0 1 0 341598912 43401216 8977 33554432000 134512640 135840783 4290265744 4290264640 134539102 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6854/statm: 10596 8977 2449 325 0 6556 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 42384
[startup+1.50023 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 6855
/proc/meminfo: memFree=28354828/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=73032 CPUtime=1.48 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 20529 0 0 0 145 3 0 0 20 0 1 0 341598912 74784768 17490 33554432000 134512640 135840783 4290265744 4290113628 1680432 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6854/statm: 18258 17490 344 325 0 17194 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 73032
[startup+3.10023 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 6855
/proc/meminfo: memFree=28332864/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=73032 CPUtime=3.09 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 20532 0 0 0 304 5 0 0 20 0 1 0 341598912 74784768 17493 33554432000 134512640 135840783 4290265744 4290113628 1680432 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6854/statm: 18258 17493 344 325 0 17194 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73032
[startup+6.30023 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 6855
/proc/meminfo: memFree=28332492/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=73032 CPUtime=6.28 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 20536 0 0 0 621 7 0 0 20 0 1 0 341598912 74784768 17497 33554432000 134512640 135840783 4290265744 4290113628 1680432 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6854/statm: 18258 17497 344 325 0 17194 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 73032
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 6855
/proc/meminfo: memFree=28331880/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=73164 CPUtime=12.68 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 20542 0 0 0 1257 11 0 0 20 0 1 0 341598912 74919936 17503 33554432000 134512640 135840783 4290265744 4290113616 134545221 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6854/statm: 18291 17503 344 325 0 17227 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 73164
[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 6855
/proc/meminfo: memFree=28341172/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=62908 CPUtime=25.48 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 22383 0 0 0 2535 13 0 0 20 0 1 0 341598912 64417792 14951 33554432000 134512640 135840783 4290265744 4290265104 134550817 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6854/statm: 15727 14951 347 325 0 14663 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62908
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 6855
/proc/meminfo: memFree=28316572/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=80936 CPUtime=51.07 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 26885 0 0 0 5092 15 0 0 20 0 1 0 341598912 82878464 19453 33554432000 134512640 135840783 4290265744 4290265104 134551455 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 20234 19453 347 325 0 19170 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 80936
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 6858
/proc/meminfo: memFree=28282144/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=109568 CPUtime=102.27 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 34054 0 0 0 10209 18 0 0 20 0 1 0 341598912 112197632 26622 33554432000 134512640 135840783 4290265744 4290265104 134550887 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 27392 26622 347 325 0 26328 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 109568
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 6859
/proc/meminfo: memFree=28261728/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=124544 CPUtime=162.21 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 37858 0 0 0 16201 20 0 0 20 0 1 0 341598912 127533056 30401 33554432000 134512640 135840783 4290265744 4290265104 134551116 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 31136 30401 347 325 0 30072 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 124544
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 6859
/proc/meminfo: memFree=28244092/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=137792 CPUtime=222.18 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 41159 0 0 0 22196 22 0 0 20 0 1 0 341598912 141099008 33688 33554432000 134512640 135840783 4290265744 4290265056 134551532 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 34448 33688 347 325 0 33384 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 137792
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 6859
/proc/meminfo: memFree=28230576/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=147604 CPUtime=282.17 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 43617 0 0 0 28192 25 0 0 20 0 1 0 341598912 151146496 36146 33554432000 134512640 135840783 4290265744 4290265104 134551455 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 36901 36146 347 325 0 35837 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 147604
[startup+342.3 s]
/proc/loadavg: 2.11 2.02 2.00 3/177 6859
/proc/meminfo: memFree=28217232/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=155956 CPUtime=342.16 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 45723 0 0 0 34190 26 0 0 20 0 1 0 341598912 159698944 38252 33554432000 134512640 135840783 4290265744 4290265104 134550972 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 38989 38252 347 325 0 37925 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 155956
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 6859
/proc/meminfo: memFree=28202692/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=164440 CPUtime=402.13 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 47836 0 0 0 40185 28 0 0 20 0 1 0 341598912 168386560 40349 33554432000 134512640 135840783 4290265744 4290265104 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 41110 40349 347 325 0 40046 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 164440
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6860
/proc/meminfo: memFree=28189916/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=171464 CPUtime=462.12 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 49626 0 0 0 46183 29 0 0 20 0 1 0 341598912 175579136 42137 33554432000 134512640 135840783 4290265744 4290265104 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 42866 42137 347 325 0 41802 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 171464
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6861
/proc/meminfo: memFree=28178996/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=177300 CPUtime=522.12 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 51080 0 0 0 52181 31 0 0 20 0 1 0 341598912 181555200 43591 33554432000 134512640 135840783 4290265744 4290265104 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 44325 43591 347 325 0 43261 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 177300
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6861
/proc/meminfo: memFree=28164908/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=183660 CPUtime=582.11 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 52663 0 0 0 58179 32 0 0 20 0 1 0 341598912 188067840 45174 33554432000 134512640 135840783 4290265744 4290265104 134551400 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 45915 45174 347 325 0 44851 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 183660
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6865
/proc/meminfo: memFree=28107016/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=210436 CPUtime=882.05 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 59375 0 0 0 88169 36 0 0 20 0 1 0 341598912 215486464 51873 33554432000 134512640 135840783 4290265744 4290265104 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 52609 51873 347 325 0 51545 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 210436
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6865
/proc/meminfo: memFree=28083496/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=216132 CPUtime=942.03 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 60803 0 0 0 94166 37 0 0 20 0 1 0 341598912 221319168 53290 33554432000 134512640 135840783 4290265744 4290265104 134550988 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 54033 53290 347 325 0 52969 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 216132
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6865
/proc/meminfo: memFree=28028748/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=221300 CPUtime=1002.02 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 62078 0 0 0 100164 38 0 0 20 0 1 0 341598912 226611200 54564 33554432000 134512640 135840783 4290265744 4290265104 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 55325 54564 347 325 0 54261 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 221300
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6866
/proc/meminfo: memFree=28003204/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=227000 CPUtime=1062.01 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 63534 0 0 0 106162 39 0 0 20 0 1 0 341598912 232448000 56020 33554432000 134512640 135840783 4290265744 4290265104 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 56750 56020 347 325 0 55686 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 227000
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6866
/proc/meminfo: memFree=27959008/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=231772 CPUtime=1122 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 64708 0 0 0 112160 40 0 0 20 0 1 0 341598912 237334528 57194 33554432000 134512640 135840783 4290265744 4290265104 134551501 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 57943 57194 347 325 0 56879 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 231772
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6866
/proc/meminfo: memFree=27885132/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=236144 CPUtime=1181.99 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 65819 0 0 0 118158 41 0 0 20 0 1 0 341598912 241811456 58305 33554432000 134512640 135840783 4290265744 4290265104 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 59036 58305 347 325 0 57972 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 236144
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6866
/proc/meminfo: memFree=27826384/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=240120 CPUtime=1241.98 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 66783 0 0 0 124156 42 0 0 20 0 1 0 341598912 245882880 59269 33554432000 134512640 135840783 4290265744 4290265104 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 60030 59269 347 325 0 58966 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 240120
[startup+1302.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 6869
/proc/meminfo: memFree=27722064/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=294196 CPUtime=1301.98 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 80317 0 0 0 130151 47 0 0 20 0 1 0 341598912 301256704 72803 33554432000 134512640 135840783 4290265744 4290265104 134550808 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 73549 72803 347 325 0 72485 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 294196
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 6870
/proc/meminfo: memFree=27611216/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=353836 CPUtime=1361.96 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 95228 0 0 0 136145 51 0 0 20 0 1 0 341598912 362328064 87714 33554432000 134512640 135840783 4290265744 4290265104 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 88459 87714 347 325 0 87395 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 353836
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 6870
/proc/meminfo: memFree=27498520/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=424112 CPUtime=1421.93 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 112815 0 0 0 142139 54 0 0 20 0 1 0 341598912 434290688 105281 33554432000 134512640 135840783 4290265744 4290265056 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 106028 105281 347 325 0 104964 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 424112
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6870
/proc/meminfo: memFree=27460604/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=427692 CPUtime=1481.88 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 113747 0 0 0 148133 55 0 0 20 0 1 0 341598912 437956608 106171 33554432000 134512640 135840783 4290265744 4290265104 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 106923 106171 347 325 0 105859 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 427692
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6870
/proc/meminfo: memFree=27422092/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=431668 CPUtime=1541.85 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 114791 0 0 0 154129 56 0 0 20 0 1 0 341598912 442028032 107191 33554432000 134512640 135840783 4290265744 4290265104 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 107917 107191 347 325 0 106853 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 431668
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6909
/proc/meminfo: memFree=28027180/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=436176 CPUtime=1601.84 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 115910 0 0 0 160127 57 0 0 20 0 1 0 341598912 446644224 108310 33554432000 134512640 135840783 4290265744 4290265048 1988816 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 109044 108310 347 325 0 107980 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 436176
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6910
/proc/meminfo: memFree=27971008/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=440284 CPUtime=1661.84 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 116924 0 0 0 166125 59 0 0 20 0 1 0 341598912 450850816 109324 33554432000 134512640 135840783 4290265744 4290265104 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 110071 109324 347 325 0 109007 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 440284
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6910
/proc/meminfo: memFree=27946828/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=443996 CPUtime=1721.83 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 117873 0 0 0 172124 59 0 0 20 0 1 0 341598912 454651904 110273 33554432000 134512640 135840783 4290265744 4290265104 134550933 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 110999 110273 347 325 0 109935 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 443996
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6910
/proc/meminfo: memFree=27932816/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=447972 CPUtime=1781.82 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 118858 0 0 0 178122 60 0 0 20 0 1 0 341598912 458723328 111258 33554432000 134512640 135840783 4290265744 4290265056 134551052 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 111993 111258 347 325 0 110929 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 447972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6910
/proc/meminfo: memFree=27929716/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=449032 CPUtime=1800.03 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 119121 0 0 0 179942 61 0 0 20 0 1 0 341598912 459808768 111521 33554432000 134512640 135840783 4290265744 4290264980 5996573 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 112258 111521 347 325 0 111194 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 449032
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6910
/proc/meminfo: memFree=27929716/32873844 swapFree=7112/7112
[pid=6854] ppid=6852 vsize=449032 CPUtime=1800.03 cores=0,2,4,6
/proc/6854/stat : 6854 (bsolo3.0.17) R 6852 6854 5948 0 -1 4202496 119121 0 0 0 179942 61 0 0 20 0 1 0 341598912 459808768 111521 33554432000 134512640 135840783 4290265744 4290264980 5996573 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6854/statm: 112258 111521 347 325 0 111194 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 449032
Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.42
CPU system time (s): 0.613906
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 449032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.613906
maximum resident set size= 446084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119124
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= 203
involuntary context switches= 2051
runsolver used 3.51147 second user time and 9.06562 second system time
The end