Gurobi 5.0.1 (linux64) logging started Mon Dec 24 19:10:08 2012 Optimize a model with 40402 rows, 40401 columns and 181939 nonzeros Presolve removed 38017 rows and 21574 columns Presolve time: 0.31s Presolved: 2385 rows, 18827 columns, 43275 nonzeros Variable types: 193 continuous, 18634 integer (18634 binary) Root relaxation: objective 8.638513e+02, 1021 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 863.85131 0 318 - 863.85131 - - 0s 0 0 904.89323 0 262 - 904.89323 - - 0s 0 0 908.45752 0 294 - 908.45752 - - 0s 0 0 912.45833 0 257 - 912.45833 - - 0s 0 0 916.34472 0 271 - 916.34472 - - 0s 0 0 918.33333 0 262 - 918.33333 - - 1s 0 0 918.72141 0 270 - 918.72141 - - 1s 0 0 919.86310 0 288 - 919.86310 - - 1s 0 0 919.86310 0 281 - 919.86310 - - 1s 0 0 919.86310 0 281 - 919.86310 - - 1s 0 0 920.18810 0 206 - 920.18810 - - 1s 0 0 920.56310 0 242 - 920.56310 - - 1s 0 0 920.56310 0 243 - 920.56310 - - 1s 0 0 920.74881 0 219 - 920.74881 - - 1s 0 0 920.84881 0 232 - 920.84881 - - 1s 0 0 920.84881 0 232 - 920.84881 - - 1s 0 2 920.97381 0 226 - 920.97381 - - 2s 601 449 950.56996 29 232 - 922.30714 - 13.7 6s 603 450 967.90325 54 299 - 922.30714 - 13.6 12s 604 451 963.53161 30 198 - 922.75889 - 13.6 15s 606 452 953.96016 37 202 - 934.25628 - 13.6 22s 607 453 981.37638 51 179 - 937.82630 - 13.6 25s 609 454 939.73057 23 144 - 939.73057 - 13.5 30s 611 456 952.64611 47 211 - 941.56409 - 13.5 37s 612 456 963.53161 30 204 - 942.11800 - 13.4 42s 613 457 942.70235 18 193 - 942.70235 - 13.4 45s 615 458 953.96016 37 192 - 944.39332 - 13.4 53s 616 459 945.24908 13 190 - 945.24908 - 13.4 57s 617 460 945.70617 17 229 - 945.70617 - 13.3 61s 618 460 946.57513 16 231 - 946.57513 - 13.3 66s 620 462 947.41663 12 214 - 947.41663 - 13.3 73s 621 462 947.77491 20 206 - 947.77491 - 13.3 76s 622 463 947.92180 23 196 - 947.92180 - 13.2 80s 624 464 967.90325 54 286 - 948.94367 - 13.2 90s 626 466 963.53161 30 225 - 949.54769 - 13.1 100s 627 466 950.56996 29 219 - 949.59032 - 13.1 105s 628 467 967.90325 54 231 - 949.88854 - 13.1 111s 629 468 954.70325 44 238 - 950.05009 - 13.1 116s 630 468 950.10171 22 253 - 950.10171 - 13.1 120s 631 469 967.90325 54 247 - 950.12575 - 13.0 125s 632 470 963.53161 30 280 - 950.42503 - 13.0 131s 633 470 951.05279 22 233 - 951.05279 - 13.0 135s 635 472 951.05281 23 239 - 951.05281 - 13.0 140s 640 476 954.70325 44 320 - 951.55281 - 45.3 150s 642 478 951.55281 8 274 - 951.55281 - 45.1 159s 643 478 951.55281 23 260 - 951.55281 - 45.1 164s 644 479 951.66266 22 220 - 951.66266 - 45.0 168s 645 480 951.74178 12 242 - 951.74178 - 44.9 173s 646 480 951.78686 13 207 - 951.78686 - 44.9 177s 647 481 951.78702 17 235 - 951.78702 - 44.8 180s 649 482 951.78702 20 234 - 951.78702 - 44.6 185s 759 530 955.57441 34 200 - 953.59555 - 49.1 190s 1050 639 980.81168 70 190 - 953.66861 - 46.4 195s 1633 907 976.75093 80 154 - 954.13903 - 36.5 200s 2253 1255 973.90058 59 197 - 954.19613 - 30.3 205s 3044 1833 989.86479 106 120 - 954.19979 - 26.8 210s 3652 2313 971.47932 42 182 - 954.19979 - 25.4 215s 4339 2866 990.44219 87 85 - 954.34265 - 24.5 220s 4962 3319 980.79942 78 130 - 954.34741 - 24.2 225s 5701 3890 1031.30687 138 90 - 954.40744 - 23.3 230s 6349 4384 987.70981 76 181 - 954.44819 - 22.9 235s 7079 4873 961.57923 34 196 - 954.53312 - 22.4 240s 7664 5308 infeasible 55 - 954.59979 - 22.3 245s 8232 5734 975.90387 53 155 - 954.77671 - 22.4 250s 8896 6171 1024.01070 89 172 - 954.87626 - 22.3 255s 9546 6642 995.28383 62 140 - 955.01002 - 22.2 260s 10201 7161 975.06133 59 167 - 955.18570 - 22.0 266s 10689 7551 956.85421 34 215 - 955.24662 - 21.9 270s 11331 8067 969.45421 38 202 - 955.44819 - 21.7 275s 11930 8474 955.45421 35 226 - 955.45421 - 21.8 280s *12266 7770 145 1003.0000000 955.45421 4.74% 21.7 283s H12400 6885 993.0000000 955.45421 3.78% 21.7 284s 12401 6882 957.20498 37 232 993.00000 955.45421 3.78% 21.7 289s 12405 6885 988.21051 74 205 993.00000 955.45421 3.78% 21.7 290s 12415 6891 956.00931 38 238 993.00000 955.45421 3.78% 21.7 295s 12784 7039 956.38303 46 237 993.00000 955.89076 3.74% 22.5 300s 13809 7366 967.03575 48 222 993.00000 957.25162 3.60% 22.1 305s 14861 7750 973.82011 54 216 993.00000 957.89020 3.54% 21.6 310s 15860 8064 972.89020 52 217 993.00000 958.55241 3.47% 21.5 315s H16029 7753 992.0000000 958.57871 3.37% 21.4 317s 16626 7957 982.33613 71 158 992.00000 959.15688 3.31% 21.3 320s 17784 8357 981.66946 73 146 992.00000 959.54613 3.27% 21.0 325s 18845 8659 966.49824 59 227 992.00000 959.96138 3.23% 20.8 330s 19892 8928 cutoff 73 992.00000 960.27060 3.20% 20.6 335s 20885 9215 969.06760 61 199 992.00000 960.63653 3.16% 20.5 340s H21145 8899 991.0000000 960.67043 3.06% 20.5 341s 21884 9120 977.93608 65 128 991.00000 960.82086 3.05% 20.4 345s 22670 9314 970.04056 55 231 991.00000 960.90495 3.04% 20.3 350s 23554 9557 984.89241 61 197 991.00000 961.09489 3.02% 20.2 355s 24582 9810 965.50511 50 248 991.00000 961.25908 3.00% 20.1 360s 25608 10089 988.66998 69 164 991.00000 961.43178 2.98% 20.0 365s 26662 10373 976.38225 69 156 991.00000 961.61618 2.97% 19.9 370s 27727 10629 971.55908 58 222 991.00000 961.73230 2.95% 19.9 375s 28825 10835 970.49889 46 208 991.00000 961.90843 2.94% 19.7 380s 29876 11065 963.60832 48 264 991.00000 962.14715 2.91% 19.7 385s 30858 11273 978.45165 49 209 991.00000 962.36160 2.89% 19.6 390s 31872 11898 979.10969 55 196 991.00000 962.41760 2.88% 19.6 395s 32909 12490 976.51826 58 214 991.00000 962.58901 2.87% 19.5 400s 33533 12844 973.40217 75 172 991.00000 962.73070 2.85% 19.4 405s 34137 13139 cutoff 59 991.00000 962.88285 2.84% 19.4 410s 35097 13661 982.46490 90 173 991.00000 962.96138 2.83% 19.4 415s 36112 14227 971.81352 54 214 991.00000 963.12651 2.81% 19.3 420s 37079 14767 986.27957 49 222 991.00000 963.25998 2.80% 19.3 425s 38112 15390 984.25000 71 139 991.00000 963.40582 2.78% 19.3 430s 39095 15948 982.39876 81 131 991.00000 963.53911 2.77% 19.3 435s 40100 16535 978.54116 75 109 991.00000 963.71355 2.75% 19.2 440s 41077 17099 977.14811 52 224 991.00000 963.86959 2.74% 19.2 445s 42104 17735 978.67372 101 119 991.00000 963.92208 2.73% 19.1 450s 43126 18277 968.17061 53 213 991.00000 964.03471 2.72% 19.1 455s 44172 18927 cutoff 83 991.00000 964.12220 2.71% 19.1 460s 45201 19521 982.61523 56 243 991.00000 964.21299 2.70% 19.1 465s 46223 20151 972.25000 63 106 991.00000 964.27709 2.70% 19.0 470s 47240 20664 cutoff 58 991.00000 964.39409 2.68% 19.0 475s H47749 19520 988.0000000 964.45110 2.38% 19.0 477s 47750 19522 985.57956 75 121 988.00000 964.45110 2.38% 19.0 482s 48176 19735 971.03110 56 224 988.00000 964.47230 2.38% 19.0 485s 49150 20304 969.49600 54 225 988.00000 964.55153 2.37% 19.0 490s 50231 20875 966.02800 51 250 988.00000 964.63863 2.36% 19.0 495s 51006 21353 977.47515 68 232 988.00000 964.66998 2.36% 18.9 526s 51012 21357 978.58987 67 218 988.00000 964.66998 2.36% 18.9 530s 51018 21361 972.77778 84 229 988.00000 964.66998 2.36% 18.9 535s 51024 21365 978.86551 74 263 988.00000 964.66998 2.36% 18.9 540s 51030 21369 985.01029 89 226 988.00000 964.66998 2.36% 18.9 545s 51036 21373 977.47515 68 240 988.00000 964.66998 2.36% 18.9 550s 51042 21377 974.40313 63 211 988.00000 964.66998 2.36% 18.9 555s 51047 21380 968.91511 53 260 988.00000 964.66998 2.36% 18.9 560s 51053 21384 977.47515 68 248 988.00000 964.66998 2.36% 18.9 565s 51058 21388 986.16141 81 281 988.00000 964.66998 2.36% 18.9 570s 51064 21392 985.01029 89 285 988.00000 964.66998 2.36% 18.9 575s 51364 21539 979.81283 111 109 988.00000 964.66998 2.36% 19.3 580s 52185 21787 975.23259 55 214 988.00000 964.66998 2.36% 19.4 585s 52924 21972 975.74751 63 249 988.00000 964.66998 2.36% 19.5 590s H53543 21008 986.0000000 964.66998 2.16% 19.6 593s 53689 21021 981.86989 57 256 986.00000 964.66998 2.16% 19.6 595s 54280 21164 976.84107 66 200 986.00000 964.66998 2.16% 19.7 600s 55126 21414 980.77915 71 235 986.00000 964.66998 2.16% 19.8 605s 55928 21620 965.92920 70 292 986.00000 964.66998 2.16% 19.8 610s 56717 21779 971.66654 57 276 986.00000 964.69425 2.16% 19.9 615s 57462 21907 975.83483 83 195 986.00000 965.01667 2.13% 20.0 620s 58195 22027 975.47996 59 251 986.00000 965.37996 2.09% 20.2 625s 58812 22129 977.19712 70 237 986.00000 965.64663 2.06% 20.3 631s 59307 22198 984.55114 82 240 986.00000 965.77996 2.05% 20.3 635s 60000 22332 982.43127 72 215 986.00000 965.97996 2.03% 20.5 640s 60776 22497 981.40887 65 237 986.00000 966.04156 2.02% 20.5 645s 61493 22658 infeasible 72 986.00000 966.22996 2.01% 20.6 650s 62200 22790 974.85496 79 242 986.00000 966.48452 1.98% 20.7 655s 62907 22931 978.32995 82 212 986.00000 966.73719 1.95% 20.8 660s 63690 23104 972.69425 61 244 986.00000 967.00727 1.93% 20.9 665s 64443 23301 980.86330 75 257 986.00000 967.35496 1.89% 20.9 670s 65167 23431 970.64996 55 262 986.00000 967.51655 1.87% 21.0 675s 65904 23593 982.81383 93 170 986.00000 967.64490 1.86% 21.1 680s 65939 23608 977.79708 84 140 986.00000 967.64663 1.86% 21.1 685s 65962 23614 967.94425 62 265 986.00000 967.64926 1.86% 21.1 690s 65977 23624 979.60511 69 216 986.00000 967.64926 1.86% 21.1 695s 65995 23623 981.49875 61 246 986.00000 967.65245 1.86% 21.1 700s 66011 23625 968.83710 61 255 986.00000 967.65853 1.86% 21.1 705s 66025 23628 970.80139 69 242 986.00000 967.65927 1.86% 21.1 710s 66042 23625 984.99836 73 222 986.00000 967.65927 1.86% 21.1 715s 66054 23626 970.61274 68 189 986.00000 967.66746 1.86% 21.1 720s 66064 23631 972.86036 77 189 986.00000 967.66746 1.86% 21.1 725s 66710 23781 973.23466 76 256 986.00000 967.87008 1.84% 21.1 730s 67505 23993 972.32836 70 273 986.00000 967.97190 1.83% 21.1 735s 68172 24102 981.44425 60 243 986.00000 968.03917 1.82% 21.2 740s 68939 24293 978.57543 70 143 986.00000 968.22299 1.80% 21.3 745s 69705 24466 978.72996 71 196 986.00000 968.39619 1.79% 21.4 750s 70491 24618 977.89456 80 249 986.00000 968.51934 1.77% 21.4 755s 71316 24799 977.13030 68 218 986.00000 968.72996 1.75% 21.4 760s 72098 25046 981.83763 78 250 986.00000 968.76115 1.75% 21.5 765s 72589 25184 980.77551 71 218 986.00000 968.86154 1.74% 21.5 772s 72921 25227 975.80869 73 187 986.00000 968.90345 1.73% 21.5 775s 73692 25382 973.12282 70 261 986.00000 968.99239 1.72% 21.5 780s 74517 25574 cutoff 67 986.00000 969.13437 1.71% 21.6 785s 75324 25726 980.59551 78 237 986.00000 969.26569 1.70% 21.6 790s 76108 25854 975.46584 72 238 986.00000 969.36772 1.69% 21.7 795s 76919 26025 984.02177 86 165 986.00000 969.47996 1.68% 21.7 800s 77739 26207 978.44507 74 238 986.00000 969.55491 1.67% 21.7 805s 78562 26400 983.73991 77 174 986.00000 969.66867 1.66% 21.7 810s 79356 26643 979.25833 74 142 986.00000 969.72694 1.65% 21.8 815s 80157 26842 981.75889 71 215 986.00000 969.75805 1.65% 21.8 820s 80974 26938 982.92996 66 196 986.00000 969.87003 1.64% 21.8 825s 81736 27103 977.55313 79 246 986.00000 969.92412 1.63% 21.9 830s 82593 27335 978.72996 70 207 986.00000 969.94425 1.63% 21.9 835s 83348 27474 982.71002 62 269 986.00000 969.97996 1.62% 21.9 840s 84071 27608 971.51944 62 241 986.00000 970.00269 1.62% 22.0 845s 84875 27730 976.00496 71 208 986.00000 970.06932 1.62% 22.1 850s 85646 27821 973.57404 75 245 986.00000 970.12568 1.61% 22.1 855s 86439 27921 973.01913 67 259 986.00000 970.21885 1.60% 22.2 860s 87195 28105 972.49085 67 270 986.00000 970.23289 1.60% 22.2 865s 87970 28262 983.82010 73 156 986.00000 970.29503 1.59% 22.3 870s 88815 28401 976.98360 62 223 986.00000 970.35203 1.59% 22.3 875s 89621 28504 974.72996 66 224 986.00000 970.39663 1.58% 22.3 880s 90431 28651 975.58462 67 235 986.00000 970.44425 1.58% 22.3 885s 91244 28768 976.69425 70 235 986.00000 970.48447 1.57% 22.4 890s 92053 28891 977.58929 73 184 986.00000 970.55491 1.57% 22.4 895s 92894 29011 982.66855 66 254 986.00000 970.60933 1.56% 22.4 900s 93718 29146 cutoff 63 986.00000 970.69617 1.55% 22.5 905s 94579 29363 cutoff 85 986.00000 970.72996 1.55% 22.5 910s 95472 29500 cutoff 85 986.00000 970.75621 1.55% 22.5 915s 96284 29587 979.78533 74 260 986.00000 970.81068 1.54% 22.5 920s 97054 29683 975.30688 63 243 986.00000 970.86935 1.53% 22.5 925s 97878 29760 976.31952 78 219 986.00000 970.91178 1.53% 22.6 930s 98729 29873 980.47537 70 211 986.00000 970.96674 1.52% 22.6 935s 99345 29979 983.41217 66 222 986.00000 970.97996 1.52% 22.7 948s 99528 29974 974.97996 69 239 986.00000 970.97996 1.52% 22.7 950s 100348 30065 979.81974 80 151 986.00000 971.01304 1.52% 22.7 955s 101249 30166 982.56293 85 198 986.00000 971.06330 1.51% 22.7 960s 102186 30299 976.94425 69 245 986.00000 971.11091 1.51% 22.8 965s 102526 30333 982.55550 74 166 986.00000 971.13387 1.51% 22.8 970s 103399 30421 980.28979 76 168 986.00000 971.20361 1.50% 22.8 975s 104441 30572 977.00410 75 187 986.00000 971.22996 1.50% 22.8 980s 105412 30688 976.36258 60 240 986.00000 971.28519 1.49% 22.8 985s 106405 30754 980.19150 71 184 986.00000 971.31330 1.49% 22.8 990s 107379 30846 974.72996 65 237 986.00000 971.37302 1.48% 22.9 995s 108411 30959 cutoff 83 986.00000 971.41958 1.48% 22.9 1000s 109417 31088 976.31543 73 253 986.00000 971.46526 1.47% 22.9 1005s 110240 31184 982.47959 87 153 986.00000 971.50170 1.47% 22.9 1010s 111209 31292 976.95137 66 248 986.00000 971.55709 1.46% 22.9 1015s 112121 31357 cutoff 81 986.00000 971.60265 1.46% 23.0 1020s 112959 31683 981.13516 83 221 986.00000 971.64200 1.46% 23.0 1025s 113819 32050 976.92537 69 223 986.00000 971.67537 1.45% 23.0 1030s 114647 32386 979.94493 64 244 986.00000 971.70740 1.45% 23.1 1035s 115576 32801 976.97996 68 209 986.00000 971.72996 1.45% 23.1 1040s 116597 33327 973.22996 67 244 986.00000 971.72996 1.45% 23.1 1045s 117590 33829 981.65422 77 131 986.00000 971.74814 1.45% 23.1 1050s 118487 34249 977.90624 84 181 986.00000 971.78649 1.44% 23.2 1055s 119390 34621 976.22472 76 235 986.00000 971.83177 1.44% 23.2 1060s 120464 35140 975.72996 68 198 986.00000 971.87067 1.43% 23.2 1065s 121554 35663 cutoff 76 986.00000 971.91068 1.43% 23.2 1070s 122565 36098 979.35266 82 209 986.00000 971.94169 1.43% 23.2 1075s 123372 36384 978.96073 68 224 986.00000 971.96118 1.42% 23.2 1080s 124213 36721 978.44493 62 254 986.00000 971.97996 1.42% 23.3 1085s 125006 37100 981.63479 66 237 986.00000 971.98532 1.42% 23.4 1090s 125992 37598 978.82653 82 166 986.00000 972.00990 1.42% 23.4 1095s 126950 38020 cutoff 78 986.00000 972.06182 1.41% 23.4 1100s 127933 38463 cutoff 87 986.00000 972.08409 1.41% 23.4 1105s 128920 38903 984.39545 89 67 986.00000 972.10395 1.41% 23.4 1110s 129943 39350 973.14490 63 224 986.00000 972.14070 1.41% 23.4 1115s 130938 39739 980.18122 78 199 986.00000 972.20395 1.40% 23.4 1120s 131906 40198 978.17430 72 242 986.00000 972.22996 1.40% 23.4 1125s 132891 40666 977.97996 72 252 986.00000 972.22996 1.40% 23.4 1130s 133948 41195 cutoff 87 986.00000 972.26413 1.39% 23.4 1135s 134976 41592 976.40665 68 229 986.00000 972.30139 1.39% 23.4 1140s 136112 42095 cutoff 86 986.00000 972.31011 1.39% 23.4 1145s 137123 42513 981.66239 75 200 986.00000 972.34769 1.38% 23.4 1150s 138149 42948 976.38770 73 231 986.00000 972.37626 1.38% 23.4 1155s 139146 43320 infeasible 64 986.00000 972.39923 1.38% 23.4 1160s 140135 43719 976.72996 73 250 986.00000 972.44425 1.37% 23.4 1165s 141075 44131 975.84099 65 250 986.00000 972.46996 1.37% 23.4 1170s 142030 44536 979.69203 80 210 986.00000 972.49467 1.37% 23.4 1175s 143063 45041 974.84363 73 229 986.00000 972.52951 1.37% 23.4 1180s 144040 45455 979.69218 83 168 986.00000 972.55645 1.36% 23.4 1185s 145055 45857 980.72996 79 187 986.00000 972.58979 1.36% 23.4 1190s 146082 46237 975.80139 71 244 986.00000 972.61407 1.36% 23.4 1195s 147145 46708 982.79136 72 161 986.00000 972.63931 1.36% 23.4 1200s 147711 46934 983.17452 86 154 986.00000 972.65275 1.35% 23.4 1213s 147987 47044 973.72996 72 256 986.00000 972.66285 1.35% 23.4 1215s 148908 47485 984.79068 65 247 986.00000 972.69073 1.35% 23.5 1220s 149767 47792 983.97996 72 218 986.00000 972.71210 1.35% 23.5 1225s 150702 48276 976.57639 72 218 986.00000 972.72504 1.35% 23.5 1230s 151801 48788 978.13969 63 257 986.00000 972.72996 1.35% 23.5 1235s 152805 49241 978.49467 77 224 986.00000 972.73690 1.35% 23.5 1240s 153689 49551 cutoff 80 986.00000 972.76367 1.34% 23.5 1245s 154693 49954 983.36583 71 218 986.00000 972.80139 1.34% 23.5 1250s 155670 50355 979.52996 74 211 986.00000 972.83290 1.34% 23.5 1255s 156764 50881 981.95749 89 163 986.00000 972.85395 1.33% 23.5 1260s 157930 51407 980.96455 72 218 986.00000 972.87073 1.33% 23.5 1265s 159020 51913 982.98278 94 130 986.00000 972.88786 1.33% 23.5 1270s 160063 52371 983.14895 76 211 986.00000 972.91178 1.33% 23.5 1275s 161144 52815 978.52134 68 234 986.00000 972.93515 1.33% 23.5 1280s 162090 53188 981.39666 66 240 986.00000 972.94425 1.32% 23.5 1285s 163066 53625 982.86477 73 183 986.00000 972.95884 1.32% 23.5 1290s 163918 53995 cutoff 67 986.00000 972.97996 1.32% 23.5 1295s 164800 54297 976.52011 71 215 986.00000 973.00212 1.32% 23.5 1300s 165732 54726 984.12282 81 215 986.00000 973.01648 1.32% 23.5 1305s 166685 55137 979.67152 72 242 986.00000 973.04737 1.31% 23.6 1310s 167714 55585 984.39638 84 104 986.00000 973.06330 1.31% 23.6 1315s 168680 55935 976.10395 72 170 986.00000 973.08148 1.31% 23.6 1320s 169804 56408 cutoff 86 986.00000 973.10395 1.31% 23.5 1325s 170900 56926 977.30139 64 209 986.00000 973.11780 1.31% 23.5 1330s 171997 57417 976.50990 71 187 986.00000 973.14198 1.30% 23.5 1335s 173105 57875 infeasible 82 986.00000 973.16746 1.30% 23.5 1340s 174078 58247 977.36965 69 299 986.00000 973.19781 1.30% 23.5 1345s 175098 58682 977.82282 62 258 986.00000 973.21497 1.30% 23.5 1350s 176113 59081 cutoff 75 986.00000 973.22996 1.30% 23.5 1355s 177134 59535 981.35265 71 219 986.00000 973.23378 1.29% 23.5 1360s 178083 59911 983.43149 89 131 986.00000 973.25151 1.29% 23.5 1365s 179066 60300 980.03547 69 243 986.00000 973.27551 1.29% 23.5 1370s 180199 60805 978.92996 80 205 986.00000 973.29246 1.29% 23.5 1375s 181286 61275 978.30139 70 210 986.00000 973.30139 1.29% 23.5 1380s 182390 61756 982.82887 80 232 986.00000 973.30484 1.29% 23.5 1385s 183448 62144 982.72996 67 226 986.00000 973.32759 1.29% 23.5 1390s 184338 62489 975.77538 78 245 986.00000 973.35381 1.28% 23.5 1395s 185370 62931 infeasible 85 986.00000 973.37932 1.28% 23.5 1400s 186408 63318 978.66121 70 230 986.00000 973.39720 1.28% 23.5 1405s 187369 63672 982.99789 69 224 986.00000 973.41958 1.28% 23.5 1410s 188376 64004 979.10099 73 239 986.00000 973.44425 1.27% 23.5 1415s 189413 64455 980.78861 80 253 986.00000 973.45506 1.27% 23.5 1420s 190414 64836 978.31925 71 252 986.00000 973.47282 1.27% 23.5 1425s 191295 65159 983.07076 79 198 986.00000 973.48462 1.27% 23.5 1430s 192292 65530 978.22732 76 226 986.00000 973.50774 1.27% 23.5 1435s 193434 66003 983.29389 67 233 986.00000 973.52951 1.26% 23.5 1440s 194426 66349 974.58462 70 222 986.00000 973.54757 1.26% 23.5 1445s 195378 66696 984.24633 65 214 986.00000 973.56788 1.26% 23.5 1450s 196419 67044 983.27619 92 99 986.00000 973.59838 1.26% 23.5 1455s 197443 67371 983.60436 71 215 986.00000 973.60342 1.26% 23.5 1460s 198501 67745 976.52529 78 234 986.00000 973.62243 1.26% 23.5 1465s 199553 68183 974.13447 66 275 986.00000 973.62976 1.25% 23.5 1470s 200596 68551 984.30278 78 151 986.00000 973.64834 1.25% 23.5 1475s 201543 68873 979.53666 78 167 986.00000 973.66540 1.25% 23.5 1480s 202611 69281 978.54475 76 170 986.00000 973.68519 1.25% 23.5 1485s 203557 69676 978.96782 84 113 986.00000 973.69961 1.25% 23.5 1490s 204486 69941 974.01539 73 253 986.00000 973.71578 1.25% 23.5 1495s 205546 70425 977.87530 76 224 986.00000 973.72996 1.24% 23.5 1500s 206639 70883 cutoff 76 986.00000 973.72996 1.24% 23.5 1505s 207734 71342 984.93990 80 152 986.00000 973.72996 1.24% 23.5 1510s 208820 71795 976.74070 71 214 986.00000 973.74070 1.24% 23.5 1515s 209857 72183 977.44425 67 244 986.00000 973.75194 1.24% 23.5 1520s 210840 72538 983.32721 83 147 986.00000 973.77478 1.24% 23.5 1525s 211847 72934 977.25697 81 145 986.00000 973.79144 1.24% 23.5 1530s 212900 73322 984.71369 85 127 986.00000 973.80265 1.24% 23.5 1535s 213964 73690 981.83819 64 231 986.00000 973.82064 1.24% 23.4 1540s 214935 74058 977.19542 64 259 986.00000 973.84221 1.23% 23.4 1545s 216051 74508 980.66538 77 222 986.00000 973.85955 1.23% 23.4 1550s 217224 74968 981.79136 79 169 986.00000 973.87282 1.23% 23.4 1555s 218294 75386 cutoff 86 986.00000 973.88472 1.23% 23.4 1560s 219151 75667 978.74306 68 252 986.00000 973.89663 1.23% 23.4 1565s 220215 76050 983.34102 80 220 986.00000 973.90987 1.23% 23.4 1570s 221193 76418 982.63584 76 243 986.00000 973.91848 1.23% 23.4 1575s 221968 76685 978.72996 56 234 986.00000 973.93509 1.22% 23.4 1588s 221973 76684 977.80528 60 250 986.00000 973.93533 1.22% 23.4 1597s 222515 76863 975.08710 69 235 986.00000 973.94169 1.22% 23.4 1600s 223448 77263 977.44425 71 225 986.00000 973.94425 1.22% 23.4 1605s 224385 77607 977.19387 79 145 986.00000 973.95682 1.22% 23.4 1610s 225322 77956 979.71470 76 158 986.00000 973.97403 1.22% 23.4 1615s 226173 78334 981.21481 77 231 986.00000 973.97996 1.22% 23.4 1620s 227007 78666 983.76842 76 187 986.00000 973.97996 1.22% 23.4 1625s 228043 78999 976.36291 74 260 986.00000 973.99404 1.22% 23.4 1630s 228952 79367 974.89663 60 242 986.00000 974.00269 1.22% 23.4 1635s 229941 79695 983.84107 66 232 986.00000 974.01530 1.22% 23.4 1640s 230906 80050 983.71073 83 171 986.00000 974.02829 1.21% 23.4 1645s 231864 80441 cutoff 79 986.00000 974.04425 1.21% 23.4 1650s 232908 80798 983.14663 63 224 986.00000 974.06101 1.21% 23.4 1655s 233966 81175 978.90179 88 223 986.00000 974.07404 1.21% 23.4 1660s 234938 81503 977.12400 84 147 986.00000 974.08710 1.21% 23.4 1665s 235944 81846 983.78147 71 204 986.00000 974.10265 1.21% 23.4 1670s 237151 82387 cutoff 82 986.00000 974.10395 1.21% 23.4 1675s 238195 82785 cutoff 79 986.00000 974.11091 1.21% 23.4 1680s 239202 83177 980.38160 66 226 986.00000 974.12551 1.20% 23.4 1685s 240139 83487 983.72386 81 176 986.00000 974.13460 1.20% 23.4 1690s 241260 83898 980.90558 73 221 986.00000 974.15563 1.20% 23.4 1695s 242369 84295 984.36903 78 177 986.00000 974.16710 1.20% 23.4 1700s 243352 84685 976.20698 67 168 986.00000 974.17537 1.20% 23.4 1705s 244412 85098 980.97996 73 216 986.00000 974.19212 1.20% 23.4 1710s 245541 85566 985.00000 93 48 986.00000 974.20429 1.20% 23.4 1715s 246553 85960 983.58713 90 122 986.00000 974.21806 1.19% 23.4 1720s 247517 86251 984.41734 77 178 986.00000 974.22996 1.19% 23.4 1725s 248543 86634 cutoff 72 986.00000 974.22996 1.19% 23.4 1730s 249603 87059 984.16764 79 213 986.00000 974.23532 1.19% 23.4 1735s 250744 87459 981.08529 80 149 986.00000 974.25117 1.19% 23.3 1740s 251821 87855 980.00990 75 191 986.00000 974.26660 1.19% 23.3 1745s 252832 88215 984.58710 71 219 986.00000 974.28157 1.19% 23.3 1750s 253948 88703 983.43134 74 146 986.00000 974.29217 1.19% 23.3 1755s 255059 89161 981.72996 81 178 986.00000 974.30139 1.19% 23.3 1760s 256139 89614 981.89286 89 127 986.00000 974.30139 1.19% 23.3 1765s 257276 90076 979.98970 68 242 986.00000 974.30891 1.19% 23.3 1770s 258408 90521 979.72394 83 187 986.00000 974.32382 1.18% 23.3 1775s 259475 90933 984.71369 90 131 986.00000 974.34320 1.18% 23.3 1780s 260481 91269 975.89905 63 240 986.00000 974.35637 1.18% 23.3 1785s 261514 91676 980.26954 73 216 986.00000 974.37074 1.18% 23.3 1790s 262656 92112 974.71073 71 215 986.00000 974.38381 1.18% 23.3 1795s 263800 92543 976.72996 67 238 986.00000 974.39663 1.18% 23.2 1800s 264801 92947 979.55102 80 183 986.00000 974.40385 1.18% 23.2 1805s 265895 93363 infeasible 88 986.00000 974.41654 1.17% 23.2 1810s 266944 93726 980.58298 93 150 986.00000 974.42993 1.17% 23.2 1815s 268071 94142 982.26932 66 193 986.00000 974.44206 1.17% 23.2 1820s 269087 94500 983.89983 70 178 986.00000 974.44425 1.17% 23.2 1825s 270131 94899 976.41161 86 204 986.00000 974.45853 1.17% 23.2 1830s 271159 95231 infeasible 72 986.00000 974.47030 1.17% 23.2 1835s 272177 95637 984.37477 87 59 986.00000 974.47996 1.17% 23.2 1840s 273249 96043 975.36380 85 152 986.00000 974.48700 1.17% 23.2 1845s 274264 96401 984.72996 78 194 986.00000 974.50269 1.17% 23.2 1850s 275417 96847 cutoff 81 986.00000 974.51478 1.16% 23.2 1855s 276505 97266 cutoff 94 986.00000 974.53021 1.16% 23.2 1860s 277572 97689 cutoff 88 986.00000 974.54286 1.16% 23.2 1865s 278602 98016 982.37800 89 185 986.00000 974.55686 1.16% 23.2 1870s 279527 98279 infeasible 92 986.00000 974.56548 1.16% 23.2 1875s 280772 98731 974.74609 61 238 986.00000 974.57962 1.16% 23.2 1880s 281807 99080 cutoff 81 986.00000 974.59360 1.16% 23.2 1885s 282843 99455 984.41734 76 167 986.00000 974.60265 1.16% 23.2 1890s 283822 99741 983.41873 72 176 986.00000 974.60265 1.16% 23.2 1895s 284840 100037 983.72386 84 160 986.00000 974.61067 1.16% 23.2 1900s 285880 100454 981.07195 75 175 986.00000 974.62069 1.15% 23.2 1905s 286946 100781 cutoff 72 986.00000 974.62551 1.15% 23.2 1910s 288002 101180 977.86419 83 166 986.00000 974.63523 1.15% 23.2 1915s 289065 101530 cutoff 71 986.00000 974.64894 1.15% 23.2 1920s 290207 101922 980.15853 79 238 986.00000 974.65907 1.15% 23.1 1925s 291285 102323 978.22551 63 219 986.00000 974.67411 1.15% 23.1 1930s 292392 102735 984.73203 85 178 986.00000 974.68780 1.15% 23.1 1935s 292799 102879 982.87734 81 201 986.00000 974.69387 1.15% 23.1 1946s 293341 102972 infeasible 64 986.00000 974.69961 1.15% 23.1 1950s 294280 103231 976.30441 56 218 986.00000 974.71526 1.14% 23.2 1955s 295177 103600 979.92131 75 156 986.00000 974.72167 1.14% 23.2 1960s 296193 104025 978.56786 79 158 986.00000 974.72931 1.14% 23.2 1965s 297206 104419 979.00410 77 173 986.00000 974.72996 1.14% 23.2 1970s 298368 104892 980.69789 69 198 986.00000 974.72996 1.14% 23.1 1975s 299521 105387 974.91178 73 205 986.00000 974.72996 1.14% 23.1 1980s 300589 105802 979.00410 71 182 986.00000 974.72996 1.14% 23.1 1985s 301683 106281 978.18157 68 237 986.00000 974.72996 1.14% 23.1 1990s 302752 106642 982.64997 84 164 986.00000 974.73992 1.14% 23.1 1995s 303913 107131 981.50395 78 176 986.00000 974.74400 1.14% 23.1 2000s 304922 107459 983.41873 90 174 986.00000 974.75505 1.14% 23.1 2005s 305965 107815 979.22802 91 124 986.00000 974.76842 1.14% 23.1 2010s 307064 108282 cutoff 76 986.00000 974.77758 1.14% 23.1 2015s 308108 108687 978.90643 70 200 986.00000 974.78839 1.14% 23.1 2020s 309195 109089 979.83019 73 199 986.00000 974.79449 1.14% 23.1 2025s 310354 109467 978.21591 73 235 986.00000 974.80688 1.14% 23.1 2030s *310808 105617 103 985.0000000 974.81034 1.03% 23.1 2032s 311328 105750 980.08278 60 242 985.00000 974.81823 1.03% 23.1 2035s 312494 106179 982.24580 90 122 985.00000 974.83030 1.03% 23.1 2040s 313597 106553 981.01161 84 175 985.00000 974.84323 1.03% 23.1 2045s 314679 106903 981.84320 79 199 985.00000 974.85395 1.03% 23.1 2050s 315786 107268 983.32123 74 231 985.00000 974.86191 1.03% 23.0 2055s 316864 107629 980.53205 85 232 985.00000 974.86966 1.03% 23.0 2060s 318024 108037 976.91091 67 246 985.00000 974.87282 1.03% 23.0 2065s 319064 108435 978.49947 79 247 985.00000 974.88091 1.03% 23.0 2070s 320045 108768 977.36744 71 223 985.00000 974.89125 1.03% 23.0 2075s 321056 109072 982.44425 77 226 985.00000 974.89823 1.03% 23.0 2080s 322130 109421 982.71073 74 200 985.00000 974.91034 1.02% 23.0 2085s 323169 109768 978.15038 72 225 985.00000 974.91830 1.02% 23.0 2090s 324240 110071 979.67537 65 190 985.00000 974.93221 1.02% 23.0 2095s 325357 110438 980.33258 69 273 985.00000 974.94425 1.02% 23.0 2100s 326273 110691 977.97996 65 246 985.00000 974.94691 1.02% 23.0 2105s 327289 110961 975.62551 62 211 985.00000 974.95884 1.02% 23.0 2110s 328273 111242 981.79136 70 155 985.00000 974.96840 1.02% 23.0 2115s 329349 111599 980.52408 69 216 985.00000 974.97880 1.02% 23.0 2120s 330216 111827 979.00410 74 182 985.00000 974.97996 1.02% 23.0 2125s 331224 112158 983.86769 92 91 985.00000 974.98281 1.02% 23.0 2130s 332251 112411 cutoff 74 985.00000 974.99663 1.02% 23.0 2135s 333233 112691 977.59838 68 226 985.00000 975.00343 1.01% 23.0 2140s 334384 113132 983.39576 81 137 985.00000 975.00741 1.01% 23.0 2145s 335420 113460 cutoff 77 985.00000 975.01623 1.01% 23.0 2150s 336408 113704 980.97207 79 261 985.00000 975.02758 1.01% 23.0 2155s 337288 113968 980.39630 73 243 985.00000 975.03857 1.01% 23.1 2160s 338416 114290 981.87759 69 214 985.00000 975.04685 1.01% 23.0 2165s 339418 114569 977.57639 79 212 985.00000 975.05809 1.01% 23.0 2170s 340395 114870 976.73303 72 229 985.00000 975.06330 1.01% 23.0 2175s 341421 115183 infeasible 90 985.00000 975.07404 1.01% 23.0 2180s 342592 115550 981.00591 71 241 985.00000 975.08832 1.01% 23.0 2185s 343568 115784 980.23525 75 210 985.00000 975.09933 1.01% 23.0 2190s 344639 116113 cutoff 86 985.00000 975.10395 1.00% 23.0 2195s 345801 116629 981.28172 70 191 985.00000 975.10395 1.00% 23.0 2200s 347014 117157 983.85615 67 204 985.00000 975.10395 1.00% 23.0 2205s 348091 117564 980.15707 69 243 985.00000 975.11091 1.00% 23.0 2210s 349107 117831 976.33202 58 229 985.00000 975.12150 1.00% 23.0 2215s 350106 118139 cutoff 73 985.00000 975.12740 1.00% 23.0 2220s H350508 110351 984.0000000 975.12996 0.90% 23.0 2222s 351036 110457 981.89638 86 153 984.00000 975.13680 0.90% 23.0 2225s 352047 110730 980.81545 75 179 984.00000 975.14241 0.90% 23.0 2230s 353146 110990 cutoff 74 984.00000 975.15342 0.90% 23.0 2235s 354148 111182 977.75138 73 135 984.00000 975.16348 0.90% 23.0 2240s 355072 111515 982.09562 74 239 984.00000 975.16693 0.90% 23.0 2253s 355391 111577 977.42179 72 267 984.00000 975.17119 0.90% 23.0 2255s 356335 111804 978.62231 75 296 984.00000 975.17785 0.90% 23.0 2260s 357348 112019 977.89173 86 183 984.00000 975.19040 0.90% 23.0 2265s 358422 112330 981.11861 79 177 984.00000 975.19679 0.89% 23.0 2270s 359490 112598 980.60817 94 69 984.00000 975.20705 0.89% 23.0 2275s 360537 112841 981.15182 77 193 984.00000 975.22572 0.89% 23.0 2280s 361470 113049 982.41734 75 166 984.00000 975.22996 0.89% 23.0 2285s 362431 113291 979.25166 67 245 984.00000 975.22996 0.89% 23.0 2290s 363405 113509 981.72026 90 130 984.00000 975.23233 0.89% 23.0 2295s 364530 113786 977.66941 76 135 984.00000 975.24275 0.89% 23.0 2300s 365509 114051 cutoff 89 984.00000 975.25151 0.89% 23.0 2305s 366516 114258 cutoff 74 984.00000 975.26505 0.89% 23.0 2310s 367492 114503 977.41291 88 238 984.00000 975.27306 0.89% 23.0 2315s 368410 114680 979.96978 99 121 984.00000 975.28024 0.89% 23.0 2320s 369484 114985 cutoff 65 984.00000 975.28929 0.89% 23.0 2325s 370476 115200 976.58342 72 197 984.00000 975.29904 0.88% 23.0 2330s 371492 115476 975.30139 67 221 984.00000 975.30139 0.88% 23.0 2335s 372485 115699 976.41638 67 239 984.00000 975.30285 0.88% 23.0 2340s 373474 115938 cutoff 71 984.00000 975.31353 0.88% 23.0 2345s 374543 116107 980.60818 82 156 984.00000 975.32994 0.88% 23.0 2350s 375598 116331 982.52407 74 191 984.00000 975.34347 0.88% 23.0 2355s 376553 116569 980.38214 84 210 984.00000 975.35326 0.88% 23.0 2360s 377557 116838 982.23203 73 185 984.00000 975.35950 0.88% 23.0 2365s 378543 117047 980.67945 88 116 984.00000 975.37159 0.88% 23.0 2370s 379675 117358 978.65125 79 140 984.00000 975.37808 0.88% 23.0 2375s 380750 117655 978.35951 69 254 984.00000 975.39012 0.87% 23.0 2380s 381786 117893 980.37740 73 150 984.00000 975.39663 0.87% 23.0 2385s 382778 118109 infeasible 57 984.00000 975.39709 0.87% 23.0 2390s 383768 118241 cutoff 75 984.00000 975.40905 0.87% 23.0 2395s 384826 118427 cutoff 73 984.00000 975.42062 0.87% 23.0 2400s 385947 118608 977.49868 73 188 984.00000 975.43233 0.87% 23.0 2405s 386958 118803 cutoff 68 984.00000 975.44415 0.87% 23.0 2410s 387908 119070 981.85496 76 209 984.00000 975.44425 0.87% 23.0 2415s 388873 119268 976.79440 65 247 984.00000 975.44703 0.87% 23.0 2420s 389842 119424 980.37800 81 180 984.00000 975.45929 0.87% 23.0 2425s 390824 119585 980.64587 86 161 984.00000 975.46825 0.87% 23.0 2430s 391898 119811 981.95652 77 216 984.00000 975.47996 0.87% 23.0 2435s 392854 120053 981.89983 84 173 984.00000 975.47996 0.87% 23.0 2440s 393855 120247 978.74070 77 191 984.00000 975.49118 0.86% 23.0 2445s 394840 120389 979.61515 79 218 984.00000 975.50395 0.86% 23.0 2450s 395949 120732 982.78178 71 210 984.00000 975.50990 0.86% 23.0 2455s 397028 120914 979.15785 86 148 984.00000 975.52094 0.86% 22.9 2460s 398026 121082 982.80688 72 208 984.00000 975.53765 0.86% 23.0 2465s 398957 121275 979.00410 83 185 984.00000 975.54610 0.86% 23.0 2470s 400024 121416 cutoff 70 984.00000 975.55813 0.86% 23.0 2475s 401037 121602 975.65422 85 124 984.00000 975.56786 0.86% 23.0 2480s 402157 121837 cutoff 77 984.00000 975.57996 0.86% 22.9 2485s 403153 122002 979.79369 80 137 984.00000 975.59370 0.85% 22.9 2490s 404219 122230 981.66173 74 142 984.00000 975.60265 0.85% 22.9 2495s 405128 122332 982.74915 84 162 984.00000 975.60265 0.85% 23.0 2500s 406140 122543 976.51494 61 214 984.00000 975.60547 0.85% 23.0 2505s 407140 122698 cutoff 71 984.00000 975.61579 0.85% 23.0 2510s 408131 122833 981.48996 80 211 984.00000 975.62551 0.85% 23.0 2515s 409001 122965 982.01343 71 228 984.00000 975.62973 0.85% 23.0 2520s 410059 123179 978.91784 67 255 984.00000 975.64047 0.85% 23.0 2525s 411039 123339 cutoff 81 984.00000 975.64775 0.85% 23.0 2530s 412350 123621 cutoff 94 984.00000 975.65422 0.85% 23.0 2535s 413284 123754 976.76292 70 171 984.00000 975.66631 0.85% 23.0 2551s 413918 123875 981.38929 81 143 984.00000 975.67297 0.85% 23.0 2555s 414986 124066 981.59986 85 152 984.00000 975.68201 0.85% 23.0 2560s 416006 124232 infeasible 67 984.00000 975.69292 0.84% 23.0 2565s 416998 124370 981.62701 80 179 984.00000 975.70141 0.84% 23.0 2570s 418038 124549 978.87621 74 231 984.00000 975.71071 0.84% 23.0 2575s 418956 124766 977.13616 77 128 984.00000 975.72163 0.84% 23.0 2580s 419944 124958 981.06786 82 164 984.00000 975.72350 0.84% 23.0 2585s 420896 125147 980.45723 79 181 984.00000 975.72996 0.84% 23.0 2590s 421860 125397 980.80300 83 174 984.00000 975.72996 0.84% 23.0 2595s 422889 125672 979.53720 82 168 984.00000 975.72996 0.84% 23.0 2600s 423889 125962 981.13633 86 166 984.00000 975.72996 0.84% 23.0 2605s 424877 126222 cutoff 78 984.00000 975.72996 0.84% 23.0 2610s 425850 126477 980.02982 77 183 984.00000 975.72996 0.84% 23.0 2615s 426785 126730 981.59310 73 194 984.00000 975.72996 0.84% 23.0 2620s 427783 126978 981.87382 74 130 984.00000 975.72996 0.84% 23.0 2625s 428709 127218 981.15351 68 256 984.00000 975.72996 0.84% 23.0 2630s 429669 127489 981.92651 79 174 984.00000 975.72996 0.84% 23.0 2635s 430701 127689 979.76833 87 145 984.00000 975.74070 0.84% 23.0 2640s 431693 127939 976.14286 82 136 984.00000 975.74286 0.84% 23.0 2645s 432732 128130 979.44425 59 235 984.00000 975.75194 0.84% 23.0 2650s 433784 128264 978.82687 62 219 984.00000 975.76114 0.84% 23.0 2655s 434752 128436 981.39327 85 194 984.00000 975.76887 0.84% 23.0 2660s 434865 128461 982.37477 94 111 984.00000 975.76887 0.84% 23.0 2670s 435918 128711 979.52452 86 116 984.00000 975.77551 0.84% 23.0 2675s 436975 128873 982.18451 79 182 984.00000 975.78814 0.83% 23.0 2680s 437955 129006 979.72996 81 210 984.00000 975.78996 0.83% 23.0 2685s 439050 129267 979.73728 69 204 984.00000 975.79508 0.83% 23.0 2690s 440105 129456 infeasible 72 984.00000 975.80139 0.83% 23.0 2695s 441072 129633 982.94735 71 198 984.00000 975.80992 0.83% 23.0 2700s 442037 129758 980.59083 83 165 984.00000 975.81755 0.83% 23.0 2705s 443091 129907 cutoff 88 984.00000 975.82653 0.83% 23.0 2710s 444259 130174 cutoff 94 984.00000 975.83239 0.83% 23.0 2715s 445230 130314 980.00496 74 204 984.00000 975.84107 0.83% 23.0 2720s 446272 130441 975.99154 64 228 984.00000 975.85265 0.83% 23.0 2725s 447321 130641 979.54499 76 163 984.00000 975.85567 0.83% 23.0 2730s 448474 130799 982.37312 85 75 984.00000 975.86570 0.83% 23.0 2735s 449521 130990 infeasible 70 984.00000 975.87282 0.83% 23.0 2740s 450545 131205 980.63676 82 179 984.00000 975.87615 0.83% 23.0 2745s 451591 131342 980.59030 78 135 984.00000 975.88660 0.82% 23.0 2750s 452660 131516 980.15900 80 98 984.00000 975.89575 0.82% 23.0 2755s 453684 131752 977.09145 82 187 984.00000 975.89663 0.82% 23.0 2760s 454736 131980 976.65422 82 130 984.00000 975.90422 0.82% 23.0 2765s 455802 132139 981.84363 68 221 984.00000 975.91200 0.82% 23.0 2770s 456848 132347 980.66543 81 161 984.00000 975.91818 0.82% 23.0 2775s 457966 132614 cutoff 88 984.00000 975.91936 0.82% 23.0 2780s 459080 132811 980.72996 80 193 984.00000 975.92996 0.82% 22.9 2785s 460035 132993 982.06330 76 219 984.00000 975.93598 0.82% 22.9 2790s 461067 133166 981.44425 71 231 984.00000 975.94425 0.82% 22.9 2795s 462108 133329 979.80869 72 182 984.00000 975.95189 0.82% 22.9 2800s 463092 133482 978.22996 68 220 984.00000 975.96073 0.82% 22.9 2805s 464062 133623 980.78259 74 207 984.00000 975.96966 0.82% 23.0 2810s 464996 133774 978.41379 80 137 984.00000 975.97952 0.82% 23.0 2815s 465752 133908 982.89663 61 244 984.00000 975.97996 0.82% 23.0 2820s 466715 134088 977.85468 79 130 984.00000 975.98278 0.81% 23.0 2825s 467726 134241 977.67569 66 195 984.00000 975.99361 0.81% 23.0 2830s 468757 134416 976.22996 67 237 984.00000 976.00269 0.81% 23.0 2835s 469686 134690 980.46165 77 156 984.00000 976.00410 0.81% 23.0 2840s 470916 135017 982.76887 85 102 984.00000 976.00410 0.81% 23.0 2845s 471909 135189 979.14876 60 275 984.00000 976.00903 0.81% 23.0 2850s 472919 135372 980.90696 83 193 984.00000 976.01568 0.81% 23.0 2855s 473876 135484 979.46874 75 230 984.00000 976.02504 0.81% 23.0 2860s 474798 135571 cutoff 72 984.00000 976.03244 0.81% 23.0 2865s 475766 135688 cutoff 84 984.00000 976.04256 0.81% 23.0 2870s 476768 135896 980.33299 88 150 984.00000 976.04849 0.81% 23.0 2875s 477930 136054 976.82994 85 143 984.00000 976.05575 0.81% 23.0 2880s 479050 136235 980.92996 82 198 984.00000 976.06330 0.81% 23.0 2885s 480002 136371 980.48156 81 202 984.00000 976.07412 0.81% 23.0 2890s 481033 136552 cutoff 80 984.00000 976.08381 0.80% 23.0 2895s 482120 136710 982.53584 76 143 984.00000 976.09582 0.80% 23.0 2900s 483210 136887 981.72996 80 179 984.00000 976.10265 0.80% 23.0 2905s 484351 137131 977.19747 72 149 984.00000 976.10395 0.80% 23.0 2910s 485467 137457 982.21429 82 132 984.00000 976.10395 0.80% 23.0 2915s 486545 137725 979.20292 72 126 984.00000 976.10395 0.80% 23.0 2920s 487668 138031 infeasible 78 984.00000 976.10395 0.80% 23.0 2925s 488730 138271 980.28172 71 192 984.00000 976.10395 0.80% 23.0 2930s 489826 138491 981.22996 82 195 984.00000 976.11032 0.80% 22.9 2935s 490802 138628 981.81340 73 186 984.00000 976.11733 0.80% 22.9 2940s 491807 138807 cutoff 66 984.00000 976.12551 0.80% 22.9 2945s 492815 138938 cutoff 77 984.00000 976.12996 0.80% 23.0 2950s 493789 139023 cutoff 72 984.00000 976.14134 0.80% 23.0 2955s 494987 139247 979.71677 75 236 984.00000 976.14356 0.80% 23.0 2960s 496089 139451 980.43813 79 163 984.00000 976.15139 0.80% 22.9 2965s 497181 139603 977.75235 65 271 984.00000 976.16346 0.80% 22.9 2970s 498263 139719 978.66528 89 207 984.00000 976.16528 0.80% 22.9 2975s 499453 140006 980.00080 72 141 984.00000 976.16750 0.80% 22.9 2980s 500413 140137 982.24780 71 131 984.00000 976.17537 0.80% 22.9 2985s 501410 140234 978.61124 82 165 984.00000 976.18267 0.79% 22.9 2990s 502417 140383 976.61404 71 197 984.00000 976.19150 0.79% 22.9 2995s 502730 140438 977.19348 82 157 984.00000 976.19348 0.79% 22.9 3006s 503505 140570 978.06581 77 134 984.00000 976.19485 0.79% 22.9 3010s 504605 140787 978.79610 73 245 984.00000 976.20291 0.79% 22.9 3015s 505834 140977 977.53743 91 194 984.00000 976.20740 0.79% 22.9 3020s 506889 141032 981.39663 70 190 984.00000 976.21657 0.79% 22.9 3025s 507987 141238 978.10395 70 191 984.00000 976.22663 0.79% 22.9 3030s 508993 141413 979.92156 73 229 984.00000 976.22996 0.79% 22.9 3035s 509980 141608 980.56330 85 180 984.00000 976.22996 0.79% 22.9 3040s 511010 141834 978.54107 71 252 984.00000 976.22996 0.79% 22.9 3045s 512017 142066 977.82349 73 176 984.00000 976.22996 0.79% 22.9 3050s 513033 142296 980.04542 86 143 984.00000 976.23020 0.79% 22.9 3055s 514195 142429 infeasible 86 984.00000 976.23844 0.79% 22.9 3060s 515367 142577 982.70653 81 157 984.00000 976.24605 0.79% 22.9 3065s 516416 142707 980.74649 84 162 984.00000 976.25151 0.79% 22.9 3070s 517461 142848 982.85741 73 230 984.00000 976.25824 0.79% 22.9 3075s 518679 142995 976.72996 71 227 984.00000 976.26568 0.79% 22.9 3080s 519786 143193 979.83122 78 158 984.00000 976.27061 0.79% 22.9 3085s 520744 143325 979.72996 74 202 984.00000 976.27669 0.78% 22.9 3090s 521875 143478 978.52176 75 151 984.00000 976.28348 0.78% 22.9 3095s 522984 143706 977.37383 81 124 984.00000 976.28687 0.78% 22.9 3100s 524277 143934 977.54297 65 237 984.00000 976.29217 0.78% 22.9 3105s 525331 144033 982.70358 84 143 984.00000 976.29908 0.78% 22.9 3110s 526407 144280 981.19150 67 184 984.00000 976.30139 0.78% 22.9 3115s 527490 144486 981.18271 91 180 984.00000 976.30139 0.78% 22.9 3120s 528544 144617 977.03489 62 227 984.00000 976.30954 0.78% 22.9 3125s 529549 144718 979.97144 70 168 984.00000 976.31759 0.78% 22.9 3130s 530586 144840 981.41545 78 157 984.00000 976.32465 0.78% 22.9 3135s 531569 144951 981.72996 82 176 984.00000 976.32996 0.78% 22.9 3140s 532659 145055 982.64388 88 86 984.00000 976.34286 0.78% 22.8 3145s 533721 145237 981.52207 89 177 984.00000 976.34769 0.78% 22.8 3150s 534722 145367 978.35496 78 213 984.00000 976.35496 0.78% 22.8 3155s 535726 145554 982.00496 79 209 984.00000 976.35935 0.78% 22.8 3160s 536755 145670 cutoff 70 984.00000 976.36744 0.78% 22.8 3165s 537865 145832 977.29217 58 215 984.00000 976.37551 0.77% 22.8 3170s 539080 146048 981.61228 81 158 984.00000 976.37808 0.77% 22.8 3175s 540372 146334 977.22996 66 222 984.00000 976.37936 0.77% 22.8 3180s 541320 146428 cutoff 72 984.00000 976.38451 0.77% 22.8 3185s 542354 146569 980.89125 65 229 984.00000 976.39126 0.77% 22.8 3190s 543438 146763 979.59030 79 125 984.00000 976.39663 0.77% 22.8 3195s 544460 146975 980.23812 84 174 984.00000 976.39663 0.77% 22.8 3200s 545407 147129 981.46105 69 236 984.00000 976.39663 0.77% 22.8 3205s 546444 147276 979.74070 77 205 984.00000 976.40393 0.77% 22.8 3210s 547467 147422 980.40153 86 135 984.00000 976.40992 0.77% 22.8 3215s 548579 147546 980.29401 83 117 984.00000 976.41897 0.77% 22.8 3220s 549619 147665 978.77443 75 219 984.00000 976.42432 0.77% 22.8 3225s 550690 147816 979.23578 74 194 984.00000 976.43111 0.77% 22.8 3230s 551677 147943 978.89173 73 183 984.00000 976.43792 0.77% 22.8 3235s 552672 148059 982.32996 75 201 984.00000 976.44425 0.77% 22.8 3240s 553693 148211 979.78816 62 215 984.00000 976.44425 0.77% 22.8 3245s 554746 148337 980.74400 64 234 984.00000 976.45218 0.77% 22.8 3250s 555797 148435 979.86154 79 208 984.00000 976.45979 0.77% 22.8 3255s 556794 148560 cutoff 78 984.00000 976.46526 0.77% 22.8 3260s 557870 148663 980.74464 79 207 984.00000 976.47511 0.76% 22.8 3265s 559022 148861 981.82294 67 244 984.00000 976.47982 0.76% 22.8 3270s 559992 149043 979.12089 87 191 984.00000 976.47996 0.76% 22.8 3275s 561023 149135 978.48710 68 257 984.00000 976.48710 0.76% 22.8 3280s 562043 149274 980.68252 78 192 984.00000 976.49451 0.76% 22.8 3285s 563124 149449 cutoff 90 984.00000 976.50211 0.76% 22.8 3290s 564184 149686 979.54960 75 176 984.00000 976.50899 0.76% 22.8 3295s 565370 149988 977.65986 90 159 984.00000 976.50997 0.76% 22.8 3300s 566377 150142 981.08996 88 173 984.00000 976.51770 0.76% 22.8 3305s 567514 150249 980.00410 83 178 984.00000 976.52370 0.76% 22.8 3310s 568597 150355 982.16818 80 171 984.00000 976.53242 0.76% 22.8 3315s 569637 150486 981.72996 68 200 984.00000 976.54025 0.76% 22.8 3320s 570748 150627 977.37808 74 181 984.00000 976.54799 0.76% 22.8 3325s 571722 150785 980.79191 61 243 984.00000 976.55482 0.76% 22.8 3330s 572934 150967 981.28346 83 182 984.00000 976.55883 0.76% 22.8 3335s 573972 151115 cutoff 75 984.00000 976.56330 0.76% 22.8 3340s 575187 151313 979.82041 63 277 984.00000 976.56844 0.76% 22.7 3345s 575565 151359 981.82349 82 171 984.00000 976.57121 0.75% 22.7 3356s 576356 151518 977.65248 95 183 984.00000 976.57674 0.75% 22.7 3360s 577431 151619 cutoff 69 984.00000 976.58377 0.75% 22.7 3365s 578495 151741 infeasible 88 984.00000 976.59221 0.75% 22.7 3370s 579553 151831 982.20635 78 99 984.00000 976.59744 0.75% 22.7 3375s 580559 151891 981.82520 70 193 984.00000 976.60265 0.75% 22.7 3380s 581453 151902 981.03650 69 225 984.00000 976.60357 0.75% 22.8 3385s 582485 152104 981.10774 68 260 984.00000 976.60496 0.75% 22.8 3390s 583527 152235 979.04227 79 144 984.00000 976.61389 0.75% 22.8 3395s 584587 152351 981.58778 63 246 984.00000 976.62282 0.75% 22.8 3400s 585648 152442 981.92475 73 198 984.00000 976.62551 0.75% 22.8 3405s 586740 152567 979.14782 75 215 984.00000 976.62952 0.75% 22.7 3410s 587761 152681 978.36458 71 262 984.00000 976.63747 0.75% 22.7 3415s 588660 152784 977.14286 81 137 984.00000 976.64286 0.75% 22.8 3420s 589721 153035 cutoff 86 984.00000 976.64866 0.75% 22.8 3425s 590890 153221 cutoff 83 984.00000 976.65422 0.75% 22.7 3430s 592091 153415 979.21594 69 279 984.00000 976.65603 0.75% 22.7 3435s 593112 153526 cutoff 67 984.00000 976.66301 0.75% 22.7 3440s 594189 153659 979.98317 86 164 984.00000 976.67163 0.74% 22.7 3445s 595243 153755 982.39663 71 189 984.00000 976.68161 0.74% 22.7 3450s 596269 153882 981.80739 70 180 984.00000 976.68987 0.74% 22.7 3455s 597376 153913 cutoff 71 984.00000 976.69693 0.74% 22.7 3460s 598516 153986 979.38869 67 226 984.00000 976.70269 0.74% 22.7 3465s 599627 154165 979.32653 86 159 984.00000 976.70991 0.74% 22.7 3470s 600757 154278 982.40275 75 97 984.00000 976.71687 0.74% 22.7 3475s 601774 154499 979.86797 75 179 984.00000 976.72167 0.74% 22.7 3480s 602706 154630 cutoff 78 984.00000 976.72530 0.74% 22.7 3485s 603752 154797 981.29350 83 179 984.00000 976.72996 0.74% 22.7 3490s 604717 154962 981.02982 80 187 984.00000 976.72996 0.74% 22.7 3495s 605719 155154 982.74915 72 167 984.00000 976.72996 0.74% 22.7 3500s 606676 155328 978.50416 78 181 984.00000 976.72996 0.74% 22.7 3505s 607647 155484 981.09725 80 180 984.00000 976.72996 0.74% 22.7 3510s 608670 155687 980.09725 79 166 984.00000 976.72996 0.74% 22.7 3515s 609711 155928 977.15250 76 190 984.00000 976.72996 0.74% 22.7 3520s 610712 156134 979.15853 76 171 984.00000 976.72996 0.74% 22.7 3525s 611753 156358 976.72996 64 194 984.00000 976.72996 0.74% 22.7 3530s 612793 156575 981.05299 78 151 984.00000 976.72996 0.74% 22.7 3535s 613778 156779 981.38632 83 171 984.00000 976.72996 0.74% 22.7 3540s 614806 156993 982.63551 85 152 984.00000 976.72996 0.74% 22.7 3545s 615862 157200 981.78261 87 147 984.00000 976.72996 0.74% 22.7 3550s 616844 157411 cutoff 82 984.00000 976.72996 0.74% 22.8 3555s 617843 157602 980.47220 75 191 984.00000 976.72996 0.74% 22.8 3560s 618901 157809 977.82349 83 178 984.00000 976.72996 0.74% 22.8 3565s 619972 158011 cutoff 76 984.00000 976.72996 0.74% 22.8 3570s 620999 158212 980.28252 80 190 984.00000 976.72996 0.74% 22.8 3575s 621968 158400 980.87902 70 250 984.00000 976.72996 0.74% 22.8 3580s 623028 158573 979.99052 79 198 984.00000 976.73021 0.74% 22.8 3585s Cutting planes: Learned: 7 Gomory: 125 Cover: 231 Implied bound: 168 Clique: 22 MIR: 621 Flow cover: 23 GUB cover: 32 Zero half: 404 Explored 623103 nodes (14181778 simplex iterations) in 3600.02 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective 9.840000000000e+02, best bound 9.770000000000e+02, gap 0.7114%