Optimize a model with 417 rows, 86736 columns and 173472 nonzeros Presolve time: 0.38s Presolved: 417 rows, 86736 columns, 173472 nonzeros Variable types: 0 continuous, 86736 integer (86736 binary) Starting sifting (using dual simplex for sub-problems)... Iter Pivots Primal Obj Dual Obj Time 0 0 infinity 0.0000000e+00 0s 1 614 5.1004891e+07 1.4671303e+03 0s 2 1270 3.2005470e+07 2.2312654e+03 0s 3 1886 2.5005914e+07 2.9251738e+03 0s 4 2515 2.2006142e+07 3.5028104e+03 0s 5 3128 8.0076405e+06 3.6789357e+03 0s 6 3763 3.0083490e+06 3.9082890e+03 0s 7 4379 2.0085465e+06 4.0239357e+03 0s 8 4997 8.9715000e+03 7.1655225e+03 0s Sifting complete Root relaxation: objective 8.960500e+03, 5563 iterations, 0.13 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 8960.50000 0 60 - 8960.50000 - - 1s 0 0 8979.50000 0 30 - 8979.50000 - - 1s 0 0 8986.16667 0 76 - 8986.16667 - - 1s 0 0 9007.50000 0 46 - 9007.50000 - - 2s 0 0 9010.50000 0 78 - 9010.50000 - - 2s 0 0 9011.00000 0 86 - 9011.00000 - - 2s 0 0 9012.00000 0 86 - 9012.00000 - - 2s 0 0 9013.00000 0 85 - 9013.00000 - - 2s 0 0 9013.00000 0 70 - 9013.00000 - - 3s 0 0 9014.06667 0 95 - 9014.06667 - - 3s 0 0 9015.75000 0 80 - 9015.75000 - - 3s 0 0 9015.75000 0 93 - 9015.75000 - - 3s 0 0 9015.75000 0 57 - 9015.75000 - - 4s 0 2 9015.75000 0 53 - 9015.75000 - - 5s 25 27 11413.5000 15 113 - 11130.5000 - 26.4 10s 59 61 11436.5000 45 121 - 11130.5000 - 12.7 15s 93 95 11443.5000 77 125 - 11130.5000 - 8.6 20s 132 134 11452.5000 116 123 - 11130.5000 - 6.4 25s 164 166 11472.5000 145 121 - 11130.5000 - 5.6 30s 196 198 11496.0000 175 131 - 11130.5000 - 5.0 35s 234 236 11506.0000 212 129 - 11130.5000 - 4.4 40s 271 273 11514.0000 249 133 - 11130.5000 - 3.9 45s 301 303 11599.0000 273 113 - 11130.5000 - 3.9 50s 325 327 11708.6667 288 112 - 11130.5000 - 3.9 55s 352 354 11837.0000 312 56 - 11130.5000 - 4.1 67s 370 372 11862.5000 327 58 - 11130.5000 - 4.0 70s 392 394 11956.5000 341 42 - 11130.5000 - 4.1 75s 420 422 11983.5000 364 48 - 11130.5000 - 4.0 80s 450 452 11990.5000 389 44 - 11130.5000 - 3.9 85s 476 478 12017.5000 409 34 - 11130.5000 - 3.9 90s 508 510 12028.0000 438 40 - 11130.5000 - 3.7 95s 531 533 12054.5000 456 30 - 11130.5000 - 3.7 100s 561 563 12059.0000 486 34 - 11130.5000 - 3.6 105s 593 595 12072.0000 518 24 - 11130.5000 - 3.5 110s 625 627 12079.1667 547 29 - 11130.5000 - 3.4 115s 654 656 12084.5000 576 38 - 11130.5000 - 3.4 120s 679 681 12196.0000 593 14 - 11130.5000 - 3.5 125s * 691 691 600 12445.000000 11130.5000 10.6% 3.6 127s 702 685 11771.0000 4 107 12445.0000 11138.0000 10.5% 3.9 130s 725 708 11841.0000 23 28 12445.0000 11138.0000 10.5% 3.9 135s 748 731 11856.0000 42 22 12445.0000 11138.0000 10.5% 3.9 140s 769 752 11876.5000 58 16 12445.0000 11138.0000 10.5% 3.9 145s 791 774 11893.0000 73 6 12445.0000 11138.0000 10.5% 3.9 150s 801 783 12085.0000 560 57 12445.0000 11138.0000 10.5% 3.8 156s 805 786 11852.0000 29 95 12445.0000 11773.3333 5.40% 3.8 160s 810 789 11997.0000 382 100 12445.0000 11821.9583 5.01% 3.8 166s 811 790 12085.0000 560 100 12445.0000 11821.9583 5.01% 3.8 170s 812 792 11823.0000 13 92 12445.0000 11823.0000 5.00% 5.6 175s 828 803 11828.3333 21 57 12445.0000 11828.0000 4.96% 5.7 180s 850 818 11831.4000 32 48 12445.0000 11828.0000 4.96% 5.7 185s 870 831 11841.0000 42 20 12445.0000 11828.0000 4.96% 5.6 190s 889 844 11844.5000 51 26 12445.0000 11828.0000 4.96% 5.6 195s 911 858 11853.0000 62 20 12445.0000 11828.0000 4.96% 5.6 200s 931 872 11856.0000 72 24 12445.0000 11828.0000 4.96% 5.6 205s 952 886 11866.0000 83 8 12445.0000 11828.0000 4.96% 5.6 210s 971 898 11903.5000 92 8 12445.0000 11828.0000 4.96% 5.6 215s 990 911 11919.5000 102 22 12445.0000 11828.0000 4.96% 5.6 220s * 1001 872 107 11929.000000 11828.0000 0.85% 5.5 222s 1016 875 11833.5000 22 62 11929.0000 11828.3333 0.84% 5.5 225s 1042 893 11843.0000 35 40 11929.0000 11828.3333 0.84% 5.5 230s 1071 912 11851.0000 49 54 11929.0000 11828.3333 0.84% 5.5 235s 1098 930 11860.0000 63 25 11929.0000 11828.3333 0.84% 5.5 240s 1106 934 11915.0000 95 170 11929.0000 11828.3333 0.84% 5.5 245s 1120 946 11836.5000 31 96 11929.0000 11835.8889 0.78% 7.1 250s 1165 976 11851.0000 53 12 11929.0000 11835.8889 0.78% 7.0 255s 1211 1006 11866.5000 76 6 11929.0000 11835.8889 0.78% 6.9 260s 1252 1034 11889.6000 97 28 11929.0000 11835.8889 0.78% 6.8 265s * 1279 996 110 11900.000000 11835.8889 0.54% 6.8 268s 1296 995 11893.5000 119 6 11900.0000 11835.8889 0.54% 6.7 270s * 1297 949 120 11898.000000 11835.8889 0.52% 6.7 270s 1339 973 11845.6000 49 50 11898.0000 11836.8750 0.51% 6.7 275s 1382 1001 11865.6667 70 53 11898.0000 11836.8750 0.51% 6.8 280s 1405 1016 11843.0000 41 206 11898.0000 11836.8750 0.51% 6.8 286s H 1410 967 11878.000000 11836.9793 0.35% 6.7 288s 1414 972 11839.4446 43 135 11878.0000 11839.4446 0.32% 8.0 290s 1457 1000 11850.5000 64 37 11878.0000 11840.0850 0.32% 8.1 295s 1501 1029 11853.0000 72 57 11878.0000 11840.0850 0.32% 8.0 300s 1515 1040 11843.6361 53 143 11878.0000 11840.0850 0.32% 9.1 305s 1561 1071 11851.0000 76 53 11878.0000 11840.0850 0.32% 9.2 310s 1607 1102 11867.0000 99 16 11878.0000 11840.0850 0.32% 9.1 315s 1652 1125 11841.6053 71 97 11878.0000 11840.0850 0.32% 9.2 320s 1698 1155 11862.8261 94 33 11878.0000 11840.0850 0.32% 9.1 325s 1744 1184 11873.0000 117 16 11878.0000 11840.0850 0.32% 9.0 330s 1773 1192 11844.0270 65 33 11878.0000 11840.8336 0.31% 9.0 335s 1800 1210 11852.0270 78 28 11878.0000 11840.8336 0.31% 9.1 340s 1826 1228 11859.7600 91 32 11878.0000 11840.8336 0.31% 9.1 345s 1848 1239 11864.0000 102 14 11878.0000 11840.8336 0.31% 9.0 350s 1870 1254 11871.5000 113 16 11878.0000 11840.8336 0.31% 9.0 355s 1903 1264 11847.0000 68 60 11878.0000 11840.8336 0.31% 8.9 360s 1943 1291 11849.5270 86 33 11878.0000 11840.8336 0.31% 8.8 365s 1980 1315 11865.5270 101 32 11878.0000 11840.8336 0.31% 8.8 370s 2021 1333 11871.5270 119 34 11878.0000 11840.8336 0.31% 8.8 375s 2060 1346 11845.5652 79 64 11878.0000 11841.3333 0.31% 8.7 380s 2099 1372 11856.6942 92 48 11878.0000 11841.3333 0.31% 8.7 385s 2137 1397 11869.5000 109 33 11878.0000 11841.3333 0.31% 8.6 390s 2180 1423 11873.5000 126 16 11878.0000 11841.3333 0.31% 8.5 395s 2212 1430 11845.3333 66 71 11878.0000 11841.3333 0.31% 8.5 400s 2236 1446 11848.3333 85 32 11878.0000 11841.3333 0.31% 8.5 405s 2260 1462 11851.8333 98 51 11878.0000 11841.3333 0.31% 8.5 410s 2291 1483 11859.3333 109 37 11878.0000 11841.3333 0.31% 8.4 415s 2330 1508 11866.8750 127 34 11878.0000 11841.3333 0.31% 8.4 420s 2370 1522 11875.0000 144 16 11878.0000 11841.3333 0.31% 8.3 425s 2409 1534 11872.3333 89 24 11878.0000 11841.5180 0.31% 8.2 430s * 2427 1472 104 11877.000000 11841.5180 0.30% 8.2 433s 2437 1474 11847.5270 70 68 11877.0000 11841.5180 0.30% 8.2 435s 2473 1489 11846.5652 64 66 11877.0000 11841.6053 0.30% 8.2 440s H 2505 1082 11861.000000 11841.6053 0.16% 8.1 444s 2513 1090 11845.0652 80 80 11861.0000 11841.6053 0.16% 8.1 445s 2551 1107 11843.5652 76 70 11861.0000 11841.6748 0.16% 8.1 450s 2589 1132 11850.3571 98 36 11861.0000 11841.6748 0.16% 8.1 455s 2612 1149 11841.6748 66 129 11861.0000 11841.6748 0.16% 8.7 460s 2649 1174 11847.0000 84 26 11861.0000 11841.6748 0.16% 8.7 465s 2696 1193 11844.1471 77 58 11861.0000 11841.6748 0.16% 8.7 470s 2745 1217 11852.5270 103 36 11861.0000 11841.6748 0.16% 8.6 475s 2793 1236 11848.5000 85 54 11861.0000 11841.6748 0.16% 8.6 480s 2841 1265 11855.5000 109 14 11861.0000 11841.6748 0.16% 8.6 485s 2890 1291 11849.0000 104 12 11861.0000 11841.6748 0.16% 8.6 490s 2938 1323 11851.5000 133 33 11861.0000 11841.6748 0.16% 8.5 495s 2987 1339 11851.1250 90 63 11861.0000 11841.6748 0.16% 8.4 500s 3036 1358 11847.6667 77 56 11861.0000 11841.6748 0.16% 8.4 505s 3084 1389 11853.0000 113 28 11861.0000 11841.6748 0.16% 8.3 510s 3133 1390 infeasible 95 11861.0000 11842.5205 0.16% 8.2 515s 3181 1399 11854.0000 104 45 11861.0000 11842.6000 0.16% 8.2 520s 3231 1409 11844.8333 82 78 11861.0000 11842.6250 0.15% 8.2 525s 3279 1429 11848.7273 85 61 11861.0000 11842.6884 0.15% 8.1 530s 3321 1444 11844.9524 74 104 11861.0000 11842.9513 0.15% 8.1 535s 3359 1466 11857.0000 110 31 11861.0000 11842.9513 0.15% 8.1 540s 3398 1482 infeasible 93 11861.0000 11842.9971 0.15% 8.1 545s 3429 1488 cutoff 99 11861.0000 11843.0000 0.15% 8.0 550s 3473 1502 11853.5270 88 43 11861.0000 11843.0000 0.15% 8.0 555s 3512 1507 11844.0270 89 35 11861.0000 11843.0000 0.15% 8.0 560s 3554 1535 11849.0303 110 54 11861.0000 11843.0000 0.15% 8.0 565s 3595 1552 11845.0270 90 51 11861.0000 11843.0000 0.15% 8.0 570s 3637 1569 11851.0000 79 57 11861.0000 11843.0417 0.15% 8.0 575s 3672 1576 11845.1373 77 82 11861.0000 11843.0833 0.15% 7.9 580s 3712 1603 11854.7273 101 50 11861.0000 11843.0833 0.15% 7.9 585s 3750 1610 11849.7500 90 65 11861.0000 11843.1239 0.15% 7.9 590s 3786 1622 11852.8333 80 59 11861.0000 11843.2162 0.15% 7.8 595s 3825 1639 11849.0000 85 6 11861.0000 11843.2291 0.15% 7.8 600s 3861 1646 11853.7754 78 60 11861.0000 11843.4561 0.15% 7.8 605s 3896 1651 11859.6667 94 34 11861.0000 11843.4561 0.15% 7.7 610s 3932 1657 11858.0000 89 53 11861.0000 11843.6667 0.15% 7.7 615s 3970 1666 11857.0000 98 22 11861.0000 11843.6667 0.15% 7.7 620s 4001 1668 11843.6667 77 78 11861.0000 11843.6667 0.15% 7.6 625s 4041 1693 11858.0000 117 45 11861.0000 11843.6667 0.15% 7.6 630s 4078 1684 11847.3333 86 77 11861.0000 11843.6667 0.15% 7.6 635s 4113 1700 11847.6667 80 85 11861.0000 11843.6667 0.15% 7.5 640s 4149 1717 11860.0000 112 58 11861.0000 11843.6667 0.15% 7.5 645s 4185 1741 11854.5000 104 56 11861.0000 11843.6667 0.15% 7.5 650s 4219 1755 11847.5270 94 45 11861.0000 11843.6667 0.15% 7.4 655s 4259 1768 11854.5000 88 47 11861.0000 11843.6667 0.15% 7.4 660s 4298 1783 11857.0000 105 16 11861.0000 11843.7361 0.15% 7.4 665s 4343 1802 11857.0000 94 30 11861.0000 11843.7500 0.15% 7.4 670s 4378 1813 11859.7667 83 54 11861.0000 11843.7719 0.15% 7.4 675s 4411 1822 cutoff 96 11861.0000 11843.7719 0.15% 7.4 680s 4446 1842 11853.7857 111 79 11861.0000 11843.7849 0.15% 7.3 685s 4485 1859 11850.4500 90 67 11861.0000 11843.8333 0.14% 7.3 690s 4527 1879 11853.0000 90 53 11861.0000 11843.8993 0.14% 7.3 695s 4564 1882 11849.1159 86 65 11861.0000 11843.9057 0.14% 7.3 700s 4601 1894 11847.0000 82 43 11861.0000 11843.9227 0.14% 7.2 705s 4646 1907 cutoff 107 11861.0000 11843.9227 0.14% 7.2 710s 4684 1933 11853.6667 110 35 11861.0000 11843.9583 0.14% 7.2 715s 4729 1953 11847.5270 100 55 11861.0000 11844.0270 0.14% 7.2 720s 4766 1967 11844.0270 88 29 11861.0000 11844.0270 0.14% 7.1 725s 4811 1981 11850.3649 92 62 11861.0000 11844.0270 0.14% 7.1 730s 4838 1984 cutoff 111 11861.0000 11844.0270 0.14% 7.1 735s 4864 1982 cutoff 97 11861.0000 11844.0270 0.14% 7.1 740s 4898 1994 11851.7027 91 60 11861.0000 11844.0270 0.14% 7.1 745s 4931 2004 11852.0270 88 46 11861.0000 11844.0270 0.14% 7.1 750s 4957 2002 11856.0270 91 46 11861.0000 11844.0270 0.14% 7.0 755s 4986 1993 cutoff 88 11861.0000 11844.0270 0.14% 7.0 760s 5024 2005 11855.0270 99 41 11861.0000 11844.0270 0.14% 7.0 765s 5062 2024 11854.5270 111 45 11861.0000 11844.0270 0.14% 7.0 770s 5106 2032 11848.0270 87 45 11861.0000 11844.0270 0.14% 6.9 775s 5140 2045 11849.5270 92 41 11861.0000 11844.0270 0.14% 6.9 780s 5182 2057 11852.0270 96 46 11861.0000 11844.0270 0.14% 6.9 785s 5221 2068 11856.0270 88 41 11861.0000 11844.0270 0.14% 6.9 790s 5264 2066 cutoff 92 11861.0000 11844.0270 0.14% 6.8 795s 5303 2073 11848.0270 83 41 11861.0000 11844.0270 0.14% 6.8 800s 5347 2087 11851.0270 88 43 11861.0000 11844.0270 0.14% 6.8 805s 5388 2087 cutoff 95 11861.0000 11844.0270 0.14% 6.7 810s 5430 2096 11846.5270 83 56 11861.0000 11844.0270 0.14% 6.7 815s 5455 2107 infeasible 106 11861.0000 11844.0270 0.14% 6.7 820s 5479 2117 11857.0270 95 41 11861.0000 11844.0270 0.14% 6.7 825s 5504 2107 cutoff 98 11861.0000 11844.0270 0.14% 6.7 830s 5529 2122 11851.7027 96 53 11861.0000 11844.0270 0.14% 6.7 835s 5554 2138 11856.0303 113 29 11861.0000 11844.0270 0.14% 6.7 840s 5579 2136 11857.0270 95 33 11861.0000 11844.0270 0.14% 6.7 845s 5603 2139 11846.5270 101 45 11861.0000 11844.0270 0.14% 6.6 850s 5623 2152 11852.5270 121 39 11861.0000 11844.0270 0.14% 6.6 855s 5647 2156 11859.0270 107 29 11861.0000 11844.0270 0.14% 6.6 860s 5668 2163 11857.5270 106 31 11861.0000 11844.0270 0.14% 6.6 865s 5689 2170 11857.5270 105 29 11861.0000 11844.0270 0.14% 6.6 870s 5714 2179 11854.3333 106 24 11861.0000 11844.0270 0.14% 6.6 875s 5739 2189 11852.0303 91 28 11861.0000 11844.0270 0.14% 6.6 880s 5764 2197 11848.7600 92 36 11861.0000 11844.0270 0.14% 6.6 885s 5790 2210 11860.0000 117 6 11861.0000 11844.0270 0.14% 6.6 890s 5814 2219 11849.5270 98 29 11861.0000 11844.0270 0.14% 6.6 895s 5846 2232 11845.6792 83 61 11861.0000 11844.0270 0.14% 6.6 900s 5888 2251 11849.0000 92 12 11861.0000 11844.0270 0.14% 6.5 905s 5918 2264 cutoff 106 11861.0000 11844.0270 0.14% 6.5 910s 5939 2269 11852.4286 99 38 11861.0000 11844.0270 0.14% 6.5 915s 5958 2272 11850.5270 84 36 11861.0000 11844.0389 0.14% 6.5 920s 5984 2288 11856.0000 110 12 11861.0000 11844.0389 0.14% 6.5 925s 6008 2291 11853.3333 85 60 11861.0000 11844.1111 0.14% 6.5 930s 6033 2299 11853.8333 91 57 11861.0000 11844.1373 0.14% 6.5 935s 6058 2310 11846.1373 81 80 11861.0000 11844.1373 0.14% 6.5 940s 6082 2334 11855.1373 105 75 11861.0000 11844.1373 0.14% 6.5 945s 6107 2340 11848.1373 78 80 11861.0000 11844.1373 0.14% 6.5 950s 6132 2361 11858.5000 90 60 11861.0000 11844.1373 0.14% 6.5 955s 6157 2368 11853.6373 86 82 11861.0000 11844.1373 0.14% 6.4 960s 6182 2377 11852.1373 80 80 11861.0000 11844.1373 0.14% 6.4 965s 6207 2393 11849.7500 82 70 11861.0000 11844.1667 0.14% 6.4 970s 6242 2426 11854.4286 94 49 11861.0000 11844.1667 0.14% 6.4 975s 6286 2450 11856.0303 103 41 11861.0000 11844.1667 0.14% 6.4 980s 6330 2472 11855.5652 99 47 11861.0000 11844.1892 0.14% 6.4 985s 6369 2494 11852.6336 93 63 11861.0000 11844.1892 0.14% 6.4 990s 6410 2526 11857.5303 104 41 11861.0000 11844.2598 0.14% 6.4 995s 6446 2552 11853.0000 96 63 11861.0000 11844.2598 0.14% 6.4 1000s 6490 2582 11852.3087 73 99 11861.0000 11844.2632 0.14% 6.4 1005s 6528 2597 11848.3333 80 78 11861.0000 11844.3333 0.14% 6.4 1010s 6569 2617 11851.2143 85 74 11861.0000 11844.3333 0.14% 6.4 1015s 6595 2629 11851.0000 85 74 11861.0000 11844.3333 0.14% 6.4 1020s 6614 2640 infeasible 99 11861.0000 11844.3333 0.14% 6.4 1025s 6641 2663 11855.5000 94 63 11861.0000 11844.3333 0.14% 6.4 1030s 6670 2676 11852.0000 88 85 11861.0000 11844.4333 0.14% 6.4 1035s 6702 2693 11849.1000 86 68 11861.0000 11844.4371 0.14% 6.4 1040s 6735 2718 11847.2381 85 95 11861.0000 11844.4510 0.14% 6.4 1045s 6768 2745 11846.7778 77 67 11861.0000 11844.4752 0.14% 6.3 1050s 6800 2777 11852.2778 93 65 11861.0000 11844.4752 0.14% 6.3 1055s 6833 2792 11860.0000 109 50 11861.0000 11844.4752 0.14% 6.3 1060s 6866 2814 11851.9118 97 22 11861.0000 11844.5000 0.14% 6.3 1065s 6898 2831 11856.8571 100 90 11861.0000 11844.5000 0.14% 6.3 1070s 6931 2851 11860.0000 97 37 11861.0000 11844.5000 0.14% 6.3 1075s 6964 2872 11856.9286 109 44 11861.0000 11844.5000 0.14% 6.3 1080s 6999 2893 11858.5000 108 28 11861.0000 11844.5116 0.14% 6.3 1085s 7043 2920 infeasible 111 11861.0000 11844.5354 0.14% 6.3 1090s 7085 2947 11857.5000 93 63 11861.0000 11844.5394 0.14% 6.3 1095s 7130 2969 11854.7143 101 71 11861.0000 11844.5472 0.14% 6.3 1100s 7175 2997 11849.0000 82 67 11861.0000 11844.6333 0.14% 6.3 1105s 7219 3025 11845.2857 84 78 11861.0000 11844.7027 0.14% 6.2 1110s 7263 3062 11851.4211 95 54 11861.0000 11844.7647 0.14% 6.2 1115s 7308 3089 cutoff 95 11861.0000 11844.7730 0.14% 6.2 1120s 7353 3096 11845.7027 83 45 11861.0000 11844.7736 0.14% 6.2 1125s 7398 3131 11850.7778 90 68 11861.0000 11844.7736 0.14% 6.2 1130s 7442 3159 11850.4951 93 59 11861.0000 11844.7853 0.14% 6.2 1135s 7485 3183 11858.1111 99 45 11861.0000 11844.7853 0.14% 6.2 1140s 7527 3211 11860.0000 97 20 11861.0000 11844.7963 0.14% 6.2 1145s 7573 3250 11856.9286 121 71 11861.0000 11844.8719 0.14% 6.2 1150s 7615 3266 11849.3684 82 57 11861.0000 11844.9884 0.13% 6.1 1155s 7658 3295 11856.0000 99 22 11861.0000 11844.9884 0.13% 6.1 1160s 7700 3327 11859.2857 100 59 11861.0000 11845.0000 0.13% 6.1 1165s 7721 3338 11853.5000 88 54 11861.0000 11845.0000 0.13% 6.1 1170s 7767 3367 11856.5000 89 67 11861.0000 11845.0000 0.13% 6.1 1175s 7816 3381 11851.3333 87 78 11861.0000 11845.0000 0.13% 6.1 1180s 7865 3409 11859.3333 92 82 11861.0000 11845.0000 0.13% 6.1 1185s 7914 3444 11852.5000 98 39 11861.0000 11845.0000 0.13% 6.1 1190s 7963 3471 11851.1667 89 33 11861.0000 11845.0000 0.13% 6.1 1195s 8008 3507 11852.0270 94 47 11861.0000 11845.0000 0.13% 6.1 1200s 8053 3541 11849.6667 89 68 11861.0000 11845.0000 0.13% 6.1 1205s 8093 3570 11850.7273 83 47 11861.0000 11845.0000 0.13% 6.1 1210s 8133 3590 cutoff 99 11861.0000 11845.0270 0.13% 6.1 1215s 8175 3623 11859.5000 103 33 11861.0000 11845.0270 0.13% 6.1 1220s 8217 3643 cutoff 110 11861.0000 11845.0270 0.13% 6.0 1225s 8260 3658 11851.5270 93 47 11861.0000 11845.0270 0.13% 6.0 1230s 8303 3677 11848.5270 101 58 11861.0000 11845.0270 0.13% 6.0 1235s 8345 3710 11849.2027 95 66 11861.0000 11845.0270 0.13% 6.0 1240s 8388 3728 cutoff 112 11861.0000 11845.0270 0.13% 6.0 1245s 8430 3753 11853.0270 88 45 11861.0000 11845.0270 0.13% 6.0 1250s 8472 3761 11853.0270 90 47 11861.0000 11845.0270 0.13% 6.0 1255s 8514 3781 11850.5270 100 43 11861.0000 11845.0270 0.13% 6.0 1260s 8557 3804 11857.0270 93 43 11861.0000 11845.0270 0.13% 6.0 1265s 8599 3827 11856.7027 99 51 11861.0000 11845.0270 0.13% 6.0 1270s 8641 3851 infeasible 92 11861.0000 11845.0270 0.13% 6.0 1275s 8681 3872 11849.0270 97 38 11861.0000 11845.0270 0.13% 6.0 1280s 8724 3888 cutoff 112 11861.0000 11845.0270 0.13% 6.0 1285s 8763 3908 11849.0270 97 43 11861.0000 11845.0270 0.13% 6.0 1290s 8803 3930 11859.5000 95 12 11861.0000 11845.0270 0.13% 6.0 1295s 8843 3942 11850.5270 94 43 11861.0000 11845.0270 0.13% 6.0 1300s 8883 3955 11854.0270 92 43 11861.0000 11845.0270 0.13% 6.0 1305s 8924 3986 11852.0000 100 43 11861.0000 11845.0270 0.13% 6.0 1310s 8964 4009 11850.5270 86 43 11861.0000 11845.0270 0.13% 6.0 1315s 9007 4026 cutoff 94 11861.0000 11845.0270 0.13% 6.0 1320s 9051 4037 11845.0270 87 43 11861.0000 11845.0270 0.13% 6.0 1325s 9100 4064 cutoff 101 11861.0000 11845.0270 0.13% 6.0 1330s 9145 4079 11851.2027 93 64 11861.0000 11845.0270 0.13% 6.0 1335s 9187 4100 11851.5270 103 49 11861.0000 11845.0270 0.13% 6.0 1340s 9230 4120 cutoff 102 11861.0000 11845.0270 0.13% 5.9 1345s 9272 4141 11849.0270 86 43 11861.0000 11845.0270 0.13% 5.9 1350s 9316 4157 11847.5270 90 43 11861.0000 11845.0270 0.13% 5.9 1355s 9358 4176 infeasible 102 11861.0000 11845.0270 0.13% 5.9 1360s 9401 4184 11860.0000 103 38 11861.0000 11845.0270 0.13% 5.9 1365s 9443 4197 11851.0270 95 45 11861.0000 11845.0270 0.13% 5.9 1370s 9487 4208 11857.0270 97 43 11861.0000 11845.0270 0.13% 5.9 1375s 9529 4224 11860.0000 104 41 11861.0000 11845.0270 0.13% 5.9 1380s 9572 4247 11856.0270 108 47 11861.0000 11845.0270 0.13% 5.9 1385s 9614 4261 cutoff 91 11861.0000 11845.0270 0.13% 5.9 1390s 9656 4284 11855.5270 96 45 11861.0000 11845.0270 0.13% 5.9 1395s 9698 4298 cutoff 100 11861.0000 11845.0270 0.13% 5.9 1400s 9740 4314 11856.0270 98 45 11861.0000 11845.0270 0.13% 5.9 1405s 9782 4322 11851.5270 91 43 11861.0000 11845.0270 0.13% 5.9 1410s 9824 4346 11857.0270 96 43 11861.0000 11845.0270 0.13% 5.9 1415s 9866 4367 cutoff 97 11861.0000 11845.0270 0.13% 5.9 1420s 9909 4385 11849.0270 90 49 11861.0000 11845.0270 0.13% 5.8 1425s 9950 4403 11857.0270 97 43 11861.0000 11845.0270 0.13% 5.9 1430s 9991 4412 infeasible 99 11861.0000 11845.0270 0.13% 5.8 1435s 10037 4421 11849.0270 87 49 11861.0000 11845.0270 0.13% 5.8 1440s 10086 4444 11855.0270 104 31 11861.0000 11845.0270 0.13% 5.8 1445s 10135 4475 11859.0270 107 29 11861.0000 11845.0270 0.13% 5.8 1450s 10184 4493 11846.0270 92 29 11861.0000 11845.0270 0.13% 5.8 1455s 10216 4512 cutoff 104 11861.0000 11845.0270 0.13% 5.8 1460s 10244 4521 cutoff 93 11861.0000 11845.0270 0.13% 5.8 1465s 10273 4530 11849.0270 92 43 11861.0000 11845.0270 0.13% 5.8 1470s 10301 4547 11856.0270 96 47 11861.0000 11845.0270 0.13% 5.8 1475s 10330 4555 11849.0270 91 45 11861.0000 11845.0270 0.13% 5.8 1480s 10358 4565 11857.8270 93 45 11861.0000 11845.0270 0.13% 5.8 1485s 10387 4589 11854.0000 100 43 11861.0000 11845.0270 0.13% 5.8 1490s 10415 4603 11857.0270 96 38 11861.0000 11845.0270 0.13% 5.8 1495s 10444 4616 11849.0270 87 38 11861.0000 11845.0270 0.13% 5.8 1500s 10473 4634 11857.0270 101 32 11861.0000 11845.0270 0.13% 5.8 1505s 10503 4654 11856.1027 107 63 11861.0000 11845.0270 0.13% 5.8 1510s 10534 4666 11848.5405 81 63 11861.0000 11845.0270 0.13% 5.8 1515s 10564 4691 11855.9140 89 50 11861.0000 11845.0270 0.13% 5.8 1520s 10594 4705 infeasible 91 11861.0000 11845.0270 0.13% 5.8 1525s 10624 4723 cutoff 97 11861.0000 11845.0270 0.13% 5.8 1530s 10655 4725 11848.5652 84 53 11861.0000 11845.0270 0.13% 5.8 1535s 10685 4741 11857.3483 91 75 11861.0000 11845.0270 0.13% 5.8 1540s 10715 4749 cutoff 95 11861.0000 11845.0763 0.13% 5.8 1545s 10746 4768 11850.1667 81 78 11861.0000 11845.1081 0.13% 5.8 1550s 10775 4782 11847.5652 81 56 11861.0000 11845.1303 0.13% 5.8 1555s 10805 4802 11858.7246 81 69 11861.0000 11845.1373 0.13% 5.8 1560s 10834 4807 cutoff 84 11861.0000 11845.1402 0.13% 5.8 1565s 10863 4821 11845.1441 87 66 11861.0000 11845.1441 0.13% 5.8 1570s 10892 4839 11849.1441 87 68 11861.0000 11845.1441 0.13% 5.8 1575s 10921 4857 11859.5405 96 64 11861.0000 11845.1441 0.13% 5.8 1580s 10950 4871 11850.6441 102 68 11861.0000 11845.1441 0.13% 5.7 1585s 10979 4882 11845.1441 88 72 11861.0000 11845.1441 0.13% 5.7 1590s 11009 4893 infeasible 95 11861.0000 11845.1441 0.13% 5.7 1595s 11038 4918 infeasible 98 11861.0000 11845.1441 0.13% 5.7 1600s 11067 4924 11858.1441 91 66 11861.0000 11845.1441 0.13% 5.7 1605s 11096 4940 11854.0441 99 70 11861.0000 11845.1441 0.13% 5.7 1610s 11125 4954 11856.1441 99 66 11861.0000 11845.1441 0.13% 5.7 1615s 11154 4965 11859.5405 100 56 11861.0000 11845.1441 0.13% 5.7 1620s 11183 4969 11851.6441 90 61 11861.0000 11845.1441 0.13% 5.7 1625s 11212 4989 11851.1441 99 68 11861.0000 11845.1441 0.13% 5.7 1630s 11242 4998 11857.1441 96 68 11861.0000 11845.1779 0.13% 5.7 1635s 11274 5008 11846.5319 81 92 11861.0000 11845.1850 0.13% 5.7 1640s 11313 5033 11847.6009 78 103 11861.0000 11845.1982 0.13% 5.7 1645s 11352 5055 11856.6170 75 77 11861.0000 11845.2061 0.13% 5.7 1650s 11390 5083 cutoff 107 11861.0000 11845.2100 0.13% 5.7 1655s 11429 5112 11859.4000 100 47 11861.0000 11845.2222 0.13% 5.7 1660s 11467 5137 cutoff 105 11861.0000 11845.2398 0.13% 5.7 1665s 11512 5160 11851.7857 92 58 11861.0000 11845.3333 0.13% 5.7 1670s 11562 5195 11853.6667 90 53 11861.0000 11845.3333 0.13% 5.7 1675s 11613 5217 cutoff 97 11861.0000 11845.3333 0.13% 5.7 1680s 11661 5239 infeasible 93 11861.0000 11845.3382 0.13% 5.7 1685s 11711 5261 11857.3571 100 73 11861.0000 11845.3571 0.13% 5.7 1690s 11756 5292 11857.5000 104 39 11861.0000 11845.3604 0.13% 5.7 1695s 11796 5303 11852.9286 88 51 11861.0000 11845.3604 0.13% 5.7 1700s 11837 5328 11850.9685 94 69 11861.0000 11845.3604 0.13% 5.7 1705s 11878 5347 11859.2000 101 49 11861.0000 11845.3604 0.13% 5.7 1710s 11918 5356 11848.0270 91 29 11861.0000 11845.3604 0.13% 5.7 1715s 11959 5375 11858.8270 102 46 11861.0000 11845.3604 0.13% 5.7 1720s 11999 5388 11859.0360 93 66 11861.0000 11845.4444 0.13% 5.6 1725s 12037 5390 cutoff 93 11861.0000 11845.4685 0.13% 5.6 1730s 12072 5417 11858.5405 108 56 11861.0000 11845.4685 0.13% 5.6 1735s 12107 5434 11851.3333 88 57 11861.0000 11845.4685 0.13% 5.6 1740s 12141 5459 11852.0270 94 38 11861.0000 11845.4685 0.13% 5.6 1745s 12175 5472 11853.1138 89 60 11861.0000 11845.4685 0.13% 5.6 1750s 12210 5496 11849.4685 91 67 11861.0000 11845.4685 0.13% 5.6 1755s 12244 5515 11849.6787 84 61 11861.0000 11845.4685 0.13% 5.6 1760s 12279 5542 11857.3604 101 41 11861.0000 11845.4685 0.13% 5.6 1765s 12314 5555 11853.4685 86 67 11861.0000 11845.4685 0.13% 5.6 1770s 12345 5578 11857.7669 103 64 11861.0000 11845.4685 0.13% 5.6 1775s 12376 5596 11859.0303 108 43 11861.0000 11845.4752 0.13% 5.6 1780s 12406 5617 11850.2451 93 54 11861.0000 11845.5000 0.13% 5.6 1785s 12437 5633 11860.0000 95 67 11861.0000 11845.5019 0.13% 5.6 1790s 12468 5632 11845.5019 73 73 11861.0000 11845.5019 0.13% 5.6 1795s 12499 5663 11851.8127 93 59 11861.0000 11845.5270 0.13% 5.6 1800s 12530 5671 cutoff 99 11861.0000 11845.5270 0.13% 5.6 1805s 12560 5689 cutoff 106 11861.0000 11845.5270 0.13% 5.6 1810s 12591 5690 11850.0270 98 33 11861.0000 11845.5270 0.13% 5.6 1815s 12622 5704 11851.0270 102 31 11861.0000 11845.5270 0.13% 5.6 1820s 12653 5722 11851.0270 101 47 11861.0000 11845.5270 0.13% 5.6 1825s 12684 5730 cutoff 87 11861.0000 11845.5504 0.13% 5.6 1830s 12714 5742 cutoff 86 11861.0000 11845.5504 0.13% 5.6 1835s 12745 5754 11846.6170 76 67 11861.0000 11845.5518 0.13% 5.6 1840s 12776 5775 11858.2619 94 65 11861.0000 11845.6170 0.13% 5.6 1845s 12806 5790 11853.6129 89 61 11861.0000 11845.6441 0.13% 5.6 1850s 12837 5807 11857.5000 109 12 11861.0000 11845.6667 0.13% 5.6 1855s 12867 5817 11848.5000 79 59 11861.0000 11845.6667 0.13% 5.6 1860s 12896 5844 11853.0000 88 39 11861.0000 11845.6667 0.13% 5.6 1865s 12926 5862 11854.5000 88 37 11861.0000 11845.6667 0.13% 5.6 1870s 12956 5892 11851.9286 93 49 11861.0000 11845.6667 0.13% 5.6 1875s 12991 5911 11858.0000 98 43 11861.0000 11845.6667 0.13% 5.6 1880s 13026 5916 11853.7027 86 41 11861.0000 11845.6667 0.13% 5.6 1885s 13061 5923 11859.4286 94 43 11861.0000 11845.6847 0.13% 5.6 1890s 13097 5939 11852.6270 96 38 11861.0000 11845.6937 0.13% 5.6 1895s 13132 5951 11857.5270 104 41 11861.0000 11845.6937 0.13% 5.6 1900s 13168 5967 11850.5000 89 46 11861.0000 11845.7027 0.13% 5.6 1905s 13204 5997 11849.7027 84 57 11861.0000 11845.7027 0.13% 5.5 1910s 13239 6024 cutoff 101 11861.0000 11845.7027 0.13% 5.5 1915s 13274 6045 11858.5000 97 14 11861.0000 11845.7027 0.13% 5.5 1920s 13308 6064 11855.0000 89 50 11861.0000 11845.7027 0.13% 5.5 1925s 13340 6072 cutoff 96 11861.0000 11845.7027 0.13% 5.5 1930s 13372 6095 11858.0000 94 38 11861.0000 11845.7083 0.13% 5.5 1935s 13403 6107 11848.7451 86 51 11861.0000 11845.7117 0.13% 5.5 1940s 13434 6116 11858.2451 104 36 11861.0000 11845.7117 0.13% 5.5 1945s 13465 6137 11847.8127 91 60 11861.0000 11845.7354 0.13% 5.5 1950s 13495 6155 11860.0000 92 41 11861.0000 11845.7500 0.13% 5.5 1955s 13525 6161 11853.8333 85 61 11861.0000 11845.7568 0.13% 5.5 1960s 13555 6170 11854.3043 84 58 11861.0000 11845.7917 0.13% 5.5 1965s 13585 6182 11855.0000 83 56 11861.0000 11845.8000 0.13% 5.5 1970s 13615 6191 cutoff 97 11861.0000 11845.8170 0.13% 5.5 1975s 13645 6209 11859.0000 87 40 11861.0000 11845.8170 0.13% 5.5 1980s 13675 6224 11858.6762 87 62 11861.0000 11845.8170 0.13% 5.5 1985s 13704 6238 11853.0067 84 74 11861.0000 11845.8170 0.13% 5.5 1990s 13735 6258 cutoff 83 11861.0000 11845.8170 0.13% 5.5 1995s 13765 6275 11851.9504 83 78 11861.0000 11845.8239 0.13% 5.5 2000s 13796 6291 11846.6667 80 107 11861.0000 11845.8354 0.13% 5.5 2005s 13827 6322 11854.9630 96 74 11861.0000 11845.8354 0.13% 5.5 2010s 13858 6336 11850.6170 80 81 11861.0000 11845.8382 0.13% 5.5 2015s 13889 6359 11847.8261 77 53 11861.0000 11845.8564 0.13% 5.5 2020s 13920 6379 cutoff 90 11861.0000 11845.8564 0.13% 5.5 2025s 13951 6399 11850.7551 79 74 11861.0000 11845.8723 0.13% 5.5 2030s 13985 6422 11846.5800 80 84 11861.0000 11845.8986 0.13% 5.5 2035s 14021 6440 11851.4884 81 69 11861.0000 11845.9028 0.13% 5.5 2040s 14056 6459 11850.8218 89 75 11861.0000 11845.9028 0.13% 5.5 2045s 14092 6486 cutoff 95 11861.0000 11845.9028 0.13% 5.5 2050s 14128 6503 11849.9884 80 67 11861.0000 11845.9028 0.13% 5.5 2055s 14163 6528 11859.9884 98 71 11861.0000 11845.9028 0.13% 5.5 2060s 14199 6535 11851.5275 80 78 11861.0000 11845.9164 0.13% 5.5 2065s 14234 6562 11854.8861 86 64 11861.0000 11845.9794 0.13% 5.5 2070s 14270 6586 11857.3127 98 60 11861.0000 11845.9880 0.13% 5.5 2075s 14305 6604 cutoff 99 11861.0000 11846.0000 0.13% 5.4 2080s 14340 6621 11855.5000 84 71 11861.0000 11846.0000 0.13% 5.4 2085s 14376 6649 11855.0000 99 39 11861.0000 11846.0000 0.13% 5.4 2090s 14412 6671 11846.0000 90 72 11861.0000 11846.0000 0.13% 5.4 2095s 14447 6699 11853.0000 104 74 11861.0000 11846.0000 0.13% 5.4 2100s 14482 6713 11854.0000 91 76 11861.0000 11846.0000 0.13% 5.4 2105s 14518 6724 cutoff 100 11861.0000 11846.0000 0.13% 5.4 2110s 14553 6745 11847.2027 86 83 11861.0000 11846.0000 0.13% 5.4 2115s 14585 6763 11855.5000 96 72 11861.0000 11846.0000 0.13% 5.4 2120s 14617 6771 11850.0000 94 72 11861.0000 11846.0000 0.13% 5.4 2125s 14648 6794 11851.5000 95 74 11861.0000 11846.0000 0.13% 5.4 2130s 14680 6814 11852.5000 100 39 11861.0000 11846.0000 0.13% 5.4 2135s 14711 6828 11856.3333 89 55 11861.0000 11846.0000 0.13% 5.4 2140s 14759 6856 11857.0000 105 72 11861.0000 11846.0000 0.13% 5.4 2145s 14808 6876 11856.0000 92 63 11861.0000 11846.0135 0.13% 5.4 2150s 14857 6893 cutoff 95 11861.0000 11846.0135 0.13% 5.4 2155s 14877 6909 11850.0135 96 68 11861.0000 11846.0135 0.13% 5.4 2160s 14897 6918 11846.0135 87 79 11861.0000 11846.0135 0.13% 5.4 2165s 14913 6934 11853.8423 103 76 11861.0000 11846.0135 0.13% 5.4 2170s 14930 6941 cutoff 96 11861.0000 11846.0135 0.13% 5.4 2175s 14945 6952 11858.8423 101 61 11861.0000 11846.0135 0.13% 5.4 2180s 14964 6953 11850.0135 87 68 11861.0000 11846.0135 0.13% 5.4 2185s 14980 6959 cutoff 97 11861.0000 11846.0135 0.13% 5.4 2190s 14997 6970 infeasible 99 11861.0000 11846.0152 0.13% 5.4 2195s 15040 6988 11847.5270 94 34 11861.0000 11846.0270 0.13% 5.4 2200s 15083 6996 11850.2770 96 36 11861.0000 11846.0270 0.13% 5.4 2205s 15126 7006 11846.0270 87 44 11861.0000 11846.0270 0.13% 5.4 2210s 15165 7020 infeasible 105 11861.0000 11846.0270 0.13% 5.4 2215s 15209 7026 cutoff 97 11861.0000 11846.0270 0.13% 5.4 2220s 15249 7056 11850.5270 94 41 11861.0000 11846.0270 0.13% 5.4 2225s 15286 7077 11856.5270 111 31 11861.0000 11846.0270 0.13% 5.4 2230s 15321 7095 11859.0270 112 39 11861.0000 11846.0270 0.13% 5.4 2235s 15364 7127 11859.9091 105 40 11861.0000 11846.0270 0.13% 5.4 2240s 15407 7149 11849.2770 107 43 11861.0000 11846.0270 0.13% 5.4 2245s 15447 7166 11853.0270 94 43 11861.0000 11846.0270 0.13% 5.4 2250s 15486 7178 11857.0270 98 45 11861.0000 11846.0270 0.13% 5.4 2255s 15529 7200 11853.3604 99 43 11861.0000 11846.0270 0.13% 5.4 2260s 15572 7227 infeasible 107 11861.0000 11846.0270 0.13% 5.3 2265s 15615 7241 11848.0270 85 41 11861.0000 11846.0270 0.13% 5.3 2270s 15655 7269 cutoff 100 11861.0000 11846.0270 0.13% 5.3 2275s 15699 7290 11848.0270 88 34 11861.0000 11846.0270 0.13% 5.3 2280s 15742 7311 11852.6787 94 49 11861.0000 11846.0360 0.13% 5.3 2285s 15785 7322 cutoff 109 11861.0000 11846.0360 0.13% 5.3 2290s 15823 7341 11852.2143 99 29 11861.0000 11846.0360 0.13% 5.3 2295s 15867 7366 11850.8333 86 84 11861.0000 11846.0541 0.13% 5.3 2300s 15911 7396 11857.2117 97 52 11861.0000 11846.0952 0.13% 5.3 2305s 15949 7412 11852.8861 89 70 11861.0000 11846.0952 0.13% 5.3 2310s 15993 7424 cutoff 97 11861.0000 11846.1087 0.13% 5.3 2315s 16036 7445 11851.0000 81 49 11861.0000 11846.1354 0.13% 5.3 2320s 16078 7460 11856.0000 94 45 11861.0000 11846.1354 0.13% 5.3 2325s 16118 7484 11857.8889 92 68 11861.0000 11846.1373 0.13% 5.3 2330s 16161 7504 11851.6923 87 92 11861.0000 11846.1373 0.13% 5.3 2335s 16204 7522 11850.1923 82 78 11861.0000 11846.1373 0.13% 5.3 2340s 16248 7544 11854.1923 89 71 11861.0000 11846.1373 0.13% 5.3 2345s 16288 7563 11860.0000 91 72 11861.0000 11846.1441 0.13% 5.3 2350s 16330 7579 11846.1667 86 58 11861.0000 11846.1667 0.13% 5.3 2355s 16373 7602 11847.4167 96 79 11861.0000 11846.1667 0.13% 5.3 2360s 16413 7630 11846.1667 87 62 11861.0000 11846.1667 0.13% 5.3 2365s 16447 7657 11854.1667 92 60 11861.0000 11846.1667 0.13% 5.3 2370s 16491 7685 11850.1667 90 60 11861.0000 11846.1667 0.13% 5.3 2375s 16534 7713 11849.4167 103 80 11861.0000 11846.1667 0.13% 5.3 2380s 16577 7730 11857.0000 92 51 11861.0000 11846.1667 0.13% 5.3 2385s 16616 7752 11853.0000 97 64 11861.0000 11846.1667 0.13% 5.3 2390s 16652 7771 11854.1667 95 62 11861.0000 11846.1667 0.13% 5.3 2395s 16695 7790 11858.0000 102 60 11861.0000 11846.1667 0.13% 5.3 2400s 16738 7807 11859.3750 104 77 11861.0000 11846.1667 0.13% 5.3 2405s 16781 7835 cutoff 96 11861.0000 11846.1667 0.13% 5.3 2410s 16820 7837 11850.5000 97 64 11861.0000 11846.1667 0.13% 5.2 2415s 16863 7855 cutoff 98 11861.0000 11846.1699 0.13% 5.2 2420s 16907 7874 11856.4286 93 41 11861.0000 11846.1976 0.12% 5.2 2425s 16949 7895 11857.7857 92 51 11861.0000 11846.2667 0.12% 5.2 2430s 16988 7907 11859.0270 102 29 11861.0000 11846.2770 0.12% 5.2 2435s 17032 7925 11850.6413 82 90 11861.0000 11846.3127 0.12% 5.2 2440s 17075 7956 11848.8127 98 58 11861.0000 11846.3127 0.12% 5.2 2445s 17114 7987 11858.6699 100 74 11861.0000 11846.3127 0.12% 5.2 2450s 17158 8008 infeasible 94 11861.0000 11846.3127 0.12% 5.2 2455s 17201 8025 11853.9794 96 64 11861.0000 11846.3127 0.12% 5.2 2460s 17245 8028 cutoff 92 11861.0000 11846.3127 0.12% 5.2 2465s 17288 8055 11855.3127 94 55 11861.0000 11846.3127 0.12% 5.2 2470s 17327 8074 11850.8127 91 56 11861.0000 11846.3188 0.12% 5.2 2475s 17373 8109 11859.8696 92 61 11861.0000 11846.3309 0.12% 5.2 2480s 17423 8145 11853.5000 97 68 11861.0000 11846.3333 0.12% 5.2 2485s 17473 8177 11859.3333 98 70 11861.0000 11846.3333 0.12% 5.2 2490s 17501 8186 cutoff 97 11861.0000 11846.3333 0.12% 5.2 2495s 17530 8199 cutoff 93 11861.0000 11846.3333 0.12% 5.2 2500s 17559 8214 11857.3333 93 72 11861.0000 11846.3333 0.12% 5.2 2505s 17588 8224 11847.8333 92 72 11861.0000 11846.3333 0.12% 5.2 2510s 17617 8238 11859.3784 97 28 11861.0000 11846.3333 0.12% 5.2 2515s 17645 8253 cutoff 98 11861.0000 11846.3333 0.12% 5.2 2520s 17682 8274 11850.3333 88 72 11861.0000 11846.3333 0.12% 5.2 2525s 17720 8294 11854.3333 97 69 11861.0000 11846.3333 0.12% 5.2 2530s 17758 8323 11855.8333 89 72 11861.0000 11846.3333 0.12% 5.2 2535s 17795 8333 infeasible 93 11861.0000 11846.3333 0.12% 5.2 2540s 17839 8357 11848.3333 87 80 11861.0000 11846.3333 0.12% 5.2 2545s 17878 8384 11850.5000 79 90 11861.0000 11846.3333 0.12% 5.2 2550s 17917 8408 11850.2027 88 71 11861.0000 11846.3333 0.12% 5.2 2555s 17954 8428 cutoff 95 11861.0000 11846.3333 0.12% 5.2 2560s 17994 8450 11850.3514 95 63 11861.0000 11846.3483 0.12% 5.2 2565s 18036 8473 11848.3483 86 67 11861.0000 11846.3483 0.12% 5.2 2570s 18078 8501 11852.3483 91 73 11861.0000 11846.3483 0.12% 5.1 2575s 18120 8513 11856.3483 91 71 11861.0000 11846.3604 0.12% 5.1 2580s 18160 8533 11853.0270 91 38 11861.0000 11846.3604 0.12% 5.1 2585s 18202 8541 11847.4685 84 55 11861.0000 11846.3652 0.12% 5.1 2590s 18244 8567 11848.8315 89 93 11861.0000 11846.3652 0.12% 5.1 2595s 18286 8599 11852.4022 99 76 11861.0000 11846.3800 0.12% 5.1 2600s 18326 8631 11858.5000 105 33 11861.0000 11846.3800 0.12% 5.1 2605s 18368 8651 11853.4565 93 60 11861.0000 11846.3861 0.12% 5.1 2610s 18409 8670 11848.3333 95 85 11861.0000 11846.4270 0.12% 5.1 2615s 18451 8686 11851.0270 99 29 11861.0000 11846.4286 0.12% 5.1 2620s 18491 8708 cutoff 91 11861.0000 11846.4286 0.12% 5.1 2625s 18532 8720 11846.4510 80 54 11861.0000 11846.4510 0.12% 5.1 2630s 18568 8749 11852.4510 85 50 11861.0000 11846.4527 0.12% 5.1 2635s 18605 8764 11850.1190 74 103 11861.0000 11846.4685 0.12% 5.1 2640s 18642 8784 infeasible 91 11861.0000 11846.4770 0.12% 5.1 2645s 18684 8804 11849.8649 94 61 11861.0000 11846.4775 0.12% 5.1 2650s 18726 8826 11857.8649 99 61 11861.0000 11846.4775 0.12% 5.1 2655s 18764 8844 cutoff 92 11861.0000 11846.4918 0.12% 5.1 2660s 18793 8867 infeasible 86 11861.0000 11846.4918 0.12% 5.1 2665s 18822 8882 11859.6190 93 57 11861.0000 11846.4918 0.12% 5.1 2670s 18850 8905 11857.0000 101 65 11861.0000 11846.4918 0.12% 5.1 2675s 18879 8925 11855.0000 98 58 11861.0000 11846.4918 0.12% 5.1 2680s 18908 8935 11853.0710 88 80 11861.0000 11846.4918 0.12% 5.1 2685s 18937 8952 11857.0000 89 63 11861.0000 11846.4918 0.12% 5.1 2690s 18974 8980 11853.0000 90 60 11861.0000 11846.5000 0.12% 5.1 2695s 19010 9014 11854.6190 91 59 11861.0000 11846.5000 0.12% 5.1 2700s 19045 9021 11846.6667 82 43 11861.0000 11846.5016 0.12% 5.1 2705s 19081 9039 11848.9674 84 77 11861.0000 11846.5016 0.12% 5.1 2710s 19117 9063 11848.9674 84 72 11861.0000 11846.5027 0.12% 5.1 2715s 19158 9091 11853.9000 96 39 11861.0000 11846.5205 0.12% 5.1 2720s 19200 9115 11857.8696 96 56 11861.0000 11846.5261 0.12% 5.1 2725s 19239 9139 infeasible 80 11861.0000 11846.5270 0.12% 5.1 2730s 19281 9145 cutoff 94 11861.0000 11846.5270 0.12% 5.1 2735s 19323 9164 11850.5270 89 45 11861.0000 11846.5270 0.12% 5.1 2740s 19365 9191 11848.0270 92 39 11861.0000 11846.5270 0.12% 5.1 2745s 19405 9223 11856.5270 105 59 11861.0000 11846.5270 0.12% 5.1 2750s 19447 9242 11855.5270 102 48 11861.0000 11846.5270 0.12% 5.1 2755s 19489 9264 11853.5405 95 63 11861.0000 11846.5270 0.12% 5.1 2760s 19531 9276 11847.5270 93 61 11861.0000 11846.5270 0.12% 5.1 2765s 19571 9298 11849.5270 95 41 11861.0000 11846.5270 0.12% 5.1 2770s 19612 9304 11855.5270 103 41 11861.0000 11846.5270 0.12% 5.1 2775s 19654 9308 11853.0270 100 29 11861.0000 11846.5270 0.12% 5.1 2780s 19695 9330 11858.0270 106 48 11861.0000 11846.5270 0.12% 5.1 2785s 19733 9328 11847.0360 82 71 11861.0000 11846.5530 0.12% 5.1 2790s 19773 9366 11854.5000 106 38 11861.0000 11846.5530 0.12% 5.1 2795s 19812 9389 11850.5319 88 70 11861.0000 11846.5652 0.12% 5.1 2800s 19850 9420 11856.6377 90 96 11861.0000 11846.5800 0.12% 5.1 2805s 19888 9443 11848.2545 84 75 11861.0000 11846.6170 0.12% 5.1 2810s 19927 9468 11859.0000 86 35 11861.0000 11846.6170 0.12% 5.1 2815s 19964 9492 11858.5000 99 26 11861.0000 11846.6170 0.12% 5.1 2820s 19999 9503 cutoff 90 11861.0000 11846.6170 0.12% 5.1 2825s 20034 9532 11853.8696 85 56 11861.0000 11846.6170 0.12% 5.1 2830s 20076 9564 11857.4674 81 77 11861.0000 11846.6170 0.12% 5.1 2835s 20118 9581 11856.1111 83 68 11861.0000 11846.6170 0.12% 5.1 2840s 20160 9595 11846.7024 77 85 11861.0000 11846.6236 0.12% 5.1 2845s 20199 9623 cutoff 85 11861.0000 11846.6250 0.12% 5.1 2850s 20246 9647 11848.1111 81 71 11861.0000 11846.6270 0.12% 5.1 2855s 20295 9663 11847.4674 73 68 11861.0000 11846.6373 0.12% 5.1 2860s 20336 9702 11857.0000 93 37 11861.0000 11846.6373 0.12% 5.1 2865s 20386 9726 11852.1923 99 93 11861.0000 11846.6373 0.12% 5.1 2870s 20433 9747 cutoff 90 11861.0000 11846.6441 0.12% 5.1 2875s 20477 9770 11856.3649 106 61 11861.0000 11846.6441 0.12% 5.1 2880s 20520 9784 11851.8649 99 63 11861.0000 11846.6441 0.12% 5.1 2885s 20562 9811 11858.3649 103 65 11861.0000 11846.6441 0.12% 5.1 2890s 20605 9828 infeasible 105 11861.0000 11846.6441 0.12% 5.1 2895s 20647 9848 11848.0000 88 26 11861.0000 11846.6667 0.12% 5.1 2900s 20695 9864 11857.0000 95 52 11861.0000 11846.6667 0.12% 5.1 2905s 20744 9898 11857.0000 93 80 11861.0000 11846.6667 0.12% 5.1 2910s 20789 9914 cutoff 91 11861.0000 11846.6667 0.12% 5.1 2915s 20839 9937 11848.7576 81 70 11861.0000 11846.6667 0.12% 5.1 2920s 20883 9958 cutoff 94 11861.0000 11846.6667 0.12% 5.0 2925s 20924 9989 11852.8111 85 86 11861.0000 11846.6667 0.12% 5.0 2930s 20963 10002 11853.1111 89 70 11861.0000 11846.6667 0.12% 5.0 2935s 21008 10032 11854.2143 104 35 11861.0000 11846.6667 0.12% 5.0 2940s 21055 10067 11856.7143 107 47 11861.0000 11846.6667 0.12% 5.0 2945s 21104 10081 11854.1787 93 63 11861.0000 11846.6787 0.12% 5.0 2950s 21142 10085 11848.1787 87 63 11861.0000 11846.6937 0.12% 5.0 2955s 21186 10101 11857.5270 104 26 11861.0000 11846.6937 0.12% 5.0 2960s 21230 10097 cutoff 96 11861.0000 11846.6937 0.12% 5.0 2965s 21274 10116 cutoff 104 11861.0000 11846.6937 0.12% 5.0 2970s 21317 10123 cutoff 94 11861.0000 11846.6942 0.12% 5.0 2975s 21366 10157 11851.2942 89 105 11861.0000 11846.7024 0.12% 5.0 2980s 21415 10185 11855.0000 79 41 11861.0000 11846.7024 0.12% 5.0 2985s 21456 10212 11853.4524 84 88 11861.0000 11846.7024 0.12% 5.0 2990s 21503 10232 11856.5831 86 73 11861.0000 11846.7024 0.12% 5.0 2995s 21552 10251 11853.8696 91 60 11861.0000 11846.7024 0.12% 5.0 3000s 21596 10267 cutoff 95 11861.0000 11846.7024 0.12% 5.0 3005s 21644 10291 11852.0000 90 67 11861.0000 11846.7024 0.12% 5.0 3010s 21693 10320 11850.7024 75 79 11861.0000 11846.7024 0.12% 5.0 3015s 21739 10350 11850.7024 77 75 11861.0000 11846.7027 0.12% 5.0 3020s 21785 10372 11850.5000 86 39 11861.0000 11846.7438 0.12% 5.0 3025s 21834 10397 11854.9286 93 45 11861.0000 11846.7460 0.12% 5.0 3030s 21883 10426 11849.5270 85 44 11861.0000 11846.7778 0.12% 5.0 3035s 21929 10452 11852.2778 91 66 11861.0000 11846.7778 0.12% 5.0 3040s 21969 10470 11848.1111 95 102 11861.0000 11846.7778 0.12% 5.0 3045s 22009 10490 11854.7778 91 72 11861.0000 11846.7778 0.12% 5.0 3050s 22049 10499 cutoff 96 11861.0000 11846.7778 0.12% 5.0 3055s 22085 10512 cutoff 101 11861.0000 11846.7778 0.12% 5.0 3060s 22130 10534 11848.7778 82 67 11861.0000 11846.7778 0.12% 5.0 3065s 22173 10567 11853.1528 90 67 11861.0000 11846.7778 0.12% 5.0 3070s 22218 10588 cutoff 99 11861.0000 11846.7778 0.12% 5.0 3075s 22262 10604 11846.7778 88 70 11861.0000 11846.7778 0.12% 5.0 3080s 22310 10623 cutoff 98 11861.0000 11846.7778 0.12% 5.0 3085s 22360 10639 11858.7778 94 70 11861.0000 11846.7778 0.12% 5.0 3090s 22409 10666 11850.7778 91 78 11861.0000 11846.7778 0.12% 5.0 3095s 22450 10696 11857.0000 111 50 11861.0000 11846.7778 0.12% 5.0 3100s 22499 10716 11857.2778 94 70 11861.0000 11846.7813 0.12% 5.0 3105s 22548 10751 11854.5000 98 42 11861.0000 11846.7857 0.12% 5.0 3110s 22597 10774 infeasible 108 11861.0000 11846.8105 0.12% 5.0 3115s 22642 10795 11852.3127 88 62 11861.0000 11846.8127 0.12% 5.0 3120s 22692 10818 11852.0270 89 40 11861.0000 11846.8333 0.12% 5.0 3125s 22743 10848 cutoff 111 11861.0000 11846.8333 0.12% 5.0 3130s 22793 10879 11859.9167 93 69 11861.0000 11846.8333 0.12% 5.0 3135s 22829 10901 11855.6667 85 65 11861.0000 11846.8333 0.12% 5.0 3140s 22878 10932 11855.6667 86 76 11861.0000 11846.8333 0.12% 5.0 3145s 22927 10964 cutoff 96 11861.0000 11846.8333 0.12% 5.0 3150s 22969 10985 11853.0000 84 53 11861.0000 11846.8333 0.12% 5.0 3155s 23016 10999 11852.7027 101 48 11861.0000 11846.8483 0.12% 5.0 3160s 23066 11032 11857.0000 104 38 11861.0000 11846.8564 0.12% 5.0 3165s 23110 11056 11852.4457 86 73 11861.0000 11846.8564 0.12% 5.0 3170s 23157 11072 11857.3261 88 41 11861.0000 11846.8564 0.12% 5.0 3175s 23200 11099 11854.0270 89 60 11861.0000 11846.8564 0.12% 5.0 3180s 23248 11135 11858.3913 89 43 11861.0000 11846.8571 0.12% 5.0 3185s 23297 11145 11849.9118 81 74 11861.0000 11846.8986 0.12% 5.0 3190s 23340 11171 11848.5652 86 85 11861.0000 11846.8986 0.12% 5.0 3195s 23384 11192 11846.8986 80 68 11861.0000 11846.8986 0.12% 5.0 3200s 23435 11232 11858.5652 111 59 11861.0000 11846.8986 0.12% 5.0 3205s 23483 11271 11859.0000 110 54 11861.0000 11846.8986 0.12% 5.0 3210s 23526 11303 cutoff 114 11861.0000 11846.8986 0.12% 5.0 3215s 23565 11324 cutoff 90 11861.0000 11846.8986 0.12% 5.0 3220s 23613 11350 11856.4056 84 90 11861.0000 11846.9054 0.12% 5.0 3225s 23662 11375 11856.5000 106 24 11861.0000 11846.9167 0.12% 5.0 3230s 23706 11398 11855.0000 90 24 11861.0000 11846.9167 0.12% 5.0 3235s 23749 11413 11852.9286 83 64 11861.0000 11846.9286 0.12% 5.0 3240s 23793 11432 cutoff 107 11861.0000 11846.9286 0.12% 5.0 3245s 23837 11460 11857.7619 107 67 11861.0000 11846.9373 0.12% 4.9 3250s 23878 11474 cutoff 99 11861.0000 11846.9437 0.12% 4.9 3255s 23928 11491 cutoff 91 11861.0000 11846.9457 0.12% 5.0 3260s 23979 11507 cutoff 93 11861.0000 11846.9457 0.12% 5.0 3265s 24029 11520 11846.9457 79 71 11861.0000 11846.9457 0.12% 4.9 3270s 24069 11536 11850.9457 84 71 11861.0000 11846.9457 0.12% 4.9 3275s 24113 11547 11847.4493 81 60 11861.0000 11846.9794 0.12% 4.9 3280s 24156 11562 11851.9286 86 63 11861.0000 11846.9971 0.12% 4.9 3285s 24205 11586 11855.5000 97 74 11861.0000 11847.0000 0.12% 4.9 3290s 24245 11596 11851.0000 88 37 11861.0000 11847.0000 0.12% 4.9 3295s 24289 11616 11857.0000 97 32 11861.0000 11847.0000 0.12% 4.9 3300s 24333 11636 11859.0000 97 37 11861.0000 11847.0000 0.12% 4.9 3305s 24377 11658 infeasible 102 11861.0000 11847.0000 0.12% 4.9 3310s 24420 11675 cutoff 92 11861.0000 11847.0000 0.12% 4.9 3315s 24469 11698 11858.5270 99 43 11861.0000 11847.0000 0.12% 4.9 3320s 24517 11734 11852.0270 90 28 11861.0000 11847.0000 0.12% 4.9 3325s 24557 11752 11857.0270 92 29 11861.0000 11847.0000 0.12% 4.9 3330s 24599 11793 11856.0270 93 31 11861.0000 11847.0000 0.12% 4.9 3335s 24640 11805 cutoff 102 11861.0000 11847.0000 0.12% 4.9 3340s 24678 11824 11855.9286 99 84 11861.0000 11847.0000 0.12% 4.9 3345s 24715 11842 11851.0000 86 45 11861.0000 11847.0000 0.12% 4.9 3350s 24753 11863 11855.5000 89 57 11861.0000 11847.0000 0.12% 4.9 3355s 24791 11870 cutoff 89 11861.0000 11847.0000 0.12% 4.9 3360s 24829 11893 11852.5000 91 57 11861.0000 11847.0000 0.12% 4.9 3365s 24868 11916 11851.0000 82 64 11861.0000 11847.0000 0.12% 4.9 3370s 24906 11931 cutoff 95 11861.0000 11847.0000 0.12% 4.9 3375s 24944 11946 11857.5000 86 62 11861.0000 11847.0000 0.12% 4.9 3380s 24982 11956 infeasible 95 11861.0000 11847.0000 0.12% 4.9 3385s 25021 11983 11860.0000 91 49 11861.0000 11847.0000 0.12% 4.9 3390s 25057 12007 11851.0000 86 56 11861.0000 11847.0000 0.12% 4.9 3395s 25093 12025 11851.0000 84 67 11861.0000 11847.0000 0.12% 4.9 3400s 25130 12037 11859.0000 86 52 11861.0000 11847.0000 0.12% 4.9 3405s 25166 12057 11852.5000 113 37 11861.0000 11847.0000 0.12% 4.9 3410s 25202 12076 11856.3333 107 38 11861.0000 11847.0000 0.12% 4.9 3415s 25239 12090 11848.0000 101 44 11861.0000 11847.0000 0.12% 4.9 3420s 25277 12114 11858.1250 93 74 11861.0000 11847.0000 0.12% 4.9 3425s 25315 12135 11854.5000 85 56 11861.0000 11847.0000 0.12% 4.9 3430s 25353 12160 11853.0000 94 36 11861.0000 11847.0000 0.12% 4.9 3435s 25391 12174 11851.0000 89 34 11861.0000 11847.0000 0.12% 4.9 3440s 25430 12198 11856.0000 98 55 11861.0000 11847.0000 0.12% 4.9 3445s 25467 12207 11855.0000 92 39 11861.0000 11847.0000 0.12% 4.9 3450s 25505 12214 infeasible 103 11861.0000 11847.0000 0.12% 4.9 3455s 25543 12236 11853.0000 88 72 11861.0000 11847.0000 0.12% 4.9 3460s 25581 12246 11858.3604 95 39 11861.0000 11847.0000 0.12% 4.9 3465s 25619 12266 11858.0000 99 38 11861.0000 11847.0000 0.12% 4.9 3470s 25657 12288 11851.0000 86 48 11861.0000 11847.0000 0.12% 4.9 3475s 25695 12312 11859.5000 100 62 11861.0000 11847.0000 0.12% 4.9 3480s 25733 12326 11851.5000 98 74 11861.0000 11847.0000 0.12% 4.9 3485s 25771 12337 11849.5000 100 45 11861.0000 11847.0000 0.12% 4.9 3490s 25809 12358 11849.0000 91 42 11861.0000 11847.0000 0.12% 4.9 3495s 25847 12388 11853.0000 99 44 11861.0000 11847.0000 0.12% 4.9 3500s 25885 12407 11849.0000 87 34 11861.0000 11847.0000 0.12% 4.9 3505s 25922 12425 11856.0000 94 36 11861.0000 11847.0000 0.12% 4.9 3510s 25962 12444 11848.7619 88 65 11861.0000 11847.0135 0.12% 4.9 3515s 26003 12463 infeasible 92 11861.0000 11847.0135 0.12% 4.9 3520s 26043 12479 11857.0135 99 58 11861.0000 11847.0270 0.12% 4.9 3525s 26083 12479 cutoff 92 11861.0000 11847.0270 0.12% 4.9 3530s 26123 12505 11855.5270 93 55 11861.0000 11847.0270 0.12% 4.9 3535s 26163 12512 infeasible 104 11861.0000 11847.0270 0.12% 4.9 3540s 26201 12518 infeasible 96 11861.0000 11847.0270 0.12% 4.9 3545s 26236 12521 11859.5270 95 38 11861.0000 11847.0270 0.12% 4.9 3550s 26271 12518 11852.0270 87 43 11861.0000 11847.0270 0.12% 4.9 3555s 26307 12523 11849.0270 88 29 11861.0000 11847.0270 0.12% 4.9 3560s 26342 12528 cutoff 97 11861.0000 11847.0270 0.12% 4.9 3565s 26377 12537 cutoff 94 11861.0000 11847.0270 0.12% 4.9 3570s 26412 12549 11853.0270 91 43 11861.0000 11847.0270 0.12% 4.9 3575s 26447 12559 cutoff 97 11861.0000 11847.0270 0.12% 4.9 3580s 26482 12569 infeasible 112 11861.0000 11847.0270 0.12% 4.9 3585s 26517 12571 11855.0270 99 29 11861.0000 11847.0270 0.12% 4.9 3590s 26551 12575 11847.5270 95 61 11861.0000 11847.0270 0.12% 4.9 3595s 26585 12597 infeasible 96 11861.0000 11847.0270 0.12% 4.9 3600s Cutting planes: User: 49 Gomory: 79 MIR: 2 Zero half: 82 Explored 26586 nodes (135461 simplex iterations) in 3600.02 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective 1.186100000000e+04, best bound 1.184800000000e+04, gap 0.1096% Gurobi 5.0.1 (linux64) logging started Sun Nov 25 08:57:31 2012