Optimize a model with 417 rows, 86736 columns and 173472 nonzeros Presolve time: 0.36s 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 - - 0s 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 - - 1s 0 0 9010.50000 0 78 - 9010.50000 - - 1s 0 0 9011.00000 0 86 - 9011.00000 - - 1s 0 0 9012.00000 0 86 - 9012.00000 - - 1s 0 0 9013.00000 0 85 - 9013.00000 - - 1s 0 0 9013.00000 0 70 - 9013.00000 - - 1s 0 0 9014.06667 0 95 - 9014.06667 - - 1s 0 0 9015.75000 0 80 - 9015.75000 - - 1s 0 0 9015.75000 0 93 - 9015.75000 - - 2s 0 0 9015.75000 0 57 - 9015.75000 - - 2s 0 2 9015.75000 0 53 - 9015.75000 - - 6s 233 235 9824.50000 201 36 - 9453.25000 - 2.9 10s 554 556 10073.5000 467 32 - 9453.25000 - 2.7 15s 876 878 10902.5000 692 22 - 9453.25000 - 2.8 20s 1201 1182 9605.50000 78 57 - 9453.50000 - 2.7 25s 1213 1190 12334.0000 834 68 - 9959.44444 - 2.7 35s 1273 1232 10883.7500 40 65 - 10259.3571 - 8.6 40s 1451 1351 11821.5000 129 6 - 10259.3571 - 8.2 45s 1663 1492 12062.0000 235 6 - 10259.3571 - 7.6 50s 1921 1664 12395.5000 364 6 - 10259.3571 - 7.1 55s 2184 1839 12645.5000 496 8 - 10259.3571 - 6.8 60s 2437 2008 13042.0000 622 12 - 10259.3571 - 6.6 65s 2700 2183 13407.5000 754 8 - 10259.3571 - 6.4 70s 2977 2368 14368.5000 892 6 - 10259.3571 - 6.1 75s 3263 2559 17327.0000 1035 6 - 10259.3571 - 6.0 80s 3550 2722 11769.5000 121 6 - 10263.3571 - 5.9 85s 3813 2897 12007.0000 253 10 - 10263.3571 - 5.9 90s 4140 3115 12493.5000 416 6 - 10263.3571 - 5.7 95s 4377 3251 11614.0000 97 10 - 10278.1429 - 5.6 100s 4656 3437 12137.0000 237 22 - 10278.1429 - 5.6 105s 4936 3675 12303.0000 377 6 - 10278.1429 - 5.6 110s 4947 3686 12312.0000 382 6 - 10278.1429 - 5.6 115s 5199 3938 12889.0000 508 6 - 10278.1429 - 5.6 120s 5438 4177 13676.5000 628 12 - 10278.1429 - 5.6 125s * 5446 3746 632 13872.000000 10278.1429 25.9% 5.6 126s H 5452 3737 13856.000000 10278.1429 25.8% 5.6 126s 5576 3851 11714.0000 75 6 13856.0000 10281.1429 25.8% 5.6 130s 5730 4005 12036.0000 137 8 13856.0000 10281.1429 25.8% 5.6 135s * 5788 2076 151 12194.000000 10281.1429 15.7% 5.7 139s * 5792 2061 151 12189.000000 10281.1429 15.7% 5.7 139s 5808 2066 11812.0000 18 36 12189.0000 10283.8333 15.6% 5.7 140s 5901 2158 12182.0000 146 57 12189.0000 10283.8333 15.6% 5.7 155s 5911 2165 12059.5000 214 106 12189.0000 11831.4410 2.93% 5.7 160s 5915 2167 11831.5027 98 78 12189.0000 11831.5027 2.93% 5.7 165s H 5916 2059 11870.000000 11831.5027 0.32% 5.7 168s 5923 2066 11842.0000 26 32 11870.0000 11833.0647 0.31% 6.0 170s 6011 2121 11846.8577 35 131 11870.0000 11833.0647 0.31% 6.0 175s 6022 2128 11842.0000 54 183 11870.0000 11835.7703 0.29% 6.0 180s H 6084 2061 11869.000000 11836.9445 0.27% 6.5 185s 7840 2873 11856.0000 89 38 11869.0000 11839.5599 0.25% 6.1 190s 10599 4144 11841.0303 49 81 11869.0000 11840.8933 0.24% 5.7 195s *11356 4311 106 11868.000000 11841.1386 0.23% 5.6 197s 12808 5330 11859.0000 91 35 11868.0000 11841.3333 0.22% 5.4 200s H13501 4336 11861.000000 11841.4508 0.16% 5.3 202s 14787 5240 cutoff 60 11861.0000 11841.8889 0.16% 5.3 205s 17638 7259 11855.5000 73 62 11861.0000 11842.2451 0.16% 5.2 210s 20338 9128 11856.1818 79 60 11861.0000 11842.6667 0.15% 5.1 215s 23020 10902 11855.8750 73 65 11861.0000 11843.0000 0.15% 5.0 220s 25681 12632 11848.5000 57 41 11861.0000 11843.4364 0.15% 5.0 225s 25921 12813 11857.0000 77 32 11861.0000 11843.4561 0.15% 5.0 230s 25955 12840 11854.0909 70 63 11861.0000 11843.4589 0.15% 5.0 235s 27466 13782 11848.0476 50 69 11861.0000 11843.6462 0.15% 5.0 240s 29268 14953 11844.2327 44 78 11861.0000 11843.7857 0.15% 4.9 245s 31039 16091 11850.6098 61 55 11861.0000 11844.0000 0.14% 4.9 250s 32786 17220 11858.0000 60 41 11861.0000 11844.0000 0.14% 4.9 255s 34518 18320 11858.0000 79 40 11861.0000 11844.1011 0.14% 4.9 260s 36123 19356 cutoff 59 11861.0000 11844.2338 0.14% 4.9 265s 37910 20468 11851.7000 59 50 11861.0000 11844.3646 0.14% 4.9 270s 39555 21501 11847.5000 54 52 11861.0000 11844.5000 0.14% 4.8 275s 41396 22684 11856.5000 69 32 11861.0000 11844.6667 0.14% 4.8 280s 44218 24385 11857.3333 63 49 11861.0000 11844.8125 0.14% 4.8 285s 47030 25999 11849.0000 59 42 11861.0000 11845.0000 0.13% 4.8 290s 49917 27457 11854.3333 56 43 11861.0000 11845.0000 0.13% 4.8 295s 52739 28909 11852.6000 55 64 11861.0000 11845.1161 0.13% 4.8 300s 54249 29694 11855.0000 52 34 11861.0000 11845.3333 0.13% 4.8 306s 56001 30557 11850.0000 55 26 11861.0000 11845.3701 0.13% 4.8 310s 58880 31983 11854.7500 66 68 11861.0000 11845.6250 0.13% 4.8 315s 61694 33348 11852.3333 64 59 11861.0000 11845.8000 0.13% 4.8 320s 64488 34817 11857.3016 57 26 11861.0000 11846.0000 0.13% 4.9 325s 67311 36138 11859.0000 66 21 11861.0000 11846.0000 0.13% 4.8 330s 70228 37469 11859.0000 59 66 11861.0000 11846.0000 0.13% 4.8 335s 73184 38839 11857.0000 61 36 11861.0000 11846.1579 0.13% 4.8 340s 75957 40120 cutoff 62 11861.0000 11846.3333 0.12% 4.8 345s 78968 41413 11854.6349 60 53 11861.0000 11846.4111 0.12% 4.8 350s 82041 42870 11859.0541 54 46 11861.0000 11846.5675 0.12% 4.8 355s 84960 44161 11856.0000 64 53 11861.0000 11846.7333 0.12% 4.8 360s 87846 45442 11859.0000 56 38 11861.0000 11846.9653 0.12% 4.8 365s 90786 46682 11856.0000 70 48 11861.0000 11847.0000 0.12% 4.8 370s 93789 47865 11853.1176 52 67 11861.0000 11847.0000 0.12% 4.8 375s 96897 49266 11856.4551 53 56 11861.0000 11847.0000 0.12% 4.8 380s 99778 50492 11855.3333 49 51 11861.0000 11847.1458 0.12% 4.8 385s 102523 51587 cutoff 75 11861.0000 11847.3333 0.12% 4.8 390s 105589 53052 11859.5000 78 47 11861.0000 11847.3333 0.12% 4.8 395s 108446 54193 11856.6667 79 54 11861.0000 11847.4364 0.11% 4.8 400s 111283 55328 11859.0000 67 47 11861.0000 11847.5669 0.11% 4.8 405s 114130 56481 11859.0000 62 51 11861.0000 11847.6667 0.11% 4.8 410s 117095 57773 cutoff 78 11861.0000 11847.8000 0.11% 4.8 415s 120042 58875 11855.0417 59 75 11861.0000 11848.0000 0.11% 4.8 420s 123082 60008 cutoff 84 11861.0000 11848.0000 0.11% 4.8 425s 126067 61051 11858.0000 68 26 11861.0000 11848.0000 0.11% 4.8 430s 126152 61069 11855.2500 80 74 11861.0000 11848.0000 0.11% 4.8 435s 126659 61275 11858.2857 67 70 11861.0000 11848.0000 0.11% 4.8 440s 129476 62484 11855.5926 58 24 11861.0000 11848.1562 0.11% 4.8 445s 132499 63746 infeasible 83 11861.0000 11848.3158 0.11% 4.8 450s 135377 64738 11855.8095 55 62 11861.0000 11848.4000 0.11% 4.8 455s 138284 66118 11858.0000 72 34 11861.0000 11848.4792 0.11% 4.8 460s 141226 67191 11858.3016 65 26 11861.0000 11848.5167 0.11% 4.8 465s 144240 68470 cutoff 64 11861.0000 11848.6667 0.10% 4.8 470s 147314 69602 11859.0000 56 36 11861.0000 11848.7273 0.10% 4.8 475s 150211 70720 11854.6250 60 69 11861.0000 11848.8571 0.10% 4.8 480s 153274 72060 11859.0000 59 27 11861.0000 11849.0000 0.10% 4.8 485s 156459 73432 11860.0000 67 53 11861.0000 11849.0000 0.10% 4.8 490s 159549 74777 11853.0000 56 68 11861.0000 11849.0000 0.10% 4.8 495s 162574 76193 11857.0000 62 42 11861.0000 11849.0000 0.10% 4.8 500s 165710 77387 cutoff 55 11861.0000 11849.0000 0.10% 4.8 505s 168772 78551 11859.3333 69 56 11861.0000 11849.0000 0.10% 4.8 510s 171888 79793 11855.4000 56 63 11861.0000 11849.0000 0.10% 4.8 515s 174922 81013 11857.0000 68 41 11861.0000 11849.0000 0.10% 4.8 520s 177824 82228 11855.3000 64 82 11861.0000 11849.0000 0.10% 4.8 525s 180768 83216 11852.6667 55 95 11861.0000 11849.0911 0.10% 4.8 530s 183734 84410 cutoff 80 11861.0000 11849.2222 0.10% 4.8 535s 186686 85543 11857.3333 54 66 11861.0000 11849.3333 0.10% 4.8 540s 189552 86505 11857.0000 64 44 11861.0000 11849.4000 0.10% 4.8 545s 192504 87655 11860.0000 81 34 11861.0000 11849.5000 0.10% 4.8 550s 195458 88552 11857.6667 68 52 11861.0000 11849.6190 0.10% 4.8 555s 198449 89727 11856.8333 72 63 11861.0000 11849.6667 0.10% 4.8 560s 201380 90626 11855.0000 74 51 11861.0000 11849.7500 0.09% 4.8 565s 204347 91831 cutoff 72 11861.0000 11849.8254 0.09% 4.8 570s 207289 92833 11858.5000 61 24 11861.0000 11849.9464 0.09% 4.8 575s 210223 94006 11858.0000 54 12 11861.0000 11850.0000 0.09% 4.8 580s 213305 95191 11858.8333 73 42 11861.0000 11850.0000 0.09% 4.8 585s 216639 96367 11851.5000 75 38 11861.0000 11850.0000 0.09% 4.8 590s 219825 97524 cutoff 63 11861.0000 11850.0000 0.09% 4.8 595s 222842 98392 cutoff 61 11861.0000 11850.0000 0.09% 4.7 600s 225776 99242 11859.0000 84 35 11861.0000 11850.0000 0.09% 4.7 605s 228927 100223 11853.2500 61 62 11861.0000 11850.0000 0.09% 4.7 610s 232024 101141 11854.0000 52 69 11861.0000 11850.0000 0.09% 4.7 615s 232678 101427 11857.0000 58 75 11861.0000 11850.0000 0.09% 4.7 622s 233980 101833 infeasible 62 11861.0000 11850.0230 0.09% 4.7 625s 236966 102971 11851.0000 55 33 11861.0000 11850.1111 0.09% 4.7 630s 239908 104000 11857.7207 62 78 11861.0000 11850.2222 0.09% 4.7 635s 242762 104859 cutoff 76 11861.0000 11850.3238 0.09% 4.7 640s 245727 105883 cutoff 74 11861.0000 11850.3333 0.09% 4.7 645s 248706 106891 11854.3333 58 52 11861.0000 11850.3333 0.09% 4.7 650s 251652 107933 11857.7333 62 48 11861.0000 11850.4286 0.09% 4.7 655s 254568 108921 11858.7143 65 72 11861.0000 11850.5000 0.09% 4.7 660s 257483 109562 11860.0000 74 38 11861.0000 11850.5926 0.09% 4.8 665s 260506 110469 11856.5000 60 33 11861.0000 11850.6667 0.09% 4.8 670s 263503 111317 11859.0000 58 30 11861.0000 11850.7500 0.09% 4.8 675s 266435 112203 11858.3333 63 52 11861.0000 11850.8333 0.09% 4.8 680s 269311 113005 11858.0000 63 28 11861.0000 11850.9524 0.08% 4.8 685s 272334 113911 11853.0000 66 46 11861.0000 11851.0000 0.08% 4.8 690s 275383 114881 11859.0000 64 33 11861.0000 11851.0000 0.08% 4.8 695s 278403 115799 11859.5000 62 34 11861.0000 11851.0000 0.08% 4.8 700s 281379 116831 cutoff 63 11861.0000 11851.0000 0.08% 4.8 705s 284445 117787 11855.5000 64 14 11861.0000 11851.0000 0.08% 4.8 710s 287519 118708 11857.0000 65 36 11861.0000 11851.0000 0.08% 4.7 715s 290506 119438 11857.0000 68 29 11861.0000 11851.0000 0.08% 4.8 720s 293618 120314 11857.0000 69 40 11861.0000 11851.0000 0.08% 4.7 725s 296664 121230 11857.0000 64 46 11861.0000 11851.0000 0.08% 4.7 730s 299729 122191 infeasible 88 11861.0000 11851.0000 0.08% 4.7 735s 302757 123275 cutoff 76 11861.0000 11851.0000 0.08% 4.7 740s 305741 124175 11854.3333 57 45 11861.0000 11851.0588 0.08% 4.7 745s 308731 125037 11859.7500 76 61 11861.0000 11851.1333 0.08% 4.7 750s 311586 125758 11860.0000 65 26 11861.0000 11851.2500 0.08% 4.7 755s 314385 126644 11860.0000 63 61 11861.0000 11851.3132 0.08% 4.7 760s 317249 127644 cutoff 70 11861.0000 11851.3333 0.08% 4.7 765s 320294 128620 11857.7500 63 40 11861.0000 11851.3333 0.08% 4.7 770s 323332 129306 11856.6667 63 51 11861.0000 11851.3333 0.08% 4.7 775s 326303 130210 11857.8333 52 75 11861.0000 11851.3333 0.08% 4.7 780s 329250 130985 11854.0000 53 55 11861.0000 11851.4167 0.08% 4.7 785s 332131 132314 cutoff 65 11861.0000 11851.4551 0.08% 4.7 790s 335225 133728 infeasible 63 11861.0000 11851.4583 0.08% 4.7 795s 338142 134557 11858.1429 55 55 11861.0000 11851.5000 0.08% 4.7 800s 341072 135329 11860.0000 69 34 11861.0000 11851.5000 0.08% 4.7 805s 344084 136421 11855.8842 52 61 11861.0000 11851.5698 0.08% 4.7 810s 347078 137629 11856.0159 69 25 11861.0000 11851.5926 0.08% 4.7 815s 350031 138959 11851.5926 61 37 11861.0000 11851.5926 0.08% 4.7 820s 353046 139898 11856.5714 53 40 11861.0000 11851.6320 0.08% 4.7 825s 355893 140666 11855.0000 62 41 11861.0000 11851.6667 0.08% 4.7 830s 358727 141391 cutoff 55 11861.0000 11851.7027 0.08% 4.7 835s 361166 141856 11856.9643 71 73 11861.0000 11851.7500 0.08% 4.7 844s 361184 141856 cutoff 80 11861.0000 11851.7500 0.08% 4.7 845s 363919 142703 cutoff 77 11861.0000 11851.8000 0.08% 4.7 850s 366873 143423 11859.0541 61 29 11861.0000 11851.8889 0.08% 4.7 855s 369865 144193 11859.0000 66 48 11861.0000 11851.9583 0.08% 4.7 860s 372858 145064 11856.5000 69 43 11861.0000 11852.0000 0.08% 4.7 865s 375892 145807 11855.4551 59 68 11861.0000 11852.0000 0.08% 4.7 870s 378979 146590 11854.0000 60 29 11861.0000 11852.0000 0.08% 4.7 875s 381933 147341 11860.0000 63 47 11861.0000 11852.0000 0.08% 4.7 880s 384918 147985 11854.0000 60 26 11861.0000 11852.0000 0.08% 4.7 885s 387840 148537 11860.0000 62 28 11861.0000 11852.0000 0.08% 4.7 890s 390829 149101 11859.6190 71 27 11861.0000 11852.0000 0.08% 4.7 895s 393765 149814 11858.6667 64 65 11861.0000 11852.0000 0.08% 4.7 900s 396625 150527 11858.5000 61 38 11861.0000 11852.0774 0.08% 4.7 905s 399497 151341 infeasible 64 11861.0000 11852.1333 0.07% 4.7 910s 402239 152027 11852.2000 62 61 11861.0000 11852.2000 0.07% 4.7 915s 405112 152756 11853.9250 52 55 11861.0000 11852.2500 0.07% 4.7 920s 407923 153667 11859.2857 61 52 11861.0000 11852.2885 0.07% 4.7 925s 410837 154312 11858.0000 67 20 11861.0000 11852.3333 0.07% 4.7 930s 411077 154350 cutoff 58 11861.0000 11852.3333 0.07% 4.7 935s 413956 155153 11859.0000 64 30 11861.0000 11852.3333 0.07% 4.7 940s 416818 155745 11857.0000 57 67 11861.0000 11852.3463 0.07% 4.7 945s 419622 156402 11859.0000 69 47 11861.0000 11852.4286 0.07% 4.7 950s 422514 157566 11859.5000 64 35 11861.0000 11852.4464 0.07% 4.7 955s 425269 158476 11860.0000 67 22 11861.0000 11852.4551 0.07% 4.7 960s 428153 159580 11854.4551 64 29 11861.0000 11852.4969 0.07% 4.7 965s 431233 160357 11857.0000 61 32 11861.0000 11852.5000 0.07% 4.7 970s 434135 161002 11856.7500 86 61 11861.0000 11852.5000 0.07% 4.7 975s 436943 161607 11856.0000 66 62 11861.0000 11852.5200 0.07% 4.7 980s 439744 162266 11858.6667 58 30 11861.0000 11852.5833 0.07% 4.7 985s 442645 163233 cutoff 74 11861.0000 11852.5926 0.07% 4.7 990s 445570 164385 11856.5926 58 69 11861.0000 11852.5926 0.07% 4.7 995s 448409 165094 11857.8000 61 34 11861.0000 11852.6310 0.07% 4.7 1000s 451268 165718 11859.3333 74 41 11861.0000 11852.6667 0.07% 4.7 1005s 454030 166107 cutoff 54 11861.0000 11852.6667 0.07% 4.7 1010s 456926 167314 11856.6897 52 28 11861.0000 11852.6897 0.07% 4.7 1015s 460451 168945 11857.3016 67 17 11861.0000 11852.6897 0.07% 4.7 1020s 463816 170448 11856.0000 58 18 11861.0000 11852.6961 0.07% 4.7 1025s 465773 170842 11858.0455 73 45 11861.0000 11852.7500 0.07% 4.7 1034s 466232 170901 11859.5714 68 81 11861.0000 11852.7500 0.07% 4.7 1035s 469083 171664 11859.0000 56 31 11861.0000 11852.7857 0.07% 4.7 1040s 471849 172622 11857.0000 64 53 11861.0000 11852.8095 0.07% 4.7 1045s 474601 173167 11858.0000 62 52 11861.0000 11852.8571 0.07% 4.7 1050s 477413 173706 11856.9259 63 45 11861.0000 11852.9259 0.07% 4.7 1055s 480198 174555 11859.0000 65 26 11861.0000 11852.9551 0.07% 4.7 1060s 483041 175275 11853.2500 62 26 11861.0000 11853.0000 0.07% 4.7 1065s 485905 175915 11854.0000 66 32 11861.0000 11853.0000 0.07% 4.7 1070s 488850 176524 11858.0000 70 42 11861.0000 11853.0000 0.07% 4.7 1075s 491717 177154 cutoff 62 11861.0000 11853.0000 0.07% 4.7 1080s 494749 177974 11855.0000 66 32 11861.0000 11853.0000 0.07% 4.7 1085s 497833 178817 11855.8929 56 30 11861.0000 11853.0000 0.07% 4.7 1090s 500841 179503 11856.6667 66 57 11861.0000 11853.0000 0.07% 4.7 1095s 503622 180095 cutoff 73 11861.0000 11853.0000 0.07% 4.7 1100s 506605 180853 11853.0000 55 48 11861.0000 11853.0000 0.07% 4.7 1105s 509604 181642 11857.0000 64 34 11861.0000 11853.0000 0.07% 4.7 1110s 512556 182281 11859.0000 66 34 11861.0000 11853.0000 0.07% 4.7 1115s 515505 182971 11855.6667 55 44 11861.0000 11853.0000 0.07% 4.7 1120s 518448 183618 11857.0000 72 41 11861.0000 11853.0000 0.07% 4.7 1125s 521429 184275 11853.9464 60 49 11861.0000 11853.0000 0.07% 4.7 1130s 524350 184956 11855.6667 56 39 11861.0000 11853.0000 0.07% 4.7 1135s 527355 185712 11859.0000 60 29 11861.0000 11853.0000 0.07% 4.7 1140s 530356 186409 11856.1667 68 40 11861.0000 11853.0000 0.07% 4.7 1145s 533460 187118 11856.5000 66 43 11861.0000 11853.0000 0.07% 4.7 1150s 536365 187760 cutoff 63 11861.0000 11853.0000 0.07% 4.7 1155s 539347 188460 11857.0000 65 47 11861.0000 11853.0000 0.07% 4.7 1160s 542439 189189 11859.0000 61 33 11861.0000 11853.0000 0.07% 4.7 1165s 545385 189882 cutoff 65 11861.0000 11853.0000 0.07% 4.7 1170s 548438 190478 11857.6667 57 59 11861.0000 11853.0000 0.07% 4.7 1175s 551549 191391 11858.5000 74 23 11861.0000 11853.0000 0.07% 4.7 1180s 554604 192132 cutoff 59 11861.0000 11853.0000 0.07% 4.7 1185s 557693 192810 11859.0000 56 34 11861.0000 11853.0000 0.07% 4.7 1190s 560497 193513 11857.0000 58 52 11861.0000 11853.0000 0.07% 4.7 1195s 562761 193964 11857.0000 64 52 11861.0000 11853.0000 0.07% 4.7 1205s 565363 194690 cutoff 67 11861.0000 11853.0000 0.07% 4.7 1210s 568370 195342 11857.0000 68 43 11861.0000 11853.0000 0.07% 4.7 1215s 571430 196049 11857.0625 63 45 11861.0000 11853.0000 0.07% 4.7 1220s 574422 196659 11860.0000 68 37 11861.0000 11853.0000 0.07% 4.7 1225s 577516 197350 11856.6250 57 58 11861.0000 11853.0000 0.07% 4.7 1230s 580497 197996 11856.5000 60 46 11861.0000 11853.0000 0.07% 4.7 1235s 583226 198510 cutoff 65 11861.0000 11853.0000 0.07% 4.7 1240s 586011 198942 cutoff 56 11861.0000 11853.0541 0.07% 4.7 1245s 588984 199805 11853.5926 64 37 11861.0000 11853.0926 0.07% 4.7 1250s 591698 200294 11858.0000 52 57 11861.0000 11853.1667 0.07% 4.7 1255s 594590 200722 cutoff 55 11861.0000 11853.2000 0.07% 4.7 1260s 597375 201349 cutoff 63 11861.0000 11853.2500 0.07% 4.7 1265s 599967 201686 11858.3333 72 62 11861.0000 11853.2963 0.06% 4.7 1270s 603290 202831 infeasible 77 11861.0000 11853.3016 0.06% 4.7 1275s 606881 204084 11858.0000 62 18 11861.0000 11853.3016 0.06% 4.7 1280s 610429 205202 11853.3016 65 28 11861.0000 11853.3016 0.06% 4.6 1285s 613752 206348 cutoff 66 11861.0000 11853.3016 0.06% 4.6 1290s 616868 207200 11854.4762 58 64 11861.0000 11853.3333 0.06% 4.6 1295s 619768 207763 11858.0000 63 44 11861.0000 11853.3333 0.06% 4.6 1300s 622621 208201 11859.3333 66 38 11861.0000 11853.3333 0.06% 4.6 1305s 625467 208753 11856.0000 67 34 11861.0000 11853.3664 0.06% 4.6 1310s 628172 209152 11856.7500 54 62 11861.0000 11853.4167 0.06% 4.6 1315s 630983 209761 11855.5926 60 58 11861.0000 11853.4551 0.06% 4.6 1320s 633595 210450 11859.3333 69 50 11861.0000 11853.4583 0.06% 4.6 1325s 636316 210846 11859.0000 61 35 11861.0000 11853.5000 0.06% 4.6 1330s 639108 211227 11857.5000 53 23 11861.0000 11853.5000 0.06% 4.6 1335s 641852 211662 11860.0000 60 36 11861.0000 11853.5000 0.06% 4.6 1340s 644500 212015 cutoff 60 11861.0000 11853.5466 0.06% 4.6 1345s 647390 212633 cutoff 75 11861.0000 11853.5868 0.06% 4.6 1350s 650111 213193 11857.0000 66 49 11861.0000 11853.6111 0.06% 4.6 1355s 653466 214336 11858.0753 54 36 11861.0000 11853.6252 0.06% 4.6 1360s 657012 215619 11858.5000 73 35 11861.0000 11853.6364 0.06% 4.6 1365s 659879 216023 11855.6667 64 40 11861.0000 11853.6667 0.06% 4.6 1370s 662697 216501 11859.0000 61 45 11861.0000 11853.6667 0.06% 4.6 1375s 665488 216966 11859.0000 85 20 11861.0000 11853.7027 0.06% 4.6 1380s 668389 217565 11857.4551 66 58 11861.0000 11853.7500 0.06% 4.6 1385s 671266 217962 cutoff 63 11861.0000 11853.7500 0.06% 4.6 1390s 672194 218060 11858.5000 67 40 11861.0000 11853.7500 0.06% 4.6 1397s 673333 218226 11860.0000 59 19 11861.0000 11853.7500 0.06% 4.6 1400s 676145 218948 11856.9218 59 43 11861.0000 11853.7743 0.06% 4.6 1405s 678970 219430 11855.9062 50 61 11861.0000 11853.8125 0.06% 4.6 1410s 682014 220090 cutoff 61 11861.0000 11853.8333 0.06% 4.6 1415s 684872 220607 11854.0753 53 39 11861.0000 11853.8889 0.06% 4.6 1420s 687686 221207 11854.5926 56 69 11861.0000 11853.9266 0.06% 4.6 1425s 690649 221849 11855.5973 56 74 11861.0000 11853.9683 0.06% 4.6 1430s 693639 222577 11859.5000 71 22 11861.0000 11854.0000 0.06% 4.6 1435s 696525 223038 cutoff 60 11861.0000 11854.0000 0.06% 4.6 1440s 699296 223461 11859.4000 75 52 11861.0000 11854.0000 0.06% 4.6 1445s 701574 223751 11858.0000 58 25 11861.0000 11854.0000 0.06% 4.6 1450s 704634 224137 11857.2500 64 32 11861.0000 11854.0000 0.06% 4.6 1455s 707562 224598 11859.0000 68 35 11861.0000 11854.0000 0.06% 4.6 1460s 710500 225104 cutoff 65 11861.0000 11854.0000 0.06% 4.6 1465s 713543 225666 11856.7500 69 61 11861.0000 11854.0000 0.06% 4.6 1470s 716512 226116 11858.0000 66 29 11861.0000 11854.0000 0.06% 4.6 1475s 719449 226491 11854.0000 58 53 11861.0000 11854.0000 0.06% 4.6 1480s 722237 226852 11859.0000 57 35 11861.0000 11854.0000 0.06% 4.6 1485s 725136 227145 11860.0000 54 21 11861.0000 11854.0000 0.06% 4.6 1490s 728245 227622 11858.0000 68 16 11861.0000 11854.0000 0.06% 4.6 1495s 731289 228020 cutoff 77 11861.0000 11854.0000 0.06% 4.6 1500s 734353 228565 11855.5000 63 22 11861.0000 11854.0000 0.06% 4.6 1505s 737469 228955 11858.0000 73 24 11861.0000 11854.0000 0.06% 4.6 1510s 740610 229528 11858.0000 61 37 11861.0000 11854.0000 0.06% 4.6 1515s 743818 229939 11859.0000 68 26 11861.0000 11854.0000 0.06% 4.6 1520s 746946 230436 11858.0000 57 30 11861.0000 11854.0000 0.06% 4.6 1525s 749992 230811 11858.0000 63 20 11861.0000 11854.0000 0.06% 4.6 1530s 752944 231207 cutoff 70 11861.0000 11854.0000 0.06% 4.6 1535s 756038 231732 11854.0000 65 24 11861.0000 11854.0000 0.06% 4.6 1540s 759173 232250 11854.0000 58 47 11861.0000 11854.0000 0.06% 4.6 1545s 762236 232724 11860.0000 56 44 11861.0000 11854.0000 0.06% 4.6 1550s 765278 233174 11860.0000 63 24 11861.0000 11854.0000 0.06% 4.6 1555s 768143 233479 11860.0000 69 46 11861.0000 11854.0000 0.06% 4.6 1560s 770939 233790 11856.0000 59 46 11861.0000 11854.0000 0.06% 4.6 1565s 773984 234261 11854.0000 60 22 11861.0000 11854.0000 0.06% 4.6 1570s 775087 234373 11855.2500 66 29 11861.0000 11854.0000 0.06% 4.6 1576s 776997 234623 11858.0000 63 33 11861.0000 11854.0000 0.06% 4.6 1580s 780116 235001 11858.0000 73 29 11861.0000 11854.0000 0.06% 4.6 1585s 783334 235463 11856.7500 63 31 11861.0000 11854.0000 0.06% 4.6 1590s 783628 235507 11858.0000 70 39 11861.0000 11854.0000 0.06% 4.6 1596s 785538 235768 11857.0000 70 44 11861.0000 11854.0000 0.06% 4.6 1600s 788599 236183 11856.6667 68 34 11861.0000 11854.0000 0.06% 4.6 1605s 791723 236611 11859.4127 56 22 11861.0000 11854.0000 0.06% 4.6 1610s 794747 237099 11859.0000 74 51 11861.0000 11854.0000 0.06% 4.6 1615s 797798 237453 cutoff 67 11861.0000 11854.0000 0.06% 4.6 1620s 800686 237817 11858.0000 67 27 11861.0000 11854.0000 0.06% 4.6 1625s 803915 238336 11856.0000 51 43 11861.0000 11854.0000 0.06% 4.6 1630s 806838 238621 11854.0000 58 38 11861.0000 11854.0000 0.06% 4.6 1635s 809699 238952 11858.0000 71 32 11861.0000 11854.0000 0.06% 4.6 1640s 812592 239285 11858.0000 51 45 11861.0000 11854.0000 0.06% 4.6 1645s 815431 239531 11860.0000 61 49 11861.0000 11854.0000 0.06% 4.6 1650s 818289 239903 11858.1667 57 62 11861.0000 11854.0000 0.06% 4.6 1655s 821098 240231 11857.0000 50 24 11861.0000 11854.0000 0.06% 4.6 1660s 824299 241205 11858.6349 62 43 11861.0000 11854.0230 0.06% 4.6 1665s 827161 241802 11854.3016 62 35 11861.0000 11854.0753 0.06% 4.6 1670s 830073 242329 11859.0000 67 24 11861.0000 11854.1062 0.06% 4.6 1675s 833070 242961 cutoff 65 11861.0000 11854.1218 0.06% 4.6 1680s 835921 243484 cutoff 66 11861.0000 11854.1429 0.06% 4.6 1685s 838778 243944 11860.0000 73 50 11861.0000 11854.2000 0.06% 4.6 1690s 841468 244274 11860.0000 58 35 11861.0000 11854.2222 0.06% 4.6 1695s 844255 244651 cutoff 59 11861.0000 11854.2500 0.06% 4.6 1700s 846964 244991 11859.6923 58 43 11861.0000 11854.2857 0.06% 4.6 1705s 849984 245857 11859.0000 68 28 11861.0000 11854.3016 0.06% 4.6 1710s 853318 246852 11855.0000 60 30 11861.0000 11854.3016 0.06% 4.6 1715s 856662 247813 11858.3016 76 27 11861.0000 11854.3016 0.06% 4.6 1720s 860017 248765 cutoff 71 11861.0000 11854.3016 0.06% 4.5 1725s 863195 249675 11855.8016 74 42 11861.0000 11854.3016 0.06% 4.5 1736s 865099 250203 11859.0000 64 41 11861.0000 11854.3016 0.06% 4.5 1740s 868620 251308 11858.3016 77 30 11861.0000 11854.3016 0.06% 4.5 1745s 871816 252085 11860.0000 75 40 11861.0000 11854.3333 0.06% 4.5 1750s 874695 252474 cutoff 59 11861.0000 11854.3333 0.06% 4.5 1755s 877589 252946 11858.5000 77 27 11861.0000 11854.3333 0.06% 4.5 1760s 880510 253383 11858.5000 69 27 11861.0000 11854.3333 0.06% 4.5 1765s 883335 253778 11857.7333 57 54 11861.0000 11854.3333 0.06% 4.5 1770s 886055 254233 11858.3333 66 50 11861.0000 11854.3478 0.06% 4.5 1775s 888719 254558 11859.5000 63 25 11861.0000 11854.4016 0.06% 4.5 1780s 891625 255067 11857.0000 64 20 11861.0000 11854.4545 0.06% 4.5 1785s 894428 255873 11857.6218 78 36 11861.0000 11854.4551 0.06% 4.5 1790s 897191 256415 11860.0000 58 43 11861.0000 11854.5000 0.05% 4.5 1795s 899978 256563 11857.7500 73 51 11861.0000 11854.5000 0.05% 4.5 1800s 902742 256738 cutoff 56 11861.0000 11854.5000 0.05% 4.5 1805s 905531 256920 cutoff 76 11861.0000 11854.5000 0.05% 4.5 1810s 908211 257144 11859.0000 61 45 11861.0000 11854.5000 0.05% 4.5 1815s 910919 257392 11859.0000 57 37 11861.0000 11854.5556 0.05% 4.5 1820s 913669 257793 11859.5833 60 53 11861.0000 11854.5833 0.05% 4.5 1825s 916563 258283 11855.9676 62 53 11861.0000 11854.5926 0.05% 4.5 1830s 919303 258518 11859.7500 59 32 11861.0000 11854.6000 0.05% 4.5 1835s 922184 259096 11858.0000 62 28 11861.0000 11854.6349 0.05% 4.5 1840s 925508 259900 11859.0000 58 23 11861.0000 11854.6667 0.05% 4.5 1845s 928619 260410 11858.6667 64 49 11861.0000 11854.6667 0.05% 4.5 1850s 931655 260816 11859.3333 75 33 11861.0000 11854.6667 0.05% 4.5 1855s 934371 261087 11859.0000 61 50 11861.0000 11854.6667 0.05% 4.5 1860s 937368 261466 cutoff 75 11861.0000 11854.6667 0.05% 4.5 1865s 940249 261782 cutoff 72 11861.0000 11854.6667 0.05% 4.5 1870s 943255 262548 11859.3333 60 57 11861.0000 11854.7027 0.05% 4.5 1875s 946113 262852 11857.4167 71 24 11861.0000 11854.7500 0.05% 4.5 1880s 949101 263175 11854.7500 61 26 11861.0000 11854.7500 0.05% 4.5 1885s 951912 263451 cutoff 62 11861.0000 11854.7500 0.05% 4.5 1890s 954581 263727 11859.0000 59 27 11861.0000 11854.7857 0.05% 4.5 1895s 957445 264283 11859.0000 65 38 11861.0000 11854.8000 0.05% 4.5 1900s 960316 264679 11857.1081 57 73 11861.0000 11854.8182 0.05% 4.5 1905s 963134 264944 11859.5000 62 34 11861.0000 11854.8333 0.05% 4.5 1910s 965923 265283 cutoff 58 11861.0000 11854.8571 0.05% 4.5 1915s 968739 265605 cutoff 81 11861.0000 11854.9000 0.05% 4.5 1920s 971467 265974 11859.5926 75 26 11861.0000 11854.9551 0.05% 4.5 1925s 974061 266335 11857.0000 61 56 11861.0000 11855.0000 0.05% 4.5 1935s 976773 266657 11859.0000 63 37 11861.0000 11855.0000 0.05% 4.5 1940s 979661 267075 11857.4386 57 64 11861.0000 11855.0000 0.05% 4.5 1945s 982641 267350 11855.0000 61 46 11861.0000 11855.0000 0.05% 4.5 1950s 985603 267674 11855.0000 59 46 11861.0000 11855.0000 0.05% 4.5 1955s 988581 267958 cutoff 61 11861.0000 11855.0000 0.05% 4.5 1960s 991450 268199 11857.5000 73 20 11861.0000 11855.0000 0.05% 4.5 1965s 994374 268399 cutoff 66 11861.0000 11855.0000 0.05% 4.5 1970s 997343 268726 cutoff 72 11861.0000 11855.0000 0.05% 4.5 1975s 1000355 269217 11856.3333 60 30 11861.0000 11855.0000 0.05% 4.5 1980s 1003365 269845 11856.0000 70 40 11861.0000 11855.0000 0.05% 4.5 1985s 1006467 270409 11859.0000 63 36 11861.0000 11855.0000 0.05% 4.5 1990s 1009574 270973 11859.9091 69 50 11861.0000 11855.0000 0.05% 4.5 1995s 1012557 271537 cutoff 66 11861.0000 11855.0000 0.05% 4.5 2000s 1015720 271989 11857.5000 66 18 11861.0000 11855.0000 0.05% 4.5 2005s 1018716 272470 11857.0000 57 32 11861.0000 11855.0000 0.05% 4.5 2010s 1021756 273020 11855.0000 61 48 11861.0000 11855.0000 0.05% 4.5 2015s 1024846 273546 11859.8889 58 37 11861.0000 11855.0000 0.05% 4.5 2020s 1027827 273977 11859.0000 55 46 11861.0000 11855.0000 0.05% 4.5 2025s 1030916 274325 11858.0000 64 39 11861.0000 11855.0000 0.05% 4.5 2030s 1033823 274769 11859.0000 65 35 11861.0000 11855.0000 0.05% 4.5 2035s 1036812 275193 11859.7500 85 69 11861.0000 11855.0000 0.05% 4.5 2040s 1039859 275602 11859.0000 58 49 11861.0000 11855.0000 0.05% 4.5 2045s 1042957 276047 11859.0000 62 32 11861.0000 11855.0000 0.05% 4.5 2050s 1046046 276384 11859.6667 57 49 11861.0000 11855.0000 0.05% 4.5 2055s 1049013 276716 11859.0000 71 30 11861.0000 11855.0000 0.05% 4.5 2060s 1052008 277130 11859.0000 66 42 11861.0000 11855.0000 0.05% 4.5 2065s 1054964 277547 11857.8000 69 66 11861.0000 11855.0000 0.05% 4.5 2070s 1058062 277983 cutoff 52 11861.0000 11855.0000 0.05% 4.5 2075s 1061117 278577 11857.0000 69 24 11861.0000 11855.0000 0.05% 4.5 2080s 1064162 279240 11857.0000 55 46 11861.0000 11855.0000 0.05% 4.5 2085s 1067291 279925 11855.0000 71 22 11861.0000 11855.0000 0.05% 4.5 2090s 1070532 280586 11859.0000 81 8 11861.0000 11855.0000 0.05% 4.5 2095s 1073658 281259 cutoff 70 11861.0000 11855.0000 0.05% 4.5 2100s 1076673 281711 11859.0000 67 25 11861.0000 11855.0000 0.05% 4.5 2105s 1079493 282226 11857.5000 72 32 11861.0000 11855.0000 0.05% 4.5 2116s 1081719 282588 cutoff 82 11861.0000 11855.0000 0.05% 4.5 2120s 1084867 283116 cutoff 74 11861.0000 11855.0000 0.05% 4.5 2125s 1087957 283691 11856.5000 78 45 11861.0000 11855.0000 0.05% 4.5 2130s 1091011 284197 cutoff 73 11861.0000 11855.0000 0.05% 4.5 2135s 1094189 284671 infeasible 66 11861.0000 11855.0000 0.05% 4.5 2140s 1097265 285253 11859.0000 68 39 11861.0000 11855.0000 0.05% 4.5 2145s 1100416 285812 cutoff 78 11861.0000 11855.0000 0.05% 4.5 2150s 1103467 286203 11859.0000 60 38 11861.0000 11855.0000 0.05% 4.5 2155s 1106440 286704 11859.0000 62 20 11861.0000 11855.0000 0.05% 4.5 2160s 1109478 287168 11858.2500 64 43 11861.0000 11855.0000 0.05% 4.4 2165s 1112786 287747 cutoff 70 11861.0000 11855.0000 0.05% 4.4 2170s 1115999 288316 11859.0000 60 30 11861.0000 11855.0000 0.05% 4.4 2175s 1118831 288710 11859.0000 61 30 11861.0000 11855.0000 0.05% 4.4 2180s 1121849 289122 11859.0000 65 48 11861.0000 11855.0000 0.05% 4.4 2185s 1124830 289486 11859.0000 55 43 11861.0000 11855.0000 0.05% 4.4 2190s 1127843 290001 11859.0000 63 32 11861.0000 11855.0000 0.05% 4.4 2195s 1130933 290471 11859.0000 72 30 11861.0000 11855.0000 0.05% 4.4 2200s 1134034 290981 cutoff 64 11861.0000 11855.0000 0.05% 4.4 2205s 1137024 291428 11859.0000 56 42 11861.0000 11855.0000 0.05% 4.4 2210s 1140000 292015 11855.0000 64 44 11861.0000 11855.0000 0.05% 4.4 2215s 1143286 292521 11859.0000 66 41 11861.0000 11855.0000 0.05% 4.4 2220s 1146377 292952 cutoff 70 11861.0000 11855.0000 0.05% 4.4 2225s 1149335 293393 11859.0000 60 37 11861.0000 11855.0000 0.05% 4.4 2230s 1152305 293842 11857.5000 67 38 11861.0000 11855.0000 0.05% 4.4 2235s 1155264 294389 11859.0000 66 43 11861.0000 11855.0000 0.05% 4.4 2240s 1158375 294889 11855.0000 64 44 11861.0000 11855.0000 0.05% 4.4 2245s 1161413 295358 11859.0000 66 44 11861.0000 11855.0000 0.05% 4.4 2250s 1164514 295784 11858.3333 57 29 11861.0000 11855.0000 0.05% 4.4 2255s 1167540 296271 11855.0000 58 30 11861.0000 11855.0000 0.05% 4.4 2260s 1170702 296739 11857.5000 67 56 11861.0000 11855.0000 0.05% 4.4 2265s 1173714 297186 11855.0000 65 34 11861.0000 11855.0000 0.05% 4.4 2270s 1176793 297587 11859.0000 62 25 11861.0000 11855.0000 0.05% 4.4 2275s 1179798 298025 11859.0000 55 44 11861.0000 11855.0000 0.05% 4.4 2280s 1182659 298249 11859.0000 66 33 11861.0000 11855.0000 0.05% 4.4 2285s 1185380 298520 11858.6190 61 61 11861.0000 11855.0143 0.05% 4.4 2290s 1188245 298743 11859.5000 62 26 11861.0000 11855.0551 0.05% 4.4 2295s 1190946 299262 11855.4753 55 59 11861.0000 11855.0753 0.05% 4.4 2300s 1193729 299475 cutoff 71 11861.0000 11855.1081 0.05% 4.4 2305s 1196817 299714 cutoff 74 11861.0000 11855.1270 0.05% 4.4 2310s 1199648 299925 cutoff 81 11861.0000 11855.1667 0.05% 4.4 2315s 1200107 299934 11858.7857 56 30 11861.0000 11855.1667 0.05% 4.4 2320s 1202624 300290 11859.2000 71 42 11861.0000 11855.2000 0.05% 4.4 2325s 1205254 300346 11857.7778 55 79 11861.0000 11855.2500 0.05% 4.4 2330s 1208004 300481 11859.0000 65 38 11861.0000 11855.2561 0.05% 4.4 2335s 1210594 300679 11855.7500 60 60 11861.0000 11855.2973 0.05% 4.4 2340s 1213977 301360 cutoff 75 11861.0000 11855.3016 0.05% 4.4 2345s 1216766 301611 11858.0000 56 32 11861.0000 11855.3333 0.05% 4.4 2350s 1219103 301680 cutoff 57 11861.0000 11855.3333 0.05% 4.4 2355s 1220852 301728 11859.3333 67 35 11861.0000 11855.3333 0.05% 4.4 2360s 1222517 301738 11858.0000 65 33 11861.0000 11855.3333 0.05% 4.4 2365s 1224808 301826 11859.3333 63 36 11861.0000 11855.3333 0.05% 4.4 2370s 1227264 301873 11859.0000 69 34 11861.0000 11855.3333 0.05% 4.4 2375s 1229498 301811 11859.3333 63 48 11861.0000 11855.3333 0.05% 4.4 2380s 1231858 301872 cutoff 66 11861.0000 11855.3333 0.05% 4.4 2385s 1234544 302026 11859.3333 67 44 11861.0000 11855.3333 0.05% 4.4 2390s 1236266 302166 11855.3333 68 48 11861.0000 11855.3333 0.05% 4.4 2395s 1238922 302313 11859.3333 60 31 11861.0000 11855.3333 0.05% 4.4 2400s 1241323 302320 cutoff 63 11861.0000 11855.3333 0.05% 4.4 2405s 1243711 302368 11859.1042 74 62 11861.0000 11855.3333 0.05% 4.4 2410s 1246432 302414 11859.3333 72 43 11861.0000 11855.3333 0.05% 4.4 2415s 1248883 302456 11858.0000 62 48 11861.0000 11855.3333 0.05% 4.4 2420s 1251703 302821 11858.5000 75 44 11861.0000 11855.3750 0.05% 4.4 2425s 1254624 303040 11857.0000 61 47 11861.0000 11855.4000 0.05% 4.4 2430s 1257247 303149 cutoff 74 11861.0000 11855.4167 0.05% 4.4 2435s 1258410 303281 11859.5926 62 58 11861.0000 11855.4321 0.05% 4.4 2440s 1260495 303605 11855.5065 56 29 11861.0000 11855.4551 0.05% 4.4 2445s 1263210 304845 11855.5065 55 46 11861.0000 11855.4551 0.05% 4.4 2450s 1265978 305866 11855.5926 64 42 11861.0000 11855.4551 0.05% 4.4 2455s 1268672 306507 cutoff 73 11861.0000 11855.4676 0.05% 4.4 2460s 1271522 307311 11859.5000 69 16 11861.0000 11855.5000 0.05% 4.4 2465s 1274437 307478 11859.5000 69 37 11861.0000 11855.5000 0.05% 4.4 2470s 1277284 307589 11857.5000 72 31 11861.0000 11855.5000 0.05% 4.4 2475s 1280325 307788 cutoff 71 11861.0000 11855.5000 0.05% 4.4 2480s 1283137 307915 11858.0000 65 50 11861.0000 11855.5000 0.05% 4.4 2485s 1285950 307983 11859.0000 59 26 11861.0000 11855.5000 0.05% 4.4 2490s 1288817 308021 11857.0000 65 44 11861.0000 11855.5000 0.05% 4.4 2495s 1291578 308096 11858.0000 73 42 11861.0000 11855.5000 0.05% 4.4 2500s 1294239 308125 cutoff 76 11861.0000 11855.5000 0.05% 4.4 2505s 1297203 308614 11856.0000 61 37 11861.0000 11855.5065 0.05% 4.4 2510s 1300052 309665 11860.0000 66 51 11861.0000 11855.5065 0.05% 4.4 2515s 1302849 310506 cutoff 85 11861.0000 11855.5106 0.05% 4.4 2520s 1305396 310732 cutoff 71 11861.0000 11855.5556 0.05% 4.4 2525s 1308169 311261 11860.0000 57 45 11861.0000 11855.5711 0.05% 4.4 2530s 1310851 311350 11860.0000 66 27 11861.0000 11855.5926 0.05% 4.4 2535s 1313774 312228 11855.5926 70 37 11861.0000 11855.5926 0.05% 4.4 2540s 1316691 313209 11860.0000 63 18 11861.0000 11855.5926 0.05% 4.4 2545s 1319453 314048 11859.9259 65 40 11861.0000 11855.5926 0.05% 4.4 2550s 1322317 314919 11860.0000 57 14 11861.0000 11855.5926 0.05% 4.4 2555s 1325044 315787 11860.0000 78 31 11861.0000 11855.5926 0.05% 4.4 2560s 1327205 316274 11860.0000 60 22 11861.0000 11855.5926 0.05% 4.4 2567s 1328586 316511 cutoff 77 11861.0000 11855.5926 0.05% 4.4 2570s 1331445 317328 11860.0000 65 32 11861.0000 11855.5926 0.05% 4.4 2575s 1334268 318122 11857.6923 79 66 11861.0000 11855.5926 0.05% 4.4 2580s 1337074 318998 11859.0000 67 29 11861.0000 11855.5932 0.05% 4.4 2585s 1339720 318978 11858.0000 69 40 11861.0000 11855.6081 0.05% 4.4 2590s 1342628 319335 cutoff 75 11861.0000 11855.6252 0.05% 4.4 2595s 1345895 320001 11859.0000 59 30 11861.0000 11855.6364 0.05% 4.4 2600s 1348734 320199 11857.8333 59 53 11861.0000 11855.6667 0.04% 4.4 2605s 1351501 320323 11858.5000 61 14 11861.0000 11855.6667 0.04% 4.4 2610s 1354320 320472 cutoff 62 11861.0000 11855.6667 0.04% 4.4 2615s 1357151 320743 cutoff 71 11861.0000 11855.6667 0.04% 4.4 2620s 1359837 320873 cutoff 60 11861.0000 11855.6667 0.04% 4.4 2625s 1362689 321218 cutoff 79 11861.0000 11855.6863 0.04% 4.4 2630s 1365853 322117 cutoff 59 11861.0000 11855.6897 0.04% 4.4 2635s 1368770 322500 11858.6667 65 46 11861.0000 11855.7000 0.04% 4.4 2640s 1371335 322229 cutoff 57 11861.0000 11855.7296 0.04% 4.4 2645s 1372481 322599 11858.7552 65 64 11861.0000 11855.7296 0.04% 4.4 2650s 1375357 322842 cutoff 77 11861.0000 11855.7500 0.04% 4.4 2655s 1378046 322852 11857.0000 65 45 11861.0000 11855.7500 0.04% 4.4 2660s 1380846 322842 11858.5000 73 33 11861.0000 11855.7500 0.04% 4.4 2665s 1383453 322921 cutoff 60 11861.0000 11855.7884 0.04% 4.4 2670s 1386421 323088 11859.4000 69 51 11861.0000 11855.8000 0.04% 4.4 2675s 1389239 323137 11857.0000 67 32 11861.0000 11855.8333 0.04% 4.4 2680s 1390478 323023 11858.2000 60 58 11861.0000 11855.8447 0.04% 4.4 2686s 1392181 323165 11859.0000 66 24 11861.0000 11855.8560 0.04% 4.4 2690s 1395244 323201 11859.6667 55 40 11861.0000 11855.8574 0.04% 4.4 2695s 1398004 323405 11860.0000 66 53 11861.0000 11855.8889 0.04% 4.4 2700s 1400588 323534 11860.0000 76 38 11861.0000 11855.9000 0.04% 4.4 2705s 1403162 323406 11857.3016 54 25 11861.0000 11855.9397 0.04% 4.4 2710s 1405840 323482 cutoff 67 11861.0000 11855.9683 0.04% 4.4 2715s 1408688 323773 11859.2886 70 69 11861.0000 11856.0000 0.04% 4.4 2720s 1411366 323874 cutoff 70 11861.0000 11856.0000 0.04% 4.4 2725s 1414160 324104 cutoff 64 11861.0000 11856.0000 0.04% 4.4 2730s 1416548 323958 cutoff 54 11861.0000 11856.0000 0.04% 4.4 2735s 1419097 323768 11859.5000 69 42 11861.0000 11856.0000 0.04% 4.4 2740s 1421666 323578 11858.0000 66 14 11861.0000 11856.0000 0.04% 4.4 2745s 1424187 323389 11858.0000 67 39 11861.0000 11856.0000 0.04% 4.4 2750s 1426767 323237 cutoff 55 11861.0000 11856.0000 0.04% 4.5 2755s 1429315 323000 11859.3333 52 67 11861.0000 11856.0000 0.04% 4.5 2760s 1431711 322629 cutoff 68 11861.0000 11856.0000 0.04% 4.5 2765s 1433624 321752 cutoff 67 11861.0000 11856.0000 0.04% 4.5 2770s 1435653 321059 cutoff 70 11861.0000 11856.0000 0.04% 4.5 2775s 1437890 320734 cutoff 76 11861.0000 11856.0000 0.04% 4.5 2780s 1440256 320397 11860.0000 80 14 11861.0000 11856.0000 0.04% 4.5 2785s 1442765 320197 11859.0000 58 56 11861.0000 11856.0000 0.04% 4.5 2790s 1445347 320056 11858.0000 63 39 11861.0000 11856.0000 0.04% 4.5 2795s 1448090 320009 cutoff 64 11861.0000 11856.0000 0.04% 4.5 2800s 1448654 319950 11859.0000 71 37 11861.0000 11856.0000 0.04% 4.5 2805s 1451148 319906 cutoff 81 11861.0000 11856.0000 0.04% 4.5 2810s 1453751 319832 11859.3333 65 42 11861.0000 11856.0000 0.04% 4.5 2815s 1456445 319828 11857.3333 63 35 11861.0000 11856.0000 0.04% 4.5 2820s 1458914 319688 cutoff 65 11861.0000 11856.0000 0.04% 4.5 2825s 1461584 319651 cutoff 63 11861.0000 11856.0000 0.04% 4.5 2830s 1464186 319633 11860.0000 82 42 11861.0000 11856.0000 0.04% 4.5 2835s 1466803 319628 11858.5000 82 34 11861.0000 11856.0000 0.04% 4.5 2840s 1469501 319513 11858.4000 63 87 11861.0000 11856.0000 0.04% 4.5 2845s 1472093 319450 11856.0000 63 37 11861.0000 11856.0000 0.04% 4.5 2850s 1474745 319444 11859.3333 67 37 11861.0000 11856.0000 0.04% 4.5 2855s 1477287 319221 11857.7333 61 57 11861.0000 11856.0000 0.04% 4.5 2860s 1479731 318912 cutoff 65 11861.0000 11856.0000 0.04% 4.5 2865s 1482385 318770 cutoff 66 11861.0000 11856.0000 0.04% 4.5 2870s 1484782 318353 11857.3016 62 61 11861.0000 11856.0516 0.04% 4.5 2875s 1487146 318270 cutoff 62 11861.0000 11856.0833 0.04% 4.5 2880s 1489050 317803 11857.3333 62 52 11861.0000 11856.1081 0.04% 4.5 2885s 1491294 317413 11859.9231 59 59 11861.0000 11856.1252 0.04% 4.5 2890s 1493903 317241 cutoff 55 11861.0000 11856.1486 0.04% 4.5 2895s 1496240 316768 11859.7500 73 30 11861.0000 11856.1818 0.04% 4.5 2900s 1498679 316542 cutoff 60 11861.0000 11856.2027 0.04% 4.5 2905s 1500942 315994 11860.0000 64 34 11861.0000 11856.2500 0.04% 4.5 2910s 1503170 315514 11857.0000 63 46 11861.0000 11856.2619 0.04% 4.6 2915s 1503686 315421 11858.5000 62 24 11861.0000 11856.2778 0.04% 4.6 2920s 1505687 315067 11857.0000 52 32 11861.0000 11856.3016 0.04% 4.6 2925s 1508184 314764 cutoff 62 11861.0000 11856.3333 0.04% 4.6 2930s 1510634 314345 11858.0000 54 28 11861.0000 11856.3333 0.04% 4.6 2935s 1513342 314087 cutoff 64 11861.0000 11856.3333 0.04% 4.6 2940s 1515861 313833 11859.0000 65 20 11861.0000 11856.3333 0.04% 4.6 2945s 1518379 313514 11856.3333 63 38 11861.0000 11856.3333 0.04% 4.6 2950s 1520803 313183 cutoff 60 11861.0000 11856.3445 0.04% 4.6 2955s 1523482 313090 11857.3636 58 60 11861.0000 11856.3750 0.04% 4.6 2960s 1525610 312518 11858.3333 66 31 11861.0000 11856.4048 0.04% 4.6 2965s 1527849 312019 11857.0000 56 50 11861.0000 11856.4464 0.04% 4.6 2970s 1530058 311816 cutoff 54 11861.0000 11856.4551 0.04% 4.6 2975s 1532403 311308 11858.0000 56 20 11861.0000 11856.5000 0.04% 4.6 2980s 1535041 310995 11859.0000 70 30 11861.0000 11856.5000 0.04% 4.6 2985s 1537521 310653 infeasible 63 11861.0000 11856.5000 0.04% 4.6 2990s 1540002 310275 11860.0000 60 46 11861.0000 11856.5000 0.04% 4.6 2995s 1542357 309939 cutoff 76 11861.0000 11856.5000 0.04% 4.6 3000s 1544751 309485 11856.5000 68 27 11861.0000 11856.5000 0.04% 4.6 3005s 1547205 309052 11856.5000 61 50 11861.0000 11856.5000 0.04% 4.6 3010s 1549595 308583 11856.5000 70 46 11861.0000 11856.5000 0.04% 4.6 3015s 1551798 308164 11857.2222 65 69 11861.0000 11856.5238 0.04% 4.6 3020s 1553959 307565 11858.0000 56 58 11861.0000 11856.5711 0.04% 4.6 3025s 1556386 307347 11859.0000 74 20 11861.0000 11856.5882 0.04% 4.6 3030s 1558597 306722 11859.0000 64 14 11861.0000 11856.5926 0.04% 4.6 3035s 1559782 306511 11858.5926 72 66 11861.0000 11856.5926 0.04% 4.6 3043s 1560425 306233 cutoff 65 11861.0000 11856.5926 0.04% 4.6 3045s 1562539 305662 cutoff 63 11861.0000 11856.6014 0.04% 4.6 3050s 1564810 305187 11858.3333 56 47 11861.0000 11856.6310 0.04% 4.6 3055s 1567128 304696 11859.6000 60 28 11861.0000 11856.6667 0.04% 4.6 3060s 1569460 304246 11859.6000 69 39 11861.0000 11856.6667 0.04% 4.6 3065s 1571788 303796 11859.6000 63 31 11861.0000 11856.6667 0.04% 4.6 3070s 1574186 303304 11859.5000 68 58 11861.0000 11856.6667 0.04% 4.6 3075s 1576394 302923 11858.2667 53 59 11861.0000 11856.6720 0.04% 4.6 3080s 1578883 302903 11860.0000 62 37 11861.0000 11856.6897 0.04% 4.6 3085s 1581391 302785 11856.9444 55 70 11861.0000 11856.7000 0.04% 4.6 3090s 1583586 302129 cutoff 63 11861.0000 11856.7378 0.04% 4.6 3095s 1585857 301560 11858.0000 68 15 11861.0000 11856.7500 0.04% 4.6 3100s 1588166 300976 11856.8462 60 64 11861.0000 11856.7778 0.04% 4.6 3105s 1590315 300501 11857.0000 63 31 11861.0000 11856.8000 0.04% 4.6 3110s 1592722 299979 cutoff 71 11861.0000 11856.8291 0.04% 4.6 3115s 1594924 299398 cutoff 63 11861.0000 11856.8333 0.04% 4.6 3120s 1597233 298886 11859.0000 67 42 11861.0000 11856.8750 0.03% 4.6 3125s 1599328 298173 cutoff 69 11861.0000 11856.9259 0.03% 4.7 3130s 1601379 297358 11858.0000 57 20 11861.0000 11856.9368 0.03% 4.7 3135s 1602452 297307 11860.0000 86 29 11861.0000 11856.9500 0.03% 4.7 3140s 1604473 296883 11859.0000 55 40 11861.0000 11856.9901 0.03% 4.7 3145s 1606444 296100 cutoff 77 11861.0000 11857.0000 0.03% 4.7 3150s 1608711 295665 cutoff 60 11861.0000 11857.0000 0.03% 4.7 3155s 1611032 295321 cutoff 66 11861.0000 11857.0000 0.03% 4.7 3160s 1613456 295097 11859.0000 62 51 11861.0000 11857.0000 0.03% 4.7 3165s 1615874 294812 11859.9487 63 58 11861.0000 11857.0000 0.03% 4.7 3170s 1618437 294543 11859.0000 67 18 11861.0000 11857.0000 0.03% 4.7 3175s 1620798 294323 11859.0000 63 31 11861.0000 11857.0000 0.03% 4.7 3180s 1623320 294168 11857.0000 51 29 11861.0000 11857.0000 0.03% 4.7 3185s 1625847 294009 cutoff 66 11861.0000 11857.0000 0.03% 4.7 3190s 1628341 293788 11857.7500 58 26 11861.0000 11857.0000 0.03% 4.7 3195s 1630805 293446 11858.6667 60 47 11861.0000 11857.0000 0.03% 4.7 3200s 1633313 293209 11857.0000 62 18 11861.0000 11857.0000 0.03% 4.7 3205s 1635873 293026 11858.3333 56 39 11861.0000 11857.0000 0.03% 4.7 3210s 1638056 292769 11858.5000 67 35 11861.0000 11857.0000 0.03% 4.7 3215s 1640500 292381 cutoff 72 11861.0000 11857.0000 0.03% 4.7 3220s 1642817 292126 cutoff 71 11861.0000 11857.0000 0.03% 4.7 3225s 1645294 291864 cutoff 61 11861.0000 11857.0000 0.03% 4.7 3230s 1646410 291728 11857.0000 66 35 11861.0000 11857.0000 0.03% 4.7 3235s 1648746 291483 cutoff 82 11861.0000 11857.0000 0.03% 4.7 3240s 1651255 291249 11857.0000 69 35 11861.0000 11857.0000 0.03% 4.7 3245s 1652813 290999 11859.0000 71 33 11861.0000 11857.0000 0.03% 4.7 3251s 1654398 290778 cutoff 65 11861.0000 11857.0000 0.03% 4.7 3255s 1656729 290449 11857.0000 62 39 11861.0000 11857.0000 0.03% 4.7 3260s 1659123 290127 cutoff 58 11861.0000 11857.0000 0.03% 4.7 3265s 1661442 289825 cutoff 77 11861.0000 11857.0000 0.03% 4.7 3270s 1663998 289637 11859.6667 62 58 11861.0000 11857.0000 0.03% 4.7 3275s 1666542 289398 11857.0000 58 43 11861.0000 11857.0000 0.03% 4.7 3280s 1669002 289114 cutoff 57 11861.0000 11857.0000 0.03% 4.7 3285s 1671411 288793 11857.0000 71 14 11861.0000 11857.0000 0.03% 4.7 3290s 1673832 288504 11857.0000 61 28 11861.0000 11857.0000 0.03% 4.7 3295s 1676357 288297 11857.0000 65 25 11861.0000 11857.0000 0.03% 4.7 3300s 1678777 287894 11858.3333 69 52 11861.0000 11857.0000 0.03% 4.7 3305s 1681078 287653 cutoff 73 11861.0000 11857.0000 0.03% 4.7 3310s 1683546 287438 cutoff 60 11861.0000 11857.0000 0.03% 4.7 3315s 1684318 287362 11859.0000 74 37 11861.0000 11857.0000 0.03% 4.7 3321s 1685721 287236 cutoff 66 11861.0000 11857.0000 0.03% 4.7 3325s 1688334 286894 cutoff 69 11861.0000 11857.0000 0.03% 4.7 3330s 1690912 286391 11857.0000 66 35 11861.0000 11857.0000 0.03% 4.7 3335s 1693301 286081 cutoff 78 11861.0000 11857.0000 0.03% 4.7 3340s 1695730 286031 11857.0000 60 33 11861.0000 11857.0000 0.03% 4.7 3345s 1698540 286044 cutoff 69 11861.0000 11857.0000 0.03% 4.7 3350s 1701045 285836 cutoff 68 11861.0000 11857.0000 0.03% 4.7 3355s 1703511 285517 cutoff 60 11861.0000 11857.0000 0.03% 4.7 3360s 1706146 285126 cutoff 71 11861.0000 11857.0000 0.03% 4.7 3365s 1708711 284818 11857.0000 61 27 11861.0000 11857.0000 0.03% 4.7 3370s 1711156 284465 11857.0000 78 23 11861.0000 11857.0000 0.03% 4.7 3375s 1713565 284261 11858.5000 74 18 11861.0000 11857.0000 0.03% 4.7 3380s 1716022 284021 cutoff 72 11861.0000 11857.0000 0.03% 4.7 3385s 1718811 284000 cutoff 64 11861.0000 11857.0000 0.03% 4.7 3390s 1721390 283843 11859.0000 69 36 11861.0000 11857.0000 0.03% 4.7 3395s 1723706 283567 cutoff 66 11861.0000 11857.0000 0.03% 4.7 3400s 1726114 283386 11859.0000 65 28 11861.0000 11857.0000 0.03% 4.7 3405s 1728952 283220 11857.0000 63 36 11861.0000 11857.0000 0.03% 4.7 3410s 1731655 283026 11858.5000 66 31 11861.0000 11857.0000 0.03% 4.7 3415s 1733980 282653 11857.0000 68 29 11861.0000 11857.0000 0.03% 4.7 3420s 1736200 282294 11858.0000 70 32 11861.0000 11857.0000 0.03% 4.7 3425s 1738724 282008 cutoff 72 11861.0000 11857.0000 0.03% 4.7 3430s 1741459 281942 11858.5000 70 43 11861.0000 11857.0000 0.03% 4.7 3435s 1744233 281901 11857.0000 68 31 11861.0000 11857.0000 0.03% 4.7 3440s 1746816 281684 cutoff 73 11861.0000 11857.0000 0.03% 4.7 3445s 1749340 281436 11859.0000 75 17 11861.0000 11857.0000 0.03% 4.7 3450s 1750256 281373 11857.0000 65 29 11861.0000 11857.0000 0.03% 4.7 3455s 1752546 281138 11859.0000 71 29 11861.0000 11857.0000 0.03% 4.7 3460s 1755455 281113 cutoff 64 11861.0000 11857.0000 0.03% 4.7 3465s 1758133 280940 11859.0000 66 63 11861.0000 11857.0000 0.03% 4.7 3470s 1760685 280642 cutoff 71 11861.0000 11857.0000 0.03% 4.7 3475s 1763363 280408 11858.5000 67 28 11861.0000 11857.0000 0.03% 4.7 3480s 1765907 280153 11858.5000 61 35 11861.0000 11857.0000 0.03% 4.7 3485s 1768440 279895 11859.0000 66 46 11861.0000 11857.0000 0.03% 4.7 3490s 1771004 279699 11857.0000 63 46 11861.0000 11857.0000 0.03% 4.7 3495s 1773573 279527 cutoff 67 11861.0000 11857.0000 0.03% 4.7 3500s 1776324 279372 11857.0000 66 32 11861.0000 11857.0000 0.03% 4.7 3505s 1778824 279099 11857.5000 61 69 11861.0000 11857.0000 0.03% 4.7 3510s 1781314 278875 11858.6000 69 64 11861.0000 11857.0000 0.03% 4.7 3515s 1783976 278669 11859.0000 63 40 11861.0000 11857.0000 0.03% 4.7 3520s 1786624 278529 11857.0000 79 38 11861.0000 11857.0000 0.03% 4.7 3525s 1789046 278243 cutoff 62 11861.0000 11857.0000 0.03% 4.7 3530s 1791590 278011 11857.5000 59 83 11861.0000 11857.0000 0.03% 4.7 3535s 1794131 277765 11857.0000 71 46 11861.0000 11857.0000 0.03% 4.7 3540s 1796766 277629 11858.5000 65 29 11861.0000 11857.0000 0.03% 4.7 3545s 1799449 277515 11859.6667 59 81 11861.0000 11857.0000 0.03% 4.7 3550s 1802157 277363 11860.0000 68 45 11861.0000 11857.0000 0.03% 4.7 3555s 1803937 277272 11859.0000 58 36 11861.0000 11857.0000 0.03% 4.7 3561s 1805434 277138 11857.0000 62 32 11861.0000 11857.0000 0.03% 4.7 3565s 1808046 277003 cutoff 64 11861.0000 11857.0000 0.03% 4.7 3570s 1810703 276840 cutoff 58 11861.0000 11857.0000 0.03% 4.7 3575s 1813275 276633 11859.0000 68 28 11861.0000 11857.0000 0.03% 4.7 3580s 1815901 276421 11857.3333 58 48 11861.0000 11857.0000 0.03% 4.7 3585s 1818362 276192 11860.0000 69 55 11861.0000 11857.0000 0.03% 4.7 3590s 1820839 275841 11858.5000 64 16 11861.0000 11857.0000 0.03% 4.7 3595s Cutting planes: Gomory: 17 Zero half: 27 Explored 1823167 nodes (8557688 simplex iterations) in 3600.00 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective 1.186100000000e+04, best bound 1.185700000000e+04, gap 0.0337% Gurobi 5.0.1 (linux64) logging started Sun Nov 25 07:57:29 2012