Version identifier: 12.10.0.0 | 2019-11-26 | 843d4de2ae CPXPARAM_Emphasis_MIP 4 CPXPARAM_TimeLimit 600 Tried aggregator 1 time. MIP Presolve eliminated 399 rows and 48043 columns. MIP Presolve modified 2178726 coefficients. Reduced MIP has 111 rows, 209607 columns, and 7924341 nonzeros. Reduced MIP has 178726 binaries, 30854 generals, 0 SOSs, and 0 indicators. Presolve time = 15.16 sec. (6884.01 ticks) Tried aggregator 1 time. Detecting symmetries... Reduced MIP has 111 rows, 209607 columns, and 7924341 nonzeros. Reduced MIP has 178726 binaries, 30881 generals, 0 SOSs, and 0 indicators. Presolve time = 12.33 sec. (3856.28 ticks) Probing time = 0.67 sec. (659.48 ticks) Clique table members: 8. MIP emphasis: hidden feasible solutions. MIP search method: dynamic search. Parallel mode: deterministic, using up to 2 threads. Root relaxation solution time = 13.69 sec. (10236.13 ticks) Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 1.0000 71 1.0000 4072 0 2 1.0000 64 1.0000 4072 Elapsed time = 178.48 sec. (102925.91 ticks, tree = 0.02 MB, solutions = 0) 1 3 1.0000 73 1.0000 4120 3 5 1.0000 74 1.0000 4159 6 6 1.0000 76 1.0000 4187 8 7 1.0000 73 1.0000 4201 9 9 1.0000 73 1.0000 4274 11 10 1.0000 75 1.0000 4292 12 14 1.0000 73 1.0000 4379 13 12 1.0000 71 1.0000 4369 16 16 1.0000 73 1.0000 4483 22 23 1.0000 73 1.0000 4716 Elapsed time = 185.27 sec. (107535.70 ticks, tree = 0.90 MB, solutions = 0) 25 26 1.0000 71 1.0000 4823 31 30 1.0000 71 1.0000 4919 37 31 infeasible 1.0000 5208 40 34 1.0000 73 1.0000 5268 44 33 1.0000 70 1.0000 5454 48 35 1.0000 73 1.0000 5577 52 37 infeasible 1.0000 5669 54 37 infeasible 1.0000 5755 55 36 infeasible 1.0000 5838 57 36 infeasible 1.0000 5917 Elapsed time = 198.80 sec. (119203.74 ticks, tree = 1.64 MB, solutions = 0) 61 37 infeasible 1.0000 6007 65 35 infeasible 1.0000 6661 70 37 infeasible 1.0000 7060 72 40 1.0000 70 1.0000 7022 75 38 1.0000 69 1.0000 7148 78 38 infeasible 1.0000 7224 81 43 infeasible 1.0000 7544 83 42 infeasible 1.0000 7610 85 42 infeasible 1.0000 7817 91 43 infeasible 1.0000 7913 Elapsed time = 212.98 sec. (134573.98 ticks, tree = 1.83 MB, solutions = 0) 93 42 infeasible 1.0000 7988 97 44 1.0000 69 1.0000 8226 101 44 1.0000 69 1.0000 8496 107 46 1.0000 68 1.0000 8658 112 46 infeasible 1.0000 8842 114 44 infeasible 1.0000 8835 121 50 1.0000 66 1.0000 9229 123 50 infeasible 1.0000 9315 129 46 infeasible 1.0000 9167 134 53 1.0000 67 1.0000 9935 Elapsed time = 224.48 sec. (146238.48 ticks, tree = 2.58 MB, solutions = 0) 136 52 infeasible 1.0000 9668 140 52 infeasible 1.0000 10297 145 55 1.0000 69 1.0000 10431 148 54 infeasible 1.0000 10470 152 55 infeasible 1.0000 10900 159 55 infeasible 1.0000 11018 162 56 infeasible 1.0000 11064 165 55 infeasible 1.0000 11125 172 54 1.0000 70 1.0000 10655 176 56 infeasible 1.0000 11515 Elapsed time = 238.94 sec. (160209.26 ticks, tree = 2.63 MB, solutions = 0) 183 56 infeasible 1.0000 11315 187 56 infeasible 1.0000 11338 191 57 infeasible 1.0000 11712 195 57 1.0000 74 1.0000 11914 200 58 infeasible 1.0000 11758 205 58 infeasible 1.0000 11919 212 57 infeasible 1.0000 12378 215 57 infeasible 1.0000 12508 218 56 infeasible 1.0000 12653 222 55 infeasible 1.0000 12711 Elapsed time = 248.30 sec. (172120.35 ticks, tree = 2.53 MB, solutions = 0) 225 58 infeasible 1.0000 12748 230 56 infeasible 1.0000 12878 235 59 infeasible 1.0000 13282 238 57 infeasible 1.0000 13129 240 61 1.0000 68 1.0000 13737 244 61 infeasible 1.0000 13857 247 58 infeasible 1.0000 13761 251 63 1.0000 71 1.0000 14118 252 58 1.0000 71 1.0000 14320 255 60 infeasible 1.0000 15183 Elapsed time = 262.95 sec. (185544.06 ticks, tree = 3.03 MB, solutions = 0) 260 61 infeasible 1.0000 15270 262 57 infeasible 1.0000 14510 265 62 1.0000 70 1.0000 15361 268 61 infeasible 1.0000 15425 270 60 infeasible 1.0000 15475 273 62 1.0000 70 1.0000 15840 276 61 infeasible 1.0000 15967 279 62 1.0000 71 1.0000 16033 280 60 infeasible 1.0000 15931 283 62 1.0000 73 1.0000 16365 Elapsed time = 277.73 sec. (199830.01 ticks, tree = 2.90 MB, solutions = 0) 286 62 1.0000 70 1.0000 16655 291 63 infeasible 1.0000 16567 293 63 1.0000 70 1.0000 16682 296 62 infeasible 1.0000 16721 298 62 infeasible 1.0000 16766 303 62 infeasible 1.0000 16811 307 63 infeasible 1.0000 17267 311 63 infeasible 1.0000 17286 313 63 infeasible 1.0000 17305 318 64 infeasible 1.0000 17395 Elapsed time = 288.20 sec. (212171.64 ticks, tree = 3.08 MB, solutions = 0) 321 63 infeasible 1.0000 17492 325 65 1.0000 70 1.0000 17370 330 64 infeasible 1.0000 17502 334 66 infeasible 1.0000 18026 340 66 infeasible 1.0000 18131 347 67 1.0000 70 1.0000 18202 350 66 infeasible 1.0000 18316 355 65 1.0000 71 1.0000 18312 359 65 1.0000 70 1.0000 18412 367 65 infeasible 1.0000 19797 Elapsed time = 302.61 sec. (227209.79 ticks, tree = 3.15 MB, solutions = 0) 380 67 1.0000 67 1.0000 20152 390 67 1.0000 71 1.0000 20528 404 68 1.0000 70 1.0000 20880 416 65 infeasible 1.0000 21340 426 65 infeasible 1.0000 22233 438 71 infeasible 1.0000 23004 449 72 1.0000 72 1.0000 23590 458 73 1.0000 69 1.0000 23558 470 72 infeasible 1.0000 24795 482 72 infeasible 1.0000 24978 Elapsed time = 341.58 sec. (268051.40 ticks, tree = 3.50 MB, solutions = 0) 491 72 infeasible 1.0000 25222 498 66 infeasible 1.0000 26133 508 56 1.0000 72 1.0000 26897 536 80 1.0000 72 1.0000 27149 554 92 1.0000 73 1.0000 27959 568 97 infeasible 1.0000 28395 583 88 infeasible 1.0000 28575 587 88 infeasible 1.0000 28957 591 109 1.0000 71 1.0000 28546 612 120 infeasible 1.0000 29932 Elapsed time = 388.50 sec. (314417.28 ticks, tree = 7.07 MB, solutions = 0) 635 135 1.0000 73 1.0000 30195 658 149 1.0000 70 1.0000 31204 670 110 infeasible 1.0000 31054 684 162 1.0000 71 1.0000 31829 700 171 infeasible 1.0000 33081 716 181 1.0000 71 1.0000 33345 726 182 infeasible 1.0000 34520 734 163 infeasible 1.0000 33930 744 186 1.0000 73 1.0000 35295 757 189 1.0000 73 1.0000 36503 Elapsed time = 430.47 sec. (353726.96 ticks, tree = 12.08 MB, solutions = 0) 771 191 infeasible 1.0000 36938 785 182 infeasible 1.0000 35939 798 195 infeasible 1.0000 38668 813 200 1.0000 71 1.0000 39147 822 200 1.0000 71 1.0000 39761 828 200 1.0000 71 1.0000 40962 835 194 infeasible 1.0000 39754 846 199 infeasible 1.0000 41681 856 200 infeasible 1.0000 42869 869 200 infeasible 1.0000 43300 Elapsed time = 461.42 sec. (395413.41 ticks, tree = 12.88 MB, solutions = 0) 885 200 infeasible 1.0000 43727 904 201 infeasible 1.0000 45049 920 199 infeasible 1.0000 45569 937 209 1.0000 72 1.0000 45960 952 202 infeasible 1.0000 45866 956 202 infeasible 1.0000 46251 971 214 1.0000 72 1.0000 47769 986 221 infeasible 1.0000 49357 1000 213 infeasible 1.0000 48126 1012 229 1.0000 71 1.0000 50271 Elapsed time = 498.89 sec. (437052.16 ticks, tree = 15.02 MB, solutions = 0) 1029 234 1.0000 72 1.0000 51278 1045 219 infeasible 1.0000 49966 1064 234 infeasible 1.0000 51803 1077 251 infeasible 1.0000 53336 1090 255 infeasible 1.0000 53911 1108 258 infeasible 1.0000 54361 1129 269 infeasible 1.0000 55619 1143 269 infeasible 1.0000 55979 1157 250 infeasible 1.0000 54856 1179 260 infeasible 1.0000 56548 Elapsed time = 540.20 sec. (480354.17 ticks, tree = 17.25 MB, solutions = 0) 1194 279 1.0000 70 1.0000 57773 1208 284 1.0000 70 1.0000 58199 1216 284 infeasible 1.0000 58513 1229 285 infeasible 1.0000 59654 1241 285 infeasible 1.0000 59821 1257 287 infeasible 1.0000 61644 1265 287 infeasible 1.0000 61985 1275 289 1.0000 72 1.0000 63157 1285 289 infeasible 1.0000 62869 1293 291 infeasible 1.0000 64380 Elapsed time = 580.39 sec. (522470.59 ticks, tree = 19.46 MB, solutions = 0) 1306 292 1.0000 72 1.0000 65647 1320 292 infeasible 1.0000 65952 1332 297 1.0000 70 1.0000 67151 1343 296 infeasible 1.0000 68363 Root node processing (before b&c): Real time = 177.14 sec. (102221.10 ticks) Parallel b&c, 2 threads: Real time = 423.91 sec. (438407.24 ticks) Sync time (average) = 45.39 sec. Wait time (average) = 0.00 sec. ------------ Total (root+branch&cut) = 601.05 sec. (540628.34 ticks)