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-3737078-1338712150/watcher-3737078-1338712150 -o /tmp/evaluation-result-3737078-1338712150/solver-3737078-1338712150 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737078-1338712150.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.99 1.99 3/177 28717
/proc/meminfo: memFree=28000416/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4194304 195 0 0 0 0 0 0 0 20 0 1 0 337343564 4583424 146 33554432000 134512640 135840783 4288044512 4288043852 9688493 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 1119 146 128 325 0 39 0
[startup+0.01398 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 28717
/proc/meminfo: memFree=28000416/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=5456 CPUtime=0 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 655 0 0 0 0 0 0 0 20 0 1 0 337343564 5586944 592 33554432000 134512640 135840783 4288044512 4288043120 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 1364 593 338 325 0 279 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5456
[startup+0.100263 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 28717
/proc/meminfo: memFree=28000416/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=9508 CPUtime=0.08 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 1733 0 0 0 8 0 0 0 20 0 1 0 337343564 9736192 1626 33554432000 134512640 135840783 4288044512 4288038640 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 2377 1626 349 325 0 1313 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9508
[startup+0.300237 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 28717
/proc/meminfo: memFree=28000416/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=15160 CPUtime=0.28 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 3153 0 0 0 28 0 0 0 20 0 1 0 337343564 15523840 3046 33554432000 134512640 135840783 4288044512 4288038640 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 3790 3046 349 325 0 2726 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15160
[startup+0.700247 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 28717
/proc/meminfo: memFree=28000416/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=24612 CPUtime=0.68 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 5517 0 0 0 67 1 0 0 20 0 1 0 337343564 25202688 5410 33554432000 134512640 135840783 4288044512 4288038640 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 6153 5410 349 325 0 5089 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 24612
[startup+1.50026 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 28718
/proc/meminfo: memFree=27972640/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=41756 CPUtime=1.48 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 9802 0 0 0 146 2 0 0 20 0 1 0 337343564 42758144 9695 33554432000 134512640 135840783 4288044512 4288038608 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 10439 9695 349 325 0 9375 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 41756
[startup+3.10029 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 28718
/proc/meminfo: memFree=27953032/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=61456 CPUtime=3.08 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 14719 0 0 0 305 3 0 0 20 0 1 0 337343564 62930944 14612 33554432000 134512640 135840783 4288044512 4288043872 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 15364 14612 349 325 0 14300 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 61456
[startup+6.30028 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 28718
/proc/meminfo: memFree=27938276/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=64148 CPUtime=6.28 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 15392 0 0 0 625 3 0 0 20 0 1 0 337343564 65687552 15285 33554432000 134512640 135840783 4288044512 4288043872 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 16037 15285 349 325 0 14973 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 64148
[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 1.99 3/178 28719
/proc/meminfo: memFree=27931836/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=68484 CPUtime=12.68 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 16496 0 0 0 1265 3 0 0 20 0 1 0 337343564 70127616 16389 33554432000 134512640 135840783 4288044512 4288043872 134551428 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 17121 16390 349 325 0 16057 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 68484
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 28719
/proc/meminfo: memFree=27922280/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=71588 CPUtime=25.48 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 17877 0 0 0 2544 4 0 0 20 0 1 0 337343564 73306112 17149 33554432000 134512640 135840783 4288044512 4288043936 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 17897 17149 349 325 0 16833 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 71588
[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 28719
/proc/meminfo: memFree=27903632/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=74668 CPUtime=51.08 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 18663 0 0 0 5104 4 0 0 20 0 1 0 337343564 76460032 17935 33554432000 134512640 135840783 4288044512 4288043872 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 18667 17935 349 325 0 17603 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 74668
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/178 28722
/proc/meminfo: memFree=27867088/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=78048 CPUtime=102.27 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 19580 0 0 0 10223 4 0 0 20 0 1 0 337343564 79921152 18771 33554432000 134512640 135840783 4288044512 4288043872 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 19512 18771 349 325 0 18448 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 78048
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 28722
/proc/meminfo: memFree=27844184/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=81548 CPUtime=162.26 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 20519 0 0 0 16222 4 0 0 20 0 1 0 337343564 83505152 19657 33554432000 134512640 135840783 4288044512 4288043872 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 20387 19657 349 325 0 19323 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 81548
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 28722
/proc/meminfo: memFree=27840572/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=85652 CPUtime=222.22 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 21609 0 0 0 22217 5 0 0 20 0 1 0 337343564 87707648 20678 33554432000 134512640 135840783 4288044512 4288043872 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 21413 20678 349 325 0 20349 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 85652
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 28722
/proc/meminfo: memFree=27836232/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=89884 CPUtime=282.21 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 22736 0 0 0 28216 5 0 0 20 0 1 0 337343564 92041216 21737 33554432000 134512640 135840783 4288044512 4288043872 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 22471 21737 349 325 0 21407 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 89884
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 28723
/proc/meminfo: memFree=27827428/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=89900 CPUtime=342.2 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 22776 0 0 0 34215 5 0 0 20 0 1 0 337343564 92057600 21757 33554432000 134512640 135840783 4288044512 4288043872 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 22475 21757 349 325 0 21411 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 89900
[startup+402.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 28723
/proc/meminfo: memFree=27800496/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=89956 CPUtime=402.19 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 22786 0 0 0 40214 5 0 0 20 0 1 0 337343564 92114944 21755 33554432000 134512640 135840783 4288044512 4288043872 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 22489 21755 349 325 0 21425 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 89956
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 28723
/proc/meminfo: memFree=27777164/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=89764 CPUtime=462.18 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 23969 0 0 0 46212 6 0 0 20 0 1 0 337343564 91918336 21723 33554432000 134512640 135840783 4288044512 4288043872 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 22441 21723 349 325 0 21377 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 89764
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28723
/proc/meminfo: memFree=27755708/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=89656 CPUtime=522.17 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 23971 0 0 0 52211 6 0 0 20 0 1 0 337343564 91807744 21696 33554432000 134512640 135840783 4288044512 4288043872 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 22414 21696 349 325 0 21350 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 89656
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28723
/proc/meminfo: memFree=27740580/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=89432 CPUtime=582.16 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 23971 0 0 0 58210 6 0 0 20 0 1 0 337343564 91578368 21640 33554432000 134512640 135840783 4288044512 4288043872 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 22358 21640 349 325 0 21294 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 89432
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28727
/proc/meminfo: memFree=27735756/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=94632 CPUtime=822.12 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 25385 0 0 0 82206 6 0 0 20 0 1 0 337343564 96903168 22932 33554432000 134512640 135840783 4288044512 4288043872 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 23658 22932 349 325 0 22594 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 94632
[startup+882.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 28727
/proc/meminfo: memFree=27722488/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=94628 CPUtime=882.11 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 25391 0 0 0 88205 6 0 0 20 0 1 0 337343564 96899072 22933 33554432000 134512640 135840783 4288044512 4288043584 10246892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 23657 22933 349 325 0 22593 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 94628
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28728
/proc/meminfo: memFree=27682684/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=94572 CPUtime=942.1 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 25391 0 0 0 94204 6 0 0 20 0 1 0 337343564 96841728 22925 33554432000 134512640 135840783 4288044512 4288043872 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 23643 22925 349 325 0 22579 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 94572
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28728
/proc/meminfo: memFree=27660588/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=94652 CPUtime=1002.09 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 25441 0 0 0 100203 6 0 0 20 0 1 0 337343564 96923648 22931 33554432000 134512640 135840783 4288044512 4288043872 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 23663 22931 349 325 0 22599 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 94652
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28728
/proc/meminfo: memFree=27641492/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=99732 CPUtime=1062.09 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 26786 0 0 0 106202 7 0 0 20 0 1 0 337343564 102125568 24215 33554432000 134512640 135840783 4288044512 4288043872 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 24933 24215 349 325 0 23869 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 99732
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28728
/proc/meminfo: memFree=27641172/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=99732 CPUtime=1122.07 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 26791 0 0 0 112200 7 0 0 20 0 1 0 337343564 102125568 24215 33554432000 134512640 135840783 4288044512 4288043872 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 24933 24215 349 325 0 23869 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 99732
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28728
/proc/meminfo: memFree=27641048/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=99660 CPUtime=1182.06 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 26791 0 0 0 118199 7 0 0 20 0 1 0 337343564 102051840 24197 33554432000 134512640 135840783 4288044512 4288043872 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 24915 24197 349 325 0 23851 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 99660
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28729
/proc/meminfo: memFree=27641048/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=99716 CPUtime=1242.06 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 26826 0 0 0 124199 7 0 0 20 0 1 0 337343564 102109184 24211 33554432000 134512640 135840783 4288044512 4288038712 134585035 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 24929 24211 349 325 0 23865 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 99716
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28732
/proc/meminfo: memFree=27641040/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=99636 CPUtime=1302.05 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 26826 0 0 0 130198 7 0 0 20 0 1 0 337343564 102027264 24191 33554432000 134512640 135840783 4288044512 4288043872 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 24909 24191 349 325 0 23845 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 99636
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28732
/proc/meminfo: memFree=27635096/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=105600 CPUtime=1362.03 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 28339 0 0 0 136196 7 0 0 20 0 1 0 337343564 108134400 25681 33554432000 134512640 135840783 4288044512 4288043824 134550782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 26400 25681 349 325 0 25336 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 105600
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28732
/proc/meminfo: memFree=27635592/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=105572 CPUtime=1422.03 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 28348 0 0 0 142196 7 0 0 20 0 1 0 337343564 108105728 25661 33554432000 134512640 135840783 4288044512 4288043824 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 26393 25661 349 325 0 25329 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 105572
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 28732
/proc/meminfo: memFree=27635712/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=105456 CPUtime=1482.01 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 28385 0 0 0 148194 7 0 0 20 0 1 0 337343564 107986944 25645 33554432000 134512640 135840783 4288044512 4288043872 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 26364 25645 349 325 0 25300 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 105456
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28733
/proc/meminfo: memFree=27635588/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=105096 CPUtime=1542 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 28398 0 0 0 154193 7 0 0 20 0 1 0 337343564 107618304 25555 33554432000 134512640 135840783 4288044512 4288043872 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 26274 25555 349 325 0 25210 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 105096
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28733
/proc/meminfo: memFree=27631372/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=103688 CPUtime=1601.99 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 28398 0 0 0 160192 7 0 0 20 0 1 0 337343564 106176512 25203 33554432000 134512640 135840783 4288044512 4288039120 134573452 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 25922 25203 349 325 0 24858 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 103688
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28733
/proc/meminfo: memFree=27631248/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=103688 CPUtime=1661.98 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 28398 0 0 0 166191 7 0 0 20 0 1 0 337343564 106176512 25203 33554432000 134512640 135840783 4288044512 4288038864 10251872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 25922 25203 349 325 0 24858 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 103688
[startup+1722.3 s]
/proc/loadavg: 1.37 1.82 1.94 2/171 28758
/proc/meminfo: memFree=28081100/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=103688 CPUtime=1721.98 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 28398 0 0 0 172191 7 0 0 20 0 1 0 337343564 106176512 25203 33554432000 134512640 135840783 4288044512 4288043872 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 25922 25203 349 325 0 24858 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 103688
[startup+1782.3 s]
/proc/loadavg: 1.13 1.66 1.87 2/171 28758
/proc/meminfo: memFree=28080852/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=103688 CPUtime=1781.97 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 28398 0 0 0 178190 7 0 0 20 0 1 0 337343564 106176512 25203 33554432000 134512640 135840783 4288044512 4288043808 134572691 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 25922 25203 349 325 0 24858 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 103688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.09 1.62 1.85 2/171 28758
/proc/meminfo: memFree=28080852/32873844 swapFree=7116/7116
[pid=28717] ppid=28715 vsize=103688 CPUtime=1800.07 cores=1,3,5,7
/proc/28717/stat : 28717 (bsolo3.0.17) R 28715 28717 24661 0 -1 4202496 28398 0 0 0 180000 7 0 0 20 0 1 0 337343564 106176512 25203 33554432000 134512640 135840783 4288044512 4288043872 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28717/statm: 25922 25203 349 325 0 24858 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 103688
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.08
CPU user time (s): 1800.01
CPU system time (s): 0.078987
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 105700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.078987
maximum resident set size= 102816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28401
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= 61
involuntary context switches= 1852
runsolver used 3.90141 second user time and 9.72352 second system time
The end