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-3732406-1338689830/watcher-3732406-1338689830 -o /tmp/evaluation-result-3732406-1338689830/solver-3732406-1338689830 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3732406-1338689830.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.93 1.98 1.99 3/178 8890
/proc/meminfo: memFree=28814196/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=12860 CPUtime=0 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 477 0 0 0 0 0 0 0 20 0 1 0 335107789 13168640 414 33554432000 134512640 135840783 4287145280 4287143792 7734567 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3215 415 328 325 0 2062 0
[startup+0.101853 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 8890
/proc/meminfo: memFree=28814196/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=6148 CPUtime=0.09 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 1689 0 0 0 9 0 0 0 20 0 1 0 335107789 6295552 835 33554432000 134512640 135840783 4287145280 4287143936 135467970 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 1573 843 369 325 0 509 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6148
[startup+0.200283 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 8890
/proc/meminfo: memFree=28814196/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=8400 CPUtime=0.18 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 5230 0 0 0 18 0 0 0 20 0 1 0 335107789 8601600 1064 33554432000 134512640 135840783 4287145280 4287143452 135313376 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2100 1064 431 325 0 1036 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8400
[startup+0.300287 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 8890
/proc/meminfo: memFree=28814196/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=8516 CPUtime=0.29 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 9138 0 0 0 28 1 0 0 20 0 1 0 335107789 8720384 1079 33554432000 134512640 135840783 4287145280 4287142240 7734449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2129 1079 431 325 0 1065 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8516
[startup+0.700219 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 8890
/proc/meminfo: memFree=28814196/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=6304 CPUtime=0.69 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 28097 0 0 0 66 3 0 0 20 0 1 0 335107789 6455296 905 33554432000 134512640 135840783 4287145280 4287143824 135447564 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 1576 905 431 325 0 512 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6304
[startup+1.50021 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 8891
/proc/meminfo: memFree=28811592/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=8332 CPUtime=1.49 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 65847 0 0 0 140 9 0 0 20 0 1 0 335107789 8531968 1041 33554432000 134512640 135840783 4287145280 4287143800 135308447 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2083 1041 431 325 0 1019 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8332
[startup+3.10021 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 8891
/proc/meminfo: memFree=28809964/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=8816 CPUtime=3.09 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 99774 0 0 0 296 13 0 0 20 0 1 0 335107789 9027584 1535 33554432000 134512640 135840783 4287145280 4287142080 135265788 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2204 1535 431 325 0 1140 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8816
[startup+6.30021 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 8891
/proc/meminfo: memFree=28808972/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=9276 CPUtime=6.29 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 99853 0 0 0 616 13 0 0 20 0 1 0 335107789 9498624 1614 33554432000 134512640 135840783 4287145280 4287142080 135267277 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2319 1614 431 325 0 1255 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9276
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 8891
/proc/meminfo: memFree=28807648/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=10396 CPUtime=12.68 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 101504 0 0 0 1255 13 0 0 20 0 1 0 335107789 10645504 1843 33554432000 134512640 135840783 4287145280 4287142416 134801995 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2599 1843 431 325 0 1535 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10396
[startup+25.5002 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 8891
/proc/meminfo: memFree=28807708/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=10792 CPUtime=25.49 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 104555 0 0 0 2535 14 0 0 20 0 1 0 335107789 11051008 1901 33554432000 134512640 135840783 4287145280 4287143536 135254164 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2698 1901 431 325 0 1634 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10792
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8891
/proc/meminfo: memFree=28807832/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=11396 CPUtime=51.08 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 181596 0 0 0 5075 33 0 0 20 0 1 0 335107789 11669504 1918 33554432000 134512640 135840783 4287145280 4287143792 7734449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2849 1918 431 325 0 1785 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11396
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8931
/proc/meminfo: memFree=28838244/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=11140 CPUtime=102.28 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 764857 0 0 0 10084 144 0 0 20 0 1 0 335107789 11407360 1923 33554432000 134512640 135840783 4287145280 4287141740 135245565 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2785 1924 431 325 0 1721 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11140
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8931
/proc/meminfo: memFree=28836692/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=11640 CPUtime=162.26 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 1386051 0 0 0 15962 264 0 0 20 0 1 0 335107789 11919360 1931 33554432000 134512640 135840783 4287145280 4287142240 7734567 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 2910 1931 431 325 0 1846 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 11640
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8934
/proc/meminfo: memFree=28836000/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=12116 CPUtime=222.26 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 1896239 0 0 0 21877 349 0 0 20 0 1 0 335107789 12406784 2266 33554432000 134512640 135840783 4287145280 4287142368 135345304 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3029 2266 431 325 0 1965 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 12116
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8934
/proc/meminfo: memFree=28835388/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=12572 CPUtime=282.24 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 1896398 0 0 0 27875 349 0 0 20 0 1 0 335107789 12873728 2425 33554432000 134512640 135840783 4287145280 4287141760 135261504 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3143 2425 431 325 0 2079 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 12572
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8934
/proc/meminfo: memFree=28835076/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=12728 CPUtime=342.23 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 1896420 0 0 0 33874 349 0 0 20 0 1 0 335107789 13033472 2500 33554432000 134512640 135840783 4287145280 4287143264 9959039 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3182 2500 431 325 0 2118 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 12728
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8935
/proc/meminfo: memFree=28832540/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=13048 CPUtime=402.23 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 1917730 0 0 0 39869 354 0 0 20 0 1 0 335107789 13361152 2503 33554432000 134512640 135840783 4287145280 4287143824 135447520 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3262 2503 431 325 0 2198 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 13048
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9049
/proc/meminfo: memFree=28825340/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=12868 CPUtime=462.21 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 2014446 0 0 0 45845 376 0 0 20 0 1 0 335107789 13176832 2514 33554432000 134512640 135840783 4287145280 4287142080 135267334 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3217 2514 431 325 0 2153 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 12868
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9049
/proc/meminfo: memFree=28818636/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=12276 CPUtime=522.21 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 2219704 0 0 0 51798 423 0 0 20 0 1 0 335107789 12570624 2380 33554432000 134512640 135840783 4287145280 4287142096 7734449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3069 2380 431 325 0 2005 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 12276
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9049
/proc/meminfo: memFree=28815468/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=12676 CPUtime=582.2 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 2313703 0 0 0 57776 444 0 0 20 0 1 0 335107789 12980224 2383 33554432000 134512640 135840783 4287145280 4287141792 135255738 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3169 2383 431 325 0 2105 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 12676
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9053
/proc/meminfo: memFree=28807328/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=13732 CPUtime=822.16 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 3401226 0 0 0 81535 681 0 0 20 0 1 0 335107789 14061568 2485 33554432000 134512640 135840783 4287145280 4287142240 7734449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3433 2485 431 325 0 2369 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 13732
[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9053
/proc/meminfo: memFree=28807520/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=13744 CPUtime=882.16 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 3957018 0 0 0 87427 789 0 0 20 0 1 0 335107789 14073856 2467 33554432000 134512640 135840783 4287145280 4287144048 135336330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3436 2467 431 325 0 2372 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 13744
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9053
/proc/meminfo: memFree=28807580/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=13276 CPUtime=942.14 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 4599798 0 0 0 93304 910 0 0 20 0 1 0 335107789 13594624 2460 33554432000 134512640 135840783 4287145280 4287143184 135275248 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3319 2460 431 325 0 2255 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 13276
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9054
/proc/meminfo: memFree=28806524/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=14192 CPUtime=1002.14 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 4977874 0 0 0 99246 968 0 0 20 0 1 0 335107789 14532608 2831 33554432000 134512640 135840783 4287145280 4287143568 134694629 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3548 2831 431 325 0 2484 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 14192
[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 9054
/proc/meminfo: memFree=28806648/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=14088 CPUtime=1062.13 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 5165591 0 0 0 105203 1010 0 0 20 0 1 0 335107789 14426112 2678 33554432000 134512640 135840783 4287145280 4287143452 135313361 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3522 2679 431 325 0 2458 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 14088
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 9055
/proc/meminfo: memFree=28807508/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=13696 CPUtime=1122.11 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 5613419 0 0 0 111112 1099 0 0 20 0 1 0 335107789 14024704 2470 33554432000 134512640 135840783 4287145280 4287143792 7734449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3424 2470 431 325 0 2360 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 13696
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9055
/proc/meminfo: memFree=28803108/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=13748 CPUtime=1182.1 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 6471298 0 0 0 116961 1249 0 0 20 0 1 0 335107789 14077952 2473 33554432000 134512640 135840783 4287145280 4287143792 7734567 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3437 2473 431 325 0 2373 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 13748
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9055
/proc/meminfo: memFree=28801184/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=14792 CPUtime=1242.1 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7279997 0 0 0 122830 1380 0 0 20 0 1 0 335107789 15147008 3000 33554432000 134512640 135840783 4287145280 4287142304 135188120 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3698 3000 431 325 0 2634 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 14792
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9056
/proc/meminfo: memFree=28800808/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15276 CPUtime=1302.09 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7280115 0 0 0 128829 1380 0 0 20 0 1 0 335107789 15642624 3116 33554432000 134512640 135840783 4287145280 4287142332 134687736 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3819 3116 431 325 0 2755 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 15276
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9056
/proc/meminfo: memFree=28800684/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15596 CPUtime=1362.08 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7280211 0 0 0 134828 1380 0 0 20 0 1 0 335107789 15970304 3212 33554432000 134512640 135840783 4287145280 4287141792 135255509 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3899 3212 431 325 0 2835 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 15596
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9059
/proc/meminfo: memFree=28800800/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15596 CPUtime=1422.07 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7280220 0 0 0 140827 1380 0 0 20 0 1 0 335107789 15970304 3221 33554432000 134512640 135840783 4287145280 4287143968 134801064 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3899 3221 431 325 0 2835 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 15596
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9059
/proc/meminfo: memFree=28800436/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15596 CPUtime=1482.06 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7280226 0 0 0 146826 1380 0 0 20 0 1 0 335107789 15970304 3227 33554432000 134512640 135840783 4287145280 4287144144 134783900 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3899 3227 431 325 0 2835 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 15596
[startup+1542.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 9059
/proc/meminfo: memFree=28800560/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15596 CPUtime=1542.06 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7280229 0 0 0 152826 1380 0 0 20 0 1 0 335107789 15970304 3230 33554432000 134512640 135840783 4287145280 4287143568 134694631 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3899 3230 431 325 0 2835 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 15596
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 9060
/proc/meminfo: memFree=28800560/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15596 CPUtime=1602.04 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7280230 0 0 0 158824 1380 0 0 20 0 1 0 335107789 15970304 3231 33554432000 134512640 135840783 4287145280 4287143648 7732442 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3899 3231 431 325 0 2835 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 15596
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9060
/proc/meminfo: memFree=28800560/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15816 CPUtime=1662.03 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7280250 0 0 0 164823 1380 0 0 20 0 1 0 335107789 16195584 3251 33554432000 134512640 135840783 4287145280 4287142208 134694618 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3954 3251 431 325 0 2890 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 15816
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9060
/proc/meminfo: memFree=28794540/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15824 CPUtime=1722.02 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7283270 0 0 0 170822 1380 0 0 20 0 1 0 335107789 16203776 3208 33554432000 134512640 135840783 4287145280 4287143712 135333516 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3956 3208 431 325 0 2892 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 15824
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 9060
/proc/meminfo: memFree=28794416/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15896 CPUtime=1782.01 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7290408 0 0 0 176819 1382 0 0 20 0 1 0 335107789 16277504 3247 33554432000 134512640 135840783 4287145280 4287143408 134700404 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3974 3247 431 325 0 2910 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 15896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 9060
/proc/meminfo: memFree=28794540/32873844 swapFree=7380/7380
[pid=8890] ppid=8888 vsize=15892 CPUtime=1800.02 cores=1,3,5,7
/proc/8890/stat : 8890 (bsolo3.0.17) R 8888 8890 7079 0 -1 4202496 7295085 0 0 0 178618 1384 0 0 20 0 1 0 335107789 16273408 3250 33554432000 134512640 135840783 4287145280 4287143580 135331819 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8890/statm: 3973 3250 431 325 0 2909 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 15892
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.31
CPU time (s): 1800.03
CPU user time (s): 1786.19
CPU system time (s): 13.8429
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 15996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.19
system time used= 13.8429
maximum resident set size= 13164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7295087
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= 20
involuntary context switches= 1974
runsolver used 3.2605 second user time and 8.17576 second system time
The end