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-3742321-1338769765/watcher-3742321-1338769765 -o /tmp/evaluation-result-3742321-1338769765/solver-3742321-1338769765 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742321-1338769765.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: 1.92 1.98 1.99 3/176 7901
/proc/meminfo: memFree=27297932/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 343102167 2723840 47 33554432000 134512640 135840783 4289319360 4289317396 5489732 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 694 50 39 325 0 32 0
[startup+0.0413309 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 7901
/proc/meminfo: memFree=27297932/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=7580 CPUtime=0.03 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 1022 0 0 0 3 0 0 0 20 0 1 0 343102167 7761920 959 33554432000 134512640 135840783 4289319360 4289318352 134525286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 1895 960 421 325 0 555 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7580
[startup+0.100273 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 7901
/proc/meminfo: memFree=27297932/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=9200 CPUtime=0.09 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 1586 0 0 0 9 0 0 0 20 0 1 0 343102167 9420800 1523 33554432000 134512640 135840783 4289319360 4289316656 2827559 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 2300 1524 587 325 0 960 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9200
[startup+0.300241 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 7901
/proc/meminfo: memFree=27297932/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=10880 CPUtime=0.28 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 2262 0 0 0 28 0 0 0 20 0 1 0 343102167 11141120 1923 33554432000 134512640 135840783 4289319360 4289119948 4453424 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 2720 1923 344 325 0 1656 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10880
[startup+0.70023 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 7901
/proc/meminfo: memFree=27297932/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=10880 CPUtime=0.68 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 2263 0 0 0 68 0 0 0 20 0 1 0 343102167 11141120 1924 33554432000 134512640 135840783 4289319360 4289119948 4453424 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 2720 1924 344 325 0 1656 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10880
[startup+1.50023 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 7902
/proc/meminfo: memFree=27291576/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=10880 CPUtime=1.48 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 2263 0 0 0 148 0 0 0 20 0 1 0 343102167 11141120 1924 33554432000 134512640 135840783 4289319360 4289119948 4453424 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 2720 1924 344 325 0 1656 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10880
[startup+3.10023 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 7902
/proc/meminfo: memFree=27289576/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=10880 CPUtime=3.08 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 2265 0 0 0 308 0 0 0 20 0 1 0 343102167 11141120 1926 33554432000 134512640 135840783 4289319360 4289119948 4453424 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 2720 1926 344 325 0 1656 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10880
[startup+6.30022 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 7902
/proc/meminfo: memFree=27287724/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=10880 CPUtime=6.29 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 2267 0 0 0 628 1 0 0 20 0 1 0 343102167 11141120 1928 33554432000 134512640 135840783 4289319360 4289119948 4453424 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 2720 1928 344 325 0 1656 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10880
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 7902
/proc/meminfo: memFree=27272100/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=26276 CPUtime=12.69 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 6303 0 0 0 1266 3 0 0 20 0 1 0 343102167 26906624 5801 33554432000 134512640 135840783 4289319360 4289315168 2827559 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 6569 5802 349 325 0 5505 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26276
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 7902
/proc/meminfo: memFree=27204636/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=57568 CPUtime=25.48 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 14139 0 0 0 2543 5 0 0 20 0 1 0 343102167 58949632 13637 33554432000 134512640 135840783 4289319360 4289318720 134551285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 14392 13637 349 325 0 13328 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 57568
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 7906
/proc/meminfo: memFree=27104900/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=141924 CPUtime=51.08 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 35232 0 0 0 5098 10 0 0 20 0 1 0 343102167 145330176 34730 33554432000 134512640 135840783 4289319360 4289318720 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 35481 34730 349 325 0 34417 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 141924
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 7906
/proc/meminfo: memFree=26980440/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=229964 CPUtime=102.27 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 57232 0 0 0 10211 16 0 0 20 0 1 0 343102167 235483136 56730 33554432000 134512640 135840783 4289319360 4289318720 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 57491 56730 349 325 0 56427 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 229964
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 7906
/proc/meminfo: memFree=26871612/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=314060 CPUtime=162.26 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 78268 0 0 0 16205 21 0 0 20 0 1 0 343102167 321597440 77766 33554432000 134512640 135840783 4289319360 4289318720 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 78515 77766 349 325 0 77451 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 314060
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 7906
/proc/meminfo: memFree=26706968/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=428828 CPUtime=222.25 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 106936 0 0 0 22197 28 0 0 20 0 1 0 343102167 439119872 106434 33554432000 134512640 135840783 4289319360 4289318720 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 107207 106434 349 325 0 106143 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 428828
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 7906
/proc/meminfo: memFree=26534892/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=561468 CPUtime=282.24 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 140112 0 0 0 28189 35 0 0 20 0 1 0 343102167 574943232 139610 33554432000 134512640 135840783 4289319360 4289318720 134550705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 140367 139610 349 325 0 139303 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 561468
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 7908
/proc/meminfo: memFree=26396652/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=630908 CPUtime=342.23 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 157490 0 0 0 34184 39 0 0 20 0 1 0 343102167 646049792 156988 33554432000 134512640 135840783 4289319360 4289316960 134574669 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 157727 156988 349 325 0 156663 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 630908
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 7908
/proc/meminfo: memFree=26260652/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=697668 CPUtime=402.22 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 174153 0 0 0 40178 44 0 0 20 0 1 0 343102167 714412032 173651 33554432000 134512640 135840783 4289319360 4289318720 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 174417 173651 349 325 0 173353 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 697668
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 7908
/proc/meminfo: memFree=26155032/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=777680 CPUtime=462.21 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 194156 0 0 0 46172 49 0 0 20 0 1 0 343102167 796344320 193654 33554432000 134512640 135840783 4289319360 4289318720 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 194420 193654 349 325 0 193356 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 777680
[startup+522.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 7908
/proc/meminfo: memFree=26003656/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=880368 CPUtime=522.21 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 219843 0 0 0 52165 56 0 0 20 0 1 0 343102167 901496832 219341 33554432000 134512640 135840783 4289319360 4289318720 134550904 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 220092 219341 349 325 0 219028 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 880368
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7908
/proc/meminfo: memFree=25869144/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=976128 CPUtime=582.19 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 243771 0 0 0 58157 62 0 0 20 0 1 0 343102167 999555072 243269 33554432000 134512640 135840783 4289319360 4289318720 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 244032 243269 349 325 0 242968 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 976128
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7951
/proc/meminfo: memFree=27029748/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=1299388 CPUtime=822.12 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 324642 0 0 0 82128 84 0 0 20 0 1 0 343102167 1330573312 324100 33554432000 134512640 135840783 4289319360 4289318720 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 324847 324100 349 325 0 323783 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 1299388
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7951
/proc/meminfo: memFree=26848612/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=1373028 CPUtime=882.08 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 343088 0 0 0 88119 89 0 0 20 0 1 0 343102167 1405980672 342510 33554432000 134512640 135840783 4289319360 4289318720 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 343257 342510 349 325 0 342193 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 1373028
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7951
/proc/meminfo: memFree=26721416/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=1445908 CPUtime=942.04 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 361339 0 0 0 94110 94 0 0 20 0 1 0 343102167 1480609792 360721 33554432000 134512640 135840783 4289319360 4289318720 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 361477 360721 349 325 0 360413 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1445908
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7952
/proc/meminfo: memFree=26597692/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=1512728 CPUtime=1002 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 378082 0 0 0 100102 98 0 0 20 0 1 0 343102167 1549033472 377424 33554432000 134512640 135840783 4289319360 4289318720 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 378182 377424 349 325 0 377118 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 1512728
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7952
/proc/meminfo: memFree=26475332/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=1581164 CPUtime=1061.97 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 395223 0 0 0 106095 102 0 0 20 0 1 0 343102167 1619111936 394543 33554432000 134512640 135840783 4289319360 4289318720 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 395291 394543 349 325 0 394227 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 1581164
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 7952
/proc/meminfo: memFree=26360784/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=1654816 CPUtime=1121.94 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 413650 0 0 0 112088 106 0 0 20 0 1 0 343102167 1694531584 412936 33554432000 134512640 135840783 4289319360 4289318668 10703360 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 413704 412936 349 325 0 412640 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1654816
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7952
/proc/meminfo: memFree=26232844/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=1720652 CPUtime=1181.9 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 430155 0 0 0 118080 110 0 0 20 0 1 0 343102167 1761947648 429411 33554432000 134512640 135840783 4289319360 4289318720 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 430163 429411 349 325 0 429099 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1720652
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7955
/proc/meminfo: memFree=26097300/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=1789396 CPUtime=1241.86 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 447389 0 0 0 124072 114 0 0 20 0 1 0 343102167 1832341504 446611 33554432000 134512640 135840783 4289319360 4289318720 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 447349 446611 349 325 0 446285 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1789396
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7956
/proc/meminfo: memFree=25967292/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=1869128 CPUtime=1301.84 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 467336 0 0 0 130065 119 0 0 20 0 1 0 343102167 1913987072 466529 33554432000 134512640 135840783 4289319360 4289318596 2822091 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 467282 466529 349 325 0 466218 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1869128
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7956
/proc/meminfo: memFree=25801904/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=1939596 CPUtime=1361.8 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 484981 0 0 0 136057 123 0 0 20 0 1 0 343102167 1986146304 484147 33554432000 134512640 135840783 4289319360 4289318720 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 484899 484147 349 325 0 483835 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1939596
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7956
/proc/meminfo: memFree=25706576/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=2002740 CPUtime=1421.78 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 500780 0 0 0 142050 128 0 0 20 0 1 0 343102167 2050805760 499924 33554432000 134512640 135840783 4289319360 4289318720 134550948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 500685 499924 349 325 0 499621 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 2002740
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7956
/proc/meminfo: memFree=25590044/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=2052408 CPUtime=1481.73 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 513243 0 0 0 148041 132 0 0 20 0 1 0 343102167 2101665792 512357 33554432000 134512640 135840783 4289319360 4289318720 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 513102 512357 349 325 0 512038 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 2052408
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7956
/proc/meminfo: memFree=25472892/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=2104948 CPUtime=1541.71 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 526383 0 0 0 154036 135 0 0 20 0 1 0 343102167 2155466752 525474 33554432000 134512640 135840783 4289319360 4289318720 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 526237 525474 349 325 0 525173 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 2104948
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7957
/proc/meminfo: memFree=25363800/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=2164336 CPUtime=1601.67 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 541264 0 0 0 160028 139 0 0 20 0 1 0 343102167 2216280064 540331 33554432000 134512640 135840783 4289319360 4289318720 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 541084 540331 349 325 0 540020 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 2164336
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7957
/proc/meminfo: memFree=25248880/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=2222280 CPUtime=1661.65 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 555774 0 0 0 166022 143 0 0 20 0 1 0 343102167 2275614720 554829 33554432000 134512640 135840783 4289319360 4289318720 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 555570 554829 349 325 0 554506 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 2222280
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7957
/proc/meminfo: memFree=25141276/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=2271120 CPUtime=1721.62 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 567996 0 0 0 172015 147 0 0 20 0 1 0 343102167 2325626880 567028 33554432000 134512640 135840783 4289319360 4289318720 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 567780 567028 349 325 0 566716 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 2271120
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7957
/proc/meminfo: memFree=25048552/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=2324100 CPUtime=1781.6 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 581242 0 0 0 178009 151 0 0 20 0 1 0 343102167 2379878400 580258 33554432000 134512640 135840783 4289319360 4289318496 2824874 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 581025 580258 349 325 0 579961 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 2324100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7957
/proc/meminfo: memFree=25013676/32873844 swapFree=7112/7112
[pid=7901] ppid=7899 vsize=2342432 CPUtime=1800.09 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo3.0.17) R 7899 7901 5948 0 -1 4202496 585832 0 0 0 179857 152 0 0 20 0 1 0 343102167 2398650368 584841 33554432000 134512640 135840783 4289319360 4289318720 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7901/statm: 585608 584841 349 325 0 584544 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2342432
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.86
CPU time (s): 1800.16
CPU user time (s): 1798.58
CPU system time (s): 1.58476
CPU usage (%): 99.961
Max. virtual memory (cumulated for all children) (KiB): 2342432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.58
system time used= 1.58476
maximum resident set size= 2339364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 585835
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= 535
involuntary context switches= 1844
runsolver used 3.9394 second user time and 9.52655 second system time
The end