Log started (V11.0.1) Wed Mar 17 16:13:44 2010 Problem 'opm4.lp' read. Read time = 0.01 sec. New value for time limit in seconds: 7200 New value for mixed integer optimality gap tolerance: 1e-005 Tried aggregator 1 time. MIP Presolve eliminated 54 rows and 2 columns. MIP Presolve modified 7710 coefficients. Reduced MIP has 1137 rows, 1268 columns, and 11011 nonzeros. Presolve time = 0.02 sec. Clique table members: 39. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 0.01 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Node ItCnt Gap * 0+ 0 574000.0000 164030.4307 529 71.42% 0 0 164030.7865 73 574000.0000 Cuts: 60 812 71.42% * 0+ 0 219056.9100 164030.7865 812 25.12% 0 0 164030.7865 79 219056.9100 Cuts: 17 1018 25.12% * 0+ 0 209094.6450 164030.7865 1018 21.55% * 0+ 0 209072.5600 164030.7865 1018 21.54% * 0+ 0 184081.0200 164030.7865 1018 10.89% * 0+ 0 174069.7400 164030.7865 1018 5.77% * 0+ 0 164079.1000 164030.7865 1018 0.03% 0 2 164030.7865 79 164079.1000 164030.7865 1018 0.03% 100 76 infeasible 164079.1000 164030.8091 3452 0.03% 200 154 cutoff 164079.1000 164031.0898 10118 0.03% 300 239 164062.0067 55 164079.1000 164031.4327 16030 0.03% 400 323 164049.7533 52 164079.1000 164031.5288 22007 0.03% 500 342 164032.6376 68 164079.1000 164032.5740 31710 0.03% 600 322 164050.2701 64 164079.1000 164032.8714 39620 0.03% 700 328 164035.4631 62 164079.1000 164032.8999 44113 0.03% 800 353 164034.7056 69 164079.1000 164032.9230 49004 0.03% 900 294 164038.9543 69 164079.1000 164032.9230 49622 0.03% 1000 298 164033.0568 64 164079.1000 164033.0568 55603 0.03% Elapsed time = 9.53 sec. (tree size = 0.28 MB, solutions = 7) 1100 375 164033.7538 72 164079.1000 164033.0764 60016 0.03% 1200 450 164040.8774 57 164079.1000 164033.0833 65544 0.03% 1300 509 cutoff 164079.1000 164033.0911 72876 0.03% 1400 562 cutoff 164079.1000 164033.0977 77745 0.03% 1500 617 164054.0545 40 164079.1000 164033.1374 82198 0.03% 1600 658 164034.5378 62 164079.1000 164033.1401 84986 0.03% 1700 724 164035.1701 70 164079.1000 164033.1443 88503 0.03% 1800 777 infeasible 164079.1000 164033.1484 91411 0.03% 1900 845 164033.8246 74 164079.1000 164033.1673 97057 0.03% 2000 926 164065.5667 53 164079.1000 164033.1816 102960 0.03% Elapsed time = 13.72 sec. (tree size = 0.85 MB, solutions = 7) 2100 987 164037.6570 60 164079.1000 164033.2016 108010 0.03% 2200 1058 164037.4334 74 164079.1000 164033.2533 115463 0.03% 2300 1128 164051.8090 78 164079.1000 164033.2996 125277 0.03% 2400 1194 164038.2416 66 164079.1000 164033.3453 132152 0.03% 2500 1261 164067.8472 76 164079.1000 164033.3611 137419 0.03% 2600 1335 infeasible 164079.1000 164033.3746 144251 0.03% 2700 1418 164064.2857 79 164079.1000 164033.3871 150019 0.03% 2800 1492 164040.5512 57 164079.1000 164033.3984 154896 0.03% 2900 1551 164034.6614 65 164079.1000 164033.4103 158462 0.03% 3000 1563 cutoff 164079.1000 164033.4108 160453 0.03% Elapsed time = 19.16 sec. (tree size = 1.38 MB, solutions = 7) 3100 1626 164033.4307 70 164079.1000 164033.4295 166269 0.03% 3200 1670 164037.5948 68 164079.1000 164033.4421 170444 0.03% 3300 1698 cutoff 164079.1000 164033.4558 175100 0.03% 3400 1765 164062.3888 80 164079.1000 164033.4707 182652 0.03% 3500 1802 164075.4981 52 164079.1000 164033.4950 190427 0.03% 3600 1874 164069.2038 52 164079.1000 164033.4968 194603 0.03% 3700 1946 164072.4506 55 164079.1000 164033.4981 199522 0.03% 3800 1998 164046.5563 52 164079.1000 164033.5226 210515 0.03% 3900 2055 infeasible 164079.1000 164033.5512 215280 0.03% 4000 2115 164063.3738 53 164079.1000 164033.5559 218334 0.03% Elapsed time = 24.44 sec. (tree size = 1.94 MB, solutions = 7) 4100 2170 cutoff 164079.1000 164033.5720 224275 0.03% 4200 2230 164038.2696 60 164079.1000 164033.5842 228778 0.03% 4300 2263 164033.6798 72 164079.1000 164033.5902 231604 0.03% 4400 2320 164033.6057 76 164079.1000 164033.6037 236904 0.03% 4500 2360 164038.4933 60 164079.1000 164033.6220 244141 0.03% 4600 2426 164078.5224 46 164079.1000 164033.6283 252146 0.03% 4700 2480 164033.6380 76 164079.1000 164033.6338 260213 0.03% 4800 2513 infeasible 164079.1000 164033.6466 266550 0.03% 4900 2561 164067.2427 44 164079.1000 164033.6556 270813 0.03% 5000 2612 164033.7953 73 164079.1000 164033.6822 278239 0.03% Elapsed time = 30.67 sec. (tree size = 2.38 MB, solutions = 7) 5100 2665 infeasible 164079.1000 164033.6843 281653 0.03% 5200 2742 164038.5876 61 164079.1000 164033.6902 286727 0.03% 5300 2812 164073.9320 62 164079.1000 164033.6982 293336 0.03% 5400 2888 164072.8929 62 164079.1000 164033.7171 298264 0.03% 5500 2931 cutoff 164079.1000 164033.7449 306460 0.03% 5600 2980 164034.6898 73 164079.1000 164033.7775 316325 0.03% 5700 3037 164047.3626 45 164079.1000 164033.8177 324513 0.03% 5800 3088 164056.8056 49 164079.1000 164033.8464 331474 0.03% 5900 3128 164033.8976 65 164079.1000 164033.8688 338880 0.03% 6000 3191 164065.9392 52 164079.1000 164033.8905 346437 0.03% Elapsed time = 36.84 sec. (tree size = 2.87 MB, solutions = 7) 6100 3236 164067.5593 49 164079.1000 164033.8976 353409 0.03% 6200 3276 infeasible 164079.1000 164033.9117 362324 0.03% 6300 3339 164066.5289 51 164079.1000 164033.9262 367343 0.03% 6400 3409 164034.7642 69 164079.1000 164033.9286 371180 0.03% 6500 3496 164078.6917 13 164079.1000 164033.9296 373634 0.03% 6600 3573 164078.9500 8 164079.1000 164033.9296 374569 0.03% 6700 3622 164034.2713 72 164079.1000 164033.9507 381736 0.03% 6800 3692 164043.7756 68 164079.1000 164033.9616 388680 0.03% 6900 3749 164037.9417 66 164079.1000 164033.9676 397382 0.03% 7000 3816 164044.5322 71 164079.1000 164033.9968 405349 0.03% Elapsed time = 41.75 sec. (tree size = 3.50 MB, solutions = 7) 7100 3865 infeasible 164079.1000 164034.0254 413098 0.03% 7200 3926 164059.1219 47 164079.1000 164034.0565 419765 0.03% 7300 3991 164051.9097 69 164079.1000 164034.0679 426040 0.03% 7400 4039 164048.9921 58 164079.1000 164034.0944 433925 0.03% * 7489+ 3703 164070.1500 164034.1294 441903 0.02% 7500 3716 164044.8414 57 164070.1500 164034.1294 442346 0.02% 7600 3775 cutoff 164070.1500 164034.1487 448536 0.02% 7700 3813 infeasible 164070.1500 164034.1540 451834 0.02% 7800 3876 164056.7339 55 164070.1500 164034.1555 456048 0.02% 7900 3923 164034.9205 73 164070.1500 164034.1607 460914 0.02% 8000 3976 164053.1916 64 164070.1500 164034.1657 465958 0.02% Elapsed time = 46.52 sec. (tree size = 3.51 MB, solutions = 8) 8100 4027 164034.3540 75 164070.1500 164034.1682 470914 0.02% 8200 4065 cutoff 164070.1500 164034.1705 475552 0.02% 8300 4091 164035.3188 75 164070.1500 164034.1731 478361 0.02% 8400 4111 infeasible 164070.1500 164034.1760 480549 0.02% * 8489+ 4086 164069.1500 164034.1806 483838 0.02% 8500 4091 infeasible 164069.1500 164034.1817 484717 0.02% 8600 4125 164034.1910 71 164069.1500 164034.1841 488308 0.02% 8700 4181 infeasible 164069.1500 164034.1895 492384 0.02% 8800 4208 164034.6437 71 164069.1500 164034.1958 496355 0.02% 8900 4249 164034.2122 74 164069.1500 164034.2040 501764 0.02% 9000 4283 infeasible 164069.1500 164034.2091 505466 0.02% Elapsed time = 50.03 sec. (tree size = 3.85 MB, solutions = 9) 9100 4334 164041.9663 66 164069.1500 164034.2119 508689 0.02% 9200 4371 164053.9220 60 164069.1500 164034.2213 514834 0.02% 9300 4420 infeasible 164069.1500 164034.2273 520243 0.02% 9400 4461 164034.4093 68 164069.1500 164034.2349 524024 0.02% 9500 4497 cutoff 164069.1500 164034.2373 532356 0.02% 9600 4532 164034.2500 68 164069.1500 164034.2476 536012 0.02% 9700 4572 164058.6284 56 164069.1500 164034.2598 541301 0.02% 9800 4619 164047.2003 51 164069.1500 164034.2766 547954 0.02% 9900 4679 164044.8382 61 164069.1500 164034.2868 554429 0.02% 10000 4742 164053.5884 65 164069.1500 164034.3037 562600 0.02% Elapsed time = 54.28 sec. (tree size = 4.28 MB, solutions = 9) 10100 4772 164034.3243 75 164069.1500 164034.3242 572234 0.02% 10200 4825 164041.4045 57 164069.1500 164034.3327 577561 0.02% 10300 4862 cutoff 164069.1500 164034.3619 586760 0.02% 10400 4896 164034.8947 76 164069.1500 164034.3882 594130 0.02% 10500 4944 164067.8345 58 164069.1500 164034.3937 598824 0.02% 10600 4976 cutoff 164069.1500 164034.4116 604454 0.02% 10700 5001 cutoff 164069.1500 164034.4314 610819 0.02% 10800 5043 infeasible 164069.1500 164034.4399 618894 0.02% 10900 5082 164051.4392 60 164069.1500 164034.4639 626428 0.02% 11000 5094 164054.8330 56 164069.1500 164034.4862 635101 0.02% Elapsed time = 59.78 sec. (tree size = 4.59 MB, solutions = 9) 11100 5119 164034.5057 69 164069.1500 164034.4973 641382 0.02% 11200 5159 164034.7553 69 164069.1500 164034.5077 648829 0.02% 11300 5182 164039.5894 75 164069.1500 164034.5283 657568 0.02% 11400 5210 164049.4583 68 164069.1500 164034.5420 669261 0.02% 11500 5260 164042.2629 59 164069.1500 164034.5515 678181 0.02% 11600 5309 164043.4032 65 164069.1500 164034.5618 686249 0.02% 11700 5341 164057.8914 47 164069.1500 164034.5867 696613 0.02% 11800 5369 164045.2122 69 164069.1500 164034.6147 704357 0.02% 11900 5410 cutoff 164069.1500 164034.6279 710984 0.02% 12000 5458 164038.0098 64 164069.1500 164034.6419 716406 0.02% Elapsed time = 65.88 sec. (tree size = 4.90 MB, solutions = 9) 12100 5521 164035.8394 67 164069.1500 164034.6461 721603 0.02% 12200 5573 cutoff 164069.1500 164034.6649 729282 0.02% 12300 5608 infeasible 164069.1500 164034.6807 734853 0.02% 12400 5635 164034.7091 70 164069.1500 164034.7053 741114 0.02% 12500 5645 164058.0080 60 164069.1500 164034.7246 753205 0.02% 12600 5664 164035.4425 57 164069.1500 164034.7581 764684 0.02% 12700 5700 164054.4720 66 164069.1500 164034.7679 772461 0.02% 12800 5768 164038.5834 61 164069.1500 164034.7713 777672 0.02% 12900 5843 164040.6929 67 164069.1500 164034.7743 781291 0.02% 13000 5859 164044.4466 54 164069.1500 164034.8188 792180 0.02% Elapsed time = 71.95 sec. (tree size = 5.22 MB, solutions = 9) 13100 5895 infeasible 164069.1500 164034.8380 798761 0.02% 13200 5949 164048.0236 64 164069.1500 164034.8591 807372 0.02% 13300 5987 164034.9105 74 164069.1500 164034.8904 814332 0.02% 13400 6037 cutoff 164069.1500 164034.9100 824116 0.02% 13500 6081 164061.9621 50 164069.1500 164034.9260 830123 0.02% 13600 6118 infeasible 164069.1500 164034.9511 837357 0.02% 13700 6172 164041.4860 45 164069.1500 164034.9659 844575 0.02% 13800 6231 164046.9326 57 164069.1500 164034.9740 851326 0.02% 13900 6263 164055.5556 75 164069.1500 164035.0009 862219 0.02% 14000 6289 164038.6887 64 164069.1500 164035.0371 873568 0.02% Elapsed time = 78.95 sec. (tree size = 5.58 MB, solutions = 9) 14100 6341 cutoff 164069.1500 164035.0700 879839 0.02% 14200 6378 164040.4360 67 164069.1500 164035.0937 888203 0.02% 14300 6434 164045.1880 62 164069.1500 164035.1100 896348 0.02% 14400 6464 164066.2450 54 164069.1500 164035.1296 906803 0.02% 14500 6478 infeasible 164069.1500 164035.1296 916977 0.02% 14600 6533 infeasible 164069.1500 164035.1356 924844 0.02% * 14699+ 6214 164064.8000 164035.1437 934518 0.02% 14700 6217 164061.2905 31 164064.8000 164035.1437 934519 0.02% * 14719+ 6113 164063.8000 164035.1437 934699 0.02% * 14749+ 6023 164062.8000 164035.1437 935071 0.02% 14800 6060 cutoff 164062.8000 164035.1442 936304 0.02% 14900 6103 164049.4957 71 164062.8000 164035.1617 944588 0.02% 15000 6149 164054.8882 49 164062.8000 164035.1754 953177 0.02% Elapsed time = 85.38 sec. (tree size = 5.38 MB, solutions = 12) 15100 6190 164044.8062 56 164062.8000 164035.1970 961259 0.02% 15200 6215 infeasible 164062.8000 164035.2202 967993 0.02% 15300 6253 164044.4085 65 164062.8000 164035.2395 975912 0.02% 15400 6283 164046.5851 63 164062.8000 164035.2525 984717 0.02% 15500 6320 164045.7523 73 164062.8000 164035.2753 992853 0.02% 15600 6325 164046.6150 62 164062.8000 164035.3064 1001015 0.02% 15700 6368 164039.7170 85 164062.8000 164035.3199 1009866 0.02% 15800 6398 164058.0682 56 164062.8000 164035.3357 1016893 0.02% 15900 6393 cutoff 164062.8000 164035.3583 1029175 0.02% 16000 6429 cutoff 164062.8000 164035.3743 1038132 0.02% Elapsed time = 92.14 sec. (tree size = 5.61 MB, solutions = 12) 16100 6460 164038.0069 65 164062.8000 164035.3977 1046957 0.02% 16200 6481 164049.2880 63 164062.8000 164035.4270 1054170 0.02% 16300 6506 164054.1991 59 164062.8000 164035.4626 1063515 0.02% 16400 6543 164050.7741 51 164062.8000 164035.4868 1073217 0.02% * 16489+ 6450 164061.8000 164035.4933 1080991 0.02% 16500 6456 164053.4459 48 164061.8000 164035.4956 1081605 0.02% 16600 6472 cutoff 164061.8000 164035.5360 1088509 0.02% 16700 6490 164037.1174 68 164061.8000 164035.5595 1099217 0.02% 16800 6531 164058.8919 54 164061.8000 164035.5736 1109718 0.02% 16900 6551 164046.5854 58 164061.8000 164035.6280 1119868 0.02% 17000 6577 164050.3367 57 164061.8000 164035.6682 1129170 0.02% Elapsed time = 99.69 sec. (tree size = 5.72 MB, solutions = 13) 17100 6615 164048.6370 69 164061.8000 164035.7032 1138025 0.02% 17200 6672 164036.2217 60 164061.8000 164035.7099 1148766 0.02% 17300 6732 164051.9655 56 164061.8000 164035.7232 1156693 0.02% 17400 6750 cutoff 164061.8000 164035.7574 1167060 0.02% 17500 6789 164046.9450 59 164061.8000 164035.7752 1176040 0.02% 17600 6837 cutoff 164061.8000 164035.7932 1184851 0.02% 17700 6890 164046.0109 56 164061.8000 164035.8210 1193737 0.02% 17800 6934 164048.1856 57 164061.8000 164035.8404 1201729 0.02% 17900 6960 164061.2046 55 164061.8000 164035.8781 1212792 0.02% 18000 7018 164052.7798 49 164061.8000 164035.9052 1221011 0.02% Elapsed time = 106.80 sec. (tree size = 6.05 MB, solutions = 13) 18100 7046 164043.1274 64 164061.8000 164035.9586 1228771 0.02% 18200 7111 164048.1196 52 164061.8000 164035.9772 1237220 0.02% 18300 7161 164052.0101 51 164061.8000 164036.0052 1244753 0.02% 18400 7209 164061.5759 42 164061.8000 164036.0230 1252622 0.02% 18500 7245 164051.3049 59 164061.8000 164036.0624 1263377 0.02% 18600 7272 164052.2465 60 164061.8000 164036.0862 1273437 0.02% 18700 7314 cutoff 164061.8000 164036.0916 1280805 0.02% 18800 7316 164048.7696 53 164061.8000 164036.0939 1292363 0.02% 18900 7319 164052.3301 53 164061.8000 164036.0988 1303107 0.02% 19000 7352 infeasible 164061.8000 164036.1161 1310840 0.02% Elapsed time = 113.89 sec. (tree size = 6.32 MB, solutions = 13) 19100 7402 164049.2556 52 164061.8000 164036.1367 1318150 0.02% 19200 7433 164036.6307 59 164061.8000 164036.1658 1327367 0.02% 19300 7478 cutoff 164061.8000 164036.1865 1336210 0.02% 19400 7545 164050.3433 56 164061.8000 164036.2021 1342031 0.02% 19500 7577 164051.2327 57 164061.8000 164036.2257 1350180 0.02% 19600 7610 cutoff 164061.8000 164036.2497 1358049 0.02% 19700 7660 164039.9586 66 164061.8000 164036.2870 1367019 0.02% 19800 7711 164043.0186 56 164061.8000 164036.2925 1377571 0.02% 19900 7753 164041.6498 54 164061.8000 164036.3122 1385903 0.02% 20000 7781 cutoff 164061.8000 164036.3316 1393869 0.02% Elapsed time = 120.64 sec. (tree size = 6.67 MB, solutions = 13) 20100 7813 164037.0337 68 164061.8000 164036.3522 1404038 0.02% 20200 7843 164052.4839 73 164061.8000 164036.3785 1411950 0.02% 20300 7879 164049.5339 73 164061.8000 164036.4125 1421361 0.02% 20400 7914 164036.4584 71 164061.8000 164036.4406 1430085 0.02% 20500 7964 164046.5667 79 164061.8000 164036.4570 1439327 0.02% 20600 8027 164053.9278 74 164061.8000 164036.4614 1446147 0.02% 20700 8037 cutoff 164061.8000 164036.4952 1456507 0.02% 20800 8071 cutoff 164061.8000 164036.5287 1464661 0.02% 20900 8073 infeasible 164061.8000 164036.5584 1474988 0.02% 21000 8088 cutoff 164061.8000 164036.5953 1485148 0.02% Elapsed time = 127.64 sec. (tree size = 6.91 MB, solutions = 13) 21100 8112 infeasible 164061.8000 164036.6589 1495696 0.02% 21200 8123 164049.2314 53 164061.8000 164036.7026 1507467 0.02% 21300 8150 164040.0484 69 164061.8000 164036.7464 1517416 0.02% 21400 8164 cutoff 164061.8000 164036.7820 1527924 0.02% 21500 8198 164048.8848 68 164061.8000 164036.8053 1540102 0.02% 21600 8213 164048.3134 67 164061.8000 164036.8339 1548410 0.02% 21700 8240 164037.0428 67 164061.8000 164036.8748 1556848 0.02% 21800 8297 cutoff 164061.8000 164036.8851 1565718 0.02% * 21839+ 7723 164058.6800 164036.9092 1569243 0.01% 21900 7784 164056.9467 11 164058.6800 164036.9095 1570491 0.01% * 21919+ 7571 164057.6800 164036.9095 1570667 0.01% 22000 7591 164049.9632 67 164057.6800 164036.9246 1577248 0.01% Elapsed time = 134.45 sec. (tree size = 6.60 MB, solutions = 15) 22100 7595 164039.8319 66 164057.6800 164036.9660 1588796 0.01% 22200 7645 164054.4548 66 164057.6800 164036.9906 1596848 0.01% 22300 7638 infeasible 164057.6800 164037.0206 1611684 0.01% 22400 7695 164047.9503 53 164057.6800 164037.0341 1619382 0.01% 22500 7716 cutoff 164057.6800 164037.0633 1629263 0.01% 22600 7764 164052.7508 69 164057.6800 164037.0846 1637439 0.01% 22700 7827 164042.1387 60 164057.6800 164037.0915 1643735 0.01% 22800 7843 164049.7540 66 164057.6800 164037.1325 1654514 0.01% 22900 7880 cutoff 164057.6800 164037.1668 1663543 0.01% 23000 7924 164048.2368 56 164057.6800 164037.1903 1673041 0.01% Elapsed time = 142.42 sec. (tree size = 6.88 MB, solutions = 15) 23100 7963 164051.3176 55 164057.6800 164037.2097 1680599 0.01% 23200 7981 164049.3352 61 164057.6800 164037.2435 1690680 0.01% 23300 8015 164050.2400 61 164057.6800 164037.2763 1699285 0.01% 23400 8030 164057.6447 57 164057.6800 164037.3044 1709683 0.01% 23500 8063 164044.4093 70 164057.6800 164037.3253 1719420 0.01% 23600 8100 infeasible 164057.6800 164037.3661 1727792 0.01% 23700 8133 164040.8057 66 164057.6800 164037.3888 1738421 0.01% 23800 8147 cutoff 164057.6800 164037.4186 1749287 0.01% 23900 8167 164050.8159 52 164057.6800 164037.4382 1759038 0.01% 24000 8176 cutoff 164057.6800 164037.4667 1767363 0.01% Elapsed time = 150.05 sec. (tree size = 7.08 MB, solutions = 15) 24100 8215 164037.8161 62 164057.6800 164037.5079 1776539 0.01% 24200 8244 164049.1175 51 164057.6800 164037.5329 1788554 0.01% 24300 8292 164043.7554 59 164057.6800 164037.5591 1796850 0.01% 24400 8331 164052.6340 54 164057.6800 164037.5936 1806057 0.01% * 24489+ 8054 164056.6800 164037.6190 1814001 0.01% 24500 8057 164056.5314 60 164056.6800 164037.6196 1814829 0.01% 24600 8075 infeasible 164056.6800 164037.6571 1824710 0.01% 24700 8075 164043.1997 65 164056.6800 164037.6960 1835380 0.01% 24800 8089 164055.1183 60 164056.6800 164037.7341 1844101 0.01% 24900 8065 164047.3367 53 164056.6800 164037.8058 1855436 0.01% 25000 8092 cutoff 164056.6800 164037.8375 1864613 0.01% Elapsed time = 157.11 sec. (tree size = 6.97 MB, solutions = 16) 25100 8108 cutoff 164056.6800 164037.8749 1877534 0.01% 25200 8124 cutoff 164056.6800 164037.9175 1888665 0.01% 25300 8167 164049.5856 47 164056.6800 164037.9430 1898580 0.01% 25400 8208 164047.7737 74 164056.6800 164037.9705 1906566 0.01% 25500 8200 cutoff 164056.6800 164038.0122 1921072 0.01% 25600 8207 164039.5000 58 164056.6800 164038.0625 1932110 0.01% 25700 8241 164056.4596 43 164056.6800 164038.0836 1941588 0.01% 25800 8273 164056.2753 56 164056.6800 164038.1079 1952538 0.01% 25900 8278 cutoff 164056.6800 164038.1409 1963136 0.01% 26000 8305 cutoff 164056.6800 164038.1751 1971744 0.01% Elapsed time = 164.72 sec. (tree size = 7.16 MB, solutions = 16) 26100 8344 164038.9981 59 164056.6800 164038.1951 1979645 0.01% 26200 8397 164052.5120 68 164056.6800 164038.2075 1986416 0.01% 26300 8429 164038.7944 50 164056.6800 164038.2257 1993894 0.01% 26400 8426 164038.4746 59 164056.6800 164038.2740 2005067 0.01% 26500 8499 164042.0700 65 164056.6800 164038.2759 2010357 0.01% 26600 8526 cutoff 164056.6800 164038.3133 2019224 0.01% 26700 8556 cutoff 164056.6800 164038.3371 2027738 0.01% 26800 8577 cutoff 164056.6800 164038.3699 2037998 0.01% 26900 8591 164038.4972 58 164056.6800 164038.4262 2046451 0.01% 27000 8611 164043.0846 67 164056.6800 164038.4786 2056985 0.01% Elapsed time = 171.52 sec. (tree size = 7.41 MB, solutions = 16) 27100 8633 164048.4538 60 164056.6800 164038.5142 2067548 0.01% 27200 8686 164045.8088 60 164056.6800 164038.5336 2074670 0.01% 27300 8737 164053.8304 41 164056.6800 164038.5449 2082233 0.01% 27400 8748 cutoff 164056.6800 164038.5966 2090692 0.01% 27500 8781 164038.9626 66 164056.6800 164038.6336 2098650 0.01% 27600 8822 cutoff 164056.6800 164038.6534 2105772 0.01% 27700 8858 164051.7529 56 164056.6800 164038.6866 2114246 0.01% 27800 8905 164052.1880 54 164056.6800 164038.7064 2120210 0.01% 27900 8925 164054.1216 57 164056.6800 164038.7432 2131809 0.01% 28000 8919 164056.3323 56 164056.6800 164038.7708 2144346 0.01% Elapsed time = 178.52 sec. (tree size = 7.68 MB, solutions = 16) 28100 8928 164053.7645 49 164056.6800 164038.8048 2153526 0.01% 28200 8958 164038.8366 84 164056.6800 164038.8366 2161538 0.01% 28300 8992 164049.2102 48 164056.6800 164038.8687 2171098 0.01% 28400 9030 cutoff 164056.6800 164038.9005 2178589 0.01% 28500 9068 164041.5634 61 164056.6800 164038.9358 2185900 0.01% 28600 9098 cutoff 164056.6800 164038.9576 2195133 0.01% 28700 9120 164042.9911 59 164056.6800 164038.9975 2204803 0.01% 28800 9131 164056.2419 46 164056.6800 164039.0308 2215195 0.01% 28900 9138 cutoff 164056.6800 164039.0564 2224586 0.01% 29000 9153 164046.4122 57 164056.6800 164039.0842 2235142 0.01% Elapsed time = 185.22 sec. (tree size = 7.88 MB, solutions = 16) 29100 9182 164048.1034 56 164056.6800 164039.1288 2243687 0.01% 29200 9195 164046.0004 48 164056.6800 164039.1676 2251152 0.01% 29300 9210 164047.5485 52 164056.6800 164039.2014 2258813 0.01% 29400 9214 164040.0860 52 164056.6800 164039.2385 2265952 0.01% 29500 9259 164039.6665 71 164056.6800 164039.2579 2273469 0.01% 29600 9285 164044.4827 57 164056.6800 164039.2873 2281506 0.01% 29700 9300 164047.5674 48 164056.6800 164039.3363 2290475 0.01% 29800 9330 164047.7882 59 164056.6800 164039.3684 2299536 0.01% 29900 9351 164043.8626 54 164056.6800 164039.3934 2307257 0.01% 30000 9383 cutoff 164056.6800 164039.4243 2313965 0.01% Elapsed time = 190.75 sec. (tree size = 8.10 MB, solutions = 16) 30100 9390 164052.0452 67 164056.6800 164039.4576 2324363 0.01% 30200 9410 164054.9137 52 164056.6800 164039.4827 2333839 0.01% 30300 9458 164055.7915 49 164056.6800 164039.5126 2340500 0.01% 30400 9463 164047.9480 59 164056.6800 164039.5551 2349856 0.01% 30500 9485 164054.3055 48 164056.6800 164039.5869 2360908 0.01% 30600 9486 164045.2080 64 164056.6800 164039.6216 2371150 0.01% 30700 9515 164039.9694 73 164056.6800 164039.6425 2380560 0.01% 30800 9540 infeasible 164056.6800 164039.6695 2387769 0.01% 30900 9552 cutoff 164056.6800 164039.7209 2398275 0.01% 31000 9556 164041.2372 58 164056.6800 164039.7641 2406765 0.01% Elapsed time = 197.56 sec. (tree size = 8.27 MB, solutions = 16) 31100 9599 164040.3210 53 164056.6800 164039.7836 2412890 0.01% 31200 9663 cutoff 164056.6800 164039.7910 2419860 0.01% 31300 9717 cutoff 164056.6800 164039.8039 2426206 0.01% 31400 9734 164043.9580 51 164056.6800 164039.8326 2436192 0.01% 31500 9771 164050.7010 58 164056.6800 164039.8584 2445003 0.01% 31600 9796 cutoff 164056.6800 164039.8930 2452819 0.01% 31700 9820 cutoff 164056.6800 164039.9246 2460956 0.01% 31800 9838 cutoff 164056.6800 164039.9646 2470456 0.01% 31900 9867 164039.9955 67 164056.6800 164039.9955 2477570 0.01% 32000 9889 164055.2865 59 164056.6800 164040.0144 2486059 0.01% Elapsed time = 203.89 sec. (tree size = 8.56 MB, solutions = 16) 32100 9888 cutoff 164056.6800 164040.0502 2495397 0.01% 32200 9880 cutoff 164056.6800 164040.1009 2503940 0.01% 32300 9900 164052.2296 53 164056.6800 164040.1318 2512996 0.01% 32400 9919 164042.1536 58 164056.6800 164040.1602 2521486 0.01% 32500 9957 cutoff 164056.6800 164040.1859 2528869 0.01% 32600 9976 cutoff 164056.6800 164040.2217 2537380 0.01% 32700 10012 164051.2213 53 164056.6800 164040.2362 2545708 0.01% 32800 10039 cutoff 164056.6800 164040.2608 2554536 0.01% 32900 10072 164043.2370 68 164056.6800 164040.2821 2561014 0.01% 33000 10095 164041.9920 74 164056.6800 164040.3122 2569863 0.01% Elapsed time = 210.44 sec. (tree size = 8.73 MB, solutions = 16) 33100 10117 164040.6953 72 164056.6800 164040.3313 2580152 0.01% 33200 10147 cutoff 164056.6800 164040.3553 2588301 0.01% 33300 10153 cutoff 164056.6800 164040.3834 2599497 0.01% 33400 10190 cutoff 164056.6800 164040.4012 2607604 0.01% 33500 10220 164049.4391 65 164056.6800 164040.4330 2617130 0.01% 33600 10224 cutoff 164056.6800 164040.4620 2626959 0.01% 33700 10262 164050.5879 67 164056.6800 164040.4859 2633899 0.01% 33800 10261 cutoff 164056.6800 164040.5187 2646621 0.01% 33900 10287 164043.4092 61 164056.6800 164040.5527 2655062 0.01% 34000 10308 164054.2779 55 164056.6800 164040.5764 2660918 0.01% Elapsed time = 217.20 sec. (tree size = 8.91 MB, solutions = 16) 34100 10323 cutoff 164056.6800 164040.6116 2670648 0.01% 34200 10330 cutoff 164056.6800 164040.6427 2679768 0.01% 34300 10341 cutoff 164056.6800 164040.6680 2687972 0.01% 34400 10351 164048.7522 57 164056.6800 164040.6878 2696391 0.01% 34500 10371 cutoff 164056.6800 164040.7130 2703961 0.01% 34600 10356 cutoff 164056.6800 164040.7567 2714264 0.01% 34700 10347 164050.8820 43 164056.6800 164040.7946 2725804 0.01% 34800 10353 cutoff 164056.6800 164040.8265 2735956 0.01% 34900 10369 164050.1365 54 164056.6800 164040.8598 2744215 0.01% 35000 10384 cutoff 164056.6800 164040.8974 2752984 0.01% Elapsed time = 223.45 sec. (tree size = 8.99 MB, solutions = 16) 35100 10387 164054.1160 57 164056.6800 164040.9250 2764825 0.01% 35200 10399 164046.0249 59 164056.6800 164040.9505 2772885 0.01% 35300 10428 cutoff 164056.6800 164040.9835 2782453 0.01% 35400 10430 164050.4100 63 164056.6800 164041.0283 2791229 0.01% 35500 10455 164055.9282 52 164056.6800 164041.0544 2799114 0.01% 35600 10469 cutoff 164056.6800 164041.0816 2807588 0.01% 35700 10495 164051.3809 63 164056.6800 164041.1061 2815647 0.01% 35800 10530 cutoff 164056.6800 164041.1185 2822425 0.01% 35900 10559 164042.0470 58 164056.6800 164041.1501 2829552 0.01% 36000 10570 164049.0903 64 164056.6800 164041.1803 2839313 0.01% Elapsed time = 230.09 sec. (tree size = 9.17 MB, solutions = 16) 36100 10560 cutoff 164056.6800 164041.2293 2847652 0.01% 36200 10566 cutoff 164056.6800 164041.2605 2857455 0.01% 36300 10578 164047.9182 65 164056.6800 164041.3032 2866324 0.01% 36400 10575 cutoff 164056.6800 164041.3632 2875784 0.01% 36500 10587 164041.6447 70 164056.6800 164041.3868 2884359 0.01% 36600 10606 cutoff 164056.6800 164041.4333 2893540 0.01% 36700 10609 cutoff 164056.6800 164041.4688 2903635 0.01% 36800 10631 164045.5010 61 164056.6800 164041.5027 2910449 0.01% 36900 10647 164056.3144 22 164056.6800 164041.5344 2917832 0.01% 37000 10734 164042.3878 46 164056.6800 164041.5344 2918829 0.01% Elapsed time = 236.31 sec. (tree size = 9.40 MB, solutions = 16) 37100 10728 164042.6207 80 164056.6800 164041.5846 2927106 0.01% 37200 10738 164049.0021 50 164056.6800 164041.5995 2934735 0.01% 37300 10719 cutoff 164056.6800 164041.6446 2943584 0.01% 37400 10716 164045.9236 59 164056.6800 164041.6897 2951406 0.01% 37500 10707 infeasible 164056.6800 164041.7154 2959105 0.01% 37600 10698 164055.2388 56 164056.6800 164041.7769 2968592 0.01% 37700 10707 cutoff 164056.6800 164041.8120 2977003 0.01% 37800 10690 cutoff 164056.6800 164041.8651 2987008 0.01% 37900 10707 164056.6385 54 164056.6800 164041.8893 2995626 0.01% 38000 10690 cutoff 164056.6800 164041.9502 3001487 0.01% Elapsed time = 242.78 sec. (tree size = 9.39 MB, solutions = 16) 38100 10715 cutoff 164056.6800 164041.9802 3009020 0.01% 38200 10705 cutoff 164056.6800 164042.0254 3018370 0.01% 38300 10713 cutoff 164056.6800 164042.0572 3026493 0.01% 38400 10688 cutoff 164056.6800 164042.1168 3036338 0.01% 38500 10678 164046.9602 52 164056.6800 164042.1679 3044170 0.01% 38600 10701 infeasible 164056.6800 164042.2001 3050541 0.01% 38700 10707 164055.7594 43 164056.6800 164042.2476 3058829 0.01% 38800 10738 164043.4036 60 164056.6800 164042.2689 3067152 0.01% 38900 10733 164046.3737 55 164056.6800 164042.3051 3077478 0.01% 39000 10728 cutoff 164056.6800 164042.3428 3087463 0.01% Elapsed time = 248.86 sec. (tree size = 9.45 MB, solutions = 16) 39100 10713 cutoff 164056.6800 164042.3989 3096417 0.01% 39200 10713 cutoff 164056.6800 164042.4402 3105019 0.01% 39300 10714 cutoff 164056.6800 164042.4797 3113282 0.01% 39400 10704 164054.5272 43 164056.6800 164042.5247 3121859 0.01% 39500 10710 cutoff 164056.6800 164042.5571 3129150 0.01% 39600 10715 164052.1990 61 164056.6800 164042.5968 3137661 0.01% 39700 10731 164055.2605 63 164056.6800 164042.6245 3146369 0.01% 39800 10739 164052.5180 58 164056.6800 164042.6626 3154045 0.01% 39900 10728 cutoff 164056.6800 164042.6959 3163464 0.01% 40000 10739 164053.5019 47 164056.6800 164042.7160 3172007 0.01% Elapsed time = 255.19 sec. (tree size = 9.48 MB, solutions = 16) 40100 10729 cutoff 164056.6800 164042.7613 3179271 0.01% 40200 10713 cutoff 164056.6800 164042.8188 3188128 0.01% 40300 10722 cutoff 164056.6800 164042.8350 3195398 0.01% 40400 10725 164054.0271 59 164056.6800 164042.8555 3203972 0.01% 40500 10718 164055.7601 58 164056.6800 164042.8922 3213708 0.01% 40600 10710 164047.8976 58 164056.6800 164042.9381 3223189 0.01% 40700 10716 164054.3140 87 164056.6800 164042.9732 3229933 0.01% 40800 10721 cutoff 164056.6800 164043.0123 3240028 0.01% 40900 10726 164043.7849 56 164056.6800 164043.0330 3248604 0.01% 41000 10734 cutoff 164056.6800 164043.0760 3256059 0.01% Elapsed time = 260.97 sec. (tree size = 9.52 MB, solutions = 16) 41100 10739 cutoff 164056.6800 164043.1075 3263342 0.01% 41200 10737 164049.9699 62 164056.6800 164043.1601 3272139 0.01% 41300 10705 164052.4977 50 164056.6800 164043.2134 3280108 0.01% 41400 10720 cutoff 164056.6800 164043.2339 3287730 0.01% 41500 10704 cutoff 164056.6800 164043.2745 3297218 0.01% 41600 10733 164044.5461 62 164056.6800 164043.2988 3305198 0.01% 41700 10713 164050.0051 61 164056.6800 164043.3582 3314451 0.01% 41800 10717 164048.8867 62 164056.6800 164043.3992 3321761 0.01% 41900 10720 cutoff 164056.6800 164043.4249 3329604 0.01% 42000 10696 cutoff 164056.6800 164043.4924 3338802 0.01% Elapsed time = 267.33 sec. (tree size = 9.51 MB, solutions = 16) 42100 10697 164055.8395 51 164056.6800 164043.5188 3347332 0.01% 42200 10701 164045.9202 62 164056.6800 164043.5617 3355888 0.01% 42300 10709 cutoff 164056.6800 164043.5910 3365286 0.01% 42400 10717 164054.7164 50 164056.6800 164043.6147 3372684 0.01% 42500 10701 cutoff 164056.6800 164043.6576 3381021 0.01% 42600 10675 164044.4440 64 164056.6800 164043.7133 3389803 0.01% 42700 10674 164054.5387 53 164056.6800 164043.7415 3398097 0.01% 42800 10658 cutoff 164056.6800 164043.7743 3407892 0.01% 42900 10680 164052.3314 66 164056.6800 164043.8012 3416791 0.01% 43000 10669 cutoff 164056.6800 164043.8432 3424839 0.01% Elapsed time = 273.83 sec. (tree size = 9.52 MB, solutions = 16) 43100 10691 cutoff 164056.6800 164043.8829 3432449 0.01% 43200 10697 164049.7319 60 164056.6800 164043.9152 3440160 0.01% 43300 10675 164043.9582 55 164056.6800 164043.9580 3450023 0.01% 43400 10677 cutoff 164056.6800 164044.0066 3459399 0.01% 43500 10657 164050.0442 53 164056.6800 164044.0534 3468670 0.01% 43600 10641 164047.2020 64 164056.6800 164044.0874 3477700 0.01% 43700 10622 164048.4296 61 164056.6800 164044.1322 3487379 0.01% 43800 10606 cutoff 164056.6800 164044.1822 3494148 0.01% 43900 10609 164048.8889 58 164056.6800 164044.2159 3501046 0.01% 44000 10597 cutoff 164056.6800 164044.2529 3509585 0.01% Elapsed time = 280.70 sec. (tree size = 9.50 MB, solutions = 16) 44100 10581 cutoff 164056.6800 164044.2977 3517690 0.01% 44200 10568 cutoff 164056.6800 164044.3472 3525483 0.01% 44300 10575 cutoff 164056.6800 164044.3755 3532800 0.01% 44400 10547 cutoff 164056.6800 164044.4156 3540564 0.01% 44500 10544 cutoff 164056.6800 164044.4426 3547689 0.01% 44600 10520 164044.5166 54 164056.6800 164044.4873 3556598 0.01% 44700 10510 164049.4292 68 164056.6800 164044.5312 3564189 0.01% 44800 10508 cutoff 164056.6800 164044.5564 3571363 0.01% 44900 10491 cutoff 164056.6800 164044.6062 3578514 0.01% 45000 10482 cutoff 164056.6800 164044.6422 3585531 0.01% Elapsed time = 286.05 sec. (tree size = 9.44 MB, solutions = 16) 45100 10470 cutoff 164056.6800 164044.6797 3594043 0.01% 45200 10462 164045.8701 76 164056.6800 164044.7217 3600628 0.01% 45300 10434 cutoff 164056.6800 164044.7740 3609743 0.01% 45400 10439 cutoff 164056.6800 164044.7996 3616631 0.01% 45500 10415 cutoff 164056.6800 164044.8414 3624997 0.01% 45600 10378 164044.9634 53 164056.6800 164044.9004 3633669 0.01% 45700 10351 164048.3403 58 164056.6800 164044.9407 3640428 0.01% 45800 10342 cutoff 164056.6800 164044.9712 3647612 0.01% 45900 10352 cutoff 164056.6800 164044.9918 3654307 0.01% 46000 10342 164046.6676 52 164056.6800 164045.0243 3662153 0.01% Elapsed time = 291.44 sec. (tree size = 9.35 MB, solutions = 16) 46100 10321 cutoff 164056.6800 164045.0614 3668886 0.01% 46200 10320 cutoff 164056.6800 164045.0892 3677522 0.01% 46300 10276 cutoff 164056.6800 164045.1507 3683704 0.01% 46400 10268 cutoff 164056.6800 164045.1932 3689707 0.01% 46500 10253 164052.6354 72 164056.6800 164045.2308 3697275 0.01% 46600 10233 cutoff 164056.6800 164045.2606 3704571 0.01% 46700 10205 164055.5188 57 164056.6800 164045.3089 3713004 0.01% 46800 10179 164052.2602 65 164056.6800 164045.3466 3721111 0.01% 46900 10161 cutoff 164056.6800 164045.3747 3729058 0.01% 47000 10151 cutoff 164056.6800 164045.4151 3735766 0.01% Elapsed time = 296.56 sec. (tree size = 9.22 MB, solutions = 16) 47100 10147 cutoff 164056.6800 164045.4484 3742565 0.01% 47200 10145 164054.7032 62 164056.6800 164045.4742 3751200 0.01% 47300 10126 164055.5794 50 164056.6800 164045.5117 3757533 0.01% 47400 10106 164055.7593 58 164056.6800 164045.5597 3764720 0.01% 47500 10089 164056.5013 55 164056.6800 164045.5975 3773384 0.01% 47600 10090 164054.0912 57 164056.6800 164045.6285 3780823 0.01% 47700 10086 164050.3835 56 164056.6800 164045.6587 3787549 0.01% 47800 10048 infeasible 164056.6800 164045.7124 3795602 0.01% 47900 10023 cutoff 164056.6800 164045.7562 3804310 0.01% 48000 9996 cutoff 164056.6800 164045.7985 3814472 0.01% Elapsed time = 302.17 sec. (tree size = 9.13 MB, solutions = 16) 48100 9968 cutoff 164056.6800 164045.8472 3820165 0.01% 48200 9963 cutoff 164056.6800 164045.8773 3828558 0.01% 48300 9949 cutoff 164056.6800 164045.9202 3834852 0.01% 48400 9943 cutoff 164056.6800 164045.9535 3840305 0.01% 48500 9919 cutoff 164056.6800 164045.9955 3849043 0.01% 48600 9910 cutoff 164056.6800 164046.0315 3855414 0.01% 48700 9899 164051.8161 51 164056.6800 164046.0700 3863782 0.01% 48800 9883 cutoff 164056.6800 164046.1064 3871418 0.01% 48900 9831 cutoff 164056.6800 164046.1616 3879499 0.01% 49000 9810 164051.5134 52 164056.6800 164046.2072 3887206 0.01% Elapsed time = 307.69 sec. (tree size = 9.00 MB, solutions = 16) 49100 9771 164054.0053 54 164056.6800 164046.2612 3894735 0.01% 49200 9735 cutoff 164056.6800 164046.3147 3901105 0.01% 49300 9722 cutoff 164056.6800 164046.3548 3906918 0.01% 49400 9681 cutoff 164056.6800 164046.4037 3913777 0.01% 49500 9637 164056.1456 56 164056.6800 164046.4673 3920010 0.01% 49600 9614 164052.1037 52 164056.6800 164046.5137 3927686 0.01% 49700 9571 164051.2610 64 164056.6800 164046.5617 3935325 0.01% 49800 9527 164055.8447 38 164056.6800 164046.6075 3942491 0.01% 49900 9487 cutoff 164056.6800 164046.6478 3949924 0.01% 50000 9457 cutoff 164056.6800 164046.6880 3957284 0.01% Elapsed time = 313.20 sec. (tree size = 8.73 MB, solutions = 16) 50100 9439 cutoff 164056.6800 164046.7265 3963853 0.01% 50200 9442 cutoff 164056.6800 164046.7588 3970153 0.01% 50300 9406 164051.4091 59 164056.6800 164046.7976 3976348 0.01% 50400 9374 cutoff 164056.6800 164046.8398 3983154 0.01% 50500 9338 164051.2046 50 164056.6800 164046.8866 3988984 0.01% 50600 9316 164049.8554 57 164056.6800 164046.9244 3994527 0.01% 50700 9290 cutoff 164056.6800 164046.9590 3999614 0.01% 50800 9232 cutoff 164056.6800 164047.0207 4007376 0.01% 50900 9192 cutoff 164056.6800 164047.0655 4013726 0.01% 51000 9167 164054.1650 72 164056.6800 164047.1114 4021153 0.01% Elapsed time = 318.17 sec. (tree size = 8.50 MB, solutions = 16) 51100 9155 cutoff 164056.6800 164047.1369 4028098 0.01% 51200 9138 164050.1107 63 164056.6800 164047.1739 4035684 0.01% 51300 9083 cutoff 164056.6800 164047.2193 4042178 0.01% 51400 9029 cutoff 164056.6800 164047.2745 4048969 0.01% 51500 8961 cutoff 164056.6800 164047.3368 4055454 0.01% 51600 8931 164052.4673 48 164056.6800 164047.3820 4061661 0.01% 51700 8870 cutoff 164056.6800 164047.4451 4068386 0.01% 51800 8831 164055.5734 62 164056.6800 164047.4918 4075409 0.01% 51900 8791 cutoff 164056.6800 164047.5338 4081494 0.01% 52000 8742 cutoff 164056.6800 164047.5786 4088529 0.01% Elapsed time = 323.14 sec. (tree size = 8.17 MB, solutions = 16) 52100 8699 cutoff 164056.6800 164047.6282 4096077 0.01% 52200 8642 infeasible 164056.6800 164047.6945 4103798 0.01% 52300 8581 cutoff 164056.6800 164047.7456 4111205 0.01% 52400 8537 cutoff 164056.6800 164047.7822 4118932 0.01% 52500 8501 cutoff 164056.6800 164047.8253 4127852 0.01% 52600 8465 164054.0140 55 164056.6800 164047.8733 4134608 0.01% 52700 8437 164049.5372 63 164056.6800 164047.9182 4141429 0.01% 52800 8429 164055.3594 56 164056.6800 164047.9464 4147960 0.01% 52900 8386 cutoff 164056.6800 164047.9828 4153413 0.01% 53000 8362 164052.3320 57 164056.6800 164048.0211 4160025 0.01% Elapsed time = 328.14 sec. (tree size = 7.87 MB, solutions = 16) 53100 8312 cutoff 164056.6800 164048.0673 4166436 0.01% 53200 8281 164054.5696 58 164056.6800 164048.1216 4172965 0.01% 53300 8243 cutoff 164056.6800 164048.1643 4178629 0.01% 53400 8187 cutoff 164056.6800 164048.2215 4185833 0.01% 53500 8153 164051.2847 64 164056.6800 164048.2599 4192329 0.01% 53600 8095 164053.8668 51 164056.6800 164048.3134 4199254 0.01% 53700 8034 cutoff 164056.6800 164048.3537 4204921 0.01% 53800 7972 cutoff 164056.6800 164048.4147 4211765 0.01% 53900 7940 cutoff 164056.6800 164048.4632 4218211 0.01% 54000 7876 cutoff 164056.6800 164048.5237 4223511 0.00% Elapsed time = 332.59 sec. (tree size = 7.47 MB, solutions = 16) 54100 7827 cutoff 164056.6800 164048.5710 4229103 0.00% 54200 7792 cutoff 164056.6800 164048.5999 4235836 0.00% 54300 7740 164049.3495 64 164056.6800 164048.6603 4242952 0.00% 54400 7713 164050.1423 56 164056.6800 164048.7167 4248727 0.00% 54500 7663 cutoff 164056.6800 164048.7806 4255445 0.00% 54600 7627 cutoff 164056.6800 164048.8303 4261543 0.00% 54700 7556 164048.9080 51 164056.6800 164048.8879 4266378 0.00% 54800 7504 cutoff 164056.6800 164048.9374 4271403 0.00% 54900 7464 164054.8208 55 164056.6800 164048.9754 4277210 0.00% 55000 7436 164052.4598 71 164056.6800 164049.0108 4283056 0.00% Elapsed time = 336.86 sec. (tree size = 7.11 MB, solutions = 16) 55100 7421 164050.6335 49 164056.6800 164049.0563 4289165 0.00% 55200 7387 164052.1077 59 164056.6800 164049.1003 4295116 0.00% 55300 7337 164053.4833 71 164056.6800 164049.1544 4300742 0.00% 55400 7304 164049.3285 82 164056.6800 164049.1997 4305350 0.00% 55500 7264 cutoff 164056.6800 164049.2534 4311371 0.00% 55600 7224 cutoff 164056.6800 164049.3039 4317852 0.00% 55700 7196 cutoff 164056.6800 164049.3407 4323562 0.00% 55800 7152 cutoff 164056.6800 164049.3784 4329866 0.00% 55900 7108 cutoff 164056.6800 164049.4265 4336590 0.00% 56000 7064 cutoff 164056.6800 164049.4700 4343583 0.00% Elapsed time = 341.22 sec. (tree size = 6.82 MB, solutions = 16) 56100 7001 infeasible 164056.6800 164049.5271 4347415 0.00% 56200 6946 cutoff 164056.6800 164049.5768 4352144 0.00% 56300 6899 cutoff 164056.6800 164049.6144 4358189 0.00% 56400 6847 164053.4240 58 164056.6800 164049.6741 4364308 0.00% 56500 6797 164055.8504 58 164056.6800 164049.7180 4369222 0.00% 56600 6745 cutoff 164056.6800 164049.7647 4376235 0.00% 56700 6699 infeasible 164056.6800 164049.8053 4382232 0.00% 56800 6641 164056.2980 55 164056.6800 164049.8556 4387050 0.00% 56900 6581 cutoff 164056.6800 164049.9151 4392213 0.00% 57000 6549 cutoff 164056.6800 164049.9527 4398058 0.00% Elapsed time = 345.78 sec. (tree size = 6.38 MB, solutions = 16) 57100 6502 164053.9021 45 164056.6800 164050.0021 4404020 0.00% 57200 6429 cutoff 164056.6800 164050.0763 4409813 0.00% 57300 6373 cutoff 164056.6800 164050.1385 4415195 0.00% 57400 6305 cutoff 164056.6800 164050.1951 4420704 0.00% 57500 6247 cutoff 164056.6800 164050.2547 4425749 0.00% 57600 6208 cutoff 164056.6800 164050.2861 4429184 0.00% 57700 6148 cutoff 164056.6800 164050.3358 4433038 0.00% 57800 6097 cutoff 164056.6800 164050.3953 4438544 0.00% 57900 6047 cutoff 164056.6800 164050.4413 4443598 0.00% 58000 6003 164051.1226 64 164056.6800 164050.4981 4447701 0.00% Elapsed time = 349.72 sec. (tree size = 5.91 MB, solutions = 16) 58100 5960 infeasible 164056.6800 164050.5490 4453169 0.00% 58200 5911 164054.2939 55 164056.6800 164050.6020 4458858 0.00% 58300 5854 164051.1267 57 164056.6800 164050.6550 4463007 0.00% 58400 5806 164054.8891 68 164056.6800 164050.7039 4467960 0.00% 58500 5755 cutoff 164056.6800 164050.7474 4473469 0.00% 58600 5711 infeasible 164056.6800 164050.7965 4477208 0.00% 58700 5652 cutoff 164056.6800 164050.8565 4481415 0.00% 58800 5638 cutoff 164056.6800 164050.8867 4486083 0.00% 58900 5582 164055.2468 58 164056.6800 164050.9510 4490764 0.00% 59000 5536 cutoff 164056.6800 164050.9911 4496297 0.00% Elapsed time = 353.77 sec. (tree size = 5.50 MB, solutions = 16) 59100 5477 cutoff 164056.6800 164051.0393 4500867 0.00% 59200 5429 cutoff 164056.6800 164051.0870 4505466 0.00% 59300 5374 cutoff 164056.6800 164051.1348 4509343 0.00% 59400 5319 cutoff 164056.6800 164051.1769 4516151 0.00% 59500 5252 infeasible 164056.6800 164051.2332 4520979 0.00% 59600 5173 cutoff 164056.6800 164051.2879 4525610 0.00% 59700 5126 cutoff 164056.6800 164051.3392 4529273 0.00% 59800 5063 cutoff 164056.6800 164051.3904 4532540 0.00% 59900 5005 cutoff 164056.6800 164051.4445 4536983 0.00% 60000 4957 cutoff 164056.6800 164051.4929 4540843 0.00% Elapsed time = 357.47 sec. (tree size = 5.00 MB, solutions = 16) 60100 4874 cutoff 164056.6800 164051.5594 4544439 0.00% 60200 4810 cutoff 164056.6800 164051.6035 4548643 0.00% 60300 4749 cutoff 164056.6800 164051.6590 4552394 0.00% 60400 4685 cutoff 164056.6800 164051.7227 4556980 0.00% 60500 4627 164053.4228 53 164056.6800 164051.7898 4561001 0.00% 60600 4577 cutoff 164056.6800 164051.8319 4565149 0.00% 60700 4509 164056.4154 62 164056.6800 164051.8907 4569060 0.00% 60800 4474 cutoff 164056.6800 164051.9342 4573835 0.00% 60900 4419 cutoff 164056.6800 164051.9827 4578344 0.00% 61000 4341 cutoff 164056.6800 164052.0445 4582796 0.00% Elapsed time = 360.95 sec. (tree size = 4.46 MB, solutions = 16) 61100 4270 164052.3770 59 164056.6800 164052.0967 4586984 0.00% 61200 4229 164054.6670 70 164056.6800 164052.1309 4591528 0.00% 61300 4166 cutoff 164056.6800 164052.1820 4597146 0.00% 61400 4098 cutoff 164056.6800 164052.2375 4600563 0.00% 61500 4027 cutoff 164056.6800 164052.2879 4604136 0.00% 61600 3968 cutoff 164056.6800 164052.3450 4607816 0.00% 61700 3896 cutoff 164056.6800 164052.4161 4611233 0.00% 61800 3812 cutoff 164056.6800 164052.4765 4614370 0.00% 61900 3739 cutoff 164056.6800 164052.5530 4619021 0.00% 62000 3677 164054.7952 60 164056.6800 164052.6134 4622271 0.00% Elapsed time = 364.16 sec. (tree size = 3.86 MB, solutions = 16) 62100 3596 cutoff 164056.6800 164052.6816 4624850 0.00% 62200 3555 cutoff 164056.6800 164052.7213 4628532 0.00% 62300 3462 164053.3278 55 164056.6800 164052.8074 4632167 0.00% 62400 3390 cutoff 164056.6800 164052.8718 4634848 0.00% 62500 3322 cutoff 164056.6800 164052.9277 4638089 0.00% 62600 3267 cutoff 164056.6800 164052.9766 4640969 0.00% 62700 3189 164056.5273 64 164056.6800 164053.0539 4643543 0.00% 62800 3103 cutoff 164056.6800 164053.1299 4646528 0.00% 62900 3036 cutoff 164056.6800 164053.2068 4650973 0.00% 63000 2972 cutoff 164056.6800 164053.2631 4655087 0.00% Elapsed time = 366.83 sec. (tree size = 3.21 MB, solutions = 16) 63100 2916 164053.3499 46 164056.6800 164053.3288 4659153 0.00% 63200 2841 cutoff 164056.6800 164053.3933 4661685 0.00% 63300 2772 164053.6362 46 164056.6800 164053.4609 4664742 0.00% 63400 2702 cutoff 164056.6800 164053.5213 4668453 0.00% 63500 2614 164055.2121 54 164056.6800 164053.6063 4671039 0.00% 63600 2548 cutoff 164056.6800 164053.6640 4673720 0.00% 63700 2466 infeasible 164056.6800 164053.7357 4676121 0.00% 63800 2402 cutoff 164056.6800 164053.8172 4678900 0.00% 63900 2334 cutoff 164056.6800 164053.8886 4681742 0.00% 64000 2262 infeasible 164056.6800 164053.9794 4684453 0.00% Elapsed time = 369.27 sec. (tree size = 2.56 MB, solutions = 16) 64100 2176 cutoff 164056.6800 164054.0483 4687082 0.00% 64200 2101 164054.9462 66 164056.6800 164054.1404 4689128 0.00% 64300 2017 cutoff 164056.6800 164054.2240 4692722 0.00% 64400 1961 cutoff 164056.6800 164054.2788 4695185 0.00% 64500 1888 164055.0916 56 164056.6800 164054.3759 4698079 0.00% 64600 1818 infeasible 164056.6800 164054.4459 4700537 0.00% 64700 1748 infeasible 164056.6800 164054.5102 4702941 0.00% 64800 1673 infeasible 164056.6800 164054.5901 4705168 0.00% 64900 1593 cutoff 164056.6800 164054.6654 4706938 0.00% 65000 1514 infeasible 164056.6800 164054.7542 4709141 0.00% Elapsed time = 371.42 sec. (tree size = 1.86 MB, solutions = 16) 65100 1422 cutoff 164056.6800 164054.8655 4711220 0.00% 65200 1328 infeasible 164056.6800 164054.9701 4713422 0.00% Implied bound cuts applied: 146 Mixed integer rounding cuts applied: 69 Gomory fractional cuts applied: 11 Solution pool: 16 solutions saved. MIP - Integer optimal, tolerance (1e-005/1e-006): Objective = 1.6405668000e+005 Current MIP best bound = 1.6405504136e+005 (gap = 1.63864, 0.00%) Solution time = 371.92 sec. Iterations = 4714581 Nodes = 65266 (1277) Solution written to file 'opm4.lp.sol' using incumbent solution.