Welcome to IBM(R) ILOG(R) CPLEX(R) Interactive Optimizer 12.4.0.0 with Simplex, Mixed Integer & Barrier Optimizers 5725-A06 5725-A29 5724-Y48 5724-Y49 5724-Y54 5724-Y55 Copyright IBM Corp. 1988, 2011. All Rights Reserved. Type 'help' for a list of available commands. Type 'help' followed by a command name for more information on commands. CPLEX> Selected objective sense: MINIMIZE Selected objective name: obj Selected RHS name: rhs Selected bound name: bnd Problem 'in_i.mps.gz' read. Read time = 0.02 sec. CPLEX> Available MIP parameters: cuts set types of cuts used during mixed integer optimization display set level of mixed integer node display interval set interval for printing mixed integer node display limits set limits for mixed integer optimization ordertype set type of generated priority order polishafter set starting conditions for solution polishing pool set solution pool characteristics strategy set strategy for mixed integer optimization tolerances set tolerances for mixed integer optimization MIP parameter to set: Available mixed integer limits: aggforcut set constraint aggregation limit for cut generation auxrootthreads set number of threads to use for auxiliary root tasks cutpasses set number of cutting plane passes cutsfactor set rows multiplier factor to limit cuts eachcutlimit set limit on number of cuts for each type per pass gomorycand set candidate limit for generating Gomory fractional cuts gomorypass set pass limit for generating Gomory fractional cuts nodes set branch and cut node limit polishtime set time limit for polishing best solution populate set solutions limit for each populate call probetime set time limit for probing repairtries set number of times to try repair heuristic solutions set mixed integer solutions limit strongcand set strong branching candidate limit strongit set strong branching iteration limit submipnodelim set sub-MIP node limit treememory set upper limit on size of tree in megabytes Mixed integer limit to set: Present value for mixed integer solutions limit: 9223372036800000000 New value for mixed integer solutions limit: New value for mixed integer solutions limit: 1 CPLEX> Present value for time limit in seconds: 1e+75 New value for time limit in seconds: New value for time limit in seconds: 3600 CPLEX> Tried aggregator 2 times. MIP Presolve eliminated 1243 rows and 1127 columns. MIP Presolve modified 1 coefficients. Aggregator did 365 substitutions. Reduced MIP has 671 rows, 1971 columns, and 8489 nonzeros. Reduced MIP has 1971 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing fixed 16 vars, tightened 0 bounds. Probing time = 0.03 sec. Tried aggregator 1 time. MIP Presolve eliminated 3 rows and 17 columns. Reduced MIP has 668 rows, 1954 columns, and 8379 nonzeros. Reduced MIP has 1954 binaries, 0 generals, 0 SOSs, and 0 indicators. Presolve time = 0.05 sec. Probing time = 0.00 sec. Clique table members: 5615. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: deterministic, using up to 4 threads. Root relaxation solution time = 0.09 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 6.3269 269 6.3269 1761 0 0 7.0000 275 Cuts: 93 2371 0 0 7.0000 289 Cuts: 24 2816 0 0 7.0000 187 Cuts: 9 2879 0 0 7.0000 209 Cuts: 34 3008 0 2 7.0000 154 7.0000 3008 Elapsed real time = 1.32 sec. (tree size = 0.01 MB, solutions = 0) 7 9 7.0000 264 7.0000 7499 50 52 7.0000 242 7.0000 17459 86 86 7.0000 202 7.0000 31305 126 106 infeasible 7.0000 49826 157 109 7.0000 228 7.0000 71482 185 111 7.0000 193 7.0000 93736 216 110 infeasible 7.0000 117210 270 102 infeasible 7.0000 156520 302 116 infeasible 7.0000 177222 533 139 infeasible 7.0000 302102 Elapsed real time = 4.21 sec. (tree size = 0.09 MB, solutions = 0) 795 133 7.0000 220 7.0000 445145 1066 158 7.0000 215 7.0000 587119 1325 155 infeasible 7.0000 737116 1568 208 infeasible 7.0000 867882 1770 202 7.0000 236 7.0000 1003317 1987 205 infeasible 7.0000 1132492 2210 224 infeasible 7.0000 1272393 2446 248 7.0000 241 7.0000 1426534 2639 247 infeasible 7.0000 1541074 2876 312 7.0000 210 7.0000 1665507 Elapsed real time = 12.87 sec. (tree size = 0.15 MB, solutions = 0) 3137 347 infeasible 7.0000 1825400 3359 379 infeasible 7.0000 1951724 3667 369 infeasible 7.0000 2141704 3948 386 7.0000 203 7.0000 2312505 4216 412 7.0000 188 7.0000 2475010 4427 427 infeasible 7.0000 2621663 4643 435 infeasible 7.0000 2767031 4883 459 infeasible 7.0000 2924237 5123 505 infeasible 7.0000 3063706 5203 481 7.0000 188 7.0000 3133044 Elapsed real time = 24.21 sec. (tree size = 0.95 MB, solutions = 0) 5214 488 7.0000 248 7.0000 3139947 5248 506 7.0000 251 7.0000 3152704 5286 519 7.0000 249 7.0000 3170213 5403 491 infeasible 7.0000 3224327 5518 515 7.0000 160 7.0000 3258785 5662 541 7.0000 181 7.0000 3296435 5776 565 7.0000 192 7.0000 3334279 5861 499 7.0000 175 7.0000 3378481 5949 474 7.0000 151 7.0000 3413027 6046 467 7.0000 206 7.0000 3459473 Elapsed real time = 32.40 sec. (tree size = 3.02 MB, solutions = 0) 6144 502 7.0000 159 7.0000 3506133 6285 568 7.0000 155 7.0000 3551757 6395 599 7.0000 157 7.0000 3593562 6483 584 7.0000 166 7.0000 3638635 6578 584 7.0000 165 7.0000 3696266 6692 592 infeasible 7.0000 3757382 6765 571 7.0000 174 7.0000 3801331 6848 575 infeasible 7.0000 3843017 6948 596 7.0000 247 7.0000 3882942 7030 611 infeasible 7.0000 3919316 Elapsed real time = 40.39 sec. (tree size = 3.63 MB, solutions = 0) 7143 611 infeasible 7.0000 3968376 7287 662 infeasible 7.0000 4034067 7465 676 infeasible 7.0000 4153017 7558 724 7.0000 250 7.0000 4196709 7664 739 6.3333 277 7.0000 4270419 7676 559 7.0000 230 7.0000 4277919 7726 580 7.0000 227 7.0000 4291202 7808 623 7.0000 214 7.0000 4312601 7909 627 7.0000 183 7.0000 4349028 8020 649 7.0000 220 7.0000 4377805 Elapsed real time = 55.59 sec. (tree size = 4.64 MB, solutions = 0) 8120 642 infeasible 7.0000 4418169 8270 642 7.0000 187 7.0000 4464420 8418 537 7.0000 201 7.0000 4539135 8517 514 7.0000 213 7.0000 4574494 8616 532 7.0000 253 7.0000 4616803 8785 612 7.0000 199 7.0000 4678625 9072 710 7.0000 241 7.0000 4769786 9296 775 infeasible 7.0000 4851924 9572 835 7.0000 212 7.0000 4963215 9786 924 7.0000 199 7.0000 5033508 Elapsed real time = 64.62 sec. (tree size = 5.67 MB, solutions = 0) 10013 1096 7.0000 209 7.0000 5083710 10238 1191 infeasible 7.0000 5175796 10506 1213 7.0000 229 7.0000 5305048 10679 1297 7.0000 188 7.0000 5367417 10967 1384 7.0000 190 7.0000 5477529 11220 1415 7.0000 205 7.0000 5594978 11466 1500 infeasible 7.0000 5689449 11735 1541 7.0000 208 7.0000 5794012 11952 1658 7.0000 242 7.0000 5869598 12201 1771 7.0000 227 7.0000 5960729 Elapsed real time = 73.68 sec. (tree size = 11.51 MB, solutions = 0) 12493 1808 7.0000 202 7.0000 6086910 12771 1828 7.0000 188 7.0000 6201368 13057 1869 7.0000 208 7.0000 6320273 13294 1952 7.0000 236 7.0000 6407430 13590 2073 7.0000 184 7.0000 6523186 13907 2109 7.0000 168 7.0000 6672665 14198 2168 infeasible 7.0000 6788722 14536 2200 7.0000 168 7.0000 6949786 14746 2200 7.0000 176 7.0000 7052048 15090 2235 7.0000 179 7.0000 7224634 Elapsed real time = 83.00 sec. (tree size = 13.59 MB, solutions = 0) 15318 2249 7.0000 172 7.0000 7337148 15603 2250 7.0000 199 7.0000 7486355 15843 2237 infeasible 7.0000 7618950 16097 2284 infeasible 7.0000 7727173 16440 2312 infeasible 7.0000 7875838 16746 2404 7.0000 175 7.0000 8005732 17040 2382 infeasible 7.0000 8143682 17324 2447 7.0000 176 7.0000 8261213 17480 2503 7.0000 196 7.0000 8328959 18663 2688 7.0000 186 7.0000 8902031 Elapsed real time = 94.95 sec. (tree size = 15.64 MB, solutions = 0) 19581 2685 infeasible 7.0000 9420206 20568 2714 7.0000 143 7.0000 9961787 21696 2717 infeasible 7.0000 10506763 22783 2808 7.0000 145 7.0000 11040302 23890 3047 infeasible 7.0000 11561972 25024 3156 7.0000 188 7.0000 12104366 26098 3165 7.0000 214 7.0000 12660711 27301 3458 infeasible 7.0000 13197001 28586 3547 7.0000 187 7.0000 13771889 29944 3601 infeasible 7.0000 14416863 Elapsed real time = 131.63 sec. (tree size = 22.69 MB, solutions = 0) 31086 3632 7.0000 176 7.0000 14981646 32304 3745 infeasible 7.0000 15551949 33541 3748 7.0000 183 7.0000 16167581 34633 3958 7.0000 171 7.0000 16683768 35525 3956 7.0000 185 7.0000 17183296 36297 3967 infeasible 7.0000 17624469 37249 4109 7.0000 197 7.0000 18105561 38207 4304 infeasible 7.0000 18624437 38889 4330 7.0000 171 7.0000 19148877 39746 4337 infeasible 7.0000 19681742 Elapsed real time = 167.63 sec. (tree size = 27.23 MB, solutions = 0) 40590 4456 7.0000 209 7.0000 20165855 41711 4544 7.0000 140 7.0000 20801696 42677 4614 infeasible 7.0000 21352832 43859 4630 infeasible 7.0000 22016781 44894 4615 7.0000 187 7.0000 22585290 45869 4605 7.0000 211 7.0000 23137303 46939 4587 infeasible 7.0000 23730594 47832 4714 7.0000 199 7.0000 24186029 48915 4803 7.0000 224 7.0000 24762625 49866 4825 infeasible 7.0000 25302834 Elapsed real time = 204.24 sec. (tree size = 30.23 MB, solutions = 0) 50987 4911 7.0000 200 7.0000 25927558 52055 5037 7.0000 179 7.0000 26494212 53048 5028 7.0000 168 7.0000 27112506 54040 5119 infeasible 7.0000 27665597 54936 5091 7.0000 217 7.0000 28249554 55907 5273 7.0000 197 7.0000 28757606 56968 5372 7.0000 224 7.0000 29332507 57849 5433 7.0000 178 7.0000 29885962 58797 5463 infeasible 7.0000 30439069 59844 5573 7.0000 199 7.0000 31010900 Elapsed real time = 240.41 sec. (tree size = 29.34 MB, solutions = 0) 61086 5670 7.0000 166 7.0000 31670811 62247 5625 infeasible 7.0000 32353311 63244 5700 infeasible 7.0000 32940815 64466 5739 7.0000 158 7.0000 33642727 65326 5789 7.0000 227 7.0000 34151243 66694 6078 infeasible 7.0000 34784115 68051 6251 infeasible 7.0000 35359369 69532 6350 7.0000 192 7.0000 36021038 70742 6350 infeasible 7.0000 36618631 71962 6309 infeasible 7.0000 37223908 Elapsed real time = 277.48 sec. (tree size = 33.81 MB, solutions = 0) 72932 6276 infeasible 7.0000 37794857 74171 6460 7.0000 193 7.0000 38407258 75485 6530 infeasible 7.0000 39013704 76659 6590 infeasible 7.0000 39682509 77908 6610 infeasible 7.0000 40323104 79198 6596 infeasible 7.0000 40942808 80364 6679 infeasible 7.0000 41543993 81641 6680 7.0000 202 7.0000 42216406 82671 6696 infeasible 7.0000 42773025 83713 6770 7.0000 178 7.0000 43348676 Elapsed real time = 314.09 sec. (tree size = 36.46 MB, solutions = 0) 84771 6835 infeasible 7.0000 43940663 85962 6875 7.0000 178 7.0000 44528374 87176 6902 infeasible 7.0000 45159735 88186 6921 7.0000 220 7.0000 45679880 89213 6894 infeasible 7.0000 46239120 90464 7109 7.0000 222 7.0000 46895355 91534 7216 7.0000 190 7.0000 47449394 92652 7314 7.0000 203 7.0000 48072154 93662 7308 7.0000 229 7.0000 48659174 94758 7362 infeasible 7.0000 49254640 Elapsed real time = 350.13 sec. (tree size = 40.07 MB, solutions = 0) 95970 7441 7.0000 193 7.0000 49909063 96945 7428 7.0000 222 7.0000 50446639 97994 7453 infeasible 7.0000 51004853 99169 7468 7.0000 204 7.0000 51629847 100104 7655 infeasible 7.0000 52137848 101726 7821 infeasible 7.0000 52885624 103047 7753 infeasible 7.0000 53495098 104198 7845 infeasible 7.0000 54109003 105088 7920 7.0000 179 7.0000 54612019 106207 7895 7.0000 192 7.0000 55256642 Elapsed real time = 386.60 sec. (tree size = 42.87 MB, solutions = 0) 107272 7859 7.0000 186 7.0000 55868437 108259 7899 infeasible 7.0000 56409921 109404 7915 7.0000 200 7.0000 57026472 110634 7955 7.0000 199 7.0000 57683378 112056 8026 7.0000 202 7.0000 58315002 113429 7998 infeasible 7.0000 58978705 114341 7966 7.0000 190 7.0000 59496519 115395 8056 infeasible 7.0000 60089523 116485 8085 infeasible 7.0000 60688236 117442 8153 infeasible 7.0000 61201334 Elapsed real time = 422.65 sec. (tree size = 44.20 MB, solutions = 0) 118612 8187 infeasible 7.0000 61864358 119735 8213 infeasible 7.0000 62485249 120737 8199 infeasible 7.0000 63026745 121858 8260 7.0000 221 7.0000 63591466 123088 8228 infeasible 7.0000 64257789 124298 8389 infeasible 7.0000 64841048 125485 8393 infeasible 7.0000 65435967 126676 8342 infeasible 7.0000 66146324 127715 8412 7.0000 201 7.0000 66695010 128860 8515 7.0000 212 7.0000 67247053 Elapsed real time = 459.04 sec. (tree size = 46.27 MB, solutions = 0) 130186 8668 7.0000 160 7.0000 67878285 131572 8703 7.0000 160 7.0000 68518089 133068 8716 infeasible 7.0000 69218464 134500 8758 7.0000 152 7.0000 69874214 136020 8759 7.0000 195 7.0000 70552291 137331 8757 7.0000 183 7.0000 71173490 138399 8787 7.0000 244 7.0000 71750232 139495 8762 7.0000 214 7.0000 72355881 140516 8907 7.0000 200 7.0000 72963295 141597 9035 infeasible 7.0000 73530219 Elapsed real time = 495.80 sec. (tree size = 48.94 MB, solutions = 0) 142666 9103 7.0000 215 7.0000 74131156 143784 9192 7.0000 112 7.0000 74784215 144834 9214 infeasible 7.0000 75448803 145889 9217 infeasible 7.0000 76045904 146976 9295 infeasible 7.0000 76655187 148106 9308 infeasible 7.0000 77275638 149161 9343 7.0000 177 7.0000 77830519 150118 9428 infeasible 7.0000 78360863 150893 9440 infeasible 7.0000 78919489 152251 9491 7.0000 163 7.0000 79640171 Elapsed real time = 532.33 sec. (tree size = 51.80 MB, solutions = 0) 153595 9517 7.0000 188 7.0000 80332335 155025 9518 infeasible 7.0000 81046304 156274 9519 infeasible 7.0000 81663673 157673 9490 infeasible 7.0000 82366751 158684 9583 infeasible 7.0000 82894066 159976 9592 infeasible 7.0000 83539047 161089 9553 infeasible 7.0000 84161460 162107 9567 infeasible 7.0000 84743386 163260 9550 7.0000 183 7.0000 85386732 164245 9580 infeasible 7.0000 85964755 Elapsed real time = 568.71 sec. (tree size = 52.38 MB, solutions = 0) 165311 9628 infeasible 7.0000 86547153 166321 9635 7.0000 163 7.0000 87160907 167323 9629 infeasible 7.0000 87737885 168392 9617 7.0000 217 7.0000 88334103 169511 9636 infeasible 7.0000 88961758 170711 9660 infeasible 7.0000 89611647 171960 9687 7.0000 162 7.0000 90198130 173187 9658 7.0000 183 7.0000 90880962 174155 9666 infeasible 7.0000 91457187 175415 9685 infeasible 7.0000 92123818 Elapsed real time = 605.03 sec. (tree size = 52.58 MB, solutions = 0) 176586 9729 infeasible 7.0000 92757600 177911 9673 infeasible 7.0000 93481394 178810 9635 7.0000 201 7.0000 94010300 179951 9843 7.0000 182 7.0000 94587048 180976 10001 7.0000 207 7.0000 95149648 182398 10036 infeasible 7.0000 95907401 183556 10035 infeasible 7.0000 96508754 184674 9984 infeasible 7.0000 97148160 185809 9999 infeasible 7.0000 97766708 186988 10036 infeasible 7.0000 98372546 Elapsed real time = 641.79 sec. (tree size = 54.66 MB, solutions = 0) 188180 9959 infeasible 7.0000 99023573 189130 9985 infeasible 7.0000 99554744 190269 9984 infeasible 7.0000 1.00e+08 191313 9987 infeasible 7.0000 1.01e+08 192320 10060 7.0000 231 7.0000 1.01e+08 193473 10179 7.0000 209 7.0000 1.02e+08 194721 10616 7.0000 194 7.0000 1.03e+08 196050 10726 infeasible 7.0000 1.03e+08 197437 10775 infeasible 7.0000 1.04e+08 198764 10829 7.0000 193 7.0000 1.04e+08 Elapsed real time = 677.91 sec. (tree size = 57.99 MB, solutions = 0) 199912 10855 7.0000 226 7.0000 1.05e+08 200863 10898 7.0000 225 7.0000 1.06e+08 202013 10988 7.0000 244 7.0000 1.06e+08 203290 11043 infeasible 7.0000 1.07e+08 204313 11067 7.0000 229 7.0000 1.07e+08 205438 11077 infeasible 7.0000 1.08e+08 206633 11089 7.0000 201 7.0000 1.09e+08 207738 11192 7.0000 189 7.0000 1.09e+08 208965 11236 infeasible 7.0000 1.10e+08 210126 11279 infeasible 7.0000 1.11e+08 Elapsed real time = 714.62 sec. (tree size = 58.38 MB, solutions = 0) 211190 11201 infeasible 7.0000 1.11e+08 212104 11216 infeasible 7.0000 1.12e+08 213127 11150 7.0000 191 7.0000 1.13e+08 214310 11204 infeasible 7.0000 1.13e+08 215515 11192 7.0000 208 7.0000 1.14e+08 216524 11165 infeasible 7.0000 1.15e+08 217674 11178 infeasible 7.0000 1.15e+08 218634 11126 infeasible 7.0000 1.16e+08 219695 11187 infeasible 7.0000 1.16e+08 220708 11144 infeasible 7.0000 1.17e+08 Elapsed real time = 750.37 sec. (tree size = 57.67 MB, solutions = 0) 221859 11091 infeasible 7.0000 1.18e+08 223036 11137 infeasible 7.0000 1.18e+08 224126 11177 7.0000 184 7.0000 1.19e+08 225285 11210 7.0000 204 7.0000 1.19e+08 226436 11195 infeasible 7.0000 1.20e+08 227536 11288 infeasible 7.0000 1.21e+08 228609 11238 infeasible 7.0000 1.21e+08 229533 11237 7.0000 215 7.0000 1.22e+08 230642 11322 infeasible 7.0000 1.22e+08 231792 11417 infeasible 7.0000 1.23e+08 Elapsed real time = 786.38 sec. (tree size = 58.56 MB, solutions = 0) 232838 11447 infeasible 7.0000 1.24e+08 233998 11490 infeasible 7.0000 1.24e+08 235089 11431 7.0000 239 7.0000 1.25e+08 236032 11426 infeasible 7.0000 1.26e+08 237455 11458 infeasible 7.0000 1.26e+08 238739 11542 7.0000 188 7.0000 1.27e+08 239983 11527 7.0000 206 7.0000 1.28e+08 241287 11521 infeasible 7.0000 1.28e+08 242520 11512 infeasible 7.0000 1.29e+08 243641 11535 infeasible 7.0000 1.29e+08 Elapsed real time = 822.95 sec. (tree size = 59.57 MB, solutions = 0) 244903 11597 infeasible 7.0000 1.30e+08 245968 11633 7.0000 206 7.0000 1.31e+08 247227 11720 infeasible 7.0000 1.31e+08 248442 11742 7.0000 202 7.0000 1.32e+08 249492 11749 7.0000 201 7.0000 1.33e+08 250659 11711 7.0000 225 7.0000 1.33e+08 251807 11678 7.0000 205 7.0000 1.34e+08 252851 11668 infeasible 7.0000 1.34e+08 254077 11661 infeasible 7.0000 1.35e+08 255198 11635 7.0000 161 7.0000 1.36e+08 Elapsed real time = 859.33 sec. (tree size = 59.98 MB, solutions = 0) 256262 11613 7.0000 196 7.0000 1.36e+08 257364 11630 infeasible 7.0000 1.37e+08 258404 11672 7.0000 208 7.0000 1.38e+08 259615 11704 infeasible 7.0000 1.38e+08 260589 11740 infeasible 7.0000 1.39e+08 261757 11796 7.0000 181 7.0000 1.39e+08 262680 11712 7.0000 182 7.0000 1.40e+08 263734 11823 infeasible 7.0000 1.41e+08 264970 11830 infeasible 7.0000 1.41e+08 266313 11810 7.0000 184 7.0000 1.42e+08 Elapsed real time = 895.66 sec. (tree size = 60.64 MB, solutions = 0) 267268 11803 7.0000 193 7.0000 1.43e+08 268453 11846 7.0000 228 7.0000 1.43e+08 269676 11856 7.0000 236 7.0000 1.44e+08 270982 11915 7.0000 214 7.0000 1.45e+08 272081 11931 infeasible 7.0000 1.45e+08 273249 11905 7.0000 175 7.0000 1.46e+08 274547 11916 infeasible 7.0000 1.47e+08 275748 12016 infeasible 7.0000 1.47e+08 276744 12078 7.0000 188 7.0000 1.48e+08 278137 12073 infeasible 7.0000 1.48e+08 Elapsed real time = 932.35 sec. (tree size = 61.96 MB, solutions = 0) 279387 12020 infeasible 7.0000 1.49e+08 280622 12003 7.0000 175 7.0000 1.50e+08 281667 12043 infeasible 7.0000 1.50e+08 282909 11999 infeasible 7.0000 1.51e+08 284032 12094 infeasible 7.0000 1.52e+08 285035 12174 7.0000 205 7.0000 1.52e+08 286357 12152 7.0000 202 7.0000 1.53e+08 287593 12168 7.0000 191 7.0000 1.54e+08 288707 12238 infeasible 7.0000 1.54e+08 289926 12295 infeasible 7.0000 1.55e+08 Elapsed real time = 968.96 sec. (tree size = 62.54 MB, solutions = 0) 291049 12230 infeasible 7.0000 1.56e+08 292092 12270 infeasible 7.0000 1.56e+08 293252 12386 7.0041 180 7.0000 1.57e+08 294477 12383 infeasible 7.0000 1.57e+08 295722 12406 7.0000 175 7.0000 1.58e+08 296789 12427 infeasible 7.0000 1.59e+08 298006 12472 infeasible 7.0000 1.59e+08 299218 12435 infeasible 7.0000 1.60e+08 300375 12575 7.0000 220 7.0000 1.60e+08 301678 12659 infeasible 7.0000 1.61e+08 Elapsed real time = 1005.06 sec. (tree size = 64.22 MB, solutions = 0) 302851 12631 7.0000 207 7.0000 1.62e+08 303812 12642 infeasible 7.0000 1.62e+08 304978 12604 7.0000 190 7.0000 1.63e+08 306213 12631 infeasible 7.0000 1.64e+08 307550 12644 infeasible 7.0000 1.64e+08 308663 12584 infeasible 7.0000 1.65e+08 309711 12620 7.0000 171 7.0000 1.66e+08 311083 12664 7.0000 187 7.0000 1.66e+08 312309 12650 7.0000 182 7.0000 1.67e+08 313427 12595 7.0000 185 7.0000 1.68e+08 Elapsed real time = 1041.07 sec. (tree size = 63.43 MB, solutions = 0) 314471 12644 7.0000 214 7.0000 1.68e+08 315614 12646 infeasible 7.0000 1.69e+08 316852 12636 infeasible 7.0000 1.69e+08 318176 12723 7.0000 159 7.0000 1.70e+08 319379 12717 infeasible 7.0000 1.71e+08 320652 12718 7.0000 201 7.0000 1.71e+08 321887 12706 infeasible 7.0000 1.72e+08 323047 12651 infeasible 7.0000 1.73e+08 324173 12684 infeasible 7.0000 1.73e+08 325465 12673 7.0000 183 7.0000 1.74e+08 Elapsed real time = 1077.38 sec. (tree size = 63.89 MB, solutions = 0) 326708 12709 infeasible 7.0000 1.75e+08 328100 12692 7.0000 213 7.0000 1.75e+08 329353 12658 infeasible 7.0000 1.76e+08 330451 12806 infeasible 7.0000 1.77e+08 331704 12898 infeasible 7.0000 1.77e+08 332933 12845 7.0000 199 7.0000 1.78e+08 334166 12810 7.0000 222 7.0000 1.79e+08 335159 12815 infeasible 7.0000 1.79e+08 336291 12906 7.0000 145 7.0000 1.80e+08 337400 12928 7.0000 186 7.0000 1.81e+08 Elapsed real time = 1113.75 sec. (tree size = 65.27 MB, solutions = 0) 338795 12956 7.0000 179 7.0000 1.81e+08 340089 12930 7.0000 205 7.0000 1.82e+08 341065 12920 infeasible 7.0000 1.83e+08 342141 12873 infeasible 7.0000 1.83e+08 343241 12855 infeasible 7.0000 1.84e+08 344409 12912 infeasible 7.0000 1.84e+08 345543 12902 7.0000 179 7.0000 1.85e+08 346788 12855 7.0000 220 7.0000 1.86e+08 347863 12896 infeasible 7.0000 1.86e+08 348968 13003 7.0000 212 7.0000 1.87e+08 Elapsed real time = 1149.64 sec. (tree size = 65.15 MB, solutions = 0) 349988 13026 7.0000 194 7.0000 1.87e+08 351007 13189 7.0000 210 7.0000 1.88e+08 352191 13329 infeasible 7.0000 1.89e+08 353231 13421 infeasible 7.0000 1.89e+08 354420 13429 7.0000 182 7.0000 1.90e+08 355718 13419 infeasible 7.0000 1.91e+08 356937 13413 infeasible 7.0000 1.91e+08 358144 13448 7.0000 204 7.0000 1.92e+08 359241 13431 infeasible 7.0000 1.92e+08 360476 13472 7.0000 240 7.0000 1.93e+08 Elapsed real time = 1185.52 sec. (tree size = 67.13 MB, solutions = 0) 361569 13481 infeasible 7.0000 1.94e+08 362689 13480 7.0000 202 7.0000 1.94e+08 363838 13544 7.0000 197 7.0000 1.95e+08 365140 13573 infeasible 7.0000 1.96e+08 366440 13532 7.0000 211 7.0000 1.96e+08 367535 13604 7.0000 178 7.0000 1.97e+08 368891 13592 7.0000 227 7.0000 1.98e+08 369997 13717 7.0000 186 7.0000 1.98e+08 371175 13756 infeasible 7.0000 1.99e+08 372233 13736 infeasible 7.0000 1.99e+08 Elapsed real time = 1221.48 sec. (tree size = 68.09 MB, solutions = 0) 373294 13671 infeasible 7.0000 2.00e+08 374574 13656 7.0000 212 7.0000 2.01e+08 375694 13690 infeasible 7.0000 2.01e+08 376773 13683 7.0000 238 7.0000 2.02e+08 377947 13697 infeasible 7.0000 2.03e+08 379046 13675 infeasible 7.0000 2.03e+08 380248 13737 infeasible 7.0000 2.04e+08 381459 13806 infeasible 7.0000 2.05e+08 382633 13817 7.0000 214 7.0000 2.05e+08 383770 13773 7.0000 227 7.0000 2.06e+08 Elapsed real time = 1257.67 sec. (tree size = 68.32 MB, solutions = 0) 384784 13818 7.0000 202 7.0000 2.06e+08 386065 13909 infeasible 7.0000 2.07e+08 387246 13798 7.0000 203 7.0000 2.08e+08 388432 13832 7.0000 232 7.0000 2.08e+08 389614 13859 7.0000 194 7.0000 2.09e+08 390763 13905 infeasible 7.0000 2.10e+08 391929 13945 7.0000 198 7.0000 2.10e+08 393043 13941 infeasible 7.0000 2.11e+08 394095 13989 7.0000 218 7.0000 2.11e+08 395167 13933 7.0000 184 7.0000 2.12e+08 Elapsed real time = 1293.55 sec. (tree size = 68.74 MB, solutions = 0) 396203 13948 7.0000 188 7.0000 2.13e+08 397274 14010 infeasible 7.0000 2.13e+08 398358 14037 infeasible 7.0000 2.14e+08 399464 14011 7.0000 151 7.0000 2.15e+08 400445 14090 7.0000 207 7.0000 2.15e+08 401673 14182 infeasible 7.0000 2.16e+08 402952 14189 infeasible 7.0000 2.16e+08 404043 14204 infeasible 7.0000 2.17e+08 405146 14264 infeasible 7.0000 2.18e+08 406274 14211 7.0000 220 7.0000 2.18e+08 Elapsed real time = 1329.33 sec. (tree size = 70.12 MB, solutions = 0) 407402 14308 7.0000 225 7.0000 2.19e+08 408813 14433 7.0397 126 7.0000 2.20e+08 410265 14403 7.0000 181 7.0000 2.20e+08 411830 14410 7.0000 175 7.0000 2.21e+08 413286 14394 infeasible 7.0000 2.22e+08 414366 14393 infeasible 7.0000 2.22e+08 415452 14423 infeasible 7.0000 2.23e+08 416568 14406 infeasible 7.0000 2.24e+08 417734 14503 7.0000 185 7.0000 2.24e+08 418722 14523 infeasible 7.0000 2.25e+08 Elapsed real time = 1365.72 sec. (tree size = 71.58 MB, solutions = 0) 419873 14506 7.0000 223 7.0000 2.25e+08 420885 14558 infeasible 7.0000 2.26e+08 421975 14545 7.0000 194 7.0000 2.27e+08 423277 14634 7.0000 206 7.0000 2.27e+08 424629 14639 7.0000 159 7.0000 2.28e+08 425953 14631 infeasible 7.0000 2.29e+08 426952 14577 7.0000 224 7.0000 2.29e+08 427998 14577 infeasible 7.0000 2.30e+08 429089 14564 infeasible 7.0000 2.30e+08 430171 14649 infeasible 7.0000 2.31e+08 Elapsed real time = 1401.57 sec. (tree size = 71.92 MB, solutions = 0) 431349 14725 infeasible 7.0000 2.32e+08 432641 14784 7.0000 205 7.0000 2.32e+08 434044 14909 7.0000 173 7.0000 2.33e+08 435401 14842 7.0000 194 7.0000 2.34e+08 436665 14848 infeasible 7.0000 2.34e+08 437929 14870 infeasible 7.0000 2.35e+08 439176 14857 infeasible 7.0000 2.36e+08 440232 14839 infeasible 7.0000 2.36e+08 441393 14848 infeasible 7.0000 2.37e+08 442421 14841 7.0000 211 7.0000 2.37e+08 Elapsed real time = 1437.65 sec. (tree size = 72.74 MB, solutions = 0) 443446 14787 7.0000 209 7.0000 2.38e+08 444902 14847 7.0000 197 7.0000 2.39e+08 446202 14889 7.0000 198 7.0000 2.39e+08 447401 14906 infeasible 7.0000 2.40e+08 448558 14835 infeasible 7.0000 2.41e+08 449918 14845 infeasible 7.0000 2.41e+08 451038 14920 7.0000 192 7.0000 2.42e+08 452106 14922 7.0000 183 7.0000 2.43e+08 453082 14974 infeasible 7.0000 2.43e+08 454171 15034 infeasible 7.0000 2.44e+08 Elapsed real time = 1473.99 sec. (tree size = 73.45 MB, solutions = 0) 455323 15039 infeasible 7.0000 2.44e+08 456615 15063 7.0000 171 7.0000 2.45e+08 457989 15061 infeasible 7.0000 2.46e+08 459198 15061 7.0000 198 7.0000 2.46e+08 460398 15069 infeasible 7.0000 2.47e+08 461534 15153 7.0000 170 7.0000 2.48e+08 462754 15105 infeasible 7.0000 2.48e+08 463917 15105 infeasible 7.0000 2.49e+08 465062 15112 7.0000 162 7.0000 2.50e+08 466148 15120 infeasible 7.0000 2.50e+08 Elapsed real time = 1510.20 sec. (tree size = 73.79 MB, solutions = 0) 467332 15051 infeasible 7.0000 2.51e+08 468340 15113 infeasible 7.0000 2.51e+08 469415 15069 7.0000 184 7.0000 2.52e+08 470536 15074 infeasible 7.0000 2.53e+08 471732 15158 infeasible 7.0000 2.53e+08 472786 15176 infeasible 7.0000 2.54e+08 473895 15299 7.0000 206 7.0000 2.55e+08 475004 15356 infeasible 7.0000 2.55e+08 476157 15321 7.0000 201 7.0000 2.56e+08 477279 15319 7.0000 207 7.0000 2.57e+08 Elapsed real time = 1545.86 sec. (tree size = 74.48 MB, solutions = 0) 478411 15327 7.0000 140 7.0000 2.57e+08 479705 15320 7.0000 215 7.0000 2.58e+08 480843 15397 7.0000 216 7.0000 2.58e+08 482054 15437 infeasible 7.0000 2.59e+08 483190 15417 7.0000 178 7.0000 2.60e+08 484519 15423 infeasible 7.0000 2.60e+08 485705 15438 infeasible 7.0000 2.61e+08 486887 15504 7.0000 201 7.0000 2.62e+08 488088 15453 7.0000 201 7.0000 2.62e+08 489148 15466 7.0000 227 7.0000 2.63e+08 Elapsed real time = 1582.12 sec. (tree size = 74.85 MB, solutions = 0) 490219 15482 infeasible 7.0000 2.64e+08 491440 15528 infeasible 7.0000 2.64e+08 492743 15582 infeasible 7.0000 2.65e+08 494049 15592 7.0000 155 7.0000 2.66e+08 495267 15580 infeasible 7.0000 2.66e+08 496620 15721 infeasible 7.0000 2.67e+08 498033 15754 infeasible 7.0000 2.68e+08 499186 15721 infeasible 7.0000 2.68e+08 500553 15763 infeasible 7.0000 2.69e+08 501874 15824 infeasible 7.0000 2.70e+08 Elapsed real time = 1618.47 sec. (tree size = 76.07 MB, solutions = 0) 503275 15790 7.0000 213 7.0000 2.70e+08 504627 15824 infeasible 7.0000 2.71e+08 505928 15826 7.0000 186 7.0000 2.72e+08 507084 15791 7.0000 160 7.0000 2.72e+08 508228 15773 infeasible 7.0000 2.73e+08 509471 15782 7.0000 211 7.0000 2.73e+08 510924 15816 infeasible 7.0000 2.74e+08 512259 15854 infeasible 7.0000 2.75e+08 513595 15981 7.0000 192 7.0000 2.75e+08 515129 15989 7.0000 202 7.0000 2.76e+08 Elapsed real time = 1654.92 sec. (tree size = 77.02 MB, solutions = 0) 516602 15944 7.0000 166 7.0000 2.77e+08 518111 15964 7.0000 181 7.0000 2.78e+08 519647 15952 7.0000 178 7.0000 2.78e+08 520998 15898 7.0000 172 7.0000 2.79e+08 522135 15841 infeasible 7.0000 2.80e+08 523407 15797 7.0000 185 7.0000 2.80e+08 524606 15878 infeasible 7.0000 2.81e+08 525723 15882 7.0000 185 7.0000 2.81e+08 526963 15879 infeasible 7.0000 2.82e+08 528116 16071 7.0000 222 7.0000 2.83e+08 Elapsed real time = 1691.26 sec. (tree size = 77.23 MB, solutions = 0) 529212 16240 7.0000 215 7.0000 2.83e+08 530492 16461 7.0000 175 7.0000 2.84e+08 531931 16456 7.0000 198 7.0000 2.85e+08 533213 16469 7.0000 221 7.0000 2.85e+08 534703 16561 infeasible 7.0000 2.86e+08 535945 16658 infeasible 7.0000 2.87e+08 537173 16779 infeasible 7.0000 2.87e+08 538352 16969 infeasible 7.0000 2.88e+08 539682 17033 infeasible 7.0000 2.88e+08 541124 17037 infeasible 7.0000 2.89e+08 Elapsed real time = 1727.42 sec. (tree size = 81.27 MB, solutions = 0) 542516 17073 7.0000 204 7.0000 2.90e+08 543870 17039 7.0000 165 7.0000 2.90e+08 545169 17080 7.0000 207 7.0000 2.91e+08 546469 17065 infeasible 7.0000 2.92e+08 547866 17105 7.0000 215 7.0000 2.92e+08 549299 17142 infeasible 7.0000 2.93e+08 550403 17116 7.0000 184 7.0000 2.94e+08 551640 17125 7.0000 200 7.0000 2.94e+08 552770 17063 infeasible 7.0000 2.95e+08 553990 17177 infeasible 7.0000 2.96e+08 Elapsed real time = 1763.54 sec. (tree size = 82.14 MB, solutions = 0) 555265 17171 infeasible 7.0000 2.96e+08 556592 17240 infeasible 7.0000 2.97e+08 557939 17281 infeasible 7.0000 2.98e+08 559174 17251 infeasible 7.0000 2.98e+08 560362 17264 7.0000 199 7.0000 2.99e+08 561708 17312 7.0000 196 7.0000 3.00e+08 562969 17275 7.0000 173 7.0000 3.00e+08 564242 17274 infeasible 7.0000 3.01e+08 565347 17308 7.0000 198 7.0000 3.02e+08 566454 17354 infeasible 7.0000 3.02e+08 Elapsed real time = 1799.58 sec. (tree size = 83.21 MB, solutions = 0) 567559 17481 infeasible 7.0000 3.03e+08 568747 17480 7.0000 201 7.0000 3.03e+08 569764 17479 7.0000 192 7.0000 3.04e+08 571015 17530 7.0000 219 7.0000 3.05e+08 572061 17505 infeasible 7.0000 3.05e+08 573241 17513 7.0000 191 7.0000 3.06e+08 574575 17479 7.0000 209 7.0000 3.06e+08 575928 17546 7.0000 173 7.0000 3.07e+08 577287 17567 infeasible 7.0000 3.08e+08 578669 17548 infeasible 7.0000 3.08e+08 Elapsed real time = 1835.43 sec. (tree size = 83.93 MB, solutions = 0) 579742 17481 infeasible 7.0000 3.09e+08 580965 17470 infeasible 7.0000 3.10e+08 582047 17489 infeasible 7.0000 3.10e+08 583167 17477 infeasible 7.0000 3.11e+08 584571 17668 infeasible 7.0000 3.12e+08 585845 17677 infeasible 7.0000 3.12e+08 587086 17761 7.0000 194 7.0000 3.13e+08 588303 17779 7.0000 205 7.0000 3.13e+08 589535 17811 infeasible 7.0000 3.14e+08 590847 17763 7.0000 205 7.0000 3.15e+08 Elapsed real time = 1871.02 sec. (tree size = 84.74 MB, solutions = 0) 592145 17731 7.0000 205 7.0000 3.15e+08 593386 17701 7.0000 200 7.0000 3.16e+08 594603 17707 7.0000 191 7.0000 3.17e+08 595653 17707 7.0000 200 7.0000 3.17e+08 596740 17755 7.0000 209 7.0000 3.18e+08 598036 17783 7.0000 186 7.0000 3.19e+08 599353 17731 infeasible 7.0000 3.19e+08 600566 17664 infeasible 7.0000 3.20e+08 601766 17740 infeasible 7.0000 3.21e+08 603101 17711 infeasible 7.0000 3.21e+08 Elapsed real time = 1907.24 sec. (tree size = 84.63 MB, solutions = 0) 604230 17695 7.0000 210 7.0000 3.22e+08 605468 17750 infeasible 7.0000 3.22e+08 606564 17779 7.0000 197 7.0000 3.23e+08 607822 17746 7.0000 198 7.0000 3.24e+08 608947 17719 infeasible 7.0000 3.24e+08 610096 17752 7.0000 194 7.0000 3.25e+08 611264 17772 infeasible 7.0000 3.26e+08 612549 17744 7.0000 170 7.0000 3.26e+08 613908 17750 7.0000 221 7.0000 3.27e+08 615031 17746 7.0000 191 7.0000 3.28e+08 Elapsed real time = 1943.18 sec. (tree size = 84.64 MB, solutions = 0) 616523 17864 7.0000 199 7.0000 3.28e+08 617981 17858 infeasible 7.0000 3.29e+08 619177 17866 infeasible 7.0000 3.29e+08 620496 17840 infeasible 7.0000 3.30e+08 621743 17894 7.0000 204 7.0000 3.31e+08 623014 17917 7.0000 208 7.0000 3.31e+08 624203 17930 infeasible 7.0000 3.32e+08 625411 17914 7.0000 241 7.0000 3.33e+08 626608 17898 7.0000 216 7.0000 3.33e+08 627726 17904 infeasible 7.0000 3.34e+08 Elapsed real time = 1979.20 sec. (tree size = 85.39 MB, solutions = 0) 628822 17913 infeasible 7.0000 3.34e+08 630137 17975 7.0000 208 7.0000 3.35e+08 631462 18068 7.0000 173 7.0000 3.36e+08 632960 17994 infeasible 7.0000 3.36e+08 634195 17999 7.0046 195 7.0000 3.37e+08 635326 17983 7.0000 217 7.0000 3.38e+08 636499 17958 7.0000 212 7.0000 3.38e+08 637546 17990 7.0000 217 7.0000 3.39e+08 638882 17963 7.0000 207 7.0000 3.40e+08 640080 17970 infeasible 7.0000 3.40e+08 Elapsed real time = 2015.15 sec. (tree size = 85.59 MB, solutions = 0) 641392 17980 infeasible 7.0000 3.41e+08 642538 17960 7.0000 219 7.0000 3.42e+08 643769 18066 infeasible 7.0000 3.42e+08 644883 18168 7.0000 188 7.0000 3.43e+08 646104 18237 infeasible 7.0000 3.43e+08 647391 18213 7.0000 196 7.0000 3.44e+08 648507 18179 infeasible 7.0000 3.45e+08 649568 18194 7.0000 181 7.0000 3.45e+08 651191 18251 infeasible 7.0000 3.46e+08 652570 18255 7.0000 193 7.0000 3.47e+08 Elapsed real time = 2051.12 sec. (tree size = 86.68 MB, solutions = 0) 654097 18228 7.0000 191 7.0000 3.47e+08 655512 18227 infeasible 7.0000 3.48e+08 656935 18234 infeasible 7.0000 3.49e+08 658129 18221 7.0000 200 7.0000 3.49e+08 659384 18191 7.0000 225 7.0000 3.50e+08 660625 18169 7.0000 219 7.0000 3.51e+08 661702 18128 7.0000 210 7.0000 3.51e+08 662787 18117 infeasible 7.0000 3.52e+08 663899 18136 infeasible 7.0000 3.53e+08 665099 18136 7.0000 213 7.0000 3.53e+08 Elapsed real time = 2087.47 sec. (tree size = 86.21 MB, solutions = 0) 666177 18110 infeasible 7.0000 3.54e+08 667228 18131 infeasible 7.0000 3.55e+08 668333 18127 infeasible 7.0000 3.55e+08 669450 18088 infeasible 7.0000 3.56e+08 670838 18130 7.0007 160 7.0000 3.57e+08 672110 18110 infeasible 7.0000 3.57e+08 673297 18158 7.0000 176 7.0000 3.58e+08 674625 18186 7.0000 155 7.0000 3.59e+08 675810 18183 infeasible 7.0000 3.59e+08 676948 18216 infeasible 7.0000 3.60e+08 Elapsed real time = 2123.71 sec. (tree size = 86.51 MB, solutions = 0) 678058 18213 infeasible 7.0000 3.60e+08 679221 18202 infeasible 7.0000 3.61e+08 680353 18209 7.0000 197 7.0000 3.62e+08 681492 18266 7.0000 188 7.0000 3.62e+08 682616 18266 infeasible 7.0000 3.63e+08 683531 18303 infeasible 7.0000 3.64e+08 684675 18542 infeasible 7.0000 3.64e+08 685912 18629 7.0000 186 7.0000 3.65e+08 687129 18762 infeasible 7.0000 3.65e+08 688177 18784 7.0000 211 7.0000 3.66e+08 Elapsed real time = 2159.27 sec. (tree size = 88.57 MB, solutions = 0) 689269 18821 7.0000 213 7.0000 3.67e+08 690408 18923 infeasible 7.0000 3.67e+08 691474 18889 infeasible 7.0000 3.68e+08 692522 18980 7.0000 195 7.0000 3.68e+08 693677 19045 7.0000 253 7.0000 3.69e+08 694736 19099 infeasible 7.0000 3.70e+08 695819 19088 infeasible 7.0000 3.70e+08 696871 19113 7.0000 203 7.0000 3.71e+08 698080 19295 7.0000 243 7.0000 3.71e+08 699202 19391 7.0000 214 7.0000 3.72e+08 Elapsed real time = 2194.23 sec. (tree size = 90.97 MB, solutions = 0) 700347 19619 7.0000 185 7.0000 3.73e+08 701371 19596 infeasible 7.0000 3.73e+08 702525 19620 7.0000 227 7.0000 3.74e+08 703651 19832 7.0000 216 7.0000 3.75e+08 704737 19952 7.0000 229 7.0000 3.75e+08 705840 19956 7.0000 196 7.0000 3.76e+08 706813 19993 7.0000 203 7.0000 3.76e+08 707886 19993 7.0000 208 7.0000 3.77e+08 708923 19994 infeasible 7.0000 3.78e+08 709955 20012 infeasible 7.0000 3.78e+08 Elapsed real time = 2229.59 sec. (tree size = 93.17 MB, solutions = 0) 711121 20078 7.0000 193 7.0000 3.79e+08 712329 20065 7.0000 183 7.0000 3.80e+08 713567 20030 infeasible 7.0000 3.80e+08 714557 20049 7.0000 203 7.0000 3.81e+08 716005 20166 7.0000 188 7.0000 3.82e+08 717473 20213 7.0000 213 7.0000 3.82e+08 718884 20139 infeasible 7.0000 3.83e+08 720351 20118 infeasible 7.0000 3.84e+08 721780 20098 7.0000 187 7.0000 3.84e+08 723404 20079 7.0000 197 7.0000 3.85e+08 Elapsed real time = 2265.93 sec. (tree size = 93.42 MB, solutions = 0) 724805 20063 infeasible 7.0000 3.86e+08 726175 20147 infeasible 7.0000 3.86e+08 727656 20120 infeasible 7.0000 3.87e+08 729036 20163 infeasible 7.0000 3.88e+08 730269 20073 7.0000 195 7.0000 3.88e+08 731468 20156 7.0000 167 7.0000 3.89e+08 732775 20196 7.0000 180 7.0000 3.90e+08 734226 20244 7.0000 182 7.0000 3.90e+08 735559 20193 7.0000 167 7.0000 3.91e+08 736958 20207 7.0000 164 7.0000 3.92e+08 Elapsed real time = 2302.33 sec. (tree size = 94.04 MB, solutions = 0) 738396 20175 infeasible 7.0000 3.92e+08 739665 20144 infeasible 7.0000 3.93e+08 741003 20285 infeasible 7.0000 3.94e+08 742414 20254 infeasible 7.0000 3.94e+08 743676 20187 7.0000 174 7.0000 3.95e+08 744786 20255 infeasible 7.0000 3.96e+08 745842 20230 infeasible 7.0000 3.96e+08 747117 20283 infeasible 7.0000 3.97e+08 748276 20287 7.0000 209 7.0000 3.97e+08 749480 20280 infeasible 7.0000 3.98e+08 Elapsed real time = 2338.26 sec. (tree size = 94.38 MB, solutions = 0) 750588 20289 7.0000 184 7.0000 3.99e+08 751619 20314 7.0000 232 7.0000 3.99e+08 752807 20295 infeasible 7.0000 4.00e+08 754030 20247 7.0000 201 7.0000 4.01e+08 755288 20301 infeasible 7.0000 4.01e+08 756430 20314 7.0000 196 7.0000 4.02e+08 757528 20376 7.0000 202 7.0000 4.03e+08 758676 20334 infeasible 7.0000 4.03e+08 759802 20379 7.0000 199 7.0000 4.04e+08 760927 20338 7.0000 206 7.0000 4.04e+08 Elapsed real time = 2374.06 sec. (tree size = 94.41 MB, solutions = 0) 762196 20500 7.0000 174 7.0000 4.05e+08 763429 20455 infeasible 7.0000 4.06e+08 764515 20450 7.0000 179 7.0000 4.06e+08 765747 20581 7.0000 185 7.0000 4.07e+08 767129 20595 7.0000 187 7.0000 4.08e+08 768496 20602 7.0000 217 7.0000 4.08e+08 769804 20604 7.0000 214 7.0000 4.09e+08 771083 20706 infeasible 7.0000 4.10e+08 772340 20697 infeasible 7.0000 4.10e+08 773454 20642 7.0000 229 7.0000 4.11e+08 Elapsed real time = 2409.92 sec. (tree size = 95.67 MB, solutions = 0) 774603 20668 7.0000 203 7.0000 4.12e+08 775627 20674 7.0000 204 7.0000 4.12e+08 776838 20783 7.0000 190 7.0000 4.13e+08 778085 20734 7.0000 212 7.0000 4.14e+08 779347 20797 infeasible 7.0000 4.14e+08 780611 20764 infeasible 7.0000 4.15e+08 781788 20723 7.0000 214 7.0000 4.15e+08 782902 20743 7.0000 233 7.0000 4.16e+08 784035 20784 7.0000 205 7.0000 4.17e+08 785114 20777 infeasible 7.0000 4.17e+08 Elapsed real time = 2445.79 sec. (tree size = 96.27 MB, solutions = 0) 786263 20762 7.0000 189 7.0000 4.18e+08 787362 20717 7.0000 227 7.0000 4.19e+08 788418 20721 infeasible 7.0000 4.19e+08 789705 20748 infeasible 7.0000 4.20e+08 791034 20700 infeasible 7.0000 4.21e+08 792208 20702 7.0000 202 7.0000 4.21e+08 793051 20695 infeasible 7.0000 4.22e+08 794091 20657 infeasible 7.0000 4.22e+08 795296 20700 7.0000 192 7.0000 4.23e+08 796381 20685 7.0000 222 7.0000 4.24e+08 Elapsed real time = 2481.46 sec. (tree size = 95.63 MB, solutions = 0) 797657 20805 7.0000 191 7.0000 4.24e+08 799016 20795 infeasible 7.0000 4.25e+08 800281 20788 7.0000 196 7.0000 4.26e+08 801577 20781 infeasible 7.0000 4.26e+08 802739 20744 7.0000 195 7.0000 4.27e+08 803960 20800 infeasible 7.0000 4.28e+08 805075 20804 infeasible 7.0000 4.28e+08 806133 20804 7.0000 210 7.0000 4.29e+08 807427 20871 infeasible 7.0000 4.30e+08 808732 20890 infeasible 7.0000 4.30e+08 Elapsed real time = 2517.41 sec. (tree size = 96.61 MB, solutions = 0) 809896 20864 infeasible 7.0000 4.31e+08 811324 20880 7.0000 210 7.0000 4.32e+08 812470 20873 7.0000 230 7.0000 4.32e+08 813512 20829 infeasible 7.0000 4.33e+08 814750 20891 7.0000 190 7.0000 4.33e+08 815937 20895 infeasible 7.0000 4.34e+08 817114 20861 7.0000 214 7.0000 4.35e+08 818301 20867 infeasible 7.0000 4.35e+08 819425 20854 7.0000 198 7.0000 4.36e+08 820531 20932 7.0000 209 7.0000 4.37e+08 Elapsed real time = 2553.14 sec. (tree size = 96.49 MB, solutions = 0) 821743 20960 7.0000 146 7.0000 4.37e+08 823184 20951 7.0000 172 7.0000 4.38e+08 824456 20899 infeasible 7.0000 4.39e+08 825543 20916 7.0000 162 7.0000 4.39e+08 826668 20915 infeasible 7.0000 4.40e+08 827953 21184 7.0000 179 7.0000 4.41e+08 829315 21327 7.0000 169 7.0000 4.41e+08 830562 21354 infeasible 7.0000 4.42e+08 831895 21410 7.0000 214 7.0000 4.42e+08 833097 21427 infeasible 7.0000 4.43e+08 Elapsed real time = 2589.45 sec. (tree size = 98.78 MB, solutions = 0) 834348 21463 7.0000 216 7.0000 4.44e+08 835705 21457 infeasible 7.0000 4.44e+08 837374 21504 7.0000 176 7.0000 4.45e+08 838871 21466 7.0000 194 7.0000 4.46e+08 840173 21497 infeasible 7.0000 4.47e+08 841700 21536 7.0000 163 7.0000 4.47e+08 843250 21548 infeasible 7.0000 4.48e+08 *843425 21348 integral 0 7.0000 7.0000 4.48e+08 0.00% Root node processing (before b&c): Real time = 1.25 Parallel b&c, 4 threads: Real time = 2614.87 Sync time (average) = 0.40 Wait time (average) = 0.00 ------- Total (root+branch&cut) = 2616.13 sec. Solution pool: 1 solution saved. MIP - Integer optimal solution: Objective = 7.0000000000e+00 Solution time = 2616.18 sec. Iterations = 448140371 Nodes = 843713 Deterministic time = 2772853.88 ticks (1059.89 ticks/sec) CPLEX> 10188.26user 0.60system 43:36.21elapsed 389%CPU (0avgtext+0avgdata 593328maxresident)k 0inputs+6128outputs (0major+51077minor)pagefaults 0swaps