--- Job tls12 Start 09/06/08 16:06:51 GAMS Rev 228 Copyright (C) 1987-2008 GAMS Development. All rights reserved *** License File has expired 5 days ago Licensee: Stefan Vigerske G071106/0001CB-LNX Humboldt University Berlin, Numerical Mathematics DC5918 --- Starting compilation --- tls12.gms(1941) 2 Mb --- Starting execution: elapsed 0:00:00.026 --- tls12.gms(1936) 3 Mb --- Generating MINLP model m --- tls12.gms(1941) 5 Mb --- 385 rows 813 columns 7,205 non-zeroes --- 1,753 nl-code 288 nl-non-zeroes --- 668 discrete-columns --- tls12.gms(1941) 3 Mb --- Executing BONMIN: elapsed 0:00:00.054 GAMS/Bonmin MINLP Solver (Bonmin Library 0.99) written by P. Bonami List of user-set options: Name Value used bonmin.algorithm = B-OA yes ****************************************************************************** This program contains Ipopt, a library for large-scale nonlinear optimization. Ipopt is released as open source code under the Common Public License (CPL). For more information visit http://projects.coin-or.org/Ipopt ****************************************************************************** NLP0012I Num Status Obj It time NLP0013I 1 OPT 2.31187159182943 22 0.136008 Cbc0031I 43 added rows had average density of 141.023 Cbc0013I At root node, 43 cuts changed objective from 2.31187 to 5.06269 in 20 passes Cbc0014I Cut generator 0 (Mixed Integer Gomory) - 289 row cuts, 0 column cuts (41 active) Cbc0014I Cut generator 1 (Probing) - 483 row cuts, 164 column cuts (2 active) Cbc0014I Cut generator 2 (Mixed Integer Rounding) - 57 row cuts, 0 column cuts (0 active) Cbc0014I Cut generator 3 (Cover) - 138 row cuts, 0 column cuts (0 active) Cbc0014I Cut generator 4 (Clique) - 0 row cuts, 0 column cuts (0 active) Cbc0014I Cut generator 5 (Flow Covers) - 0 row cuts, 0 column cuts (0 active) Cbc0014I Cut generator 6 (Outer Approximation decomposition.) - 0 row cuts, 0 column cuts (0 active) Cbc0014I Cut generator 7 (Outer Approximation feasibility check.) - 0 row cuts, 0 column cuts (0 active) Cbc0010I After 0 nodes, 1 on tree, 1e+50 best solution, best possible 5.06269 (8.16 seconds) Cbc0010I After 100 nodes, 53 on tree, 1e+50 best solution, best possible 5.07376 (30.86 seconds) Cbc0010I After 200 nodes, 104 on tree, 1e+50 best solution, best possible 5.07376 (38.78 seconds) Cbc3008W Strong branching is fixing too many variables, too expensively! Cbc0010I After 300 nodes, 118 on tree, 1e+50 best solution, best possible 5.07376 (48.35 seconds) Cbc0010I After 400 nodes, 115 on tree, 1e+50 best solution, best possible 5.07376 (56.53 seconds) Cbc0010I After 500 nodes, 120 on tree, 1e+50 best solution, best possible 5.07376 (60.61 seconds) Cbc0010I After 600 nodes, 127 on tree, 1e+50 best solution, best possible 5.07376 (65.73 seconds) Cbc0010I After 700 nodes, 127 on tree, 1e+50 best solution, best possible 5.07376 (68.98 seconds) Cbc0010I After 800 nodes, 127 on tree, 1e+50 best solution, best possible 5.07376 (70.79 seconds) Cbc0010I After 900 nodes, 126 on tree, 1e+50 best solution, best possible 5.07376 (75.77 seconds) Cbc0010I After 1000 nodes, 126 on tree, 1e+50 best solution, best possible 5.07376 (77.42 seconds) Cbc0010I After 1100 nodes, 128 on tree, 1e+50 best solution, best possible 5.07376 (79.39 seconds) Cbc0010I After 1200 nodes, 137 on tree, 1e+50 best solution, best possible 5.07376 (82.85 seconds) Cbc0010I After 1300 nodes, 127 on tree, 1e+50 best solution, best possible 5.07376 (84.25 seconds) Cbc0010I After 1400 nodes, 129 on tree, 1e+50 best solution, best possible 5.07376 (86.23 seconds) Cbc0010I After 1500 nodes, 126 on tree, 1e+50 best solution, best possible 5.07376 (87.70 seconds) Cbc0010I After 1600 nodes, 122 on tree, 1e+50 best solution, best possible 5.07376 (89.20 seconds) Cbc0010I After 1700 nodes, 129 on tree, 1e+50 best solution, best possible 5.07376 (91.89 seconds) Cbc0010I After 1800 nodes, 127 on tree, 1e+50 best solution, best possible 5.07376 (97.26 seconds) Cbc0010I After 1900 nodes, 127 on tree, 1e+50 best solution, best possible 5.07376 (98.91 seconds) Cbc0010I After 2000 nodes, 127 on tree, 1e+50 best solution, best possible 5.07376 (100.37 seconds) Cbc0010I After 2100 nodes, 132 on tree, 1e+50 best solution, best possible 5.07376 (102.05 seconds) Cbc0010I After 2200 nodes, 123 on tree, 1e+50 best solution, best possible 5.07376 (103.94 seconds) Cbc0010I After 2300 nodes, 127 on tree, 1e+50 best solution, best possible 5.07376 (105.58 seconds) Cbc0010I After 2400 nodes, 129 on tree, 1e+50 best solution, best possible 5.07376 (107.00 seconds) Cbc0010I After 2500 nodes, 129 on tree, 1e+50 best solution, best possible 5.07376 (108.49 seconds) Cbc0010I After 2600 nodes, 129 on tree, 1e+50 best solution, best possible 5.07376 (109.77 seconds) Cbc0010I After 2700 nodes, 133 on tree, 1e+50 best solution, best possible 5.07376 (111.27 seconds) Cbc0010I After 2800 nodes, 133 on tree, 1e+50 best solution, best possible 5.07376 (112.45 seconds) Cbc0010I After 2900 nodes, 137 on tree, 1e+50 best solution, best possible 5.07376 (113.94 seconds) Cbc0010I After 3000 nodes, 144 on tree, 1e+50 best solution, best possible 5.07376 (115.53 seconds) Cbc0010I After 3100 nodes, 148 on tree, 1e+50 best solution, best possible 5.07376 (116.78 seconds) Cbc0010I After 3200 nodes, 138 on tree, 1e+50 best solution, best possible 5.07376 (117.97 seconds) Cbc0010I After 3300 nodes, 157 on tree, 1e+50 best solution, best possible 5.07376 (119.81 seconds) Cbc0010I After 3400 nodes, 160 on tree, 1e+50 best solution, best possible 5.07376 (121.37 seconds) Cbc0010I After 3500 nodes, 151 on tree, 1e+50 best solution, best possible 5.07376 (123.32 seconds) Cbc0010I After 3600 nodes, 142 on tree, 1e+50 best solution, best possible 5.07376 (124.59 seconds) Cbc0010I After 3700 nodes, 150 on tree, 1e+50 best solution, best possible 5.07376 (125.81 seconds) Cbc0010I After 3800 nodes, 152 on tree, 1e+50 best solution, best possible 5.07376 (127.01 seconds) Cbc0010I After 3900 nodes, 151 on tree, 1e+50 best solution, best possible 5.07376 (128.77 seconds) Cbc0010I After 4000 nodes, 148 on tree, 1e+50 best solution, best possible 5.07376 (129.96 seconds) Cbc0010I After 4100 nodes, 159 on tree, 1e+50 best solution, best possible 5.07376 (131.04 seconds) Cbc0010I After 4200 nodes, 157 on tree, 1e+50 best solution, best possible 5.07376 (132.01 seconds) Cbc0010I After 4300 nodes, 152 on tree, 1e+50 best solution, best possible 5.07376 (132.98 seconds) Cbc0010I After 4400 nodes, 154 on tree, 1e+50 best solution, best possible 5.07376 (134.02 seconds) Cbc0010I After 4500 nodes, 154 on tree, 1e+50 best solution, best possible 5.07376 (135.14 seconds) Cbc0010I After 4600 nodes, 152 on tree, 1e+50 best solution, best possible 5.07376 (136.18 seconds) Cbc0010I After 4700 nodes, 150 on tree, 1e+50 best solution, best possible 5.07376 (137.14 seconds) Cbc0010I After 4800 nodes, 148 on tree, 1e+50 best solution, best possible 5.07376 (138.16 seconds) Cbc0010I After 4900 nodes, 154 on tree, 1e+50 best solution, best possible 5.07376 (139.57 seconds) Cbc0010I After 5000 nodes, 146 on tree, 1e+50 best solution, best possible 5.07376 (140.64 seconds) Cbc0010I After 5100 nodes, 151 on tree, 1e+50 best solution, best possible 5.07376 (142.01 seconds) Cbc0010I After 5200 nodes, 151 on tree, 1e+50 best solution, best possible 5.07376 (142.98 seconds) Cbc0010I After 5300 nodes, 150 on tree, 1e+50 best solution, best possible 5.07376 (144.06 seconds) Cbc0010I After 5400 nodes, 155 on tree, 1e+50 best solution, best possible 5.07376 (145.30 seconds) Cbc0010I After 5500 nodes, 153 on tree, 1e+50 best solution, best possible 5.07376 (146.37 seconds) Cbc0010I After 5600 nodes, 151 on tree, 1e+50 best solution, best possible 5.07376 (147.38 seconds) Cbc0010I After 5700 nodes, 150 on tree, 1e+50 best solution, best possible 5.07376 (148.39 seconds) Cbc0010I After 5800 nodes, 147 on tree, 1e+50 best solution, best possible 5.07376 (149.51 seconds) Cbc0010I After 5900 nodes, 152 on tree, 1e+50 best solution, best possible 5.07376 (150.65 seconds) Cbc0010I After 6000 nodes, 152 on tree, 1e+50 best solution, best possible 5.07376 (151.75 seconds) Cbc0010I After 6100 nodes, 152 on tree, 1e+50 best solution, best possible 5.07376 (153.03 seconds) Cbc0010I After 6200 nodes, 147 on tree, 1e+50 best solution, best possible 5.07376 (154.39 seconds) Cbc0010I After 6300 nodes, 156 on tree, 1e+50 best solution, best possible 5.07376 (155.77 seconds) Cbc0010I After 6400 nodes, 155 on tree, 1e+50 best solution, best possible 5.07376 (157.08 seconds) Cbc0010I After 6500 nodes, 156 on tree, 1e+50 best solution, best possible 5.07376 (158.51 seconds) Cbc0010I After 6600 nodes, 155 on tree, 1e+50 best solution, best possible 5.07376 (159.84 seconds) Cbc0010I After 6700 nodes, 158 on tree, 1e+50 best solution, best possible 5.07376 (161.12 seconds) Cbc0010I After 6800 nodes, 156 on tree, 1e+50 best solution, best possible 5.07376 (162.37 seconds) Cbc0010I After 6900 nodes, 162 on tree, 1e+50 best solution, best possible 5.07376 (163.65 seconds) Cbc0010I After 7000 nodes, 163 on tree, 1e+50 best solution, best possible 5.07376 (165.07 seconds) Cbc0010I After 7100 nodes, 164 on tree, 1e+50 best solution, best possible 5.07376 (166.11 seconds) Cbc0010I After 7200 nodes, 156 on tree, 1e+50 best solution, best possible 5.07376 (167.13 seconds) Cbc0010I After 7300 nodes, 159 on tree, 1e+50 best solution, best possible 5.07376 (168.34 seconds) Cbc0010I After 7400 nodes, 150 on tree, 1e+50 best solution, best possible 5.07376 (169.49 seconds) Cbc0010I After 7500 nodes, 158 on tree, 1e+50 best solution, best possible 5.07376 (170.85 seconds) Cbc0010I After 7600 nodes, 158 on tree, 1e+50 best solution, best possible 5.07376 (172.06 seconds) Cbc0010I After 7700 nodes, 154 on tree, 1e+50 best solution, best possible 5.07376 (173.22 seconds) Cbc0010I After 7800 nodes, 160 on tree, 1e+50 best solution, best possible 5.07376 (174.42 seconds) Cbc0010I After 7900 nodes, 164 on tree, 1e+50 best solution, best possible 5.07376 (175.47 seconds) Cbc0010I After 8000 nodes, 168 on tree, 1e+50 best solution, best possible 5.07376 (176.61 seconds) Cbc0010I After 8100 nodes, 157 on tree, 1e+50 best solution, best possible 5.07376 (177.58 seconds) Cbc0010I After 8200 nodes, 162 on tree, 1e+50 best solution, best possible 5.07376 (178.74 seconds) Cbc0010I After 8300 nodes, 157 on tree, 1e+50 best solution, best possible 5.07376 (180.27 seconds) Cbc0010I After 8400 nodes, 159 on tree, 1e+50 best solution, best possible 5.07376 (181.52 seconds) Cbc0010I After 8500 nodes, 156 on tree, 1e+50 best solution, best possible 5.07376 (182.75 seconds) Cbc0010I After 8600 nodes, 157 on tree, 1e+50 best solution, best possible 5.07376 (183.91 seconds) Cbc0010I After 8700 nodes, 168 on tree, 1e+50 best solution, best possible 5.07376 (185.01 seconds) Cbc0010I After 8800 nodes, 156 on tree, 1e+50 best solution, best possible 5.07376 (186.02 seconds) Cbc0010I After 8900 nodes, 161 on tree, 1e+50 best solution, best possible 5.07376 (187.14 seconds) Cbc0010I After 9000 nodes, 166 on tree, 1e+50 best solution, best possible 5.07376 (188.25 seconds) Cbc0010I After 9100 nodes, 165 on tree, 1e+50 best solution, best possible 5.07376 (189.70 seconds) Cbc0010I After 9200 nodes, 164 on tree, 1e+50 best solution, best possible 5.07376 (190.81 seconds) Cbc0010I After 9300 nodes, 161 on tree, 1e+50 best solution, best possible 5.07376 (192.05 seconds) Cbc0010I After 9400 nodes, 154 on tree, 1e+50 best solution, best possible 5.07376 (193.09 seconds) Cbc0010I After 9500 nodes, 148 on tree, 1e+50 best solution, best possible 5.07376 (194.13 seconds) Cbc0010I After 9600 nodes, 150 on tree, 1e+50 best solution, best possible 5.07376 (195.18 seconds) Cbc0010I After 9700 nodes, 148 on tree, 1e+50 best solution, best possible 5.07376 (196.29 seconds) Cbc0010I After 9800 nodes, 149 on tree, 1e+50 best solution, best possible 5.07376 (197.48 seconds) Cbc0010I After 9900 nodes, 148 on tree, 1e+50 best solution, best possible 5.07376 (198.79 seconds) Cbc0010I After 10000 nodes, 146 on tree, 1e+50 best solution, best possible 5.07376 (199.95 seconds) Cbc0010I After 10100 nodes, 139 on tree, 1e+50 best solution, best possible 5.07376 (201.08 seconds) Cbc0010I After 10200 nodes, 146 on tree, 1e+50 best solution, best possible 5.07376 (202.32 seconds) Cbc0010I After 10300 nodes, 146 on tree, 1e+50 best solution, best possible 5.07376 (203.39 seconds) Cbc0010I After 10400 nodes, 139 on tree, 1e+50 best solution, best possible 5.07376 (204.41 seconds) Cbc0010I After 10500 nodes, 141 on tree, 1e+50 best solution, best possible 5.07376 (205.56 seconds) Cbc0010I After 10600 nodes, 139 on tree, 1e+50 best solution, best possible 5.07376 (206.62 seconds) Cbc0010I After 10700 nodes, 142 on tree, 1e+50 best solution, best possible 5.07376 (207.97 seconds) Cbc0010I After 10800 nodes, 138 on tree, 1e+50 best solution, best possible 5.07376 (208.97 seconds) Cbc0010I After 10900 nodes, 145 on tree, 1e+50 best solution, best possible 5.07376 (209.92 seconds) Cbc0010I After 11000 nodes, 146 on tree, 1e+50 best solution, best possible 5.07376 (211.01 seconds) Cbc0010I After 11100 nodes, 195 on tree, 1e+50 best solution, best possible 5.38348 (231.53 seconds) Cbc0010I After 11200 nodes, 245 on tree, 1e+50 best solution, best possible 5.53989 (248.56 seconds) Cbc0010I After 11300 nodes, 295 on tree, 1e+50 best solution, best possible 5.5852 (267.73 seconds) Cbc0010I After 11400 nodes, 345 on tree, 1e+50 best solution, best possible 5.6288 (284.72 seconds) Cbc0010I After 11500 nodes, 395 on tree, 1e+50 best solution, best possible 5.70349 (301.53 seconds) Cbc0010I After 11600 nodes, 445 on tree, 1e+50 best solution, best possible 5.78992 (317.58 seconds) Cbc0010I After 11700 nodes, 495 on tree, 1e+50 best solution, best possible 5.84282 (333.31 seconds) Cbc0010I After 11800 nodes, 545 on tree, 1e+50 best solution, best possible 5.9078 (350.19 seconds) Cbc0010I After 11900 nodes, 592 on tree, 1e+50 best solution, best possible 5.97467 (367.05 seconds) Cbc0010I After 12000 nodes, 639 on tree, 1e+50 best solution, best possible 6.10218 (385.00 seconds) Cbc0010I After 12100 nodes, 685 on tree, 1e+50 best solution, best possible 6.16068 (401.75 seconds) Cbc0010I After 12200 nodes, 734 on tree, 1e+50 best solution, best possible 6.19829 (419.73 seconds) Cbc0010I After 12300 nodes, 783 on tree, 1e+50 best solution, best possible 6.22479 (436.71 seconds) Cbc0010I After 12400 nodes, 833 on tree, 1e+50 best solution, best possible 6.25463 (456.31 seconds) Cbc0010I After 12500 nodes, 882 on tree, 1e+50 best solution, best possible 6.27357 (473.18 seconds) Cbc0010I After 12600 nodes, 932 on tree, 1e+50 best solution, best possible 6.28929 (489.36 seconds) Cbc0010I After 12700 nodes, 981 on tree, 1e+50 best solution, best possible 6.30424 (506.14 seconds) Cbc0010I After 12800 nodes, 1023 on tree, 1e+50 best solution, best possible 6.31487 (520.31 seconds) Cbc0010I After 12900 nodes, 1066 on tree, 1e+50 best solution, best possible 6.33049 (534.84 seconds) Cbc0010I After 13000 nodes, 1113 on tree, 1e+50 best solution, best possible 6.34809 (550.22 seconds) Cbc0010I After 13100 nodes, 1157 on tree, 1e+50 best solution, best possible 6.36732 (565.42 seconds) Cbc0010I After 13200 nodes, 1205 on tree, 1e+50 best solution, best possible 6.38793 (579.13 seconds) Cbc0010I After 13300 nodes, 1248 on tree, 1e+50 best solution, best possible 6.40956 (591.31 seconds) Cbc0010I After 13400 nodes, 1297 on tree, 1e+50 best solution, best possible 6.43688 (605.60 seconds) Cbc0010I After 13500 nodes, 1345 on tree, 1e+50 best solution, best possible 6.46786 (620.88 seconds) Cbc0010I After 13600 nodes, 1391 on tree, 1e+50 best solution, best possible 6.50059 (635.50 seconds) Cbc0010I After 13700 nodes, 1439 on tree, 1e+50 best solution, best possible 6.51998 (650.52 seconds) Cbc0010I After 13800 nodes, 1488 on tree, 1e+50 best solution, best possible 6.55769 (663.68 seconds) Cbc0010I After 13900 nodes, 1537 on tree, 1e+50 best solution, best possible 6.59017 (679.61 seconds) Cbc0010I After 14000 nodes, 1586 on tree, 1e+50 best solution, best possible 6.62007 (694.60 seconds) Cbc0010I After 14100 nodes, 1633 on tree, 1e+50 best solution, best possible 6.64334 (707.72 seconds) Cbc0010I After 14200 nodes, 1678 on tree, 1e+50 best solution, best possible 6.67241 (719.08 seconds) Cbc0010I After 14300 nodes, 1724 on tree, 1e+50 best solution, best possible 6.70017 (733.41 seconds) Cbc0010I After 14400 nodes, 1771 on tree, 1e+50 best solution, best possible 6.73045 (745.58 seconds) Cbc0010I After 14500 nodes, 1815 on tree, 1e+50 best solution, best possible 6.75262 (757.00 seconds) Cbc0010I After 14600 nodes, 1859 on tree, 1e+50 best solution, best possible 6.78456 (770.34 seconds) Cbc0010I After 14700 nodes, 1898 on tree, 1e+50 best solution, best possible 6.8 (781.80 seconds) Cbc0010I After 14800 nodes, 1936 on tree, 1e+50 best solution, best possible 6.8 (792.95 seconds) Cbc0010I After 14900 nodes, 1974 on tree, 1e+50 best solution, best possible 6.8 (804.21 seconds) Cbc0010I After 15000 nodes, 2018 on tree, 1e+50 best solution, best possible 6.8 (816.44 seconds) Cbc0010I After 15100 nodes, 2067 on tree, 1e+50 best solution, best possible 6.8 (828.08 seconds) Cbc0010I After 15200 nodes, 2116 on tree, 1e+50 best solution, best possible 6.8 (840.48 seconds) Cbc0010I After 15300 nodes, 2165 on tree, 1e+50 best solution, best possible 6.8 (852.16 seconds) Cbc0010I After 15400 nodes, 2210 on tree, 1e+50 best solution, best possible 6.8 (865.25 seconds) Cbc0010I After 15500 nodes, 2256 on tree, 1e+50 best solution, best possible 6.8 (877.74 seconds) Cbc0010I After 15600 nodes, 2299 on tree, 1e+50 best solution, best possible 6.8 (888.42 seconds) Cbc0010I After 15700 nodes, 2359 on tree, 1e+50 best solution, best possible 6.8 (896.60 seconds) Cbc0010I After 15800 nodes, 2459 on tree, 1e+50 best solution, best possible 6.8 (904.90 seconds) Cbc0010I After 15900 nodes, 2487 on tree, 1e+50 best solution, best possible 6.8 (916.95 seconds) Cbc0010I After 16000 nodes, 2529 on tree, 1e+50 best solution, best possible 6.8 (927.30 seconds) Cbc0010I After 16100 nodes, 2572 on tree, 1e+50 best solution, best possible 6.8 (938.21 seconds) Cbc0010I After 16200 nodes, 2618 on tree, 1e+50 best solution, best possible 6.8 (949.50 seconds) Cbc0010I After 16300 nodes, 2658 on tree, 1e+50 best solution, best possible 6.8 (961.03 seconds) Cbc0010I After 16400 nodes, 2703 on tree, 1e+50 best solution, best possible 6.8 (972.59 seconds) Cbc0010I After 16500 nodes, 2746 on tree, 1e+50 best solution, best possible 6.8 (984.81 seconds) Cbc0010I After 16600 nodes, 2788 on tree, 1e+50 best solution, best possible 6.8 (996.51 seconds) Cbc0010I After 16700 nodes, 2826 on tree, 1e+50 best solution, best possible 6.8 (1007.34 seconds) Cbc0010I After 16800 nodes, 2871 on tree, 1e+50 best solution, best possible 6.8 (1019.15 seconds) Cbc0010I After 16900 nodes, 2911 on tree, 1e+50 best solution, best possible 6.8 (1030.14 seconds) Cbc0010I After 17000 nodes, 2951 on tree, 1e+50 best solution, best possible 6.8 (1042.37 seconds) Cbc0010I After 17100 nodes, 2987 on tree, 1e+50 best solution, best possible 6.8 (1055.93 seconds) Cbc0010I After 17200 nodes, 3029 on tree, 1e+50 best solution, best possible 6.8 (1066.10 seconds) Cbc0010I After 17300 nodes, 3077 on tree, 1e+50 best solution, best possible 6.8 (1078.43 seconds) Cbc0010I After 17400 nodes, 3115 on tree, 1e+50 best solution, best possible 6.8 (1089.90 seconds) Cbc0010I After 17500 nodes, 3141 on tree, 1e+50 best solution, best possible 6.8 (1100.52 seconds) Cbc0010I After 17600 nodes, 3179 on tree, 1e+50 best solution, best possible 6.8 (1111.54 seconds) Cbc0010I After 17700 nodes, 3216 on tree, 1e+50 best solution, best possible 6.8 (1123.33 seconds) Cbc0010I After 17800 nodes, 3258 on tree, 1e+50 best solution, best possible 6.8 (1135.20 seconds) Cbc0010I After 17900 nodes, 3298 on tree, 1e+50 best solution, best possible 6.8 (1146.81 seconds) Cbc0010I After 18000 nodes, 3336 on tree, 1e+50 best solution, best possible 6.8 (1159.36 seconds) Cbc0010I After 18100 nodes, 3380 on tree, 1e+50 best solution, best possible 6.8 (1170.85 seconds) Cbc0010I After 18200 nodes, 3418 on tree, 1e+50 best solution, best possible 6.8 (1182.01 seconds) Cbc0010I After 18300 nodes, 3455 on tree, 1e+50 best solution, best possible 6.8 (1192.91 seconds) Cbc0010I After 18400 nodes, 3489 on tree, 1e+50 best solution, best possible 6.8 (1202.86 seconds) Cbc0010I After 18500 nodes, 3529 on tree, 1e+50 best solution, best possible 6.8 (1213.76 seconds) Cbc0010I After 18600 nodes, 3573 on tree, 1e+50 best solution, best possible 6.8 (1225.80 seconds) Cbc0010I After 18700 nodes, 3611 on tree, 1e+50 best solution, best possible 6.8 (1236.93 seconds) Cbc0010I After 18800 nodes, 3651 on tree, 1e+50 best solution, best possible 6.8 (1248.40 seconds) Cbc0010I After 18900 nodes, 3691 on tree, 1e+50 best solution, best possible 6.8 (1259.57 seconds) Cbc0010I After 19000 nodes, 3729 on tree, 1e+50 best solution, best possible 6.8 (1270.06 seconds) Cbc0010I After 19100 nodes, 3773 on tree, 1e+50 best solution, best possible 6.8 (1281.62 seconds) Cbc0010I After 19200 nodes, 3813 on tree, 1e+50 best solution, best possible 6.8 (1292.19 seconds) Cbc0010I After 19300 nodes, 3855 on tree, 1e+50 best solution, best possible 6.8 (1303.31 seconds) Cbc0010I After 19400 nodes, 3897 on tree, 1e+50 best solution, best possible 6.8 (1315.49 seconds) Cbc0010I After 19500 nodes, 3939 on tree, 1e+50 best solution, best possible 6.8 (1326.00 seconds) Cbc0010I After 19600 nodes, 3987 on tree, 1e+50 best solution, best possible 6.8 (1338.96 seconds) Cbc0010I After 19700 nodes, 4030 on tree, 1e+50 best solution, best possible 6.8 (1348.72 seconds) Cbc0010I After 19800 nodes, 4069 on tree, 1e+50 best solution, best possible 6.8 (1362.02 seconds) Cbc0010I After 19900 nodes, 4102 on tree, 1e+50 best solution, best possible 6.8 (1374.55 seconds) Cbc0010I After 20000 nodes, 4148 on tree, 1e+50 best solution, best possible 6.8 (1386.72 seconds) Cbc0010I After 20100 nodes, 4191 on tree, 1e+50 best solution, best possible 6.8 (1400.13 seconds) Cbc0010I After 20200 nodes, 4234 on tree, 1e+50 best solution, best possible 6.8 (1410.58 seconds) Cbc0010I After 20300 nodes, 4281 on tree, 1e+50 best solution, best possible 6.8 (1424.25 seconds) Cbc0010I After 20400 nodes, 4327 on tree, 1e+50 best solution, best possible 6.8 (1436.43 seconds) Cbc0010I After 20500 nodes, 4368 on tree, 1e+50 best solution, best possible 6.8 (1446.15 seconds) Cbc0010I After 20600 nodes, 4414 on tree, 1e+50 best solution, best possible 6.8 (1459.50 seconds) Cbc0010I After 20700 nodes, 4454 on tree, 1e+50 best solution, best possible 6.8 (1472.40 seconds) Cbc0010I After 20800 nodes, 4490 on tree, 1e+50 best solution, best possible 6.8 (1481.10 seconds) Cbc0010I After 20900 nodes, 4531 on tree, 1e+50 best solution, best possible 6.8 (1494.46 seconds) Cbc0010I After 21000 nodes, 4570 on tree, 1e+50 best solution, best possible 6.8 (1505.23 seconds) Cbc0010I After 21100 nodes, 4617 on tree, 1e+50 best solution, best possible 6.8 (1514.27 seconds) Cbc0010I After 21200 nodes, 4663 on tree, 1e+50 best solution, best possible 6.8 (1528.51 seconds) Cbc0010I After 21300 nodes, 4700 on tree, 1e+50 best solution, best possible 6.8 (1539.71 seconds) Cbc0010I After 21400 nodes, 4743 on tree, 1e+50 best solution, best possible 6.8 (1548.66 seconds) Cbc0010I After 21500 nodes, 4789 on tree, 1e+50 best solution, best possible 6.8 (1561.92 seconds) Cbc0010I After 21600 nodes, 4825 on tree, 1e+50 best solution, best possible 6.8 (1573.58 seconds) Cbc0010I After 21700 nodes, 4867 on tree, 1e+50 best solution, best possible 6.8 (1583.25 seconds) Cbc0010I After 21800 nodes, 4907 on tree, 1e+50 best solution, best possible 6.8 (1594.93 seconds) Cbc0010I After 21900 nodes, 4948 on tree, 1e+50 best solution, best possible 6.8 (1607.82 seconds) Cbc0010I After 22000 nodes, 4996 on tree, 1e+50 best solution, best possible 6.8 (1618.75 seconds) Cbc0010I After 22100 nodes, 5033 on tree, 1e+50 best solution, best possible 6.8 (1628.50 seconds) Cbc0010I After 22200 nodes, 5073 on tree, 1e+50 best solution, best possible 6.8 (1642.94 seconds) Cbc0010I After 22300 nodes, 5116 on tree, 1e+50 best solution, best possible 6.8 (1654.44 seconds) Cbc0010I After 22400 nodes, 5155 on tree, 1e+50 best solution, best possible 6.8 (1664.09 seconds) Cbc0010I After 22500 nodes, 5205 on tree, 1e+50 best solution, best possible 6.8 (1678.70 seconds) Cbc0010I After 22600 nodes, 5252 on tree, 1e+50 best solution, best possible 6.8 (1692.22 seconds) Cbc0010I After 22700 nodes, 5293 on tree, 1e+50 best solution, best possible 6.8 (1702.43 seconds) Cbc0010I After 22800 nodes, 5333 on tree, 1e+50 best solution, best possible 6.8 (1712.08 seconds) Cbc0010I After 22900 nodes, 5373 on tree, 1e+50 best solution, best possible 6.8 (1725.78 seconds) Cbc0010I After 23000 nodes, 5416 on tree, 1e+50 best solution, best possible 6.8 (1737.60 seconds) Cbc0010I After 23100 nodes, 5459 on tree, 1e+50 best solution, best possible 6.8 (1748.08 seconds) Cbc0010I After 23200 nodes, 5502 on tree, 1e+50 best solution, best possible 6.8 (1759.90 seconds) Cbc0010I After 23300 nodes, 5542 on tree, 1e+50 best solution, best possible 6.8 (1772.85 seconds) Cbc0010I After 23400 nodes, 5589 on tree, 1e+50 best solution, best possible 6.8 (1785.39 seconds) Cbc0010I After 23500 nodes, 5633 on tree, 1e+50 best solution, best possible 6.8 (1795.40 seconds) Cbc0010I After 23600 nodes, 5669 on tree, 1e+50 best solution, best possible 6.8 (1806.21 seconds) Cbc0010I After 23700 nodes, 5705 on tree, 1e+50 best solution, best possible 6.8 (1818.13 seconds) Cbc0010I After 23800 nodes, 5749 on tree, 1e+50 best solution, best possible 6.8 (1830.18 seconds) Cbc0010I After 23900 nodes, 5785 on tree, 1e+50 best solution, best possible 6.8 (1840.30 seconds) Cbc0010I After 24000 nodes, 5830 on tree, 1e+50 best solution, best possible 6.8 (1851.45 seconds) Cbc0010I After 24100 nodes, 5872 on tree, 1e+50 best solution, best possible 6.8 (1864.06 seconds) Cbc0010I After 24200 nodes, 5915 on tree, 1e+50 best solution, best possible 6.8 (1876.29 seconds) Cbc0010I After 24300 nodes, 5960 on tree, 1e+50 best solution, best possible 6.8 (1886.87 seconds) Cbc0010I After 24400 nodes, 6001 on tree, 1e+50 best solution, best possible 6.8 (1895.65 seconds) Cbc0010I After 24500 nodes, 6044 on tree, 1e+50 best solution, best possible 6.8 (1909.66 seconds) Cbc0010I After 24600 nodes, 6078 on tree, 1e+50 best solution, best possible 6.8 (1920.51 seconds) Cbc0010I After 24700 nodes, 6127 on tree, 1e+50 best solution, best possible 6.8 (1931.67 seconds) Cbc0010I After 24800 nodes, 6173 on tree, 1e+50 best solution, best possible 6.8 (1941.22 seconds) Cbc0010I After 24900 nodes, 6211 on tree, 1e+50 best solution, best possible 6.8 (1951.61 seconds) Cbc0010I After 25000 nodes, 6257 on tree, 1e+50 best solution, best possible 6.8 (1962.74 seconds) Cbc0010I After 25100 nodes, 6302 on tree, 1e+50 best solution, best possible 6.8 (1974.65 seconds) Cbc0010I After 25200 nodes, 6353 on tree, 1e+50 best solution, best possible 6.8 (1984.71 seconds) Cbc0010I After 25300 nodes, 6393 on tree, 1e+50 best solution, best possible 6.8 (1994.33 seconds) Cbc0010I After 25400 nodes, 6434 on tree, 1e+50 best solution, best possible 6.8 (2006.68 seconds) Cbc0010I After 25500 nodes, 6474 on tree, 1e+50 best solution, best possible 6.8 (2017.29 seconds) Cbc0010I After 25600 nodes, 6522 on tree, 1e+50 best solution, best possible 6.8 (2030.43 seconds) Cbc0010I After 25700 nodes, 6567 on tree, 1e+50 best solution, best possible 6.8 (2040.67 seconds) Cbc0010I After 25800 nodes, 6604 on tree, 1e+50 best solution, best possible 6.8 (2048.78 seconds) Cbc0010I After 25900 nodes, 6651 on tree, 1e+50 best solution, best possible 6.8 (2060.88 seconds) Cbc0010I After 26000 nodes, 6693 on tree, 1e+50 best solution, best possible 6.8 (2071.84 seconds) Cbc0010I After 26100 nodes, 6741 on tree, 1e+50 best solution, best possible 6.8 (2085.47 seconds) Cbc0010I After 26200 nodes, 6792 on tree, 1e+50 best solution, best possible 6.8 (2095.63 seconds) Cbc0010I After 26300 nodes, 6838 on tree, 1e+50 best solution, best possible 6.8 (2104.65 seconds) Cbc0010I After 26400 nodes, 6883 on tree, 1e+50 best solution, best possible 6.8 (2115.62 seconds) Cbc0010I After 26500 nodes, 6920 on tree, 1e+50 best solution, best possible 6.8 (2126.79 seconds) Cbc0010I After 26600 nodes, 6966 on tree, 1e+50 best solution, best possible 6.8 (2138.51 seconds) Cbc0010I After 26700 nodes, 7011 on tree, 1e+50 best solution, best possible 6.8 (2148.26 seconds) Cbc0010I After 26800 nodes, 7051 on tree, 1e+50 best solution, best possible 6.8 (2158.58 seconds) Cbc0010I After 26900 nodes, 7093 on tree, 1e+50 best solution, best possible 6.8 (2167.20 seconds) Cbc0010I After 27000 nodes, 7138 on tree, 1e+50 best solution, best possible 6.8 (2180.58 seconds) Cbc0010I After 27100 nodes, 7180 on tree, 1e+50 best solution, best possible 6.8 (2191.34 seconds) Cbc0010I After 27200 nodes, 7221 on tree, 1e+50 best solution, best possible 6.8 (2203.34 seconds) Cbc0010I After 27300 nodes, 7263 on tree, 1e+50 best solution, best possible 6.8 (2212.63 seconds) Cbc0010I After 27400 nodes, 7306 on tree, 1e+50 best solution, best possible 6.8 (2222.26 seconds) Cbc0010I After 27500 nodes, 7354 on tree, 1e+50 best solution, best possible 6.8 (2231.85 seconds) Cbc0010I After 27600 nodes, 7396 on tree, 1e+50 best solution, best possible 6.8 (2243.38 seconds) Cbc0010I After 27700 nodes, 7434 on tree, 1e+50 best solution, best possible 6.8 (2254.30 seconds) Cbc0010I After 27800 nodes, 7474 on tree, 1e+50 best solution, best possible 6.8 (2267.04 seconds) Cbc0010I After 27900 nodes, 7518 on tree, 1e+50 best solution, best possible 6.8 (2276.26 seconds) Cbc0010I After 28000 nodes, 7563 on tree, 1e+50 best solution, best possible 6.8 (2287.21 seconds) Cbc0010I After 28100 nodes, 7602 on tree, 1e+50 best solution, best possible 6.8 (2296.48 seconds) Cbc0010I After 28200 nodes, 7649 on tree, 1e+50 best solution, best possible 6.8 (2307.99 seconds) Cbc0010I After 28300 nodes, 7701 on tree, 1e+50 best solution, best possible 6.8 (2319.70 seconds) Cbc0010I After 28400 nodes, 7746 on tree, 1e+50 best solution, best possible 6.8 (2331.62 seconds) Cbc0010I After 28500 nodes, 7796 on tree, 1e+50 best solution, best possible 6.8 (2342.08 seconds) Cbc0010I After 28600 nodes, 7842 on tree, 1e+50 best solution, best possible 6.8 (2351.51 seconds) Cbc0010I After 28700 nodes, 7880 on tree, 1e+50 best solution, best possible 6.8 (2361.50 seconds) Cbc0010I After 28800 nodes, 7924 on tree, 1e+50 best solution, best possible 6.8 (2372.50 seconds) Cbc0010I After 28900 nodes, 7962 on tree, 1e+50 best solution, best possible 6.8 (2383.18 seconds) Cbc0010I After 29000 nodes, 8008 on tree, 1e+50 best solution, best possible 6.8 (2394.19 seconds) Cbc0010I After 29100 nodes, 8054 on tree, 1e+50 best solution, best possible 6.8 (2405.71 seconds) Cbc0010I After 29200 nodes, 8100 on tree, 1e+50 best solution, best possible 6.8 (2415.43 seconds) Cbc0010I After 29300 nodes, 8150 on tree, 1e+50 best solution, best possible 6.8 (2425.61 seconds) Cbc0010I After 29400 nodes, 8195 on tree, 1e+50 best solution, best possible 6.8 (2433.37 seconds) Cbc0010I After 29500 nodes, 8240 on tree, 1e+50 best solution, best possible 6.8 (2446.71 seconds) Cbc0010I After 29600 nodes, 8285 on tree, 1e+50 best solution, best possible 6.8 (2457.54 seconds) Cbc0010I After 29700 nodes, 8329 on tree, 1e+50 best solution, best possible 6.8 (2468.37 seconds) Cbc0010I After 29800 nodes, 8372 on tree, 1e+50 best solution, best possible 6.8 (2479.47 seconds) Cbc0010I After 29900 nodes, 8421 on tree, 1e+50 best solution, best possible 6.8 (2488.12 seconds) Cbc0010I After 30000 nodes, 8465 on tree, 1e+50 best solution, best possible 6.8 (2497.93 seconds) Cbc0010I After 30100 nodes, 8513 on tree, 1e+50 best solution, best possible 6.8 (2508.05 seconds) Cbc0010I After 30200 nodes, 8562 on tree, 1e+50 best solution, best possible 6.8 (2520.79 seconds) Cbc0010I After 30300 nodes, 8608 on tree, 1e+50 best solution, best possible 6.8 (2530.47 seconds) Cbc0010I After 30400 nodes, 8659 on tree, 1e+50 best solution, best possible 6.8 (2542.31 seconds) Cbc0010I After 30500 nodes, 8695 on tree, 1e+50 best solution, best possible 6.8 (2552.56 seconds) Cbc0010I After 30600 nodes, 8741 on tree, 1e+50 best solution, best possible 6.8 (2561.63 seconds) Cbc0010I After 30700 nodes, 8783 on tree, 1e+50 best solution, best possible 6.8 (2570.62 seconds) Cbc0010I After 30800 nodes, 8825 on tree, 1e+50 best solution, best possible 6.8 (2581.09 seconds) Cbc0010I After 30900 nodes, 8866 on tree, 1e+50 best solution, best possible 6.8 (2592.26 seconds) Cbc0010I After 31000 nodes, 8905 on tree, 1e+50 best solution, best possible 6.8 (2602.45 seconds) Cbc0010I After 31100 nodes, 8955 on tree, 1e+50 best solution, best possible 6.8 (2614.10 seconds) Cbc0010I After 31200 nodes, 9000 on tree, 1e+50 best solution, best possible 6.8 (2624.38 seconds) Cbc0010I After 31300 nodes, 9046 on tree, 1e+50 best solution, best possible 6.8 (2633.77 seconds) Cbc0010I After 31400 nodes, 9085 on tree, 1e+50 best solution, best possible 6.8 (2642.61 seconds) Cbc0010I After 31500 nodes, 9129 on tree, 1e+50 best solution, best possible 6.8 (2654.17 seconds) Cbc0010I After 31600 nodes, 9176 on tree, 1e+50 best solution, best possible 6.8 (2664.92 seconds) Cbc0010I After 31700 nodes, 9223 on tree, 1e+50 best solution, best possible 6.8 (2675.16 seconds) Cbc0010I After 31800 nodes, 9275 on tree, 1e+50 best solution, best possible 6.8 (2685.81 seconds) Cbc0010I After 31900 nodes, 9319 on tree, 1e+50 best solution, best possible 6.8 (2696.13 seconds) Cbc0010I After 32000 nodes, 9369 on tree, 1e+50 best solution, best possible 6.8 (2705.78 seconds) Cbc0010I After 32100 nodes, 9410 on tree, 1e+50 best solution, best possible 6.8 (2714.58 seconds) Cbc0010I After 32200 nodes, 9448 on tree, 1e+50 best solution, best possible 6.8 (2727.35 seconds) Cbc0010I After 32300 nodes, 9493 on tree, 1e+50 best solution, best possible 6.8 (2737.28 seconds) Cbc0010I After 32400 nodes, 9536 on tree, 1e+50 best solution, best possible 6.8 (2747.25 seconds) Cbc0010I After 32500 nodes, 9579 on tree, 1e+50 best solution, best possible 6.8 (2758.53 seconds) Cbc0010I After 32600 nodes, 9621 on tree, 1e+50 best solution, best possible 6.8 (2768.41 seconds) Cbc0010I After 32700 nodes, 9672 on tree, 1e+50 best solution, best possible 6.8 (2776.65 seconds) Cbc0010I After 32800 nodes, 9712 on tree, 1e+50 best solution, best possible 6.8 (2785.63 seconds) Cbc0010I After 32900 nodes, 9756 on tree, 1e+50 best solution, best possible 6.8 (2797.50 seconds) Cbc0010I After 33000 nodes, 9797 on tree, 1e+50 best solution, best possible 6.8 (2807.71 seconds) Cbc0010I After 33100 nodes, 9837 on tree, 1e+50 best solution, best possible 6.8 (2817.09 seconds) Cbc0010I After 33200 nodes, 9885 on tree, 1e+50 best solution, best possible 6.8 (2827.76 seconds) Cbc0010I After 33300 nodes, 9933 on tree, 1e+50 best solution, best possible 6.8 (2838.25 seconds) Cbc0010I After 33400 nodes, 9973 on tree, 1e+50 best solution, best possible 6.8 (2846.42 seconds) Cbc0010I After 33500 nodes, 10020 on tree, 1e+50 best solution, best possible 6.8 (2856.33 seconds) Cbc0010I After 33600 nodes, 10060 on tree, 1e+50 best solution, best possible 6.8 (2867.49 seconds) Cbc0010I After 33700 nodes, 10098 on tree, 1e+50 best solution, best possible 6.8 (2878.74 seconds) Cbc0010I After 33800 nodes, 10136 on tree, 1e+50 best solution, best possible 6.8 (2888.18 seconds) Cbc0010I After 33900 nodes, 10182 on tree, 1e+50 best solution, best possible 6.8 (2899.03 seconds) Cbc0010I After 34000 nodes, 10228 on tree, 1e+50 best solution, best possible 6.8 (2909.81 seconds) Cbc0010I After 34100 nodes, 10267 on tree, 1e+50 best solution, best possible 6.8 (2919.40 seconds) Cbc0010I After 34200 nodes, 10310 on tree, 1e+50 best solution, best possible 6.8 (2929.42 seconds) Cbc0010I After 34300 nodes, 10357 on tree, 1e+50 best solution, best possible 6.8 (2938.42 seconds) Cbc0010I After 34400 nodes, 10405 on tree, 1e+50 best solution, best possible 6.8 (2951.29 seconds) Cbc0010I After 34500 nodes, 10448 on tree, 1e+50 best solution, best possible 6.8 (2961.09 seconds) Cbc0010I After 34600 nodes, 10492 on tree, 1e+50 best solution, best possible 6.8 (2971.33 seconds) Cbc0010I After 34700 nodes, 10534 on tree, 1e+50 best solution, best possible 6.8 (2982.40 seconds) Cbc0010I After 34800 nodes, 10576 on tree, 1e+50 best solution, best possible 6.8 (2992.58 seconds) Cbc0010I After 34900 nodes, 10622 on tree, 1e+50 best solution, best possible 6.8 (3001.18 seconds) Cbc0010I After 35000 nodes, 10662 on tree, 1e+50 best solution, best possible 6.8 (3009.70 seconds) Cbc0010I After 35100 nodes, 10710 on tree, 1e+50 best solution, best possible 6.8 (3022.43 seconds) Cbc0010I After 35200 nodes, 10757 on tree, 1e+50 best solution, best possible 6.8 (3032.77 seconds) Cbc0010I After 35300 nodes, 10804 on tree, 1e+50 best solution, best possible 6.8 (3042.32 seconds) Cbc0010I After 35400 nodes, 10853 on tree, 1e+50 best solution, best possible 6.8 (3053.49 seconds) Cbc0010I After 35500 nodes, 10902 on tree, 1e+50 best solution, best possible 6.8 (3064.09 seconds) Cbc0010I After 35600 nodes, 10947 on tree, 1e+50 best solution, best possible 6.8 (3072.50 seconds) Cbc0010I After 35700 nodes, 10998 on tree, 1e+50 best solution, best possible 6.8 (3083.57 seconds) Cbc0010I After 35800 nodes, 11042 on tree, 1e+50 best solution, best possible 6.8 (3092.41 seconds) Cbc0010I After 35900 nodes, 11089 on tree, 1e+50 best solution, best possible 6.8 (3104.10 seconds) Cbc0010I After 36000 nodes, 11132 on tree, 1e+50 best solution, best possible 6.8 (3114.53 seconds) Cbc0010I After 36100 nodes, 11131 on tree, 1e+50 best solution, best possible 6.8 (3115.52 seconds) Cbc0010I After 36200 nodes, 11139 on tree, 1e+50 best solution, best possible 6.8 (3116.77 seconds) Cbc0010I After 36300 nodes, 11136 on tree, 1e+50 best solution, best possible 6.8 (3117.98 seconds) Cbc0010I After 36400 nodes, 11137 on tree, 1e+50 best solution, best possible 6.8 (3119.13 seconds) Cbc0010I After 36500 nodes, 11136 on tree, 1e+50 best solution, best possible 6.8 (3120.30 seconds) Cbc0010I After 36600 nodes, 11134 on tree, 1e+50 best solution, best possible 6.8 (3121.59 seconds) Cbc0010I After 36700 nodes, 11137 on tree, 1e+50 best solution, best possible 6.8 (3122.86 seconds) Cbc0010I After 36800 nodes, 11132 on tree, 1e+50 best solution, best possible 6.8 (3123.95 seconds) Cbc0010I After 36900 nodes, 11135 on tree, 1e+50 best solution, best possible 6.8 (3125.12 seconds) Cbc0010I After 37000 nodes, 11134 on tree, 1e+50 best solution, best possible 6.8 (3126.40 seconds) Cbc0010I After 37100 nodes, 11174 on tree, 1e+50 best solution, best possible 6.8 (3135.64 seconds) Cbc0010I After 37200 nodes, 11226 on tree, 1e+50 best solution, best possible 6.8 (3147.73 seconds) Cbc0010I After 37300 nodes, 11270 on tree, 1e+50 best solution, best possible 6.8 (3157.45 seconds) Cbc0010I After 37400 nodes, 11306 on tree, 1e+50 best solution, best possible 6.8 (3165.40 seconds) Cbc0010I After 37500 nodes, 11352 on tree, 1e+50 best solution, best possible 6.8 (3175.15 seconds) Cbc0010I After 37600 nodes, 11394 on tree, 1e+50 best solution, best possible 6.8 (3184.47 seconds) Cbc0010I After 37700 nodes, 11441 on tree, 1e+50 best solution, best possible 6.8 (3195.50 seconds) Cbc0010I After 37800 nodes, 11480 on tree, 1e+50 best solution, best possible 6.8 (3204.96 seconds) Cbc0010I After 37900 nodes, 11527 on tree, 1e+50 best solution, best possible 6.8 (3214.94 seconds) Cbc0010I After 38000 nodes, 11568 on tree, 1e+50 best solution, best possible 6.8 (3226.51 seconds) Cbc0010I After 38100 nodes, 11611 on tree, 1e+50 best solution, best possible 6.8 (3235.72 seconds) Cbc0010I After 38200 nodes, 11659 on tree, 1e+50 best solution, best possible 6.8 (3243.33 seconds) Cbc0010I After 38300 nodes, 11704 on tree, 1e+50 best solution, best possible 6.8 (3252.35 seconds) Cbc0010I After 38400 nodes, 11744 on tree, 1e+50 best solution, best possible 6.8 (3262.36 seconds) Cbc0010I After 38500 nodes, 11783 on tree, 1e+50 best solution, best possible 6.8 (3272.86 seconds) Cbc0010I After 38600 nodes, 11829 on tree, 1e+50 best solution, best possible 6.8 (3281.95 seconds) Cbc0010I After 38700 nodes, 11876 on tree, 1e+50 best solution, best possible 6.8 (3292.48 seconds) Cbc0010I After 38800 nodes, 11917 on tree, 1e+50 best solution, best possible 6.8 (3302.75 seconds) Cbc0010I After 38900 nodes, 11963 on tree, 1e+50 best solution, best possible 6.8 (3311.28 seconds) Cbc0010I After 39000 nodes, 12005 on tree, 1e+50 best solution, best possible 6.8 (3320.62 seconds) Cbc0010I After 39100 nodes, 12046 on tree, 1e+50 best solution, best possible 6.8 (3329.80 seconds) Cbc0010I After 39200 nodes, 12089 on tree, 1e+50 best solution, best possible 6.8 (3340.40 seconds) Cbc0010I After 39300 nodes, 12131 on tree, 1e+50 best solution, best possible 6.8 (3350.09 seconds) Cbc0010I After 39400 nodes, 12173 on tree, 1e+50 best solution, best possible 6.8 (3359.99 seconds) Cbc0010I After 39500 nodes, 12221 on tree, 1e+50 best solution, best possible 6.8 (3371.34 seconds) Cbc0010I After 39600 nodes, 12264 on tree, 1e+50 best solution, best possible 6.8 (3381.17 seconds) Cbc0010I After 39700 nodes, 12310 on tree, 1e+50 best solution, best possible 6.8 (3389.44 seconds) Cbc0010I After 39800 nodes, 12349 on tree, 1e+50 best solution, best possible 6.8 (3398.96 seconds) Cbc0010I After 39900 nodes, 12394 on tree, 1e+50 best solution, best possible 6.8 (3408.21 seconds) Cbc0010I After 40000 nodes, 12437 on tree, 1e+50 best solution, best possible 6.8 (3418.49 seconds) Cbc0010I After 40100 nodes, 12438 on tree, 1e+50 best solution, best possible 6.8 (3419.75 seconds) Cbc0010I After 40200 nodes, 12443 on tree, 1e+50 best solution, best possible 6.8 (3421.07 seconds) Cbc0010I After 40300 nodes, 12446 on tree, 1e+50 best solution, best possible 6.8 (3422.43 seconds) Cbc0010I After 40400 nodes, 12442 on tree, 1e+50 best solution, best possible 6.8 (3423.34 seconds) Cbc0010I After 40500 nodes, 12452 on tree, 1e+50 best solution, best possible 6.8 (3424.67 seconds) Cbc0010I After 40600 nodes, 12447 on tree, 1e+50 best solution, best possible 6.8 (3425.76 seconds) Cbc0010I After 40700 nodes, 12448 on tree, 1e+50 best solution, best possible 6.8 (3426.81 seconds) Cbc0010I After 40800 nodes, 12445 on tree, 1e+50 best solution, best possible 6.8 (3427.98 seconds) Cbc0010I After 40900 nodes, 12455 on tree, 1e+50 best solution, best possible 6.8 (3429.12 seconds) Cbc0010I After 41000 nodes, 12457 on tree, 1e+50 best solution, best possible 6.8 (3430.53 seconds) Cbc0010I After 41100 nodes, 12503 on tree, 1e+50 best solution, best possible 6.8 (3439.32 seconds) Cbc0010I After 41200 nodes, 12545 on tree, 1e+50 best solution, best possible 6.8 (3451.52 seconds) Cbc0010I After 41300 nodes, 12590 on tree, 1e+50 best solution, best possible 6.8 (3461.66 seconds) Cbc0010I After 41400 nodes, 12632 on tree, 1e+50 best solution, best possible 6.8 (3469.67 seconds) Cbc0010I After 41500 nodes, 12676 on tree, 1e+50 best solution, best possible 6.8 (3479.24 seconds) Cbc0010I After 41600 nodes, 12710 on tree, 1e+50 best solution, best possible 6.8 (3488.14 seconds) Cbc0010I After 41700 nodes, 12747 on tree, 1e+50 best solution, best possible 6.8 (3497.76 seconds) Cbc0010I After 41800 nodes, 12779 on tree, 1e+50 best solution, best possible 6.8 (3506.58 seconds) Cbc0010I After 41900 nodes, 12815 on tree, 1e+50 best solution, best possible 6.8 (3516.69 seconds) Cbc0010I After 42000 nodes, 12842 on tree, 1e+50 best solution, best possible 6.8 (3526.12 seconds) Cbc0010I After 42100 nodes, 12879 on tree, 1e+50 best solution, best possible 6.8 (3535.36 seconds) Cbc0010I After 42200 nodes, 12912 on tree, 1e+50 best solution, best possible 6.8 (3542.84 seconds) Cbc0010I After 42300 nodes, 12946 on tree, 1e+50 best solution, best possible 6.8 (3551.29 seconds) Cbc0010I After 42400 nodes, 12985 on tree, 1e+50 best solution, best possible 6.8 (3562.11 seconds) Cbc0010I After 42500 nodes, 13016 on tree, 1e+50 best solution, best possible 6.8 (3570.92 seconds) Cbc0010I After 42600 nodes, 13053 on tree, 1e+50 best solution, best possible 6.8 (3579.41 seconds) Cbc0010I After 42700 nodes, 13095 on tree, 1e+50 best solution, best possible 6.8 (3590.02 seconds) Cbc0020I Exiting on maximum time Cbc0005I Partial search - best objective 1e+50 (best possible 6.8), took 7016944 iterations and 42800 nodes (3601.57 seconds) Cbc0032I Strong branching done 10914 times (257235 iterations), fathomed 16 nodes and fixed 1876 variables Cbc0035I Maximum depth 90, 0 variables fixed on reduced cost Mixed Integer Gomory was tried 37882 times and created 87215 cuts of which 40384 were active after adding rounds of cuts Probing was tried 37882 times and created 376744 cuts of which 157230 were active after adding rounds of cuts Mixed Integer Rounding was tried 37202 times and created 109033 cuts of which 7096 were active after adding rounds of cuts Cover was tried 37202 times and created 220597 cuts of which 804 were active after adding rounds of cuts Clique was tried 54 times and created 6 cuts of which 1 were active after adding rounds of cuts Flow Covers was tried 54 times and created 2 cuts of which 0 were active after adding rounds of cuts Outer Approximation feasibility check. was tried 113 times and created 1561 cuts of which 0 were active after adding rounds of cuts implication was tried 18910 times and created 201806 cuts of which 45 were active after adding rounds of cuts Time limit exceeded. Bonmin finished. No feasible point found. Best possible: 6.8 GAMS/Bonmin finished. --- Restarting execution --- tls12.gms(1941) 0 Mb --- Reading solution for model m *** Status: Normal completion --- Job tls12.gms Stop 09/06/08 17:07:15 elapsed 1:00:23.494