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-3735377-1338704659/watcher-3735377-1338704659 -o /tmp/evaluation-result-3735377-1338704659/solver-3735377-1338704659 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3735377-1338704659.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: 2.00 2.00 2.00 3/174 28746
/proc/meminfo: memFree=28100004/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=4764 CPUtime=0 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 460 0 0 0 0 0 0 0 20 0 1 0 336591381 4878336 397 33554432000 134512640 135840783 4287055968 4287054800 11867431 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 1191 398 326 325 0 108 0
[startup+0.00637891 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 28746
/proc/meminfo: memFree=28100004/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=4764 CPUtime=0 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 467 0 0 0 0 0 0 0 20 0 1 0 336591381 4878336 404 33554432000 134512640 135840783 4287055968 4287054800 11867431 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 1191 404 327 325 0 108 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4764
[startup+0.100237 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 28746
/proc/meminfo: memFree=28100004/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=6224 CPUtime=0.09 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 894 0 0 0 9 0 0 0 20 0 1 0 336591381 6373376 812 33554432000 134512640 135840783 4287055968 4287047976 134584966 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 1556 812 350 325 0 492 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6224
[startup+0.300227 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 28746
/proc/meminfo: memFree=28100004/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=9768 CPUtime=0.28 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 1784 0 0 0 28 0 0 0 20 0 1 0 336591381 10002432 1702 33554432000 134512640 135840783 4287055968 4287048112 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 2442 1702 350 325 0 1378 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9768
[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 28746
/proc/meminfo: memFree=28100004/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=17116 CPUtime=0.68 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 3628 0 0 0 68 0 0 0 20 0 1 0 336591381 17526784 3546 33554432000 134512640 135840783 4287055968 4287047600 11867431 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 4279 3546 350 325 0 3215 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17116
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28747
/proc/meminfo: memFree=28081420/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=34104 CPUtime=1.48 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 7879 0 0 0 147 1 0 0 20 0 1 0 336591381 34922496 7797 33554432000 134512640 135840783 4287055968 4287048112 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 8526 7797 350 325 0 7462 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 34104
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28747
/proc/meminfo: memFree=28057612/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=53112 CPUtime=3.08 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 12618 0 0 0 306 2 0 0 20 0 1 0 336591381 54386688 12536 33554432000 134512640 135840783 4287055968 4287055328 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 13278 12536 350 325 0 12214 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 53112
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28747
/proc/meminfo: memFree=28046328/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=56912 CPUtime=6.28 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 13583 0 0 0 626 2 0 0 20 0 1 0 336591381 58277888 13501 33554432000 134512640 135840783 4287055968 4287048224 134547770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 14228 13501 350 325 0 13164 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 56912
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28747
/proc/meminfo: memFree=28041636/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=60432 CPUtime=12.68 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 14624 0 0 0 1266 2 0 0 20 0 1 0 336591381 61882368 14374 33554432000 134512640 135840783 4287055968 4287048544 134586550 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 15108 14374 350 325 0 14044 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60432
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28747
/proc/meminfo: memFree=28028524/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=71872 CPUtime=25.48 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 19234 0 0 0 2545 3 0 0 20 0 1 0 336591381 73596928 17245 33554432000 134512640 135840783 4287055968 4287049796 11862097 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 17968 17245 350 325 0 16904 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 71872
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28747
/proc/meminfo: memFree=28014140/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=81636 CPUtime=51.08 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 21672 0 0 0 5104 4 0 0 20 0 1 0 336591381 83595264 19677 33554432000 134512640 135840783 4287055968 4287055328 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 20409 19677 350 325 0 19345 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 81636
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 28747
/proc/meminfo: memFree=27987480/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=94388 CPUtime=102.28 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 24954 0 0 0 10224 4 0 0 20 0 1 0 336591381 96653312 22874 33554432000 134512640 135840783 4287055968 4287055280 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 23597 22874 350 325 0 22533 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 94388
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28747
/proc/meminfo: memFree=27966060/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=101856 CPUtime=162.26 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 27536 0 0 0 16222 4 0 0 20 0 1 0 336591381 104300544 24744 33554432000 134512640 135840783 4287055968 4287055320 10266832 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 25464 24744 350 325 0 24400 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 101856
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 28748
/proc/meminfo: memFree=27946504/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=109980 CPUtime=222.24 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 29698 0 0 0 22219 5 0 0 20 0 1 0 336591381 112619520 26775 33554432000 134512640 135840783 4287055968 4287055328 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 27495 26775 350 325 0 26431 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 109980
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28749
/proc/meminfo: memFree=27927896/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=114284 CPUtime=282.2 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 30867 0 0 0 28215 5 0 0 20 0 1 0 336591381 117026816 27851 33554432000 134512640 135840783 4287055968 4287055328 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 28571 27851 350 325 0 27507 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 114284
[startup+342.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 28752
/proc/meminfo: memFree=27901716/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=130300 CPUtime=342.19 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 34869 0 0 0 34213 6 0 0 20 0 1 0 336591381 133427200 31849 33554432000 134512640 135840783 4287055968 4287055264 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 32575 31849 350 325 0 31511 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 130300
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 28752
/proc/meminfo: memFree=27890936/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=131160 CPUtime=402.17 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 37099 0 0 0 40210 7 0 0 20 0 1 0 336591381 134307840 32070 33554432000 134512640 135840783 4287055968 4287055280 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 32790 32070 350 325 0 31726 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 131160
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28752
/proc/meminfo: memFree=27880900/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=132456 CPUtime=462.17 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 39172 0 0 0 46208 9 0 0 20 0 1 0 336591381 135634944 32394 33554432000 134512640 135840783 4287055968 4287048816 134573434 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 33114 32394 350 325 0 32050 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 132456
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28753
/proc/meminfo: memFree=27871176/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=132116 CPUtime=522.17 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 39174 0 0 0 52208 9 0 0 20 0 1 0 336591381 135286784 32309 33554432000 134512640 135840783 4287055968 4287055216 10662422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 33029 32309 350 325 0 31965 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 132116
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28753
/proc/meminfo: memFree=27852240/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=142596 CPUtime=582.14 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 43222 0 0 0 58205 9 0 0 20 0 1 0 336591381 146018304 34917 33554432000 134512640 135840783 4287055968 4287055280 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 35649 34917 350 325 0 34585 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 142596
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/175 28754
/proc/meminfo: memFree=27787932/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=152512 CPUtime=822.11 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 55097 0 0 0 82198 13 0 0 20 0 1 0 336591381 156172288 37408 33554432000 134512640 135840783 4287055968 4287047440 11866865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 38128 37408 350 325 0 37064 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 152512
[startup+882.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 28754
/proc/meminfo: memFree=27773304/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=153788 CPUtime=882.1 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 55408 0 0 0 88197 13 0 0 20 0 1 0 336591381 157478912 37719 33554432000 134512640 135840783 4287055968 4287055328 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 38447 37719 350 325 0 37383 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 153788
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28754
/proc/meminfo: memFree=27757120/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=153896 CPUtime=942.09 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 55451 0 0 0 94196 13 0 0 20 0 1 0 336591381 157589504 37754 33554432000 134512640 135840783 4287055968 4287055280 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 38474 37754 350 325 0 37410 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 153896
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28796
/proc/meminfo: memFree=28230424/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=153788 CPUtime=1002.08 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 55451 0 0 0 100195 13 0 0 20 0 1 0 336591381 157478912 37727 33554432000 134512640 135840783 4287055968 4287055280 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 38447 37727 350 325 0 37383 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 153788
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28796
/proc/meminfo: memFree=28223240/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=154140 CPUtime=1062.07 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 55535 0 0 0 106194 13 0 0 20 0 1 0 336591381 157839360 37811 33554432000 134512640 135840783 4287055968 4287055328 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 38535 37811 350 325 0 37471 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 154140
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28797
/proc/meminfo: memFree=28216584/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=154236 CPUtime=1122.06 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 55551 0 0 0 112193 13 0 0 20 0 1 0 336591381 157937664 37827 33554432000 134512640 135840783 4287055968 4287055280 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 38559 37827 350 325 0 37495 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 154236
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28797
/proc/meminfo: memFree=28209636/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=161056 CPUtime=1182.05 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 57292 0 0 0 118192 13 0 0 20 0 1 0 336591381 164921344 39544 33554432000 134512640 135840783 4287055968 4287055328 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40264 39544 350 325 0 39200 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 161056
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28797
/proc/meminfo: memFree=28203548/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=161052 CPUtime=1242.04 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 57292 0 0 0 124191 13 0 0 20 0 1 0 336591381 164917248 39543 33554432000 134512640 135840783 4287055968 4287055328 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40263 39543 350 325 0 39199 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 161052
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28797
/proc/meminfo: memFree=28203236/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=161012 CPUtime=1302.03 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 57293 0 0 0 130190 13 0 0 20 0 1 0 336591381 164876288 39533 33554432000 134512640 135840783 4287055968 4287055328 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40253 39533 350 325 0 39189 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 161012
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 28797
/proc/meminfo: memFree=28203856/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=160960 CPUtime=1362.02 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 57293 0 0 0 136189 13 0 0 20 0 1 0 336591381 164823040 39520 33554432000 134512640 135840783 4287055968 4287055328 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40240 39520 350 325 0 39176 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 160960
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 4/175 28798
/proc/meminfo: memFree=28203856/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=160960 CPUtime=1422.02 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 57293 0 0 0 142189 13 0 0 20 0 1 0 336591381 164823040 39520 33554432000 134512640 135840783 4287055968 4287055272 10266832 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40240 39520 350 325 0 39176 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 160960
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28798
/proc/meminfo: memFree=28203732/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=160960 CPUtime=1482 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 57293 0 0 0 148187 13 0 0 20 0 1 0 336591381 164823040 39520 33554432000 134512640 135840783 4287055968 4287055328 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40240 39520 350 325 0 39176 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 160960
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28801
/proc/meminfo: memFree=28203460/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=160960 CPUtime=1541.99 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 57293 0 0 0 154186 13 0 0 20 0 1 0 336591381 164823040 39520 33554432000 134512640 135840783 4287055968 4287055280 134551365 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40240 39520 350 325 0 39176 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 160960
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28801
/proc/meminfo: memFree=28203352/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=161528 CPUtime=1601.98 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 57455 0 0 0 160185 13 0 0 20 0 1 0 336591381 165404672 39662 33554432000 134512640 135840783 4287055968 4287055328 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40382 39662 350 325 0 39318 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 161528
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28801
/proc/meminfo: memFree=28202056/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=162308 CPUtime=1661.97 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 58016 0 0 0 166184 13 0 0 20 0 1 0 336591381 166203392 39857 33554432000 134512640 135840783 4287055968 4287055328 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40577 39857 350 325 0 39513 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 162308
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28802
/proc/meminfo: memFree=28202304/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=162244 CPUtime=1721.96 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 58016 0 0 0 172183 13 0 0 20 0 1 0 336591381 166137856 39841 33554432000 134512640 135840783 4287055968 4287055328 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40561 39841 350 325 0 39497 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 162244
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28802
/proc/meminfo: memFree=28201932/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=162244 CPUtime=1781.96 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 58198 0 0 0 178182 14 0 0 20 0 1 0 336591381 166137856 39841 33554432000 134512640 135840783 4287055968 4287055328 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40561 39841 350 325 0 39497 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 162244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28802
/proc/meminfo: memFree=28202180/32873852 swapFree=7624/7624
[pid=28746] ppid=28744 vsize=162244 CPUtime=1800.07 cores=1,3,5,7
/proc/28746/stat : 28746 (bsolo3.0.17) R 28744 28746 25229 0 -1 4202496 58198 0 0 0 179993 14 0 0 20 0 1 0 336591381 166137856 39841 33554432000 134512640 135840783 4287055968 4287055328 134551368 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28746/statm: 40561 39841 350 325 0 39497 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 162244
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.41
CPU time (s): 1800.07
CPU user time (s): 1799.93
CPU system time (s): 0.141978
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 163772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.141978
maximum resident set size= 160888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58201
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= 76
involuntary context switches= 1850
runsolver used 3.55246 second user time and 9.52355 second system time
The end