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-3737408-1338719149/watcher-3737408-1338719149 -o /tmp/evaluation-result-3737408-1338719149/solver-3737408-1338719149 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737408-1338719149.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.96 3/176 18873
/proc/meminfo: memFree=30512400/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4194304 194 0 0 0 0 0 0 0 20 0 1 0 338040730 4583424 144 33554432000 134512640 135840783 4286692672 4286691640 5762376 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 1119 148 130 325 0 39 0
[startup+0.0530459 s]
/proc/loadavg: 1.92 1.98 1.96 3/176 18873
/proc/meminfo: memFree=30512400/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=11672 CPUtime=0.04 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 2243 0 0 0 4 0 0 0 20 0 1 0 338040730 11952128 2131 33554432000 134512640 135840783 4286692672 4286527964 16200752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 2918 2131 345 325 0 1854 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11672
[startup+0.100248 s]
/proc/loadavg: 1.92 1.98 1.96 3/176 18873
/proc/meminfo: memFree=30512400/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=11672 CPUtime=0.09 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 2248 0 0 0 9 0 0 0 20 0 1 0 338040730 11952128 2136 33554432000 134512640 135840783 4286692672 4286527600 1579756 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 2918 2136 345 325 0 1854 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11672
[startup+0.300199 s]
/proc/loadavg: 1.92 1.98 1.96 3/176 18873
/proc/meminfo: memFree=30512400/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=11672 CPUtime=0.29 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 2249 0 0 0 29 0 0 0 20 0 1 0 338040730 11952128 2137 33554432000 134512640 135840783 4286692672 4286527824 134551727 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 2918 2137 345 325 0 1854 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11672
[startup+0.700193 s]
/proc/loadavg: 1.92 1.98 1.96 3/176 18873
/proc/meminfo: memFree=30512400/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=11672 CPUtime=0.68 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 2249 0 0 0 68 0 0 0 20 0 1 0 338040730 11952128 2137 33554432000 134512640 135840783 4286692672 4286527936 134583223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 2918 2137 345 325 0 1854 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11672
[startup+1.5002 s]
/proc/loadavg: 1.92 1.98 1.96 3/177 18874
/proc/meminfo: memFree=30505572/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=11672 CPUtime=1.48 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 2249 0 0 0 148 0 0 0 20 0 1 0 338040730 11952128 2137 33554432000 134512640 135840783 4286692672 4286527600 1579748 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 2918 2137 345 325 0 1854 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11672
[startup+3.1002 s]
/proc/loadavg: 1.92 1.98 1.96 3/177 18874
/proc/meminfo: memFree=30504952/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=12248 CPUtime=3.09 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 2854 0 0 0 307 2 0 0 20 0 1 0 338040730 12541952 2313 33554432000 134512640 135840783 4286692672 4286691968 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 3062 2313 351 325 0 1998 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12248
[startup+6.30024 s]
/proc/loadavg: 1.93 1.98 1.96 3/177 18874
/proc/meminfo: memFree=30495204/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=29776 CPUtime=6.29 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 7240 0 0 0 626 3 0 0 20 0 1 0 338040730 30490624 6699 33554432000 134512640 135840783 4286692672 4286692024 14506187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 7444 6699 351 325 0 6380 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29776
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.96 3/176 18874
/proc/meminfo: memFree=30472200/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=44524 CPUtime=12.68 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 10940 0 0 0 1265 3 0 0 20 0 1 0 338040730 45592576 10399 33554432000 134512640 135840783 4286692672 4286691844 1577073 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 11131 10399 351 325 0 10067 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44524
[startup+25.5011 s]
/proc/loadavg: 1.95 1.98 1.96 3/177 18875
/proc/meminfo: memFree=30439860/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=75832 CPUtime=25.48 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 18756 0 0 0 2543 5 0 0 20 0 1 0 338040730 77651968 18211 33554432000 134512640 135840783 4286692672 4286692032 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 18958 18211 351 325 0 17894 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 75832
[startup+51.1003 s]
/proc/loadavg: 1.90 1.97 1.95 3/177 18914
/proc/meminfo: memFree=30352644/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=141272 CPUtime=51.06 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 35142 0 0 0 5097 9 0 0 20 0 1 0 338040730 144662528 34573 33554432000 134512640 135840783 4286692672 4286691968 134572646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 35318 34573 351 325 0 34254 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 141272
[startup+102.307 s]
/proc/loadavg: 1.95 1.97 1.95 3/178 18915
/proc/meminfo: memFree=30060296/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=287392 CPUtime=102.24 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 71698 0 0 0 10208 16 0 0 20 0 1 0 338040730 294289408 71100 33554432000 134512640 135840783 4286692672 4286691968 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 71848 71100 351 325 0 70784 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 287392
[startup+162.3 s]
/proc/loadavg: 1.98 1.97 1.95 3/177 18915
/proc/meminfo: memFree=29778108/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=477660 CPUtime=162.2 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 119326 0 0 0 16194 26 0 0 20 0 1 0 338040730 489123840 118688 33554432000 134512640 135840783 4286692672 4286691968 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 119415 118688 351 325 0 118351 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 477660
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 18915
/proc/meminfo: memFree=29491080/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=682032 CPUtime=222.16 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 170445 0 0 0 22178 38 0 0 20 0 1 0 338040730 698400768 169770 33554432000 134512640 135840783 4286692672 4286691968 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 170508 169770 351 325 0 169444 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 682032
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/178 18918
/proc/meminfo: memFree=29201568/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=929788 CPUtime=282.13 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 232426 0 0 0 28162 51 0 0 20 0 1 0 338040730 952102912 231720 33554432000 134512640 135840783 4286692672 4286692032 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 232447 231720 351 325 0 231383 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 929788
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 18919
/proc/meminfo: memFree=29029988/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=1069696 CPUtime=342.09 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 267405 0 0 0 34148 61 0 0 20 0 1 0 338040730 1095368704 266669 33554432000 134512640 135840783 4286692672 4286692032 134551383 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 267424 266669 351 325 0 266360 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 1069696
[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 18919
/proc/meminfo: memFree=28933544/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=1166312 CPUtime=402.06 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 291605 0 0 0 40135 71 0 0 20 0 1 0 338040730 1194303488 290839 33554432000 134512640 135840783 4286692672 4286691968 134572600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 291578 290839 351 325 0 290514 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 1166312
[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 18919
/proc/meminfo: memFree=28840820/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=1258872 CPUtime=462.03 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 314780 0 0 0 46125 78 0 0 20 0 1 0 338040730 1289084928 313981 33554432000 134512640 135840783 4286692672 4286692032 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 314718 313981 351 325 0 313654 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 1258872
[startup+522.301 s]
/proc/loadavg: 2.04 1.99 1.96 3/177 18919
/proc/meminfo: memFree=28729000/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=1371104 CPUtime=522 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 342875 0 0 0 52113 87 0 0 20 0 1 0 338040730 1404010496 342041 33554432000 134512640 135840783 4286692672 4286692032 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 342776 342041 351 325 0 341712 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 1371104
[startup+582.3 s]
/proc/loadavg: 2.01 1.99 1.96 3/177 18919
/proc/meminfo: memFree=28592752/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=1506676 CPUtime=581.96 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 376805 0 0 0 58099 97 0 0 20 0 1 0 338040730 1542836224 375935 33554432000 134512640 135840783 4286692672 4286691968 134572603 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 376669 375935 351 325 0 375605 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 1506676
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.03 2.00 1.96 3/177 18920
/proc/meminfo: memFree=28032764/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=2065472 CPUtime=821.84 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 516623 0 0 0 82047 137 0 0 20 0 1 0 338040730 2115043328 515639 33554432000 134512640 135840783 4286692672 4286692032 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 516368 515639 351 325 0 515304 0
Current children cumulated CPU time (s) 821.84
Current children cumulated vsize (KiB) 2065472
[startup+882.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 18923
/proc/meminfo: memFree=27946116/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=2150960 CPUtime=881.81 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 538011 0 0 0 88036 145 0 0 20 0 1 0 338040730 2202583040 536994 33554432000 134512640 135840783 4286692672 4286691968 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 537740 536994 351 325 0 536676 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 2150960
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18924
/proc/meminfo: memFree=27847200/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=2243552 CPUtime=941.78 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 561206 0 0 0 94025 153 0 0 20 0 1 0 338040730 2297397248 560156 33554432000 134512640 135840783 4286692672 4286692032 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 560888 560156 351 325 0 559824 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 2243552
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18924
/proc/meminfo: memFree=27722236/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=2336504 CPUtime=1001.75 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 584458 0 0 0 100014 161 0 0 20 0 1 0 338040730 2392580096 583373 33554432000 134512640 135840783 4286692672 4286692032 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 584126 583373 351 325 0 583062 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 2336504
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18924
/proc/meminfo: memFree=27580036/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=2450224 CPUtime=1061.72 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 612912 0 0 0 106002 170 0 0 20 0 1 0 338040730 2509029376 611798 33554432000 134512640 135840783 4286692672 4286691932 14469908 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 612556 611798 351 325 0 611492 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 2450224
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18924
/proc/meminfo: memFree=27408824/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=2589296 CPUtime=1121.7 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 647717 0 0 0 111992 178 0 0 20 0 1 0 338040730 2651439104 646576 33554432000 134512640 135840783 4286692672 4286691972 1587787 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 647324 646576 351 325 0 646260 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 2589296
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18924
/proc/meminfo: memFree=27210328/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=2753604 CPUtime=1181.67 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 688809 0 0 0 117977 190 0 0 20 0 1 0 338040730 2819690496 687657 33554432000 134512640 135840783 4286692672 4286691984 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 688401 687657 351 325 0 687337 0
Current children cumulated CPU time (s) 1181.67
Current children cumulated vsize (KiB) 2753604
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18925
/proc/meminfo: memFree=26966944/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=2957900 CPUtime=1241.64 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 739916 0 0 0 123960 204 0 0 20 0 1 0 338040730 3028889600 738743 33554432000 134512640 135840783 4286692672 4286692032 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 739475 738743 351 325 0 738411 0
Current children cumulated CPU time (s) 1241.64
Current children cumulated vsize (KiB) 2957900
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18925
/proc/meminfo: memFree=26875460/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=3015248 CPUtime=1301.61 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 754280 0 0 0 129953 208 0 0 20 0 1 0 338040730 3087613952 753072 33554432000 134512640 135840783 4286692672 4286692032 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 753812 753072 351 325 0 752748 0
Current children cumulated CPU time (s) 1301.61
Current children cumulated vsize (KiB) 3015248
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18925
/proc/meminfo: memFree=26771824/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=3084348 CPUtime=1361.57 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 771576 0 0 0 135942 215 0 0 20 0 1 0 338040730 3158372352 770336 33554432000 134512640 135840783 4286692672 4286692032 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 771087 770336 351 325 0 770023 0
Current children cumulated CPU time (s) 1361.57
Current children cumulated vsize (KiB) 3084348
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18925
/proc/meminfo: memFree=26668560/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=3156036 CPUtime=1421.55 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 789552 0 0 0 141933 222 0 0 20 0 1 0 338040730 3231780864 788277 33554432000 134512640 135840783 4286692672 4286692032 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 789009 788277 351 325 0 787945 0
Current children cumulated CPU time (s) 1421.55
Current children cumulated vsize (KiB) 3156036
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18928
/proc/meminfo: memFree=26557984/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=3241568 CPUtime=1481.51 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 810951 0 0 0 147921 230 0 0 20 0 1 0 338040730 3319365632 809645 33554432000 134512640 135840783 4286692672 4286691984 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 810392 809645 351 325 0 809328 0
Current children cumulated CPU time (s) 1481.51
Current children cumulated vsize (KiB) 3241568
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18929
/proc/meminfo: memFree=26427328/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=3355504 CPUtime=1541.49 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 839462 0 0 0 153911 238 0 0 20 0 1 0 338040730 3436036096 838140 33554432000 134512640 135840783 4286692672 4286692024 14506192 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 838876 838140 351 325 0 837812 0
Current children cumulated CPU time (s) 1541.49
Current children cumulated vsize (KiB) 3355504
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18929
/proc/meminfo: memFree=26277192/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=3491268 CPUtime=1601.46 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 873431 0 0 0 159900 246 0 0 20 0 1 0 338040730 3575058432 872084 33554432000 134512640 135840783 4286692672 4286692032 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 872817 872084 351 325 0 871753 0
Current children cumulated CPU time (s) 1601.46
Current children cumulated vsize (KiB) 3491268
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18929
/proc/meminfo: memFree=26127676/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=3625868 CPUtime=1661.44 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 907085 0 0 0 165888 256 0 0 20 0 1 0 338040730 3712888832 905729 33554432000 134512640 135840783 4286692672 4286682016 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 906467 905729 351 325 0 905403 0
Current children cumulated CPU time (s) 1661.44
Current children cumulated vsize (KiB) 3625868
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18929
/proc/meminfo: memFree=25943192/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=3793264 CPUtime=1721.41 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 948945 0 0 0 171876 265 0 0 20 0 1 0 338040730 3884302336 947573 33554432000 134512640 135840783 4286692672 4286692032 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 948316 947573 351 325 0 947252 0
Current children cumulated CPU time (s) 1721.41
Current children cumulated vsize (KiB) 3793264
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18929
/proc/meminfo: memFree=25744572/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=3990916 CPUtime=1781.38 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 998327 0 0 0 177861 277 0 0 20 0 1 0 338040730 4086697984 996936 33554432000 134512640 135840783 4286692672 4286692032 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 997729 996936 351 325 0 996665 0
Current children cumulated CPU time (s) 1781.38
Current children cumulated vsize (KiB) 3990916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18929
/proc/meminfo: memFree=25683284/32873648 swapFree=6860/6860
[pid=18873] ppid=18871 vsize=4050344 CPUtime=1800.08 cores=1,3,5,7
/proc/18873/stat : 18873 (bsolo3.0.17) R 18871 18873 18429 0 -1 4202496 1013223 0 0 0 179727 281 0 0 20 0 1 0 338040730 4147552256 1011822 33554432000 134512640 135840783 4286692672 4286692032 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18873/statm: 1012586 1011822 351 325 0 1011522 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 4050344
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): 1801.08
CPU time (s): 1800.16
CPU user time (s): 1797.27
CPU system time (s): 2.88756
CPU usage (%): 99.949
Max. virtual memory (cumulated for all children) (KiB): 4050344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.27
system time used= 2.88756
maximum resident set size= 4047288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1013226
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= 1081
involuntary context switches= 1803
runsolver used 4.66129 second user time and 8.00278 second system time
The end