ILOG CPLEX 10.200, licensed to "arizona-tempe, az", options: e m b q p=8 FPgen-t 06/06/2005 - Bertacco, Fischetti, Lodi 09/16/2005 - Achterberg, Berthold applying MIP presolve... Selected objective sense: MINIMIZE Selected objective name: obj Selected RHS name: rhs Selected bound name: bnd Tried aggregator 2 times. MIP Presolve eliminated 526 rows and 8045 columns. MIP Presolve modified 2490 coefficients. Aggregator did 300 substitutions. Reduced MIP has 15024 rows, 12798 columns, and 79549 nonzeros. presolving objective offset = 1.0577e+06 (restat: 0) Problem: msc98-ip.mps Max iter Stage 1: 10000 Max iter Stage 2: 2000 Min change: 20 Initial Presolve: Yes Imported 15024 rows and 12798 columns Objective sense: Minimize Problem is MIP: Yes Initial Algorithm: Auto 11985 integer variables (11936 of which are binary and 49 are general integer) 813 continuous variables Solving relaxed problem...0- 0 -1 0 1.95309e+07 485.467 done obj=1.84732e+07 + 1.0577e+06 = 1.95309e+07 Rounding solution...done Stage 1... improved distance by 0percent 1- 1 428.487 0 2.30695e+07 254.883 improved distance by 0.387218percent 1- 2 165.918 0 2.3456e+07 124.368 improved distance by 0.606948percent 1- 3 100.703 0 2.41687e+07 86.4732 improved distance by 0.837629percent 1- 4 84.3521 0 2.42493e+07 85.9358 1- 5 88.8766 0 2.42812e+07 85.8866 improved distance by 0.642188percent 1- 6 54.1699 0 2.53973e+07 27.6366 improved distance by 0.41542percent 1- 7 22.5033 0 2.53973e+07 25.9699 1- 8 22.6699 0 2.53973e+07 26.1366 improved distance by 0.962968percent 1- 9 21.6699 0 2.53973e+07 25.1366 improved distance by 0.976927percent 1- 10 21.1699 0 2.53973e+07 23.9699 improved distance by 0.937018percent 1- 11 19.8366 0 2.53973e+07 21.9699 improved distance by 0.852125percent 1- 12 16.9033 0 2.53973e+07 20.3699 improved distance by 0.88168percent 1- 13 14.9033 0 2.53973e+07 18.3699 improved distance by 0.97316percent 1- 14 14.5033 0 2.53973e+07 17.9699 1- 15 18.0444 0 2.53973e+07 17.9699 1- 16 15.8266 0 2.53973e+07 17.9699 1- 17 328.294 1 2.54129e+07 12.6669 improved distance by 0.56036percent 1- 18 8.12706 1 2.54034e+07 12.3812 1- 19 8.52706 1 2.54034e+07 12.3812 s iter delta rst obj fractionality incumbent 1- 20 348.538 2 2.55463e+07 17.3742 1- 21 19 2 2.55415e+07 14.2167 1- 22 8.6836 2 2.55376e+07 14.0716 1- 23 9.0836 2 2.55376e+07 14.0716 1- 24 8.6836 2 2.55376e+07 14.0716 1- 25 356.875 3 2.55547e+07 14.6602 1- 26 8.83241 3 2.5544e+07 14.5597 1- 27 9.23241 3 2.5544e+07 14.5597 1- 28 8.88988 3 2.68638e+07 10.9943 1- 29 16 3 2.68638e+07 10.9943 improved distance by 0.94397percent 1- 30 7.6717 3 2.68638e+07 10.9943 1- 31 7.6717 3 2.68638e+07 10.9943 1- 32 8.0717 3 2.68638e+07 10.9943 1- 33 353.974 4 2.68638e+07 11.463 1- 34 8.14045 4 2.68638e+07 11.463 1- 35 7.6717 4 2.68638e+07 10.9943 1- 36 7.6717 4 2.68638e+07 10.9943 improved distance by 0.953567percent 1- 37 7.31548 4 2.87051e+07 7.25893 1- 38 8.20833 4 2.87051e+07 7.25893 improved distance by 0.880391percent 1- 39 6.44048 4 2.87051e+07 7.25893 s iter delta rst obj fractionality incumbent 1- 40 6.44048 4 2.87051e+07 7.25893 1- 41 7.20833 4 2.90469e+07 6.94643 improved distance by 0.980591percent 1- 42 6.31548 4 2.90469e+07 6.94643 1- 43 6.31548 4 2.90469e+07 6.94643 1- 44 364.315 5 2.90469e+07 6.94643 1- 45 6.31548 5 2.90469e+07 6.94643 1- 46 7.125 5 3.00503e+07 6.625 improved distance by 0.983035percent 1- 47 6.20833 5 3.00503e+07 6.625 improved distance by 0.966443percent 1- 48 6 5 3.05339e+07 6 1- 49 6 5 3.05339e+07 6 1- 50 6 5 3.05339e+07 6 1- 51 375.625 6 3.05585e+07 6.875 1- 52 6.125 6 3.05585e+07 6.375 improved distance by 0.666667percent 1- 53 4 6 3.0928e+07 0 Binary variables didn't change Total stage 1 restarts: 6 Solution with obj=2.98703e+07 + 1.0577e+06 = 3.0928e+07 found Writing MIP start values to file msc98-ip.mst Solution (only non-zero entries are reported): obj = 3.0928e+07 x3 = 1 x6 = 1 x9 = 1 x12 = 1 x15 = 1 x18 = 1 x21 = 1 x24 = 1 x27 = 1 x30 = 1 x33 = 1 x36 = 1 x39 = 1 x42 = 1 x45 = 1 x48 = 1 x51 = 1 x54 = 1 x57 = 1 x60 = 1 x63 = 1 x66 = 1 x69 = 1 x82 = 1 x85 = 1 x110 = 1 x128 = 1 x134 = 1 x148 = 1 x160 = 1 x175 = 1 x179 = 1 x191 = 1 x201 = 1 x208 = 1 x225 = 1 x242 = 1 x255 = 1 x258 = 1 x268 = 1 x280 = 1 x287 = 1 x288 = 1 x309 = 1 x322 = 1 x324 = 1 x337 = 1 x352 = 1 x367 = 1 x377 = 1 x389 = 1 x392 = 1 x406 = 1 x411 = 1 x508 = 1 x564 = 1 x571 = 1 x572 = 1 x586 = 1 x590 = 1 x608 = 1 x618 = 1 x633 = 1 x683 = 1 x730 = 1 x748 = 1 x800 = 1 x843 = 1 x849 = 1 x850 = 1 x863 = 1 x864 = 1 x869 = 1 x875 = 1 x879 = 1 x891 = 1 x892 = 1 x931 = 1 x939 = 1 x940 = 1 x952 = 1 x969 = 1 x995 = 1 x1002 = 1 x1012 = 1 x1062 = 1 x1087 = 1 x1088 = 1 x1104 = 1 x1192 = 1 x1248 = 1 x1267 = 1 x1271 = 1 x1291 = 1 x1292 = 1 x1298 = 1 x1313 = 1 x1363 = 1 x1405 = 1 x1424 = 1 x1439 = 1 x1476 = 1 x1517 = 1 x1524 = 1 x1532 = 1 x1537 = 1 x1541 = 1 x1548 = 1 x1553 = 1 x1555 = 1 x1557 = 1 x1566 = 1 x1568 = 1 x1570 = 1 x1572 = 1 x1608 = 1 x1609 = 1 x1613 = 1 x1619 = 1 x1625 = 1 x1648 = 1 x1673 = 1 x1682 = 1 x1689 = 1 x1744 = 1 x1775 = 1 x1803 = 1 x1822 = 1 x1837 = 1 x1838 = 1 x1839 = 1 x1860 = 1 x1906 = 1 x1927 = 1 x1942 = 1 x1981 = 1 x2008 = 1 x2011 = 1 x2023 = 1 x2041 = 1 x2057 = 1 x2099 = 1 x2121 = 1 x2131 = 1 x2136 = 1 x2139 = 1 x2152 = 1 x2164 = 1 x2167 = 1 x2232 = 1 x2348 = 1 x2363 = 1 x2398 = 1 x2411 = 1 x2476 = 1 x2493 = 1 x2508 = 1 x2543 = 1 x2582 = 1 x2599 = 1 x2613 = 1 x2649 = 1 x2676 = 1 x2693 = 1 x2703 = 1 x2706 = 1 x2762 = 1 x2859 = 1 x2891 = 1 x2905 = 1 x2950 = 1 x2981 = 1 x2995 = 1 x3005 = 1 x3008 = 1 x3011 = 1 x3030 = 1 x3066 = 1 x3079 = 1 x3082 = 1 x3091 = 1 x3128 = 1 x3153 = 1 x3166 = 1 x3167 = 1 x3170 = 1 x3181 = 1 x3182 = 1 x3234 = 1 x3358 = 1 x3414 = 1 x3426 = 1 x3427 = 1 x3441 = 1 x3450 = 1 x3464 = 1 x3477 = 1 x3527 = 1 x3569 = 1 x3588 = 1 x3603 = 1 x3640 = 1 x3680 = 1 x3697 = 1 x3700 = 1 x3709 = 1 x3717 = 1 x3718 = 1 x3728 = 1 x3742 = 1 x3770 = 1 x3771 = 1 x3791 = 1 x3792 = 1 x3794 = 1 x3799 = 1 x3812 = 1 x3831 = 1 x3841 = 1 x3843 = 1 x3846 = 1 x3848 = 1 x3855 = 1 x3858 = 1 x3859 = 1 x3869 = 1 x3870 = 1 x3875 = 1 x3876 = 1 x3877 = 1 x3975 = 1 x3976 = 1 x3980 = 1 x3992 = 1 x4089 = 1 x4093 = 1 x4133 = 1 x4147 = 1 x4150 = 1 x4157 = 1 x4169 = 1 x4180 = 1 x4183 = 1 x4184 = 1 x4201 = 1 x4215 = 1 x4234 = 1 x4239 = 1 x4240 = 1 x4241 = 1 x4248 = 1 x4249 = 1 x4289 = 1 x4414 = 1 x4470 = 1 x4475 = 1 x4478 = 1 x4479 = 1 x4525 = 1 x4567 = 1 x4568 = 1 x4572 = 1 x4590 = 1 x4611 = 1 x4622 = 1 x4623 = 1 x4640 = 1 x4648 = 1 x4654 = 1 x4659 = 1 x4663 = 1 x4667 = 1 x4670 = 1 x4672 = 1 x4673 = 1 x4682 = 1 x4690 = 1 x4702 = 1 x4703 = 1 x4750 = 1 x4770 = 1 x4780 = 1 x4783 = 1 x4843 = 1 x4987 = 1 x5001 = 1 x5027 = 1 x5029 = 1 x5036 = 1 x5046 = 1 x5057 = 1 x5093 = 1 x5098 = 1 x5104 = 1 x5105 = 1 x5109 = 1 x5117 = 1 x5122 = 1 x5129 = 1 x5130 = 1 x5178 = 1 x5190 = 1 x5194 = 1 x5202 = 1 x5239 = 1 x5357 = 1 x5412 = 1 x5426 = 1 x5460 = 1 x5476 = 1 x5522 = 1 x5563 = 1 x5581 = 1 x5594 = 1 x5641 = 1 x5647 = 1 x5648 = 1 x5660 = 1 x5683 = 1 x5696 = 1 x5700 = 1 x5727 = 1 x5732 = 1 x5759 = 1 x5819 = 1 x5928 = 1 x5975 = 1 x5983 = 1 x6016 = 1 x6029 = 1 x6070 = 1 x6103 = 1 x6121 = 1 x6162 = 1 x6311 = 1 x6367 = 1 x6381 = 1 x6419 = 1 x6432 = 1 x6480 = 1 x6524 = 1 x6543 = 1 x6558 = 1 x6593 = 1 x6637 = 1 x6652 = 1 x6653 = 1 x6678 = 1 x6693 = 1 x6695 = 1 x6729 = 1 x6732 = 1 x6761 = 1 x6781 = 1 x6791 = 1 x6794 = 1 x6824 = 1 x6938 = 1 x6994 = 1 x7008 = 1 x7040 = 1 x7043 = 1 x7049 = 1 x7100 = 1 x7142 = 1 x7158 = 1 x7173 = 1 x7207 = 1 x7248 = 1 x7260 = 1 x7263 = 1 x7274 = 1 x7287 = 1 x7291 = 1 x7295 = 1 x7301 = 1 x7332 = 1 x7354 = 1 x7368 = 1 x7392 = 1 x7397 = 1 x7405 = 1 x7407 = 1 x8318 = 1 x8319 = 1 x8320 = 1 x8321 = 1 x8322 = 1 x8323 = 1 x8324 = 1 x8325 = 1 x8327 = 1 x8328 = 1 x8329 = 999988 x8330 = 1 x8333 = 4 x8334 = 999954 x8336 = 4 x8339 = 3 x8342 = 3 x8345 = 4 x8348 = 2 x8351 = 5 x8354 = 2 x8357 = 6 x8360 = 3 x8363 = 5 x8366 = 2 x8369 = 3 x8379 = 1 x8393 = 1 x8407 = 1 x8412 = 1 x8416 = 1 x8426 = 1 x8465 = 1 x8470 = 1 x8478 = 1 x8482 = 1 x8485 = 1 x8486 = 1 x8489 = 1 x8492 = 1 x8495 = 1 x8499 = 1 x8501 = 1 x8502 = 1 x8506 = 1 x8515 = 1 x8533 = 1 x8534 = 1 x8535 = 1 x8545 = 1 x8552 = 1 x8554 = 1 x8556 = 1 x8558 = 1 x8562 = 1 x8568 = 1 x8570 = 1 x8579 = 1 x8581 = 1 x8589 = 1 x8603 = 1 x8614 = 1 x8619 = 1 x8620 = 1 x8658 = 1 x8662 = 1 x8694 = 1 x8695 = 1 x8696 = 1 x8721 = 1 x8738 = 1 x8750 = 1 x8752 = 1 x8757 = 1 x8760 = 1 x8762 = 1 x8809 = 1 x8816 = 1 x8817 = 1 x8828 = 1 x8831 = 1 x8834 = 1 x8843 = 1 x8846 = 1 x8848 = 1 x8853 = 1 x8854 = 1 x8867 = 1 x8872 = 1 x8873 = 1 x8880 = 1 x8881 = 1 x8890 = 1 x8894 = 1 x8901 = 1 x8902 = 1 x8903 = 1 x8907 = 1 x8920 = 1 x8921 = 1 x8930 = 1 x8933 = 1 x8952 = 1 x8969 = 1 x8970 = 1 x8978 = 1 x8979 = 1 x8980 = 1 x8982 = 1 x8983 = 1 x8986 = 1 x8988 = 1 x8991 = 1 x8992 = 1 x9014 = 1 x9015 = 1 x9016 = 1 x9020 = 1 x9021 = 1 x9031 = 1 x9059 = 1 x9065 = 1 x9067 = 1 x9069 = 1 x9072 = 1 x9076 = 1 x9077 = 1 x9080 = 1 x9081 = 1 x9083 = 1 x9084 = 1 x9085 = 1 x9090 = 1 x9106 = 1 x9107 = 1 x9113 = 1 x9116 = 1 x9117 = 1 x9126 = 1 x9127 = 1 x9130 = 1 x9131 = 1 x9140 = 1 x9141 = 1 x9147 = 1 x9148 = 1 x9154 = 1 x9157 = 1 x9158 = 1 x9167 = 1 x9168 = 1 x9170 = 1 x9171 = 1 x9180 = 1 x9184 = 1 x9185 = 1 x9198 = 1 x9206 = 1 x9209 = 1 x9214 = 1 x9216 = 1 x9218 = 1 x9219 = 1 x9220 = 1 x9221 = 1 x9223 = 1 x9224 = 1 x9241 = 1 x9242 = 1 x9243 = 1 x9244 = 1 x9245 = 1 x9246 = 1 x9254 = 1 x9255 = 1 x9260 = 1 x9261 = 1 x9263 = 1 x9264 = 1 x9267 = 1 x9268 = 1 x9271 = 1 x9275 = 1 x9278 = 1 x9279 = 1 x9290 = 1 x9298 = 1 x9299 = 1 x9303 = 1 x9308 = 1 x9309 = 1 x9320 = 1 x9331 = 1 x9338 = 1 x9339 = 1 x9348 = 1 x9349 = 1 x9366 = 1 x9369 = 1 x9371 = 1 x9375 = 1 x9376 = 1 x9378 = 1 x9379 = 1 x9381 = 1 x9383 = 1 x9386 = 1 x9387 = 1 x9406 = 1 x9408 = 1 x9409 = 1 x9410 = 1 x9411 = 1 x9415 = 1 x9418 = 1 x9422 = 1 x9423 = 1 x9427 = 1 x9428 = 1 x9433 = 1 x9446 = 1 x9448 = 1 x9449 = 1 x9450 = 1 x9453 = 1 x9454 = 1 x9457 = 1 x9458 = 1 x9498 = 1 x9501 = 1 x9502 = 1 x9506 = 1 x9509 = 1 x9511 = 1 x9518 = 1 x9519 = 1 x9523 = 1 x9524 = 1 x9525 = 1 x9527 = 1 x9531 = 1 x9533 = 1 x9577 = 1 x9578 = 1 x9579 = 1 x9582 = 1 x9583 = 1 x9588 = 1 x9589 = 1 x9597 = 1 x9598 = 1 x9610 = 1 x9611 = 1 x9614 = 1 x9615 = 1 x9619 = 1 x9632 = 1 x9635 = 1 x9640 = 1 x9643 = 1 x9644 = 1 x9646 = 1 x9647 = 1 x9649 = 1 x9651 = 1 x9656 = 1 x9658 = 1 x9659 = 1 x9675 = 1 x9676 = 1 x9683 = 1 x9684 = 1 x9689 = 1 x9690 = 1 x9693 = 1 x9697 = 1 x9703 = 1 x9704 = 1 x9705 = 1 x9725 = 1 x9726 = 1 x9735 = 1 x9738 = 1 x9740 = 1 x9756 = 1 x9759 = 1 x9767 = 1 x9770 = 1 x9771 = 1 x9795 = 1 x9796 = 1 x9811 = 1 x9815 = 1 x9821 = 1 x9849 = 1 x9852 = 1 x9888 = 1 x9889 = 1 x9890 = 1 x9891 = 1 x9904 = 1 x9913 = 1 x9965 = 1 x9967 = 1 x9985 = 1 x10005 = 1 x10037 = 1 x10057 = 1 x10124 = 1 x10156 = 1 x10210 = 1 x10240 = 1 x10243 = 1 x10244 = 1 x10327 = 1 x10344 = 1 x10362 = 1 x10364 = 1 x10372 = 1 x10374 = 1 x10406 = 1 x10424 = 1 x10453 = 1 x10459 = 1 x10500 = 1 x10525 = 1 x10526 = 1 x10527 = 1 x10557 = 1 x10562 = 1 x10579 = 1 x10594 = 1 x10616 = 1 x10668 = 1 x10674 = 1 x10740 = 1 x10742 = 1 x10755 = 1 x10776 = 1 x10795 = 1 x10805 = 1 x10811 = 1 x10828 = 1 x10860 = 1 x10923 = 1 x10938 = 1 x10939 = 1 x10968 = 1 x10971 = 1 x10972 = 1 x10985 = 1 x11035 = 1 x11049 = 1 x11098 = 1 x11101 = 1 x11166 = 1 x11181 = 1 x11182 = 1 x11183 = 1 x11184 = 1 x11199 = 1 x11213 = 1 x11215 = 1 x11229 = 1 x11237 = 1 x11247 = 1 x11248 = 1 x11255 = 1 x11358 = 1 x11365 = 1 x11422 = 1 x11437 = 1 x11438 = 1 x11507 = 1 x11521 = 1 x11551 = 1 x11568 = 1 x11574 = 1 x11589 = 1 x11592 = 1 x11641 = 1 x11655 = 1 x11657 = 1 x11698 = 1 x11750 = 1 x11762 = 1 x11814 = 1 x11815 = 1 x11817 = 1 x11838 = 1 x11841 = 1 x11850 = 1 x11852 = 1 x11892 = 1 x11910 = 1 x11966 = 1 x11990 = 1 x11996 = 1 x12076 = 1 x12078 = 1 x12079 = 1 x12099 = 1 x12101 = 1 x12115 = 1 x12120 = 1 x12161 = 1 x12174 = 1 x12189 = 1 x12228 = 1 x12231 = 1 x12243 = 1 x12248 = 1 x12267 = 1 x12270 = 1 x12276 = 1 x12277 = 1 x12290 = 1 x12303 = 1 x12309 = 1 x12316 = 1 x12318 = 1 x12326 = 1 x12338 = 1 x12340 = 1 x12345 = 1 x12356 = 1 x12365 = 1 x12366 = 1 x12369 = 1 x12376 = 1 x12378 = 1 x12384 = 1 x12405 = 1 x12406 = 1 x12413 = 1 x12419 = 1 x12429 = 1 x12440 = 1 x12466 = 1 x12475 = 1 x12482 = 1 x12499 = 1 x12502 = 1 x12523 = 1 x12552 = 1 x12572 = 1 x12573 = 1 x12586 = 1 x12589 = 1 x12593 = 1 x12609 = 1 x12624 = 1 x12648 = 1 x12673 = 1 x12685 = 1 x12693 = 1 x12706 = 1 x12715 = 1 x12734 = 1 x12755 = 1 x12809 = 1 x12868 = 1 x12871 = 1 x12891 = 1 x12892 = 1 x12906 = 1 x12912 = 1 x12914 = 1 x12993 = 1 x13071 = 1 x13076 = 1 x13077 = 1 x13092 = 1 x13128 = 1 x13134 = 1 x13151 = 1 x13179 = 1 x13181 = 1 x13206 = 1 x13221 = 1 x13230 = 1 x13240 = 1 x13243 = 1 x13258 = 1 x13259 = 1 x13274 = 1 x13320 = 1 x13331 = 1 x13354 = 1 x13366 = 1 x13371 = 1 x13374 = 1 x13378 = 1 x13399 = 1 x13422 = 1 x13451 = 1 x13470 = 1 x13472 = 1 x13486 = 1 x13495 = 1 x13507 = 1 x13511 = 1 x13547 = 1 x13564 = 1 x13571 = 1 x13650 = 1 x13654 = 1 x13656 = 1 x13684 = 1 x13696 = 1 x13697 = 1 x13704 = 1 x13711 = 1 x13772 = 1 x13786 = 1 x13805 = 1 x13807 = 1 x13812 = 1 x13928 = 1 x13929 = 1 x13947 = 1 x14032 = 1 x14075 = 1 x14076 = 1 x14086 = 1 x14091 = 1 x14092 = 1 x14099 = 1 x14100 = 1 x14105 = 1 x14129 = 1 x14140 = 1 x14144 = 1 x14155 = 1 x14156 = 1 x14174 = 1 x14175 = 1 x14178 = 1 x14187 = 1 x14188 = 1 x14199 = 1 x14213 = 1 x14225 = 1 x14226 = 1 x14233 = 1 x14277 = 1 x14289 = 1 x14290 = 1 x14291 = 1 x14314 = 1 x14333 = 1 x14359 = 1 x14378 = 1 x14380 = 1 x14397 = 1 x14414 = 1 x14454 = 1 x14466 = 1 x14478 = 1 x14532 = 1 x14552 = 1 x14571 = 1 x14584 = 1 x14592 = 1 x14594 = 1 x14605 = 1 x14656 = 1 x14687 = 1 x14714 = 1 x14715 = 1 x14794 = 1 x14833 = 1 x14854 = 1 x14866 = 1 x14873 = 1 x14877 = 1 x14890 = 1 x14927 = 1 x14931 = 1 x14934 = 1 x14953 = 1 x14955 = 1 x14956 = 1 x14957 = 1 x14959 = 1 x14964 = 1 x14968 = 1 x14977 = 1 x15014 = 1 x15050 = 1 x15051 = 1 x15065 = 1 x15081 = 1 x15082 = 1 x15089 = 1 x15093 = 1 x15105 = 1 x15125 = 1 x15162 = 1 x15184 = 1 x15189 = 1 x15205 = 1 x15224 = 1 x15226 = 1 x15231 = 1 x15282 = 1 x15283 = 1 x15326 = 1 x15327 = 1 x15385 = 1 x15386 = 1 x15415 = 1 x15436 = 1 x15440 = 1 x15458 = 1 x15477 = 1 x15479 = 1 x15497 = 1 x15574 = 1 x15575 = 1 x15615 = 1 x15647 = 1 x15670 = 1 x15674 = 1 x15675 = 1 x15697 = 1 x15711 = 1 x15718 = 1 x15755 = 1 x15759 = 1 x15764 = 1 x15843 = 1 x15844 = 1 x15854 = 1 x15866 = 1 x15867 = 1 x15869 = 1 x15903 = 1 x15904 = 1 x15906 = 1 x15907 = 1 x15941 = 1 x15959 = 1 x15963 = 1 x15964 = 1 x16030 = 1 x16031 = 1 x16034 = 1 x16039 = 1 x16049 = 1 x16055 = 1 x16076 = 1 x16097 = 1 x16117 = 1 x16138 = 1 x16181 = 1 x16198 = 1 x16202 = 1 x16219 = 1 x16239 = 1 x16241 = 1 x16260 = 1 x16261 = 1 x16278 = 1 x16282 = 1 x16283 = 1 x16314 = 1 x16326 = 1 x16339 = 1 x16340 = 1 x16378 = 1 x16382 = 1 x16399 = 1 x16421 = 1 x16440 = 1 x16443 = 1 x16480 = 1 x16499 = 1 x16521 = 1 x16522 = 1 x16523 = 1 x16556 = 1 x16564 = 1 x16580 = 1 x16602 = 1 x16603 = 1 x16648 = 1 x16667 = 1 x16668 = 1 x16697 = 1 x16719 = 1 x16760 = 1 x16762 = 1 x16820 = 1 x16839 = 1 x16849 = 1 x16853 = 1 x16863 = 1 x16894 = 1 x16910 = 1 x16945 = 1 x16960 = 1 x16961 = 1 x16971 = 1 x17003 = 1 x17043 = 1 x17045 = 1 x17063 = 1 x17067 = 1 x17068 = 1 x17083 = 1 x17086 = 1 x17087 = 1 x17104 = 1 x17106 = 1 x17108 = 1 x17134 = 1 x17173 = 1 x17177 = 1 x17199 = 1 x17260 = 1 x17305 = 1 x17345 = 1 x17394 = 1 x17395 = 1 x17396 = 1 x17398 = 1 x17420 = 1 x17434 = 1 x17435 = 1 x17444 = 1 x17454 = 1 x17494 = 1 x17503 = 1 x17518 = 1 x17550 = 1 x17552 = 1 x17578 = 1 x17579 = 1 x17581 = 1 x17585 = 1 x17586 = 1 x17591 = 1 x17608 = 1 x17617 = 1 x17623 = 1 x17624 = 1 x17639 = 1 x17647 = 1 x17648 = 1 x17652 = 1 x17666 = 1 x17680 = 1 x17693 = 1 x17706 = 1 x17707 = 1 x17738 = 1 x17744 = 1 x17759 = 1 x17760 = 1 x17771 = 1 x17777 = 1 x17794 = 1 x17825 = 1 x17874 = 1 x17875 = 1 x17892 = 1 x17894 = 1 x17914 = 1 x17915 = 1 x17958 = 1 x17974 = 1 x17976 = 1 x18021 = 1 x18030 = 1 x18043 = 1 x18050 = 1 x18066 = 1 x18073 = 1 x18074 = 1 x18110 = 1 x18119 = 1 x18133 = 1 x18220 = 1 x18246 = 1 x18291 = 1 x18293 = 1 x18323 = 1 x18335 = 1 x18357 = 1 x18378 = 1 x18419 = 1 x18423 = 1 x18442 = 1 x18453 = 1 x18461 = 1 x18480 = 1 x18484 = 1 x18504 = 1 x18523 = 1 x18525 = 1 x18563 = 1 x18588 = 1 x18605 = 1 x18617 = 1 x18631 = 1 x18641 = 1 x18660 = 1 x18692 = 1 x18741 = 1 x18742 = 1 x18777 = 1 x18792 = 1 x18864 = 1 x18945 = 1 x18961 = 1 x19019 = 1 x19039 = 1 x19102 = 1 x19140 = 1 x19141 = 1 x19166 = 1 x19220 = 1 x19221 = 1 x19226 = 1 x19227 = 1 x19231 = 1 x19240 = 1 x19244 = 1 x19255 = 1 x19299 = 1 x19328 = 1 x19341 = 1 x19342 = 1 x19348 = 1 x19360 = 1 x19361 = 1 x19367 = 1 x19373 = 1 x19405 = 1 x19406 = 1 x19412 = 1 x19429 = 1 x19443 = 1 x19461 = 1 x19462 = 1 x19475 = 1 x19485 = 1 x19513 = 1 x19514 = 1 x19523 = 1 x19524 = 1 x19549 = 1 x19550 = 1 x19561 = 1 x19577 = 1 x19586 = 1 x19590 = 1 x19635 = 1 x19656 = 1 x19671 = 1 x19717 = 1 x19723 = 1 x19745 = 1 x19775 = 1 x19796 = 1 x19804 = 1 x19826 = 1 x19837 = 1 x19859 = 1 x19860 = 1 x19880 = 1 x19900 = 1 x19923 = 1 x20064 = 1 x20071 = 1 x20099 = 1 x20122 = 1 x20142 = 1 x20143 = 1 x20166 = 1 x20186 = 1 x20198 = 1 x20222 = 1 x20256 = 1 x20274 = 1 x20279 = 1 x20295 = 1 x20299 = 1 x20301 = 1 x20313 = 1 x20319 = 1 x20324 = 1 x20333 = 1 x20334 = 1 x20335 = 1 x20339 = 1 x20341 = 1 x20344 = 1 x20345 = 1 x20346 = 1 x20358 = 1 x20367 = 1 x20371 = 1 x20387 = 1 x20388 = 1 x20392 = 1 x20409 = 1 x20410 = 1 x20440 = 1 x20442 = 1 x20449 = 1 x20453 = 1 x20456 = 1 x20464 = 1 x20469 = 1 x20473 = 1 x20492 = 1 x20494 = 1 x20510 = 1 x20525 = 1 x20545 = 1 x20552 = 1 x20573 = 1 x20575 = 1 x20589 = 1 x20592 = 1 x20704 = 1 x20745 = 1 x20748 = 1 x20767 = 1 x20770 = 1 x20788 = 1 x20805 = 1 x20806 = 1 x20815 = 1 x20845 = 1 x20850 = 1 x20856 = 1 x20874 = 1 x20876 = 1 x20930 = 1 x20936 = 1 x20939 = 1 x20961 = 1 x20963 = 1 x20976 = 1 x20983 = 1 x20985 = 1 x20994 = 1 x20998 = 1 x21020 = 1 x21037 = 1 x21067 = 1 x21068 = 1 x21069 = 1 Feasible FOUND in 53 iterations! First sol: obj=30927990.00765087 time=16 iter=53 restarts=6 stage=1 15.62user 0.07system 0:15.70elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+6800outputs (0major+30457minor)pagefaults 0swaps