Welcome to IBM(R) ILOG(R) CPLEX(R) Interactive Optimizer 12.4.0.0 with Simplex, Mixed Integer & Barrier Optimizers 5725-A06 5725-A29 5724-Y48 5724-Y49 5724-Y54 5724-Y55 Copyright IBM Corp. 1988, 2011. All Rights Reserved. Type 'help' for a list of available commands. Type 'help' followed by a command name for more information on commands. CPLEX> Selected objective sense: MINIMIZE Selected objective name: obj Selected RHS name: rhs Selected bound name: bnd Problem 'in_i.mps.gz' read. Read time = 0.03 sec. CPLEX> Available MIP parameters: cuts set types of cuts used during mixed integer optimization display set level of mixed integer node display interval set interval for printing mixed integer node display limits set limits for mixed integer optimization ordertype set type of generated priority order polishafter set starting conditions for solution polishing pool set solution pool characteristics strategy set strategy for mixed integer optimization tolerances set tolerances for mixed integer optimization MIP parameter to set: Available mixed integer limits: aggforcut set constraint aggregation limit for cut generation auxrootthreads set number of threads to use for auxiliary root tasks cutpasses set number of cutting plane passes cutsfactor set rows multiplier factor to limit cuts eachcutlimit set limit on number of cuts for each type per pass gomorycand set candidate limit for generating Gomory fractional cuts gomorypass set pass limit for generating Gomory fractional cuts nodes set branch and cut node limit polishtime set time limit for polishing best solution populate set solutions limit for each populate call probetime set time limit for probing repairtries set number of times to try repair heuristic solutions set mixed integer solutions limit strongcand set strong branching candidate limit strongit set strong branching iteration limit submipnodelim set sub-MIP node limit treememory set upper limit on size of tree in megabytes Mixed integer limit to set: Present value for mixed integer solutions limit: 9223372036800000000 New value for mixed integer solutions limit: New value for mixed integer solutions limit: 1 CPLEX> Present value for time limit in seconds: 1e+75 New value for time limit in seconds: New value for time limit in seconds: 3600 CPLEX> Tried aggregator 2 times. MIP Presolve eliminated 4227 rows and 2374 columns. MIP Presolve modified 93 coefficients. Aggregator did 1327 substitutions. Reduced MIP has 2664 rows, 5965 columns, and 27822 nonzeros. Reduced MIP has 5965 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing fixed 87 vars, tightened 0 bounds. Probing time = 0.12 sec. Tried aggregator 1 time. MIP Presolve eliminated 5 rows and 88 columns. MIP Presolve modified 7 coefficients. Reduced MIP has 2659 rows, 5877 columns, and 27393 nonzeros. Reduced MIP has 5877 binaries, 0 generals, 0 SOSs, and 0 indicators. Presolve time = 0.17 sec. Probing time = 0.01 sec. Clique table members: 33025. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: deterministic, using up to 4 threads. Root relaxation solution time = 0.39 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 12.4504 946 12.4504 30 0 0 12.6051 819 Cuts: 370 3142 0 0 12.7368 850 Cuts: 78 6479 0 0 12.8163 854 Cuts: 183 9738 0 0 12.8433 891 Cuts: 142 14463 0 0 12.8687 865 Cuts: 46 16614 0 0 12.8984 885 Cuts: 155 19497 0 0 12.9284 889 Cuts: 118 21807 0 0 12.9773 851 Cuts: 110 23542 0 0 13.0110 806 Cuts: 130 25883 0 0 13.1758 716 Cuts: 112 30711 0 0 13.2267 755 Cuts: 137 33215 0 0 13.2545 772 Cuts: 135 35701 0 0 13.2765 753 Cuts: 88 37947 0 0 13.3518 680 Cuts: 66 40777 0 0 13.3577 750 Cuts: 147 43713 0 0 13.3610 752 Cuts: 117 46128 0 0 13.3646 742 Cuts: 136 50284 0 0 13.3656 748 Cuts: 119 52823 0 0 13.3659 722 Cuts: 50 55438 0 0 13.3659 743 Cuts: 150 58297 0 2 13.3659 692 13.3659 58297 Elapsed real time = 24.10 sec. (tree size = 0.01 MB, solutions = 0) 2 2 13.3755 615 13.3659 63539 4 4 15.0000 601 13.3659 70603 5 5 13.4005 592 13.4005 75117 6 6 15.0000 685 13.4005 82586 9 9 15.0000 718 13.4005 103543 11 11 15.0000 745 13.4005 118411 13 13 13.4005 569 13.4005 130128 14 14 15.0000 765 13.4005 137810 18 18 15.0000 662 13.4005 161347 30 30 13.5238 567 13.4005 193910 Elapsed real time = 34.91 sec. (tree size = 0.02 MB, solutions = 0) 46 46 13.4476 532 13.4005 205804 62 62 13.4820 567 13.4005 219346 142 142 13.7008 556 13.4005 266541 146 146 13.5588 607 13.4005 278284 164 164 15.0000 502 13.4005 320595 194 194 13.7441 604 13.4005 373264 210 210 13.7253 522 13.4005 389126 213 213 15.0000 546 13.4005 390590 281 281 13.7394 548 13.4005 448760 309 307 13.7511 580 13.4005 467354 Elapsed real time = 46.08 sec. (tree size = 0.83 MB, solutions = 0) 329 327 13.7419 566 13.4005 484541 332 330 15.4198 430 13.4005 500615 378 370 15.3437 382 13.4005 543953 386 378 16.5000 289 13.4005 565003 402 394 16.6181 295 13.4005 598558 438 426 16.6500 163 13.4005 633079 443 431 13.4006 582 13.4005 640036 451 439 13.4250 591 13.4005 654249 516 498 13.4009 561 13.4005 718074 524 506 13.4009 577 13.4005 727742 Elapsed real time = 60.73 sec. (tree size = 1.91 MB, solutions = 0) 536 512 13.4057 550 13.4005 753462 568 540 infeasible 13.4005 788295 576 546 14.0000 548 13.4005 797224 584 552 infeasible 13.4005 813015 652 602 14.0000 697 13.4005 866945 656 606 14.0000 608 13.4005 885517 663 611 infeasible 13.4005 901277 667 612 infeasible 13.4005 922596 694 635 14.0000 515 13.4005 965633 698 639 14.0000 482 13.4005 976708 Elapsed real time = 75.99 sec. (tree size = 2.39 MB, solutions = 0) 702 643 14.0000 481 13.4005 987213 706 645 14.0000 462 13.4005 1001428 745 678 infeasible 13.4005 1048203 749 680 infeasible 13.4005 1061716 753 684 13.4115 657 13.4005 1071904 777 702 14.0000 640 13.4005 1112579 802 723 14.0000 593 13.4005 1155322 806 725 infeasible 13.4005 1164377 827 746 14.0000 609 13.4005 1198594 853 766 14.0000 650 13.4005 1249520 Elapsed real time = 93.12 sec. (tree size = 3.90 MB, solutions = 0) 857 766 infeasible 13.4005 1272347 860 767 14.0000 602 13.4005 1292121 864 771 14.0000 594 13.4005 1311504 886 785 infeasible 13.4005 1376392 890 787 infeasible 13.4005 1393241 969 844 13.5009 587 13.4008 1498538 972 847 14.0000 609 13.4008 1509235 1004 869 infeasible 13.4008 1534305 1016 875 infeasible 13.4008 1558638 1108 961 13.4100 664 13.4008 1636900 Elapsed real time = 115.92 sec. (tree size = 7.58 MB, solutions = 0) 1114 963 infeasible 13.4008 1653668 1126 967 13.4077 638 13.4008 1669945 1136 977 14.0000 569 13.4008 1675221 1168 1001 14.0000 659 13.4008 1734486 1231 1058 14.0000 660 13.4008 1779512 1250 1073 14.0000 588 13.4008 1794756 1262 1079 13.4060 612 13.4008 1803646 1281 1092 infeasible 13.4008 1820076 1300 1105 infeasible 13.4008 1832957 1320 1119 14.0000 522 13.4008 1847609 Elapsed real time = 131.98 sec. (tree size = 9.41 MB, solutions = 0) 1332 1131 14.0000 518 13.4008 1855181 1387 1169 13.5652 548 13.4046 1874931 1417 1199 14.0000 569 13.4046 1885748 1445 1223 infeasible 13.4046 1904069 1477 1251 14.0000 676 13.4046 1926651 1484 1254 infeasible 13.4046 1942633 1504 1272 14.0000 571 13.4046 1951625 1537 1293 infeasible 13.4046 1992692 1550 1304 14.0000 705 13.4046 2015427 1553 1303 infeasible 13.4046 2035350 Elapsed real time = 144.89 sec. (tree size = 14.04 MB, solutions = 0) 1555 1303 infeasible 13.4046 2046034 1562 1302 infeasible 13.4046 2063962 1582 1319 14.0000 727 13.4046 2071927 1620 1355 infeasible 13.4046 2112667 1661 1390 14.0000 543 13.4062 2143171 1666 1389 infeasible 13.4062 2164973 1686 1403 14.0000 636 13.4062 2179283 1726 1441 14.0000 668 13.4062 2192472 1754 1460 infeasible 13.4062 2215858 1869 1553 14.0000 634 13.4387 2302983 Elapsed real time = 163.00 sec. (tree size = 16.95 MB, solutions = 0) 1878 1552 13.7306 549 13.4387 2317149 1910 1574 infeasible 13.4387 2353960 1926 1588 infeasible 13.4387 2369083 2060 1688 infeasible 13.4387 2473965 2061 1687 infeasible 13.7028 2487811 2065 1691 13.7255 539 13.7028 2491130 2080 1698 infeasible 13.7028 2529950 2084 1700 infeasible 13.7028 2542277 2088 1704 13.7725 588 13.7028 2547718 2148 1754 14.0000 614 13.7028 2603762 Elapsed real time = 185.97 sec. (tree size = 21.75 MB, solutions = 0) 2204 1786 infeasible 13.7028 2674555 2244 1804 infeasible 13.7028 2721049 2344 1882 infeasible 13.7306 2829374 2404 1925 infeasible 13.7306 2929965 2481 1978 13.7030 618 13.7329 3070370 2484 1979 13.8028 601 13.8028 3085225 2487 1981 15.0000 705 13.8028 3103129 2492 1984 13.8069 631 13.8028 3137751 2534 1950 15.0000 597 13.8028 3168213 2553 1896 infeasible 13.8028 3195109 Elapsed real time = 251.97 sec. (tree size = 23.85 MB, solutions = 0) 2620 1933 14.0183 543 13.8028 3263592 2644 1890 18.0000 775 13.8028 3339942 2686 1869 infeasible 13.8028 3410095 2690 1873 13.8028 652 13.8028 3415849 2729 1870 14.0000 633 13.8028 3462543 2831 1874 18.0000 451 13.8028 3549857 2870 1885 15.0000 657 13.8028 3588918 2931 1899 infeasible 13.8028 3623536 2959 1905 infeasible 13.8028 3644798 3004 1919 17.0000 745 13.8028 3670878 Elapsed real time = 294.82 sec. (tree size = 28.13 MB, solutions = 0) 3068 1939 14.0000 676 13.8028 3731878 3128 1961 14.0000 638 13.8028 3769166 3213 1993 15.0000 731 13.8028 3823960 3243 2005 15.0000 691 13.8028 3867635 3329 2037 17.0000 391 13.8028 3939089 3358 2034 infeasible 13.8028 3989304 3436 2054 15.0617 600 13.8028 4076431 3499 2063 14.0000 664 13.8113 4149183 3524 2076 15.1037 534 13.8113 4175354 3583 2087 infeasible 13.8166 4228551 Elapsed real time = 335.05 sec. (tree size = 39.95 MB, solutions = 0) 3595 2081 14.0000 557 13.8166 4245383 3675 2102 14.0000 570 13.8166 4308055 3752 2101 infeasible 13.8188 4361681 3760 2101 infeasible 13.8188 4381321 3857 2124 infeasible 13.8188 4438676 3861 2123 infeasible 13.8188 4456952 3909 2123 infeasible 13.8188 4520180 3912 2123 14.0000 524 13.8188 4532228 3924 2124 infeasible 13.8188 4570363 3941 2107 14.0000 519 13.8188 4668544 Elapsed real time = 376.49 sec. (tree size = 44.87 MB, solutions = 0) 4026 2119 infeasible 13.8188 4758655 4034 2112 infeasible 13.8188 4771934 4074 2093 14.1784 553 13.8188 4850970 4086 2085 infeasible 14.0000 4898957 4094 2082 14.0000 545 14.0000 4932523 4161 2078 infeasible 14.0000 5053553 4172 2069 infeasible 14.0000 5087107 4213 2053 infeasible 14.0000 5184710 4218 2051 15.0000 626 14.0000 5254507 4227 2049 infeasible 14.0000 5283914 Elapsed real time = 428.04 sec. (tree size = 46.38 MB, solutions = 0) 4249 2047 15.1115 500 14.0000 5374475 4261 2041 15.1134 552 14.0000 5439255 4282 2019 infeasible 14.0000 5528776 4286 2020 14.0000 574 14.0000 5544110 4301 2018 infeasible 14.0000 5571497 4385 2004 infeasible 14.0000 5689959 4390 1994 infeasible 14.0000 5738276 4402 1977 infeasible 14.0000 5807752 4441 1937 infeasible 14.0000 5919405 4450 1928 infeasible 14.0000 5990711 Elapsed real time = 479.83 sec. (tree size = 45.82 MB, solutions = 0) 4486 1894 infeasible 14.0000 6170853 4491 1886 infeasible 14.0000 6198922 4500 1881 infeasible 14.0000 6238973 4515 1866 infeasible 14.0000 6291504 4548 1828 infeasible 14.0000 6413144 4559 1819 infeasible 14.0000 6510875 4566 1813 14.0000 661 14.0000 6560015 4587 1800 14.0000 598 14.0000 6640526 4612 1775 infeasible 14.0000 6679365 4616 1767 infeasible 14.0000 6702353 Elapsed real time = 529.21 sec. (tree size = 42.97 MB, solutions = 0) 4640 1742 infeasible 14.0000 6746210 4691 1682 infeasible 14.0000 6861090 4699 1677 infeasible 14.0000 6899711 4711 1663 infeasible 14.0000 6974161 4727 1642 infeasible 14.0000 7066738 4744 1619 infeasible 14.0000 7159126 4752 1610 14.0000 655 14.0000 7174586 4776 1578 infeasible 14.0000 7234121 4811 1531 infeasible 14.0000 7368482 4849 1200 12.4660 793 14.0000 7440333 Elapsed real time = 623.01 sec. (tree size = 39.04 MB, solutions = 0) 4857 1204 15.0000 603 14.0000 7453291 4871 1209 12.6911 770 14.0000 7471194 4899 1222 15.5000 565 14.0000 7526567 4926 1240 15.1429 621 14.0000 7576513 4960 1242 17.0000 635 14.0000 7627228 5048 1292 13.3923 733 14.0000 7682132 5115 1322 13.9112 557 14.0000 7734746 5165 1327 15.0000 460 14.0000 7801211 5181 1336 15.0000 476 14.0000 7841634 5231 1353 15.0000 530 14.0000 7952154 Elapsed real time = 664.93 sec. (tree size = 39.32 MB, solutions = 0) 5287 1373 15.0116 619 14.0000 7982946 5373 1403 15.0000 575 14.0000 8036378 5427 1413 12.4903 904 14.0000 8078559 5470 1432 14.0000 763 14.0000 8120805 5522 1450 17.0000 382 14.0000 8163419 5597 1474 16.0000 786 14.0000 8244067 5671 1498 18.0000 404 14.0000 8287963 5755 1530 infeasible 14.0000 8324549 5846 1569 infeasible 14.0000 8363008 5953 1614 16.0000 651 14.0000 8392055 Elapsed real time = 706.11 sec. (tree size = 46.63 MB, solutions = 0) 6001 1642 16.0000 465 14.0000 8416301 6068 1674 16.4617 424 14.0000 8456643 6129 1713 16.0000 421 14.0000 8504527 6242 1761 16.0000 508 14.0000 8566230 6347 1794 16.0000 598 14.0000 8606050 6438 1844 16.0000 540 14.0000 8641342 6490 1867 16.0000 499 14.0000 8668262 6541 1894 16.0000 502 14.0000 8701148 6685 1957 14.0000 793 14.0000 8745342 6794 2015 15.0000 600 14.0000 8787914 Elapsed real time = 745.14 sec. (tree size = 57.95 MB, solutions = 0) 6908 2052 infeasible 14.0000 8841005 6994 2085 16.0000 720 14.0000 8890755 7067 2128 15.0000 681 14.0000 8912426 7162 2169 15.0000 720 14.0000 8938408 7298 2231 16.0000 525 14.0000 8968804 7394 2303 16.0000 530 14.0000 8990011 7469 2378 16.1119 553 14.0000 9036210 7619 2511 17.0000 462 14.0000 9087443 7709 2582 14.0000 709 14.0000 9126162 7784 2648 16.0000 753 14.0000 9149978 Elapsed real time = 783.12 sec. (tree size = 76.81 MB, solutions = 0) 7854 2706 infeasible 14.0000 9196483 7937 2780 infeasible 14.0000 9232928 8061 2897 infeasible 14.0000 9274392 8121 2946 15.0000 813 14.0000 9300497 8264 3077 17.0000 409 14.0000 9346281 8388 3188 16.0000 690 14.0000 9389950 8510 3295 16.0000 582 14.0000 9435475 8665 3436 15.0000 499 14.0000 9468832 8761 3517 15.0000 785 14.0000 9496291 8892 3642 16.0496 459 14.0000 9541840 Elapsed real time = 821.43 sec. (tree size = 106.06 MB, solutions = 0) 9018 3754 15.0000 589 14.0000 9583615 9097 3823 18.0000 279 14.0000 9621566 9278 3976 14.0000 616 14.0000 9679816 9334 4029 14.0000 543 14.0000 9705669 9473 4156 infeasible 14.0000 9764445 9601 4275 14.0000 776 14.0000 9799086 9778 4445 14.0000 559 14.0000 9867963 9846 4487 16.0000 701 14.0000 9909063 9967 4600 16.0000 585 14.0000 9949283 10076 4698 16.0000 601 14.0000 9988257 Elapsed real time = 859.66 sec. (tree size = 136.67 MB, solutions = 0) Nodefile size = 3.93 MB (2.48 MB after compression) 10206 4810 16.0000 554 14.0000 10028838 10327 4906 16.0481 362 14.0000 10088224 10436 5001 infeasible 14.0000 10148113 10440 5005 17.0000 691 14.0000 10171773 10529 5080 17.0000 277 14.0000 10242978 10601 5145 18.0000 209 14.0000 10288881 10815 5338 16.0000 692 14.0000 10350099 10878 5393 16.0000 509 14.0000 10368899 11040 5542 13.2459 766 14.0000 10410887 11173 5669 16.0000 617 14.0000 10446585 Elapsed real time = 899.56 sec. (tree size = 164.87 MB, solutions = 0) Nodefile size = 32.06 MB (21.40 MB after compression) 11313 5808 16.0000 663 14.0000 10473197 11438 5927 14.0000 630 14.0000 10515269 11583 6059 17.0000 533 14.0000 10569317 11684 6152 17.0000 508 14.0000 10615528 11861 6323 15.0000 610 14.0000 10669567 11972 6430 18.0000 457 14.0000 10720427 12100 6534 15.0000 649 14.0000 10770707 12275 6701 infeasible 14.0000 10833187 12431 6846 infeasible 14.0000 10891457 12557 6944 15.0000 492 14.0000 10965723 Elapsed real time = 936.25 sec. (tree size = 199.30 MB, solutions = 0) Nodefile size = 66.32 MB (45.75 MB after compression) 12566 6949 13.2572 742 14.0000 10987495 12628 7000 16.0000 636 14.0000 11043268 12878 7230 16.0000 781 14.0000 11136106 12983 7329 16.0286 503 14.0000 11197193 13019 7365 16.0000 506 14.0000 11210464 13343 7666 17.0000 540 14.0000 11344887 13449 7755 15.0000 698 14.0000 11411851 13531 7827 infeasible 14.0000 11455750 13772 8050 16.0000 505 14.0000 11550200 13794 8066 infeasible 14.0000 11583612 Elapsed real time = 981.82 sec. (tree size = 225.56 MB, solutions = 0) Nodefile size = 91.78 MB (63.40 MB after compression) 13890 8149 16.0000 592 14.0000 11619421 14131 8355 17.0446 395 14.0000 11730781 14251 8459 15.0000 625 14.0000 11779177 14384 8581 16.0000 639 14.0000 11833596 14528 8709 16.0000 581 14.0000 11891188 14699 8853 15.0000 665 14.0000 11953710 14869 8999 18.0000 811 14.0000 12015577 14987 9104 18.0000 741 14.0000 12052757 15099 9210 18.0000 575 14.0000 12086562 15235 9332 infeasible 14.0000 12134940 Elapsed real time = 1019.66 sec. (tree size = 259.28 MB, solutions = 0) Nodefile size = 124.89 MB (86.12 MB after compression) 15315 9412 18.0000 742 14.0000 12157817 15447 9540 18.0000 630 14.0000 12190026 15800 9850 18.0000 371 14.0000 12311630 15900 9942 18.0000 770 14.0000 12340222 16052 10094 18.0000 661 14.0000 12385063 16232 10254 18.0000 504 14.0000 12458620 16388 10398 18.0000 675 14.0000 12509880 16515 10519 16.0000 512 14.0000 12545314 16599 10603 16.0179 425 14.0000 12587989 16699 10690 16.1164 459 14.0000 12634771 Elapsed real time = 1060.76 sec. (tree size = 289.63 MB, solutions = 0) Nodefile size = 152.98 MB (105.36 MB after compression) 16933 10907 16.2449 381 14.0000 12750907 16989 10961 16.0000 389 14.0000 12792883 17332 11271 18.0000 501 14.0000 12951416 17427 11349 18.0000 720 14.0000 12997021 17529 11444 18.0000 827 14.0000 13031801 17697 11608 18.0000 668 14.0000 13072372 17906 11812 18.0000 428 14.0000 13119994 17952 11856 18.0000 480 14.0000 13137777 18044 11936 16.0000 740 14.0000 13157965 18152 12041 16.0000 675 14.0000 13180721 Elapsed real time = 1101.66 sec. (tree size = 324.72 MB, solutions = 0) Nodefile size = 188.86 MB (130.12 MB after compression) 18438 12307 16.0000 498 14.0000 13267563 18490 12348 16.0311 415 14.0000 13310414 18682 12529 17.0000 399 14.0000 13375439 18838 12661 14.0000 574 14.0000 13431213 19049 12862 18.0000 684 14.0000 13499035 19169 12974 18.0000 580 14.0000 13558728 19297 13093 18.0000 495 14.0000 13612384 19416 13201 infeasible 14.0000 13664241 19589 13364 infeasible 14.0000 13748617 19733 13490 16.0000 596 14.0000 13796957 Elapsed real time = 1141.14 sec. (tree size = 360.20 MB, solutions = 0) Nodefile size = 224.86 MB (154.29 MB after compression) 19941 13688 16.0000 547 14.0000 13870060 20168 13897 infeasible 14.0000 13957363 20244 13963 13.5341 626 14.0000 13992980 20318 14037 16.4982 450 14.0000 14035210 20488 14184 14.0000 538 14.0000 14101640 20586 14260 14.0000 583 14.0000 14173087 20694 14357 16.0000 655 14.0000 14216194 20870 14523 16.0000 545 14.0000 14267396 20965 14613 16.0000 412 14.0000 14323760 21080 14722 16.0889 395 14.0000 14400534 Elapsed real time = 1180.21 sec. (tree size = 391.45 MB, solutions = 0) Nodefile size = 258.10 MB (176.80 MB after compression) 21236 14851 17.0000 408 14.0000 14472251 21395 15001 16.0000 411 14.0000 14543863 21597 15181 17.0000 365 14.0000 14640378 21678 15250 16.0000 692 14.0000 14717252 21796 15352 16.0000 418 14.0000 14803300 21915 15461 16.0278 444 14.0000 14870156 21992 15535 17.0000 462 14.0000 14911533 22028 15571 17.0000 462 14.0000 14940038 22132 15660 15.0000 575 14.0000 14983681 22359 15863 15.0000 566 14.0000 15122775 Elapsed real time = 1228.39 sec. (tree size = 421.91 MB, solutions = 0) Nodefile size = 287.86 MB (196.91 MB after compression) 22451 15945 15.0968 451 14.0000 15179822 22774 16233 13.8648 652 14.0000 15338278 22894 16349 16.0000 441 14.0000 15407183 22926 16380 16.0000 420 14.0000 15435478 23018 16464 17.0000 458 14.0000 15488874 23296 16721 17.0000 448 14.0000 15650208 23344 16761 18.0000 464 14.0000 15684490 23416 16829 18.0000 270 14.0000 15726547 23444 16853 18.0000 271 14.0000 15758114 23671 17055 17.0376 393 14.0000 15886897 Elapsed real time = 1271.74 sec. (tree size = 450.10 MB, solutions = 0) Nodefile size = 316.64 MB (216.32 MB after compression) 23792 17168 15.0000 601 14.0000 15959354 23840 17204 infeasible 14.0000 16001430 23872 17226 infeasible 14.0000 16032367 24101 17440 17.0000 425 14.0000 16155134 24165 17492 infeasible 14.0000 16215862 24229 17549 16.0000 585 14.0000 16249730 24357 17647 16.0000 476 14.0000 16344615 24496 17774 infeasible 14.0000 16416046 24560 17836 18.0000 659 14.0000 16449270 24585 17859 infeasible 14.0000 16483644 Elapsed real time = 1310.86 sec. (tree size = 468.30 MB, solutions = 0) Nodefile size = 333.51 MB (227.73 MB after compression) 24701 17962 16.0000 582 14.0000 16525913 24901 18139 16.0000 420 14.0000 16647689 24925 18157 infeasible 14.0000 16683359 24985 18204 17.0000 735 14.0000 16714266 25101 18304 17.0000 624 14.0000 16758169 25290 18444 infeasible 14.0000 16884417 25382 18500 infeasible 14.0000 16924614 25510 18616 16.0000 542 14.0000 16970747 25650 18734 17.0000 505 14.0000 17039402 25801 18857 infeasible 14.0000 17132853 Elapsed real time = 1349.89 sec. (tree size = 496.88 MB, solutions = 0) Nodefile size = 362.96 MB (247.68 MB after compression) 25883 18903 17.0000 366 14.0000 17188229 25923 18921 17.0000 364 14.0000 17237163 25955 18937 17.0000 300 14.0000 17283964 26133 19075 17.2589 330 14.0000 17391559 26169 19102 18.0000 349 14.0000 17422131 26205 19122 18.0000 290 14.0000 17455865 26249 19163 infeasible 14.0000 17492054 26542 19399 infeasible 14.0000 17650787 26622 19412 infeasible 14.0000 17718466 26703 19439 14.0000 571 14.0000 17782562 Elapsed real time = 1388.77 sec. (tree size = 512.25 MB, solutions = 0) Nodefile size = 378.49 MB (258.12 MB after compression) 26801 19497 infeasible 14.0000 17839501 26954 19624 14.0000 526 14.0000 17902194 27058 19694 infeasible 14.0000 17947716 27138 19750 infeasible 14.0000 17981983 27238 19824 infeasible 14.0000 18023291 27584 20071 infeasible 14.0000 18193482 27619 20074 14.0000 502 14.0000 18245412 27695 20078 infeasible 14.0000 18332990 27743 20094 infeasible 14.0000 18378987 27940 20230 infeasible 14.0000 18470741 Elapsed real time = 1428.72 sec. (tree size = 531.09 MB, solutions = 0) Nodefile size = 397.66 MB (270.91 MB after compression) 27956 20234 infeasible 14.0000 18495563 28024 20294 17.0000 649 14.0000 18528602 28128 20382 infeasible 14.0000 18572160 28527 20729 infeasible 14.0000 18729059 28587 20766 17.0000 684 14.0000 18772728 28670 20803 14.0000 496 14.0000 18846806 28742 20819 17.0000 744 14.0000 18906144 28892 20919 14.7180 481 14.0000 18998900 28978 20987 17.0000 760 14.0000 19042968 29134 21139 17.0000 559 14.0000 19103670 Elapsed real time = 1469.49 sec. (tree size = 552.66 MB, solutions = 0) Nodefile size = 417.55 MB (284.06 MB after compression) 29287 21275 infeasible 14.0000 19174333 29526 21495 15.0000 564 14.0000 19260903 29546 21515 15.0000 546 14.0000 19281022 29558 21522 infeasible 14.0000 19308574 29630 21574 14.0000 584 14.0000 19368185 29922 21791 14.0000 522 14.0000 19550805 29958 21811 infeasible 14.0000 19588151 30054 21885 17.0000 622 14.0000 19638446 30120 21927 infeasible 14.0000 19687738 30347 22121 14.0000 618 14.0000 19785186 Elapsed real time = 1510.28 sec. (tree size = 579.62 MB, solutions = 0) Nodefile size = 446.03 MB (303.30 MB after compression) 30375 22139 infeasible 14.0000 19814571 30471 22197 infeasible 14.0000 19872264 30503 22199 infeasible 14.0000 19917351 30816 22395 14.0000 543 14.0000 20092191 30868 22428 infeasible 14.0000 20127771 30896 22438 14.0388 590 14.0000 20159936 31036 22547 17.0000 699 14.0000 20229300 31265 22698 infeasible 14.0000 20381515 31295 22712 17.0000 681 14.0000 20421581 31389 22784 14.0000 519 14.0000 20477985 Elapsed real time = 1549.86 sec. (tree size = 593.97 MB, solutions = 0) Nodefile size = 460.29 MB (312.72 MB after compression) 31429 22808 infeasible 14.0000 20511391 31623 22932 17.0000 418 14.0000 20642395 31707 23007 17.0000 778 14.0000 20695524 31788 23073 18.0000 370 14.0000 20769873 31872 23153 18.0000 327 14.0000 20815083 32094 23354 infeasible 14.0000 20917312 32106 23364 infeasible 14.0000 20940771 32178 23409 14.0000 548 14.0000 20982367 32238 23449 infeasible 14.0000 21037647 32628 23774 14.0000 584 14.0000 21213000 Elapsed real time = 1595.19 sec. (tree size = 623.18 MB, solutions = 0) Nodefile size = 488.73 MB (332.10 MB after compression) 32710 23826 infeasible 14.0000 21259304 32814 23906 infeasible 14.0000 21305618 32862 23930 infeasible 14.0000 21350833 32904 23960 16.0000 537 14.0000 21395527 33165 24199 17.0000 436 14.0000 21512107 33214 24232 infeasible 14.0000 21565837 33291 24249 infeasible 14.0000 21665425 33347 24259 infeasible 14.0000 21723504 33478 24358 infeasible 14.0000 21808742 33514 24371 infeasible 14.0000 21846357 Elapsed real time = 1634.03 sec. (tree size = 634.50 MB, solutions = 0) Nodefile size = 500.26 MB (339.80 MB after compression) 33546 24376 18.0000 643 14.0000 21922772 33706 24434 infeasible 14.0000 22140254 33786 24492 infeasible 14.0000 22185981 33818 24514 14.0000 605 14.0000 22210500 33866 24543 infeasible 14.0000 22241646 34063 24709 17.0000 517 14.0000 22376379 34133 24755 infeasible 14.0000 22434388 34185 24787 infeasible 14.0000 22488829 34305 24887 17.0000 569 14.0000 22589513 34340 24916 14.0000 525 14.0000 22652368 Elapsed real time = 1684.36 sec. (tree size = 646.40 MB, solutions = 0) Nodefile size = 511.24 MB (347.24 MB after compression) 34417 24955 14.0000 572 14.0000 22740896 34461 24965 infeasible 14.0000 22793851 34577 25035 infeasible 14.0000 22870364 34626 25058 14.0000 626 14.0000 22944373 34799 25174 infeasible 14.0000 23116690 34803 25172 infeasible 14.0000 23173534 34849 25196 infeasible 14.0000 23265365 34964 25245 infeasible 14.0000 23374029 35008 25255 infeasible 14.0000 23410975 35032 25265 14.0000 480 14.0000 23452395 Elapsed real time = 1729.45 sec. (tree size = 656.93 MB, solutions = 0) Nodefile size = 522.60 MB (354.84 MB after compression) 35060 25263 14.0000 474 14.0000 23490863 35076 25259 14.0000 490 14.0000 23531015 35244 25293 infeasible 14.0000 23760875 35248 25293 infeasible 14.0000 23783791 35276 25291 14.0000 581 14.0000 23822716 35340 25276 infeasible 14.0000 23939138 35465 25302 infeasible 14.0000 24087009 35502 25315 14.0001 599 14.0000 24125541 35582 25338 14.0000 522 14.0000 24178668 35638 25356 14.0000 555 14.0000 24219213 Elapsed real time = 1770.33 sec. (tree size = 658.60 MB, solutions = 0) Nodefile size = 524.56 MB (356.18 MB after compression) 35682 25357 14.0000 509 14.0000 24268631 35852 25457 infeasible 14.0000 24418771 35910 25467 17.0000 751 14.0000 24469439 35944 25465 infeasible 14.0000 24520353 35996 25481 14.0083 535 14.0000 24561728 36072 25494 infeasible 14.0000 24627081 36231 25576 14.0000 517 14.0000 24760912 36240 25585 17.0000 564 14.0000 24793501 36279 25608 infeasible 14.0000 24840893 36337 25646 infeasible 14.0000 24907160 Elapsed real time = 1810.96 sec. (tree size = 667.18 MB, solutions = 0) Nodefile size = 533.39 MB (362.04 MB after compression) 36449 25734 infeasible 14.0000 24946055 36767 26043 17.0000 711 14.0000 25066392 36841 26115 17.4185 287 14.0000 25120903 36965 26216 15.0000 575 14.0000 25198429 36980 26221 infeasible 14.0000 25228738 37119 26344 17.0721 387 14.0000 25346634 37288 26484 infeasible 14.0000 25443299 37364 26531 infeasible 14.0000 25501516 37412 26565 infeasible 14.0000 25542348 37428 26575 infeasible 14.0000 25574571 Elapsed real time = 1852.79 sec. (tree size = 689.98 MB, solutions = 0) Nodefile size = 556.10 MB (377.21 MB after compression) 37708 26821 infeasible 14.0000 25724566 37749 26847 infeasible 14.0000 25779240 37809 26889 infeasible 14.0000 25819103 37893 26951 14.0000 599 14.0000 25856959 38162 27168 infeasible 14.0000 26032370 38234 27202 infeasible 14.0000 26078608 38282 27216 infeasible 14.0000 26116182 38294 27214 infeasible 14.0000 26148745 38362 27251 infeasible 14.0000 26201659 38552 27365 infeasible 14.0000 26378561 Elapsed real time = 1894.16 sec. (tree size = 707.69 MB, solutions = 0) Nodefile size = 573.94 MB (389.31 MB after compression) 38591 27392 14.1857 692 14.0000 26414948 38715 27484 17.0000 524 14.0000 26490088 38853 27576 infeasible 14.0000 26594129 38889 27602 infeasible 14.0000 26639744 39054 27751 14.0000 552 14.0000 26755134 39078 27759 infeasible 14.0000 26795774 39170 27827 18.0000 642 14.0000 26838523 39266 27921 18.0000 513 14.0000 26895502 39463 28019 18.0000 481 14.0000 27141703 39492 28030 infeasible 14.0000 27176050 Elapsed real time = 1941.53 sec. (tree size = 728.64 MB, solutions = 0) Nodefile size = 594.61 MB (403.21 MB after compression) 39520 28045 14.0000 466 14.0000 27211450 39564 28065 infeasible 14.0000 27260788 39745 28154 14.0000 594 14.0000 27460801 39772 28157 14.0000 580 14.0000 27503950 39792 28167 infeasible 14.0000 27530179 39832 28181 14.2088 689 14.0000 27619309 39853 28200 infeasible 14.0000 27643027 40145 28474 14.0000 627 14.0000 27782151 40210 28509 14.0137 672 14.0000 27823145 40285 28566 14.0000 591 14.0000 27866479 Elapsed real time = 1981.19 sec. (tree size = 742.19 MB, solutions = 0) Nodefile size = 608.20 MB (412.31 MB after compression) 40337 28604 infeasible 14.0000 27903645 40405 28646 infeasible 14.0000 27974663 40677 28861 infeasible 14.0000 28148407 40685 28859 infeasible 14.0000 28196172 40740 28872 infeasible 14.0000 28300207 40793 28882 infeasible 14.0000 28366119 40887 28919 infeasible 14.0000 28470441 40955 28947 infeasible 14.0000 28514753 41027 28958 infeasible 14.0000 28581516 41071 28968 infeasible 14.0000 28636852 Elapsed real time = 2025.75 sec. (tree size = 752.28 MB, solutions = 0) Nodefile size = 617.86 MB (418.86 MB after compression) 41143 28992 14.0000 501 14.0000 28714371 41233 28990 infeasible 14.0000 28856707 41281 28990 infeasible 14.0000 28922960 41342 28993 infeasible 14.0000 29006190 41382 29007 infeasible 14.0000 29040891 41473 29026 14.0000 525 14.0000 29139798 41528 29035 infeasible 14.0000 29227846 41563 29034 infeasible 14.0000 29299671 41598 29045 infeasible 14.0000 29355059 41659 29070 14.0000 524 14.0000 29422634 Elapsed real time = 2075.04 sec. (tree size = 755.96 MB, solutions = 0) Nodefile size = 621.77 MB (421.52 MB after compression) 41807 29180 infeasible 14.0000 29569501 41903 29259 17.0000 669 14.0000 29611848 41983 29339 17.0000 510 14.0000 29648676 42094 29437 infeasible 14.0000 29714493 42146 29473 infeasible 14.0000 29760478 42307 29611 infeasible 14.0000 29855004 42372 29646 infeasible 14.0000 29909056 42516 29777 17.0000 522 14.0000 29980009 42566 29811 14.0000 559 14.0000 30025322 42602 29837 14.0090 568 14.0000 30053683 Elapsed real time = 2115.55 sec. (tree size = 774.87 MB, solutions = 0) Nodefile size = 640.29 MB (434.07 MB after compression) 42984 30173 14.0000 576 14.0000 30236342 43072 30244 14.0000 632 14.0000 30263322 43112 30278 infeasible 14.0000 30298666 43128 30286 infeasible 14.0000 30319916 43132 30288 infeasible 14.0000 30340730 43136 30290 infeasible 14.0000 30360370 43641 30760 17.0000 267 14.0000 30572832 43685 30802 17.0000 326 14.0000 30606901 43829 30936 18.0000 395 14.0000 30682153 43883 30978 14.0000 528 14.0000 30727592 Elapsed real time = 2156.39 sec. (tree size = 801.82 MB, solutions = 0) Nodefile size = 666.19 MB (451.35 MB after compression) 43899 30988 14.0000 676 14.0000 30752745 44152 31203 14.0000 579 14.0000 30920337 44158 31203 infeasible 14.0000 30983333 44202 31217 infeasible 14.0000 31051891 44299 31262 infeasible 14.0000 31151908 44459 31314 14.0000 610 14.0000 31273265 44530 31309 infeasible 14.0000 31342430 44562 31305 14.0789 605 14.0000 31400544 44633 31320 14.0000 626 14.0000 31477998 44684 31347 14.0000 619 14.0000 31533554 Elapsed real time = 2200.04 sec. (tree size = 814.28 MB, solutions = 0) Nodefile size = 679.56 MB (460.38 MB after compression) 44736 31363 infeasible 14.0000 31592131 44886 31440 infeasible 14.0000 31723562 44926 31442 14.0000 583 14.0000 31775396 44950 31434 14.0000 573 14.0000 31837253 44966 31432 infeasible 14.0000 31887039 45160 31535 infeasible 14.0000 32092638 45178 31533 infeasible 14.0000 32128881 45273 31564 infeasible 14.0000 32235941 45281 31568 infeasible 14.0000 32256948 45333 31592 infeasible 14.0000 32327846 Elapsed real time = 2248.81 sec. (tree size = 819.38 MB, solutions = 0) Nodefile size = 685.00 MB (464.14 MB after compression) 45423 31666 14.0000 512 14.0000 32452212 45431 31666 infeasible 14.0000 32508296 45469 31676 infeasible 14.0000 32629597 45493 31690 14.5000 615 14.0000 32673909 45638 31807 infeasible 14.0000 32803836 45662 31823 infeasible 14.0000 32831194 45722 31873 17.0000 774 14.0000 32864551 45835 31976 17.0000 658 14.0000 32934623 45962 32103 17.0000 435 14.0000 32987465 45986 32127 18.0000 450 14.0000 33013461 Elapsed real time = 2289.55 sec. (tree size = 829.04 MB, solutions = 0) Nodefile size = 692.69 MB (469.52 MB after compression) 46254 32373 14.0031 564 14.0000 33181359 46307 32418 infeasible 14.0000 33234206 46367 32476 17.0000 711 14.0000 33256473 46491 32596 17.0000 581 14.0000 33310830 46627 32730 17.0000 449 14.0000 33381527 46770 32857 17.3239 212 14.0000 33468937 46949 33034 18.0000 373 14.0000 33560172 47005 33086 18.0000 257 14.0000 33599952 47033 33108 14.0253 598 14.0000 33632436 47121 33186 infeasible 14.0000 33684193 Elapsed real time = 2331.06 sec. (tree size = 858.88 MB, solutions = 0) Nodefile size = 723.66 MB (490.22 MB after compression) 47245 33301 17.0000 605 14.0000 33767000 47415 33365 infeasible 14.0000 33972028 47451 33385 infeasible 14.0000 34006824 47511 33415 14.0000 560 14.0000 34081448 47559 33439 infeasible 14.0000 34140932 47583 33459 14.0000 575 14.0000 34173564 47857 33667 17.0000 471 14.0000 34375256 47935 33721 infeasible 14.0000 34436787 47939 33723 infeasible 14.0000 34458266 47943 33723 infeasible 14.0000 34486217 Elapsed real time = 2376.38 sec. (tree size = 870.26 MB, solutions = 0) Nodefile size = 736.22 MB (498.68 MB after compression) 47987 33746 infeasible 14.0000 34530745 47995 33748 infeasible 14.0000 34554599 48276 33953 infeasible 14.0000 34812696 48312 33975 infeasible 14.0000 34851559 48336 33987 14.0730 634 14.0000 34884377 48466 34086 18.0000 337 14.0000 34962685 48498 34105 14.0000 574 14.0000 35001403 48534 34119 infeasible 14.0000 35037855 48688 34240 17.2630 403 14.0000 35161537 48776 34293 18.0000 343 14.0000 35216801 Elapsed real time = 2415.65 sec. (tree size = 884.20 MB, solutions = 0) Nodefile size = 748.68 MB (507.36 MB after compression) 48852 34332 infeasible 14.0000 35275043 48908 34369 14.0000 501 14.0000 35314725 48944 34385 14.0000 588 14.0000 35350532 49217 34536 14.1467 608 14.0000 35546385 49327 34594 infeasible 14.0000 35622626 49351 34604 infeasible 14.0000 35660032 49383 34618 infeasible 14.0000 35699911 49512 34689 infeasible 14.0000 35811038 49771 34847 infeasible 14.0000 35970956 49819 34855 infeasible 14.0000 36023872 Elapsed real time = 2457.39 sec. (tree size = 897.53 MB, solutions = 0) Nodefile size = 763.55 MB (517.24 MB after compression) 49879 34877 14.0133 625 14.0000 36074603 49961 34915 infeasible 14.0000 36137552 50049 34943 14.0000 648 14.0000 36197551 50222 34989 14.0000 623 14.0000 36370850 50306 35022 infeasible 14.0000 36425408 50330 35032 infeasible 14.0000 36457002 50366 35048 14.0000 565 14.0000 36489030 50438 35077 infeasible 14.0000 36549103 50625 35180 14.0000 542 14.0000 36716401 50631 35186 14.0000 519 14.0000 36745560 Elapsed real time = 2499.13 sec. (tree size = 905.41 MB, solutions = 0) Nodefile size = 771.63 MB (522.75 MB after compression) 50653 35194 infeasible 14.0000 36798243 50677 35201 14.0000 510 14.0000 36858040 50719 35211 infeasible 14.0000 36966528 50910 35326 infeasible 14.0000 37192349 50990 35326 infeasible 14.0000 37332096 51036 35332 14.0000 526 14.0000 37401559 51085 35343 infeasible 14.0000 37476711 51098 35336 14.0000 483 14.0000 37520583 51179 35337 infeasible 14.0000 37685891 51191 35331 infeasible 14.0000 37716057 Elapsed real time = 2547.52 sec. (tree size = 910.33 MB, solutions = 0) Nodefile size = 776.46 MB (525.94 MB after compression) 51259 35331 infeasible 14.0000 37809459 51299 35328 infeasible 14.0000 37868262 51343 35335 infeasible 14.0000 37933362 51405 35325 14.0000 561 14.0000 38092489 51418 35322 infeasible 14.0000 38147245 51438 35324 infeasible 14.0000 38197010 51458 35322 infeasible 14.0000 38243540 51597 35355 infeasible 14.0000 38532029 51613 35349 infeasible 14.0000 38578957 51662 35344 infeasible 14.0000 38696067 Elapsed real time = 2594.91 sec. (tree size = 910.58 MB, solutions = 0) Nodefile size = 776.46 MB (525.94 MB after compression) 51686 35346 infeasible 14.0000 38736840 51738 35348 14.0000 589 14.0000 38803720 51794 35358 infeasible 14.0000 38920276 51837 35347 infeasible 14.0000 39024961 51865 35332 infeasible 14.0000 39112317 51901 35333 14.0000 620 14.0000 39155319 51933 35345 infeasible 14.0000 39205577 51937 35345 infeasible 14.0000 39231266 52101 35343 14.0000 538 14.0000 39457347 52129 35339 infeasible 14.0000 39493203 Elapsed real time = 2640.10 sec. (tree size = 910.64 MB, solutions = 0) Nodefile size = 776.46 MB (525.94 MB after compression) 52161 35329 14.0000 588 14.0000 39537482 52229 35331 infeasible 14.0000 39619420 52283 35323 14.0000 540 14.0000 39741744 52351 35350 infeasible 14.0000 39825150 52400 35379 infeasible 14.0000 39871520 52406 35377 infeasible 14.0000 39930404 52410 35377 infeasible 14.0000 39957593 52482 35409 infeasible 14.0000 40082922 52514 35423 14.0000 510 14.0000 40115809 52534 35427 infeasible 14.0000 40192695 Elapsed real time = 2680.03 sec. (tree size = 911.84 MB, solutions = 0) Nodefile size = 777.43 MB (526.64 MB after compression) 52655 35501 infeasible 14.0000 40338496 52659 35503 infeasible 14.0000 40360537 52663 35503 infeasible 14.0000 40385092 52679 35507 infeasible 14.0000 40419191 52699 35519 14.0000 597 14.0000 40448560 52995 35744 infeasible 14.0000 40761145 53047 35746 infeasible 14.0000 40840389 53059 35752 14.0000 488 14.0000 40874384 53091 35760 infeasible 14.0000 40945109 53123 35767 infeasible 14.0000 41009349 Elapsed real time = 2728.90 sec. (tree size = 923.24 MB, solutions = 0) Nodefile size = 789.18 MB (534.65 MB after compression) 53313 35790 infeasible 14.0000 41265391 53339 35784 infeasible 14.0000 41312474 53400 35787 14.0000 581 14.0000 41408908 53447 35790 14.0000 530 14.0000 41468480 53493 35791 infeasible 14.0000 41548509 53531 35785 infeasible 14.0000 41641988 53582 35781 14.0000 488 14.0000 41740438 53602 35783 14.0000 522 14.0000 41774319 53626 35785 infeasible 14.0000 41810101 53698 35783 infeasible 14.0000 41882396 Elapsed real time = 2767.98 sec. (tree size = 923.96 MB, solutions = 0) Nodefile size = 790.16 MB (535.33 MB after compression) 53774 35820 14.0000 524 14.0000 41935777 53838 35824 14.0129 533 14.0000 42031302 54012 35904 infeasible 14.0000 42171079 54055 35917 infeasible 14.0000 42243740 54147 35949 infeasible 14.0000 42321601 54243 35983 14.0000 558 14.0000 42385623 54319 35997 14.0000 572 14.0000 42447512 54463 36038 14.0000 603 14.0000 42562380 54503 36031 14.0000 583 14.0000 42609643 54579 36034 infeasible 14.0000 42677545 Elapsed real time = 2808.65 sec. (tree size = 932.16 MB, solutions = 0) Nodefile size = 797.90 MB (540.63 MB after compression) 54651 36034 14.0000 594 14.0000 42742441 54731 36044 infeasible 14.0000 42803761 54795 36068 14.0000 586 14.0000 42852297 54873 36088 14.0000 568 14.0000 42914898 54964 36129 infeasible 14.0000 42986036 55028 36145 infeasible 14.0000 43036055 55108 36155 14.0000 619 14.0000 43096988 55124 36159 14.0000 556 14.0000 43125039 55196 36183 infeasible 14.0000 43191649 55264 36191 infeasible 14.0000 43256590 Elapsed real time = 2845.40 sec. (tree size = 935.69 MB, solutions = 0) Nodefile size = 800.83 MB (542.64 MB after compression) 55328 36211 14.0000 579 14.0000 43304266 55532 36319 infeasible 14.0000 43430061 55592 36339 14.0000 578 14.0000 43472876 55676 36385 infeasible 14.0000 43528005 55752 36419 infeasible 14.0000 43592877 55832 36449 infeasible 14.0000 43644459 55904 36477 infeasible 14.0000 43708591 56041 36492 infeasible 14.0000 43862478 56121 36470 infeasible 14.0000 43945100 56200 36467 14.0000 538 14.0000 44041813 Elapsed real time = 2885.74 sec. (tree size = 946.38 MB, solutions = 0) Nodefile size = 812.61 MB (550.72 MB after compression) 56272 36469 14.0000 561 14.0000 44106679 56324 36463 14.0000 506 14.0000 44168629 56450 36459 14.0000 556 14.0000 44307123 56538 36460 infeasible 14.0000 44381338 56618 36490 17.0000 745 14.0000 44437880 56681 36522 infeasible 14.0000 44487337 56757 36559 infeasible 14.0000 44533110 56865 36633 17.0000 670 14.0000 44598052 57064 36753 18.0000 533 14.0000 44708720 57149 36808 17.0000 742 14.0000 44756335 Elapsed real time = 2924.91 sec. (tree size = 954.46 MB, solutions = 0) Nodefile size = 820.46 MB (556.21 MB after compression) 57226 36849 14.0000 586 14.0000 44801250 57298 36883 infeasible 14.0000 44845804 57382 36919 infeasible 14.0000 44903911 57438 36936 infeasible 14.0000 44951963 57526 36943 infeasible 14.0000 45027395 57738 37053 14.0000 513 14.0000 45158924 57772 37063 14.0000 560 14.0000 45191769 57844 37073 infeasible 14.0000 45248360 57924 37097 infeasible 14.0000 45310375 57952 37105 14.0000 529 14.0000 45342745 Elapsed real time = 2962.85 sec. (tree size = 961.26 MB, solutions = 0) Nodefile size = 827.24 MB (560.89 MB after compression) 58024 37127 infeasible 14.0000 45394022 58210 37158 infeasible 14.0000 45559231 58306 37166 infeasible 14.0000 45629086 58373 37199 14.0000 535 14.0000 45683532 58422 37218 14.0000 582 14.0000 45739597 58474 37226 14.0095 582 14.0000 45789307 58546 37248 14.0000 587 14.0000 45857281 58623 37281 14.0000 559 14.0000 45925417 58753 37315 14.0000 553 14.0000 46046090 58801 37315 infeasible 14.0000 46097067 Elapsed real time = 3001.13 sec. (tree size = 969.71 MB, solutions = 0) Nodefile size = 836.03 MB (566.95 MB after compression) 58889 37317 infeasible 14.0000 46176591 58948 37304 infeasible 14.0000 46250750 59029 37289 infeasible 14.0000 46331564 59125 37305 infeasible 14.0000 46407623 59226 37317 infeasible 14.0000 46502839 59298 37303 infeasible 14.0000 46563450 59338 37299 infeasible 14.0000 46610656 59414 37301 14.0000 631 14.0000 46678451 59438 37303 14.0000 631 14.0000 46712135 59506 37291 14.0000 592 14.0000 46792014 Elapsed real time = 3037.36 sec. (tree size = 969.84 MB, solutions = 0) Nodefile size = 836.03 MB (566.95 MB after compression) 59538 37287 infeasible 14.0000 46842318 59737 37325 infeasible 14.0000 46998141 59785 37340 14.0000 585 14.0000 47043336 59857 37346 infeasible 14.0000 47111656 59937 37342 infeasible 14.0000 47175430 60021 37332 infeasible 14.0000 47245519 60239 37362 infeasible 14.0000 47420230 60329 37373 infeasible 14.0000 47494581 60400 37376 14.0000 506 14.0000 47558992 60513 37379 infeasible 14.0000 47648989 Elapsed real time = 3077.98 sec. (tree size = 971.54 MB, solutions = 0) Nodefile size = 837.01 MB (567.65 MB after compression) 60569 37397 14.0000 480 14.0000 47695206 60705 37391 infeasible 14.0000 47798175 60789 37379 14.0000 455 14.0000 47869426 60880 37362 infeasible 14.0000 47946650 60927 37352 14.0000 568 14.0000 48006646 61011 37346 infeasible 14.0000 48079107 61103 37336 infeasible 14.0000 48157516 61175 37320 14.0000 587 14.0000 48221232 61226 37324 14.0000 601 14.0000 48280415 61299 37337 14.0000 530 14.0000 48354549 Elapsed real time = 3114.38 sec. (tree size = 971.67 MB, solutions = 0) Nodefile size = 837.98 MB (568.33 MB after compression) 61341 37347 14.0000 557 14.0000 48412967 61409 37351 14.0000 600 14.0000 48474680 61477 37360 infeasible 14.0000 48533831 61537 37361 14.0000 529 14.0000 48592295 61605 37374 infeasible 14.0000 48666376 61658 37387 14.0000 509 14.0000 48726019 61782 37384 14.0000 477 14.0000 48858665 61858 37382 infeasible 14.0000 48940612 61921 37375 infeasible 14.0000 49018722 61996 37370 infeasible 14.0000 49099120 Elapsed real time = 3152.62 sec. (tree size = 972.23 MB, solutions = 0) Nodefile size = 837.98 MB (568.33 MB after compression) 62046 37366 14.0000 558 14.0000 49159992 62098 37360 14.0000 566 14.0000 49234864 62186 37370 14.0000 589 14.0000 49338270 62231 37363 14.0000 581 14.0000 49392627 62291 37351 infeasible 14.0000 49455611 62334 37358 14.0000 618 14.0000 49519058 62415 37353 infeasible 14.0000 49603810 62454 37352 infeasible 14.0000 49660637 62526 37364 14.0000 557 14.0000 49736625 62666 37351 infeasible 14.0000 49856898 Elapsed real time = 3190.22 sec. (tree size = 970.98 MB, solutions = 0) Nodefile size = 837.98 MB (568.33 MB after compression) 62743 37354 infeasible 14.0000 49920515 62820 37357 14.0000 563 14.0000 49987812 62898 37379 infeasible 14.0000 50042960 62980 37391 14.0000 570 14.0000 50111020 63044 37387 14.0000 559 14.0000 50167669 63116 37370 infeasible 14.0000 50228526 63241 37350 infeasible 14.0000 50340265 63282 37351 14.0000 562 14.0000 50394682 63361 37364 14.0000 599 14.0000 50467613 63446 37361 infeasible 14.0000 50544047 Elapsed real time = 3227.47 sec. (tree size = 971.59 MB, solutions = 0) Nodefile size = 837.98 MB (568.33 MB after compression) 63517 37342 infeasible 14.0000 50612048 63606 37354 infeasible 14.0000 50684172 63724 37364 14.0000 509 14.0000 50786933 63782 37370 infeasible 14.0000 50841796 63873 37367 infeasible 14.0000 50919043 63945 37359 infeasible 14.0000 50977335 64033 37355 infeasible 14.0000 51058917 64123 37354 14.0000 570 14.0000 51129745 64187 37358 14.0000 536 14.0000 51183249 64306 37367 infeasible 14.0000 51278495 Elapsed real time = 3262.83 sec. (tree size = 971.53 MB, solutions = 0) Nodefile size = 837.98 MB (568.33 MB after compression) 64384 37364 14.0000 534 14.0000 51343769 64434 37368 14.0000 487 14.0000 51395675 64495 37360 14.0000 519 14.0000 51458065 64554 37358 14.0000 623 14.0000 51513323 64626 37349 14.0000 682 14.0000 51579188 64659 37360 14.0000 534 14.0000 51620221 64798 37361 14.0000 578 14.0000 51755389 64882 37376 infeasible 14.0000 51820155 64954 37377 infeasible 14.0000 51876979 65006 37387 14.0000 590 14.0000 51925741 Elapsed real time = 3301.31 sec. (tree size = 971.45 MB, solutions = 0) Nodefile size = 837.98 MB (568.33 MB after compression) 65066 37374 infeasible 14.0000 51983629 65142 37388 14.0000 557 14.0000 52048141 65230 37404 infeasible 14.0000 52119240 65394 37430 infeasible 14.0000 52240529 65457 37438 14.0000 551 14.0000 52306989 65532 37437 14.0000 558 14.0000 52375588 65588 37447 infeasible 14.0000 52431546 65672 37447 infeasible 14.0000 52511812 65724 37461 14.0126 582 14.0000 52554856 65882 37511 infeasible 14.0000 52677936 Elapsed real time = 3338.88 sec. (tree size = 976.13 MB, solutions = 0) Nodefile size = 841.89 MB (571.06 MB after compression) 65934 37519 14.0000 630 14.0000 52730683 66029 37518 14.0000 527 14.0000 52816115 66089 37528 14.0000 497 14.0000 52876426 66169 37536 14.0000 627 14.0000 52943396 66249 37544 14.0000 551 14.0000 53036996 66373 37524 infeasible 14.0000 53159137 66420 37541 15.0000 515 14.0000 53184392 66463 37550 infeasible 14.0000 53229039 66543 37554 infeasible 14.0000 53297812 66627 37548 infeasible 14.0000 53371132 Elapsed real time = 3377.08 sec. (tree size = 976.66 MB, solutions = 0) Nodefile size = 842.86 MB (571.74 MB after compression) 66711 37554 infeasible 14.0000 53446149 66785 37547 14.0000 590 14.0000 53525379 66872 37542 14.0000 588 14.0000 53631793 66952 37550 14.0000 583 14.0000 53706592 66981 37545 14.0000 554 14.0000 53757433 67045 37541 infeasible 14.0000 53814690 67133 37557 infeasible 14.0000 53879992 67197 37560 14.0000 587 14.0000 53946908 67364 37579 infeasible 14.0000 54085990 67420 37591 14.0000 575 14.0000 54140261 Elapsed real time = 3418.56 sec. (tree size = 978.49 MB, solutions = 0) Nodefile size = 844.82 MB (573.11 MB after compression) 67512 37592 infeasible 14.0000 54226203 67591 37606 14.0000 528 14.0000 54290578 67628 37601 14.0000 555 14.0000 54343726 67716 37621 14.0000 580 14.0000 54415829 67808 37617 14.0000 555 14.0000 54501165 67909 37626 14.0000 523 14.0000 54595615 67986 37635 infeasible 14.0000 54676994 68077 37650 infeasible 14.0000 54747651 68161 37658 14.0000 528 14.0000 54810629 68253 37656 infeasible 14.0000 54890651 Elapsed real time = 3455.99 sec. (tree size = 979.90 MB, solutions = 0) Nodefile size = 845.79 MB (573.80 MB after compression) 68329 37646 infeasible 14.0000 54960615 68389 37658 infeasible 14.0000 55020176 68519 37655 14.0000 521 14.0000 55139487 68634 37684 infeasible 14.0000 55216369 68722 37680 infeasible 14.0000 55283840 68749 37677 14.0000 542 14.0000 55321407 68857 37691 infeasible 14.0000 55394122 68957 37695 14.0000 527 14.0000 55464821 69053 37671 infeasible 14.0000 55547939 69211 37672 infeasible 14.0000 55668538 Elapsed real time = 3493.21 sec. (tree size = 981.65 MB, solutions = 0) Nodefile size = 847.75 MB (575.18 MB after compression) 69284 37671 infeasible 14.0000 55729606 69372 37681 14.0000 581 14.0000 55797499 69429 37690 14.0000 490 14.0000 55866977 69513 37710 14.0000 491 14.0000 55936769 69604 37727 14.0000 564 14.0000 56013335 69685 37732 infeasible 14.0000 56081284 69833 37748 infeasible 14.0000 56195652 69922 37739 infeasible 14.0000 56267943 70035 37746 infeasible 14.0000 56356334 70135 37750 14.0000 535 14.0000 56429981 Elapsed real time = 3530.45 sec. (tree size = 982.99 MB, solutions = 0) Nodefile size = 849.72 MB (576.57 MB after compression) 70239 37780 14.0000 518 14.0000 56497538 70327 37780 infeasible 14.0000 56563763 70415 37790 infeasible 14.0000 56630427 70503 37777 14.0000 543 14.0000 56695551 70533 37767 infeasible 14.0000 56729017 70606 37776 infeasible 14.0000 56777952 70671 37789 14.0000 493 14.0000 56831814 70775 37774 infeasible 14.0000 56913031 70843 37772 infeasible 14.0000 56968791 70991 37764 infeasible 14.0000 57085729 Elapsed real time = 3568.18 sec. (tree size = 984.03 MB, solutions = 0) Nodefile size = 850.70 MB (577.25 MB after compression) 71078 37751 infeasible 14.0000 57157037 71165 37760 14.0000 480 14.0000 57225734 71266 37743 14.0000 539 14.0000 57306860 71362 37737 infeasible 14.0000 57377339 71442 37736 14.0000 587 14.0000 57442270 71503 37741 infeasible 14.0000 57503282 71663 37751 14.0017 483 14.0000 57636597 71751 37775 14.0000 527 14.0000 57698207 Root node processing (before b&c): Real time = 23.89 Parallel b&c, 4 threads: Real time = 3576.36 Sync time (average) = 0.09 Wait time (average) = 0.00 ------- Total (root+branch&cut) = 3600.26 sec. MIP - Time limit exceeded, no integer solution. Current MIP best bound = 1.4000000000e+01 (gap is infinite) Solution time = 3600.43 sec. Iterations = 57761381 Nodes = 71838 (37769) Deterministic time = 3873732.53 ticks (1075.91 ticks/sec) CPLEX> 13264.65user 2.16system 1:00:00elapsed 368%CPU (0avgtext+0avgdata 3544192maxresident)k 0inputs+7816outputs (0major+1291504minor)pagefaults 0swaps