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-3730758-1338681481/watcher-3730758-1338681481 -o /tmp/evaluation-result-3730758-1338681481/solver-3730758-1338681481 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3730758-1338681481.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.01 2.01 1.90 3/176 24425
/proc/meminfo: memFree=26211476/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=12148 CPUtime=0 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 471 0 0 0 0 0 0 0 20 0 1 0 334275482 12439552 407 33554432000 134512640 135840783 4293465632 4293464336 8856871 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 3037 407 328 325 0 108 0
[startup+0.0277599 s]
/proc/loadavg: 2.01 2.01 1.90 3/176 24425
/proc/meminfo: memFree=26211476/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=13252 CPUtime=0.02 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 821 0 0 0 2 0 0 0 20 0 1 0 334275482 13570048 757 33554432000 134512640 135840783 4293465632 4293464624 134525286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 3313 758 392 325 0 384 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13252
[startup+0.100263 s]
/proc/loadavg: 2.01 2.01 1.90 3/176 24425
/proc/meminfo: memFree=26211476/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=17092 CPUtime=0.09 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 1981 0 0 0 9 0 0 0 20 0 1 0 334275482 17502208 1917 33554432000 134512640 135840783 4293465632 4293464320 8856871 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 4273 1919 607 325 0 1344 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17092
[startup+0.300275 s]
/proc/loadavg: 2.01 2.01 1.90 3/176 24425
/proc/meminfo: memFree=26211476/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=26596 CPUtime=0.29 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 4989 0 0 0 29 0 0 0 20 0 1 0 334275482 27234304 4806 33554432000 134512640 135840783 4293465632 4293464320 8856871 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 6649 4806 1160 325 0 3720 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26596
[startup+0.700266 s]
/proc/loadavg: 2.01 2.01 1.90 3/176 24425
/proc/meminfo: memFree=26211476/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=42724 CPUtime=0.69 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 11873 0 0 0 68 1 0 0 20 0 1 0 334275482 43749376 9619 33554432000 134512640 135840783 4293465632 4293464720 8856871 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 10681 9624 338 325 0 9617 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42724
[startup+1.50031 s]
/proc/loadavg: 2.01 2.01 1.90 3/177 24426
/proc/meminfo: memFree=26162884/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=54940 CPUtime=1.49 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 14819 0 0 0 148 1 0 0 20 0 1 0 334275482 56258560 12565 33554432000 134512640 135840783 4293465632 4292485880 14369288 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 13735 12565 342 325 0 12671 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54940
[startup+3.10031 s]
/proc/loadavg: 2.01 2.01 1.90 3/177 24426
/proc/meminfo: memFree=26162140/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=55072 CPUtime=3.09 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 14877 0 0 0 307 2 0 0 20 0 1 0 334275482 56393728 12623 33554432000 134512640 135840783 4293465632 4292486000 134583223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 13768 12623 342 325 0 12704 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55072
[startup+6.30031 s]
/proc/loadavg: 2.09 2.02 1.91 3/177 24426
/proc/meminfo: memFree=26161900/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=55204 CPUtime=6.29 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 14895 0 0 0 627 2 0 0 20 0 1 0 334275482 56528896 12641 33554432000 134512640 135840783 4293465632 4292486028 12383280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 13801 12641 342 325 0 12737 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55204
[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 1.91 3/177 24426
/proc/meminfo: memFree=26161848/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=55204 CPUtime=12.69 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 14900 0 0 0 1267 2 0 0 20 0 1 0 334275482 56528896 12646 33554432000 134512640 135840783 4293465632 4292485556 8843516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 13801 12646 342 325 0 12737 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55204
[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 1.91 3/177 24426
/proc/meminfo: memFree=26161856/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=55600 CPUtime=25.49 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 15007 0 0 0 2546 3 0 0 20 0 1 0 334275482 56934400 12753 33554432000 134512640 135840783 4293465632 4292486048 134551975 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 13900 12753 342 325 0 12836 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55600
[startup+51.1004 s]
/proc/loadavg: 2.04 2.02 1.91 3/177 24426
/proc/meminfo: memFree=26161856/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=55600 CPUtime=51.08 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 15007 0 0 0 5105 3 0 0 20 0 1 0 334275482 56934400 12753 33554432000 134512640 135840783 4293465632 4292486084 134583012 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 13900 12753 342 325 0 12836 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 55600
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 24426
/proc/meminfo: memFree=26160864/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=55996 CPUtime=102.27 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 15110 0 0 0 10223 4 0 0 20 0 1 0 334275482 57339904 12856 33554432000 134512640 135840783 4293465632 4292485888 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 13999 12856 342 325 0 12935 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 55996
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/178 24429
/proc/meminfo: memFree=26161072/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=56260 CPUtime=162.26 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 15187 0 0 0 16219 7 0 0 20 0 1 0 334275482 57610240 12933 33554432000 134512640 135840783 4293465632 4292485940 8862283 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 14065 12933 342 325 0 13001 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 56260
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 24453
/proc/meminfo: memFree=26155896/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=61416 CPUtime=222.24 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 16682 0 0 0 22215 9 0 0 20 0 1 0 334275482 62889984 14321 33554432000 134512640 135840783 4293465632 4293463028 8843618 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 15354 14321 346 325 0 14290 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 61416
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 24453
/proc/meminfo: memFree=26142512/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=71348 CPUtime=282.22 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 19147 0 0 0 28212 10 0 0 20 0 1 0 334275482 73060352 16786 33554432000 134512640 135840783 4293465632 4293464992 134551200 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 17837 16786 346 325 0 16773 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 71348
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 24453
/proc/meminfo: memFree=26080888/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=90608 CPUtime=342.22 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 23962 0 0 0 34209 13 0 0 20 0 1 0 334275482 92782592 21601 33554432000 134512640 135840783 4293465632 4293464768 8854430 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 22652 21601 346 325 0 21588 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 90608
[startup+402.3 s]
/proc/loadavg: 2.06 2.01 1.91 3/177 24453
/proc/meminfo: memFree=26020500/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=112720 CPUtime=402.21 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 29489 0 0 0 40205 16 0 0 20 0 1 0 334275482 115425280 27128 33554432000 134512640 135840783 4293465632 4293464660 8843613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 28180 27128 346 325 0 27116 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 112720
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 24453
/proc/meminfo: memFree=25961972/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=130140 CPUtime=462.19 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 33852 0 0 0 46201 18 0 0 20 0 1 0 334275482 133263360 31491 33554432000 134512640 135840783 4293465632 4293464928 134571866 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 32535 31491 346 325 0 31471 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 130140
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/177 24454
/proc/meminfo: memFree=25929236/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=156516 CPUtime=522.19 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 40451 0 0 0 52197 22 0 0 20 0 1 0 334275482 160272384 38090 33554432000 134512640 135840783 4293465632 4293464720 8854788 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 39129 38090 346 325 0 38065 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 156516
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 24454
/proc/meminfo: memFree=25909024/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=176536 CPUtime=582.18 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 45463 0 0 0 58193 25 0 0 20 0 1 0 334275482 180772864 43102 33554432000 134512640 135840783 4293465632 4293464992 134550921 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 44134 43102 346 325 0 43070 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 176536
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24458
/proc/meminfo: memFree=25858564/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=226960 CPUtime=882.07 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 58127 0 0 0 88172 35 0 0 20 0 1 0 334275482 232407040 55690 33554432000 134512640 135840783 4293465632 4293464992 134551318 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 56740 55690 346 325 0 55676 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 226960
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24458
/proc/meminfo: memFree=25841328/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=244692 CPUtime=942.06 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 62558 0 0 0 94168 38 0 0 20 0 1 0 334275482 250564608 60121 33554432000 134512640 135840783 4293465632 4293464928 134571806 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 61173 60121 346 325 0 60109 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 244692
[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 24458
/proc/meminfo: memFree=25825704/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=260092 CPUtime=1002.06 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 66413 0 0 0 100165 41 0 0 20 0 1 0 334275482 266334208 63976 33554432000 134512640 135840783 4293465632 4293464992 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 65023 63976 346 325 0 63959 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 260092
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 24458
/proc/meminfo: memFree=25795820/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=289912 CPUtime=1062.04 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 73858 0 0 0 106160 44 0 0 20 0 1 0 334275482 296869888 71421 33554432000 134512640 135840783 4293465632 4293464992 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 72478 71421 346 325 0 71414 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 289912
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 24459
/proc/meminfo: memFree=25772388/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=310812 CPUtime=1122.03 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 79108 0 0 0 112157 46 0 0 20 0 1 0 334275482 318271488 76671 33554432000 134512640 135840783 4293465632 4293456688 8854788 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 77736 76674 346 325 0 76672 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 310812
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24459
/proc/meminfo: memFree=25720184/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=326336 CPUtime=1182.02 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 82981 0 0 0 118154 48 0 0 20 0 1 0 334275482 334168064 80544 33554432000 134512640 135840783 4293465632 4293464992 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 81584 80544 346 325 0 80520 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 326336
[startup+1242.3 s]
/proc/loadavg: 1.95 1.98 1.92 3/177 24536
/proc/meminfo: memFree=26457424/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=353492 CPUtime=1242.02 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 89757 0 0 0 124150 52 0 0 20 0 1 0 334275482 361975808 87320 33554432000 134512640 135840783 4293465632 4293464768 8854430 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 88373 87320 346 325 0 87309 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 353492
[startup+1302.3 s]
/proc/loadavg: 1.98 1.98 1.92 3/177 24536
/proc/meminfo: memFree=26309740/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=374000 CPUtime=1302.01 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 94894 0 0 0 130147 54 0 0 20 0 1 0 334275482 382976000 92457 33554432000 134512640 135840783 4293465632 4293464992 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 93500 92457 346 325 0 92436 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 374000
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/178 24539
/proc/meminfo: memFree=26270928/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=409808 CPUtime=1361.99 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 103850 0 0 0 136141 58 0 0 20 0 1 0 334275482 419643392 101390 33554432000 134512640 135840783 4293465632 4293464992 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 102452 101390 346 325 0 101388 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 409808
[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.92 3/177 24540
/proc/meminfo: memFree=26209956/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=434040 CPUtime=1421.95 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 109974 0 0 0 142135 60 0 0 20 0 1 0 334275482 444456960 107467 33554432000 134512640 135840783 4293465632 4293464992 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 108510 107467 346 325 0 107446 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 434040
[startup+1482.3 s]
/proc/loadavg: 2.04 2.00 1.93 3/177 24540
/proc/meminfo: memFree=26165040/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=455432 CPUtime=1481.9 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 115365 0 0 0 148129 61 0 0 20 0 1 0 334275482 466362368 112818 33554432000 134512640 135840783 4293465632 4293464992 134550624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 113858 112818 346 325 0 112794 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 455432
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 24540
/proc/meminfo: memFree=26147524/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=473096 CPUtime=1541.9 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 119787 0 0 0 154127 63 0 0 20 0 1 0 334275482 484450304 117240 33554432000 134512640 135840783 4293465632 4293464992 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 118274 117240 346 325 0 117210 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 473096
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24540
/proc/meminfo: memFree=26137508/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=483216 CPUtime=1601.89 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 122323 0 0 0 160125 64 0 0 20 0 1 0 334275482 494813184 119776 33554432000 134512640 135840783 4293465632 4293464992 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 120804 119776 346 325 0 119740 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 483216
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24540
/proc/meminfo: memFree=26112092/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=492208 CPUtime=1661.88 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 124570 0 0 0 166122 66 0 0 20 0 1 0 334275482 504020992 122023 33554432000 134512640 135840783 4293465632 4293464992 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 123052 122023 346 325 0 121988 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 492208
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 24542
/proc/meminfo: memFree=26103900/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=500812 CPUtime=1721.87 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 126720 0 0 0 172120 67 0 0 20 0 1 0 334275482 512831488 124173 33554432000 134512640 135840783 4293465632 4293464868 8851485 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 125203 124173 346 325 0 124139 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 500812
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 24542
/proc/meminfo: memFree=26094484/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=509680 CPUtime=1781.86 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 128917 0 0 0 178118 68 0 0 20 0 1 0 334275482 521912320 126370 33554432000 134512640 135840783 4293465632 4293464992 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 127420 126370 346 325 0 126356 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 509680
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 24542
/proc/meminfo: memFree=26091012/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=513380 CPUtime=1800.06 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 129849 0 0 0 179937 69 0 0 20 0 1 0 334275482 525701120 127302 33554432000 134512640 135840783 4293465632 4293464992 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 128345 127302 346 325 0 127281 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 513380
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.01 2.00 1.93 3/177 24542
/proc/meminfo: memFree=26091012/32873648 swapFree=7120/7120
[pid=24425] ppid=24423 vsize=513380 CPUtime=1800.06 cores=1,3,5,7
/proc/24425/stat : 24425 (bsolo3.0.17) R 24423 24425 23594 0 -1 4202496 129849 0 0 0 179937 69 0 0 20 0 1 0 334275482 525701120 127302 33554432000 134512640 135840783 4293465632 4293464992 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24425/statm: 128345 127302 346 325 0 127281 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 513380
Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.38
CPU system time (s): 0.701893
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 513380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.701893
maximum resident set size= 509208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129852
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= 216
involuntary context switches= 1847
runsolver used 3.78043 second user time and 9.17361 second system time
The end