Coin Cbc and Clp Solver version 2.20.00, build Aug 5 2008 command line - cbc done/neos6.mps At line 1 NAME NEOS6 At line 2 ROWS At line 1040 COLUMNS At line 253776 RHS At line 254813 BOUNDS At line 263154 ENDATA Problem NEOS6 has 1036 rows, 8786 columns and 251946 elements Coin0008I NEOS6 read with 0 errors Continuous objective value is 83 - 0.40 seconds Optimal - objective value 83 Cgl0003I 0 fixed, 223 tightened bounds, 0 strengthened rows, 0 substitutions Cgl0003I 0 fixed, 0 tightened bounds, 15 strengthened rows, 0 substitutions Cgl0003I 0 fixed, 0 tightened bounds, 15 strengthened rows, 0 substitutions Cgl0003I 0 fixed, 0 tightened bounds, 15 strengthened rows, 0 substitutions Cgl0003I 0 fixed, 0 tightened bounds, 15 strengthened rows, 0 substitutions Cgl0003I 0 fixed, 0 tightened bounds, 15 strengthened rows, 0 substitutions Cgl0003I 0 fixed, 0 tightened bounds, 15 strengthened rows, 0 substitutions Cgl0003I 0 fixed, 0 tightened bounds, 15 strengthened rows, 0 substitutions Cgl0003I 0 fixed, 0 tightened bounds, 15 strengthened rows, 0 substitutions Cgl0004I processed model has 928 rows, 8563 columns (8340 integer) and 242883 elements Objective coefficients multiple of 1 Cutoff increment increased from 1e-05 to 0.999 Cbc0038I Pass 1: suminf. 6.04067 (31) obj. 112.419 iterations 909 Cbc0038I Pass 2: suminf. 4.65432 (16) obj. 115.605 iterations 280 Cbc0038I Pass 3: suminf. 5.06667 (14) obj. 120.333 iterations 216 Cbc0038I Pass 4: suminf. 3.84444 (12) obj. 121 iterations 241 Cbc0038I Pass 5: suminf. 4.00000 (12) obj. 121 iterations 155 Cbc0038I Pass 6: suminf. 19.55281 (67) obj. 126.768 iterations 958 Cbc0038I Pass 7: suminf. 6.16667 (21) obj. 121.194 iterations 295 Cbc0038I Pass 8: suminf. 5.05556 (16) obj. 120.3 iterations 262 Cbc0038I Pass 9: suminf. 5.88889 (12) obj. 115.5 iterations 185 Cbc0038I Pass 10: suminf. 1.11111 (10) obj. 121.778 iterations 110 Cbc0038I Pass 11: suminf. 0.44444 (4) obj. 122 iterations 68 Cbc0038I Pass 12: suminf. 0.88889 (2) obj. 122 iterations 102 Cbc0038I Pass 13: suminf. 0.22222 (2) obj. 122 iterations 36 Cbc0038I Pass 14: suminf. 6.54098 (74) obj. 115.057 iterations 798 Cbc0038I Pass 15: suminf. 0.58272 (4) obj. 115.563 iterations 590 Cbc0038I Pass 16: suminf. 0.00000 (0) obj. 137 iterations 49 Cbc0038I Solution found of 137 Cbc0038I Before mini branch and bound, 8104 integers at bound fixed and 121 continuous Cbc0038I Full problem 928 rows 8563 columns, reduced to 380 rows 338 columns Cbc0038I Mini branch and bound did not improve solution (4.55 seconds) Cbc0038I Round again with cutoff of 130 Cbc0038I Pass 17: suminf. 6.01984 (30) obj. 112.419 iterations 831 Cbc0038I Pass 18: suminf. 4.65432 (17) obj. 116.272 iterations 159 Cbc0038I Pass 19: suminf. 5.47778 (16) obj. 122.056 iterations 271 Cbc0038I Pass 20: suminf. 4.88889 (13) obj. 119.889 iterations 292 Cbc0038I Pass 21: suminf. 4.72222 (12) obj. 123.25 iterations 278 Cbc0038I Pass 22: suminf. 4.72222 (12) obj. 123.25 iterations 26 Cbc0038I Pass 23: suminf. 4.22222 (10) obj. 124 iterations 111 Cbc0038I Pass 24: suminf. 4.22222 (10) obj. 124 iterations 14 Cbc0038I Pass 25: suminf. 4.22222 (10) obj. 124 iterations 57 Cbc0038I Pass 26: suminf. 4.22222 (10) obj. 124 iterations 8 Cbc0038I Pass 27: suminf. 16.27719 (64) obj. 126.363 iterations 1009 Cbc0038I Pass 28: suminf. 5.66667 (25) obj. 126.533 iterations 575 Cbc0038I Pass 29: suminf. 4.40000 (13) obj. 126.4 iterations 268 Cbc0038I Pass 30: suminf. 3.44444 (14) obj. 126.875 iterations 245 Cbc0038I Pass 31: suminf. 3.44444 (14) obj. 126.875 iterations 0 Cbc0038I Pass 32: suminf. 4.33333 (12) obj. 128.667 iterations 416 Cbc0038I Pass 33: suminf. 3.27778 (9) obj. 130 iterations 180 Cbc0038I Pass 34: suminf. 3.72222 (9) obj. 124 iterations 140 Cbc0038I Pass 35: suminf. 5.65000 (17) obj. 127.4 iterations 356 Cbc0038I Pass 36: suminf. 3.27778 (9) obj. 130 iterations 416 Cbc0038I No solution found this major pass Cbc0038I Before mini branch and bound, 8127 integers at bound fixed and 132 continuous Cbc0038I Full problem 928 rows 8563 columns, reduced to 338 rows 304 columns Cbc0038I Mini branch and bound did not improve solution (9.09 seconds) Cbc0038I After 9.09 seconds - Feasibility pump exiting with objective of 137 - took 9.04 seconds Cbc0012I Integer solution of 137 found by feasibility pump after 0 iterations and 0 nodes (9.15 seconds) Cbc0031I 5 added rows had average density of 169.4 Cbc0013I At root node, 5 cuts changed objective from 83 to 83 in 4 passes Cbc0014I Cut generator 0 (Probing) - 0 row cuts, 1 column cuts (1 active) in 1.224 seconds - new frequency is 1 Cbc0014I Cut generator 1 (Gomory) - 8 row cuts, 0 column cuts (0 active) in 0.124 seconds - new frequency is 1 Cbc0014I Cut generator 2 (Knapsack) - 0 row cuts, 0 column cuts (0 active) in 0.028 seconds - new frequency is -100 Cbc0014I Cut generator 3 (Clique) - 70 row cuts, 0 column cuts (3 active) in 0.020 seconds - new frequency is 1 Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 0 row cuts, 0 column cuts (0 active) in 0.276 seconds - new frequency is -100 Cbc0014I Cut generator 5 (FlowCover) - 0 row cuts, 0 column cuts (0 active) in 0.060 seconds - new frequency is -100 Cbc0014I Cut generator 6 (TwoMirCuts) - 5 row cuts, 0 column cuts (1 active) in 0.284 seconds - new frequency is -100 Optimal - objective value 83 Optimal - objective value 83 Cbc0010I After 0 nodes, 1 on tree, 137 best solution, best possible 83 (12.97 seconds) Cbc0010I After 100 nodes, 53 on tree, 137 best solution, best possible 83 (35.97 seconds) Cbc0010I After 200 nodes, 105 on tree, 137 best solution, best possible 83 (49.03 seconds) Cbc0004I Integer solution of 92 found after 27095 iterations and 206 nodes (49.39 seconds) Cbc0010I After 300 nodes, 144 on tree, 92 best solution, best possible 83 (60.66 seconds) Cbc0010I After 400 nodes, 194 on tree, 92 best solution, best possible 83 (72.14 seconds) Cbc0010I After 500 nodes, 241 on tree, 92 best solution, best possible 83 (78.04 seconds) Cbc0010I After 600 nodes, 288 on tree, 92 best solution, best possible 83 (84.61 seconds) Cbc0010I After 700 nodes, 336 on tree, 92 best solution, best possible 83 (92.41 seconds) Cbc0010I After 800 nodes, 384 on tree, 92 best solution, best possible 83 (100.08 seconds) Cbc0010I After 900 nodes, 432 on tree, 92 best solution, best possible 83 (109.31 seconds) Cbc0010I After 1000 nodes, 481 on tree, 92 best solution, best possible 83 (118.53 seconds) Cbc0004I Integer solution of 87 found after 151045 iterations and 1010 nodes (119.36 seconds) Cbc0038I Full problem 928 rows 8563 columns, reduced to 373 rows 329 columns Cbc0010I After 1100 nodes, 357 on tree, 87 best solution, best possible 83 (128.14 seconds) Cbc0010I After 1200 nodes, 404 on tree, 87 best solution, best possible 83 (136.37 seconds) Cbc0010I After 1300 nodes, 449 on tree, 87 best solution, best possible 83 (142.39 seconds) Cbc0010I After 1400 nodes, 488 on tree, 87 best solution, best possible 83 (151.39 seconds) Cbc0010I After 1500 nodes, 534 on tree, 87 best solution, best possible 83 (156.90 seconds) Cbc0010I After 1600 nodes, 573 on tree, 87 best solution, best possible 83 (162.83 seconds) Cbc0010I After 1700 nodes, 613 on tree, 87 best solution, best possible 83 (169.00 seconds) Cbc0010I After 1800 nodes, 649 on tree, 87 best solution, best possible 83 (174.19 seconds) Cbc0004I Integer solution of 86 found after 256527 iterations and 1842 nodes (176.81 seconds) Cbc0038I Full problem 928 rows 8563 columns, reduced to 381 rows 345 columns Cbc0010I After 1900 nodes, 576 on tree, 86 best solution, best possible 83 (185.50 seconds) Cbc0010I After 2000 nodes, 605 on tree, 86 best solution, best possible 83 (192.37 seconds) Cbc0010I After 2100 nodes, 644 on tree, 86 best solution, best possible 83 (199.08 seconds) Cbc0010I After 2200 nodes, 672 on tree, 86 best solution, best possible 83 (204.58 seconds) Cbc0010I After 2300 nodes, 703 on tree, 86 best solution, best possible 83 (209.37 seconds) Cbc0010I After 2400 nodes, 747 on tree, 86 best solution, best possible 83 (215.49 seconds) Cbc0010I After 2500 nodes, 787 on tree, 86 best solution, best possible 83 (222.49 seconds) Cbc0010I After 2600 nodes, 814 on tree, 86 best solution, best possible 83 (228.37 seconds) Cbc0010I After 2700 nodes, 830 on tree, 86 best solution, best possible 83 (235.50 seconds) Cbc0010I After 2800 nodes, 850 on tree, 86 best solution, best possible 83 (239.12 seconds) Cbc0010I After 2900 nodes, 894 on tree, 86 best solution, best possible 83 (245.73 seconds) Cbc0010I After 3000 nodes, 928 on tree, 86 best solution, best possible 83 (250.75 seconds) Cbc0010I After 3100 nodes, 970 on tree, 86 best solution, best possible 83 (256.68 seconds) Cbc0010I After 3200 nodes, 1012 on tree, 86 best solution, best possible 83 (260.66 seconds) Cbc0010I After 3300 nodes, 1038 on tree, 86 best solution, best possible 83 (264.02 seconds) Cbc0010I After 3400 nodes, 1073 on tree, 86 best solution, best possible 83 (270.05 seconds) Cbc0010I After 3500 nodes, 1108 on tree, 86 best solution, best possible 83 (275.31 seconds) Cbc0010I After 3600 nodes, 1146 on tree, 86 best solution, best possible 83 (281.44 seconds) Cbc0010I After 3700 nodes, 1186 on tree, 86 best solution, best possible 83 (287.08 seconds) Cbc0010I After 3800 nodes, 1216 on tree, 86 best solution, best possible 83 (292.65 seconds) Cbc0010I After 3900 nodes, 1240 on tree, 86 best solution, best possible 83 (300.03 seconds) Cbc0010I After 4000 nodes, 1274 on tree, 86 best solution, best possible 83 (305.92 seconds) Cbc0010I After 4100 nodes, 1308 on tree, 86 best solution, best possible 83 (310.16 seconds) Cbc0010I After 4200 nodes, 1343 on tree, 86 best solution, best possible 83 (313.42 seconds) Cbc0010I After 4300 nodes, 1364 on tree, 86 best solution, best possible 83 (316.25 seconds) Cbc0010I After 4400 nodes, 1399 on tree, 86 best solution, best possible 83 (321.75 seconds) Cbc0010I After 4500 nodes, 1449 on tree, 86 best solution, best possible 83 (328.47 seconds) Cbc0010I After 4600 nodes, 1498 on tree, 86 best solution, best possible 83 (333.66 seconds) Cbc0010I After 4700 nodes, 1540 on tree, 86 best solution, best possible 83 (339.03 seconds) Cbc0010I After 4800 nodes, 1582 on tree, 86 best solution, best possible 83 (344.19 seconds) Cbc0004I Integer solution of 85 found after 613475 iterations and 4884 nodes (346.44 seconds) Cbc0038I Full problem 928 rows 8563 columns, reduced to 405 rows 369 columns Cbc0010I After 4900 nodes, 1145 on tree, 85 best solution, best possible 83 (351.63 seconds) Cbc0004I Integer solution of 84 found after 616083 iterations and 4911 nodes (352.22 seconds) Cbc0038I Full problem 928 rows 8563 columns, reduced to 411 rows 380 columns Cbc0010I After 5000 nodes, 341 on tree, 84 best solution, best possible 83 (359.23 seconds) Cbc0010I After 5100 nodes, 351 on tree, 84 best solution, best possible 83 (362.12 seconds) Cbc0010I After 5200 nodes, 348 on tree, 84 best solution, best possible 83 (365.06 seconds) Cbc0010I After 5300 nodes, 355 on tree, 84 best solution, best possible 83 (367.62 seconds) Cbc0010I After 5400 nodes, 360 on tree, 84 best solution, best possible 83 (370.68 seconds) Cbc0010I After 5500 nodes, 367 on tree, 84 best solution, best possible 83 (373.48 seconds) Cbc0010I After 5600 nodes, 360 on tree, 84 best solution, best possible 83 (376.34 seconds) Cbc0010I After 5700 nodes, 363 on tree, 84 best solution, best possible 83 (379.47 seconds) Cbc0010I After 5800 nodes, 366 on tree, 84 best solution, best possible 83 (382.34 seconds) Cbc0010I After 5900 nodes, 362 on tree, 84 best solution, best possible 83 (384.84 seconds) Cbc0010I After 6000 nodes, 368 on tree, 84 best solution, best possible 83 (387.43 seconds) Cbc0010I After 6100 nodes, 377 on tree, 84 best solution, best possible 83 (390.77 seconds) Cbc0010I After 6200 nodes, 380 on tree, 84 best solution, best possible 83 (393.82 seconds) Cbc0010I After 6300 nodes, 395 on tree, 84 best solution, best possible 83 (396.48 seconds) Cbc0010I After 6400 nodes, 398 on tree, 84 best solution, best possible 83 (399.18 seconds) Cbc0010I After 6500 nodes, 406 on tree, 84 best solution, best possible 83 (401.68 seconds) Cbc0010I After 6600 nodes, 404 on tree, 84 best solution, best possible 83 (404.49 seconds) Cbc0010I After 6700 nodes, 411 on tree, 84 best solution, best possible 83 (407.03 seconds) Cbc0010I After 6800 nodes, 413 on tree, 84 best solution, best possible 83 (409.82 seconds) Cbc0010I After 6900 nodes, 411 on tree, 84 best solution, best possible 83 (412.53 seconds) Cbc0010I After 7000 nodes, 413 on tree, 84 best solution, best possible 83 (415.46 seconds) Cbc0010I After 7100 nodes, 422 on tree, 84 best solution, best possible 83 (418.11 seconds) Cbc0010I After 7200 nodes, 432 on tree, 84 best solution, best possible 83 (420.57 seconds) Cbc0010I After 7300 nodes, 429 on tree, 84 best solution, best possible 83 (423.17 seconds) Cbc0010I After 7400 nodes, 427 on tree, 84 best solution, best possible 83 (425.96 seconds) Cbc0010I After 7500 nodes, 438 on tree, 84 best solution, best possible 83 (428.97 seconds) Cbc0010I After 7600 nodes, 444 on tree, 84 best solution, best possible 83 (431.32 seconds) Cbc0010I After 7700 nodes, 444 on tree, 84 best solution, best possible 83 (434.24 seconds) Cbc0010I After 7800 nodes, 451 on tree, 84 best solution, best possible 83 (436.54 seconds) Cbc0010I After 7900 nodes, 446 on tree, 84 best solution, best possible 83 (439.05 seconds) Cbc0010I After 8000 nodes, 452 on tree, 84 best solution, best possible 83 (441.66 seconds) Cbc0010I After 8100 nodes, 455 on tree, 84 best solution, best possible 83 (444.14 seconds) Cbc0010I After 8200 nodes, 457 on tree, 84 best solution, best possible 83 (446.42 seconds) Cbc0010I After 8300 nodes, 451 on tree, 84 best solution, best possible 83 (449.02 seconds) Cbc0010I After 8400 nodes, 452 on tree, 84 best solution, best possible 83 (451.36 seconds) Cbc0010I After 8500 nodes, 446 on tree, 84 best solution, best possible 83 (453.52 seconds) Cbc0010I After 8600 nodes, 456 on tree, 84 best solution, best possible 83 (455.74 seconds) Cbc0010I After 8700 nodes, 458 on tree, 84 best solution, best possible 83 (457.84 seconds) Cbc0010I After 8800 nodes, 457 on tree, 84 best solution, best possible 83 (460.06 seconds) Cbc0010I After 8900 nodes, 461 on tree, 84 best solution, best possible 83 (462.25 seconds) Cbc0010I After 9000 nodes, 456 on tree, 84 best solution, best possible 83 (464.37 seconds) Cbc0010I After 9100 nodes, 449 on tree, 84 best solution, best possible 83 (466.25 seconds) Cbc0010I After 9200 nodes, 448 on tree, 84 best solution, best possible 83 (468.60 seconds) Cbc0010I After 9300 nodes, 444 on tree, 84 best solution, best possible 83 (471.02 seconds) Cbc0010I After 9400 nodes, 451 on tree, 84 best solution, best possible 83 (473.73 seconds) Cbc0010I After 9500 nodes, 449 on tree, 84 best solution, best possible 83 (476.23 seconds) Cbc0010I After 9600 nodes, 444 on tree, 84 best solution, best possible 83 (478.67 seconds) Cbc0010I After 9700 nodes, 460 on tree, 84 best solution, best possible 83 (481.49 seconds) Cbc0010I After 9800 nodes, 465 on tree, 84 best solution, best possible 83 (483.92 seconds) Cbc0010I After 9900 nodes, 469 on tree, 84 best solution, best possible 83 (486.58 seconds) Cbc0010I After 10000 nodes, 478 on tree, 84 best solution, best possible 83 (489.31 seconds) Cbc0010I After 10100 nodes, 496 on tree, 84 best solution, best possible 83 (491.92 seconds) Cbc0010I After 10200 nodes, 500 on tree, 84 best solution, best possible 83 (494.07 seconds) Cbc0010I After 10300 nodes, 509 on tree, 84 best solution, best possible 83 (496.25 seconds) Cbc0010I After 10400 nodes, 519 on tree, 84 best solution, best possible 83 (498.49 seconds) Cbc0010I After 10500 nodes, 517 on tree, 84 best solution, best possible 83 (500.41 seconds) Cbc0010I After 10600 nodes, 517 on tree, 84 best solution, best possible 83 (502.76 seconds) Cbc0010I After 10700 nodes, 515 on tree, 84 best solution, best possible 83 (504.72 seconds) Cbc0010I After 10800 nodes, 516 on tree, 84 best solution, best possible 83 (506.50 seconds) Cbc0010I After 10900 nodes, 514 on tree, 84 best solution, best possible 83 (508.62 seconds) Cbc0010I After 11000 nodes, 515 on tree, 84 best solution, best possible 83 (510.69 seconds) Cbc0010I After 11100 nodes, 577 on tree, 84 best solution, best possible 83 (517.18 seconds) Cbc0010I After 11200 nodes, 635 on tree, 84 best solution, best possible 83 (520.83 seconds) Cbc0010I After 11300 nodes, 686 on tree, 84 best solution, best possible 83 (524.06 seconds) Cbc0010I After 11400 nodes, 744 on tree, 84 best solution, best possible 83 (527.54 seconds) Cbc0010I After 11500 nodes, 793 on tree, 84 best solution, best possible 83 (531.53 seconds) Cbc0010I After 11600 nodes, 851 on tree, 84 best solution, best possible 83 (535.61 seconds) Cbc0010I After 11700 nodes, 905 on tree, 84 best solution, best possible 83 (541.44 seconds) Cbc0010I After 11800 nodes, 964 on tree, 84 best solution, best possible 83 (547.55 seconds) Cbc0010I After 11900 nodes, 1023 on tree, 84 best solution, best possible 83 (553.37 seconds) Cbc0010I After 12000 nodes, 1078 on tree, 84 best solution, best possible 83 (559.25 seconds) Cbc0010I After 12100 nodes, 1126 on tree, 84 best solution, best possible 83 (565.29 seconds) Cbc0010I After 12200 nodes, 1182 on tree, 84 best solution, best possible 83 (572.14 seconds) Cbc0010I After 12300 nodes, 1238 on tree, 84 best solution, best possible 83 (579.00 seconds) Cbc0010I After 12400 nodes, 1296 on tree, 84 best solution, best possible 83 (586.04 seconds) Cbc0010I After 12500 nodes, 1340 on tree, 84 best solution, best possible 83 (592.32 seconds) Cbc0010I After 12600 nodes, 1377 on tree, 84 best solution, best possible 83 (596.22 seconds) Cbc0010I After 12700 nodes, 1424 on tree, 84 best solution, best possible 83 (600.55 seconds) Cbc0010I After 12800 nodes, 1485 on tree, 84 best solution, best possible 83 (605.89 seconds) Cbc0010I After 12900 nodes, 1537 on tree, 84 best solution, best possible 83 (611.04 seconds) Cbc0010I After 13000 nodes, 1587 on tree, 84 best solution, best possible 83 (616.67 seconds) Cbc0010I After 13100 nodes, 1584 on tree, 84 best solution, best possible 83 (618.71 seconds) Cbc0010I After 13200 nodes, 1581 on tree, 84 best solution, best possible 83 (620.99 seconds) Cbc0010I After 13300 nodes, 1574 on tree, 84 best solution, best possible 83 (623.42 seconds) Cbc0010I After 13400 nodes, 1581 on tree, 84 best solution, best possible 83 (625.57 seconds) Cbc0010I After 13500 nodes, 1571 on tree, 84 best solution, best possible 83 (628.04 seconds) Cbc0010I After 13600 nodes, 1567 on tree, 84 best solution, best possible 83 (630.90 seconds) Cbc0010I After 13700 nodes, 1567 on tree, 84 best solution, best possible 83 (633.72 seconds) Cbc0010I After 13800 nodes, 1561 on tree, 84 best solution, best possible 83 (636.08 seconds) Cbc0010I After 13900 nodes, 1560 on tree, 84 best solution, best possible 83 (638.11 seconds) Cbc0010I After 14000 nodes, 1561 on tree, 84 best solution, best possible 83 (640.34 seconds) Cbc0010I After 14100 nodes, 1611 on tree, 84 best solution, best possible 83 (645.70 seconds) Cbc0010I After 14200 nodes, 1644 on tree, 84 best solution, best possible 83 (650.30 seconds) Cbc0010I After 14300 nodes, 1679 on tree, 84 best solution, best possible 83 (654.21 seconds) Cbc0010I After 14400 nodes, 1709 on tree, 84 best solution, best possible 83 (657.23 seconds) Cbc0010I After 14500 nodes, 1754 on tree, 84 best solution, best possible 83 (660.60 seconds) Cbc0010I After 14600 nodes, 1805 on tree, 84 best solution, best possible 83 (663.79 seconds) Cbc0010I After 14700 nodes, 1860 on tree, 84 best solution, best possible 83 (667.53 seconds) Cbc0010I After 14800 nodes, 1915 on tree, 84 best solution, best possible 83 (670.64 seconds) Cbc0010I After 14900 nodes, 1952 on tree, 84 best solution, best possible 83 (673.94 seconds) Cbc0010I After 15000 nodes, 2009 on tree, 84 best solution, best possible 83 (678.14 seconds) Cbc0010I After 15100 nodes, 2062 on tree, 84 best solution, best possible 83 (681.88 seconds) Cbc0010I After 15200 nodes, 2095 on tree, 84 best solution, best possible 83 (685.62 seconds) Cbc0010I After 15300 nodes, 2129 on tree, 84 best solution, best possible 83 (688.76 seconds) Cbc0010I After 15400 nodes, 2154 on tree, 84 best solution, best possible 83 (692.03 seconds) Cbc0010I After 15500 nodes, 2192 on tree, 84 best solution, best possible 83 (695.02 seconds) Cbc0010I After 15600 nodes, 2232 on tree, 84 best solution, best possible 83 (698.36 seconds) Cbc0010I After 15700 nodes, 2285 on tree, 84 best solution, best possible 83 (701.46 seconds) Cbc0010I After 15800 nodes, 2331 on tree, 84 best solution, best possible 83 (704.40 seconds) Cbc0010I After 15900 nodes, 2386 on tree, 84 best solution, best possible 83 (707.74 seconds) Cbc0010I After 16000 nodes, 2440 on tree, 84 best solution, best possible 83 (711.17 seconds) Cbc0010I After 16100 nodes, 2491 on tree, 84 best solution, best possible 83 (714.07 seconds) Cbc0010I After 16200 nodes, 2534 on tree, 84 best solution, best possible 83 (717.23 seconds) Cbc0010I After 16300 nodes, 2590 on tree, 84 best solution, best possible 83 (720.41 seconds) Cbc0010I After 16400 nodes, 2642 on tree, 84 best solution, best possible 83 (723.49 seconds) Cbc0010I After 16500 nodes, 2690 on tree, 84 best solution, best possible 83 (726.49 seconds) Cbc0010I After 16600 nodes, 2739 on tree, 84 best solution, best possible 83 (729.97 seconds) Cbc0010I After 16700 nodes, 2787 on tree, 84 best solution, best possible 83 (733.22 seconds) Cbc0010I After 16800 nodes, 2826 on tree, 84 best solution, best possible 83 (736.49 seconds) Cbc0010I After 16900 nodes, 2858 on tree, 84 best solution, best possible 83 (739.99 seconds) Cbc0010I After 17000 nodes, 2899 on tree, 84 best solution, best possible 83 (743.43 seconds) Cbc0010I After 17100 nodes, 2910 on tree, 84 best solution, best possible 83 (746.63 seconds) Cbc0010I After 17200 nodes, 2939 on tree, 84 best solution, best possible 83 (749.35 seconds) Cbc0010I After 17300 nodes, 2945 on tree, 84 best solution, best possible 83 (751.78 seconds) Cbc0010I After 17400 nodes, 2952 on tree, 84 best solution, best possible 83 (754.13 seconds) Cbc0010I After 17500 nodes, 2962 on tree, 84 best solution, best possible 83 (756.60 seconds) Cbc0010I After 17600 nodes, 2980 on tree, 84 best solution, best possible 83 (759.30 seconds) Cbc0010I After 17700 nodes, 2977 on tree, 84 best solution, best possible 83 (762.04 seconds) Cbc0010I After 17800 nodes, 2984 on tree, 84 best solution, best possible 83 (764.86 seconds) Cbc0010I After 17900 nodes, 2994 on tree, 84 best solution, best possible 83 (767.43 seconds) Cbc0010I After 18000 nodes, 2996 on tree, 84 best solution, best possible 83 (769.83 seconds) Cbc0010I After 18100 nodes, 3041 on tree, 84 best solution, best possible 83 (774.17 seconds) Cbc0010I After 18200 nodes, 3095 on tree, 84 best solution, best possible 83 (777.93 seconds) Cbc0010I After 18300 nodes, 3147 on tree, 84 best solution, best possible 83 (781.57 seconds) Cbc0010I After 18400 nodes, 3201 on tree, 84 best solution, best possible 83 (785.28 seconds) Cbc0010I After 18500 nodes, 3252 on tree, 84 best solution, best possible 83 (789.00 seconds) Cbc0010I After 18600 nodes, 3308 on tree, 84 best solution, best possible 83 (792.99 seconds) Cbc0010I After 18700 nodes, 3362 on tree, 84 best solution, best possible 83 (796.75 seconds) Cbc0010I After 18800 nodes, 3418 on tree, 84 best solution, best possible 83 (800.35 seconds) Cbc0010I After 18900 nodes, 3467 on tree, 84 best solution, best possible 83 (803.71 seconds) Cbc0010I After 19000 nodes, 3522 on tree, 84 best solution, best possible 83 (807.70 seconds) Cbc0010I After 19100 nodes, 3583 on tree, 84 best solution, best possible 83 (810.79 seconds) Cbc0010I After 19200 nodes, 3638 on tree, 84 best solution, best possible 83 (814.06 seconds) Cbc0010I After 19300 nodes, 3694 on tree, 84 best solution, best possible 83 (817.72 seconds) Cbc0010I After 19400 nodes, 3745 on tree, 84 best solution, best possible 83 (821.46 seconds) Cbc0010I After 19500 nodes, 3799 on tree, 84 best solution, best possible 83 (825.02 seconds) Cbc0010I After 19600 nodes, 3849 on tree, 84 best solution, best possible 83 (828.71 seconds) Cbc0010I After 19700 nodes, 3904 on tree, 84 best solution, best possible 83 (832.74 seconds) Cbc0010I After 19800 nodes, 3959 on tree, 84 best solution, best possible 83 (836.78 seconds) Cbc0010I After 19900 nodes, 4008 on tree, 84 best solution, best possible 83 (840.87 seconds) Cbc0010I After 20000 nodes, 4040 on tree, 84 best solution, best possible 83 (845.34 seconds) Cbc0010I After 20100 nodes, 4078 on tree, 84 best solution, best possible 83 (849.74 seconds) Cbc0010I After 20200 nodes, 4112 on tree, 84 best solution, best possible 83 (854.47 seconds) Cbc0010I After 20300 nodes, 4160 on tree, 84 best solution, best possible 83 (859.78 seconds) Cbc0010I After 20400 nodes, 4214 on tree, 84 best solution, best possible 83 (864.51 seconds) Cbc0010I After 20500 nodes, 4266 on tree, 84 best solution, best possible 83 (868.99 seconds) Cbc0010I After 20600 nodes, 4322 on tree, 84 best solution, best possible 83 (874.17 seconds) Cbc0010I After 20700 nodes, 4380 on tree, 84 best solution, best possible 83 (878.72 seconds) Cbc0010I After 20800 nodes, 4421 on tree, 84 best solution, best possible 83 (883.63 seconds) Cbc0010I After 20900 nodes, 4475 on tree, 84 best solution, best possible 83 (887.92 seconds) Cbc0010I After 21000 nodes, 4531 on tree, 84 best solution, best possible 83 (893.38 seconds) Cbc0010I After 21100 nodes, 4535 on tree, 84 best solution, best possible 83 (896.05 seconds) Cbc0010I After 21200 nodes, 4537 on tree, 84 best solution, best possible 83 (898.28 seconds) Cbc0010I After 21300 nodes, 4532 on tree, 84 best solution, best possible 83 (901.04 seconds) Cbc0010I After 21400 nodes, 4527 on tree, 84 best solution, best possible 83 (903.78 seconds) Cbc0010I After 21500 nodes, 4539 on tree, 84 best solution, best possible 83 (906.42 seconds) Cbc0010I After 21600 nodes, 4543 on tree, 84 best solution, best possible 83 (908.71 seconds) Cbc0010I After 21700 nodes, 4540 on tree, 84 best solution, best possible 83 (910.90 seconds) Cbc0010I After 21800 nodes, 4560 on tree, 84 best solution, best possible 83 (913.60 seconds) Cbc0010I After 21900 nodes, 4560 on tree, 84 best solution, best possible 83 (915.84 seconds) Cbc0010I After 22000 nodes, 4567 on tree, 84 best solution, best possible 83 (918.09 seconds) Cbc0010I After 22100 nodes, 4620 on tree, 84 best solution, best possible 83 (923.05 seconds) Cbc0010I After 22200 nodes, 4669 on tree, 84 best solution, best possible 83 (927.73 seconds) Cbc0010I After 22300 nodes, 4724 on tree, 84 best solution, best possible 83 (932.05 seconds) Cbc0010I After 22400 nodes, 4778 on tree, 84 best solution, best possible 83 (937.14 seconds) Cbc0010I After 22500 nodes, 4834 on tree, 84 best solution, best possible 83 (941.55 seconds) Cbc0010I After 22600 nodes, 4890 on tree, 84 best solution, best possible 83 (946.52 seconds) Cbc0010I After 22700 nodes, 4947 on tree, 84 best solution, best possible 83 (950.14 seconds) Cbc0010I After 22800 nodes, 5000 on tree, 84 best solution, best possible 83 (954.40 seconds) Cbc0010I After 22900 nodes, 5057 on tree, 84 best solution, best possible 83 (959.32 seconds) Cbc0010I After 23000 nodes, 5111 on tree, 84 best solution, best possible 83 (964.50 seconds) Cbc0010I After 23100 nodes, 5167 on tree, 84 best solution, best possible 83 (968.88 seconds) Cbc0010I After 23200 nodes, 5221 on tree, 84 best solution, best possible 83 (973.46 seconds) Cbc0010I After 23300 nodes, 5272 on tree, 84 best solution, best possible 83 (978.03 seconds) Cbc0010I After 23400 nodes, 5328 on tree, 84 best solution, best possible 83 (982.14 seconds) Cbc0010I After 23500 nodes, 5382 on tree, 84 best solution, best possible 83 (986.58 seconds) Cbc0010I After 23600 nodes, 5438 on tree, 84 best solution, best possible 83 (991.28 seconds) Cbc0010I After 23700 nodes, 5483 on tree, 84 best solution, best possible 83 (996.88 seconds) Cbc0010I After 23800 nodes, 5538 on tree, 84 best solution, best possible 83 (1001.65 seconds) Cbc0010I After 23900 nodes, 5590 on tree, 84 best solution, best possible 83 (1006.42 seconds) Cbc0010I After 24000 nodes, 5629 on tree, 84 best solution, best possible 83 (1011.02 seconds) Cbc0010I After 24100 nodes, 5658 on tree, 84 best solution, best possible 83 (1015.50 seconds) Cbc0010I After 24200 nodes, 5703 on tree, 84 best solution, best possible 83 (1020.64 seconds) Cbc0010I After 24300 nodes, 5739 on tree, 84 best solution, best possible 83 (1025.61 seconds) Cbc0010I After 24400 nodes, 5764 on tree, 84 best solution, best possible 83 (1029.93 seconds) Cbc0010I After 24500 nodes, 5797 on tree, 84 best solution, best possible 83 (1034.94 seconds) Cbc0010I After 24600 nodes, 5846 on tree, 84 best solution, best possible 83 (1040.57 seconds) Cbc0010I After 24700 nodes, 5898 on tree, 84 best solution, best possible 83 (1045.89 seconds) Cbc0010I After 24800 nodes, 5952 on tree, 84 best solution, best possible 83 (1051.55 seconds) Cbc0010I After 24900 nodes, 6005 on tree, 84 best solution, best possible 83 (1057.35 seconds) Cbc0010I After 25000 nodes, 6060 on tree, 84 best solution, best possible 83 (1062.97 seconds) Cbc0004I Integer solution of 83 found after 2434022 iterations and 25026 nodes (1063.83 seconds) Cbc0001I Search completed - best objective 83, took 2434022 iterations and 25026 nodes (1064.79 seconds) Cbc0032I Strong branching done 2680 times (26089 iterations), fathomed 0 nodes and fixed 1 variables Cbc0035I Maximum depth 106, 2.95563e+06 variables fixed on reduced cost Cuts at root node changed objective from 83 to 83 Probing was tried 6427 times and created 5339 cuts of which 3797 were active after adding rounds of cuts (56.415 seconds) Gomory was tried 6427 times and created 782 cuts of which 188 were active after adding rounds of cuts (49.083 seconds) Knapsack was tried 4 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.028 seconds) Clique was tried 6427 times and created 119154 cuts of which 3598 were active after adding rounds of cuts (28.554 seconds) MixedIntegerRounding2 was tried 4 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.276 seconds) FlowCover was tried 4 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.060 seconds) TwoMirCuts was tried 4 times and created 5 cuts of which 1 were active after adding rounds of cuts (0.284 seconds) implication was tried 12741 times and created 0 cuts of which 0 were active after adding rounds of cuts Result - Finished objective 83 after 25026 nodes and 2434022 iterations - took 1069.37 seconds (total time 1069.95) Total time 1070.35 1070.35user 0.40system 17:50.84elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+0outputs (0major+137067minor)pagefaults 0swaps