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: RHS1 Selected bound name: BND1 Problem 'in_i.mps.gz' read. Read time = 0.14 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 3 times. MIP Presolve eliminated 32835 rows and 19897 columns. MIP Presolve modified 58337 coefficients. Aggregator did 64 substitutions. Reduced MIP has 17209 rows, 8757 columns, and 76994 nonzeros. Reduced MIP has 8568 binaries, 189 generals, 0 SOSs, and 0 indicators. Probing fixed 61 vars, tightened 0 bounds. Probing time = 0.28 sec. Tried aggregator 2 times. MIP Presolve eliminated 3365 rows and 1939 columns. MIP Presolve modified 4047 coefficients. Aggregator did 2 substitutions. Reduced MIP has 13842 rows, 6816 columns, and 67362 nonzeros. Reduced MIP has 6634 binaries, 182 generals, 0 SOSs, and 0 indicators. Presolve time = 0.62 sec. Probing fixed 8 vars, tightened 0 bounds. Probing time = 0.10 sec. Clique table members: 64066. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: deterministic, using up to 4 threads. Root relaxation solution time = 0.20 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 0.0000 343 0.0000 1849 0 0 0.0000 684 Cuts: 2918 3590 0 0 0.0000 716 Cuts: 1157 4496 0 2 0.0000 716 0.0000 4496 Elapsed real time = 3.92 sec. (tree size = 0.01 MB, solutions = 0) 4 6 0.0000 469 0.0000 5043 6 8 0.0000 508 0.0000 6476 19 21 0.0000 413 0.0000 8752 69 67 0.0000 193 0.0000 13182 136 132 0.0000 174 0.0000 14891 217 209 0.0000 90 0.0000 16686 307 291 0.0000 80 0.0000 19150 394 362 0.0000 75 0.0000 20836 540 475 0.0000 59 0.0000 23221 1174 721 0.0000 31 0.0000 30432 Elapsed real time = 7.56 sec. (tree size = 3.27 MB, solutions = 0) 1992 734 0.0000 58 0.0000 37467 2655 778 0.0000 43 0.0000 45282 3320 745 0.0000 63 0.0000 52977 4007 781 0.0000 50 0.0000 62505 4769 712 0.0000 70 0.0000 69540 4779 712 0.0000 224 0.0000 77732 4793 720 0.0000 261 0.0000 79582 4918 790 0.0000 94 0.0000 82487 5231 772 0.0000 64 0.0000 91349 5619 509 0.0000 81 0.0000 96791 Elapsed real time = 24.88 sec. (tree size = 2.92 MB, solutions = 0) 6092 637 0.0000 23 0.0000 106431 6665 606 0.0000 148 0.0000 111038 7223 501 0.0000 90 0.0000 123116 7891 645 0.0000 24 0.0000 137235 8509 738 0.0000 203 0.0000 147494 8537 756 0.0000 184 0.0000 148260 8574 778 0.0000 112 0.0000 148784 8617 798 0.0000 64 0.0000 149251 8681 833 0.0000 76 0.0000 150693 8711 839 0.0000 56 0.0000 152740 Elapsed real time = 46.82 sec. (tree size = 4.98 MB, solutions = 0) 8748 853 0.0000 111 0.0000 154883 8783 856 0.0000 71 0.0000 157420 8835 851 0.0000 102 0.0000 160387 8901 842 0.0000 67 0.0000 162851 9013 833 0.0000 51 0.0000 166218 9109 803 0.0000 44 0.0000 170026 9179 782 0.0000 92 0.0000 174122 9304 729 0.0000 63 0.0000 181066 9409 702 0.0000 52 0.0000 185806 9538 676 0.0000 64 0.0000 191715 Elapsed real time = 59.88 sec. (tree size = 4.96 MB, solutions = 0) 9703 588 0.0000 42 0.0000 200201 9899 556 0.0000 86 0.0000 210647 10137 581 0.0000 58 0.0000 224085 10464 604 0.0000 39 0.0000 240129 10733 619 0.0000 72 0.0000 252966 11003 652 0.0000 28 0.0000 264692 11405 655 0.0000 26 0.0000 284753 11751 651 0.0000 81 0.0000 302001 12043 637 0.0000 24 0.0000 317917 12427 609 0.0000 38 0.0000 338805 Elapsed real time = 72.35 sec. (tree size = 3.04 MB, solutions = 0) 12686 615 0.0000 55 0.0000 352251 12948 616 0.0000 35 0.0000 365511 13182 606 0.0000 61 0.0000 377942 13471 607 0.0000 34 0.0000 392625 13670 653 0.0000 65 0.0000 402589 13858 689 0.0000 31 0.0000 410212 14086 708 0.0000 25 0.0000 420422 14379 714 0.0000 36 0.0000 434993 14646 746 0.0000 46 0.0000 447593 14944 788 0.0000 56 0.0000 461379 Elapsed real time = 85.43 sec. (tree size = 2.82 MB, solutions = 0) 15122 786 0.0000 53 0.0000 471217 15408 780 0.0000 62 0.0000 485778 15717 773 0.0000 39 0.0000 502082 15999 719 0.0000 47 0.0000 519511 16208 688 0.0000 31 0.0000 533145 16382 668 0.0000 87 0.0000 544808 16574 640 0.0000 26 0.0000 556534 16837 600 0.0000 56 0.0000 574870 17061 585 0.0000 38 0.0000 588894 17276 569 0.0000 42 0.0000 603019 Elapsed real time = 98.50 sec. (tree size = 0.85 MB, solutions = 0) 17499 539 0.0000 42 0.0000 617867 17701 541 0.0000 43 0.0000 631030 17851 576 0.0000 83 0.0000 639456 17981 668 0.0000 49 0.0000 643532 18168 780 0.0000 33 0.0000 647665 18370 859 0.0000 16 0.0000 653635 18580 913 0.0000 4 0.0000 659612 18823 931 0.0000 31 0.0000 665652 19249 964 0.0000 3 0.0000 675162 19689 976 0.0000 3 0.0000 683460 Elapsed real time = 112.09 sec. (tree size = 2.54 MB, solutions = 0) 20108 984 0.0000 16 0.0000 693264 20502 981 0.0000 17 0.0000 703435 20806 1009 0.0000 6 0.0000 712400 21224 1018 0.0000 5 0.0000 722250 21660 1046 0.0000 12 0.0000 731220 22192 1020 0.0000 6 0.0000 740969 22668 1033 0.0000 12 0.0000 749803 23114 1043 0.0000 29 0.0000 758489 23628 989 0.0000 22 0.0000 768700 24035 1039 0.0000 5 0.0000 776297 Elapsed real time = 124.30 sec. (tree size = 3.06 MB, solutions = 0) 24539 1069 0.0000 1 0.0000 785093 25095 1114 0.0000 9 0.0000 796013 25600 1141 0.0000 18 0.0000 805243 26093 1208 0.0000 2 0.0000 815244 26589 1237 0.0000 9 0.0000 825185 27114 1289 0.0000 1 0.0000 835294 27539 1328 0.0000 16 0.0000 844144 28085 1331 0.0000 4 0.0000 854794 28602 1373 0.0000 5 0.0000 863854 30926 1362 0.0000 9 0.0000 900978 Elapsed real time = 139.02 sec. (tree size = 5.27 MB, solutions = 0) 32913 1437 0.0000 2 0.0000 941164 35070 1423 0.0000 4 0.0000 982572 37125 1428 0.0000 9 0.0000 1024275 39385 1375 0.0000 1 0.0000 1066132 41398 1438 0.0000 3 0.0000 1105124 43455 1407 0.0000 2 0.0000 1144733 45464 1462 0.0000 9 0.0000 1185811 47500 1509 0.0000 41 0.0000 1225817 49662 1635 0.0000 9 0.0000 1272106 51654 1649 0.0000 3 0.0000 1313026 Elapsed real time = 184.42 sec. (tree size = 6.46 MB, solutions = 0) 53934 1695 0.0000 5 0.0000 1354825 56171 1531 0.0000 9 0.0000 1396021 58452 1540 0.0000 3 0.0000 1433779 60645 1613 0.0000 5 0.0000 1471348 62918 1674 0.0000 6 0.0000 1506778 65096 1707 0.0000 39 0.0000 1546169 67442 1718 0.0000 3 0.0000 1586501 69676 1721 0.0000 2 0.0000 1625346 71971 1667 0.0000 11 0.0000 1663556 74304 1619 0.0000 11 0.0000 1700930 Elapsed real time = 229.90 sec. (tree size = 6.36 MB, solutions = 0) 76635 1618 0.0000 6 0.0000 1737279 79006 1528 0.0000 11 0.0000 1775737 81051 1449 0.0000 16 0.0000 1811246 83289 1406 0.0000 6 0.0000 1853751 85528 1373 0.0000 1 0.0000 1895051 87697 1313 0.0000 6 0.0000 1932649 89926 1389 0.0000 10 0.0000 1974140 92110 1369 0.0000 39 0.0000 2016417 94368 1424 0.0000 5 0.0000 2060237 96541 1481 0.0000 6 0.0000 2101650 Elapsed real time = 275.32 sec. (tree size = 5.78 MB, solutions = 0) 98901 1443 0.0000 2 0.0000 2144548 101115 1380 0.0000 9 0.0000 2182704 103277 1389 0.0000 3 0.0000 2219065 105493 1419 0.0000 6 0.0000 2250799 107992 1361 0.0000 5 0.0000 2286067 110505 1373 0.0000 3 0.0000 2316933 112957 1359 0.0000 9 0.0000 2347839 115380 1341 infeasible 0.0000 2381930 117806 1362 0.0000 3 0.0000 2419114 120122 1318 0.0000 9 0.0000 2453046 Elapsed real time = 320.83 sec. (tree size = 4.98 MB, solutions = 0) 122554 1282 0.0000 3 0.0000 2486397 124914 1260 0.0000 12 0.0000 2518868 127120 1269 0.0000 13 0.0000 2550991 129461 1306 0.0000 11 0.0000 2581377 131910 1277 0.0000 12 0.0000 2612503 134168 1265 0.0000 14 0.0000 2645963 136467 1258 0.0000 4 0.0000 2680095 138938 1254 0.0000 12 0.0000 2713149 141310 1316 0.0000 5 0.0000 2746232 143686 1364 0.0000 7 0.0000 2779319 Elapsed real time = 366.54 sec. (tree size = 5.08 MB, solutions = 0) 146025 1335 0.0000 3 0.0000 2812537 148462 1303 0.0000 3 0.0000 2847852 150807 1341 0.0000 3 0.0000 2883108 153250 1360 0.0000 5 0.0000 2918939 155665 1428 0.0000 4 0.0000 2956539 158074 1340 0.0000 18 0.0000 2993235 160620 1306 0.0000 3 0.0000 3031180 162984 1215 0.0000 6 0.0000 3067181 165208 1245 0.0000 9 0.0000 3106705 167520 1252 0.0000 7 0.0000 3146575 Elapsed real time = 411.82 sec. (tree size = 4.63 MB, solutions = 0) 169742 1130 0.0000 17 0.0000 3181192 172250 1133 0.0000 5 0.0000 3214079 174657 1155 0.0000 6 0.0000 3248290 176985 1156 0.0000 11 0.0000 3281160 179096 1130 0.0000 25 0.0000 3311871 181487 1162 0.0000 2 0.0000 3348815 184068 1161 0.0000 6 0.0000 3379424 186535 1179 0.0000 4 0.0000 3414207 188961 1173 0.0000 6 0.0000 3449864 191292 1152 0.0000 11 0.0000 3481046 Elapsed real time = 457.92 sec. (tree size = 4.10 MB, solutions = 0) 193677 1154 0.0000 9 0.0000 3510114 196152 1162 0.0000 10 0.0000 3538128 198643 1201 0.0000 2 0.0000 3572817 200758 1242 0.0000 3 0.0000 3616246 203069 1148 0.0000 13 0.0000 3646394 205540 1135 0.0000 2 0.0000 3676826 207980 1125 0.0000 22 0.0000 3706826 210490 1139 0.0000 2 0.0000 3736979 212955 1152 0.0000 5 0.0000 3767703 215277 1225 0.0000 2 0.0000 3797350 Elapsed real time = 503.66 sec. (tree size = 4.17 MB, solutions = 0) 217803 1276 0.0000 4 0.0000 3827095 220334 1357 0.0000 38 0.0000 3860208 222864 1381 0.0000 2 0.0000 3892652 225512 1336 0.0000 2 0.0000 3925102 228040 1393 0.0000 5 0.0000 3960795 230515 1394 0.0000 7 0.0000 3992898 233015 1470 0.0000 7 0.0000 4025951 235559 1390 0.0000 2 0.0000 4058261 238073 1306 0.0000 2 0.0000 4090039 240713 1242 0.0000 4 0.0000 4121812 Elapsed real time = 549.21 sec. (tree size = 4.60 MB, solutions = 0) 243331 1222 0.0000 6 0.0000 4154415 245718 1224 0.0000 2 0.0000 4186595 248408 1198 0.0000 12 0.0000 4218413 251104 1173 0.0000 1 0.0000 4250227 253704 1200 0.0000 3 0.0000 4281996 256349 1194 0.0000 3 0.0000 4314704 258994 1158 0.0000 9 0.0000 4345533 261353 1160 0.0000 7 0.0000 4373618 263669 1181 0.0000 5 0.0000 4403032 266040 1259 0.0000 7 0.0000 4434283 Elapsed real time = 594.41 sec. (tree size = 4.59 MB, solutions = 0) 268546 1396 0.0000 3 0.0000 4467148 271132 1417 0.0000 5 0.0000 4500349 273554 1401 0.0000 3 0.0000 4531855 275961 1388 0.0000 5 0.0000 4563547 278497 1355 0.0000 4 0.0000 4596107 281268 1296 0.0000 5 0.0000 4630377 283951 1250 0.0000 3 0.0000 4663579 286534 1204 0.0000 3 0.0000 4695040 288892 1237 0.0000 5 0.0000 4731125 291335 1191 0.0000 6 0.0000 4764580 Elapsed real time = 639.58 sec. (tree size = 4.22 MB, solutions = 0) 293934 1250 0.0000 9 0.0000 4796805 296621 1256 0.0000 4 0.0000 4830390 299214 1241 0.0000 2 0.0000 4865720 301939 1253 0.0000 5 0.0000 4899932 304651 1243 0.0000 2 0.0000 4933831 307109 1226 0.0000 3 0.0000 4963688 309496 1183 0.0000 11 0.0000 4991432 311947 1261 0.0000 5 0.0000 5025302 314464 1190 0.0000 4 0.0000 5061677 316927 1194 0.0000 4 0.0000 5096701 Elapsed real time = 684.90 sec. (tree size = 4.11 MB, solutions = 0) 319339 1182 0.0000 3 0.0000 5129727 321776 1195 0.0000 4 0.0000 5162672 324359 1211 0.0000 6 0.0000 5199306 326863 1204 0.0000 5 0.0000 5234599 329317 1219 0.0000 3 0.0000 5271991 331812 1230 0.0000 3 0.0000 5307194 334157 1247 0.0000 4 0.0000 5340379 336525 1237 0.0000 3 0.0000 5374022 338902 1309 0.0000 3 0.0000 5407824 341360 1266 0.0000 16 0.0000 5440771 Elapsed real time = 730.43 sec. (tree size = 4.79 MB, solutions = 0) 343858 1195 0.0000 3 0.0000 5473660 346166 1259 0.0000 3 0.0000 5506420 348588 1175 0.0000 6 0.0000 5538665 350955 1170 0.0000 3 0.0000 5570989 353239 1232 0.0000 2 0.0000 5603179 355552 1224 0.0000 4 0.0000 5634125 357922 1208 0.0000 36 0.0000 5665860 360291 1352 0.0000 5 0.0000 5700448 362715 1284 0.0000 1 0.0000 5734112 365171 1346 infeasible 0.0000 5769348 Elapsed real time = 775.89 sec. (tree size = 5.11 MB, solutions = 0) 367590 1351 0.0000 3 0.0000 5804080 370054 1326 0.0000 5 0.0000 5839132 372496 1413 0.0000 2 0.0000 5875645 374980 1482 0.0000 3 0.0000 5913854 377649 1462 0.0000 10 0.0000 5952189 380239 1416 0.0000 2 0.0000 5990436 382848 1285 0.0000 2 0.0000 6027802 385359 1252 0.0000 2 0.0000 6061655 387897 1195 0.0000 11 0.0000 6095998 390373 1234 0.0000 7 0.0000 6132297 Elapsed real time = 821.87 sec. (tree size = 4.24 MB, solutions = 0) 392685 1169 0.0000 15 0.0000 6164474 394759 1135 0.0000 8 0.0000 6192941 396869 1196 0.0000 3 0.0000 6220133 399205 1201 0.0000 7 0.0000 6248761 401542 1231 0.0000 3 0.0000 6276869 403931 1256 0.0000 6 0.0000 6307978 406406 1276 0.0000 8 0.0000 6338862 408778 1266 0.0000 8 0.0000 6368185 411236 1347 0.0000 6 0.0000 6398223 413663 1306 0.0000 16 0.0000 6428290 Elapsed real time = 867.89 sec. (tree size = 4.94 MB, solutions = 0) 416159 1338 0.0000 3 0.0000 6457887 418705 1329 0.0000 12 0.0000 6488087 421211 1352 0.0000 4 0.0000 6518988 423712 1385 0.0000 8 0.0000 6548187 426289 1432 0.0000 4 0.0000 6576891 428799 1427 0.0000 7 0.0000 6605157 431286 1455 0.0000 17 0.0000 6635318 433904 1429 0.0000 9 0.0000 6666198 436362 1433 0.0000 14 0.0000 6696054 438790 1461 0.0000 4 0.0000 6728296 Elapsed real time = 913.35 sec. (tree size = 5.77 MB, solutions = 0) 441123 1464 0.0000 6 0.0000 6759958 443419 1477 0.0000 19 0.0000 6792573 445826 1524 0.0000 4 0.0000 6826247 448213 1503 0.0000 7 0.0000 6860809 450571 1496 0.0000 5 0.0000 6891360 452990 1439 0.0000 4 0.0000 6921069 455577 1373 0.0000 3 0.0000 6950391 457842 1418 0.0000 2 0.0000 6981592 460305 1435 0.0000 4 0.0000 7015852 462711 1413 0.0000 11 0.0000 7048602 Elapsed real time = 959.08 sec. (tree size = 5.57 MB, solutions = 0) 465142 1403 0.0000 3 0.0000 7081170 467723 1425 0.0000 5 0.0000 7113893 470120 1429 0.0000 17 0.0000 7145741 472326 1419 0.0000 3 0.0000 7180843 474809 1378 0.0000 2 0.0000 7217411 477458 1350 0.0000 2 0.0000 7250985 479373 1384 0.0000 6 0.0000 7280633 481380 1367 0.0000 17 0.0000 7313823 483624 1404 0.0000 7 0.0000 7347363 485972 1419 0.0000 5 0.0000 7384053 Elapsed real time = 1004.80 sec. (tree size = 5.55 MB, solutions = 0) 488335 1450 0.0000 8 0.0000 7418296 490581 1509 0.0000 15 0.0000 7450567 492849 1584 0.0000 4 0.0000 7484087 495183 1571 0.0000 11 0.0000 7519667 497415 1558 0.0000 13 0.0000 7552475 499795 1583 0.0000 2 0.0000 7585011 502168 1652 0.0000 2 0.0000 7616115 504572 1674 0.0000 5 0.0000 7645744 506864 1742 0.0000 7 0.0000 7673992 509362 1758 0.0000 7 0.0000 7708080 Elapsed real time = 1050.65 sec. (tree size = 6.91 MB, solutions = 0) 511834 1760 0.0000 2 0.0000 7739684 514274 1734 0.0000 1 0.0000 7769775 516746 1683 0.0000 9 0.0000 7798968 519176 1720 0.0000 6 0.0000 7828768 521621 1738 0.0000 1 0.0000 7859263 524143 1732 0.0000 8 0.0000 7889490 526632 1696 0.0000 4 0.0000 7917552 529241 1716 0.0000 11 0.0000 7953120 531880 1675 0.0000 9 0.0000 7983007 534426 1724 0.0000 11 0.0000 8013274 Elapsed real time = 1096.45 sec. (tree size = 6.78 MB, solutions = 0) 536956 1716 0.0000 1 0.0000 8044446 539371 1738 0.0000 6 0.0000 8073807 541753 1725 0.0000 15 0.0000 8105033 544091 1724 0.0000 2 0.0000 8134861 546452 1754 0.0000 1 0.0000 8165579 549003 1793 0.0000 15 0.0000 8193257 551533 1755 0.0000 6 0.0000 8221713 554034 1752 0.0000 4 0.0000 8250145 556490 1751 0.0000 3 0.0000 8281178 559045 1736 0.0000 2 0.0000 8312322 Elapsed real time = 1141.80 sec. (tree size = 6.83 MB, solutions = 0) 561454 1747 0.0000 2 0.0000 8341360 563898 1724 0.0000 7 0.0000 8373134 566374 1730 0.0000 8 0.0000 8405414 568842 1735 0.0000 10 0.0000 8435801 571333 1792 0.0000 3 0.0000 8466767 573825 1856 0.0000 10 0.0000 8497535 576426 1915 0.0000 8 0.0000 8527248 578878 1970 0.0000 11 0.0000 8556756 581388 2064 0.0000 7 0.0000 8587305 583969 2116 0.0000 7 0.0000 8621364 Elapsed real time = 1187.46 sec. (tree size = 8.33 MB, solutions = 0) 586531 2167 0.0000 5 0.0000 8653483 589122 2242 0.0000 4 0.0000 8685987 591730 2166 0.0000 3 0.0000 8714255 594299 2119 infeasible 0.0000 8743508 596899 2074 0.0000 11 0.0000 8774196 599462 2069 0.0000 3 0.0000 8804222 602000 2056 0.0000 9 0.0000 8834073 604574 2042 infeasible 0.0000 8866041 607007 2051 0.0000 5 0.0000 8896527 609502 2111 0.0000 5 0.0000 8927430 Elapsed real time = 1232.93 sec. (tree size = 8.38 MB, solutions = 0) 611907 2188 0.0000 5 0.0000 8955307 614357 2241 0.0000 5 0.0000 8985581 616860 2267 0.0000 10 0.0000 9016591 619367 2308 0.0000 3 0.0000 9047763 621820 2288 0.0000 7 0.0000 9077936 624350 2241 0.0000 22 0.0000 9108598 626852 2223 0.0000 3 0.0000 9139326 629370 2216 0.0000 14 0.0000 9170150 631831 2213 0.0000 7 0.0000 9199731 634303 2201 0.0000 4 0.0000 9231106 Elapsed real time = 1278.36 sec. (tree size = 8.77 MB, solutions = 0) 636860 2231 0.0000 1 0.0000 9259504 639360 2242 0.0000 9 0.0000 9290299 641860 2218 0.0000 6 0.0000 9322115 644478 2192 0.0000 2 0.0000 9352281 647071 2175 0.0000 1 0.0000 9381964 649540 2197 0.0000 10 0.0000 9413613 651991 2163 0.0000 1 0.0000 9445579 654427 2185 0.0000 4 0.0000 9476455 657035 2188 0.0000 11 0.0000 9507405 659611 2187 0.0000 5 0.0000 9534752 Elapsed real time = 1323.67 sec. (tree size = 8.73 MB, solutions = 0) 662076 2177 0.0000 7 0.0000 9563375 664669 2157 0.0000 6 0.0000 9595339 667227 2185 0.0000 9 0.0000 9627128 669714 2160 0.0000 4 0.0000 9654643 672166 2099 0.0000 6 0.0000 9683963 674610 2029 0.0000 3 0.0000 9713448 677069 2003 0.0000 2 0.0000 9741276 679203 2017 0.0000 2 0.0000 9764205 681466 2022 0.0000 13 0.0000 9791662 683873 1973 0.0000 12 0.0000 9818756 Elapsed real time = 1369.35 sec. (tree size = 7.83 MB, solutions = 0) 686352 1935 0.0000 6 0.0000 9849481 688887 1916 0.0000 7 0.0000 9879828 691168 1855 0.0000 3 0.0000 9911905 693739 1819 infeasible 0.0000 9941513 696280 1770 0.0000 6 0.0000 9971563 698683 1772 0.0000 4 0.0000 10002349 701126 1782 0.0000 3 0.0000 10033503 703658 1772 0.0000 4 0.0000 10062626 706179 1763 0.0000 16 0.0000 10091912 708688 1781 0.0000 2 0.0000 10122231 Elapsed real time = 1414.50 sec. (tree size = 6.99 MB, solutions = 0) 711095 1866 0.0000 9 0.0000 10152277 713584 1808 0.0000 6 0.0000 10181203 715955 1806 0.0000 2 0.0000 10210630 718356 1799 0.0000 37 0.0000 10240165 720798 1737 0.0000 2 0.0000 10272033 723323 1709 0.0000 4 0.0000 10301153 725815 1696 0.0000 9 0.0000 10330769 728337 1682 0.0000 6 0.0000 10359947 730666 1655 0.0000 5 0.0000 10388800 733041 1642 0.0000 12 0.0000 10418629 Elapsed real time = 1459.59 sec. (tree size = 6.50 MB, solutions = 0) 735659 1658 0.0000 4 0.0000 10452268 738098 1673 0.0000 2 0.0000 10479024 740477 1684 0.0000 5 0.0000 10510126 742917 1678 0.0000 4 0.0000 10540573 745439 1656 0.0000 9 0.0000 10571342 747826 1619 0.0000 11 0.0000 10600080 750134 1608 0.0000 10 0.0000 10629611 752614 1603 0.0000 35 0.0000 10658320 755001 1645 0.0000 10 0.0000 10688652 757491 1592 0.0000 5 0.0000 10720179 Elapsed real time = 1505.17 sec. (tree size = 6.26 MB, solutions = 0) 759836 1600 0.0000 5 0.0000 10748753 762233 1579 0.0000 3 0.0000 10780774 764748 1557 0.0000 4 0.0000 10808383 767098 1561 0.0000 2 0.0000 10837911 769385 1594 0.0000 4 0.0000 10877375 771482 1530 0.0000 14 0.0000 10912653 774012 1637 0.0000 3 0.0000 10943023 776706 1740 0.0000 10 0.0000 10972749 779356 1721 0.0000 13 0.0000 11001354 781980 1719 0.0000 13 0.0000 11029923 Elapsed real time = 1550.70 sec. (tree size = 6.75 MB, solutions = 0) 784727 1711 0.0000 11 0.0000 11059085 787584 1757 0.0000 3 0.0000 11088472 790498 1721 0.0000 4 0.0000 11118242 793097 1822 0.0000 5 0.0000 11146637 795745 1771 0.0000 11 0.0000 11174627 798443 1808 0.0000 9 0.0000 11202515 801243 1896 0.0000 2 0.0000 11231284 803974 1916 0.0000 10 0.0000 11258357 806686 1944 0.0000 3 0.0000 11286552 809358 1916 0.0000 3 0.0000 11313867 Elapsed real time = 1596.03 sec. (tree size = 7.53 MB, solutions = 0) 812270 1879 0.0000 1 0.0000 11342156 815042 1909 0.0000 3 0.0000 11369659 817842 1903 0.0000 3 0.0000 11396900 820671 1943 0.0000 2 0.0000 11425190 823366 1929 0.0000 4 0.0000 11452753 826309 1913 0.0000 4 0.0000 11481187 828939 1923 0.0000 8 0.0000 11508434 831673 1970 0.0000 4 0.0000 11538608 834166 1918 0.0000 5 0.0000 11567036 837102 1910 0.0000 2 0.0000 11595373 Elapsed real time = 1641.28 sec. (tree size = 7.55 MB, solutions = 0) 840101 1931 0.0000 2 0.0000 11623974 843018 1917 0.0000 4 0.0000 11654242 845532 1902 0.0000 3 0.0000 11680518 848235 1997 0.0000 3 0.0000 11708279 851043 2023 0.0000 2 0.0000 11733628 853614 2109 0.0000 17 0.0000 11762715 856324 2172 0.0000 2 0.0000 11791912 859002 2134 0.0000 3 0.0000 11819524 861560 2168 0.0000 5 0.0000 11848529 864196 2175 0.0000 8 0.0000 11876975 Elapsed real time = 1686.42 sec. (tree size = 8.59 MB, solutions = 0) 866864 2168 0.0000 5 0.0000 11904454 869651 2090 0.0000 2 0.0000 11931926 872154 2117 0.0000 13 0.0000 11959344 874948 2199 0.0000 3 0.0000 11987029 877724 2250 0.0000 34 0.0000 12016436 880571 2375 0.0000 2 0.0000 12047087 883590 2356 0.0000 2 0.0000 12073878 886288 2338 0.0000 4 0.0000 12104291 889225 2401 0.0000 3 0.0000 12132694 892098 2397 0.0000 3 0.0000 12161945 Elapsed real time = 1731.57 sec. (tree size = 9.64 MB, solutions = 0) 895049 2408 0.0000 3 0.0000 12189956 898121 2483 0.0000 2 0.0000 12220510 901049 2435 0.0000 2 0.0000 12249309 903807 2368 0.0000 6 0.0000 12277950 906525 2299 infeasible 0.0000 12308894 909053 2420 0.0000 2 0.0000 12342304 911627 2492 0.0000 42 0.0000 12376059 913868 2690 0.0000 8 0.0000 12411189 916100 2810 0.0000 27 0.0000 12449880 918818 2702 0.0000 3 0.0000 12478221 Elapsed real time = 1776.95 sec. (tree size = 10.82 MB, solutions = 0) 921651 2694 0.0000 5 0.0000 12505573 924410 2737 0.0000 2 0.0000 12539126 926850 2761 0.0000 2 0.0000 12577127 929407 2729 0.0000 12 0.0000 12611717 931968 2697 0.0000 10 0.0000 12648875 934640 2713 0.0000 3 0.0000 12685157 937372 2547 0.0000 2 0.0000 12721313 940123 2442 0.0000 4 0.0000 12750216 942936 2421 0.0000 18 0.0000 12776238 945917 2432 infeasible 0.0000 12801434 Elapsed real time = 1822.08 sec. (tree size = 9.70 MB, solutions = 0) 948576 2418 0.0000 13 0.0000 12824149 951437 2415 0.0000 12 0.0000 12850446 954447 2432 0.0000 5 0.0000 12878344 957272 2430 0.0000 2 0.0000 12908347 959764 2411 0.0000 4 0.0000 12937498 962468 2348 0.0000 3 0.0000 12968454 964813 2250 0.0000 43 0.0000 13000419 967286 2339 0.0000 3 0.0000 13032539 969921 2322 0.0000 17 0.0000 13065232 972583 2326 0.0000 38 0.0000 13093874 Elapsed real time = 1867.31 sec. (tree size = 9.27 MB, solutions = 0) 975040 2317 0.0000 8 0.0000 13124406 977758 2296 0.0000 2 0.0000 13152016 980572 2332 0.0000 20 0.0000 13177179 983029 2346 0.0000 5 0.0000 13205049 985452 2284 0.0000 5 0.0000 13233746 988120 2329 0.0000 8 0.0000 13262000 990740 2331 0.0000 5 0.0000 13286951 993213 2385 0.0000 13 0.0000 13316163 995538 2408 0.0000 5 0.0000 13348803 997871 2418 0.0000 7 0.0000 13380664 Elapsed real time = 1912.74 sec. (tree size = 9.69 MB, solutions = 0) 1000481 2394 0.0000 3 0.0000 13406651 1003029 2393 0.0000 3 0.0000 13433248 1005527 2361 0.0000 6 0.0000 13459492 1008149 2360 0.0000 5 0.0000 13485603 1010832 2361 0.0000 5 0.0000 13512411 1013470 2369 0.0000 3 0.0000 13539520 1016053 2468 0.0000 3 0.0000 13569357 1018565 2515 0.0000 6 0.0000 13599987 1021126 2526 0.0000 3 0.0000 13631753 1023672 2534 0.0000 4 0.0000 13659417 Elapsed real time = 1958.32 sec. (tree size = 10.11 MB, solutions = 0) 1026230 2456 0.0000 7 0.0000 13687158 1028776 2453 0.0000 4 0.0000 13715119 1031321 2485 0.0000 7 0.0000 13744896 1033939 2527 0.0000 3 0.0000 13776332 1036424 2631 0.0000 3 0.0000 13807029 1039033 2564 0.0000 3 0.0000 13837850 1041532 2484 0.0000 3 0.0000 13866306 1043965 2399 infeasible 0.0000 13893003 1046484 2415 0.0000 8 0.0000 13923114 1048826 2384 0.0000 16 0.0000 13952776 Elapsed real time = 2003.63 sec. (tree size = 9.55 MB, solutions = 0) 1051275 2403 0.0000 2 0.0000 13982760 1053725 2387 0.0000 11 0.0000 14013062 1056162 2387 0.0000 5 0.0000 14042774 1058533 2386 0.0000 4 0.0000 14072438 1060992 2397 0.0000 2 0.0000 14103758 1063449 2386 0.0000 6 0.0000 14134422 1065726 2374 0.0000 10 0.0000 14163264 1068380 2409 0.0000 3 0.0000 14188107 1071212 2352 0.0000 8 0.0000 14211533 1073692 2366 0.0000 4 0.0000 14239757 Elapsed real time = 2049.06 sec. (tree size = 9.39 MB, solutions = 0) 1075858 2370 0.0000 4 0.0000 14268370 1078235 2406 0.0000 15 0.0000 14297027 1080709 2351 0.0000 4 0.0000 14326162 1083040 2364 0.0000 3 0.0000 14356146 1085521 2399 0.0000 3 0.0000 14388606 1088073 2368 0.0000 2 0.0000 14422152 1090555 2339 infeasible 0.0000 14456044 1093103 2374 0.0000 7 0.0000 14489977 1095724 2429 0.0000 8 0.0000 14523326 1098289 2418 0.0000 3 0.0000 14556072 Elapsed real time = 2094.65 sec. (tree size = 9.65 MB, solutions = 0) 1100854 2369 0.0000 6 0.0000 14588904 1103296 2381 0.0000 5 0.0000 14619072 1105761 2330 0.0000 20 0.0000 14649657 1108366 2290 0.0000 8 0.0000 14682475 1110700 2288 0.0000 19 0.0000 14710495 1113106 2320 0.0000 14 0.0000 14735235 1115694 2445 0.0000 31 0.0000 14761545 1118372 2441 0.0000 6 0.0000 14785600 1120992 2433 0.0000 7 0.0000 14810188 1123542 2421 0.0000 4 0.0000 14837289 Elapsed real time = 2140.47 sec. (tree size = 9.71 MB, solutions = 0) 1126074 2393 0.0000 6 0.0000 14864276 1128778 2444 0.0000 13 0.0000 14885972 1131405 2522 0.0000 3 0.0000 14915186 1134041 2573 0.0000 5 0.0000 14943136 1136671 2622 0.0000 6 0.0000 14970337 1139276 2628 0.0000 3 0.0000 14998816 1142109 2625 0.0000 4 0.0000 15019902 1144668 2731 0.0000 4 0.0000 15044796 1147231 2807 0.0000 8 0.0000 15072556 1149863 2904 0.0000 16 0.0000 15100969 Elapsed real time = 2185.68 sec. (tree size = 11.60 MB, solutions = 0) 1152509 3010 0.0000 6 0.0000 15128276 1155190 3025 0.0000 3 0.0000 15154427 1157999 3015 0.0000 3 0.0000 15175659 1160695 3072 0.0000 7 0.0000 15201515 1163137 3035 0.0000 5 0.0000 15229220 1165661 3008 0.0000 18 0.0000 15255424 1168073 3015 0.0000 3 0.0000 15283542 1170625 2972 0.0000 6 0.0000 15312121 1173163 3005 0.0000 5 0.0000 15339663 1175670 2957 0.0000 7 0.0000 15368818 Elapsed real time = 2230.91 sec. (tree size = 11.94 MB, solutions = 0) 1178252 2936 0.0000 7 0.0000 15395117 1180692 2883 0.0000 6 0.0000 15423760 1183275 2856 0.0000 7 0.0000 15449285 1186021 2846 0.0000 4 0.0000 15472522 1188686 2963 0.0000 5 0.0000 15497325 1191385 2978 0.0000 8 0.0000 15523470 1193956 3047 0.0000 3 0.0000 15549796 1196720 3073 0.0000 3 0.0000 15572309 1199553 3043 0.0000 6 0.0000 15592581 1202155 3132 0.0000 7 0.0000 15620118 Elapsed real time = 2276.22 sec. (tree size = 12.61 MB, solutions = 0) 1204783 3243 0.0000 6 0.0000 15646451 1207491 3344 infeasible 0.0000 15672474 1210278 3367 0.0000 6 0.0000 15696765 1213083 3347 0.0000 4 0.0000 15720768 1215806 3358 0.0000 3 0.0000 15744551 1218430 3322 0.0000 20 0.0000 15772262 1221076 3319 0.0000 3 0.0000 15797082 1223716 3292 0.0000 4 0.0000 15824947 1226409 3266 0.0000 6 0.0000 15850042 1229098 3245 0.0000 7 0.0000 15878573 Elapsed real time = 2321.43 sec. (tree size = 13.18 MB, solutions = 0) 1231759 3180 0.0000 6 0.0000 15906365 1234516 3119 0.0000 5 0.0000 15935013 1237158 3038 0.0000 12 0.0000 15963658 1239783 3096 0.0000 16 0.0000 15990747 1242443 3065 0.0000 9 0.0000 16018592 1244695 3055 0.0000 11 0.0000 16046787 1247058 3090 0.0000 6 0.0000 16074312 1249459 3073 0.0000 6 0.0000 16101553 1251928 3081 0.0000 6 0.0000 16131063 1254321 3076 0.0000 5 0.0000 16160040 Elapsed real time = 2367.09 sec. (tree size = 12.44 MB, solutions = 0) 1256764 3034 0.0000 33 0.0000 16188442 1259233 3001 0.0000 13 0.0000 16217755 1261981 3035 0.0000 4 0.0000 16239738 1264708 3067 0.0000 5 0.0000 16260023 1267418 3166 0.0000 4 0.0000 16285248 1270228 3142 0.0000 2 0.0000 16306994 1272967 3181 0.0000 10 0.0000 16329845 1275695 3198 0.0000 14 0.0000 16355586 1278303 3344 0.0000 5 0.0000 16382479 1281024 3504 0.0000 4 0.0000 16409520 Elapsed real time = 2412.51 sec. (tree size = 14.13 MB, solutions = 0) 1283853 3549 0.0000 4 0.0000 16435329 1286757 3587 0.0000 14 0.0000 16458487 1289654 3609 0.0000 8 0.0000 16484580 1292399 3583 0.0000 3 0.0000 16509927 1295018 3609 0.0000 4 0.0000 16535425 1297641 3624 0.0000 4 0.0000 16564202 1300243 3641 0.0000 7 0.0000 16590881 1302919 3686 0.0000 8 0.0000 16617714 1305603 3669 0.0000 4 0.0000 16646369 1308169 3656 0.0000 8 0.0000 16675500 Elapsed real time = 2457.76 sec. (tree size = 14.88 MB, solutions = 0) 1310915 3617 0.0000 12 0.0000 16704644 1313688 3548 0.0000 3 0.0000 16733875 1316349 3493 0.0000 12 0.0000 16762213 1318875 3324 0.0000 3 0.0000 16788763 1321226 3348 0.0000 4 0.0000 16819534 1323472 3317 0.0000 3 0.0000 16851765 1325748 3317 0.0000 20 0.0000 16882095 1327919 3302 0.0000 5 0.0000 16911189 1330528 3346 0.0000 5 0.0000 16943359 1333137 3317 0.0000 8 0.0000 16976396 Elapsed real time = 2503.34 sec. (tree size = 13.47 MB, solutions = 0) 1335723 3321 0.0000 12 0.0000 17006221 1338386 3307 0.0000 19 0.0000 17035773 1340857 3292 0.0000 10 0.0000 17064872 1343263 3303 0.0000 6 0.0000 17094019 1345688 3287 0.0000 5 0.0000 17123049 1348330 3301 0.0000 7 0.0000 17155158 1350856 3295 0.0000 8 0.0000 17187417 1353338 3298 0.0000 6 0.0000 17220043 1355757 3289 0.0000 13 0.0000 17250955 1358363 3280 0.0000 6 0.0000 17282106 Elapsed real time = 2548.74 sec. (tree size = 13.28 MB, solutions = 0) 1360866 3315 0.0000 7 0.0000 17314078 1363449 3339 0.0000 3 0.0000 17347615 1365944 3305 0.0000 11 0.0000 17379785 1368446 3327 0.0000 7 0.0000 17411816 1370923 3310 infeasible 0.0000 17444410 1373432 3284 0.0000 2 0.0000 17478007 1375837 3279 0.0000 5 0.0000 17508488 1378386 3277 0.0000 8 0.0000 17540089 1380926 3277 0.0000 16 0.0000 17571914 1383442 3304 0.0000 7 0.0000 17605367 Elapsed real time = 2594.29 sec. (tree size = 13.35 MB, solutions = 0) 1385959 3281 0.0000 7 0.0000 17638292 1388337 3317 0.0000 7 0.0000 17670880 1390964 3384 0.0000 3 0.0000 17706176 1393585 3402 0.0000 5 0.0000 17738970 1396182 3396 0.0000 10 0.0000 17772832 1398647 3288 0.0000 10 0.0000 17807122 1401099 3294 0.0000 2 0.0000 17836479 1403538 3294 0.0000 3 0.0000 17866688 1405995 3279 0.0000 4 0.0000 17895121 1408620 3309 0.0000 5 0.0000 17920582 Elapsed real time = 2639.95 sec. (tree size = 13.40 MB, solutions = 0) 1411048 3294 0.0000 4 0.0000 17949832 1413545 3274 0.0000 6 0.0000 17981839 1416088 3304 0.0000 12 0.0000 18008141 1418641 3353 0.0000 4 0.0000 18033626 1421275 3428 0.0000 4 0.0000 18061466 1424024 3491 0.0000 4 0.0000 18089099 1426799 3621 0.0000 2 0.0000 18118260 1429623 3601 0.0000 3 0.0000 18147907 1432281 3613 0.0000 6 0.0000 18179029 1434968 3631 0.0000 7 0.0000 18208121 Elapsed real time = 2685.16 sec. (tree size = 14.68 MB, solutions = 0) 1437747 3606 0.0000 5 0.0000 18237628 1440578 3538 0.0000 1 0.0000 18270867 1443169 3576 0.0000 5 0.0000 18299216 1446152 3613 0.0000 4 0.0000 18323663 1449051 3680 0.0000 10 0.0000 18352287 1451855 3664 0.0000 9 0.0000 18380331 1454868 3639 0.0000 3 0.0000 18404598 1457635 3607 0.0000 2 0.0000 18427566 1460518 3592 0.0000 6 0.0000 18451577 1463445 3610 0.0000 1 0.0000 18475971 Elapsed real time = 2730.11 sec. (tree size = 14.63 MB, solutions = 0) 1466261 3666 0.0000 28 0.0000 18502979 1469084 3745 0.0000 2 0.0000 18532328 1471963 3744 0.0000 4 0.0000 18561721 1474911 3675 0.0000 7 0.0000 18589358 1477752 3648 0.0000 27 0.0000 18618570 1480575 3668 0.0000 3 0.0000 18640850 1483512 3690 0.0000 3 0.0000 18664740 1486462 3698 0.0000 1 0.0000 18687817 1489328 3868 0.0000 4 0.0000 18715008 1492238 3823 0.0000 15 0.0000 18742776 Elapsed real time = 2774.68 sec. (tree size = 15.50 MB, solutions = 0) 1494946 3828 0.0000 3 0.0000 18774849 1497834 3861 infeasible 0.0000 18804015 1500767 3838 0.0000 4 0.0000 18828651 1503763 3854 0.0000 3 0.0000 18854997 1506683 3947 0.0000 3 0.0000 18884901 1509500 3922 0.0000 3 0.0000 18916407 1512368 3918 0.0000 2 0.0000 18943285 1515041 3848 0.0000 3 0.0000 18968029 1517535 3810 0.0000 28 0.0000 18990118 1520400 3818 0.0000 5 0.0000 19012643 Elapsed real time = 2819.63 sec. (tree size = 15.54 MB, solutions = 0) 1523098 3808 0.0000 3 0.0000 19034371 1525204 3862 0.0000 7 0.0000 19060743 1527796 3854 0.0000 20 0.0000 19085041 1530412 3846 0.0000 6 0.0000 19108298 1532460 3868 0.0000 22 0.0000 19135417 1534127 3847 0.0000 40 0.0000 19164034 1536339 3851 infeasible 0.0000 19191436 1538789 3937 0.0000 17 0.0000 19219437 1541271 3971 0.0000 33 0.0000 19251336 1543793 3951 0.0000 23 0.0000 19280518 Elapsed real time = 2865.85 sec. (tree size = 16.03 MB, solutions = 0) 1546307 3899 0.0000 18 0.0000 19311213 1548597 3940 0.0000 11 0.0000 19344108 1550983 3906 0.0000 4 0.0000 19380013 1553327 3877 0.0000 6 0.0000 19414977 1555876 3900 0.0000 6 0.0000 19445827 1558506 3902 0.0000 18 0.0000 19477405 1561061 3883 0.0000 19 0.0000 19508674 1563330 3935 0.0000 7 0.0000 19538535 1565590 3920 0.0000 3 0.0000 19569854 1567825 4051 0.0000 6 0.0000 19602490 Elapsed real time = 2910.78 sec. (tree size = 16.42 MB, solutions = 0) 1570060 4021 0.0000 6 0.0000 19633657 1572313 4016 0.0000 4 0.0000 19664817 1574585 3979 0.0000 2 0.0000 19696182 1576895 3934 0.0000 6 0.0000 19728368 1579279 3891 0.0000 3 0.0000 19759222 1581699 3943 0.0000 7 0.0000 19792503 1584155 3924 0.0000 3 0.0000 19825268 1586715 3914 0.0000 3 0.0000 19857896 1589219 3870 0.0000 4 0.0000 19888736 1591707 3919 0.0000 4 0.0000 19918261 Elapsed real time = 2956.24 sec. (tree size = 15.81 MB, solutions = 0) 1594167 4005 0.0000 4 0.0000 19951009 1596815 4068 0.0000 2 0.0000 19981051 1599418 4110 0.0000 10 0.0000 20011444 1602058 4117 0.0000 7 0.0000 20042842 1604588 4140 0.0000 3 0.0000 20072954 1607178 4198 0.0000 3 0.0000 20102015 1609737 4202 infeasible 0.0000 20132904 1612389 4184 0.0000 3 0.0000 20165119 1614931 4191 0.0000 2 0.0000 20198414 1617301 4077 infeasible 0.0000 20231939 Elapsed real time = 3001.38 sec. (tree size = 16.55 MB, solutions = 0) 1619654 3952 0.0000 13 0.0000 20266832 1622021 3938 0.0000 11 0.0000 20300673 1624489 4035 0.0000 10 0.0000 20334808 1626988 4111 0.0000 3 0.0000 20368730 1629583 4226 0.0000 15 0.0000 20403097 1632169 4203 0.0000 2 0.0000 20437826 1634722 4224 0.0000 9 0.0000 20473408 1637252 4208 0.0000 7 0.0000 20508327 1639923 4190 0.0000 10 0.0000 20543200 1642569 4182 0.0000 6 0.0000 20578295 Elapsed real time = 3046.91 sec. (tree size = 16.95 MB, solutions = 0) 1645109 4203 0.0000 3 0.0000 20611827 1647727 4236 0.0000 6 0.0000 20645590 1650402 4202 0.0000 6 0.0000 20680366 1653167 4120 0.0000 14 0.0000 20716070 1655630 4111 0.0000 3 0.0000 20751127 1658236 4115 0.0000 14 0.0000 20789663 1660738 4127 0.0000 32 0.0000 20827403 1663285 4151 0.0000 2 0.0000 20866473 1665895 4139 0.0000 10 0.0000 20904818 1668499 4123 0.0000 9 0.0000 20942304 Elapsed real time = 3092.50 sec. (tree size = 16.74 MB, solutions = 0) 1671050 4108 0.0000 2 0.0000 20979182 1673586 4192 0.0000 12 0.0000 21013885 1676227 4129 0.0000 3 0.0000 21047887 1678771 4153 0.0000 3 0.0000 21082760 1681249 4101 0.0000 4 0.0000 21115157 1683738 4081 0.0000 7 0.0000 21150436 1686280 4041 0.0000 3 0.0000 21186352 1688680 3929 0.0000 45 0.0000 21219788 1690818 3946 0.0000 5 0.0000 21247619 1692914 3951 0.0000 14 0.0000 21273882 Elapsed real time = 3138.55 sec. (tree size = 16.06 MB, solutions = 0) 1695577 4034 0.0000 14 0.0000 21300188 1698232 4157 0.0000 9 0.0000 21327442 1700952 4209 0.0000 8 0.0000 21353408 1703667 4289 0.0000 2 0.0000 21380388 1706466 4377 0.0000 2 0.0000 21406642 1709198 4399 0.0000 1 0.0000 21434914 1711805 4436 0.0000 3 0.0000 21464616 1714357 4460 0.0000 20 0.0000 21492505 1716704 4479 0.0000 36 0.0000 21526369 1719591 4156 0.0000 37 0.0000 21556931 Elapsed real time = 3183.83 sec. (tree size = 17.10 MB, solutions = 0) 1722334 4079 0.0000 3 0.0000 21587884 1725042 4131 0.0000 3 0.0000 21618175 1727697 4169 0.0000 6 0.0000 21647284 1730402 4190 infeasible 0.0000 21675903 1733021 4189 0.0000 5 0.0000 21704749 1735654 4240 0.0000 3 0.0000 21733699 1738363 4254 0.0000 7 0.0000 21762535 1741135 4256 0.0000 17 0.0000 21791726 1743896 4256 0.0000 5 0.0000 21820803 1746611 4245 0.0000 15 0.0000 21850132 Elapsed real time = 3228.85 sec. (tree size = 17.23 MB, solutions = 0) 1748999 4286 0.0000 17 0.0000 21877107 1751980 4267 0.0000 3 0.0000 21907342 1754726 4268 0.0000 15 0.0000 21936521 1757373 4234 0.0000 7 0.0000 21964458 1760109 4278 0.0000 5 0.0000 21994692 1762526 4249 0.0000 7 0.0000 22024329 1765263 4227 0.0000 7 0.0000 22053920 1767958 4284 0.0000 9 0.0000 22081875 1770584 4232 0.0000 5 0.0000 22112128 1773298 4219 0.0000 1 0.0000 22140218 Elapsed real time = 3273.96 sec. (tree size = 17.13 MB, solutions = 0) 1776083 4117 0.0000 5 0.0000 22168862 1778561 4119 0.0000 4 0.0000 22191549 1781001 4178 0.0000 9 0.0000 22215933 1783435 4213 0.0000 6 0.0000 22242314 1785872 4182 0.0000 24 0.0000 22269347 1788310 4159 0.0000 4 0.0000 22298154 1790747 4190 0.0000 10 0.0000 22328331 1793301 4248 0.0000 9 0.0000 22358988 1795938 4279 0.0000 5 0.0000 22391022 1798512 4366 0.0000 6 0.0000 22419396 Elapsed real time = 3319.10 sec. (tree size = 17.74 MB, solutions = 0) 1801065 4343 0.0000 5 0.0000 22448736 1803588 4399 0.0000 2 0.0000 22480492 1806063 4339 0.0000 14 0.0000 22509380 1808507 4298 0.0000 3 0.0000 22538804 1810920 4284 0.0000 7 0.0000 22567469 1813323 4256 0.0000 3 0.0000 22596377 1815794 4244 infeasible 0.0000 22625331 1818267 4174 0.0000 4 0.0000 22656323 1820705 4167 0.0000 3 0.0000 22687163 1823147 4151 0.0000 14 0.0000 22718822 Elapsed real time = 3364.10 sec. (tree size = 16.83 MB, solutions = 0) 1825605 4159 0.0000 6 0.0000 22750483 1827961 4154 0.0000 3 0.0000 22782053 1830390 4146 0.0000 18 0.0000 22811644 1832960 4224 0.0000 6 0.0000 22842743 1835475 4258 0.0000 3 0.0000 22874186 1837899 4292 0.0000 8 0.0000 22904710 1840374 4286 0.0000 10 0.0000 22936709 1842956 4193 0.0000 2 0.0000 22966582 1845392 4168 0.0000 2 0.0000 22996394 1847713 4159 0.0000 5 0.0000 23026264 Elapsed real time = 3409.48 sec. (tree size = 16.89 MB, solutions = 0) 1850205 4152 0.0000 6 0.0000 23057401 1852674 4156 0.0000 4 0.0000 23089310 1855099 4150 0.0000 6 0.0000 23120428 1857439 4132 0.0000 9 0.0000 23149886 1859856 4229 0.0000 10 0.0000 23180131 1862430 4271 0.0000 3 0.0000 23205160 1864926 4338 0.0000 5 0.0000 23231970 1867412 4348 0.0000 5 0.0000 23261584 1869864 4341 0.0000 4 0.0000 23290826 1872296 4332 0.0000 4 0.0000 23319511 Elapsed real time = 3454.76 sec. (tree size = 17.61 MB, solutions = 0) 1874752 4301 0.0000 4 0.0000 23349552 1876970 4243 0.0000 13 0.0000 23377763 1879150 4255 0.0000 18 0.0000 23406452 1881491 4331 0.0000 5 0.0000 23437826 1883895 4373 0.0000 6 0.0000 23467968 1886281 4392 0.0000 6 0.0000 23499461 1888739 4350 0.0000 5 0.0000 23531865 1891072 4380 0.0000 5 0.0000 23563229 1893555 4556 0.0000 4 0.0000 23592816 1896104 4684 0.0000 24 0.0000 23621554 Elapsed real time = 3500.05 sec. (tree size = 18.98 MB, solutions = 0) 1898754 4653 0.0000 5 0.0000 23648171 1901398 4669 0.0000 3 0.0000 23670184 1903998 4753 0.0000 3 0.0000 23697475 1906474 4777 0.0000 4 0.0000 23725999 1908878 4843 0.0000 5 0.0000 23753531 1911336 4822 0.0000 8 0.0000 23782657 1913788 4846 0.0000 4 0.0000 23808791 1916248 4855 0.0000 8 0.0000 23836946 1918799 4782 0.0000 4 0.0000 23863091 1921336 4781 0.0000 15 0.0000 23892246 Elapsed real time = 3544.93 sec. (tree size = 19.48 MB, solutions = 0) 1923934 4726 0.0000 4 0.0000 23922431 1926694 4525 0.0000 5 0.0000 23950496 1929260 4525 0.0000 6 0.0000 23971398 1931670 4520 0.0000 4 0.0000 23998911 1933882 4541 0.0000 45 0.0000 24029934 1936307 4592 0.0000 11 0.0000 24063074 1938811 4599 0.0000 3 0.0000 24095930 1941200 4644 0.0000 3 0.0000 24128069 1943647 4663 0.0000 4 0.0000 24161020 1946285 4529 0.0000 4 0.0000 24194739 Elapsed real time = 3590.17 sec. (tree size = 18.42 MB, solutions = 0) 1948601 4563 0.0000 5 0.0000 24225883 1951018 4569 0.0000 5 0.0000 24257550 Root node processing (before b&c): Real time = 3.28 Parallel b&c, 4 threads: Real time = 3596.10 Sync time (average) = 1.10 Wait time (average) = 0.01 ------- Total (root+branch&cut) = 3599.39 sec. MIP - Time limit exceeded, no integer solution. Current MIP best bound = 0.0000000000e+00 (gap is infinite) Solution time = 3600.01 sec. Iterations = 24263130 Nodes = 1951452 (4570) Deterministic time = 3028967.19 ticks (841.38 ticks/sec) CPLEX> 14040.30user 1.75system 1:00:00elapsed 390%CPU (0avgtext+0avgdata 1170624maxresident)k 0inputs+7048outputs (0major+95221minor)pagefaults 0swaps