--- Job time.gms Start 10/04/17 13:21:27 24.6.1 r55820 WEX-WEI x86 64bit/MS Windows GAMS 24.6.1 Copyright (C) 1987-2016 GAMS Development. All rights reserved Licensee: IIP, Lehrstuhl fuer Energiewirtschaft S150206:0601AO-WIN Karlsruher Institut fuer Technologie / Campus Sued DC898 License for teaching and research at degree granting institutions --- Starting compilation --- time.gms(5) 2 Mb --- GDXin=C:\Users\wi9632\bwSyncAndShare\Graduiertenkolleg\Code\GAMS\heating_project_5_minutes\heating_database.gdx --- time.gms(175) 3 Mb --- Starting execution: elapsed 0:00:00.021 --- time.gms(152) 4 Mb --- Generating MIP model heating_scheduling --- time.gms(133) 2273 Mb 3 secs --- time.gms(155) 2275 Mb 11 secs --- 336,945 rows 167,329 columns 48,616,647 non-zeroes --- 166,464 discrete-columns --- Executing CPLEX: elapsed 0:00:26.315 IBM ILOG CPLEX 24.6.1 r55820 Released Jan 18, 2016 WEI x86 64bit/MS Windows --- GAMS/Cplex licensed for continuous and discrete problems. Cplex 12.6.3.0 Reading data... Starting Cplex... Space for names approximately 9.95 Mb Use option 'names no' to turn use of names off Aggregator has done 12 substitutions... Tried aggregator 3 times. MIP Presolve eliminated 250855 rows and 124563 columns. MIP Presolve added 2 rows and 0 columns. MIP Presolve modified 165886 coefficients. Aggregator did 152 substitutions. Reduced MIP has 85940 rows, 42614 columns, and 16099504 nonzeros. Reduced MIP has 42192 binaries, 0 generals, 0 SOSs, and 0 indicators. Presolve time = 22.47 sec. (16137.03 ticks) Probing time = 0.22 sec. (162.42 ticks) Tried aggregator 1 time. MIP Presolve eliminated 1354 rows and 499 columns. Reduced MIP has 84586 rows, 42115 columns, and 16095368 nonzeros. Reduced MIP has 41904 binaries, 0 generals, 0 SOSs, and 0 indicators. Presolve time = 5.63 sec. (3872.41 ticks) Probing time = 0.17 sec. (162.06 ticks) Clique table members: 41903. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Tried aggregator 1 time. LP Presolve eliminated 1 rows and 1 columns. Reduced LP has 84585 rows, 42114 columns, and 16095079 nonzeros. Presolve time = 1.80 sec. (1571.22 ticks) Initializing dual steep norms . . . Iteration log . . . Iteration: 1 Dual objective = 4022593.000000 Iteration: 4717 Dual objective = 2981488.000000 Perturbation started. Iteration: 5252 Dual objective = 2887943.000000 Iteration: 5539 Dual objective = 42472.982027 Iteration: 5649 Dual objective = 42364.982193 Iteration: 5711 Dual objective = 41792.982011 Iteration: 5773 Dual objective = 41505.981999 Iteration: 5837 Dual objective = 41505.981990 Iteration: 6013 Dual objective = 41505.981985 Elapsed time = 15.81 sec. (10006.31 ticks, 6169 iterations) Iteration: 6286 Dual objective = 41505.981980 Removing perturbation. Initializing dual steep norms . . . Root relaxation solution time = 25.47 sec. (19650.59 ticks) Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 41506.0000 830 41506.0000 6289 0 0 41328.0000 866 Cuts: 1019 6681 0 0 41219.0000 852 Cuts: 237 6952 0 0 41219.0000 862 Cuts: 1105 7215 0 0 41219.0000 878 Cuts: 955 7436 Heuristic still looking. * 0+ 0 15931.0000 41219.0000 158.73% Found incumbent of value 15931.000000 after 219.17 sec. (153431.42 ticks) 0 1 41219.0000 808 15931.0000 41041.0000 7484 157.62% Elapsed time = 226.77 sec. (161785.93 ticks, tree = 0.01 MB, solutions = 1) 1 2 41041.0000 748 15931.0000 41041.0000 7779 157.62% 2 1 infeasible 15931.0000 41041.0000 7779 157.62% 3 2 41041.0000 748 15931.0000 41041.0000 7780 157.62% 4 1 infeasible 15931.0000 41041.0000 7780 157.62% 5 2 41041.0000 748 15931.0000 41041.0000 7781 157.62% 6 1 infeasible 15931.0000 41041.0000 7781 157.62% 7 2 41041.0000 748 15931.0000 41041.0000 7782 157.62% 8 1 infeasible 15931.0000 41041.0000 7782 157.62% 9 1 41041.0000 748 15931.0000 41041.0000 7783 157.62% 10 2 41041.0000 755 15931.0000 41041.0000 7847 157.62% Elapsed time = 237.23 sec. (172893.37 ticks, tree = 0.01 MB, solutions = 1) 12 1 40933.0000 667 15931.0000 40755.0000 7881 155.82% 13 2 40755.0000 666 15931.0000 40755.0000 7882 155.82% 14 1 infeasible 15931.0000 40755.0000 7882 155.82% 15 2 40755.0000 666 15931.0000 40755.0000 7883 155.82% 16 1 infeasible 15931.0000 40755.0000 7883 155.82% 17 2 40755.0000 666 15931.0000 40755.0000 7885 155.82% 18 1 infeasible 15931.0000 40755.0000 7899 155.82% 19 2 40755.0000 666 15931.0000 40755.0000 7901 155.82% 20 1 infeasible 15931.0000 40755.0000 7901 155.82% 21 2 40755.0000 666 15931.0000 40755.0000 7902 155.82% Elapsed time = 244.08 sec. (182425.65 ticks, tree = 0.01 MB, solutions = 1) 25 1 infeasible 15931.0000 40470.0000 7922 154.03% 26 2 40470.0000 664 15931.0000 40470.0000 7923 154.03% 27 1 infeasible 15931.0000 40470.0000 7927 154.03% 28 2 40470.0000 664 15931.0000 40470.0000 7928 154.03% 29 1 infeasible 15931.0000 40364.0000 7929 153.37% 30 1 40364.0000 663 15931.0000 40186.0000 7930 152.25% 31 2 40186.0000 662 15931.0000 40186.0000 7931 152.25% 32 1 infeasible 15931.0000 40186.0000 7938 152.25% 33 2 40186.0000 662 15931.0000 40186.0000 7940 152.25% 34 1 infeasible 15931.0000 40186.0000 7961 152.25% Elapsed time = 250.41 sec. (186491.15 ticks, tree = 0.01 MB, solutions = 1) 37 1 40186.0000 662 15931.0000 40186.0000 7968 152.25% 38 1 40081.0000 661 15931.0000 39903.0000 7970 150.47% 39 2 39903.0000 660 15931.0000 39903.0000 7971 150.47% 40 1 infeasible 15931.0000 39903.0000 7971 150.47% 41 2 39903.0000 660 15931.0000 39903.0000 7972 150.47% 42 1 infeasible 15931.0000 39903.0000 7980 150.47% 43 2 39903.0000 660 15931.0000 39903.0000 7982 150.47% 44 1 infeasible 15931.0000 39903.0000 7982 150.47% 45 2 39903.0000 660 15931.0000 39903.0000 7983 150.47% 46 1 infeasible 15931.0000 39903.0000 8000 150.47% Elapsed time = 256.24 sec. (190151.13 ticks, tree = 0.01 MB, solutions = 1) 49 1 39903.0000 660 15931.0000 39903.0000 8012 150.47% 50 2 39903.0000 660 15931.0000 39903.0000 8014 150.47% 51 1 infeasible 15931.0000 39903.0000 8022 150.47% 52 2 39903.0000 660 15931.0000 39903.0000 8024 150.47% 53 1 infeasible 15931.0000 39903.0000 8028 150.47% 54 2 39903.0000 660 15931.0000 39903.0000 8030 150.47% 55 1 infeasible 15931.0000 39903.0000 8033 150.47% 56 1 39799.0000 659 15931.0000 39621.0000 8035 148.70% 57 2 39621.0000 658 15931.0000 39621.0000 8036 148.70% 58 1 infeasible 15931.0000 39621.0000 8045 148.70% Elapsed time = 262.33 sec. (194065.41 ticks, tree = 0.01 MB, solutions = 1) 61 2 39621.0000 658 15931.0000 39621.0000 8057 148.70% 62 1 infeasible 15931.0000 39621.0000 8065 148.70% 63 2 39621.0000 658 15931.0000 39621.0000 8067 148.70% 64 1 infeasible 15931.0000 39621.0000 8067 148.70% 65 2 39621.0000 658 15931.0000 39621.0000 8068 148.70% 66 1 infeasible 15931.0000 39621.0000 8072 148.70% 67 1 39621.0000 658 15931.0000 39621.0000 8074 148.70% 68 1 39518.0000 657 15931.0000 39340.0000 8076 146.94% 69 2 39340.0000 656 15931.0000 39340.0000 8077 146.94% 70 1 infeasible 15931.0000 39340.0000 8077 146.94% Elapsed time = 268.05 sec. (197740.75 ticks, tree = 0.01 MB, solutions = 1) 73 2 39340.0000 656 15931.0000 39340.0000 8094 146.94% 74 1 infeasible 15931.0000 39340.0000 8094 146.94% 75 1 39340.0000 656 15931.0000 39340.0000 8095 146.94% 76 2 39340.0000 656 15931.0000 39340.0000 8097 146.94% 77 1 infeasible 15931.0000 39340.0000 8102 146.94% 78 2 39340.0000 656 15931.0000 39340.0000 8104 146.94% 79 1 infeasible 15931.0000 39340.0000 8112 146.94% 80 2 39340.0000 656 15931.0000 39340.0000 8114 146.94% 81 1 infeasible 15931.0000 39340.0000 8120 146.94% 82 2 39340.0000 656 15931.0000 39340.0000 8122 146.94% Elapsed time = 274.84 sec. (202029.38 ticks, tree = 0.01 MB, solutions = 1) 85 1 infeasible 15931.0000 39340.0000 8147 146.94% 86 1 39238.0000 655 15931.0000 39060.0000 8149 145.18% 87 2 39060.0000 654 15931.0000 39060.0000 8150 145.18% 88 1 infeasible 15931.0000 39060.0000 8161 145.18% 89 2 39060.0000 654 15931.0000 39060.0000 8163 145.18% 90 1 infeasible 15931.0000 39060.0000 8163 145.18% 91 2 39060.0000 654 15931.0000 39060.0000 8164 145.18% 92 1 infeasible 15931.0000 39060.0000 8171 145.18% 93 2 39060.0000 654 15931.0000 39060.0000 8173 145.18% 94 1 infeasible 15931.0000 39060.0000 8173 145.18% Elapsed time = 280.80 sec. (205854.43 ticks, tree = 0.01 MB, solutions = 1) 97 2 39060.0000 654 15931.0000 39060.0000 8181 145.18% 98 1 infeasible 15931.0000 39060.0000 8196 145.18% 99 2 39060.0000 654 15931.0000 39060.0000 8198 145.18% 100 1 infeasible 15931.0000 39060.0000 8206 145.18% 101 2 39060.0000 654 15931.0000 39060.0000 8219 145.18% 102 1 infeasible 15931.0000 39060.0000 8228 145.18% 103 2 39060.0000 654 15931.0000 39060.0000 8230 145.18% 104 1 infeasible 15931.0000 39060.0000 8237 145.18% 105 2 39060.0000 654 15931.0000 39060.0000 8239 145.18% 106 1 infeasible 15931.0000 39060.0000 8243 145.18% Elapsed time = 292.06 sec. (219270.25 ticks, tree = 0.01 MB, solutions = 1) 109 2 39060.0000 654 15931.0000 39060.0000 8255 145.18% 110 1 infeasible 15931.0000 39060.0000 8255 145.18% 111 1 39060.0000 654 15931.0000 39060.0000 8256 145.18% 112 1 38959.0000 653 15931.0000 38781.0000 8258 143.43% 113 2 38781.0000 652 15931.0000 38781.0000 8259 143.43% 114 1 infeasible 15931.0000 38781.0000 8271 143.43% 115 2 38781.0000 652 15931.0000 38781.0000 8273 143.43% 116 1 infeasible 15931.0000 38781.0000 8286 143.43% 117 2 38781.0000 652 15931.0000 38781.0000 8288 143.43% 118 1 infeasible 15931.0000 38781.0000 8304 143.43% Elapsed time = 298.00 sec. (223090.95 ticks, tree = 0.01 MB, solutions = 1) 129 1 infeasible 15931.0000 38781.0000 8355 143.43% 130 2 38781.0000 651 15931.0000 38781.0000 8357 143.43% 131 1 infeasible 15931.0000 38781.0000 8362 143.43% 132 2 38781.0000 651 15931.0000 38781.0000 8364 143.43% 133 1 infeasible 15931.0000 38781.0000 8372 143.43% 134 2 38781.0000 651 15931.0000 38781.0000 8374 143.43% 135 1 infeasible 15931.0000 38781.0000 8387 143.43% 136 2 38781.0000 651 15931.0000 38781.0000 8389 143.43% 137 1 infeasible 15931.0000 38781.0000 8393 143.43% 138 2 38781.0000 651 15931.0000 38781.0000 8395 143.43% Elapsed time = 313.58 sec. (233139.66 ticks, tree = 0.01 MB, solutions = 1) 149 2 38503.0000 649 15931.0000 38503.0000 8459 141.69% 150 1 infeasible 15931.0000 38503.0000 8477 141.69% 151 2 38503.0000 649 15931.0000 38503.0000 8479 141.69% 152 1 infeasible 15931.0000 38503.0000 8496 141.69% 153 2 38503.0000 649 15931.0000 38503.0000 8498 141.69% 154 1 infeasible 15931.0000 38503.0000 8498 141.69% 155 2 38503.0000 649 15931.0000 38503.0000 8499 141.69% 156 1 infeasible 15931.0000 38503.0000 8514 141.69% 157 2 38503.0000 649 15931.0000 38503.0000 8516 141.69% 158 1 infeasible 15931.0000 38503.0000 8532 141.69% Elapsed time = 324.74 sec. (240204.38 ticks, tree = 0.01 MB, solutions = 1) 168 1 infeasible 15931.0000 38503.0000 8589 141.69% 169 1 38503.0000 649 15931.0000 38503.0000 8591 141.69% 170 1 38404.0000 648 15931.0000 38226.0000 8593 139.95% 171 2 38226.0000 647 15931.0000 38226.0000 8594 139.95% 172 1 infeasible 15931.0000 38226.0000 8602 139.95% 173 2 38226.0000 647 15931.0000 38226.0000 8604 139.95% 174 1 infeasible 15931.0000 38226.0000 8609 139.95% 175 2 38226.0000 647 15931.0000 38226.0000 8611 139.95% 176 1 infeasible 15931.0000 38226.0000 8624 139.95% 177 2 38226.0000 647 15931.0000 38226.0000 8626 139.95% Elapsed time = 341.19 sec. (253544.26 ticks, tree = 0.01 MB, solutions = 1) 189 2 37950.0000 645 15931.0000 37950.0000 8682 138.21% 190 1 infeasible 15931.0000 37950.0000 8687 138.21% 191 2 37950.0000 645 15931.0000 37950.0000 8689 138.21% 192 1 infeasible 15931.0000 37950.0000 8692 138.21% 193 2 37950.0000 645 15931.0000 37950.0000 8694 138.21% 194 1 infeasible 15931.0000 37950.0000 8694 138.21% 195 2 37950.0000 645 15931.0000 37950.0000 8695 138.21% 196 1 infeasible 15931.0000 37950.0000 8706 138.21% 197 2 37950.0000 645 15931.0000 37950.0000 8708 138.21% 198 1 infeasible 15931.0000 37950.0000 8712 138.21% Elapsed time = 352.02 sec. (260478.37 ticks, tree = 0.01 MB, solutions = 1) 208 1 infeasible 15931.0000 37950.0000 8770 138.21% 209 2 37950.0000 645 15931.0000 37950.0000 8772 138.21% 210 1 infeasible 15931.0000 37950.0000 8779 138.21% 211 2 37950.0000 645 15931.0000 37950.0000 8781 138.21% 212 1 infeasible 15931.0000 37950.0000 8796 138.21% 213 2 37950.0000 645 15931.0000 37950.0000 8798 138.21% 214 1 infeasible 15931.0000 37950.0000 8811 138.21% 215 2 37950.0000 645 15931.0000 37950.0000 8813 138.21% 216 1 infeasible 15931.0000 37950.0000 8816 138.21% 217 2 37950.0000 645 15931.0000 37950.0000 8818 138.21% Elapsed time = 364.19 sec. (267936.72 ticks, tree = 0.01 MB, solutions = 1) 228 2 37950.0000 645 15931.0000 37950.0000 8877 138.21% 229 1 infeasible 15931.0000 37950.0000 8895 138.21% 230 2 37950.0000 645 15931.0000 37950.0000 8897 138.21% 231 1 infeasible 15931.0000 37950.0000 8905 138.21% 232 2 37950.0000 645 15931.0000 37950.0000 8907 138.21% 233 1 infeasible 15931.0000 37950.0000 8922 138.21% 234 2 37950.0000 645 15931.0000 37950.0000 8924 138.21% 235 1 infeasible 15931.0000 37950.0000 8932 138.21% 236 2 37950.0000 645 15931.0000 37950.0000 8934 138.21% 237 1 infeasible 15931.0000 37950.0000 8939 138.21% Elapsed time = 376.16 sec. (275081.93 ticks, tree = 0.01 MB, solutions = 1) 244 2 37950.0000 646 15931.0000 37950.0000 8968 138.21% 245 1 infeasible 15931.0000 37950.0000 8982 138.21% 246 1 37853.0000 645 15931.0000 37675.0000 8984 136.49% 247 2 37675.0000 644 15931.0000 37675.0000 8985 136.49% 248 1 infeasible 15931.0000 37675.0000 8993 136.49% 249 2 37675.0000 644 15931.0000 37675.0000 8995 136.49% 250 1 infeasible 15931.0000 37675.0000 9002 136.49% 251 2 37675.0000 644 15931.0000 37675.0000 9004 136.49% 252 1 infeasible 15931.0000 37675.0000 9019 136.49% 253 2 37675.0000 644 15931.0000 37675.0000 9021 136.49% Elapsed time = 387.81 sec. (282483.21 ticks, tree = 0.01 MB, solutions = 1) 265 2 37401.0000 642 15931.0000 37401.0000 9065 134.77% 266 1 infeasible 15931.0000 37401.0000 9070 134.77% 267 2 37401.0000 642 15931.0000 37401.0000 9072 134.77% 268 1 infeasible 15931.0000 37401.0000 9079 134.77% 269 2 37401.0000 642 15931.0000 37401.0000 9081 134.77% 270 1 infeasible 15931.0000 37401.0000 9094 134.77% 271 2 37401.0000 642 15931.0000 37401.0000 9096 134.77% 272 1 infeasible 15931.0000 37401.0000 9099 134.77% 273 1 37401.0000 642 15931.0000 37401.0000 9101 134.77% 274 1 37306.0000 641 15931.0000 37128.0000 9103 133.06% Elapsed time = 399.02 sec. (289577.89 ticks, tree = 0.01 MB, solutions = 1) 285 2 37128.0000 640 15931.0000 37128.0000 9155 133.06% 286 1 infeasible 15931.0000 37128.0000 9160 133.06% 287 2 37128.0000 640 15931.0000 37128.0000 9162 133.06% 288 1 infeasible 15931.0000 37128.0000 9170 133.06% 289 2 37128.0000 640 15931.0000 37128.0000 9172 133.06% 290 1 infeasible 15931.0000 37128.0000 9188 133.06% 291 2 37128.0000 640 15931.0000 37128.0000 9190 133.06% 292 1 infeasible 15931.0000 37128.0000 9200 133.06% 293 2 37128.0000 640 15931.0000 37128.0000 9202 133.06% 294 1 infeasible 15931.0000 37128.0000 9211 133.06% Elapsed time = 410.14 sec. (296676.30 ticks, tree = 0.01 MB, solutions = 1) 304 1 infeasible 15931.0000 37034.0000 9273 132.47% 305 2 37034.0000 639 15931.0000 37034.0000 9275 132.47% 306 1 infeasible 15931.0000 37034.0000 9276 132.47% 307 2 37034.0000 639 15931.0000 37034.0000 9278 132.47% 308 1 infeasible 15931.0000 37034.0000 9280 132.47% 309 2 37034.0000 639 15931.0000 37034.0000 9282 132.47% 310 1 infeasible 15931.0000 37034.0000 9285 132.47% 311 2 37034.0000 639 15931.0000 37034.0000 9287 132.47% 312 1 infeasible 15931.0000 37034.0000 9300 132.47% 313 2 37034.0000 639 15931.0000 37034.0000 9302 132.47% Elapsed time = 421.86 sec. (304099.59 ticks, tree = 0.01 MB, solutions = 1) 323 1 37034.0000 639 15931.0000 36856.0000 9363 131.35% 324 2 36856.0000 638 15931.0000 36856.0000 9364 131.35% 325 1 infeasible 15931.0000 36856.0000 9368 131.35% 326 2 36856.0000 638 15931.0000 36856.0000 9370 131.35% 327 1 infeasible 15931.0000 36856.0000 9384 131.35% 328 2 36856.0000 638 15931.0000 36856.0000 9386 131.35% 329 1 infeasible 15931.0000 36856.0000 9401 131.35% 330 2 36856.0000 638 15931.0000 36856.0000 9403 131.35% 331 1 infeasible 15931.0000 36856.0000 9415 131.35% 332 2 36856.0000 638 15931.0000 36856.0000 9417 131.35% Elapsed time = 436.58 sec. (313532.19 ticks, tree = 0.01 MB, solutions = 1) 340 2 36856.0000 638 15931.0000 36856.0000 9447 131.35% 341 1 infeasible 15931.0000 36856.0000 9463 131.35% 342 2 36856.0000 638 15931.0000 36856.0000 9465 131.35% 343 1 infeasible 15931.0000 36856.0000 9473 131.35% 344 2 36856.0000 638 15931.0000 36856.0000 9475 131.35% 345 1 infeasible 15931.0000 36856.0000 9480 131.35% 346 2 36856.0000 638 15931.0000 36856.0000 9482 131.35% 347 1 infeasible 15931.0000 36856.0000 9502 131.35% 348 2 36856.0000 638 15931.0000 36856.0000 9504 131.35% 349 1 infeasible 15931.0000 36856.0000 9515 131.35% Elapsed time = 448.80 sec. (321490.44 ticks, tree = 0.01 MB, solutions = 1) 359 1 infeasible 15931.0000 36856.0000 9560 131.35% 360 2 36856.0000 638 15931.0000 36856.0000 9562 131.35% 361 1 infeasible 15931.0000 36856.0000 9577 131.35% 362 2 36856.0000 638 15931.0000 36856.0000 9579 131.35% 363 1 infeasible 15931.0000 36856.0000 9579 131.35% 364 2 36856.0000 638 15931.0000 36856.0000 9580 131.35% 365 1 infeasible 15931.0000 36856.0000 9584 131.35% 366 2 36856.0000 638 15931.0000 36856.0000 9586 131.35% 367 1 infeasible 15931.0000 36856.0000 9588 131.35% 368 2 36856.0000 638 15931.0000 36856.0000 9590 131.35% Elapsed time = 460.13 sec. (328791.61 ticks, tree = 0.01 MB, solutions = 1) 379 1 infeasible 15931.0000 36856.0000 9634 131.35% 380 2 36856.0000 638 15931.0000 36856.0000 9636 131.35% 381 1 infeasible 15931.0000 36856.0000 9644 131.35% 382 2 36856.0000 638 15931.0000 36856.0000 9646 131.35% 383 1 infeasible 15931.0000 36856.0000 9659 131.35% 384 1 36856.0000 638 15931.0000 36856.0000 9661 131.35% 385 1 36763.0000 637 15931.0000 36585.0000 9663 129.65% 386 2 36585.0000 636 15931.0000 36585.0000 9664 129.65% 387 1 infeasible 15931.0000 36585.0000 9668 129.65% 388 2 36585.0000 636 15931.0000 36585.0000 9670 129.65% Elapsed time = 473.80 sec. (337758.76 ticks, tree = 0.01 MB, solutions = 1) 399 1 infeasible 15931.0000 36585.0000 9724 129.65% 400 2 36585.0000 636 15931.0000 36585.0000 9726 129.65% 401 1 infeasible 15931.0000 36585.0000 9729 129.65% 402 2 36585.0000 636 15931.0000 36585.0000 9731 129.65% 403 1 infeasible 15931.0000 36585.0000 9746 129.65% 404 2 36585.0000 636 15931.0000 36585.0000 9748 129.65% 405 1 infeasible 15931.0000 36585.0000 9759 129.65% 406 2 36585.0000 636 15931.0000 36585.0000 9761 129.65% 407 1 infeasible 15931.0000 36585.0000 9769 129.65% 408 2 36585.0000 636 15931.0000 36585.0000 9771 129.65% Elapsed time = 485.77 sec. (345347.65 ticks, tree = 0.01 MB, solutions = 1) 420 2 36315.0000 634 15931.0000 36315.0000 9819 127.95% 421 1 infeasible 15931.0000 36315.0000 9827 127.95% 422 2 36315.0000 634 15931.0000 36315.0000 9829 127.95% 423 1 infeasible 15931.0000 36315.0000 9833 127.95% 424 2 36315.0000 634 15931.0000 36315.0000 9835 127.95% 425 1 infeasible 15931.0000 36315.0000 9845 127.95% 426 2 36315.0000 634 15931.0000 36315.0000 9847 127.95% 427 1 infeasible 15931.0000 36315.0000 9851 127.95% 428 2 36315.0000 634 15931.0000 36315.0000 9853 127.95% 429 1 infeasible 15931.0000 36315.0000 9858 127.95% Elapsed time = 499.77 sec. (354553.70 ticks, tree = 0.01 MB, solutions = 1) 440 2 36315.0000 634 15931.0000 36315.0000 9905 127.95% 441 1 infeasible 15931.0000 36315.0000 9908 127.95% 442 2 36315.0000 634 15931.0000 36315.0000 9910 127.95% 443 1 infeasible 15931.0000 36315.0000 9915 127.95% 444 1 36315.0000 634 15931.0000 36315.0000 9917 127.95% 445 1 36224.0000 633 15931.0000 36046.0000 9919 126.26% 446 2 36046.0000 632 15931.0000 36046.0000 9920 126.26% 447 1 infeasible 15931.0000 36046.0000 9928 126.26% 448 2 36046.0000 632 15931.0000 36046.0000 9930 126.26% 449 1 infeasible 15931.0000 36046.0000 9938 126.26% Elapsed time = 510.78 sec. (361453.72 ticks, tree = 0.01 MB, solutions = 1) 460 2 36046.0000 632 15931.0000 36046.0000 9975 126.26% 461 1 infeasible 15931.0000 36046.0000 9985 126.26% 462 2 36046.0000 632 15931.0000 36046.0000 9987 126.26% 463 1 infeasible 15931.0000 36046.0000 9990 126.26% 464 2 36046.0000 632 15931.0000 36046.0000 9992 126.26% 465 1 infeasible 15931.0000 36046.0000 9995 126.26% 466 2 36046.0000 632 15931.0000 36046.0000 9997 126.26% 467 1 infeasible 15931.0000 36046.0000 10010 126.26% 468 2 36046.0000 632 15931.0000 36046.0000 10012 126.26% 469 1 infeasible 15931.0000 36046.0000 10017 126.26% Elapsed time = 525.95 sec. (371169.19 ticks, tree = 0.01 MB, solutions = 1) 479 1 infeasible 15931.0000 36046.0000 10096 126.26% 480 2 36046.0000 632 15931.0000 36046.0000 10098 126.26% 481 1 infeasible 15931.0000 36046.0000 10105 126.26% 482 2 36046.0000 632 15931.0000 36046.0000 10107 126.26% 483 1 infeasible 15931.0000 36046.0000 10120 126.26% 484 2 36046.0000 632 15931.0000 36046.0000 10122 126.26% 485 1 infeasible 15931.0000 36046.0000 10130 126.26% 486 2 36046.0000 632 15931.0000 36046.0000 10132 126.26% 487 1 infeasible 15931.0000 36046.0000 10136 126.26% 488 1 36046.0000 632 15931.0000 36046.0000 10138 126.26% Elapsed time = 537.72 sec. (378651.28 ticks, tree = 0.01 MB, solutions = 1) 501 2 35778.0000 630 15931.0000 35778.0000 10190 124.58% 502 1 infeasible 15931.0000 35778.0000 10204 124.58% 503 1 35778.0000 630 15931.0000 35778.0000 10206 124.58% 504 1 35689.0000 629 15931.0000 35511.0000 10208 122.91% 505 2 35511.0000 628 15931.0000 35511.0000 10209 122.91% 506 1 infeasible 15931.0000 35511.0000 10214 122.91% 507 2 35511.0000 628 15931.0000 35511.0000 10216 122.91% 508 1 infeasible 15931.0000 35511.0000 10224 122.91% 509 2 35511.0000 628 15931.0000 35511.0000 10226 122.91% 510 1 infeasible 15931.0000 35511.0000 10230 122.91% Elapsed time = 547.64 sec. (385105.43 ticks, tree = 0.01 MB, solutions = 1) 520 2 35511.0000 628 15931.0000 35511.0000 10251 122.91% 521 1 infeasible 15931.0000 35511.0000 10253 122.91% 522 2 35511.0000 628 15931.0000 35511.0000 10255 122.91% 523 1 infeasible 15931.0000 35511.0000 10258 122.91% 524 2 35511.0000 628 15931.0000 35511.0000 10260 122.91% 525 1 infeasible 15931.0000 35511.0000 10263 122.91% 526 2 35511.0000 628 15931.0000 35511.0000 10265 122.91% 527 1 infeasible 15931.0000 35511.0000 10268 122.91% 528 2 35511.0000 628 15931.0000 35511.0000 10270 122.91% 529 1 infeasible 15931.0000 35511.0000 10278 122.91% Elapsed time = 560.66 sec. (393673.44 ticks, tree = 0.01 MB, solutions = 1) 539 1 infeasible 15931.0000 35511.0000 10354 122.91% 540 2 35511.0000 627 15931.0000 35511.0000 10356 122.91% 541 1 infeasible 15931.0000 35511.0000 10361 122.91% 542 2 35511.0000 627 15931.0000 35511.0000 10363 122.91% 543 1 infeasible 15931.0000 35511.0000 10374 122.91% 544 2 35511.0000 627 15931.0000 35511.0000 10376 122.91% 545 1 infeasible 15931.0000 35511.0000 10380 122.91% 546 2 35511.0000 627 15931.0000 35511.0000 10382 122.91% 547 1 infeasible 15931.0000 35511.0000 10389 122.91% 548 2 35511.0000 627 15931.0000 35511.0000 10391 122.91% Elapsed time = 574.78 sec. (402589.91 ticks, tree = 0.01 MB, solutions = 1) 559 2 35245.0000 625 15931.0000 35245.0000 10457 121.24% 560 1 infeasible 15931.0000 35245.0000 10467 121.24% 561 2 35245.0000 625 15931.0000 35245.0000 10469 121.24% 562 1 infeasible 15931.0000 35245.0000 10487 121.24% 563 2 35245.0000 625 15931.0000 35245.0000 10489 121.24% 564 1 infeasible 15931.0000 35245.0000 10508 121.24% 565 2 35245.0000 625 15931.0000 35245.0000 10510 121.24% 566 1 infeasible 15931.0000 35245.0000 10513 121.24% 567 2 35245.0000 625 15931.0000 35245.0000 10515 121.24% 568 1 infeasible 15931.0000 35245.0000 10517 121.24% Elapsed time = 585.86 sec. (409765.76 ticks, tree = 0.01 MB, solutions = 1) 579 2 35245.0000 625 15931.0000 35245.0000 10557 121.24% 580 1 infeasible 15931.0000 35245.0000 10567 121.24% 581 2 35245.0000 625 15931.0000 35245.0000 10569 121.24% 582 1 infeasible 15931.0000 35245.0000 10577 121.24% 583 2 35245.0000 625 15931.0000 35245.0000 10579 121.24% 584 1 infeasible 15931.0000 35245.0000 10585 121.24% 585 2 35245.0000 625 15931.0000 35245.0000 10587 121.24% 586 1 infeasible 15931.0000 35245.0000 10587 121.24% 587 2 35245.0000 625 15931.0000 35245.0000 10588 121.24% 588 1 infeasible 15931.0000 35245.0000 10602 121.24% Elapsed time = 597.47 sec. (417269.07 ticks, tree = 0.01 MB, solutions = 1) 599 2 34980.0000 623 15931.0000 34980.0000 10668 119.57% 600 1 infeasible 15931.0000 34980.0000 10675 119.57% 601 2 34980.0000 623 15931.0000 34980.0000 10677 119.57% 602 1 infeasible 15931.0000 34980.0000 10685 119.57% 603 2 34980.0000 623 15931.0000 34980.0000 10687 119.57% 604 1 infeasible 15931.0000 34980.0000 10706 119.57% 605 2 34980.0000 623 15931.0000 34980.0000 10708 119.57% 606 1 infeasible 15931.0000 34980.0000 10709 119.57% 607 2 34980.0000 623 15931.0000 34980.0000 10711 119.57% 608 1 infeasible 15931.0000 34980.0000 10713 119.57% Elapsed time = 609.24 sec. (424747.57 ticks, tree = 0.01 MB, solutions = 1) 619 2 34980.0000 623 15931.0000 34980.0000 10756 119.57% 620 1 infeasible 15931.0000 34980.0000 10761 119.57% 621 2 34980.0000 623 15931.0000 34980.0000 10763 119.57% 622 1 infeasible 15931.0000 34980.0000 10779 119.57% 623 2 34980.0000 623 15931.0000 34980.0000 10781 119.57% 624 1 infeasible 15931.0000 34980.0000 10801 119.57% 625 2 34980.0000 623 15931.0000 34980.0000 10803 119.57% 626 1 infeasible 15931.0000 34980.0000 10812 119.57% 627 2 34980.0000 623 15931.0000 34980.0000 10814 119.57% 628 1 infeasible 15931.0000 34980.0000 10828 119.57% Elapsed time = 621.16 sec. (432375.36 ticks, tree = 0.01 MB, solutions = 1) 639 2 34980.0000 623 15931.0000 34980.0000 10877 119.57% 640 1 infeasible 15931.0000 34980.0000 10901 119.57% 641 2 34980.0000 623 15931.0000 34980.0000 10903 119.57% 642 1 infeasible 15931.0000 34980.0000 10903 119.57% 643 2 34980.0000 623 15931.0000 34980.0000 10904 119.57% 644 1 infeasible 15931.0000 34980.0000 10908 119.57% 645 2 34980.0000 623 15931.0000 34980.0000 10910 119.57% 646 1 infeasible 15931.0000 34980.0000 10918 119.57% 647 2 34980.0000 623 15931.0000 34980.0000 10920 119.57% 648 1 infeasible 15931.0000 34980.0000 10920 119.57% Elapsed time = 632.86 sec. (439786.68 ticks, tree = 0.01 MB, solutions = 1) 658 1 infeasible 15931.0000 34980.0000 10982 119.57% 659 2 34980.0000 623 15931.0000 34980.0000 10984 119.57% 660 1 infeasible 15931.0000 34980.0000 10987 119.57% 661 2 34980.0000 623 15931.0000 34980.0000 10989 119.57% 662 1 infeasible 15931.0000 34980.0000 10990 119.57% 663 2 34980.0000 623 15931.0000 34980.0000 10992 119.57% 664 1 infeasible 15931.0000 34980.0000 10993 119.57% 665 2 34980.0000 623 15931.0000 34980.0000 10995 119.57% 666 1 infeasible 15931.0000 34980.0000 10997 119.57% 667 2 34980.0000 623 15931.0000 34980.0000 10999 119.57% Elapsed time = 644.58 sec. (447201.11 ticks, tree = 0.01 MB, solutions = 1) 678 1 infeasible 15931.0000 34980.0000 11052 119.57% 679 2 34980.0000 623 15931.0000 34980.0000 11054 119.57% 680 1 infeasible 15931.0000 34980.0000 11070 119.57% 681 2 34980.0000 623 15931.0000 34980.0000 11072 119.57% 682 1 infeasible 15931.0000 34980.0000 11081 119.57% 683 2 34980.0000 623 15931.0000 34980.0000 11083 119.57% 684 1 infeasible 15931.0000 34980.0000 11099 119.57% 685 2 34980.0000 623 15931.0000 34980.0000 11101 119.57% 686 1 infeasible 15931.0000 34980.0000 11106 119.57% 687 2 34980.0000 623 15931.0000 34980.0000 11108 119.57% Elapsed time = 656.55 sec. (454830.27 ticks, tree = 0.01 MB, solutions = 1) 699 2 34716.0000 621 15931.0000 34716.0000 11163 117.91% 700 1 infeasible 15931.0000 34716.0000 11170 117.91% 701 2 34716.0000 621 15931.0000 34716.0000 11172 117.91% 702 1 infeasible 15931.0000 34716.0000 11182 117.91% 703 2 34716.0000 621 15931.0000 34716.0000 11184 117.91% 704 1 infeasible 15931.0000 34716.0000 11199 117.91% 705 1 34716.0000 621 15931.0000 34716.0000 11201 117.91% 706 1 34716.0000 621 15931.0000 34716.0000 11203 117.91% 707 2 34716.0000 621 15931.0000 34716.0000 11205 117.91% 708 1 infeasible 15931.0000 34716.0000 11217 117.91% Elapsed time = 666.66 sec. (461339.58 ticks, tree = 0.01 MB, solutions = 1) 719 1 infeasible 15931.0000 34716.0000 11275 117.91% 720 2 34716.0000 621 15931.0000 34716.0000 11277 117.91% 721 1 infeasible 15931.0000 34716.0000 11278 117.91% 722 2 34716.0000 621 15931.0000 34716.0000 11280 117.91% 723 1 infeasible 15931.0000 34716.0000 11282 117.91% 724 2 34716.0000 621 15931.0000 34716.0000 11284 117.91% 725 1 infeasible 15931.0000 34716.0000 11285 117.91% 726 2 34716.0000 621 15931.0000 34716.0000 11287 117.91% 727 1 infeasible 15931.0000 34716.0000 11289 117.91% 728 2 34716.0000 621 15931.0000 34716.0000 11291 117.91% Elapsed time = 680.70 sec. (470428.89 ticks, tree = 0.01 MB, solutions = 1) 737 1 infeasible 15931.0000 34716.0000 11324 117.91% 738 2 34716.0000 621 15931.0000 34716.0000 11326 117.91% 739 1 infeasible 15931.0000 34716.0000 11334 117.91% 740 2 34716.0000 621 15931.0000 34716.0000 11336 117.91% 741 1 infeasible 15931.0000 34716.0000 11354 117.91% 742 2 34716.0000 621 15931.0000 34716.0000 11356 117.91% 743 1 infeasible 15931.0000 34716.0000 11365 117.91% 744 2 34716.0000 621 15931.0000 34716.0000 11367 117.91% 745 1 infeasible 15931.0000 34716.0000 11382 117.91% 746 2 34716.0000 621 15931.0000 34716.0000 11384 117.91% Elapsed time = 699.77 sec. (484844.33 ticks, tree = 0.01 MB, solutions = 1) 755 1 infeasible 15931.0000 34716.0000 11423 117.91% 756 2 34716.0000 621 15931.0000 34716.0000 11425 117.91% 757 1 infeasible 15931.0000 34716.0000 11435 117.91% 758 1 34631.0000 620 15931.0000 34453.0000 11437 116.26% 759 2 34453.0000 619 15931.0000 34453.0000 11438 116.26% 760 1 infeasible 15931.0000 34453.0000 11448 116.26% 761 2 34453.0000 619 15931.0000 34453.0000 11450 116.26% 762 1 infeasible 15931.0000 34453.0000 11457 116.26% 763 2 34453.0000 619 15931.0000 34453.0000 11459 116.26% 764 1 infeasible 15931.0000 34453.0000 11462 116.26% Elapsed time = 710.55 sec. (491807.95 ticks, tree = 0.01 MB, solutions = 1) 777 1 infeasible 15931.0000 34191.0000 11502 114.62% 778 2 34191.0000 617 15931.0000 34191.0000 11504 114.62% 779 1 infeasible 15931.0000 34191.0000 11506 114.62% 780 1 34191.0000 617 15931.0000 34191.0000 11508 114.62% 781 1 34191.0000 617 15931.0000 34191.0000 11510 114.62% 782 2 34191.0000 617 15931.0000 34191.0000 11512 114.62% 783 1 infeasible 15931.0000 34191.0000 11513 114.62% 784 1 34191.0000 617 15931.0000 34191.0000 11515 114.62% 785 1 34191.0000 617 15931.0000 34191.0000 11517 114.62% 786 2 34191.0000 617 15931.0000 34191.0000 11519 114.62% Elapsed time = 726.78 sec. (502706.97 ticks, tree = 0.01 MB, solutions = 1) 798 1 infeasible 15931.0000 34191.0000 11559 114.62% 799 2 34191.0000 617 15931.0000 34191.0000 11560 114.62% 800 1 infeasible 15931.0000 34191.0000 11569 114.62% 801 2 34191.0000 617 15931.0000 34191.0000 11571 114.62% 802 1 infeasible 15931.0000 34191.0000 11578 114.62% 803 2 34191.0000 617 15931.0000 34191.0000 11580 114.62% 804 1 infeasible 15931.0000 34191.0000 11594 114.62% 805 1 34191.0000 617 15931.0000 34191.0000 11596 114.62% 806 1 34108.0000 616 15931.0000 33930.0000 11598 112.98% 807 2 33930.0000 615 15931.0000 33930.0000 11599 112.98% Elapsed time = 737.63 sec. (509527.36 ticks, tree = 0.01 MB, solutions = 1) 819 2 33930.0000 615 15931.0000 33930.0000 11648 112.98% 820 1 infeasible 15931.0000 33930.0000 11672 112.98% 821 2 33930.0000 615 15931.0000 33930.0000 11674 112.98% 822 1 infeasible 15931.0000 33930.0000 11681 112.98% 823 2 33930.0000 615 15931.0000 33930.0000 11683 112.98% 824 1 infeasible 15931.0000 33930.0000 11690 112.98% 825 2 33930.0000 615 15931.0000 33930.0000 11692 112.98% 826 1 infeasible 15931.0000 33930.0000 11699 112.98% 827 2 33930.0000 615 15931.0000 33930.0000 11701 112.98% 828 1 infeasible 15931.0000 33930.0000 11711 112.98% Elapsed time = 748.78 sec. (516800.80 ticks, tree = 0.01 MB, solutions = 1) 839 2 33930.0000 615 15931.0000 33930.0000 11755 112.98% 840 1 infeasible 15931.0000 33930.0000 11768 112.98% 841 2 33930.0000 615 15931.0000 33930.0000 11770 112.98% 842 1 infeasible 15931.0000 33930.0000 11784 112.98% 843 2 33930.0000 615 15931.0000 33930.0000 11786 112.98% 844 1 infeasible 15931.0000 33930.0000 11793 112.98% 845 2 33930.0000 615 15931.0000 33930.0000 11795 112.98% 846 1 infeasible 15931.0000 33930.0000 11802 112.98% 847 2 33930.0000 615 15931.0000 33930.0000 11804 112.98% 848 1 infeasible 15931.0000 33930.0000 11815 112.98% Elapsed time = 760.53 sec. (524433.27 ticks, tree = 0.01 MB, solutions = 1) 860 2 33670.0000 612 15931.0000 33670.0000 11848 111.35% 861 1 infeasible 15931.0000 33670.0000 11848 111.35% 862 1 33670.0000 612 15931.0000 33670.0000 11849 111.35% 863 1 33670.0000 612 15931.0000 33670.0000 11851 111.35% 864 2 33670.0000 612 15931.0000 33670.0000 11853 111.35% 865 1 infeasible 15931.0000 33670.0000 11858 111.35% 866 2 33670.0000 612 15931.0000 33670.0000 11860 111.35% 867 1 infeasible 15931.0000 33670.0000 11873 111.35% 868 2 33670.0000 612 15931.0000 33670.0000 11875 111.35% 869 1 infeasible 15931.0000 33670.0000 11876 111.35% Elapsed time = 775.42 sec. (534076.32 ticks, tree = 0.01 MB, solutions = 1) 880 1 infeasible 15931.0000 33670.0000 11953 111.35% 881 2 33670.0000 612 15931.0000 33670.0000 11955 111.35% 882 1 infeasible 15931.0000 33670.0000 11959 111.35% 883 2 33670.0000 612 15931.0000 33670.0000 11961 111.35% 884 1 infeasible 15931.0000 33670.0000 11965 111.35% 885 2 33670.0000 612 15931.0000 33670.0000 11967 111.35% 886 1 infeasible 15931.0000 33670.0000 11971 111.35% 887 2 33670.0000 612 15931.0000 33670.0000 11973 111.35% 888 1 infeasible 15931.0000 33670.0000 11979 111.35% 889 2 33670.0000 612 15931.0000 33670.0000 11981 111.35% Elapsed time = 787.75 sec. (541541.28 ticks, tree = 0.01 MB, solutions = 1) 899 2 33670.0000 612 15931.0000 33670.0000 12047 111.35% 900 1 infeasible 15931.0000 33670.0000 12060 111.35% 901 2 33670.0000 612 15931.0000 33670.0000 12062 111.35% 902 1 infeasible 15931.0000 33670.0000 12077 111.35% 903 2 33670.0000 612 15931.0000 33670.0000 12079 111.35% 904 1 infeasible 15931.0000 33670.0000 12086 111.35% 905 2 33670.0000 612 15931.0000 33670.0000 12088 111.35% 906 1 infeasible 15931.0000 33670.0000 12094 111.35% 907 2 33670.0000 612 15931.0000 33670.0000 12096 111.35% 908 1 infeasible 15931.0000 33670.0000 12109 111.35% Elapsed time = 799.09 sec. (548645.96 ticks, tree = 0.01 MB, solutions = 1) 919 1 infeasible 15931.0000 33411.0000 12177 109.72% 920 2 33411.0000 609 15931.0000 33411.0000 12179 109.72% 921 1 infeasible 15931.0000 33411.0000 12191 109.72% 922 2 33411.0000 609 15931.0000 33411.0000 12193 109.72% 923 1 infeasible 15931.0000 33411.0000 12193 109.72% 924 1 33411.0000 609 15931.0000 33411.0000 12194 109.72% 925 2 33411.0000 609 15931.0000 33411.0000 12196 109.72% 926 1 infeasible 15931.0000 33411.0000 12205 109.72% 927 2 33411.0000 609 15931.0000 33411.0000 12207 109.72% 928 1 infeasible 15931.0000 33411.0000 12209 109.72% Elapsed time = 813.69 sec. (557974.71 ticks, tree = 0.01 MB, solutions = 1) 940 2 33411.0000 609 15931.0000 33411.0000 12247 109.72% 941 1 infeasible 15931.0000 33411.0000 12248 109.72% 942 1 33411.0000 609 15931.0000 33411.0000 12250 109.72% 943 1 33411.0000 609 15931.0000 33411.0000 12252 109.72% 944 2 33411.0000 609 15931.0000 33411.0000 12254 109.72% 945 1 infeasible 15931.0000 33411.0000 12264 109.72% 946 1 33411.0000 609 15931.0000 33411.0000 12266 109.72% 947 2 33411.0000 609 15931.0000 33411.0000 12268 109.72% 948 1 infeasible 15931.0000 33411.0000 12273 109.72% 949 2 33411.0000 609 15931.0000 33411.0000 12275 109.72% Elapsed time = 838.92 sec. (577141.19 ticks, tree = 0.01 MB, solutions = 1) 960 1 infeasible 15931.0000 33411.0000 12306 109.72% 961 2 33411.0000 609 15931.0000 33411.0000 12308 109.72% 962 1 infeasible 15931.0000 33411.0000 12312 109.72% 963 2 33411.0000 609 15931.0000 33411.0000 12314 109.72% 964 1 infeasible 15931.0000 33411.0000 12319 109.72% 965 2 33411.0000 609 15931.0000 33411.0000 12321 109.72% 966 1 infeasible 15931.0000 33411.0000 12331 109.72% 967 2 33411.0000 609 15931.0000 33411.0000 12333 109.72% 968 1 infeasible 15931.0000 33411.0000 12342 109.72% 969 2 33411.0000 609 15931.0000 33411.0000 12344 109.72% Elapsed time = 852.67 sec. (584721.01 ticks, tree = 0.01 MB, solutions = 1) 980 1 infeasible 15931.0000 33411.0000 12409 109.72% 981 2 33411.0000 609 15931.0000 33411.0000 12411 109.72% 982 1 infeasible 15931.0000 33411.0000 12418 109.72% 983 2 33411.0000 609 15931.0000 33411.0000 12420 109.72% 984 1 infeasible 15931.0000 33411.0000 12427 109.72% 985 2 33411.0000 609 15931.0000 33411.0000 12429 109.72% 986 1 infeasible 15931.0000 33411.0000 12439 109.72% 987 2 33411.0000 609 15931.0000 33411.0000 12441 109.72% 988 1 infeasible 15931.0000 33411.0000 12449 109.72% 989 2 33411.0000 609 15931.0000 33411.0000 12451 109.72% Elapsed time = 865.09 sec. (592321.96 ticks, tree = 0.01 MB, solutions = 1) 1000 2 33153.0000 605 15931.0000 33153.0000 12490 108.10% 1001 1 infeasible 15931.0000 33153.0000 12495 108.10% 1002 2 33153.0000 605 15931.0000 33153.0000 12497 108.10% 1003 1 infeasible 15931.0000 33153.0000 12501 108.10% 1004 1 33153.0000 605 15931.0000 33153.0000 12503 108.10% 1005 1 33153.0000 605 15931.0000 33153.0000 12505 108.10% 1006 2 33153.0000 605 15931.0000 33153.0000 12507 108.10% 1007 1 infeasible 15931.0000 33153.0000 12508 108.10% 1008 2 33153.0000 605 15931.0000 33153.0000 12510 108.10% 1009 1 infeasible 15931.0000 33153.0000 12514 108.10% Elapsed time = 876.49 sec. (599603.50 ticks, tree = 0.01 MB, solutions = 1) 1020 2 33153.0000 605 15931.0000 33153.0000 12557 108.10% 1021 1 infeasible 15931.0000 33153.0000 12564 108.10% 1022 2 33153.0000 605 15931.0000 33153.0000 12566 108.10% 1023 1 infeasible 15931.0000 33153.0000 12574 108.10% 1024 2 33153.0000 605 15931.0000 33153.0000 12576 108.10% 1025 1 infeasible 15931.0000 33153.0000 12584 108.10% 1026 2 33153.0000 605 15931.0000 33153.0000 12586 108.10% 1027 1 infeasible 15931.0000 33153.0000 12594 108.10% 1028 1 33153.0000 605 15931.0000 33153.0000 12596 108.10% 1029 2 33153.0000 605 15931.0000 33153.0000 12598 108.10% Elapsed time = 888.39 sec. (607115.57 ticks, tree = 0.01 MB, solutions = 1) 1045 2 33153.0000 605 15931.0000 33153.0000 12636 108.10% 1046 1 infeasible 15931.0000 33153.0000 12642 108.10% 1047 2 33153.0000 605 15931.0000 33153.0000 12644 108.10% 1048 1 infeasible 15931.0000 33153.0000 12650 108.10% 1049 2 33153.0000 605 15931.0000 33153.0000 12652 108.10% 1050 1 infeasible 15931.0000 33153.0000 12668 108.10% 1051 2 33153.0000 605 15931.0000 33153.0000 12670 108.10% 1052 1 infeasible 15931.0000 33153.0000 12678 108.10% 1053 2 33153.0000 605 15931.0000 33153.0000 12680 108.10% 1054 1 infeasible 15931.0000 33153.0000 12688 108.10% Elapsed time = 899.83 sec. (614440.64 ticks, tree = 0.01 MB, solutions = 1) 1065 2 33153.0000 605 15931.0000 33153.0000 12720 108.10% 1066 1 infeasible 15931.0000 33153.0000 12733 108.10% 1067 2 33153.0000 605 15931.0000 33153.0000 12735 108.10% 1068 1 infeasible 15931.0000 33153.0000 12742 108.10% 1069 2 33153.0000 605 15931.0000 33153.0000 12744 108.10% 1070 1 infeasible 15931.0000 33153.0000 12751 108.10% 1071 2 33153.0000 605 15931.0000 33153.0000 12753 108.10% 1072 1 infeasible 15931.0000 33153.0000 12761 108.10% 1073 2 33153.0000 605 15931.0000 33153.0000 12763 108.10% 1074 1 infeasible 15931.0000 33153.0000 12769 108.10% Elapsed time = 911.97 sec. (622017.87 ticks, tree = 0.01 MB, solutions = 1) 1085 1 infeasible 15931.0000 32896.0000 12824 106.49% 1086 2 32896.0000 603 15931.0000 32896.0000 12826 106.49% 1087 1 infeasible 15931.0000 32896.0000 12835 106.49% 1088 2 32896.0000 603 15931.0000 32896.0000 12837 106.49% 1089 1 infeasible 15931.0000 32896.0000 12846 106.49% 1090 2 32896.0000 603 15931.0000 32896.0000 12848 106.49% 1091 1 infeasible 15931.0000 32896.0000 12857 106.49% 1092 2 32896.0000 603 15931.0000 32896.0000 12859 106.49% 1093 1 infeasible 15931.0000 32896.0000 12871 106.49% 1094 2 32896.0000 603 15931.0000 32896.0000 12873 106.49% Elapsed time = 923.97 sec. (629526.86 ticks, tree = 0.01 MB, solutions = 1) 1107 1 infeasible 15931.0000 32896.0000 12932 106.49% 1108 2 32896.0000 603 15931.0000 32896.0000 12934 106.49% 1109 1 infeasible 15931.0000 32896.0000 12935 106.49% 1110 2 32896.0000 603 15931.0000 32896.0000 12937 106.49% 1111 1 infeasible 15931.0000 32896.0000 12947 106.49% 1112 2 32896.0000 603 15931.0000 32896.0000 12949 106.49% 1113 1 infeasible 15931.0000 32896.0000 12955 106.49% 1114 2 32896.0000 603 15931.0000 32896.0000 12957 106.49% 1115 1 infeasible 15931.0000 32896.0000 12976 106.49% 1116 2 32896.0000 603 15931.0000 32896.0000 12978 106.49% Elapsed time = 937.08 sec. (637135.02 ticks, tree = 0.01 MB, solutions = 1) 1120 2 32896.0000 603 15931.0000 32896.0000 13012 106.49% 1121 1 infeasible 15931.0000 32896.0000 13022 106.49% 1122 1 32896.0000 603 15931.0000 32896.0000 13024 106.49% 1123 1 32896.0000 603 15931.0000 32896.0000 13026 106.49% 1124 2 32896.0000 603 15931.0000 32896.0000 13028 106.49% 1125 1 infeasible 15931.0000 32896.0000 13029 106.49% 1126 2 32896.0000 603 15931.0000 32896.0000 13031 106.49% 1127 1 infeasible 15931.0000 32896.0000 13033 106.49% 1128 2 32896.0000 603 15931.0000 32896.0000 13035 106.49% 1129 1 infeasible 15931.0000 32896.0000 13057 106.49% Elapsed time = 951.17 sec. (647509.89 ticks, tree = 0.01 MB, solutions = 1) 1142 1 infeasible 15931.0000 32896.0000 13091 106.49% 1143 2 32896.0000 603 15931.0000 32896.0000 13093 106.49% 1144 1 infeasible 15931.0000 32896.0000 13101 106.49% 1145 2 32896.0000 603 15931.0000 32896.0000 13103 106.49% 1146 1 infeasible 15931.0000 32896.0000 13117 106.49% 1147 2 32896.0000 603 15931.0000 32896.0000 13119 106.49% 1148 1 infeasible 15931.0000 32896.0000 13122 106.49% 1149 2 32896.0000 603 15931.0000 32896.0000 13124 106.49% 1150 1 infeasible 15931.0000 32896.0000 13127 106.49% 1151 2 32896.0000 603 15931.0000 32896.0000 13129 106.49% Elapsed time = 963.88 sec. (655048.85 ticks, tree = 0.01 MB, solutions = 1) 1162 1 infeasible 15931.0000 32896.0000 13180 106.49% 1163 2 32896.0000 603 15931.0000 32896.0000 13182 106.49% 1164 1 infeasible 15931.0000 32896.0000 13184 106.49% 1165 2 32896.0000 603 15931.0000 32896.0000 13186 106.49% 1166 1 infeasible 15931.0000 32896.0000 13195 106.49% 1167 2 32896.0000 603 15931.0000 32896.0000 13197 106.49% 1168 1 infeasible 15931.0000 32896.0000 13209 106.49% 1169 2 32896.0000 603 15931.0000 32896.0000 13211 106.49% 1170 1 infeasible 15931.0000 32896.0000 13220 106.49% 1171 1 32896.0000 603 15931.0000 32896.0000 13222 106.49% Elapsed time = 976.81 sec. (662645.67 ticks, tree = 0.01 MB, solutions = 1) 1185 2 32640.0000 602 15931.0000 32640.0000 13298 104.88% 1186 1 infeasible 15931.0000 32640.0000 13312 104.88% 1187 1 32640.0000 602 15931.0000 32640.0000 13314 104.88% 1188 2 32640.0000 602 15931.0000 32640.0000 13316 104.88% 1189 1 infeasible 15931.0000 32640.0000 13318 104.88% 1190 2 32640.0000 602 15931.0000 32640.0000 13320 104.88% 1191 1 infeasible 15931.0000 32640.0000 13322 104.88% 1192 1 32640.0000 602 15931.0000 32640.0000 13324 104.88% 1193 2 32640.0000 602 15931.0000 32640.0000 13326 104.88% 1194 1 infeasible 15931.0000 32640.0000 13327 104.88% Elapsed time = 987.25 sec. (669246.92 ticks, tree = 0.01 MB, solutions = 1) 1207 1 32640.0000 602 15931.0000 32640.0000 13372 104.88% 1208 2 32640.0000 602 15931.0000 32640.0000 13374 104.88% 1209 1 infeasible 15931.0000 32640.0000 13376 104.88% 1210 1 32640.0000 602 15931.0000 32640.0000 13378 104.88% 1211 2 32640.0000 602 15931.0000 32640.0000 13380 104.88% 1212 1 infeasible 15931.0000 32640.0000 13386 104.88% 1213 2 32640.0000 602 15931.0000 32640.0000 13388 104.88% 1214 1 infeasible 15931.0000 32640.0000 13394 104.88% 1215 2 32640.0000 602 15931.0000 32640.0000 13396 104.88% 1216 1 infeasible 15931.0000 32640.0000 13408 104.88% Elapsed time = 997.47 sec. (675721.68 ticks, tree = 0.01 MB, solutions = 1) 1227 2 32640.0000 602 15931.0000 32640.0000 13454 104.88% 1228 1 infeasible 15931.0000 32640.0000 13463 104.88% 1229 2 32640.0000 602 15931.0000 32640.0000 13465 104.88% 1230 1 infeasible 15931.0000 32640.0000 13486 104.88% 1231 2 32640.0000 602 15931.0000 32640.0000 13488 104.88% 1232 1 infeasible 15931.0000 32640.0000 13508 104.88% 1233 2 32640.0000 602 15931.0000 32640.0000 13510 104.88% 1234 1 infeasible 15931.0000 32640.0000 13519 104.88% 1235 2 32640.0000 602 15931.0000 32640.0000 13521 104.88% 1236 1 infeasible 15931.0000 32640.0000 13530 104.88% Elapsed time = 1009.41 sec. (683390.79 ticks, tree = 0.01 MB, solutions = 1) 1247 2 32640.0000 602 15931.0000 32640.0000 13575 104.88% 1248 1 infeasible 15931.0000 32640.0000 13586 104.88% 1249 1 32640.0000 602 15931.0000 32640.0000 13588 104.88% 1250 1 32640.0000 602 15931.0000 32640.0000 13590 104.88% 1251 2 32640.0000 602 15931.0000 32640.0000 13592 104.88% 1252 1 infeasible 15931.0000 32640.0000 13593 104.88% 1253 1 32563.0000 601 15931.0000 32385.0000 13595 103.28% 1254 2 32385.0000 600 15931.0000 32385.0000 13596 103.28% 1255 1 infeasible 15931.0000 32385.0000 13597 103.28% 1256 1 32385.0000 600 15931.0000 32385.0000 13599 103.28% Elapsed time = 1021.38 sec. (690800.28 ticks, tree = 0.01 MB, solutions = 1) 1260 1 32385.0000 600 15931.0000 32385.0000 13614 103.28% 1261 2 32385.0000 600 15931.0000 32385.0000 13616 103.28% 1262 1 infeasible 15931.0000 32385.0000 13622 103.28% 1263 2 32385.0000 600 15931.0000 32385.0000 13624 103.28% 1264 1 infeasible 15931.0000 32385.0000 13632 103.28% 1265 2 32385.0000 600 15931.0000 32385.0000 13634 103.28% 1266 1 infeasible 15931.0000 32385.0000 13642 103.28% 1267 1 32385.0000 600 15931.0000 32385.0000 13644 103.28% 1268 2 32385.0000 600 15931.0000 32385.0000 13646 103.28% 1269 1 infeasible 15931.0000 32385.0000 13650 103.28% Elapsed time = 1032.20 sec. (698358.77 ticks, tree = 0.01 MB, solutions = 1) 1280 1 infeasible 15931.0000 32385.0000 13707 103.28% 1281 2 32385.0000 600 15931.0000 32385.0000 13709 103.28% 1282 1 infeasible 15931.0000 32385.0000 13715 103.28% 1283 2 32385.0000 600 15931.0000 32385.0000 13717 103.28% 1284 1 infeasible 15931.0000 32385.0000 13723 103.28% 1285 2 32385.0000 600 15931.0000 32385.0000 13725 103.28% 1286 1 infeasible 15931.0000 32385.0000 13729 103.28% 1287 2 32385.0000 600 15931.0000 32385.0000 13731 103.28% 1288 1 infeasible 15931.0000 32385.0000 13739 103.28% 1289 2 32385.0000 600 15931.0000 32385.0000 13741 103.28% Elapsed time = 1044.49 sec. (705860.37 ticks, tree = 0.01 MB, solutions = 1) 1299 2 32385.0000 600 15931.0000 32385.0000 13820 103.28% 1300 1 infeasible 15931.0000 32385.0000 13830 103.28% 1301 2 32385.0000 600 15931.0000 32385.0000 13832 103.28% 1302 1 infeasible 15931.0000 32385.0000 13837 103.28% 1303 2 32385.0000 600 15931.0000 32385.0000 13839 103.28% 1304 1 infeasible 15931.0000 32385.0000 13846 103.28% 1305 2 32385.0000 600 15931.0000 32385.0000 13848 103.28% 1306 1 infeasible 15931.0000 32385.0000 13859 103.28% 1307 2 32385.0000 600 15931.0000 32385.0000 13861 103.28% 1308 1 infeasible 15931.0000 32385.0000 13865 103.28% Elapsed time = 1055.59 sec. (712995.17 ticks, tree = 0.01 MB, solutions = 1) 1320 2 32131.0000 598 15931.0000 32131.0000 13905 101.69% 1321 1 infeasible 15931.0000 32131.0000 13917 101.69% 1322 1 32131.0000 598 15931.0000 32131.0000 13919 101.69% 1323 1 32131.0000 598 15931.0000 32131.0000 13921 101.69% 1324 2 32131.0000 598 15931.0000 32131.0000 13923 101.69% 1325 1 infeasible 15931.0000 32131.0000 13929 101.69% 1326 2 32131.0000 598 15931.0000 32131.0000 13931 101.69% 1327 1 infeasible 15931.0000 32131.0000 13937 101.69% 1328 2 32131.0000 598 15931.0000 32131.0000 13939 101.69% 1329 1 infeasible 15931.0000 32131.0000 13945 101.69% Elapsed time = 1067.50 sec. (720528.20 ticks, tree = 0.01 MB, solutions = 1) 1343 1 infeasible 15931.0000 32131.0000 13987 101.69% 1344 2 32131.0000 598 15931.0000 32131.0000 13989 101.69% 1345 1 infeasible 15931.0000 32131.0000 13994 101.69% 1346 2 32131.0000 598 15931.0000 32131.0000 13996 101.69% 1347 1 infeasible 15931.0000 32131.0000 13996 101.69% 1348 2 32131.0000 598 15931.0000 32131.0000 13997 101.69% 1349 1 infeasible 15931.0000 32131.0000 14003 101.69% 1350 2 32131.0000 598 15931.0000 32131.0000 14005 101.69% 1351 1 infeasible 15931.0000 32131.0000 14011 101.69% 1352 2 32131.0000 598 15931.0000 32131.0000 14013 101.69% Elapsed time = 1080.49 sec. (728634.70 ticks, tree = 0.01 MB, solutions = 1) 1360 1 32131.0000 598 15931.0000 32131.0000 14044 101.69% 1361 2 32131.0000 598 15931.0000 32131.0000 14046 101.69% 1362 1 infeasible 15931.0000 32131.0000 14047 101.69% 1363 1 32131.0000 598 15931.0000 32131.0000 14049 101.69% 1364 1 32131.0000 598 15931.0000 32131.0000 14051 101.69% 1365 2 32131.0000 598 15931.0000 32131.0000 14053 101.69% 1366 1 infeasible 15931.0000 32131.0000 14059 101.69% 1367 2 32131.0000 598 15931.0000 32131.0000 14061 101.69% 1368 1 infeasible 15931.0000 32131.0000 14073 101.69% 1369 2 32131.0000 598 15931.0000 32131.0000 14075 101.69% Elapsed time = 1090.64 sec. (735149.54 ticks, tree = 0.01 MB, solutions = 1) 1383 2 32131.0000 598 15931.0000 32131.0000 14130 101.69% 1384 1 infeasible 15931.0000 32131.0000 14144 101.69% 1385 2 32131.0000 598 15931.0000 32131.0000 14146 101.69% 1386 1 infeasible 15931.0000 32131.0000 14150 101.69% 1387 2 32131.0000 598 15931.0000 32131.0000 14152 101.69% 1388 1 infeasible 15931.0000 32131.0000 14156 101.69% 1389 2 32131.0000 598 15931.0000 32131.0000 14158 101.69% 1390 1 infeasible 15931.0000 32131.0000 14162 101.69% 1391 2 32131.0000 598 15931.0000 32131.0000 14164 101.69% 1392 1 infeasible 15931.0000 32131.0000 14172 101.69% Elapsed time = 1101.97 sec. (742432.53 ticks, tree = 0.01 MB, solutions = 1) 1402 1 infeasible 15931.0000 32131.0000 14250 101.69% 1403 2 32131.0000 598 15931.0000 32131.0000 14252 101.69% 1404 1 infeasible 15931.0000 32131.0000 14260 101.69% 1405 2 32131.0000 598 15931.0000 32131.0000 14262 101.69% 1406 1 infeasible 15931.0000 32131.0000 14267 101.69% 1407 2 32131.0000 598 15931.0000 32131.0000 14269 101.69% 1408 1 infeasible 15931.0000 32131.0000 14276 101.69% 1409 2 32131.0000 598 15931.0000 32131.0000 14278 101.69% 1410 1 infeasible 15931.0000 32131.0000 14292 101.69% 1411 2 32131.0000 598 15931.0000 32131.0000 14294 101.69% Elapsed time = 1113.86 sec. (749920.25 ticks, tree = 0.01 MB, solutions = 1) 1424 1 infeasible 15931.0000 31878.0000 14349 100.10% 1425 2 31878.0000 596 15931.0000 31878.0000 14351 100.10% 1426 1 infeasible 15931.0000 31878.0000 14359 100.10% 1427 2 31878.0000 596 15931.0000 31878.0000 14361 100.10% 1428 1 infeasible 15931.0000 31878.0000 14369 100.10% 1429 2 31878.0000 596 15931.0000 31878.0000 14371 100.10% 1430 1 infeasible 15931.0000 31878.0000 14378 100.10% 1431 2 31878.0000 596 15931.0000 31878.0000 14380 100.10% 1432 1 infeasible 15931.0000 31878.0000 14388 100.10% 1433 2 31878.0000 596 15931.0000 31878.0000 14390 100.10% Elapsed time = 1126.24 sec. (757508.98 ticks, tree = 0.01 MB, solutions = 1) 1440 1 31878.0000 596 15931.0000 31878.0000 14416 100.10% 1441 1 31878.0000 596 15931.0000 31878.0000 14418 100.10% 1442 2 31878.0000 596 15931.0000 31878.0000 14420 100.10% 1443 1 infeasible 15931.0000 31878.0000 14421 100.10% 1444 1 31878.0000 596 15931.0000 31878.0000 14423 100.10% 1445 1 31878.0000 596 15931.0000 31878.0000 14425 100.10% 1446 2 31878.0000 596 15931.0000 31878.0000 14427 100.10% 1447 1 infeasible 15931.0000 31878.0000 14434 100.10% 1448 2 31878.0000 596 15931.0000 31878.0000 14436 100.10% 1449 1 infeasible 15931.0000 31878.0000 14443 100.10% Elapsed time = 1137.88 sec. (764250.30 ticks, tree = 0.01 MB, solutions = 1) 1457 1 infeasible 15931.0000 31878.0000 14472 100.10% 1458 2 31878.0000 596 15931.0000 31878.0000 14474 100.10% 1459 1 infeasible 15931.0000 31878.0000 14480 100.10% 1460 1 31878.0000 596 15931.0000 31878.0000 14482 100.10% 1461 2 31878.0000 596 15931.0000 31878.0000 14484 100.10% 1462 1 infeasible 15931.0000 31878.0000 14488 100.10% 1463 2 31878.0000 596 15931.0000 31878.0000 14490 100.10% 1464 1 infeasible 15931.0000 31878.0000 14495 100.10% 1465 2 31878.0000 596 15931.0000 31878.0000 14497 100.10% 1466 1 infeasible 15931.0000 31878.0000 14498 100.10% Elapsed time = 1149.56 sec. (771278.17 ticks, tree = 0.01 MB, solutions = 1) 1476 1 infeasible 15931.0000 31878.0000 14543 100.10% 1477 2 31878.0000 596 15931.0000 31878.0000 14545 100.10% 1478 1 infeasible 15931.0000 31878.0000 14552 100.10% 1479 2 31878.0000 596 15931.0000 31878.0000 14554 100.10% 1480 1 infeasible 15931.0000 31878.0000 14558 100.10% 1481 2 31878.0000 596 15931.0000 31878.0000 14560 100.10% 1482 1 infeasible 15931.0000 31878.0000 14568 100.10% 1483 2 31878.0000 596 15931.0000 31878.0000 14570 100.10% 1484 1 infeasible 15931.0000 31878.0000 14579 100.10% 1485 2 31878.0000 596 15931.0000 31878.0000 14581 100.10% Elapsed time = 1162.20 sec. (778751.62 ticks, tree = 0.01 MB, solutions = 1) 1495 1 infeasible 15931.0000 31878.0000 14646 100.10% 1496 2 31878.0000 596 15931.0000 31878.0000 14648 100.10% 1497 1 infeasible 15931.0000 31878.0000 14652 100.10% 1498 2 31878.0000 596 15931.0000 31878.0000 14654 100.10% 1499 1 infeasible 15931.0000 31878.0000 14658 100.10% 1500 2 31878.0000 596 15931.0000 31878.0000 14660 100.10% 1501 1 infeasible 15931.0000 31878.0000 14664 100.10% 1502 2 31878.0000 596 15931.0000 31878.0000 14666 100.10% 1503 1 infeasible 15931.0000 31878.0000 14674 100.10% 1504 2 31878.0000 596 15931.0000 31878.0000 14676 100.10% Elapsed time = 1175.36 sec. (786963.14 ticks, tree = 0.01 MB, solutions = 1) 1513 1 infeasible 15931.0000 31878.0000 14753 100.10% 1514 2 31878.0000 596 15931.0000 31878.0000 14755 100.10% 1515 1 infeasible 15931.0000 31878.0000 14764 100.10% 1516 2 31878.0000 596 15931.0000 31878.0000 14766 100.10% 1517 1 infeasible 15931.0000 31878.0000 14771 100.10% 1518 2 31878.0000 596 15931.0000 31878.0000 14773 100.10% 1519 1 infeasible 15931.0000 31878.0000 14780 100.10% 1520 2 31878.0000 596 15931.0000 31878.0000 14782 100.10% 1521 1 infeasible 15931.0000 31878.0000 14793 100.10% 1522 2 31878.0000 596 15931.0000 31878.0000 14795 100.10% Elapsed time = 1189.77 sec. (796182.19 ticks, tree = 0.01 MB, solutions = 1) 1533 2 31626.0000 594 15931.0000 31626.0000 14833 98.52% 1534 1 infeasible 15931.0000 31626.0000 14837 98.52% 1535 2 31626.0000 594 15931.0000 31626.0000 14839 98.52% 1536 1 infeasible 15931.0000 31626.0000 14858 98.52% 1537 1 31626.0000 594 15931.0000 31626.0000 14860 98.52% 1538 2 31626.0000 594 15931.0000 31626.0000 14862 98.52% 1539 1 infeasible 15931.0000 31626.0000 14869 98.52% 1540 2 31626.0000 594 15931.0000 31626.0000 14871 98.52% 1541 1 infeasible 15931.0000 31626.0000 14874 98.52% 1542 2 31626.0000 594 15931.0000 31626.0000 14876 98.52% Elapsed time = 1200.89 sec. (803151.60 ticks, tree = 0.01 MB, solutions = 1) 1551 1 infeasible 15931.0000 31626.0000 14917 98.52% 1552 2 31626.0000 594 15931.0000 31626.0000 14919 98.52% 1553 1 infeasible 15931.0000 31626.0000 14933 98.52% 1554 1 31626.0000 594 15931.0000 31626.0000 14935 98.52% 1555 2 31626.0000 594 15931.0000 31626.0000 14937 98.52% 1556 1 infeasible 15931.0000 31626.0000 14940 98.52% 1557 2 31626.0000 594 15931.0000 31626.0000 14942 98.52% 1558 1 infeasible 15931.0000 31626.0000 14946 98.52% 1559 1 31626.0000 594 15931.0000 31626.0000 14948 98.52% 1560 1 31626.0000 594 15931.0000 31626.0000 14950 98.52% Elapsed time = 1219.20 sec. (815422.40 ticks, tree = 0.01 MB, solutions = 1) 1573 2 31626.0000 594 15931.0000 31626.0000 14984 98.52% 1574 1 infeasible 15931.0000 31626.0000 14987 98.52% 1575 2 31626.0000 594 15931.0000 31626.0000 14989 98.52% 1576 1 infeasible 15931.0000 31626.0000 14994 98.52% 1577 2 31626.0000 594 15931.0000 31626.0000 14996 98.52% 1578 1 infeasible 15931.0000 31626.0000 15004 98.52% 1579 2 31626.0000 594 15931.0000 31626.0000 15006 98.52% 1580 1 infeasible 15931.0000 31626.0000 15016 98.52% 1581 2 31626.0000 594 15931.0000 31626.0000 15018 98.52% 1582 1 infeasible 15931.0000 31626.0000 15023 98.52% Elapsed time = 1230.27 sec. (822467.66 ticks, tree = 0.01 MB, solutions = 1) 1593 1 infeasible 15931.0000 31626.0000 15057 98.52% 1594 2 31626.0000 594 15931.0000 31626.0000 15059 98.52% 1595 1 infeasible 15931.0000 31626.0000 15067 98.52% 1596 2 31626.0000 594 15931.0000 31626.0000 15069 98.52% 1597 1 infeasible 15931.0000 31626.0000 15073 98.52% 1598 2 31626.0000 594 15931.0000 31626.0000 15075 98.52% 1599 1 infeasible 15931.0000 31626.0000 15083 98.52% 1600 2 31626.0000 594 15931.0000 31626.0000 15085 98.52% 1601 1 infeasible 15931.0000 31626.0000 15094 98.52% 1602 2 31626.0000 594 15931.0000 31626.0000 15096 98.52% Elapsed time = 1244.83 sec. (831851.80 ticks, tree = 0.01 MB, solutions = 1) 1615 2 31375.0000 592 15931.0000 31375.0000 15148 96.94% 1616 1 infeasible 15931.0000 31375.0000 15162 96.94% 1617 2 31375.0000 592 15931.0000 31375.0000 15164 96.94% 1618 1 infeasible 15931.0000 31375.0000 15185 96.94% 1619 2 31375.0000 592 15931.0000 31375.0000 15187 96.94% 1620 1 infeasible 15931.0000 31375.0000 15194 96.94% 1621 2 31375.0000 592 15931.0000 31375.0000 15196 96.94% 1622 1 infeasible 15931.0000 31375.0000 15201 96.94% 1623 2 31375.0000 592 15931.0000 31375.0000 15203 96.94% 1624 1 infeasible 15931.0000 31375.0000 15211 96.94% Elapsed time = 1256.25 sec. (839191.25 ticks, tree = 0.01 MB, solutions = 1) 1635 1 infeasible 15931.0000 31375.0000 15258 96.94% 1636 2 31375.0000 592 15931.0000 31375.0000 15260 96.94% 1637 1 infeasible 15931.0000 31375.0000 15265 96.94% 1638 2 31375.0000 592 15931.0000 31375.0000 15267 96.94% 1639 1 infeasible 15931.0000 31375.0000 15270 96.94% 1640 2 31375.0000 592 15931.0000 31375.0000 15272 96.94% 1641 1 infeasible 15931.0000 31375.0000 15273 96.94% 1642 2 31375.0000 592 15931.0000 31375.0000 15275 96.94% 1643 1 infeasible 15931.0000 31375.0000 15278 96.94% 1644 2 31375.0000 592 15931.0000 31375.0000 15280 96.94% Elapsed time = 1287.28 sec. (862062.64 ticks, tree = 0.01 MB, solutions = 1) 1655 2 31375.0000 592 15931.0000 31375.0000 15334 96.94% 1656 1 infeasible 15931.0000 31375.0000 15337 96.94% 1657 2 31375.0000 592 15931.0000 31375.0000 15339 96.94% 1658 1 infeasible 15931.0000 31375.0000 15347 96.94% 1659 2 31375.0000 592 15931.0000 31375.0000 15349 96.94% 1660 1 infeasible 15931.0000 31375.0000 15349 96.94% 1661 1 31375.0000 592 15931.0000 31375.0000 15350 96.94% 1662 2 31375.0000 592 15931.0000 31375.0000 15352 96.94% 1663 1 infeasible 15931.0000 31375.0000 15362 96.94% 1664 2 31375.0000 592 15931.0000 31375.0000 15364 96.94% Elapsed time = 1298.55 sec. (869011.31 ticks, tree = 0.01 MB, solutions = 1) 1674 2 31375.0000 592 15931.0000 31375.0000 15425 96.94% 1675 1 infeasible 15931.0000 31375.0000 15429 96.94% 1676 2 31375.0000 592 15931.0000 31375.0000 15431 96.94% 1677 1 infeasible 15931.0000 31375.0000 15441 96.94% 1678 2 31375.0000 592 15931.0000 31375.0000 15443 96.94% 1679 1 infeasible 15931.0000 31375.0000 15462 96.94% 1680 2 31375.0000 592 15931.0000 31375.0000 15464 96.94% 1681 1 infeasible 15931.0000 31375.0000 15493 96.94% 1682 2 31375.0000 592 15931.0000 31375.0000 15495 96.94% 1683 1 infeasible 15931.0000 31375.0000 15504 96.94% Elapsed time = 1310.25 sec. (876161.81 ticks, tree = 0.01 MB, solutions = 1) 1693 1 infeasible 15931.0000 31375.0000 15569 96.94% 1694 2 31375.0000 592 15931.0000 31375.0000 15571 96.94% 1695 1 infeasible 15931.0000 31375.0000 15577 96.94% 1696 2 31375.0000 592 15931.0000 31375.0000 15579 96.94% 1697 1 infeasible 15931.0000 31375.0000 15592 96.94% 1698 2 31375.0000 592 15931.0000 31375.0000 15594 96.94% 1699 1 infeasible 15931.0000 31375.0000 15601 96.94% 1700 1 31375.0000 592 15931.0000 31375.0000 15603 96.94% 1701 2 31375.0000 592 15931.0000 31375.0000 15605 96.94% 1702 1 infeasible 15931.0000 31375.0000 15607 96.94% Elapsed time = 1321.56 sec. (883084.67 ticks, tree = 0.01 MB, solutions = 1) 1716 1 infeasible 15931.0000 31125.0000 15646 95.37% 1717 2 31125.0000 590 15931.0000 31125.0000 15648 95.37% 1718 1 infeasible 15931.0000 31125.0000 15651 95.37% 1719 2 31125.0000 590 15931.0000 31125.0000 15653 95.37% 1720 1 infeasible 15931.0000 31125.0000 15654 95.37% 1721 2 31125.0000 590 15931.0000 31125.0000 15656 95.37% 1722 1 infeasible 15931.0000 31125.0000 15659 95.37% 1723 2 31125.0000 590 15931.0000 31125.0000 15661 95.37% 1724 1 infeasible 15931.0000 31125.0000 15665 95.37% 1725 2 31125.0000 590 15931.0000 31125.0000 15667 95.37% Elapsed time = 1334.50 sec. (890508.15 ticks, tree = 0.01 MB, solutions = 1) 1735 1 31125.0000 590 15931.0000 31125.0000 15723 95.37% 1736 2 31125.0000 590 15931.0000 31125.0000 15725 95.37% 1737 1 infeasible 15931.0000 31125.0000 15728 95.37% 1738 2 31125.0000 590 15931.0000 31125.0000 15730 95.37% 1739 1 infeasible 15931.0000 31125.0000 15732 95.37% 1740 1 31125.0000 590 15931.0000 31125.0000 15734 95.37% 1741 2 31125.0000 590 15931.0000 31125.0000 15736 95.37% 1742 1 infeasible 15931.0000 31125.0000 15737 95.37% 1743 1 31125.0000 590 15931.0000 31125.0000 15739 95.37% 1744 1 31125.0000 590 15931.0000 31125.0000 15741 95.37% Elapsed time = 1344.99 sec. (896771.56 ticks, tree = 0.01 MB, solutions = 1) 1755 2 31125.0000 590 15931.0000 31125.0000 15789 95.37% 1756 1 infeasible 15931.0000 31125.0000 15794 95.37% 1757 1 31125.0000 590 15931.0000 31125.0000 15796 95.37% 1758 1 31125.0000 590 15931.0000 31125.0000 15798 95.37% 1759 2 31125.0000 590 15931.0000 31125.0000 15800 95.37% 1760 1 infeasible 15931.0000 31125.0000 15808 95.37% 1761 2 31125.0000 590 15931.0000 31125.0000 15810 95.37% 1762 1 infeasible 15931.0000 31125.0000 15812 95.37% 1763 2 31125.0000 590 15931.0000 31125.0000 15814 95.37% 1764 1 infeasible 15931.0000 31125.0000 15821 95.37% Elapsed time = 1355.67 sec. (903319.06 ticks, tree = 0.01 MB, solutions = 1) 1775 1 infeasible 15931.0000 31125.0000 15877 95.37% 1776 1 31125.0000 590 15931.0000 31125.0000 15879 95.37% 1777 2 31125.0000 590 15931.0000 31125.0000 15881 95.37% 1778 1 infeasible 15931.0000 31125.0000 15885 95.37% 1779 2 31125.0000 590 15931.0000 31125.0000 15887 95.37% 1780 1 infeasible 15931.0000 31125.0000 15892 95.37% 1781 2 31125.0000 590 15931.0000 31125.0000 15894 95.37% 1782 1 infeasible 15931.0000 31125.0000 15897 95.37% 1783 2 31125.0000 590 15931.0000 31125.0000 15899 95.37% 1784 1 infeasible 15931.0000 31125.0000 15900 95.37% Elapsed time = 1366.99 sec. (910292.91 ticks, tree = 0.01 MB, solutions = 1) 1795 2 31125.0000 590 15931.0000 31125.0000 15942 95.37% 1796 1 infeasible 15931.0000 31125.0000 15950 95.37% 1797 2 31125.0000 590 15931.0000 31125.0000 15952 95.37% 1798 1 infeasible 15931.0000 31125.0000 15966 95.37% 1799 1 31125.0000 590 15931.0000 31125.0000 15968 95.37% 1800 2 31125.0000 590 15931.0000 31125.0000 15970 95.37% 1801 1 infeasible 15931.0000 31125.0000 15973 95.37% 1802 2 31125.0000 590 15931.0000 31125.0000 15975 95.37% 1803 1 infeasible 15931.0000 31125.0000 15979 95.37% 1804 1 31125.0000 590 15931.0000 31125.0000 15981 95.37% Elapsed time = 1394.91 sec. (929649.84 ticks, tree = 0.01 MB, solutions = 1) 1817 2 31125.0000 590 15931.0000 31125.0000 16036 95.37% 1818 1 infeasible 15931.0000 31125.0000 16042 95.37% 1819 2 31125.0000 590 15931.0000 31125.0000 16044 95.37% 1820 1 infeasible 15931.0000 31125.0000 16049 95.37% 1821 2 31125.0000 590 15931.0000 31125.0000 16051 95.37% 1822 1 infeasible 15931.0000 31125.0000 16055 95.37% 1823 2 31125.0000 590 15931.0000 31125.0000 16057 95.37% 1824 1 infeasible 15931.0000 31125.0000 16065 95.37% 1825 2 31125.0000 590 15931.0000 31125.0000 16067 95.37% 1826 1 infeasible 15931.0000 31125.0000 16076 95.37% Elapsed time = 1406.59 sec. (936859.83 ticks, tree = 0.01 MB, solutions = 1) 1836 1 infeasible 15931.0000 31125.0000 16141 95.37% 1837 2 31125.0000 590 15931.0000 31125.0000 16143 95.37% 1838 1 infeasible 15931.0000 31125.0000 16156 95.37% 1839 2 31125.0000 590 15931.0000 31125.0000 16158 95.37% 1840 1 infeasible 15931.0000 31125.0000 16162 95.37% 1841 2 31125.0000 590 15931.0000 31125.0000 16164 95.37% 1842 1 infeasible 15931.0000 31125.0000 16176 95.37% 1843 2 31125.0000 590 15931.0000 31125.0000 16178 95.37% 1844 1 infeasible 15931.0000 31125.0000 16184 95.37% 1845 1 31125.0000 590 15931.0000 31125.0000 16186 95.37% Elapsed time = 1418.78 sec. (944316.84 ticks, tree = 0.01 MB, solutions = 1) 1860 2 30876.0000 588 15931.0000 30876.0000 16226 93.81% 1861 1 infeasible 15931.0000 30876.0000 16230 93.81% 1862 2 30876.0000 588 15931.0000 30876.0000 16232 93.81% 1863 1 infeasible 15931.0000 30876.0000 16234 93.81% 1864 2 30876.0000 588 15931.0000 30876.0000 16236 93.81% 1865 1 infeasible 15931.0000 30876.0000 16243 93.81% 1866 1 30876.0000 588 15931.0000 30876.0000 16245 93.81% 1867 1 30876.0000 588 15931.0000 30876.0000 16247 93.81% 1868 1 30876.0000 588 15931.0000 30876.0000 16249 93.81% 1869 2 30876.0000 588 15931.0000 30876.0000 16251 93.81% Elapsed time = 1429.50 sec. (950893.14 ticks, tree = 0.01 MB, solutions = 1) 1880 1 30876.0000 588 15931.0000 30876.0000 16289 93.81% 1881 1 30876.0000 588 15931.0000 30876.0000 16291 93.81% 1882 2 30876.0000 588 15931.0000 30876.0000 16293 93.81% 1883 1 infeasible 15931.0000 30876.0000 16300 93.81% 1884 2 30876.0000 588 15931.0000 30876.0000 16302 93.81% 1885 1 infeasible 15931.0000 30876.0000 16309 93.81% 1886 2 30876.0000 588 15931.0000 30876.0000 16311 93.81% 1887 1 infeasible 15931.0000 30876.0000 16325 93.81% 1888 2 30876.0000 588 15931.0000 30876.0000 16327 93.81% 1889 1 infeasible 15931.0000 30876.0000 16338 93.81% Elapsed time = 1444.55 sec. (960238.79 ticks, tree = 0.01 MB, solutions = 1) 1900 2 30876.0000 588 15931.0000 30876.0000 16382 93.81% 1901 1 infeasible 15931.0000 30876.0000 16398 93.81% 1902 2 30876.0000 588 15931.0000 30876.0000 16400 93.81% 1903 1 infeasible 15931.0000 30876.0000 16425 93.81% 1904 2 30876.0000 588 15931.0000 30876.0000 16427 93.81% 1905 1 infeasible 15931.0000 30876.0000 16437 93.81% 1906 2 30876.0000 588 15931.0000 30876.0000 16439 93.81% 1907 1 infeasible 15931.0000 30876.0000 16448 93.81% 1908 2 30876.0000 588 15931.0000 30876.0000 16450 93.81% 1932 2 30628.0000 586 15931.0000 30628.0000 16557 92.25% Elapsed time = 1469.59 sec. (975549.20 ticks, tree = 0.01 MB, solutions = 1) 1978 2 30628.0000 586 15931.0000 30628.0000 16752 92.25% 1979 1 infeasible 15931.0000 30628.0000 16765 92.25% 1980 2 30628.0000 586 15931.0000 30628.0000 16767 92.25% 1981 1 infeasible 15931.0000 30628.0000 16783 92.25% 1982 1 30628.0000 586 15931.0000 30628.0000 16785 92.25% 1983 2 30628.0000 586 15931.0000 30628.0000 16787 92.25% 1984 1 infeasible 15931.0000 30628.0000 16797 92.25% 1985 2 30628.0000 586 15931.0000 30628.0000 16799 92.25% 1986 1 infeasible 15931.0000 30628.0000 16812 92.25% 1987 2 30628.0000 586 15931.0000 30628.0000 16814 92.25% Elapsed time = 1502.63 sec. (994388.19 ticks, tree = 0.01 MB, solutions = 1) 2029 2 30381.0000 584 15931.0000 30381.0000 17066 90.70% 2030 1 infeasible 15931.0000 30381.0000 17067 90.70% 2031 2 30381.0000 584 15931.0000 30381.0000 17069 90.70% 2032 1 infeasible 15931.0000 30381.0000 17080 90.70% 2033 2 30381.0000 584 15931.0000 30381.0000 17082 90.70% 2034 1 infeasible 15931.0000 30381.0000 17086 90.70% 2035 1 30381.0000 584 15931.0000 30381.0000 17088 90.70% 2036 1 30381.0000 584 15931.0000 30381.0000 17090 90.70% 2037 1 30381.0000 584 15931.0000 30381.0000 17092 90.70% 2038 2 30381.0000 584 15931.0000 30381.0000 17094 90.70% Elapsed time = 1532.74 sec. (1012432.85 ticks, tree = 0.01 MB, solutions = 1) 2060 2 36243.0000 652 15931.0000 30135.0000 24386 89.16% 2061 2 35333.0000 639 15931.0000 30135.0000 24454 89.16% 2062 1 35155.0000 620 15931.0000 30135.0000 24525 89.16% 2063 1 35066.0000 619 15931.0000 30135.0000 24609 89.16% 2064 1 34710.0000 617 15931.0000 30135.0000 24683 89.16% 2065 1 33765.0000 609 15931.0000 30135.0000 24758 89.16% 2066 1 32808.8333 599 15931.0000 30135.0000 24837 89.16% 2067 1 31421.0000 585 15931.0000 30135.0000 24911 89.16% 2068 1 31244.0000 584 15931.0000 30135.0000 24959 89.16% 2069 1 30989.0000 581 15931.0000 30135.0000 25032 89.16% Elapsed time = 2105.47 sec. (1769096.94 ticks, tree = 0.01 MB, solutions = 1) 2070 1 30827.0000 581 15931.0000 30135.0000 25107 89.16% 2071 1 30827.0000 580 15931.0000 30135.0000 25128 89.16% 2072 1 30733.0000 579 15931.0000 30135.0000 25152 89.16% 2073 1 30733.0000 577 15931.0000 30135.0000 25167 89.16% 2074 1 30571.0000 575 15931.0000 30135.0000 25225 89.16% 2075 1 30327.0000 573 15931.0000 30135.0000 25252 89.16% 2076 1 29890.0000 569 15931.0000 29890.0000 25299 87.62% 2077 1 29890.0000 569 15931.0000 29890.0000 25333 87.62% 2078 1 29890.0000 569 15931.0000 29890.0000 25342 87.62% 2079 1 29890.0000 569 15931.0000 29890.0000 25392 87.62% Elapsed time = 2294.86 sec. (2128748.90 ticks, tree = 0.01 MB, solutions = 1) 2080 1 29890.0000 569 15931.0000 29890.0000 25449 87.62% 2081 1 29890.0000 569 15931.0000 29890.0000 25461 87.62% 2082 1 29890.0000 569 15931.0000 29890.0000 25472 87.62% 2083 1 29890.0000 569 15931.0000 29890.0000 25479 87.62% 2084 1 29890.0000 569 15931.0000 29890.0000 25481 87.62% 2085 1 29890.0000 569 15931.0000 29890.0000 25483 87.62% 2086 2 29890.0000 569 15931.0000 29890.0000 25484 87.62% 2087 2 29890.0000 569 15931.0000 29890.0000 25486 87.62% 2088 2 29890.0000 569 15931.0000 29890.0000 25487 87.62% 2089 2 29890.0000 569 15931.0000 29890.0000 25488 87.62% Elapsed time = 2338.31 sec. (2199465.35 ticks, tree = 0.03 MB, solutions = 1) 2106 12 29890.0000 568 15931.0000 29890.0000 25528 87.62% 2107 11 infeasible 15931.0000 29890.0000 25533 87.62% 2108 12 29890.0000 568 15931.0000 29890.0000 25535 87.62% 2109 13 29890.0000 569 15931.0000 29890.0000 25538 87.62% 2110 14 29890.0000 568 15931.0000 29890.0000 25539 87.62% 2111 15 29890.0000 560 15931.0000 29890.0000 25540 87.62% 2112 16 29890.0000 562 15931.0000 29890.0000 25542 87.62% 2113 17 29890.0000 561 15931.0000 29890.0000 25544 87.62% 2114 17 29890.0000 561 15931.0000 29890.0000 25546 87.62% 2115 17 29890.0000 561 15931.0000 29890.0000 25547 87.62% Elapsed time = 2372.09 sec. (2230184.13 ticks, tree = 1.31 MB, solutions = 1) 2130 23 29890.0000 545 15931.0000 29890.0000 25585 87.62% 2131 23 29890.0000 545 15931.0000 29890.0000 25586 87.62% 2132 24 29890.0000 545 15931.0000 29890.0000 25587 87.62% 2133 24 29890.0000 545 15931.0000 29890.0000 25588 87.62% 2134 24 29890.0000 545 15931.0000 29890.0000 25589 87.62% 2135 25 29890.0000 545 15931.0000 29890.0000 25590 87.62% 2136 26 29890.0000 544 15931.0000 29890.0000 25591 87.62% 2137 27 29890.0000 544 15931.0000 29890.0000 25593 87.62% 2138 27 29890.0000 544 15931.0000 29890.0000 25595 87.62% 2139 27 29890.0000 544 15931.0000 29890.0000 25596 87.62% Elapsed time = 2402.42 sec. (2253882.56 ticks, tree = 1.55 MB, solutions = 1) 2158 35 29890.0000 531 15931.0000 29890.0000 25675 87.62% 2159 34 infeasible 15931.0000 29890.0000 25679 87.62% 2160 35 29890.0000 531 15931.0000 29890.0000 25681 87.62% 2161 34 infeasible 15931.0000 29890.0000 25695 87.62% 2162 35 29890.0000 531 15931.0000 29890.0000 25697 87.62% 2163 34 infeasible 15931.0000 29890.0000 25709 87.62% 2164 35 29890.0000 531 15931.0000 29890.0000 25711 87.62% 2165 34 infeasible 15931.0000 29890.0000 25722 87.62% 2166 34 29890.0000 531 15931.0000 29890.0000 25724 87.62% 2167 34 29890.0000 531 15931.0000 29890.0000 25725 87.62% Elapsed time = 2435.80 sec. (2278529.00 ticks, tree = 1.72 MB, solutions = 1) 2183 35 29890.0000 531 15931.0000 29890.0000 25750 87.62% 2184 34 infeasible 15931.0000 29890.0000 25759 87.62% 2185 35 29890.0000 531 15931.0000 29890.0000 25761 87.62% 2186 34 infeasible 15931.0000 29890.0000 25769 87.62% 2187 34 29890.0000 531 15931.0000 29890.0000 25771 87.62% 2188 34 29890.0000 531 15931.0000 29890.0000 25772 87.62% 2189 34 29890.0000 531 15931.0000 29890.0000 25773 87.62% 2190 34 29890.0000 531 15931.0000 29890.0000 25774 87.62% 2191 34 29890.0000 531 15931.0000 29890.0000 25775 87.62% 2192 34 29890.0000 531 15931.0000 29890.0000 25776 87.62% Elapsed time = 2466.56 sec. (2302361.53 ticks, tree = 1.72 MB, solutions = 1) 2211 35 29890.0000 531 15931.0000 29890.0000 25884 87.62% 2212 34 infeasible 15931.0000 29890.0000 25900 87.62% 2213 35 29890.0000 531 15931.0000 29890.0000 25902 87.62% 2214 34 infeasible 15931.0000 29890.0000 25925 87.62% 2215 35 29890.0000 531 15931.0000 29890.0000 25927 87.62% 2216 34 infeasible 15931.0000 29890.0000 25942 87.62% 2217 35 29890.0000 531 15931.0000 29890.0000 25944 87.62% 2218 34 infeasible 15931.0000 29890.0000 25961 87.62% 2219 35 29890.0000 531 15931.0000 29890.0000 25963 87.62% 2220 34 infeasible 15931.0000 29890.0000 25970 87.62% Elapsed time = 2498.00 sec. (2325536.09 ticks, tree = 1.72 MB, solutions = 1) 2236 34 29890.0000 531 15931.0000 29890.0000 26030 87.62% 2237 34 29890.0000 531 15931.0000 29890.0000 26031 87.62% 2238 34 29890.0000 531 15931.0000 29890.0000 26032 87.62% 2239 34 29890.0000 531 15931.0000 29890.0000 26033 87.62% 2240 34 29890.0000 531 15931.0000 29890.0000 26034 87.62% 2241 35 29890.0000 531 15931.0000 29890.0000 26034 87.62% 2242 36 29890.0000 531 15931.0000 29890.0000 26035 87.62% 2243 35 cutoff 15931.0000 29890.0000 26061 87.62% 2244 36 29890.0000 531 15931.0000 29890.0000 26063 87.62% 2245 35 infeasible 15931.0000 29890.0000 26071 87.62% Elapsed time = 2529.22 sec. (2349429.77 ticks, tree = 1.75 MB, solutions = 1) 2263 36 infeasible 15931.0000 29890.0000 26180 87.62% 2264 37 29890.0000 531 15931.0000 29890.0000 26182 87.62% 2265 36 infeasible 15931.0000 29890.0000 26187 87.62% 2266 36 29890.0000 531 15931.0000 29890.0000 26189 87.62% 2267 36 29890.0000 531 15931.0000 29890.0000 26190 87.62% 2268 36 29890.0000 531 15931.0000 29890.0000 26191 87.62% 2269 36 29890.0000 531 15931.0000 29890.0000 26192 87.62% 2270 37 29890.0000 531 15931.0000 29890.0000 26193 87.62% 2271 36 infeasible 15931.0000 29890.0000 26204 87.62% 2272 36 29890.0000 531 15931.0000 29890.0000 26206 87.62% Elapsed time = 2562.27 sec. (2374071.44 ticks, tree = 1.77 MB, solutions = 1) 2288 36 29890.0000 531 15931.0000 29890.0000 26243 87.62% 2289 36 29890.0000 531 15931.0000 29890.0000 26244 87.62% 2290 36 29890.0000 531 15931.0000 29890.0000 26245 87.62% 2291 37 29890.0000 531 15931.0000 29890.0000 26246 87.62% 2292 36 infeasible 15931.0000 29890.0000 26263 87.62% 2293 37 29890.0000 531 15931.0000 29890.0000 26265 87.62% 2294 36 infeasible 15931.0000 29890.0000 26280 87.62% 2295 37 29890.0000 531 15931.0000 29890.0000 26282 87.62% 2296 36 infeasible 15931.0000 29890.0000 26300 87.62% 2297 37 29890.0000 531 15931.0000 29890.0000 26302 87.62% Elapsed time = 2593.08 sec. (2398372.76 ticks, tree = 1.77 MB, solutions = 1) 2316 37 29890.0000 531 15931.0000 29890.0000 26441 87.62% 2317 36 infeasible 15931.0000 29890.0000 26458 87.62% 2318 37 29890.0000 531 15931.0000 29890.0000 26460 87.62% 2319 36 infeasible 15931.0000 29890.0000 26477 87.62% 2320 37 29890.0000 531 15931.0000 29890.0000 26479 87.62% 2321 36 infeasible 15931.0000 29890.0000 26490 87.62% 2322 37 29890.0000 531 15931.0000 29890.0000 26492 87.62% 2323 36 infeasible 15931.0000 29890.0000 26511 87.62% 2324 37 29890.0000 531 15931.0000 29890.0000 26513 87.62% 2325 36 infeasible 15931.0000 29890.0000 26525 87.62% Elapsed time = 2625.53 sec. (2422229.19 ticks, tree = 1.77 MB, solutions = 1) 2343 36 29890.0000 531 15931.0000 29890.0000 26658 87.62% 2344 37 29890.0000 531 15931.0000 29890.0000 26659 87.62% 2345 36 infeasible 15931.0000 29890.0000 26667 87.62% 2346 36 29890.0000 531 15931.0000 29890.0000 26669 87.62% 2347 36 29890.0000 531 15931.0000 29890.0000 26670 87.62% 2348 36 29890.0000 531 15931.0000 29890.0000 26671 87.62% 2349 36 29890.0000 531 15931.0000 29890.0000 26672 87.62% 2350 36 29890.0000 531 15931.0000 29890.0000 26673 87.62% 2351 37 29890.0000 531 15931.0000 29890.0000 26673 87.62% 2352 37 29890.0000 531 15931.0000 29890.0000 26674 87.62% Elapsed time = 2658.33 sec. (2446514.14 ticks, tree = 1.79 MB, solutions = 1) 2368 37 29890.0000 531 15931.0000 29890.0000 26766 87.62% 2369 37 29890.0000 531 15931.0000 29890.0000 26767 87.62% 2370 37 29890.0000 531 15931.0000 29890.0000 26768 87.62% 2371 37 29890.0000 531 15931.0000 29890.0000 26769 87.62% 2372 37 29890.0000 531 15931.0000 29890.0000 26770 87.62% 2373 37 29890.0000 531 15931.0000 29890.0000 26771 87.62% 2374 37 29890.0000 531 15931.0000 29890.0000 26772 87.62% 2375 37 29890.0000 531 15931.0000 29890.0000 26773 87.62% 2376 37 29890.0000 531 15931.0000 29890.0000 26774 87.62% 2377 37 29890.0000 531 15931.0000 29890.0000 26775 87.62% Elapsed time = 2690.94 sec. (2471058.57 ticks, tree = 1.79 MB, solutions = 1) 2394 37 29890.0000 531 15931.0000 29890.0000 26820 87.62% 2395 37 29890.0000 531 15931.0000 29890.0000 26821 87.62% 2396 37 29890.0000 531 15931.0000 29890.0000 26822 87.62% 2397 37 29890.0000 531 15931.0000 29890.0000 26823 87.62% 2398 38 29890.0000 531 15931.0000 29890.0000 26824 87.62% 2399 37 infeasible 15931.0000 29890.0000 26841 87.62% 2400 38 29890.0000 531 15931.0000 29890.0000 26843 87.62% 2401 37 infeasible 15931.0000 29890.0000 26848 87.62% 2402 38 29890.0000 531 15931.0000 29890.0000 26850 87.62% 2403 37 infeasible 15931.0000 29890.0000 26871 87.62% Elapsed time = 2722.38 sec. (2494850.14 ticks, tree = 1.79 MB, solutions = 1) 2420 37 29890.0000 531 15931.0000 29890.0000 26947 87.62% 2421 38 29890.0000 531 15931.0000 29890.0000 26947 87.62% 2422 38 29890.0000 531 15931.0000 29890.0000 26948 87.62% 2423 38 29890.0000 531 15931.0000 29890.0000 26949 87.62% 2424 38 29890.0000 531 15931.0000 29890.0000 26950 87.62% 2425 38 29890.0000 531 15931.0000 29890.0000 26951 87.62% 2426 38 29890.0000 531 15931.0000 29890.0000 26952 87.62% 2427 38 29821.0000 531 15931.0000 29890.0000 26953 87.62% 2428 39 29820.0000 540 15931.0000 29890.0000 26987 87.62% 2429 40 29820.0000 532 15931.0000 29890.0000 26989 87.62% Elapsed time = 2753.84 sec. (2518587.97 ticks, tree = 1.82 MB, solutions = 1) 2450 46 29819.0000 530 15931.0000 29890.0000 27040 87.62% 2451 45 cutoff 15931.0000 29890.0000 27069 87.62% 2452 45 29819.0000 530 15931.0000 29890.0000 27071 87.62% 2453 45 29819.0000 530 15931.0000 29890.0000 27073 87.62% 2454 45 29819.0000 530 15931.0000 29890.0000 27074 87.62% 2455 45 29819.0000 530 15931.0000 29890.0000 27075 87.62% 2456 45 29819.0000 530 15931.0000 29890.0000 27076 87.62% 2457 45 29819.0000 530 15931.0000 29890.0000 27077 87.62% 2458 45 29819.0000 530 15931.0000 29890.0000 27078 87.62% 2459 45 29819.0000 530 15931.0000 29890.0000 27079 87.62% Elapsed time = 2786.66 sec. (2542386.41 ticks, tree = 1.99 MB, solutions = 1) 2478 45 infeasible 15931.0000 29890.0000 27110 87.62% 2479 45 29333.0000 526 15931.0000 29890.0000 27112 87.62% 2480 45 29333.0000 526 15931.0000 29890.0000 27113 87.62% 2481 45 29333.0000 526 15931.0000 29890.0000 27114 87.62% 2482 45 29333.0000 526 15931.0000 29890.0000 27115 87.62% 2483 45 29333.0000 526 15931.0000 29890.0000 27116 87.62% 2484 46 29333.0000 526 15931.0000 29890.0000 27117 87.62% 2485 45 infeasible 15931.0000 29890.0000 27125 87.62% 2486 46 29333.0000 526 15931.0000 29890.0000 27127 87.62% 2487 45 infeasible 15931.0000 29890.0000 27140 87.62% Elapsed time = 2817.74 sec. (2565952.34 ticks, tree = 1.99 MB, solutions = 1) 2506 46 29161.0000 525 15931.0000 29890.0000 27237 87.62% 2507 46 29161.0000 525 15931.0000 29890.0000 27238 87.62% 2508 46 29161.0000 525 15931.0000 29890.0000 27239 87.62% 2509 46 29161.0000 525 15931.0000 29890.0000 27240 87.62% 2510 46 29161.0000 525 15931.0000 29890.0000 27241 87.62% 2511 47 29161.0000 525 15931.0000 29890.0000 27242 87.62% 2512 46 infeasible 15931.0000 29890.0000 27250 87.62% 2513 47 29161.0000 525 15931.0000 29890.0000 27251 87.62% 2514 46 cutoff 15931.0000 29890.0000 27281 87.62% 2515 47 29161.0000 525 15931.0000 29890.0000 27282 87.62% Elapsed time = 2850.25 sec. (2589436.45 ticks, tree = 2.02 MB, solutions = 1) 2535 46 29161.0000 525 15931.0000 29890.0000 27379 87.62% 2536 46 29161.0000 525 15931.0000 29890.0000 27381 87.62% 2537 46 29161.0000 525 15931.0000 29890.0000 27382 87.62% 2538 46 29161.0000 525 15931.0000 29890.0000 27383 87.62% 2539 46 29161.0000 525 15931.0000 29890.0000 27384 87.62% 2540 46 29161.0000 525 15931.0000 29890.0000 27385 87.62% 2541 47 29161.0000 525 15931.0000 29890.0000 27385 87.62% 2542 47 29161.0000 525 15931.0000 29890.0000 27386 87.62% 2543 47 29161.0000 525 15931.0000 29890.0000 27387 87.62% 2544 47 29161.0000 525 15931.0000 29890.0000 27388 87.62% Elapsed time = 2884.95 sec. (2614790.54 ticks, tree = 2.04 MB, solutions = 1) 2561 47 28921.0000 523 15931.0000 29890.0000 27410 87.62% 2562 47 28921.0000 523 15931.0000 29890.0000 27411 87.62% 2563 47 28921.0000 523 15931.0000 29890.0000 27412 87.62% 2564 47 28921.0000 523 15931.0000 29890.0000 27413 87.62% 2565 47 28921.0000 523 15931.0000 29890.0000 27414 87.62% 2566 47 28921.0000 523 15931.0000 29890.0000 27415 87.62% 2567 47 28921.0000 523 15931.0000 29890.0000 27416 87.62% 2568 47 28921.0000 523 15931.0000 29890.0000 27417 87.62% 2569 47 28921.0000 523 15931.0000 29890.0000 27418 87.62% 2570 47 28921.0000 523 15931.0000 29890.0000 27419 87.62% Elapsed time = 2915.89 sec. (2640178.96 ticks, tree = 2.04 MB, solutions = 1) 2585 48 28849.0000 525 15931.0000 29890.0000 27447 87.62% 2586 48 28849.0000 525 15931.0000 29890.0000 27448 87.62% 2587 48 28849.0000 525 15931.0000 29890.0000 27449 87.62% 2588 48 28849.0000 525 15931.0000 29890.0000 27450 87.62% 2589 48 28849.0000 525 15931.0000 29890.0000 27451 87.62% 2590 48 28849.0000 525 15931.0000 29890.0000 27452 87.62% 2591 48 28849.0000 525 15931.0000 29890.0000 27453 87.62% 2592 48 28849.0000 525 15931.0000 29890.0000 27454 87.62% 2593 48 28778.0000 525 15931.0000 29890.0000 27455 87.62% 2594 49 28778.0000 529 15931.0000 29890.0000 27466 87.62% Elapsed time = 2946.64 sec. (2666047.23 ticks, tree = 2.07 MB, solutions = 1) 2612 51 28777.0000 521 15931.0000 29890.0000 27504 87.62% 2613 51 28777.0000 521 15931.0000 29890.0000 27505 87.62% 2614 51 28777.0000 521 15931.0000 29890.0000 27506 87.62% 2615 51 28777.0000 521 15931.0000 29890.0000 27507 87.62% 2616 51 28777.0000 521 15931.0000 29890.0000 27508 87.62% 2617 51 28705.0000 521 15931.0000 29890.0000 27509 87.62% 2618 51 28705.0000 520 15931.0000 29890.0000 27510 87.62% 2619 51 28705.0000 520 15931.0000 29890.0000 27512 87.62% 2620 51 28705.0000 520 15931.0000 29890.0000 27513 87.62% 2621 51 28705.0000 520 15931.0000 29890.0000 27514 87.62% Elapsed time = 2977.69 sec. (2690564.73 ticks, tree = 2.14 MB, solutions = 1) 2637 51 28637.0000 519 15931.0000 29890.0000 27556 87.62% 2638 51 28637.0000 519 15931.0000 29890.0000 27557 87.62% 2639 51 28637.0000 519 15931.0000 29890.0000 27558 87.62% 2640 51 28637.0000 519 15931.0000 29890.0000 27559 87.62% 2641 51 28637.0000 519 15931.0000 29890.0000 27560 87.62% 2642 51 28637.0000 519 15931.0000 29890.0000 27561 87.62% 2643 51 28637.0000 519 15931.0000 29890.0000 27562 87.62% 2644 51 28637.0000 519 15931.0000 29890.0000 27563 87.62% 2645 51 28637.0000 519 15931.0000 29890.0000 27564 87.62% 2646 51 28637.0000 519 15931.0000 29890.0000 27565 87.62% Elapsed time = 3008.09 sec. (2715271.11 ticks, tree = 2.14 MB, solutions = 1) 2665 51 28567.0000 518 15931.0000 29890.0000 27639 87.62% 2666 52 28567.0000 518 15931.0000 29890.0000 27640 87.62% 2667 51 infeasible 15931.0000 29890.0000 27652 87.62% 2668 52 28567.0000 518 15931.0000 29890.0000 27654 87.62% 2669 51 infeasible 15931.0000 29890.0000 27665 87.62% 2670 52 28567.0000 518 15931.0000 29890.0000 27667 87.62% 2671 51 infeasible 15931.0000 29890.0000 27675 87.62% 2672 52 28567.0000 518 15931.0000 29890.0000 27677 87.62% 2673 51 infeasible 15931.0000 29890.0000 27680 87.62% 2674 51 28567.0000 518 15931.0000 29890.0000 27682 87.62% Elapsed time = 3040.84 sec. (2739943.62 ticks, tree = 2.14 MB, solutions = 1) 2690 52 28567.0000 518 15931.0000 29890.0000 27697 87.62% 2691 52 28567.0000 518 15931.0000 29890.0000 27698 87.62% 2692 52 28567.0000 518 15931.0000 29890.0000 27699 87.62% 2693 52 28567.0000 518 15931.0000 29890.0000 27700 87.62% 2694 52 28567.0000 518 15931.0000 29890.0000 27701 87.62% 2695 52 28494.6667 518 15931.0000 29890.0000 27702 87.62% 2696 53 28494.6667 522 15931.0000 29890.0000 27705 87.62% 2697 54 28494.5000 521 15931.0000 29890.0000 27707 87.62% 2698 55 28494.0000 517 15931.0000 29890.0000 27708 87.62% 2699 54 infeasible 15931.0000 29890.0000 27712 87.62% Elapsed time = 3069.36 sec. (2762832.66 ticks, tree = 2.21 MB, solutions = 1) 2715 54 28494.0000 517 15931.0000 29890.0000 27781 87.62% 2716 55 28494.0000 517 15931.0000 29890.0000 27782 87.62% 2717 54 infeasible 15931.0000 29890.0000 27796 87.62% 2718 55 28494.0000 517 15931.0000 29890.0000 27797 87.62% 2719 54 infeasible 15931.0000 29890.0000 27808 87.62% 2720 55 28494.0000 517 15931.0000 29890.0000 27809 87.62% 2721 54 infeasible 15931.0000 29890.0000 27821 87.62% 2722 55 28494.0000 517 15931.0000 29890.0000 27822 87.62% 2723 54 infeasible 15931.0000 29890.0000 27837 87.62% 2724 55 28494.0000 517 15931.0000 29890.0000 27838 87.62% Elapsed time = 3101.61 sec. (2787137.93 ticks, tree = 2.21 MB, solutions = 1) 2745 54 27999.0000 514 15931.0000 29890.0000 27966 87.62% 2746 54 27830.0000 513 15931.0000 29890.0000 27967 87.62% 2747 55 27668.0000 512 15931.0000 29890.0000 27968 87.62% 2748 54 infeasible 15931.0000 29890.0000 27975 87.62% 2749 55 27668.0000 512 15931.0000 29890.0000 27977 87.62% 2750 54 infeasible 15931.0000 29890.0000 27989 87.62% 2751 55 27668.0000 512 15931.0000 29890.0000 27991 87.62% 2752 54 infeasible 15931.0000 29890.0000 28001 87.62% 2753 55 27668.0000 512 15931.0000 29890.0000 28003 87.62% 2754 54 infeasible 15931.0000 29890.0000 28009 87.62% Elapsed time = 3129.91 sec. (2809136.95 ticks, tree = 2.21 MB, solutions = 1) 2771 55 27495.0000 511 15931.0000 29890.0000 28096 87.62% 2772 54 infeasible 15931.0000 29890.0000 28107 87.62% 2773 55 27495.0000 511 15931.0000 29890.0000 28109 87.62% 2774 54 infeasible 15931.0000 29890.0000 28116 87.62% 2775 55 27495.0000 511 15931.0000 29890.0000 28118 87.62% 2776 54 infeasible 15931.0000 29890.0000 28132 87.62% 2777 55 27495.0000 511 15931.0000 29890.0000 28134 87.62% 2778 54 infeasible 15931.0000 29890.0000 28140 87.62% 2779 55 27495.0000 511 15931.0000 29890.0000 28142 87.62% 2780 54 infeasible 15931.0000 29890.0000 28151 87.62% Elapsed time = 3160.03 sec. (2832052.31 ticks, tree = 2.21 MB, solutions = 1) 2798 54 27495.0000 511 15931.0000 29890.0000 28267 87.62% 2799 54 27495.0000 511 15931.0000 29890.0000 28269 87.62% 2800 54 27495.0000 511 15931.0000 29890.0000 28270 87.62% 2801 55 27495.0000 511 15931.0000 29890.0000 28270 87.62% 2802 55 27495.0000 511 15931.0000 29890.0000 28271 87.62% 2803 55 27495.0000 511 15931.0000 29890.0000 28272 87.62% 2804 55 27495.0000 511 15931.0000 29890.0000 28273 87.62% 2805 55 27495.0000 511 15931.0000 29890.0000 28274 87.62% 2806 55 27495.0000 511 15931.0000 29890.0000 28275 87.62% 2807 55 27495.0000 511 15931.0000 29890.0000 28276 87.62% Elapsed time = 3193.89 sec. (2857050.43 ticks, tree = 2.24 MB, solutions = 1) 2823 56 infeasible 15931.0000 29890.0000 28312 87.62% 2824 57 27495.0000 511 15931.0000 29890.0000 28314 87.62% 2825 56 infeasible 15931.0000 29890.0000 28325 87.62% 2826 57 27495.0000 511 15931.0000 29890.0000 28327 87.62% 2827 56 infeasible 15931.0000 29890.0000 28335 87.62% 2828 57 27495.0000 511 15931.0000 29890.0000 28337 87.62% 2829 56 infeasible 15931.0000 29890.0000 28344 87.62% 2830 57 27495.0000 511 15931.0000 29890.0000 28346 87.62% 2831 56 infeasible 15931.0000 29890.0000 28356 87.62% 2832 57 27495.0000 511 15931.0000 29890.0000 28358 87.62% Elapsed time = 3225.22 sec. (2881475.96 ticks, tree = 2.26 MB, solutions = 1) 2848 57 27495.0000 511 15931.0000 29890.0000 28397 87.62% 2849 57 27495.0000 511 15931.0000 29890.0000 28398 87.62% 2850 57 27495.0000 511 15931.0000 29890.0000 28399 87.62% 2851 58 27495.0000 511 15931.0000 29890.0000 28399 87.62% 2852 58 27495.0000 511 15931.0000 29890.0000 28400 87.62% 2853 58 27495.0000 511 15931.0000 29890.0000 28401 87.62% 2854 58 27495.0000 511 15931.0000 29890.0000 28402 87.62% 2855 58 27495.0000 511 15931.0000 29890.0000 28403 87.62% 2856 58 27495.0000 511 15931.0000 29890.0000 28404 87.62% 2857 58 27495.0000 511 15931.0000 29890.0000 28405 87.62% Elapsed time = 3256.72 sec. (2905726.79 ticks, tree = 2.31 MB, solutions = 1) 2874 60 27495.0000 511 15931.0000 29890.0000 28491 87.62% 2875 59 infeasible 15931.0000 29890.0000 28504 87.62% 2876 60 27495.0000 511 15931.0000 29890.0000 28506 87.62% 2877 59 infeasible 15931.0000 29890.0000 28521 87.62% 2878 60 27495.0000 511 15931.0000 29890.0000 28523 87.62% 2879 59 infeasible 15931.0000 29890.0000 28536 87.62% 2880 60 27495.0000 511 15931.0000 29890.0000 28538 87.62% 2881 59 infeasible 15931.0000 29890.0000 28555 87.62% 2882 60 27495.0000 511 15931.0000 29890.0000 28557 87.62% 2883 59 infeasible 15931.0000 29890.0000 28570 87.62% Elapsed time = 3291.31 sec. (2929519.26 ticks, tree = 2.34 MB, solutions = 1) 2899 60 27495.0000 511 15931.0000 29890.0000 28611 87.62% 2900 60 27495.0000 511 15931.0000 29890.0000 28612 87.62% 2901 61 27495.0000 511 15931.0000 29890.0000 28612 87.62% 2902 61 27495.0000 511 15931.0000 29890.0000 28613 87.62% 2903 61 27495.0000 511 15931.0000 29890.0000 28614 87.62% 2904 61 27495.0000 511 15931.0000 29890.0000 28615 87.62% 2905 61 27495.0000 511 15931.0000 29890.0000 28616 87.62% 2906 61 27495.0000 511 15931.0000 29890.0000 28617 87.62% 2907 61 27495.0000 511 15931.0000 29890.0000 28618 87.62% 2908 61 27495.0000 511 15931.0000 29890.0000 28619 87.62% Elapsed time = 3341.42 sec. (2968356.41 ticks, tree = 2.39 MB, solutions = 1) 2925 61 27495.0000 511 15931.0000 29890.0000 28689 87.62% 2926 62 27495.0000 511 15931.0000 29890.0000 28690 87.62% 2927 61 infeasible 15931.0000 29890.0000 28696 87.62% 2928 62 27495.0000 511 15931.0000 29890.0000 28698 87.62% 2929 61 infeasible 15931.0000 29890.0000 28704 87.62% 2930 62 27495.0000 511 15931.0000 29890.0000 28706 87.62% 2931 61 infeasible 15931.0000 29890.0000 28709 87.62% 2932 61 27495.0000 511 15931.0000 29890.0000 28711 87.62% 2933 62 27495.0000 511 15931.0000 29890.0000 28712 87.62% 2934 61 infeasible 15931.0000 29890.0000 28723 87.62% Elapsed time = 3373.09 sec. (2992720.19 ticks, tree = 2.39 MB, solutions = 1) 2949 62 27495.0000 511 15931.0000 29890.0000 28747 87.62% 2950 62 27495.0000 511 15931.0000 29890.0000 28748 87.62% 2951 62 27495.0000 511 15931.0000 29890.0000 28749 87.62% 2952 62 27495.0000 511 15931.0000 29890.0000 28750 87.62% 2953 62 27495.0000 511 15931.0000 29890.0000 28751 87.62% 2954 62 27495.0000 511 15931.0000 29890.0000 28752 87.62% 2955 62 27495.0000 511 15931.0000 29890.0000 28753 87.62% 2956 62 27495.0000 511 15931.0000 29890.0000 28754 87.62% 2957 62 27495.0000 511 15931.0000 29890.0000 28755 87.62% 2958 62 27495.0000 511 15931.0000 29890.0000 28756 87.62% Elapsed time = 3404.72 sec. (3018033.58 ticks, tree = 2.41 MB, solutions = 1) 2976 63 27495.0000 511 15931.0000 29890.0000 28863 87.62% 2977 62 infeasible 15931.0000 29890.0000 28878 87.62% 2978 63 27495.0000 511 15931.0000 29890.0000 28880 87.62% 2979 62 infeasible 15931.0000 29890.0000 28889 87.62% 2980 63 27495.0000 511 15931.0000 29890.0000 28891 87.62% 2981 62 infeasible 15931.0000 29890.0000 28905 87.62% 2982 63 27495.0000 511 15931.0000 29890.0000 28907 87.62% 2983 62 infeasible 15931.0000 29890.0000 28914 87.62% 2984 62 27495.0000 511 15931.0000 29890.0000 28916 87.62% 2985 62 27495.0000 511 15931.0000 29890.0000 28917 87.62% Elapsed time = 3437.67 sec. (3042303.65 ticks, tree = 2.41 MB, solutions = 1) 3000 62 27495.0000 511 15931.0000 29890.0000 28932 87.62% 3001 62 27495.0000 511 15931.0000 29890.0000 28933 87.62% 3002 62 27495.0000 511 15931.0000 29890.0000 28934 87.62% 3003 62 27495.0000 511 15931.0000 29890.0000 28935 87.62% 3004 62 27495.0000 511 15931.0000 29890.0000 28936 87.62% 3005 62 27495.0000 511 15931.0000 29890.0000 28937 87.62% 3006 62 27495.0000 511 15931.0000 29890.0000 28938 87.62% 3007 63 27495.0000 511 15931.0000 29890.0000 28939 87.62% 3008 62 infeasible 15931.0000 29890.0000 28949 87.62% 3009 63 27495.0000 511 15931.0000 29890.0000 28951 87.62% Elapsed time = 3468.88 sec. (3066942.60 ticks, tree = 2.41 MB, solutions = 1) 3025 62 27495.0000 511 15931.0000 29890.0000 29013 87.62% 3026 62 27495.0000 511 15931.0000 29890.0000 29014 87.62% 3027 62 27495.0000 511 15931.0000 29890.0000 29015 87.62% 3028 62 27495.0000 511 15931.0000 29890.0000 29016 87.62% 3029 62 27495.0000 511 15931.0000 29890.0000 29017 87.62% 3030 62 27495.0000 511 15931.0000 29890.0000 29018 87.62% 3031 62 27495.0000 511 15931.0000 29890.0000 29019 87.62% 3032 62 27495.0000 511 15931.0000 29890.0000 29020 87.62% 3033 62 27495.0000 511 15931.0000 29890.0000 29021 87.62% 3034 62 27495.0000 511 15931.0000 29890.0000 29022 87.62% Elapsed time = 3500.72 sec. (3091644.48 ticks, tree = 2.41 MB, solutions = 1) 3050 63 27495.0000 511 15931.0000 29890.0000 29061 87.62% 3051 62 infeasible 15931.0000 29890.0000 29067 87.62% 3052 63 27495.0000 511 15931.0000 29890.0000 29069 87.62% 3053 62 infeasible 15931.0000 29890.0000 29075 87.62% 3054 63 27495.0000 511 15931.0000 29890.0000 29077 87.62% 3055 62 infeasible 15931.0000 29890.0000 29080 87.62% 3056 62 27495.0000 511 15931.0000 29890.0000 29082 87.62% 3057 63 27495.0000 511 15931.0000 29890.0000 29083 87.62% 3058 62 infeasible 15931.0000 29890.0000 29090 87.62% 3059 63 27495.0000 511 15931.0000 29890.0000 29092 87.62% Elapsed time = 3534.47 sec. (3115831.95 ticks, tree = 2.41 MB, solutions = 1) 3077 63 27495.0000 511 15931.0000 29890.0000 29214 87.62% 3078 62 infeasible 15931.0000 29890.0000 29225 87.62% 3079 63 27495.0000 511 15931.0000 29890.0000 29227 87.62% 3080 62 infeasible 15931.0000 29890.0000 29238 87.62% 3081 63 27495.0000 511 15931.0000 29890.0000 29240 87.62% 3082 62 infeasible 15931.0000 29890.0000 29249 87.62% 3083 63 27495.0000 511 15931.0000 29890.0000 29251 87.62% 3084 62 infeasible 15931.0000 29890.0000 29282 87.62% 3085 63 27495.0000 511 15931.0000 29890.0000 29284 87.62% 3086 62 infeasible 15931.0000 29890.0000 29292 87.62% Elapsed time = 3571.13 sec. (3138880.42 ticks, tree = 2.41 MB, solutions = 1) 3105 63 27495.0000 511 15931.0000 29890.0000 29379 87.62% 3106 62 infeasible 15931.0000 29890.0000 29392 87.62% 3107 63 27495.0000 511 15931.0000 29890.0000 29394 87.62% 3108 62 infeasible 15931.0000 29890.0000 29408 87.62% 3109 63 27495.0000 511 15931.0000 29890.0000 29410 87.62% 3110 62 infeasible 15931.0000 29890.0000 29421 87.62% 3111 63 27495.0000 511 15931.0000 29890.0000 29423 87.62% 3112 62 cutoff 15931.0000 29890.0000 29448 87.62% 3113 63 27495.0000 511 15931.0000 29890.0000 29450 87.62% 3114 62 infeasible 15931.0000 29890.0000 29459 87.62% Elapsed time = 3602.30 sec. (3162604.56 ticks, tree = 2.41 MB, solutions = 1) 3131 62 27495.0000 511 15931.0000 29890.0000 29539 87.62% 3132 62 27495.0000 511 15931.0000 29890.0000 29540 87.62% 3133 62 27495.0000 511 15931.0000 29890.0000 29541 87.62% 3134 62 27495.0000 511 15931.0000 29890.0000 29542 87.62% 3135 62 27495.0000 511 15931.0000 29890.0000 29543 87.62% 3136 62 27495.0000 511 15931.0000 29890.0000 29544 87.62% 3137 62 27495.0000 511 15931.0000 29890.0000 29545 87.62% 3138 62 27495.0000 511 15931.0000 29890.0000 29546 87.62% 3139 62 27495.0000 511 15931.0000 29890.0000 29547 87.62% 3140 62 27495.0000 511 15931.0000 29890.0000 29548 87.62% Elapsed time = 3635.11 sec. (3189000.69 ticks, tree = 2.41 MB, solutions = 1) 3157 64 27495.0000 511 15931.0000 29890.0000 29590 87.62% 3158 63 infeasible 15931.0000 29890.0000 29602 87.62% 3159 64 27495.0000 511 15931.0000 29890.0000 29604 87.62% 3160 63 infeasible 15931.0000 29890.0000 29616 87.62% 3161 64 27495.0000 511 15931.0000 29890.0000 29618 87.62% 3162 63 infeasible 15931.0000 29890.0000 29629 87.62% 3163 64 27495.0000 511 15931.0000 29890.0000 29631 87.62% 3164 63 infeasible 15931.0000 29890.0000 29642 87.62% 3165 64 27495.0000 511 15931.0000 29890.0000 29644 87.62% 3166 63 infeasible 15931.0000 29890.0000 29652 87.62% Elapsed time = 3663.42 sec. (3212274.12 ticks, tree = 2.44 MB, solutions = 1) 3182 64 27495.0000 511 15931.0000 29890.0000 29718 87.62% 3183 63 infeasible 15931.0000 29890.0000 29722 87.62% 3184 64 27495.0000 511 15931.0000 29890.0000 29724 87.62% 3185 63 infeasible 15931.0000 29890.0000 29733 87.62% 3186 64 27495.0000 511 15931.0000 29890.0000 29735 87.62% 3187 63 infeasible 15931.0000 29890.0000 29736 87.62% 3188 64 27495.0000 511 15931.0000 29890.0000 29738 87.62% 3189 63 infeasible 15931.0000 29890.0000 29744 87.62% 3190 64 27495.0000 511 15931.0000 29890.0000 29746 87.62% 3191 63 infeasible 15931.0000 29890.0000 29753 87.62% Elapsed time = 3692.61 sec. (3234844.21 ticks, tree = 2.44 MB, solutions = 1) 3210 63 27495.0000 511 15931.0000 29890.0000 29879 87.62% 3211 64 27495.0000 511 15931.0000 29890.0000 29880 87.62% 3212 63 infeasible 15931.0000 29890.0000 29900 87.62% 3213 63 27495.0000 511 15931.0000 29890.0000 29902 87.62% 3214 63 27495.0000 511 15931.0000 29890.0000 29903 87.62% 3215 64 27495.0000 511 15931.0000 29890.0000 29904 87.62% 3216 63 infeasible 15931.0000 29890.0000 29916 87.62% 3217 64 27495.0000 511 15931.0000 29890.0000 29918 87.62% 3218 63 infeasible 15931.0000 29890.0000 29924 87.62% 3219 64 27495.0000 511 15931.0000 29890.0000 29926 87.62% Elapsed time = 3724.80 sec. (3259567.86 ticks, tree = 2.44 MB, solutions = 1) 3237 63 27495.0000 511 15931.0000 29890.0000 30028 87.62% 3238 63 27495.0000 511 15931.0000 29890.0000 30029 87.62% 3239 63 27495.0000 511 15931.0000 29890.0000 30030 87.62% 3240 63 27495.0000 511 15931.0000 29890.0000 30031 87.62% 3241 63 27495.0000 511 15931.0000 29890.0000 30032 87.62% 3242 63 27495.0000 511 15931.0000 29890.0000 30033 87.62% 3243 63 27495.0000 511 15931.0000 29890.0000 30034 87.62% 3244 63 27495.0000 511 15931.0000 29890.0000 30035 87.62% 3245 63 27495.0000 511 15931.0000 29890.0000 30036 87.62% 3246 63 27495.0000 511 15931.0000 29890.0000 30037 87.62% Elapsed time = 3756.80 sec. (3284920.48 ticks, tree = 2.44 MB, solutions = 1) 3260 64 27495.0000 511 15931.0000 29890.0000 30050 87.62% 3261 65 27495.0000 511 15931.0000 29890.0000 30050 87.62% 3262 65 27495.0000 511 15931.0000 29890.0000 30051 87.62% 3263 66 27495.0000 511 15931.0000 29890.0000 30052 87.62% 3264 65 infeasible 15931.0000 29890.0000 30058 87.62% 3265 66 27495.0000 511 15931.0000 29890.0000 30060 87.62% 3266 65 infeasible 15931.0000 29890.0000 30070 87.62% 3267 66 27495.0000 511 15931.0000 29890.0000 30072 87.62% 3268 65 infeasible 15931.0000 29890.0000 30082 87.62% 3269 66 27495.0000 511 15931.0000 29890.0000 30084 87.62% Elapsed time = 3787.75 sec. (3309905.43 ticks, tree = 2.49 MB, solutions = 1) 3286 65 27495.0000 511 15931.0000 29890.0000 30188 87.62% 3287 66 27495.0000 511 15931.0000 29890.0000 30189 87.62% 3288 65 infeasible 15931.0000 29890.0000 30201 87.62% 3289 65 27495.0000 511 15931.0000 29890.0000 30203 87.62% 3290 65 27495.0000 511 15931.0000 29890.0000 30204 87.62% 3291 65 27495.0000 511 15931.0000 29890.0000 30205 87.62% 3292 65 27495.0000 511 15931.0000 29890.0000 30206 87.62% 3293 65 27495.0000 511 15931.0000 29890.0000 30207 87.62% 3294 65 27495.0000 511 15931.0000 29890.0000 30208 87.62% 3295 65 27495.0000 511 15931.0000 29890.0000 30209 87.62% Elapsed time = 3817.86 sec. (3334786.94 ticks, tree = 2.49 MB, solutions = 1) 3309 66 27495.0000 511 15931.0000 29890.0000 30222 87.62% 3310 66 27495.0000 511 15931.0000 29890.0000 30223 87.62% 3311 66 27495.0000 511 15931.0000 29890.0000 30224 87.62% 3312 66 27495.0000 511 15931.0000 29890.0000 30225 87.62% 3313 66 27495.0000 511 15931.0000 29890.0000 30226 87.62% 3314 66 27495.0000 511 15931.0000 29890.0000 30227 87.62% 3315 66 27495.0000 511 15931.0000 29890.0000 30228 87.62% 3316 67 27495.0000 511 15931.0000 29890.0000 30229 87.62% 3317 66 infeasible 15931.0000 29890.0000 30233 87.62% 3318 67 27495.0000 511 15931.0000 29890.0000 30235 87.62% Elapsed time = 3849.50 sec. (3360081.85 ticks, tree = 2.51 MB, solutions = 1) 3336 66 27495.0000 511 15931.0000 29890.0000 30354 87.62% 3337 66 27495.0000 511 15931.0000 29890.0000 30355 87.62% 3338 66 27495.0000 511 15931.0000 29890.0000 30356 87.62% 3339 66 27495.0000 511 15931.0000 29890.0000 30357 87.62% 3340 66 27495.0000 511 15931.0000 29890.0000 30358 87.62% 3341 66 27495.0000 511 15931.0000 29890.0000 30359 87.62% 3342 66 27495.0000 511 15931.0000 29890.0000 30360 87.62% 3343 66 27495.0000 511 15931.0000 29890.0000 30361 87.62% 3344 66 27495.0000 511 15931.0000 29890.0000 30362 87.62% 3345 66 27495.0000 511 15931.0000 29890.0000 30363 87.62% Elapsed time = 3880.53 sec. (3385367.76 ticks, tree = 2.51 MB, solutions = 1) 3360 66 27495.0000 511 15931.0000 29890.0000 30378 87.62% 3361 66 27495.0000 511 15931.0000 29890.0000 30379 87.62% 3362 66 27495.0000 511 15931.0000 29890.0000 30380 87.62% 3363 66 27495.0000 511 15931.0000 29890.0000 30381 87.62% 3364 66 27495.0000 511 15931.0000 29890.0000 30382 87.62% 3365 67 27495.0000 511 15931.0000 29890.0000 30383 87.62% 3366 66 infeasible 15931.0000 29890.0000 30393 87.62% 3367 67 27495.0000 511 15931.0000 29890.0000 30395 87.62% 3368 66 infeasible 15931.0000 29890.0000 30409 87.62% 3369 67 27495.0000 511 15931.0000 29890.0000 30411 87.62% Elapsed time = 3909.61 sec. (3409748.71 ticks, tree = 2.51 MB, solutions = 1) 3387 67 27495.0000 511 15931.0000 29890.0000 30537 87.62% 3388 66 infeasible 15931.0000 29890.0000 30542 87.62% 3389 67 27495.0000 511 15931.0000 29890.0000 30543 87.62% 3390 66 infeasible 15931.0000 29890.0000 30551 87.62% 3391 66 27495.0000 511 15931.0000 29890.0000 30552 87.62% 3392 67 27495.0000 511 15931.0000 29890.0000 30553 87.62% 3393 66 infeasible 15931.0000 29890.0000 30559 87.62% 3394 67 27495.0000 511 15931.0000 29890.0000 30560 87.62% 3395 66 infeasible 15931.0000 29890.0000 30568 87.62% 3396 67 27495.0000 511 15931.0000 29890.0000 30569 87.62% Elapsed time = 3939.33 sec. (3433603.04 ticks, tree = 2.51 MB, solutions = 1) 3415 67 27495.0000 511 15931.0000 29890.0000 30689 87.62% 3416 66 infeasible 15931.0000 29890.0000 30708 87.62% 3417 67 27495.0000 511 15931.0000 29890.0000 30709 87.62% 3418 66 infeasible 15931.0000 29890.0000 30713 87.62% 3419 67 27495.0000 511 15931.0000 29890.0000 30714 87.62% 3420 66 infeasible 15931.0000 29890.0000 30721 87.62% 3421 67 27495.0000 511 15931.0000 29890.0000 30722 87.62% 3422 66 infeasible 15931.0000 29890.0000 30735 87.62% 3423 67 27495.0000 511 15931.0000 29890.0000 30736 87.62% 3424 66 infeasible 15931.0000 29890.0000 30748 87.62% Elapsed time = 3970.31 sec. (3456934.90 ticks, tree = 2.51 MB, solutions = 1) 3440 67 27495.0000 511 15931.0000 29890.0000 30798 87.62% 3441 68 27495.0000 511 15931.0000 29890.0000 30798 87.62% 3442 68 27495.0000 511 15931.0000 29890.0000 30799 87.62% 3443 68 27495.0000 511 15931.0000 29890.0000 30800 87.62% 3444 68 27495.0000 511 15931.0000 29890.0000 30801 87.62% 3445 68 27495.0000 511 15931.0000 29890.0000 30802 87.62% 3446 68 27495.0000 511 15931.0000 29890.0000 30803 87.62% 3447 68 27495.0000 511 15931.0000 29890.0000 30804 87.62% 3448 68 27495.0000 511 15931.0000 29890.0000 30805 87.62% 3449 68 27495.0000 511 15931.0000 29890.0000 30806 87.62% Elapsed time = 4000.24 sec. (3480159.60 ticks, tree = 2.56 MB, solutions = 1) 3466 70 27495.0000 511 15931.0000 29890.0000 30848 87.62% 3467 69 infeasible 15931.0000 29890.0000 30854 87.62% 3468 70 27495.0000 511 15931.0000 29890.0000 30856 87.62% 3469 69 infeasible 15931.0000 29890.0000 30858 87.62% 3470 69 27495.0000 511 15931.0000 29890.0000 30860 87.62% 3471 69 27495.0000 511 15931.0000 29890.0000 30861 87.62% 3472 69 27495.0000 511 15931.0000 29890.0000 30862 87.62% 3473 69 27495.0000 511 15931.0000 29890.0000 30863 87.62% 3474 69 27495.0000 511 15931.0000 29890.0000 30864 87.62% 3475 70 27495.0000 511 15931.0000 29890.0000 30865 87.62% Elapsed time = 4031.45 sec. (3504371.72 ticks, tree = 2.58 MB, solutions = 1) 3493 70 27495.0000 511 15931.0000 29890.0000 30944 87.62% 3494 69 cutoff 15931.0000 29890.0000 30969 87.62% 3495 70 27495.0000 511 15931.0000 29890.0000 30971 87.62% 3496 69 infeasible 15931.0000 29890.0000 30980 87.62% 3497 70 27495.0000 511 15931.0000 29890.0000 30982 87.62% 3498 69 infeasible 15931.0000 29890.0000 30989 87.62% 3499 70 27495.0000 511 15931.0000 29890.0000 30991 87.62% 3500 69 infeasible 15931.0000 29890.0000 31001 87.62% 3501 70 27495.0000 511 15931.0000 29890.0000 31003 87.62% 3502 69 infeasible 15931.0000 29890.0000 31004 87.62% Elapsed time = 4061.19 sec. (3526683.56 ticks, tree = 2.58 MB, solutions = 1) 3520 69 infeasible 15931.0000 29890.0000 31060 87.62% 3521 70 27495.0000 511 15931.0000 29890.0000 31062 87.62% 3522 69 infeasible 15931.0000 29890.0000 31071 87.62% 3523 70 27495.0000 511 15931.0000 29890.0000 31073 87.62% 3524 69 infeasible 15931.0000 29890.0000 31077 87.62% 3525 70 27495.0000 511 15931.0000 29890.0000 31079 87.62% 3526 69 infeasible 15931.0000 29890.0000 31089 87.62% 3527 69 27495.0000 511 15931.0000 29890.0000 31091 87.62% 3528 69 27495.0000 511 15931.0000 29890.0000 31092 87.62% 3529 69 27495.0000 511 15931.0000 29890.0000 31093 87.62% Elapsed time = 4092.81 sec. (3550475.89 ticks, tree = 2.58 MB, solutions = 1) 3540 70 27495.0000 511 15931.0000 29890.0000 31103 87.62% 3541 71 27495.0000 511 15931.0000 29890.0000 31103 87.62% 3542 71 27495.0000 511 15931.0000 29890.0000 31104 87.62% 3543 71 27495.0000 511 15931.0000 29890.0000 31105 87.62% 3544 71 27495.0000 511 15931.0000 29890.0000 31106 87.62% 3545 71 27495.0000 511 15931.0000 29890.0000 31107 87.62% 3546 71 27495.0000 511 15931.0000 29890.0000 31108 87.62% 3547 71 27495.0000 511 15931.0000 29890.0000 31109 87.62% 3548 71 27495.0000 511 15931.0000 29890.0000 31110 87.62% 3549 71 27495.0000 511 15931.0000 29890.0000 31111 87.62% Elapsed time = 4121.48 sec. (3574220.32 ticks, tree = 2.63 MB, solutions = 1) 3564 72 27495.0000 511 15931.0000 29890.0000 31161 87.62% 3565 71 infeasible 15931.0000 29890.0000 31173 87.62% 3566 71 27495.0000 511 15931.0000 29890.0000 31175 87.62% 3567 72 27495.0000 511 15931.0000 29890.0000 31176 87.62% 3568 71 infeasible 15931.0000 29890.0000 31190 87.62% 3569 72 27495.0000 511 15931.0000 29890.0000 31192 87.62% 3570 71 infeasible 15931.0000 29890.0000 31215 87.62% 3571 72 27495.0000 511 15931.0000 29890.0000 31217 87.62% 3572 71 infeasible 15931.0000 29890.0000 31233 87.62% 3573 72 27495.0000 511 15931.0000 29890.0000 31235 87.62% Elapsed time = 4150.59 sec. (3598783.92 ticks, tree = 2.63 MB, solutions = 1) 3590 72 27495.0000 511 15931.0000 29890.0000 31327 87.62% 3591 71 infeasible 15931.0000 29890.0000 31332 87.62% 3592 72 27495.0000 511 15931.0000 29890.0000 31334 87.62% 3593 71 infeasible 15931.0000 29890.0000 31344 87.62% 3594 71 27495.0000 511 15931.0000 29890.0000 31346 87.62% 3595 72 27495.0000 511 15931.0000 29890.0000 31347 87.62% 3596 71 infeasible 15931.0000 29890.0000 31357 87.62% 3597 71 27495.0000 511 15931.0000 29890.0000 31359 87.62% 3598 72 27495.0000 511 15931.0000 29890.0000 31360 87.62% 3599 71 infeasible 15931.0000 29890.0000 31373 87.62% Elapsed time = 4180.61 sec. (3622443.96 ticks, tree = 2.63 MB, solutions = 1) 3617 72 27495.0000 511 15931.0000 29890.0000 31494 87.62% 3618 71 infeasible 15931.0000 29890.0000 31502 87.62% 3619 72 27495.0000 511 15931.0000 29890.0000 31504 87.62% 3620 71 infeasible 15931.0000 29890.0000 31522 87.62% 3621 72 27495.0000 511 15931.0000 29890.0000 31524 87.62% 3622 71 infeasible 15931.0000 29890.0000 31534 87.62% 3623 72 27495.0000 511 15931.0000 29890.0000 31536 87.62% 3624 71 infeasible 15931.0000 29890.0000 31549 87.62% 3625 71 27495.0000 511 15931.0000 29890.0000 31551 87.62% 3626 71 27495.0000 511 15931.0000 29890.0000 31552 87.62% Elapsed time = 4211.75 sec. (3646749.81 ticks, tree = 2.63 MB, solutions = 1) 3642 73 27495.0000 511 15931.0000 29890.0000 31566 87.62% 3643 73 27495.0000 511 15931.0000 29890.0000 31567 87.62% 3644 73 27495.0000 511 15931.0000 29890.0000 31568 87.62% 3645 73 27495.0000 511 15931.0000 29890.0000 31569 87.62% 3646 73 27495.0000 511 15931.0000 29890.0000 31570 87.62% 3647 73 27495.0000 511 15931.0000 29890.0000 31571 87.62% 3648 73 27495.0000 511 15931.0000 29890.0000 31572 87.62% 3649 73 27495.0000 511 15931.0000 29890.0000 31573 87.62% 3650 73 27495.0000 511 15931.0000 29890.0000 31574 87.62% 3651 74 27495.0000 511 15931.0000 29890.0000 31574 87.62% Elapsed time = 4241.45 sec. (3670925.09 ticks, tree = 2.68 MB, solutions = 1) 3665 75 27495.0000 511 15931.0000 29890.0000 31641 87.62% 3666 74 infeasible 15931.0000 29890.0000 31646 87.62% 3667 75 27495.0000 511 15931.0000 29890.0000 31648 87.62% 3668 74 infeasible 15931.0000 29890.0000 31664 87.62% 3669 75 27495.0000 511 15931.0000 29890.0000 31666 87.62% 3670 74 infeasible 15931.0000 29890.0000 31676 87.62% 3671 74 27495.0000 511 15931.0000 29890.0000 31678 87.62% 3672 75 27495.0000 511 15931.0000 29890.0000 31679 87.62% 3673 74 infeasible 15931.0000 29890.0000 31690 87.62% 3674 75 27495.0000 511 15931.0000 29890.0000 31692 87.62% Elapsed time = 4272.42 sec. (3694772.87 ticks, tree = 2.71 MB, solutions = 1) 3691 75 27495.0000 511 15931.0000 29890.0000 31796 87.62% 3692 74 infeasible 15931.0000 29890.0000 31809 87.62% 3693 74 27495.0000 511 15931.0000 29890.0000 31811 87.62% 3694 75 27495.0000 511 15931.0000 29890.0000 31812 87.62% 3695 74 infeasible 15931.0000 29890.0000 31825 87.62% 3696 75 27495.0000 511 15931.0000 29890.0000 31827 87.62% 3697 74 infeasible 15931.0000 29890.0000 31836 87.62% 3698 75 27495.0000 511 15931.0000 29890.0000 31838 87.62% 3699 74 infeasible 15931.0000 29890.0000 31850 87.62% 3700 75 27495.0000 511 15931.0000 29890.0000 31852 87.62% Elapsed time = 4308.36 sec. (3721329.65 ticks, tree = 2.71 MB, solutions = 1) 3718 75 27495.0000 511 15931.0000 29890.0000 31941 87.62% 3719 74 infeasible 15931.0000 29890.0000 31968 87.62% 3720 74 27495.0000 511 15931.0000 29890.0000 31969 87.62% 3721 74 27495.0000 511 15931.0000 29890.0000 31970 87.62% 3722 74 27495.0000 511 15931.0000 29890.0000 31971 87.62% 3723 75 27495.0000 511 15931.0000 29890.0000 31972 87.62% 3724 74 infeasible 15931.0000 29890.0000 31980 87.62% 3725 75 27495.0000 511 15931.0000 29890.0000 31981 87.62% 3726 74 infeasible 15931.0000 29890.0000 31989 87.62% 3727 75 27495.0000 511 15931.0000 29890.0000 31990 87.62% Elapsed time = 4344.50 sec. (3745996.17 ticks, tree = 2.71 MB, solutions = 1) 3743 74 27495.0000 511 15931.0000 29890.0000 32048 87.62% 3744 74 27495.0000 511 15931.0000 29890.0000 32049 87.62% 3745 75 27495.0000 511 15931.0000 29890.0000 32050 87.62% 3746 74 infeasible 15931.0000 29890.0000 32060 87.62% 3747 75 27495.0000 511 15931.0000 29890.0000 32061 87.62% 3748 74 infeasible 15931.0000 29890.0000 32085 87.62% 3749 75 27495.0000 511 15931.0000 29890.0000 32086 87.62% 3750 74 infeasible 15931.0000 29890.0000 32103 87.62% 3751 75 27495.0000 511 15931.0000 29890.0000 32105 87.62% 3752 74 infeasible 15931.0000 29890.0000 32113 87.62% Elapsed time = 4375.86 sec. (3768670.22 ticks, tree = 2.71 MB, solutions = 1) 3770 75 27495.0000 511 15931.0000 29890.0000 32216 87.62% 3771 74 infeasible 15931.0000 29890.0000 32224 87.62% 3772 75 27495.0000 511 15931.0000 29890.0000 32226 87.62% 3773 74 infeasible 15931.0000 29890.0000 32252 87.62% 3774 75 27495.0000 511 15931.0000 29890.0000 32254 87.62% 3775 74 infeasible 15931.0000 29890.0000 32263 87.62% 3776 75 27495.0000 511 15931.0000 29890.0000 32265 87.62% 3777 74 infeasible 15931.0000 29890.0000 32267 87.62% 3778 74 27495.0000 511 15931.0000 29890.0000 32269 87.62% 3779 75 27495.0000 511 15931.0000 29890.0000 32270 87.62% Elapsed time = 4409.25 sec. (3792815.30 ticks, tree = 2.71 MB, solutions = 1) 3798 76 27439.0000 510 15931.0000 29890.0000 32361 87.62% 3799 76 27439.0000 510 15931.0000 29890.0000 32362 87.62% 3800 76 27439.0000 510 15931.0000 29890.0000 32363 87.62% 3801 77 27439.0000 510 15931.0000 29890.0000 32363 87.62% 3802 78 27439.0000 510 15931.0000 29890.0000 32364 87.62% 3803 79 27439.0000 510 15931.0000 29890.0000 32365 87.62% 3804 79 27439.0000 510 15931.0000 29890.0000 32366 87.62% 3805 80 27439.0000 510 15931.0000 29890.0000 32367 87.62% 3806 81 27439.0000 510 15931.0000 29890.0000 32368 87.62% 3807 81 27439.0000 510 15931.0000 29890.0000 32369 87.62% Elapsed time = 4442.17 sec. (3817957.14 ticks, tree = 2.88 MB, solutions = 1) 3820 88 27439.0000 510 15931.0000 29890.0000 32381 87.62% 3821 89 27439.0000 510 15931.0000 29890.0000 32381 87.62% 3822 89 27439.0000 510 15931.0000 29890.0000 32382 87.62% 3823 90 27439.0000 510 15931.0000 29890.0000 32383 87.62% 3824 90 27439.0000 510 15931.0000 29890.0000 32384 87.62% 3825 90 27439.0000 510 15931.0000 29890.0000 32385 87.62% 3826 91 27439.0000 510 15931.0000 29890.0000 32386 87.62% 3827 92 27439.0000 510 15931.0000 29890.0000 32387 87.62% 3828 92 27439.0000 510 15931.0000 29890.0000 32388 87.62% 3829 92 27439.0000 510 15931.0000 29890.0000 32389 87.62% Elapsed time = 4472.70 sec. (3841933.36 ticks, tree = 3.15 MB, solutions = 1) 3843 92 27439.0000 510 15931.0000 29890.0000 32403 87.62% 3844 92 27439.0000 510 15931.0000 29890.0000 32404 87.62% 3845 92 27372.0000 510 15931.0000 29890.0000 32405 87.62% 3846 93 27372.0000 507 15931.0000 29890.0000 32417 87.62% 3847 92 infeasible 15931.0000 29890.0000 32427 87.62% 3848 93 27372.0000 507 15931.0000 29890.0000 32429 87.62% 3849 92 infeasible 15931.0000 29890.0000 32444 87.62% 3850 93 27372.0000 507 15931.0000 29890.0000 32446 87.62% 3851 92 infeasible 15931.0000 29890.0000 32463 87.62% 3852 93 27372.0000 507 15931.0000 29890.0000 32465 87.62% Elapsed time = 4502.78 sec. (3866150.51 ticks, tree = 3.15 MB, solutions = 1) 3863 98 27372.0000 507 15931.0000 29890.0000 32485 87.62% 3864 98 27372.0000 507 15931.0000 29890.0000 32486 87.62% 3865 98 27372.0000 507 15931.0000 29890.0000 32487 87.62% 3866 99 27372.0000 507 15931.0000 29890.0000 32488 87.62% 3867 99 27372.0000 507 15931.0000 29890.0000 32489 87.62% 3868 99 27372.0000 507 15931.0000 29890.0000 32490 87.62% 3869 100 27372.0000 507 15931.0000 29890.0000 32491 87.62% 3870 101 27372.0000 507 15931.0000 29890.0000 32492 87.62% 3871 101 27372.0000 507 15931.0000 29890.0000 32493 87.62% 3872 101 27372.0000 507 15931.0000 29890.0000 32494 87.62% Elapsed time = 4535.02 sec. (3892038.56 ticks, tree = 3.38 MB, solutions = 1) 3886 101 27372.0000 507 15931.0000 29890.0000 32508 87.62% 3887 101 27372.0000 507 15931.0000 29890.0000 32509 87.62% 3888 101 27372.0000 507 15931.0000 29890.0000 32510 87.62% 3889 101 27372.0000 507 15931.0000 29890.0000 32511 87.62% 3890 101 27372.0000 507 15931.0000 29890.0000 32512 87.62% 3891 101 27372.0000 507 15931.0000 29890.0000 32513 87.62% 3892 101 27372.0000 507 15931.0000 29890.0000 32514 87.62% 3893 101 27309.0000 507 15931.0000 29890.0000 32515 87.62% 3894 102 27309.0000 510 15931.0000 29890.0000 32536 87.62% 3895 103 27309.0000 510 15931.0000 29890.0000 32542 87.62% Elapsed time = 4568.72 sec. (3917912.49 ticks, tree = 3.40 MB, solutions = 1) 3911 103 27309.0000 504 15931.0000 29890.0000 32567 87.62% 3912 103 27309.0000 504 15931.0000 29890.0000 32568 87.62% 3913 103 27309.0000 504 15931.0000 29890.0000 32569 87.62% 3914 103 27309.0000 504 15931.0000 29890.0000 32570 87.62% 3915 103 27309.0000 504 15931.0000 29890.0000 32571 87.62% 3916 103 27309.0000 504 15931.0000 29890.0000 32572 87.62% 3917 103 27309.0000 504 15931.0000 29890.0000 32573 87.62% 3918 104 27309.0000 504 15931.0000 29890.0000 32574 87.62% 3919 104 27309.0000 504 15931.0000 29890.0000 32575 87.62% 3920 104 27309.0000 504 15931.0000 29890.0000 32576 87.62% Elapsed time = 4601.28 sec. (3943756.62 ticks, tree = 3.45 MB, solutions = 1) 3932 105 27245.3889 513 15931.0000 29890.0000 32600 87.62% 3933 106 27245.0000 507 15931.0000 29890.0000 32603 87.62% 3934 107 27245.0000 505 15931.0000 29890.0000 32604 87.62% 3935 106 infeasible 15931.0000 29890.0000 32612 87.62% 3936 106 27245.0000 505 15931.0000 29890.0000 32614 87.62% 3937 106 27245.0000 505 15931.0000 29890.0000 32615 87.62% 3938 106 27245.0000 505 15931.0000 29890.0000 32616 87.62% 3939 106 27245.0000 505 15931.0000 29890.0000 32617 87.62% 3940 106 27245.0000 505 15931.0000 29890.0000 32618 87.62% 3941 106 27245.0000 505 15931.0000 29890.0000 32619 87.62% Elapsed time = 4628.00 sec. (3966539.09 ticks, tree = 3.50 MB, solutions = 1) 3957 107 27245.0000 505 15931.0000 29890.0000 32660 87.62% 3958 106 infeasible 15931.0000 29890.0000 32666 87.62% 3959 107 27245.0000 505 15931.0000 29890.0000 32668 87.62% 3960 106 infeasible 15931.0000 29890.0000 32677 87.62% 3961 107 27245.0000 505 15931.0000 29890.0000 32679 87.62% 3962 106 infeasible 15931.0000 29890.0000 32690 87.62% 3963 107 27245.0000 505 15931.0000 29890.0000 32692 87.62% 3964 106 infeasible 15931.0000 29890.0000 32699 87.62% 3965 106 27245.0000 505 15931.0000 29890.0000 32701 87.62% 3966 107 27067.0000 504 15931.0000 29890.0000 32702 87.62% Elapsed time = 4659.28 sec. (3990027.69 ticks, tree = 3.50 MB, solutions = 1) 3983 107 27067.0000 504 15931.0000 29890.0000 32787 87.62% 3984 107 27067.0000 504 15931.0000 29890.0000 32788 87.62% 3985 107 27067.0000 504 15931.0000 29890.0000 32789 87.62% 3986 107 27067.0000 504 15931.0000 29890.0000 32790 87.62% 3987 107 27067.0000 504 15931.0000 29890.0000 32791 87.62% 3988 107 27067.0000 504 15931.0000 29890.0000 32792 87.62% 3989 107 27067.0000 504 15931.0000 29890.0000 32793 87.62% 3990 107 27067.0000 504 15931.0000 29890.0000 32794 87.62% 3991 107 27067.0000 504 15931.0000 29890.0000 32795 87.62% 3992 107 27067.0000 504 15931.0000 29890.0000 32796 87.62% Elapsed time = 4694.30 sec. (4015542.96 ticks, tree = 3.52 MB, solutions = 1) 4006 107 27067.0000 504 15931.0000 29890.0000 32810 87.62% 4007 107 27067.0000 504 15931.0000 29890.0000 32811 87.62% 4008 107 27067.0000 504 15931.0000 29890.0000 32812 87.62% 4009 107 27067.0000 504 15931.0000 29890.0000 32813 87.62% 4010 107 27002.0000 504 15931.0000 29890.0000 32814 87.62% 4011 107 27002.0000 503 15931.0000 29890.0000 32815 87.62% 4012 108 26849.0000 502 15931.0000 29890.0000 32816 87.62% 4013 107 infeasible 15931.0000 29890.0000 32821 87.62% 4014 108 26849.0000 502 15931.0000 29890.0000 32823 87.62% 4015 109 26849.0000 502 15931.0000 29890.0000 32824 87.62% Elapsed time = 4723.02 sec. (4038106.07 ticks, tree = 3.55 MB, solutions = 1) 4030 110 26849.0000 502 15931.0000 29890.0000 32839 87.62% 4031 110 26849.0000 502 15931.0000 29890.0000 32840 87.62% 4032 110 26849.0000 502 15931.0000 29890.0000 32841 87.62% 4033 110 26849.0000 502 15931.0000 29890.0000 32842 87.62% 4034 110 26849.0000 502 15931.0000 29890.0000 32843 87.62% 4035 110 26849.0000 502 15931.0000 29890.0000 32844 87.62% 4036 110 26849.0000 502 15931.0000 29890.0000 32845 87.62% 4037 110 26849.0000 502 15931.0000 29890.0000 32846 87.62% 4038 110 26849.0000 502 15931.0000 29890.0000 32847 87.62% 4039 110 26849.0000 502 15931.0000 29890.0000 32848 87.62% Elapsed time = 4753.70 sec. (4063104.09 ticks, tree = 3.60 MB, solutions = 1) 4055 112 26849.0000 502 15931.0000 29890.0000 32862 87.62% 4056 112 26849.0000 502 15931.0000 29890.0000 32863 87.62% 4057 112 26849.0000 502 15931.0000 29890.0000 32864 87.62% 4058 112 26783.0000 502 15931.0000 29890.0000 32865 87.62% 4059 113 26782.6667 508 15931.0000 29890.0000 32876 87.62% 4060 114 26782.5000 507 15931.0000 29890.0000 32877 87.62% 4061 115 26782.0000 505 15931.0000 29890.0000 32880 87.62% 4062 116 26782.0000 503 15931.0000 29890.0000 32882 87.62% 4063 115 infeasible 15931.0000 29890.0000 32887 87.62% 4064 116 26782.0000 503 15931.0000 29890.0000 32889 87.62% Elapsed time = 4829.48 sec. (4143284.70 ticks, tree = 3.72 MB, solutions = 1) 4079 117 26782.0000 503 15931.0000 29890.0000 32904 87.62% 4080 117 26782.0000 503 15931.0000 29890.0000 32905 87.62% 4081 117 26782.0000 503 15931.0000 29890.0000 32906 87.62% 4082 117 26782.0000 503 15931.0000 29890.0000 32907 87.62% 4083 117 26782.0000 503 15931.0000 29890.0000 32908 87.62% 4084 117 26782.0000 503 15931.0000 29890.0000 32909 87.62% 4085 117 26782.0000 503 15931.0000 29890.0000 32910 87.62% 4086 117 26782.0000 503 15931.0000 29890.0000 32911 87.62% 4087 117 26782.0000 503 15931.0000 29890.0000 32912 87.62% 4088 117 26782.0000 503 15931.0000 29890.0000 32913 87.62% Elapsed time = 4859.97 sec. (4168096.90 ticks, tree = 3.77 MB, solutions = 1) 4103 117 26782.0000 503 15931.0000 29890.0000 32928 87.62% 4104 117 26782.0000 503 15931.0000 29890.0000 32929 87.62% 4105 117 26782.0000 503 15931.0000 29890.0000 32930 87.62% 4106 117 26782.0000 503 15931.0000 29890.0000 32931 87.62% 4107 117 26782.0000 503 15931.0000 29890.0000 32932 87.62% 4108 117 26782.0000 503 15931.0000 29890.0000 32933 87.62% 4109 117 26782.0000 503 15931.0000 29890.0000 32934 87.62% 4110 117 26782.0000 503 15931.0000 29890.0000 32935 87.62% 4111 117 26782.0000 503 15931.0000 29890.0000 32936 87.62% 4112 117 26782.0000 503 15931.0000 29890.0000 32937 87.62% Elapsed time = 4891.11 sec. (4194073.26 ticks, tree = 3.77 MB, solutions = 1) 4130 121 26708.0000 494 15931.0000 29890.0000 32989 87.62% 4131 121 26708.0000 494 15931.0000 29890.0000 32990 87.62% 4132 121 26708.0000 494 15931.0000 29890.0000 32991 87.62% 4133 121 26708.0000 494 15931.0000 29890.0000 32992 87.62% 4134 121 26708.0000 494 15931.0000 29890.0000 32993 87.62% 4135 121 26708.0000 494 15931.0000 29890.0000 32994 87.62% 4136 121 26708.0000 494 15931.0000 29890.0000 32995 87.62% 4137 121 26708.0000 494 15931.0000 29890.0000 32996 87.62% 4138 121 26708.0000 494 15931.0000 29890.0000 32997 87.62% 4139 121 26708.0000 494 15931.0000 29890.0000 32998 87.62% Elapsed time = 4923.64 sec. (4219529.15 ticks, tree = 3.87 MB, solutions = 1) 4145 122 26708.0000 494 15931.0000 29890.0000 33003 87.62% 4146 122 26708.0000 494 15931.0000 29890.0000 33004 87.62% 4147 122 26708.0000 494 15931.0000 29890.0000 33005 87.62% 4148 122 26708.0000 494 15931.0000 29890.0000 33006 87.62% 4149 122 26708.0000 494 15931.0000 29890.0000 33007 87.62% 4150 122 26708.0000 494 15931.0000 29890.0000 33008 87.62% 4151 122 26708.0000 494 15931.0000 29890.0000 33009 87.62% 4152 122 26708.0000 494 15931.0000 29890.0000 33010 87.62% 4153 122 26708.0000 494 15931.0000 29890.0000 33011 87.62% 4154 122 26708.0000 494 15931.0000 29890.0000 33012 87.62% Elapsed time = 4953.94 sec. (4245399.31 ticks, tree = 3.89 MB, solutions = 1) 4173 123 26192.0000 490 15931.0000 29890.0000 33035 87.62% 4174 123 26192.0000 490 15931.0000 29890.0000 33036 87.62% 4175 123 26192.0000 490 15931.0000 29890.0000 33037 87.62% 4176 123 26192.0000 490 15931.0000 29890.0000 33038 87.62% 4177 124 26192.0000 490 15931.0000 29890.0000 33039 87.62% 4178 125 26192.0000 490 15931.0000 29890.0000 33040 87.62% 4179 125 26192.0000 490 15931.0000 29890.0000 33041 87.62% 4180 125 26192.0000 490 15931.0000 29890.0000 33042 87.62% 4181 125 26192.0000 490 15931.0000 29890.0000 33043 87.62% 4182 125 26192.0000 490 15931.0000 29890.0000 33044 87.62% Elapsed time = 4986.25 sec. (4271377.34 ticks, tree = 3.97 MB, solutions = 1) Clique cuts applied: 212 Cover cuts applied: 21 Mixed integer rounding cuts applied: 1 Gomory fractional cuts applied: 5 Root node processing (before b&c): Real time = 225.88 sec. (159809.94 ticks) Sequential b&c: Real time = 4774.28 sec. (4122957.08 ticks) ------------ Total (root+branch&cut) = 5000.16 sec. (4282767.02 ticks) MIP status(107): time limit exceeded Cplex Time: 5000.16sec (det. 4282767.50 ticks) Fixing integer variables, and solving final LP... Tried aggregator 1 time. LP Presolve eliminated 336945 rows and 167329 columns. All rows and columns eliminated. Presolve time = 2.48 sec. (1908.33 ticks) Fixed MIP status(1): optimal Cplex Time: 3.44sec (det. 2877.25 ticks) Resource limit exceeded. MIP Solution: 15931.000000 (33055 iterations, 4194 nodes) Final Solve: 15931.000000 (0 iterations) Best possible: 29890.000000 Absolute gap: 13959.000000 Relative gap: 0.467012 --- Restarting execution --- time.gms(155) 17 Mb --- Reading solution for model heating_scheduling --- time.gms(155) 39 Mb --- Executing after solve: elapsed 1:24:06.682 --- time.gms(162) 40 Mb --- GDX File C:\Users\wi9632\bwSyncAndShare\Graduiertenkolleg\Code\GAMS\heating_project_5_minutes\results_time.gdx --- time.gms(164) 40 Mb GDXXRW 24.6.1 r55820 Released Jan 18, 2016 VS8 x86 32bit/MS Windows **** Input file not found = C:\Users\wi9632\bwSyncAndShare\Graduiertenkolleg\Code\GAMS\heating_project_5_minutes\results.gdx Total time = 297 Ms *** Status: Normal completion --- Job time.gms Stop 10/04/17 14:45:34 elapsed 1:24:07.108