Gurobi 5.0.1 (linux64) logging started Sun Dec 23 04:58:31 2012 Optimize a model with 23102 rows, 22801 columns and 137167 nonzeros Presolve removed 12388 rows and 13007 columns Presolve time: 0.37s Presolved: 10714 rows, 9794 columns, 51752 nonzeros Variable types: 145 continuous, 9649 integer (9649 binary) Root relaxation: objective 7.784167e+02, 950 iterations, 0.06 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 778.41666 0 193 - 778.41666 - - 0s 0 0 801.04593 0 138 - 801.04593 - - 0s 0 0 803.57644 0 141 - 803.57644 - - 0s 0 0 805.17858 0 141 - 805.17858 - - 1s 0 0 805.81675 0 139 - 805.81675 - - 1s 0 0 806.18624 0 151 - 806.18624 - - 1s 0 0 806.59304 0 180 - 806.59304 - - 1s 0 0 806.85971 0 153 - 806.85971 - - 1s 0 0 806.85971 0 151 - 806.85971 - - 1s 0 0 806.85971 0 151 - 806.85971 - - 1s 0 0 806.85971 0 121 - 806.85971 - - 2s 0 0 806.85971 0 121 - 806.85971 - - 2s 0 2 806.85971 0 121 - 806.85971 - - 3s 163 128 854.54105 62 82 - 807.15971 - 17.6 5s 603 433 831.65336 22 203 - 807.87400 - 19.0 15s 605 435 838.01554 41 132 - 812.20734 - 19.0 23s 606 435 831.65336 22 127 - 814.58280 - 18.9 28s 607 436 816.95847 10 115 - 815.87339 - 18.9 33s 608 437 846.73980 49 119 - 817.11789 - 18.9 36s 609 437 846.10801 45 128 - 819.54122 - 18.9 41s 610 438 819.81496 11 130 - 819.81496 - 18.8 46s 611 439 820.57888 29 136 - 819.98442 - 18.8 51s 612 439 823.11092 17 137 - 820.15750 - 18.8 56s 613 440 822.45786 17 133 - 820.31840 - 18.7 61s 614 441 838.95707 33 139 - 820.39335 - 18.7 66s 615 441 831.65336 22 136 - 820.98820 - 18.7 71s 616 442 821.01121 10 130 - 821.01121 - 18.6 76s 617 443 846.73980 49 128 - 821.02434 - 18.6 80s 618 443 846.10801 45 128 - 821.04064 - 18.6 85s 619 444 821.05872 2 145 - 821.05872 - 18.5 90s 620 445 821.05968 10 134 - 821.05968 - 18.5 96s 621 445 823.11092 17 135 - 821.06412 - 18.5 101s 622 446 838.95707 33 132 - 821.07699 - 18.5 105s 623 447 821.09265 13 139 - 821.09265 - 18.4 111s 624 447 833.55082 33 137 - 821.09960 - 18.4 117s 625 448 838.01554 41 138 - 821.10841 - 18.4 122s 626 449 821.11504 11 140 - 821.11504 - 18.3 128s 627 449 833.55082 33 144 - 821.12058 - 18.3 133s 628 450 838.01554 41 139 - 821.12058 - 18.3 139s 629 451 821.15872 29 144 - 821.15872 - 18.3 145s 630 451 822.45786 17 134 - 821.25129 - 18.2 153s 631 452 821.29172 10 138 - 821.29172 - 18.2 159s 632 453 823.11092 17 147 - 821.29349 - 18.2 165s 633 453 821.33871 11 142 - 821.33871 - 18.1 170s 634 454 821.35404 29 147 - 821.35404 - 18.1 176s 635 455 838.01554 41 144 - 821.41434 - 18.1 182s 636 455 831.65336 22 147 - 821.46253 - 18.1 187s 637 456 838.01554 41 138 - 821.55250 - 18.0 194s 638 457 833.55082 33 170 - 821.71056 - 18.0 200s 639 457 821.78242 10 161 - 821.78242 - 18.0 206s 640 458 846.73980 49 153 - 821.83160 - 17.9 212s 641 459 838.95707 33 156 - 821.83160 - 17.9 217s 642 459 821.83160 10 158 - 821.83160 - 17.9 220s 646 463 833.55082 33 121 - 821.84317 - 36.0 226s 648 464 838.95707 33 199 - 821.84317 - 35.9 233s 649 465 821.84317 13 151 - 821.84317 - 35.9 239s 650 466 821.84317 29 142 - 821.84317 - 35.8 243s 651 466 838.01554 41 134 - 821.89078 - 35.8 247s 652 467 831.65336 22 125 - 822.03283 - 35.7 251s 653 468 822.45786 17 133 - 822.11842 - 35.7 256s 654 468 822.21436 10 130 - 822.21436 - 35.6 261s 655 469 822.45786 17 139 - 822.27741 - 35.6 265s 656 470 822.27741 13 130 - 822.27741 - 35.5 270s 658 471 822.27741 29 138 - 822.27741 - 35.4 277s 660 472 833.55082 33 138 - 822.27741 - 35.3 282s 697 498 828.30617 48 119 - 822.70702 - 40.1 285s 1100 698 839.21364 73 125 - 823.27344 - 31.7 290s 1769 1013 929.85106 164 60 - 823.67402 - 26.2 295s 2351 1411 876.12800 294 98 - 823.74514 - 24.1 300s 3054 2002 861.46260 126 65 - 823.83547 - 22.4 305s 3877 2644 831.83477 46 97 - 824.33547 - 21.0 310s 4507 3168 832.84041 66 78 - 824.43547 - 20.6 315s 5249 3762 918.91374 144 62 - 824.44036 - 20.2 320s 6000 4307 846.87014 81 56 - 824.50214 - 19.9 325s 6681 4852 916.25540 150 40 - 824.55066 - 19.7 330s H 7178 3854 861.0000000 824.63547 4.22% 19.7 334s 7275 3917 830.35755 53 108 861.00000 824.76123 4.21% 19.7 335s H 7300 3669 856.0000000 824.76123 3.65% 19.7 335s 7301 3667 838.75585 93 121 856.00000 824.76123 3.65% 19.7 340s 7304 3669 831.09944 42 127 856.00000 824.76123 3.65% 19.7 348s 7305 3670 835.92511 52 126 856.00000 824.76123 3.65% 19.7 352s 7306 3670 829.08928 60 128 856.00000 824.76123 3.65% 19.7 356s 7307 3671 831.09944 42 135 856.00000 824.76123 3.65% 19.6 361s 7308 3672 843.08518 68 131 856.00000 824.76123 3.65% 19.6 367s 7309 3672 847.08909 82 111 856.00000 824.76123 3.65% 19.6 370s 7310 3673 835.92511 52 145 856.00000 824.76123 3.65% 19.6 376s 7311 3674 843.31944 93 139 856.00000 824.76123 3.65% 19.6 381s 7312 3674 841.65198 77 153 856.00000 824.76123 3.65% 19.6 387s 7313 3675 829.54664 54 134 856.00000 824.76123 3.65% 19.6 404s 7314 3676 835.24443 73 155 856.00000 824.76123 3.65% 19.6 410s 7315 3676 838.75585 93 141 856.00000 824.76123 3.65% 19.6 415s 7316 3677 824.98547 43 141 856.00000 824.76123 3.65% 19.6 420s 7318 3678 831.44756 49 157 856.00000 824.76123 3.65% 19.6 428s 7319 3679 831.09944 42 154 856.00000 824.76123 3.65% 19.6 431s 7330 3685 831.03817 46 137 856.00000 824.76123 3.65% 20.4 435s 7374 3701 838.69865 58 120 856.00000 824.76992 3.65% 20.5 440s 7725 3813 834.42196 54 101 856.00000 825.72043 3.54% 20.4 445s 8245 3988 830.43515 56 118 856.00000 826.53538 3.44% 20.3 450s H 8686 3898 850.0000000 827.15698 2.69% 20.0 452s 8978 3952 834.09948 60 144 850.00000 827.74428 2.62% 20.0 455s 9214 4000 846.95620 77 74 850.00000 827.81437 2.61% 19.9 460s 9936 4147 830.45059 52 115 850.00000 828.35601 2.55% 19.7 465s 10202 4203 834.93985 68 121 850.00000 828.51333 2.53% 19.6 472s 10205 4205 836.17077 62 121 850.00000 828.51333 2.53% 19.6 477s 10207 4206 841.08519 64 140 850.00000 828.51333 2.53% 19.6 480s 10216 4212 841.27812 100 174 850.00000 828.51333 2.53% 19.6 485s 10226 4219 830.31442 53 177 850.00000 828.51333 2.53% 19.6 490s 10240 4228 828.51333 60 156 850.00000 828.51333 2.53% 20.2 495s 10395 4300 833.69760 81 111 850.00000 828.98199 2.47% 20.2 500s 11012 4463 836.35392 83 84 850.00000 830.41266 2.30% 19.9 505s 11640 4606 834.96902 93 91 850.00000 831.02354 2.23% 19.7 510s 12471 4810 845.77087 84 95 850.00000 831.56085 2.17% 19.3 515s 13420 5074 841.05946 95 78 850.00000 831.97338 2.12% 19.0 520s 14353 5250 835.77579 78 104 850.00000 832.30439 2.08% 18.7 525s 15270 5442 836.59934 80 90 850.00000 832.47304 2.06% 18.5 530s 15946 5543 845.12559 88 72 850.00000 832.71069 2.03% 18.4 535s 16845 5663 833.70309 81 90 850.00000 832.92624 2.01% 18.4 540s 17726 5794 841.55391 69 118 850.00000 833.15169 1.98% 18.3 545s 18530 5917 834.39785 72 111 850.00000 833.33436 1.96% 18.2 550s 19217 6093 836.54448 68 85 850.00000 833.39145 1.95% 18.2 555s H19470 5807 849.0000000 833.39786 1.84% 18.2 556s 20071 5879 842.89785 73 95 849.00000 833.49770 1.83% 18.2 560s H20751 5424 848.0000000 833.58533 1.70% 18.1 565s 21578 5451 cutoff 88 848.00000 833.72057 1.68% 18.1 570s 22517 5799 infeasible 80 848.00000 833.87338 1.67% 18.1 575s 23314 6122 844.25937 82 62 848.00000 833.95264 1.66% 18.1 580s 24093 6438 cutoff 71 848.00000 834.00631 1.65% 18.1 585s 24815 6692 844.11194 84 64 848.00000 834.08652 1.64% 18.1 590s 25640 7013 infeasible 82 848.00000 834.18136 1.63% 18.1 595s 26540 7358 835.39253 71 86 848.00000 834.29785 1.62% 18.1 600s 27384 7760 845.32452 75 66 848.00000 834.36357 1.61% 18.1 605s 28204 8077 836.54104 90 90 848.00000 834.40112 1.60% 18.1 610s 28894 8354 cutoff 73 848.00000 834.48620 1.59% 18.1 615s 29799 8651 cutoff 78 848.00000 834.54455 1.59% 18.1 620s 30603 8891 843.22222 87 51 848.00000 834.64561 1.57% 18.1 625s 31250 9084 845.48517 68 118 848.00000 834.72054 1.57% 18.2 630s 32158 9475 846.73647 93 37 848.00000 834.81357 1.56% 18.1 635s 33077 9809 836.54981 83 83 848.00000 834.89145 1.55% 18.1 640s 33153 9837 839.11182 84 44 848.00000 834.89786 1.55% 18.1 645s 33902 10172 838.90330 84 83 848.00000 834.94781 1.54% 18.1 650s 34723 10504 835.38236 82 98 848.00000 835.01315 1.53% 18.1 655s 35553 10796 846.13979 80 84 848.00000 835.05542 1.53% 18.1 660s 36393 11076 843.77952 96 25 848.00000 835.11926 1.52% 18.1 665s 36698 11195 843.14175 73 76 848.00000 835.14198 1.52% 18.1 671s 37435 11465 843.89934 100 88 848.00000 835.19455 1.51% 18.1 675s 38343 11834 infeasible 76 848.00000 835.24675 1.50% 18.1 680s 39164 12192 cutoff 74 848.00000 835.29488 1.50% 18.1 685s 40002 12490 836.84453 96 92 848.00000 835.34455 1.49% 18.1 690s 40805 12733 836.59934 80 121 848.00000 835.39785 1.49% 18.1 717s 40809 12736 836.04455 77 166 848.00000 835.39785 1.49% 18.1 720s 40812 12738 839.15871 80 129 848.00000 835.39785 1.49% 18.1 727s 40814 12739 845.61468 80 179 848.00000 835.39785 1.49% 18.1 731s 40816 12740 840.38529 82 166 848.00000 835.39785 1.49% 18.1 735s 40819 12742 838.18774 90 183 848.00000 835.39785 1.49% 18.1 740s 40821 12744 846.13201 102 178 848.00000 835.39785 1.49% 18.1 745s 40824 12746 838.18774 90 193 848.00000 835.39785 1.49% 18.1 751s 40826 12747 836.67302 87 190 848.00000 835.39785 1.49% 18.1 755s 40829 12749 839.15871 80 191 848.00000 835.39785 1.49% 18.1 761s 40831 12750 845.20820 107 192 848.00000 835.39785 1.49% 18.1 765s 40836 12756 835.39785 71 178 848.00000 835.39785 1.49% 18.3 770s 40893 12790 836.73456 100 75 848.00000 835.39785 1.49% 18.3 775s 41139 12887 842.28273 113 66 848.00000 835.39785 1.49% 18.4 780s 41591 12985 cutoff 127 848.00000 835.39785 1.49% 18.4 785s 41940 13084 842.16493 102 71 848.00000 835.39785 1.49% 18.4 790s 42574 13227 835.39785 85 135 848.00000 835.39785 1.49% 18.5 795s 43190 13373 845.48564 114 41 848.00000 835.39785 1.49% 18.6 800s 43898 13535 844.24286 122 50 848.00000 835.39785 1.49% 18.6 805s 44553 13706 835.39785 83 110 848.00000 835.39785 1.49% 18.6 813s 44841 13753 845.04557 89 83 848.00000 835.39785 1.49% 18.6 815s 45625 13809 839.18129 83 132 848.00000 835.39785 1.49% 18.7 820s 46412 13914 840.46899 110 84 848.00000 835.39785 1.49% 18.7 825s 47221 14090 835.51931 98 104 848.00000 835.39785 1.49% 18.7 830s 47890 14163 845.66317 119 80 848.00000 835.39785 1.49% 18.8 835s 48667 14225 844.04563 89 69 848.00000 835.39785 1.49% 18.8 840s 49492 14279 843.23752 86 132 848.00000 835.39785 1.49% 18.8 845s 50335 14402 840.55116 96 93 848.00000 835.39785 1.49% 18.8 850s 51005 14435 842.55338 98 85 848.00000 835.39785 1.49% 18.9 855s 51809 14501 842.24225 112 68 848.00000 835.39785 1.49% 18.9 860s 52600 14544 836.23885 109 90 848.00000 835.39785 1.49% 19.0 865s 53386 14660 840.33010 92 128 848.00000 835.39785 1.49% 19.0 870s 54117 14686 cutoff 104 848.00000 835.39785 1.49% 19.1 875s 54915 14766 838.57628 116 102 848.00000 835.39785 1.49% 19.1 880s 55713 14839 841.10432 106 85 848.00000 835.39785 1.49% 19.2 885s H56305 14025 847.0000000 835.39785 1.37% 19.2 894s 56348 14026 infeasible 107 847.00000 835.39785 1.37% 19.2 895s 57119 14070 837.11806 83 115 847.00000 835.39785 1.37% 19.3 900s 57978 14141 838.05229 91 102 847.00000 835.39785 1.37% 19.3 905s 58834 14178 844.00000 101 19 847.00000 835.39785 1.37% 19.3 910s 59642 14198 cutoff 96 847.00000 835.39785 1.37% 19.3 915s 60431 14186 845.23255 92 70 847.00000 835.42115 1.37% 19.3 920s 61206 14179 842.10814 99 51 847.00000 835.49460 1.36% 19.4 925s 62082 14214 cutoff 114 847.00000 835.53156 1.35% 19.4 930s 62841 14204 cutoff 116 847.00000 835.59675 1.35% 19.4 935s 63608 14187 841.91987 83 136 847.00000 835.69210 1.34% 19.5 940s 64340 14145 845.15158 102 112 847.00000 835.78061 1.32% 19.5 945s 65128 14136 cutoff 106 847.00000 835.84295 1.32% 19.6 950s 65674 14109 842.05345 109 83 847.00000 835.91083 1.31% 19.6 957s 66001 14059 cutoff 104 847.00000 835.95946 1.30% 19.7 960s 66681 14026 infeasible 84 847.00000 836.03247 1.29% 19.7 965s 67415 14085 844.99921 117 63 847.00000 836.05617 1.29% 19.8 970s 68202 14138 cutoff 113 847.00000 836.10524 1.29% 19.8 975s 68681 14201 cutoff 108 847.00000 836.11455 1.29% 19.8 980s 69463 14231 843.61540 110 54 847.00000 836.15068 1.28% 19.9 985s 70250 14249 837.77823 80 144 847.00000 836.19137 1.28% 19.9 990s 71062 14292 cutoff 98 847.00000 836.23538 1.27% 19.9 995s 71761 14301 842.56124 111 79 847.00000 836.28568 1.26% 19.9 1000s 72574 14325 cutoff 96 847.00000 836.33516 1.26% 19.9 1005s 73369 14349 cutoff 107 847.00000 836.38770 1.25% 20.0 1010s 74100 14270 841.72078 101 54 847.00000 836.45428 1.25% 20.0 1015s 74844 14298 841.76657 107 85 847.00000 836.49290 1.24% 20.0 1020s 75736 14395 846.00000 117 22 847.00000 836.52156 1.24% 20.0 1025s 76610 14465 cutoff 105 847.00000 836.56200 1.23% 20.0 1030s 77416 14540 839.52489 100 95 847.00000 836.61683 1.23% 20.0 1035s 78221 14810 846.00000 104 43 847.00000 836.66536 1.22% 20.0 1040s 78963 15017 843.05229 99 77 847.00000 836.73567 1.21% 20.1 1045s 79760 15253 842.75909 88 153 847.00000 836.76915 1.21% 20.1 1050s 80489 15399 cutoff 110 847.00000 836.84292 1.20% 20.1 1055s 80986 15516 837.91971 98 91 847.00000 836.87110 1.20% 20.2 1062s 81375 15604 840.71510 103 108 847.00000 836.90191 1.19% 20.2 1065s 82011 15752 842.65617 86 113 847.00000 836.95763 1.19% 20.2 1070s 82758 15915 841.69856 104 116 847.00000 837.01028 1.18% 20.3 1075s 83497 16042 844.28571 106 60 847.00000 837.04841 1.17% 20.3 1080s 84478 16491 841.99805 121 52 847.00000 837.05345 1.17% 20.3 1085s 85236 16659 cutoff 92 847.00000 837.08477 1.17% 20.3 1090s 86013 16914 841.05146 94 112 847.00000 837.10837 1.17% 20.3 1095s 86906 17229 841.56867 91 105 847.00000 837.12548 1.17% 20.3 1100s 87707 17469 839.93069 105 105 847.00000 837.15345 1.16% 20.4 1105s 88527 17720 845.31366 91 84 847.00000 837.17544 1.16% 20.4 1110s 89300 17889 843.09260 110 105 847.00000 837.21287 1.16% 20.4 1115s 89872 18068 841.25343 93 89 847.00000 837.24325 1.15% 20.4 1126s 90450 18222 841.64551 85 138 847.00000 837.27221 1.15% 20.4 1130s 91177 18352 cutoff 130 847.00000 837.29432 1.15% 20.4 1135s 91850 18563 844.24394 105 85 847.00000 837.32292 1.14% 20.5 1140s 92604 18737 843.05342 108 67 847.00000 837.36676 1.14% 20.5 1145s 93424 19028 839.34223 112 107 847.00000 837.39049 1.13% 20.5 1150s 94184 19226 845.31642 89 79 847.00000 837.42301 1.13% 20.5 1155s 94980 19462 cutoff 111 847.00000 837.45766 1.13% 20.5 1160s 95721 19637 841.05713 85 131 847.00000 837.49284 1.12% 20.6 1165s 96687 20092 843.30338 94 77 847.00000 837.50566 1.12% 20.5 1170s 97590 20457 cutoff 92 847.00000 837.52249 1.12% 20.5 1175s 98380 20665 842.60807 106 75 847.00000 837.55268 1.12% 20.6 1180s 99271 21014 cutoff 91 847.00000 837.56838 1.11% 20.5 1185s 100106 21305 839.55342 97 63 847.00000 837.59787 1.11% 20.5 1190s 100927 21543 845.89475 97 69 847.00000 837.62464 1.11% 20.5 1195s 101802 21805 843.55716 94 100 847.00000 837.66112 1.10% 20.5 1200s 102446 21960 844.05345 102 57 847.00000 837.68279 1.10% 20.6 1205s 103314 22215 843.31369 99 81 847.00000 837.72095 1.10% 20.6 1210s 104159 22514 cutoff 115 847.00000 837.76319 1.09% 20.6 1215s 104888 22694 cutoff 91 847.00000 837.78818 1.09% 20.6 1220s 105654 22913 845.38681 97 98 847.00000 837.82996 1.08% 20.6 1225s 106323 23027 840.38384 114 86 847.00000 837.86218 1.08% 20.6 1230s 107135 23292 cutoff 124 847.00000 837.89928 1.07% 20.7 1235s 107819 23408 840.74111 108 107 847.00000 837.94012 1.07% 20.7 1240s 108520 23497 cutoff 110 847.00000 837.97109 1.07% 20.7 1245s 109319 23722 844.35247 102 85 847.00000 838.00000 1.06% 20.8 1250s 110065 23939 843.37110 102 79 847.00000 838.03432 1.06% 20.8 1255s 110924 24271 844.18272 87 92 847.00000 838.05002 1.06% 20.8 1260s 111979 24698 infeasible 121 847.00000 838.05345 1.06% 20.7 1265s 112846 25033 844.61197 108 79 847.00000 838.05803 1.06% 20.7 1270s 113616 25212 cutoff 92 847.00000 838.08172 1.05% 20.7 1275s 114390 25402 846.00000 134 23 847.00000 838.10779 1.05% 20.7 1280s 115308 25716 842.03829 113 91 847.00000 838.12500 1.05% 20.7 1285s 116254 26008 844.05345 92 75 847.00000 838.14172 1.05% 20.7 1290s 117027 26190 845.69155 112 66 847.00000 838.17280 1.04% 20.7 1295s 117769 26332 843.18782 104 64 847.00000 838.20303 1.04% 20.7 1300s 118524 26525 cutoff 92 847.00000 838.22736 1.04% 20.7 1305s 119355 26743 cutoff 101 847.00000 838.24325 1.03% 20.8 1310s 120210 27002 840.83359 109 76 847.00000 838.26309 1.03% 20.7 1315s 120972 27194 844.07692 128 26 847.00000 838.28094 1.03% 20.8 1320s 121674 27342 845.72008 96 76 847.00000 838.31062 1.03% 20.8 1332s 122027 27426 infeasible 98 847.00000 838.32625 1.02% 20.8 1335s 122721 27582 842.43242 106 94 847.00000 838.35351 1.02% 20.8 1340s 123498 27766 cutoff 119 847.00000 838.38223 1.02% 20.8 1345s 124323 27958 841.51928 106 75 847.00000 838.41032 1.01% 20.8 1350s 125125 28105 842.88681 99 69 847.00000 838.44233 1.01% 20.8 1355s 125972 28316 845.36284 99 47 847.00000 838.46209 1.01% 20.8 1360s 126779 28534 840.34108 97 82 847.00000 838.49287 1.00% 20.8 1365s 127729 28862 840.60814 101 77 847.00000 838.50568 1.00% 20.8 1370s 128551 29076 842.58188 105 71 847.00000 838.52461 1.00% 20.8 1375s 128598 29085 839.10820 96 87 847.00000 838.52560 1.00% 20.8 1383s 128852 29156 cutoff 118 847.00000 838.53282 1.00% 20.8 1385s 129712 29426 844.54795 128 23 847.00000 838.55342 1.00% 20.8 1390s 130571 29664 cutoff 120 847.00000 838.57080 1.00% 20.8 1395s 131442 29905 840.43276 92 103 847.00000 838.60210 0.99% 20.8 1400s 132317 30107 840.45345 107 76 847.00000 838.62981 0.99% 20.8 1405s 133084 30295 840.39221 104 46 847.00000 838.65363 0.99% 20.8 1410s 133926 30510 cutoff 121 847.00000 838.67898 0.98% 20.8 1415s 134783 30716 845.30338 87 72 847.00000 838.70798 0.98% 20.8 1420s 135713 30951 839.70929 81 120 847.00000 838.73353 0.98% 20.8 1425s 136527 31108 844.46753 111 34 847.00000 838.76551 0.97% 20.8 1430s 137355 31298 cutoff 94 847.00000 838.78197 0.97% 20.8 1435s 138276 31608 844.38672 96 92 847.00000 838.80386 0.97% 20.7 1440s 139099 31808 infeasible 97 847.00000 838.83789 0.96% 20.7 1445s 139777 31852 840.39344 102 52 847.00000 838.85345 0.96% 20.8 1450s 140613 32035 cutoff 114 847.00000 838.87815 0.96% 20.8 1455s 141446 32164 839.77369 89 99 847.00000 838.90518 0.96% 20.8 1460s 142307 32358 cutoff 108 847.00000 838.94573 0.95% 20.8 1465s 143034 32502 845.73937 103 101 847.00000 838.97373 0.95% 20.8 1470s 143914 32698 cutoff 122 847.00000 839.00000 0.94% 20.8 1475s 144781 32912 842.02713 97 92 847.00000 839.02717 0.94% 20.8 1480s 145615 33078 839.86517 86 115 847.00000 839.04846 0.94% 20.8 1485s 146594 33377 840.24655 94 77 847.00000 839.05342 0.94% 20.7 1490s 147679 33855 841.83321 106 58 847.00000 839.05345 0.94% 20.7 1495s 148701 34281 844.36137 110 52 847.00000 839.05345 0.94% 20.6 1500s 149625 34559 cutoff 95 847.00000 839.06381 0.94% 20.6 1505s 150419 34720 841.83188 108 100 847.00000 839.08546 0.93% 20.6 1510s 151348 34988 842.05689 107 112 847.00000 839.10551 0.93% 20.6 1515s 151832 35116 843.34887 81 113 847.00000 839.11089 0.93% 20.6 1525s 152623 35427 841.11175 99 59 847.00000 839.11517 0.93% 20.6 1530s 153443 35682 843.96792 118 83 847.00000 839.12629 0.93% 20.6 1535s 154470 36112 841.59230 108 54 847.00000 839.13599 0.93% 20.5 1540s 155441 36370 844.17905 122 69 847.00000 839.14828 0.93% 20.5 1545s 156260 36577 841.81336 100 64 847.00000 839.16252 0.93% 20.5 1550s 157149 36777 cutoff 95 847.00000 839.18200 0.92% 20.5 1555s 157990 36959 cutoff 95 847.00000 839.21063 0.92% 20.5 1560s 158918 37252 844.52174 108 44 847.00000 839.22484 0.92% 20.5 1565s 159793 37444 cutoff 111 847.00000 839.24636 0.92% 20.5 1570s 160681 37653 842.37755 104 85 847.00000 839.26429 0.91% 20.5 1575s 161564 37908 840.00000 123 60 847.00000 839.28599 0.91% 20.4 1580s 162428 38103 841.98555 94 129 847.00000 839.30469 0.91% 20.4 1585s 163222 38284 cutoff 105 847.00000 839.32165 0.91% 20.5 1590s 164092 38604 843.66667 103 99 847.00000 839.33247 0.91% 20.4 1595s 164952 38855 845.22530 120 32 847.00000 839.35137 0.90% 20.4 1600s 165773 39018 842.04416 99 86 847.00000 839.37162 0.90% 20.4 1605s 166646 39236 844.27586 105 48 847.00000 839.38675 0.90% 20.4 1610s 167545 39442 843.17688 111 44 847.00000 839.40379 0.90% 20.4 1615s 168304 39514 cutoff 106 847.00000 839.43008 0.89% 20.4 1620s 169182 39711 840.33650 105 67 847.00000 839.45178 0.89% 20.4 1625s 170026 39885 845.11182 104 45 847.00000 839.47631 0.89% 20.4 1630s 170958 40108 841.55342 94 68 847.00000 839.50224 0.89% 20.4 1635s 171892 40366 843.58646 101 77 847.00000 839.51681 0.88% 20.4 1640s 172765 40594 844.09179 102 45 847.00000 839.53613 0.88% 20.4 1645s 173603 40772 842.95684 108 53 847.00000 839.55342 0.88% 20.4 1650s 174391 40954 845.32442 100 115 847.00000 839.56432 0.88% 20.4 1655s 175279 41129 841.95891 115 92 847.00000 839.58485 0.88% 20.4 1660s 176137 41322 842.05342 103 69 847.00000 839.61141 0.87% 20.4 1665s 177076 41505 846.00000 119 32 847.00000 839.62852 0.87% 20.3 1670s 177968 41686 cutoff 108 847.00000 839.64504 0.87% 20.3 1675s 178873 41892 841.72362 118 54 847.00000 839.66934 0.87% 20.3 1680s 179752 42062 cutoff 103 847.00000 839.68971 0.86% 20.3 1685s 180593 42159 841.72488 103 68 847.00000 839.71549 0.86% 20.3 1690s 181466 42350 cutoff 96 847.00000 839.72977 0.86% 20.3 1695s 182290 42451 841.39645 109 64 847.00000 839.75817 0.85% 20.3 1700s 183061 42602 843.30527 109 97 847.00000 839.76821 0.85% 20.3 1705s 183914 42759 839.85074 107 73 847.00000 839.77696 0.85% 20.3 1710s 184723 42883 cutoff 106 847.00000 839.79983 0.85% 20.3 1715s 185647 43068 843.11405 104 82 847.00000 839.81650 0.85% 20.3 1720s 186523 43255 842.30058 108 86 847.00000 839.83681 0.85% 20.3 1725s 187234 43285 840.78538 112 75 847.00000 839.84520 0.84% 20.3 1734s 187369 43319 840.17337 118 79 847.00000 839.84699 0.84% 20.3 1735s 188280 43423 842.51612 99 79 847.00000 839.85871 0.84% 20.3 1740s 189087 43516 infeasible 108 847.00000 839.87762 0.84% 20.3 1745s 189985 43689 842.41667 111 46 847.00000 839.89644 0.84% 20.3 1750s 190868 43801 cutoff 102 847.00000 839.91365 0.84% 20.3 1755s 191742 43990 842.55345 95 85 847.00000 839.93055 0.83% 20.3 1760s 192566 44077 845.17113 100 55 847.00000 839.95047 0.83% 20.3 1765s 193321 44128 840.10024 124 66 847.00000 839.96739 0.83% 20.3 1770s 194085 44309 841.23343 127 64 847.00000 839.98262 0.83% 20.3 1775s 194953 44499 843.00000 118 34 847.00000 839.99687 0.83% 20.3 1780s 195954 44715 840.00000 117 45 847.00000 840.00000 0.83% 20.3 1785s 196956 44947 cutoff 122 847.00000 840.00000 0.83% 20.2 1790s 197798 45139 cutoff 99 847.00000 840.00997 0.83% 20.2 1795s 198614 45217 841.13932 132 49 847.00000 840.02672 0.82% 20.2 1800s 199485 45410 842.05345 95 76 847.00000 840.04563 0.82% 20.2 1805s 200369 45630 cutoff 96 847.00000 840.05232 0.82% 20.2 1810s 201313 45942 cutoff 104 847.00000 840.05342 0.82% 20.2 1815s 202302 46258 842.05342 103 77 847.00000 840.05342 0.82% 20.2 1820s 203222 46577 845.71034 110 65 847.00000 840.05342 0.82% 20.2 1825s 204186 46858 cutoff 97 847.00000 840.05345 0.82% 20.1 1830s 205035 47201 844.40506 112 43 847.00000 840.05345 0.82% 20.1 1835s 206066 47597 842.13653 109 58 847.00000 840.05348 0.82% 20.1 1840s 206974 47856 844.81862 112 81 847.00000 840.05749 0.82% 20.1 1845s 207925 48205 844.05253 105 55 847.00000 840.05952 0.82% 20.1 1854s 207964 48212 cutoff 114 847.00000 840.05986 0.82% 20.1 1855s 208927 48481 cutoff 121 847.00000 840.06221 0.82% 20.0 1860s 210043 48978 845.00000 113 49 847.00000 840.06221 0.82% 20.0 1865s 211044 49312 842.48780 117 45 847.00000 840.07163 0.82% 20.0 1870s 211792 49356 843.22078 116 64 847.00000 840.08885 0.82% 20.0 1875s 212670 49461 843.31046 100 107 847.00000 840.10225 0.81% 20.0 1880s 213640 49790 843.04426 128 45 847.00000 840.10941 0.81% 20.0 1885s 214521 50090 843.26050 114 57 847.00000 840.11267 0.81% 20.0 1890s 215502 50415 841.74634 103 97 847.00000 840.11689 0.81% 19.9 1895s 216400 50617 844.00000 109 37 847.00000 840.12608 0.81% 19.9 1900s 217327 50919 845.58962 106 81 847.00000 840.13132 0.81% 19.9 1905s 218333 51256 843.42674 116 58 847.00000 840.13599 0.81% 19.9 1910s 219241 51444 841.04972 100 90 847.00000 840.14428 0.81% 19.9 1915s 220125 51586 cutoff 90 847.00000 840.15863 0.81% 19.9 1920s 221026 51744 cutoff 108 847.00000 840.17021 0.81% 19.9 1925s 221822 51919 cutoff 89 847.00000 840.18334 0.80% 19.9 1930s 222727 52062 cutoff 101 847.00000 840.19949 0.80% 19.9 1935s 223584 52251 cutoff 119 847.00000 840.21610 0.80% 19.9 1940s 224461 52390 843.72008 96 76 847.00000 840.22703 0.80% 19.9 1945s 225209 52574 842.63783 100 62 847.00000 840.23959 0.80% 19.9 1950s 226253 52819 842.87179 110 58 847.00000 840.24636 0.80% 19.8 1955s 227163 52957 cutoff 123 847.00000 840.25537 0.80% 19.8 1960s 228202 53211 cutoff 120 847.00000 840.25537 0.80% 19.8 1965s 229199 53452 842.87179 115 34 847.00000 840.25919 0.80% 19.8 1970s 230158 53697 840.55345 88 88 847.00000 840.26737 0.79% 19.8 1975s 230973 53807 844.46001 93 111 847.00000 840.28197 0.79% 19.8 1980s *231673 49426 129 846.0000000 840.29167 0.67% 19.8 1984s 231675 49426 841.26154 112 67 846.00000 840.29167 0.67% 19.8 1989s 231796 49420 843.45833 110 72 846.00000 840.29416 0.67% 19.8 1990s 232678 49423 cutoff 109 846.00000 840.31441 0.67% 19.8 1995s 233537 49512 843.47554 108 32 846.00000 840.33506 0.67% 19.8 2000s 234486 49628 cutoff 118 846.00000 840.35139 0.67% 19.8 2005s 235240 49649 841.36735 115 42 846.00000 840.37677 0.66% 19.8 2010s 236111 49761 841.56306 109 60 846.00000 840.38861 0.66% 19.8 2015s 236978 49824 844.05656 103 57 846.00000 840.40441 0.66% 19.8 2020s 237869 49908 cutoff 108 846.00000 840.43119 0.66% 19.7 2025s 238749 49938 842.00000 111 54 846.00000 840.44966 0.66% 19.7 2030s 239716 50088 842.64286 114 57 846.00000 840.46095 0.65% 19.7 2035s 240596 50178 cutoff 109 846.00000 840.48298 0.65% 19.7 2040s 241444 50205 cutoff 110 846.00000 840.49944 0.65% 19.7 2045s 242286 50273 cutoff 120 846.00000 840.51454 0.65% 19.7 2050s 243168 50332 843.20635 108 40 846.00000 840.52464 0.65% 19.7 2055s 244002 50377 cutoff 114 846.00000 840.54331 0.64% 19.7 2060s 244156 50386 cutoff 89 846.00000 840.54599 0.64% 19.7 2065s 245101 50520 844.11111 103 76 846.00000 840.55599 0.64% 19.7 2070s 245871 50547 cutoff 96 846.00000 840.57210 0.64% 19.7 2075s 246759 50580 infeasible 130 846.00000 840.59001 0.64% 19.7 2080s 247658 50613 844.12009 97 83 846.00000 840.60897 0.64% 19.7 2085s 248517 50638 841.65227 117 51 846.00000 840.62534 0.64% 19.7 2090s 249406 50731 840.67920 114 73 846.00000 840.63991 0.63% 19.7 2095s 250335 50781 843.15385 115 44 846.00000 840.65909 0.63% 19.7 2100s 251244 50869 843.00000 113 51 846.00000 840.67253 0.63% 19.7 2105s 252241 50964 cutoff 125 846.00000 840.68513 0.63% 19.7 2110s 253165 50983 844.00000 112 52 846.00000 840.70988 0.63% 19.7 2115s 254132 51139 844.11434 111 54 846.00000 840.72012 0.62% 19.6 2120s 255038 51215 cutoff 117 846.00000 840.73743 0.62% 19.6 2125s 255840 51196 cutoff 132 846.00000 840.75258 0.62% 19.6 2130s 256759 51325 842.22012 104 86 846.00000 840.76716 0.62% 19.6 2135s 257666 51350 843.29550 97 86 846.00000 840.77739 0.62% 19.6 2140s 258563 51341 cutoff 103 846.00000 840.79230 0.62% 19.6 2145s 259585 51486 843.16667 110 51 846.00000 840.80769 0.61% 19.6 2150s 260554 51510 845.00000 123 53 846.00000 840.83035 0.61% 19.6 2155s 261398 51471 841.82335 108 77 846.00000 840.84295 0.61% 19.6 2160s 262301 51435 845.00000 111 55 846.00000 840.85207 0.61% 19.6 2165s 263287 51464 841.95883 113 74 846.00000 840.87063 0.61% 19.6 2170s 264136 51387 842.88959 103 76 846.00000 840.89053 0.60% 19.6 2175s 265014 51310 842.15343 94 81 846.00000 840.90858 0.60% 19.6 2180s 265819 51417 cutoff 125 846.00000 840.91902 0.60% 19.5 2185s 265940 51406 842.00000 113 32 846.00000 840.92326 0.60% 19.5 2192s 266331 51396 cutoff 117 846.00000 840.93383 0.60% 19.5 2195s 267220 51299 841.80068 97 95 846.00000 840.95202 0.60% 19.5 2200s 268186 51318 841.24875 126 58 846.00000 840.96657 0.59% 19.5 2205s 269127 51247 845.00000 119 37 846.00000 840.98110 0.59% 19.5 2210s 270046 51260 843.15385 119 41 846.00000 840.99415 0.59% 19.5 2215s 271184 51385 842.36000 115 60 846.00000 840.99789 0.59% 19.5 2220s 272221 51492 844.00000 112 44 846.00000 841.00000 0.59% 19.5 2225s 273276 51562 841.00000 106 42 846.00000 841.00000 0.59% 19.5 2230s 274316 51633 842.35294 107 43 846.00000 841.00000 0.59% 19.4 2235s 275414 51754 844.00000 119 24 846.00000 841.00000 0.59% 19.4 2240s 276337 51822 841.66667 108 52 846.00000 841.00000 0.59% 19.4 2245s 277372 51888 842.67105 114 49 846.00000 841.00000 0.59% 19.4 2250s 278396 51974 843.66772 110 52 846.00000 841.00000 0.59% 19.4 2255s 279402 52047 cutoff 124 846.00000 841.00000 0.59% 19.3 2260s 280405 52128 cutoff 115 846.00000 841.00000 0.59% 19.3 2265s 281412 52198 cutoff 111 846.00000 841.00000 0.59% 19.3 2270s 282388 52253 cutoff 114 846.00000 841.00000 0.59% 19.3 2275s 283337 52300 841.56541 117 85 846.00000 841.00701 0.59% 19.3 2280s 284201 52222 843.05345 104 53 846.00000 841.02668 0.59% 19.3 2285s 285030 52197 844.85514 149 62 846.00000 841.04180 0.59% 19.3 2290s 285880 52303 infeasible 117 846.00000 841.04911 0.59% 19.3 2295s 286653 52322 844.31646 116 49 846.00000 841.05342 0.58% 19.3 2300s 287627 52606 841.70249 117 60 846.00000 841.05342 0.58% 19.3 2305s 288677 52911 843.05345 105 62 846.00000 841.05345 0.58% 19.3 2310s 289651 53190 842.13171 94 86 846.00000 841.05345 0.58% 19.2 2315s 290623 53387 841.47362 98 81 846.00000 841.05345 0.58% 19.2 2320s 291625 53691 cutoff 118 846.00000 841.05348 0.58% 19.2 2325s 292587 53850 cutoff 117 846.00000 841.05775 0.58% 19.2 2330s 293603 54027 cutoff 103 846.00000 841.05922 0.58% 19.2 2335s 294617 54204 841.71637 102 45 846.00000 841.05922 0.58% 19.2 2340s 295722 54423 843.92693 116 68 846.00000 841.06221 0.58% 19.2 2345s 296700 54745 cutoff 119 846.00000 841.06221 0.58% 19.1 2350s 297797 55081 845.00000 115 60 846.00000 841.06221 0.58% 19.1 2355s 298909 55401 845.00000 120 32 846.00000 841.06221 0.58% 19.1 2360s 299965 55578 cutoff 128 846.00000 841.07268 0.58% 19.1 2365s 300813 55505 cutoff 126 846.00000 841.08942 0.58% 19.1 2370s 301791 55528 cutoff 99 846.00000 841.10225 0.58% 19.1 2375s 302781 55674 841.21785 111 63 846.00000 841.10857 0.58% 19.1 2380s 302971 55666 844.58065 114 40 846.00000 841.11111 0.58% 19.1 2387s 303419 55788 cutoff 135 846.00000 841.11182 0.58% 19.0 2390s 304496 55911 841.59404 95 62 846.00000 841.11785 0.58% 19.0 2395s 305520 55979 cutoff 116 846.00000 841.12608 0.58% 19.0 2400s 306573 56116 845.00000 122 32 846.00000 841.12860 0.58% 19.0 2405s 307505 56254 842.10212 115 56 846.00000 841.13187 0.58% 19.0 2410s 308482 56318 842.30338 91 80 846.00000 841.13673 0.57% 19.0 2415s 309430 56342 cutoff 96 846.00000 841.15234 0.57% 19.0 2420s 310274 56333 infeasible 123 846.00000 841.16781 0.57% 19.0 2425s 311125 56323 842.89704 105 88 846.00000 841.18276 0.57% 19.0 2430s 312092 56328 cutoff 112 846.00000 841.19510 0.57% 19.0 2435s 313076 56271 844.54683 117 67 846.00000 841.20930 0.57% 19.0 2440s 314015 56253 843.05342 102 53 846.00000 841.21975 0.57% 18.9 2445s 315039 56301 842.51236 105 124 846.00000 841.23038 0.56% 18.9 2450s 315999 56273 cutoff 121 846.00000 841.24284 0.56% 18.9 2455s 317005 56283 841.36997 119 65 846.00000 841.25191 0.56% 18.9 2460s 317872 56258 cutoff 92 846.00000 841.25634 0.56% 18.9 2465s 318994 56272 cutoff 114 846.00000 841.26154 0.56% 18.9 2470s 320126 56278 cutoff 127 846.00000 841.26292 0.56% 18.9 2475s 321034 56270 842.76923 125 48 846.00000 841.27692 0.56% 18.9 2480s 322032 56343 844.35844 104 63 846.00000 841.28318 0.56% 18.8 2485s 323021 56300 843.05342 110 58 846.00000 841.29911 0.56% 18.8 2490s 324019 56320 cutoff 117 846.00000 841.30977 0.55% 18.8 2495s 324847 56237 843.87179 100 60 846.00000 841.32633 0.55% 18.8 2500s 325784 56222 842.63162 88 134 846.00000 841.33776 0.55% 18.8 2505s 326802 56174 843.00000 111 55 846.00000 841.35115 0.55% 18.8 2510s 327634 56172 cutoff 114 846.00000 841.36649 0.55% 18.8 2515s 328595 56138 841.55342 103 54 846.00000 841.38357 0.55% 18.8 2520s 329547 56196 844.11434 100 55 846.00000 841.39058 0.54% 18.8 2525s 330483 56145 843.05342 98 75 846.00000 841.40229 0.54% 18.8 2530s 331487 56116 842.63226 112 54 846.00000 841.41860 0.54% 18.8 2535s 332394 56061 cutoff 95 846.00000 841.43410 0.54% 18.8 2540s 333334 56025 843.00000 116 35 846.00000 841.44910 0.54% 18.8 2545s 334293 56037 cutoff 95 846.00000 841.46269 0.54% 18.8 2550s 335308 55934 843.72008 91 81 846.00000 841.47686 0.53% 18.7 2555s 336258 55865 844.03448 110 57 846.00000 841.48737 0.53% 18.7 2560s 336904 55774 843.05342 101 58 846.00000 841.49790 0.53% 18.7 2570s 337835 55691 844.50442 113 81 846.00000 841.51099 0.53% 18.7 2575s 338562 55625 843.11816 103 57 846.00000 841.52156 0.53% 18.7 2582s 338976 55567 cutoff 120 846.00000 841.52904 0.53% 18.7 2585s 339984 55638 844.05345 93 55 846.00000 841.53421 0.53% 18.7 2590s 340904 55509 844.11321 113 56 846.00000 841.54821 0.53% 18.7 2595s 341859 55441 cutoff 105 846.00000 841.55345 0.53% 18.7 2600s 342777 55325 843.13599 101 51 846.00000 841.56822 0.52% 18.7 2605s 343822 55161 cutoff 112 846.00000 841.58065 0.52% 18.7 2610s 344818 55080 844.00000 103 45 846.00000 841.59191 0.52% 18.7 2615s 345733 54985 cutoff 116 846.00000 841.60414 0.52% 18.7 2620s 346702 54995 infeasible 119 846.00000 841.61678 0.52% 18.7 2625s 347739 55032 cutoff 129 846.00000 841.62246 0.52% 18.7 2630s 348614 55046 cutoff 102 846.00000 841.63241 0.52% 18.6 2635s 349522 54935 844.00000 120 34 846.00000 841.64678 0.51% 18.6 2640s 350386 54884 844.05345 102 63 846.00000 841.65770 0.51% 18.6 2645s 351433 54776 842.96703 109 56 846.00000 841.67202 0.51% 18.6 2650s 352380 54738 cutoff 111 846.00000 841.68644 0.51% 18.6 2655s 353331 54637 842.47368 108 47 846.00000 841.70405 0.51% 18.6 2660s 354227 54437 842.00000 119 40 846.00000 841.72005 0.51% 18.6 2665s 355189 54284 843.28571 100 39 846.00000 841.73778 0.50% 18.6 2670s 356123 54093 infeasible 114 846.00000 841.75835 0.50% 18.6 2675s 357106 54116 infeasible 94 846.00000 841.76773 0.50% 18.6 2680s 358012 53943 cutoff 118 846.00000 841.78284 0.50% 18.6 2685s 358932 53755 cutoff 104 846.00000 841.79506 0.50% 18.6 2690s 359854 53577 844.05345 99 49 846.00000 841.81400 0.49% 18.6 2695s 360823 53410 cutoff 109 846.00000 841.83684 0.49% 18.6 2700s 361641 53162 842.00000 106 57 846.00000 841.85300 0.49% 18.6 2705s 362610 53079 844.17544 116 62 846.00000 841.86670 0.49% 18.6 2710s 363655 52955 cutoff 125 846.00000 841.88159 0.49% 18.6 2715s 364559 52973 841.88903 116 51 846.00000 841.88903 0.49% 18.6 2725s 365610 52915 cutoff 136 846.00000 841.90244 0.48% 18.5 2730s 366661 52939 cutoff 100 846.00000 841.91059 0.48% 18.5 2735s 367634 52807 842.85807 118 84 846.00000 841.93140 0.48% 18.5 2740s 368524 52548 843.69231 115 45 846.00000 841.95161 0.48% 18.5 2745s 369530 52400 844.16667 120 76 846.00000 841.96880 0.48% 18.5 2750s 370537 52329 843.42845 111 63 846.00000 841.98268 0.47% 18.5 2755s 371405 52267 844.12488 101 67 846.00000 841.99095 0.47% 18.5 2760s 372446 52213 cutoff 104 846.00000 841.99653 0.47% 18.5 2765s 373494 52166 844.22892 113 54 846.00000 842.00000 0.47% 18.5 2770s 374572 52196 cutoff 112 846.00000 842.00000 0.47% 18.5 2775s 375675 52163 842.63736 114 33 846.00000 842.00000 0.47% 18.4 2780s 376774 52170 845.00000 119 26 846.00000 842.00000 0.47% 18.4 2785s 377923 52138 infeasible 111 846.00000 842.00000 0.47% 18.4 2790s 378945 52108 843.88889 110 44 846.00000 842.00000 0.47% 18.4 2795s 380076 52083 842.41860 111 55 846.00000 842.00000 0.47% 18.4 2800s 381157 52131 cutoff 121 846.00000 842.00000 0.47% 18.4 2805s 382191 52077 843.04204 104 52 846.00000 842.00000 0.47% 18.3 2810s 383313 52029 844.18182 117 39 846.00000 842.00000 0.47% 18.3 2815s 384392 52026 842.22500 104 55 846.00000 842.00000 0.47% 18.3 2820s 385410 51955 843.12057 120 54 846.00000 842.00000 0.47% 18.3 2825s 386506 51897 842.76190 105 59 846.00000 842.00000 0.47% 18.3 2830s 387448 51903 844.53012 107 63 846.00000 842.00000 0.47% 18.3 2835s 388521 51885 843.00000 108 68 846.00000 842.00000 0.47% 18.3 2840s 389561 51836 844.57224 102 70 846.00000 842.00000 0.47% 18.2 2845s 390547 51849 842.13284 113 56 846.00000 842.00000 0.47% 18.2 2850s 391613 51805 845.00000 107 39 846.00000 842.00000 0.47% 18.2 2855s 392746 51749 843.93634 104 52 846.00000 842.00000 0.47% 18.2 2860s 393823 51744 infeasible 116 846.00000 842.00000 0.47% 18.2 2865s 394908 51738 cutoff 116 846.00000 842.00719 0.47% 18.2 2870s 395836 51669 cutoff 95 846.00000 842.02206 0.47% 18.2 2875s 396829 51691 infeasible 108 846.00000 842.03030 0.47% 18.2 2880s 397714 51649 cutoff 115 846.00000 842.04041 0.47% 18.2 2885s 397948 51645 844.72012 107 85 846.00000 842.04375 0.47% 18.2 2891s 398426 51587 843.05345 97 74 846.00000 842.04844 0.47% 18.2 2895s 399349 51492 842.05342 93 66 846.00000 842.05342 0.47% 18.2 2900s 400476 51832 844.12000 110 70 846.00000 842.05342 0.47% 18.1 2905s 401534 52038 843.40167 118 68 846.00000 842.05342 0.47% 18.1 2910s 402618 52308 cutoff 97 846.00000 842.05345 0.47% 18.1 2915s 403692 52599 infeasible 111 846.00000 842.05345 0.47% 18.1 2920s 404770 52800 842.05348 98 69 846.00000 842.05348 0.47% 18.1 2925s 405779 52931 843.40167 116 55 846.00000 842.05656 0.47% 18.1 2930s 406855 53274 cutoff 93 846.00000 842.05721 0.47% 18.1 2935s 407762 53260 842.20301 103 50 846.00000 842.05912 0.47% 18.1 2940s 408619 53268 cutoff 102 846.00000 842.05912 0.47% 18.1 2945s 409503 53274 843.29645 110 43 846.00000 842.05922 0.47% 18.1 2950s 410349 53274 843.29645 103 62 846.00000 842.05922 0.47% 18.1 2955s 411287 53378 cutoff 108 846.00000 842.06221 0.47% 18.0 2960s 412433 53671 842.47554 98 60 846.00000 842.06221 0.47% 18.0 2965s 413589 53904 cutoff 109 846.00000 842.06221 0.47% 18.0 2970s 414583 53862 842.17688 103 58 846.00000 842.07595 0.46% 18.0 2975s 415572 53656 infeasible 106 846.00000 842.09753 0.46% 18.0 2980s 416540 53554 843.19780 113 57 846.00000 842.10714 0.46% 18.0 2985s 417588 53677 cutoff 94 846.00000 842.11236 0.46% 18.0 2990s 418587 53691 842.26528 110 77 846.00000 842.12002 0.46% 18.0 2995s 419621 53597 844.24775 113 66 846.00000 842.12608 0.46% 18.0 3000s 420693 53529 844.71209 119 51 846.00000 842.13218 0.46% 18.0 3005s 421642 53506 cutoff 104 846.00000 842.13760 0.46% 17.9 3010s 422607 53342 844.00000 106 49 846.00000 842.15044 0.46% 17.9 3015s 422943 53333 844.05338 98 64 846.00000 842.15546 0.45% 17.9 3021s 423587 53206 cutoff 122 846.00000 842.16667 0.45% 17.9 3025s 424583 53074 844.15000 115 42 846.00000 842.17381 0.45% 17.9 3030s 425580 52888 cutoff 102 846.00000 842.19045 0.45% 17.9 3035s 426084 52750 843.00000 110 52 846.00000 842.20061 0.45% 17.9 3044s 426246 52706 cutoff 108 846.00000 842.20468 0.45% 17.9 3045s 427294 52589 cutoff 106 846.00000 842.21613 0.45% 17.9 3050s 428251 52512 844.00000 115 40 846.00000 842.22040 0.45% 17.9 3055s 429260 52489 843.05342 110 66 846.00000 842.22989 0.45% 17.9 3060s 430292 52486 844.91667 101 65 846.00000 842.23939 0.44% 17.9 3065s 431308 52330 cutoff 133 846.00000 842.24982 0.44% 17.9 3070s 432283 52215 842.31579 115 56 846.00000 842.25641 0.44% 17.9 3075s 433373 52070 843.36735 112 57 846.00000 842.26154 0.44% 17.9 3080s 434425 51916 cutoff 112 846.00000 842.27198 0.44% 17.9 3085s 435561 51759 843.10814 114 58 846.00000 842.27957 0.44% 17.8 3090s 436555 51614 843.23611 108 61 846.00000 842.28483 0.44% 17.8 3095s 437605 51386 cutoff 98 846.00000 842.30195 0.44% 17.8 3100s 438613 51232 cutoff 118 846.00000 842.31092 0.44% 17.8 3105s 439507 51007 844.05656 112 46 846.00000 842.32313 0.43% 17.8 3110s 440505 50798 cutoff 118 846.00000 842.33620 0.43% 17.8 3115s 441455 50626 844.00000 105 48 846.00000 842.35115 0.43% 17.8 3120s 442528 50410 cutoff 113 846.00000 842.36735 0.43% 17.8 3125s 443554 50223 infeasible 115 846.00000 842.38462 0.43% 17.8 3130s 444541 50112 844.00000 122 57 846.00000 842.39225 0.43% 17.8 3135s 445499 49925 cutoff 124 846.00000 842.41457 0.42% 17.8 3140s 446548 49779 844.02385 109 49 846.00000 842.41860 0.42% 17.8 3145s 447516 49614 843.05338 114 52 846.00000 842.43858 0.42% 17.8 3150s 448528 49482 844.00000 116 36 846.00000 842.45073 0.42% 17.8 3155s 449393 49346 cutoff 92 846.00000 842.46426 0.42% 17.8 3160s 450468 49178 843.72000 101 57 846.00000 842.47904 0.42% 17.8 3165s 451534 48981 844.00000 123 32 846.00000 842.49810 0.41% 17.7 3170s 452571 48808 842.71355 121 57 846.00000 842.50934 0.41% 17.7 3175s 453490 48558 infeasible 126 846.00000 842.52703 0.41% 17.7 3180s 454570 48361 843.22078 100 42 846.00000 842.53435 0.41% 17.7 3185s 455562 48096 842.61184 119 46 846.00000 842.55063 0.41% 17.7 3190s 456523 47937 infeasible 90 846.00000 842.55946 0.41% 17.7 3195s 457534 47631 844.70588 111 61 846.00000 842.57607 0.40% 17.7 3200s 458584 47537 842.65653 116 60 846.00000 842.58377 0.40% 17.7 3205s 459540 47256 843.00000 126 40 846.00000 842.60391 0.40% 17.7 3210s 460494 47004 infeasible 104 846.00000 842.61694 0.40% 17.7 3215s 461455 46719 844.72012 110 81 846.00000 842.63593 0.40% 17.7 3220s 462424 46410 844.00000 119 42 846.00000 842.64567 0.40% 17.7 3225s 463383 46145 844.71567 119 70 846.00000 842.66378 0.39% 17.7 3230s 464400 45909 845.00000 124 44 846.00000 842.67752 0.39% 17.7 3235s 465313 45681 843.00000 114 62 846.00000 842.69330 0.39% 17.7 3240s 465811 45520 843.45597 109 60 846.00000 842.70428 0.39% 17.7 3250s 466723 45227 843.18935 99 52 846.00000 842.72005 0.39% 17.7 3255s 467680 44906 cutoff 110 846.00000 842.74165 0.39% 17.7 3260s 468689 44553 cutoff 121 846.00000 842.76488 0.38% 17.7 3265s 469703 44219 cutoff 113 846.00000 842.78846 0.38% 17.7 3270s 470739 43861 cutoff 107 846.00000 842.81022 0.38% 17.7 3275s 471849 43574 cutoff 115 846.00000 842.82931 0.37% 17.6 3280s 472752 43059 cutoff 95 846.00000 842.84615 0.37% 17.6 3285s 473855 42555 cutoff 118 846.00000 842.86188 0.37% 17.6 3290s 474930 42331 cutoff 133 846.00000 842.87279 0.37% 17.6 3295s 476041 41945 845.00000 115 50 846.00000 842.88889 0.37% 17.6 3300s 477049 41802 843.00000 102 65 846.00000 842.89932 0.37% 17.6 3305s 478069 41564 843.05342 90 82 846.00000 842.91219 0.36% 17.6 3310s 479094 41177 cutoff 109 846.00000 842.94016 0.36% 17.6 3315s 480139 40838 cutoff 117 846.00000 842.96150 0.36% 17.6 3320s 481146 40507 cutoff 104 846.00000 842.98025 0.36% 17.6 3325s 482237 40127 844.09615 126 52 846.00000 842.99410 0.36% 17.6 3330s 483344 39903 843.00000 111 39 846.00000 843.00000 0.35% 17.6 3335s 484483 39820 843.20121 124 31 846.00000 843.00000 0.35% 17.5 3340s 485658 39751 843.40000 121 33 846.00000 843.00000 0.35% 17.5 3345s 486833 39689 843.20212 127 34 846.00000 843.00000 0.35% 17.5 3350s 487998 39600 844.36735 119 35 846.00000 843.00000 0.35% 17.5 3355s 489106 39518 843.00000 116 22 846.00000 843.00000 0.35% 17.5 3360s 490246 39401 843.00000 121 39 846.00000 843.00000 0.35% 17.5 3365s 491276 39331 844.00000 109 42 846.00000 843.00000 0.35% 17.5 3370s 492373 39187 844.27692 106 49 846.00000 843.00000 0.35% 17.5 3375s 493479 39065 844.00000 107 43 846.00000 843.00000 0.35% 17.4 3380s 494634 38922 cutoff 120 846.00000 843.00000 0.35% 17.4 3385s 495752 38745 cutoff 112 846.00000 843.00000 0.35% 17.4 3390s 496857 38569 843.63736 112 58 846.00000 843.00000 0.35% 17.4 3395s 497990 38452 cutoff 107 846.00000 843.00000 0.35% 17.4 3400s 499086 38320 843.54717 114 70 846.00000 843.00000 0.35% 17.4 3405s 500194 38152 843.54839 105 65 846.00000 843.00000 0.35% 17.4 3410s 501276 38019 cutoff 106 846.00000 843.00000 0.35% 17.4 3415s 502414 37880 infeasible 100 846.00000 843.00000 0.35% 17.3 3420s 503533 37759 844.00000 112 46 846.00000 843.00000 0.35% 17.3 3425s 504715 37644 843.76056 113 65 846.00000 843.00000 0.35% 17.3 3430s 505794 37517 844.26154 106 60 846.00000 843.00000 0.35% 17.3 3435s 506244 37458 844.00000 126 38 846.00000 843.00000 0.35% 17.3 3440s 507353 37322 cutoff 109 846.00000 843.00000 0.35% 17.3 3445s 508464 37200 843.04255 110 49 846.00000 843.00000 0.35% 17.3 3450s 509528 37122 843.50000 121 23 846.00000 843.00000 0.35% 17.3 3455s 510686 36936 cutoff 108 846.00000 843.00000 0.35% 17.3 3460s 511812 36783 infeasible 106 846.00000 843.00082 0.35% 17.3 3465s 512795 36392 cutoff 114 846.00000 843.03913 0.35% 17.2 3470s 513591 36100 cutoff 99 846.00000 843.05338 0.35% 17.3 3475s 514600 35986 cutoff 96 846.00000 843.05342 0.35% 17.2 3480s 515677 35931 843.05345 101 79 846.00000 843.05345 0.35% 17.2 3485s 516779 35839 844.32075 107 42 846.00000 843.05656 0.35% 17.2 3490s 517879 35830 843.20301 107 49 846.00000 843.05912 0.35% 17.2 3495s 518802 35717 cutoff 103 846.00000 843.05912 0.35% 17.2 3500s 519755 35600 cutoff 102 846.00000 843.05922 0.35% 17.2 3505s 520712 35489 cutoff 120 846.00000 843.05922 0.35% 17.2 3510s 521625 35377 843.20635 116 49 846.00000 843.05931 0.35% 17.2 3515s 522787 35325 cutoff 108 846.00000 843.06221 0.35% 17.2 3520s 523915 35344 843.13599 99 53 846.00000 843.06221 0.35% 17.2 3525s 525046 35283 844.00000 114 30 846.00000 843.07224 0.35% 17.1 3530s 525934 35080 844.30243 105 67 846.00000 843.08842 0.34% 17.1 3535s 527124 34747 843.85256 117 66 846.00000 843.11182 0.34% 17.1 3540s 528142 34468 cutoff 119 846.00000 843.12500 0.34% 17.1 3545s 528857 34264 844.00000 103 43 846.00000 843.12891 0.34% 17.1 3554s 529051 34257 cutoff 120 846.00000 843.13026 0.34% 17.1 3555s 530086 33857 843.54224 92 74 846.00000 843.14555 0.34% 17.1 3560s 531082 33470 844.00000 116 50 846.00000 843.16822 0.33% 17.1 3565s 532090 33041 843.45007 115 45 846.00000 843.19437 0.33% 17.1 3570s 533102 32578 844.48480 97 102 846.00000 843.21813 0.33% 17.1 3575s 534153 32202 cutoff 121 846.00000 843.23577 0.33% 17.1 3580s 535207 31677 843.45007 102 45 846.00000 843.25641 0.32% 17.1 3585s 536124 31336 844.14592 103 68 846.00000 843.27384 0.32% 17.1 3590s 537210 30936 cutoff 112 846.00000 843.29032 0.32% 17.1 3595s Cutting planes: Learned: 33 Gomory: 134 Cover: 407 Implied bound: 11 Clique: 22 MIR: 771 Flow cover: 24 GUB cover: 61 Zero half: 261 Mod-K: 2 Explored 538255 nodes (9192772 simplex iterations) in 3600.02 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective 8.460000000000e+02, best bound 8.440000000000e+02, gap 0.2364%