--- Job tls12 Start 09/06/08 11:41:17 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.027 --- 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.055 GAMS/Bonmin MINLP Solver (Bonmin Library 0.99) written by P. Bonami List of user-set options: Name Value used bonmin.algorithm = B-Hyb 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.136009 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 (NLP solution based oa cuts) - 0 row cuts, 0 column cuts (0 active) Cbc0014I Cut generator 1 (Mixed Integer Gomory) - 289 row cuts, 0 column cuts (41 active) Cbc0014I Cut generator 2 (Probing) - 483 row cuts, 164 column cuts (2 active) Cbc0014I Cut generator 3 (Mixed Integer Rounding) - 57 row cuts, 0 column cuts (0 active) Cbc0014I Cut generator 4 (Cover) - 138 row cuts, 0 column cuts (0 active) Cbc0014I Cut generator 5 (Clique) - 0 row cuts, 0 column cuts (0 active) Cbc0014I Cut generator 6 (Flow Covers) - 0 row cuts, 0 column cuts (0 active) Cbc0014I Cut generator 7 (Outer Approximation decomposition.) - 0 row cuts, 0 column cuts (0 active) Cbc0014I Cut generator 8 (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.18 seconds) NLP0013I 2 OPT 8.741118707990271 16 0.068004 NLP0013I 3 OPT 8.058604773260443 19 0.080005 NLP0013I 4 OPT 7.704979285398531 18 0.076005 NLP0013I 5 OPT 7.385347495884178 18 0.080005 NLP0013I 6 OPT 7.354193526048993 18 0.076004 NLP0013I 7 OPT 7.929114812378969 19 0.080005 NLP0013I 8 OPT 14.98025316913864 18 0.080005 NLP0013I 9 OPT 16.34048990427563 21 0.092005 NLP0013I 10 OPT 15.0261103333843 18 0.076005 NLP0013I 11 OPT 14.67565625311716 17 0.076004 Cbc0010I After 100 nodes, 47 on tree, 1e+50 best solution, best possible 5.06953 (37.21 seconds) NLP0013I 12 OPT 13.1633833453588 18 0.072004 NLP0013I 13 OPT 11.58868064025745 20 0.076005 NLP0013I 14 OPT 15.59200186178123 18 0.080005 NLP0013I 15 OPT 24.31731125459171 21 0.088005 NLP0013I 16 OPT 18.8983428869927 23 0.092006 NLP0013I 17 OPT 15.47823019730358 19 0.080005 Cbc0010I After 200 nodes, 94 on tree, 1e+50 best solution, best possible 5.06953 (43.52 seconds) Cbc0010I After 300 nodes, 144 on tree, 1e+50 best solution, best possible 5.06953 (46.37 seconds) Cbc0010I After 400 nodes, 138 on tree, 1e+50 best solution, best possible 5.06953 (49.26 seconds) Cbc0010I After 500 nodes, 186 on tree, 1e+50 best solution, best possible 5.06953 (52.54 seconds) Cbc0010I After 600 nodes, 207 on tree, 1e+50 best solution, best possible 5.06953 (54.18 seconds) Cbc0010I After 700 nodes, 227 on tree, 1e+50 best solution, best possible 5.06953 (61.72 seconds) Cbc0010I After 800 nodes, 227 on tree, 1e+50 best solution, best possible 5.06953 (64.29 seconds) Cbc0010I After 900 nodes, 232 on tree, 1e+50 best solution, best possible 5.06953 (66.18 seconds) Cbc0010I After 1000 nodes, 228 on tree, 1e+50 best solution, best possible 5.06953 (68.20 seconds) Cbc0010I After 1100 nodes, 225 on tree, 1e+50 best solution, best possible 5.06953 (70.45 seconds) Cbc0010I After 1200 nodes, 236 on tree, 1e+50 best solution, best possible 5.06953 (71.96 seconds) Cbc0010I After 1300 nodes, 236 on tree, 1e+50 best solution, best possible 5.06953 (73.38 seconds) Cbc0010I After 1400 nodes, 233 on tree, 1e+50 best solution, best possible 5.06953 (74.82 seconds) Cbc0010I After 1500 nodes, 243 on tree, 1e+50 best solution, best possible 5.06953 (76.50 seconds) Cbc0010I After 1600 nodes, 234 on tree, 1e+50 best solution, best possible 5.06953 (78.18 seconds) Cbc0010I After 1700 nodes, 239 on tree, 1e+50 best solution, best possible 5.06953 (79.74 seconds) Cbc0010I After 1800 nodes, 247 on tree, 1e+50 best solution, best possible 5.06953 (81.62 seconds) Cbc0010I After 1900 nodes, 276 on tree, 1e+50 best solution, best possible 5.06953 (84.26 seconds) Cbc0010I After 2000 nodes, 313 on tree, 1e+50 best solution, best possible 5.06953 (88.26 seconds) Cbc0010I After 2100 nodes, 328 on tree, 1e+50 best solution, best possible 5.06953 (90.38 seconds) Cbc0010I After 2200 nodes, 333 on tree, 1e+50 best solution, best possible 5.06953 (93.33 seconds) Cbc0010I After 2300 nodes, 353 on tree, 1e+50 best solution, best possible 5.06953 (95.28 seconds) Cbc0010I After 2400 nodes, 365 on tree, 1e+50 best solution, best possible 5.06953 (97.20 seconds) Cbc0010I After 2500 nodes, 392 on tree, 1e+50 best solution, best possible 5.06953 (99.15 seconds) Cbc0010I After 2600 nodes, 406 on tree, 1e+50 best solution, best possible 5.06953 (100.79 seconds) Cbc0010I After 2700 nodes, 430 on tree, 1e+50 best solution, best possible 5.06953 (102.48 seconds) Cbc0010I After 2800 nodes, 470 on tree, 1e+50 best solution, best possible 5.06953 (104.51 seconds) Cbc0010I After 2900 nodes, 490 on tree, 1e+50 best solution, best possible 5.06953 (110.94 seconds) Cbc0010I After 3000 nodes, 509 on tree, 1e+50 best solution, best possible 5.06953 (113.14 seconds) Cbc0010I After 3100 nodes, 464 on tree, 1e+50 best solution, best possible 5.06953 (115.37 seconds) Cbc0010I After 3200 nodes, 471 on tree, 1e+50 best solution, best possible 5.06953 (117.45 seconds) Cbc0010I After 3300 nodes, 482 on tree, 1e+50 best solution, best possible 5.06953 (119.31 seconds) Cbc0010I After 3400 nodes, 485 on tree, 1e+50 best solution, best possible 5.06953 (123.74 seconds) Cbc0010I After 3500 nodes, 483 on tree, 1e+50 best solution, best possible 5.06953 (125.34 seconds) Cbc0010I After 3600 nodes, 476 on tree, 1e+50 best solution, best possible 5.06953 (129.07 seconds) Cbc0010I After 3700 nodes, 479 on tree, 1e+50 best solution, best possible 5.06953 (131.35 seconds) Cbc0010I After 3800 nodes, 477 on tree, 1e+50 best solution, best possible 5.06953 (133.12 seconds) Cbc0010I After 3900 nodes, 486 on tree, 1e+50 best solution, best possible 5.06953 (134.54 seconds) Cbc0010I After 4000 nodes, 481 on tree, 1e+50 best solution, best possible 5.06953 (136.53 seconds) Cbc0010I After 4100 nodes, 489 on tree, 1e+50 best solution, best possible 5.06953 (138.20 seconds) Cbc0010I After 4200 nodes, 528 on tree, 1e+50 best solution, best possible 5.06953 (140.47 seconds) Cbc0010I After 4300 nodes, 527 on tree, 1e+50 best solution, best possible 5.06953 (142.18 seconds) Cbc0010I After 4400 nodes, 545 on tree, 1e+50 best solution, best possible 5.06953 (143.64 seconds) Cbc0010I After 4500 nodes, 560 on tree, 1e+50 best solution, best possible 5.06953 (145.06 seconds) Cbc0010I After 4600 nodes, 557 on tree, 1e+50 best solution, best possible 5.06953 (146.47 seconds) Cbc0010I After 4700 nodes, 565 on tree, 1e+50 best solution, best possible 5.06953 (147.94 seconds) Cbc0010I After 4800 nodes, 563 on tree, 1e+50 best solution, best possible 5.06953 (149.40 seconds) Cbc0010I After 4900 nodes, 578 on tree, 1e+50 best solution, best possible 5.06953 (151.98 seconds) Cbc0010I After 5000 nodes, 581 on tree, 1e+50 best solution, best possible 5.06953 (153.70 seconds) Cbc0010I After 5100 nodes, 585 on tree, 1e+50 best solution, best possible 5.06953 (155.17 seconds) Cbc0010I After 5200 nodes, 581 on tree, 1e+50 best solution, best possible 5.06953 (156.64 seconds) Cbc0010I After 5300 nodes, 578 on tree, 1e+50 best solution, best possible 5.06953 (158.07 seconds) Cbc0010I After 5400 nodes, 586 on tree, 1e+50 best solution, best possible 5.06953 (159.60 seconds) Cbc0010I After 5500 nodes, 606 on tree, 1e+50 best solution, best possible 5.06953 (161.38 seconds) Cbc0010I After 5600 nodes, 605 on tree, 1e+50 best solution, best possible 5.06953 (163.21 seconds) Cbc0010I After 5700 nodes, 608 on tree, 1e+50 best solution, best possible 5.06953 (164.55 seconds) Cbc0010I After 5800 nodes, 610 on tree, 1e+50 best solution, best possible 5.06953 (165.80 seconds) Cbc0010I After 5900 nodes, 617 on tree, 1e+50 best solution, best possible 5.06953 (167.19 seconds) Cbc0010I After 6000 nodes, 639 on tree, 1e+50 best solution, best possible 5.06953 (168.67 seconds) Cbc0010I After 6100 nodes, 647 on tree, 1e+50 best solution, best possible 5.06953 (170.17 seconds) Cbc0010I After 6200 nodes, 648 on tree, 1e+50 best solution, best possible 5.06953 (171.59 seconds) Cbc0010I After 6300 nodes, 648 on tree, 1e+50 best solution, best possible 5.06953 (172.95 seconds) Cbc0010I After 6400 nodes, 655 on tree, 1e+50 best solution, best possible 5.06953 (174.26 seconds) Cbc0010I After 6500 nodes, 652 on tree, 1e+50 best solution, best possible 5.06953 (175.63 seconds) Cbc0010I After 6600 nodes, 658 on tree, 1e+50 best solution, best possible 5.06953 (177.14 seconds) Cbc0010I After 6700 nodes, 665 on tree, 1e+50 best solution, best possible 5.06953 (178.76 seconds) Cbc0010I After 6800 nodes, 656 on tree, 1e+50 best solution, best possible 5.06953 (180.22 seconds) Cbc0010I After 6900 nodes, 661 on tree, 1e+50 best solution, best possible 5.06953 (181.74 seconds) Cbc0010I After 7000 nodes, 650 on tree, 1e+50 best solution, best possible 5.06953 (183.18 seconds) Cbc0010I After 7100 nodes, 646 on tree, 1e+50 best solution, best possible 5.06953 (184.66 seconds) Cbc0010I After 7200 nodes, 636 on tree, 1e+50 best solution, best possible 5.06953 (185.97 seconds) Cbc0010I After 7300 nodes, 638 on tree, 1e+50 best solution, best possible 5.06953 (187.49 seconds) Cbc0010I After 7400 nodes, 646 on tree, 1e+50 best solution, best possible 5.06953 (188.98 seconds) Cbc0010I After 7500 nodes, 647 on tree, 1e+50 best solution, best possible 5.06953 (190.34 seconds) Cbc0010I After 7600 nodes, 661 on tree, 1e+50 best solution, best possible 5.06953 (191.76 seconds) Cbc0010I After 7700 nodes, 666 on tree, 1e+50 best solution, best possible 5.06953 (193.36 seconds) Cbc0010I After 7800 nodes, 663 on tree, 1e+50 best solution, best possible 5.06953 (194.94 seconds) Cbc0010I After 7900 nodes, 659 on tree, 1e+50 best solution, best possible 5.06953 (196.38 seconds) Cbc0010I After 8000 nodes, 657 on tree, 1e+50 best solution, best possible 5.06953 (197.79 seconds) Cbc0010I After 8100 nodes, 651 on tree, 1e+50 best solution, best possible 5.06953 (199.30 seconds) Cbc0010I After 8200 nodes, 654 on tree, 1e+50 best solution, best possible 5.06953 (200.88 seconds) Cbc0010I After 8300 nodes, 654 on tree, 1e+50 best solution, best possible 5.06953 (202.24 seconds) Cbc0010I After 8400 nodes, 657 on tree, 1e+50 best solution, best possible 5.06953 (203.69 seconds) Cbc0010I After 8500 nodes, 688 on tree, 1e+50 best solution, best possible 5.06953 (206.04 seconds) Cbc0010I After 8600 nodes, 693 on tree, 1e+50 best solution, best possible 5.06953 (207.66 seconds) Cbc0010I After 8700 nodes, 718 on tree, 1e+50 best solution, best possible 5.06953 (209.44 seconds) Cbc0010I After 8800 nodes, 726 on tree, 1e+50 best solution, best possible 5.06953 (211.07 seconds) Cbc0010I After 8900 nodes, 727 on tree, 1e+50 best solution, best possible 5.06953 (212.72 seconds) Cbc0010I After 9000 nodes, 757 on tree, 1e+50 best solution, best possible 5.06953 (214.47 seconds) Cbc0010I After 9100 nodes, 748 on tree, 1e+50 best solution, best possible 5.06953 (216.38 seconds) Cbc0010I After 9200 nodes, 743 on tree, 1e+50 best solution, best possible 5.06953 (218.00 seconds) Cbc0010I After 9300 nodes, 742 on tree, 1e+50 best solution, best possible 5.06953 (219.67 seconds) Cbc0010I After 9400 nodes, 736 on tree, 1e+50 best solution, best possible 5.06953 (221.67 seconds) Cbc0010I After 9500 nodes, 728 on tree, 1e+50 best solution, best possible 5.06953 (223.14 seconds) Cbc0010I After 9600 nodes, 717 on tree, 1e+50 best solution, best possible 5.06953 (224.49 seconds) Cbc0010I After 9700 nodes, 712 on tree, 1e+50 best solution, best possible 5.06953 (225.92 seconds) Cbc0010I After 9800 nodes, 710 on tree, 1e+50 best solution, best possible 5.06953 (227.24 seconds) Cbc0010I After 9900 nodes, 715 on tree, 1e+50 best solution, best possible 5.06953 (228.90 seconds) Cbc0010I After 10000 nodes, 715 on tree, 1e+50 best solution, best possible 5.06953 (230.47 seconds) Cbc0010I After 10100 nodes, 710 on tree, 1e+50 best solution, best possible 5.06953 (231.84 seconds) Cbc0010I After 10200 nodes, 711 on tree, 1e+50 best solution, best possible 5.06953 (233.38 seconds) Cbc0010I After 10300 nodes, 704 on tree, 1e+50 best solution, best possible 5.06953 (235.07 seconds) Cbc0010I After 10400 nodes, 706 on tree, 1e+50 best solution, best possible 5.06953 (236.88 seconds) Cbc0010I After 10500 nodes, 696 on tree, 1e+50 best solution, best possible 5.06953 (238.42 seconds) Cbc0010I After 10600 nodes, 723 on tree, 1e+50 best solution, best possible 5.06953 (241.74 seconds) Cbc0010I After 10700 nodes, 725 on tree, 1e+50 best solution, best possible 5.06953 (245.85 seconds) Cbc0010I After 10800 nodes, 724 on tree, 1e+50 best solution, best possible 5.06953 (251.95 seconds) Cbc0010I After 10900 nodes, 735 on tree, 1e+50 best solution, best possible 5.06953 (253.70 seconds) Cbc0010I After 11000 nodes, 729 on tree, 1e+50 best solution, best possible 5.06953 (255.31 seconds) Cbc0010I After 11100 nodes, 773 on tree, 1e+50 best solution, best possible 5.79198 (272.53 seconds) Cbc0010I After 11200 nodes, 818 on tree, 1e+50 best solution, best possible 6.1615 (290.11 seconds) Cbc0010I After 11300 nodes, 864 on tree, 1e+50 best solution, best possible 6.35187 (305.94 seconds) Cbc0010I After 11400 nodes, 910 on tree, 1e+50 best solution, best possible 6.61262 (323.18 seconds) Cbc0010I After 11500 nodes, 958 on tree, 1e+50 best solution, best possible 6.72946 (338.06 seconds) Cbc0010I After 11600 nodes, 1002 on tree, 1e+50 best solution, best possible 6.84521 (350.82 seconds) Cbc0010I After 11700 nodes, 1046 on tree, 1e+50 best solution, best possible 6.95623 (362.63 seconds) Cbc0010I After 11800 nodes, 1092 on tree, 1e+50 best solution, best possible 7.16815 (375.39 seconds) Cbc0010I After 11900 nodes, 1140 on tree, 1e+50 best solution, best possible 7.41736 (388.56 seconds) Cbc0010I After 12000 nodes, 1185 on tree, 1e+50 best solution, best possible 7.5105 (399.60 seconds) Cbc0010I After 12100 nodes, 1230 on tree, 1e+50 best solution, best possible 7.5872 (410.23 seconds) Cbc0010I After 12200 nodes, 1278 on tree, 1e+50 best solution, best possible 7.69279 (419.52 seconds) Cbc0010I After 12300 nodes, 1325 on tree, 1e+50 best solution, best possible 7.85256 (429.57 seconds) Cbc0010I After 12400 nodes, 1371 on tree, 1e+50 best solution, best possible 7.93579 (438.21 seconds) Cbc0010I After 12500 nodes, 1417 on tree, 1e+50 best solution, best possible 8.00972 (445.71 seconds) Cbc0010I After 12600 nodes, 1462 on tree, 1e+50 best solution, best possible 8.10957 (452.91 seconds) Cbc0010I After 12700 nodes, 1508 on tree, 1e+50 best solution, best possible 8.17934 (460.08 seconds) Cbc0010I After 12800 nodes, 1557 on tree, 1e+50 best solution, best possible 8.27965 (468.50 seconds) Cbc0010I After 12900 nodes, 1606 on tree, 1e+50 best solution, best possible 8.36425 (475.59 seconds) Cbc0010I After 13000 nodes, 1652 on tree, 1e+50 best solution, best possible 8.45931 (482.88 seconds) Cbc0010I After 13100 nodes, 1700 on tree, 1e+50 best solution, best possible 8.57004 (491.13 seconds) Cbc0010I After 13200 nodes, 1747 on tree, 1e+50 best solution, best possible 8.65064 (498.97 seconds) Cbc0010I After 13300 nodes, 1794 on tree, 1e+50 best solution, best possible 8.7 (506.39 seconds) Cbc0010I After 13400 nodes, 1835 on tree, 1e+50 best solution, best possible 8.7 (518.60 seconds) Cbc0010I After 13500 nodes, 1888 on tree, 1e+50 best solution, best possible 8.7 (533.13 seconds) Cbc0010I After 13600 nodes, 1933 on tree, 1e+50 best solution, best possible 8.7 (547.19 seconds) Cbc0010I After 13700 nodes, 1978 on tree, 1e+50 best solution, best possible 8.7 (561.06 seconds) Cbc0010I After 13800 nodes, 2023 on tree, 1e+50 best solution, best possible 8.7 (574.50 seconds) Cbc0010I After 13900 nodes, 2068 on tree, 1e+50 best solution, best possible 8.7 (587.75 seconds) Cbc0010I After 14000 nodes, 2112 on tree, 1e+50 best solution, best possible 8.7 (600.42 seconds) Cbc0010I After 14100 nodes, 2160 on tree, 1e+50 best solution, best possible 8.7 (612.56 seconds) Cbc0010I After 14200 nodes, 2201 on tree, 1e+50 best solution, best possible 8.7 (625.86 seconds) Cbc0010I After 14300 nodes, 2248 on tree, 1e+50 best solution, best possible 8.7 (638.01 seconds) Cbc0010I After 14400 nodes, 2298 on tree, 1e+50 best solution, best possible 8.7 (649.58 seconds) Cbc0010I After 14500 nodes, 2343 on tree, 1e+50 best solution, best possible 8.7 (662.80 seconds) Cbc0010I After 14600 nodes, 2391 on tree, 1e+50 best solution, best possible 8.7 (676.09 seconds) Cbc0010I After 14700 nodes, 2439 on tree, 1e+50 best solution, best possible 8.7 (688.42 seconds) Cbc0010I After 14800 nodes, 2489 on tree, 1e+50 best solution, best possible 8.7 (700.73 seconds) Cbc0010I After 14900 nodes, 2533 on tree, 1e+50 best solution, best possible 8.7 (711.92 seconds) Cbc0010I After 15000 nodes, 2579 on tree, 1e+50 best solution, best possible 8.7 (722.90 seconds) Cbc0010I After 15100 nodes, 2626 on tree, 1e+50 best solution, best possible 8.7 (733.79 seconds) Cbc0010I After 15200 nodes, 2671 on tree, 1e+50 best solution, best possible 8.7 (744.25 seconds) Cbc0010I After 15300 nodes, 2718 on tree, 1e+50 best solution, best possible 8.7 (755.70 seconds) Cbc0010I After 15400 nodes, 2766 on tree, 1e+50 best solution, best possible 8.7 (767.16 seconds) Cbc0010I After 15500 nodes, 2812 on tree, 1e+50 best solution, best possible 8.7 (778.97 seconds) Cbc0010I After 15600 nodes, 2856 on tree, 1e+50 best solution, best possible 8.7 (789.29 seconds) Cbc0010I After 15700 nodes, 2906 on tree, 1e+50 best solution, best possible 8.70503 (803.49 seconds) Cbc0010I After 15800 nodes, 2956 on tree, 1e+50 best solution, best possible 8.70843 (816.70 seconds) Cbc0010I After 15900 nodes, 3006 on tree, 1e+50 best solution, best possible 8.71051 (829.85 seconds) Cbc0010I After 16000 nodes, 3056 on tree, 1e+50 best solution, best possible 8.71213 (845.21 seconds) Cbc0010I After 16100 nodes, 3105 on tree, 1e+50 best solution, best possible 8.71339 (858.57 seconds) Cbc0010I After 16200 nodes, 3155 on tree, 1e+50 best solution, best possible 8.71459 (873.64 seconds) Cbc0010I After 16300 nodes, 3205 on tree, 1e+50 best solution, best possible 8.71577 (887.18 seconds) Cbc0010I After 16400 nodes, 3255 on tree, 1e+50 best solution, best possible 8.7173 (901.31 seconds) Cbc0010I After 16500 nodes, 3304 on tree, 1e+50 best solution, best possible 8.71866 (914.87 seconds) Cbc0010I After 16600 nodes, 3353 on tree, 1e+50 best solution, best possible 8.71997 (927.97 seconds) Cbc0010I After 16700 nodes, 3402 on tree, 1e+50 best solution, best possible 8.72106 (941.97 seconds) Cbc0010I After 16800 nodes, 3452 on tree, 1e+50 best solution, best possible 8.72228 (955.58 seconds) Cbc0010I After 16900 nodes, 3502 on tree, 1e+50 best solution, best possible 8.72351 (969.26 seconds) Cbc0010I After 17000 nodes, 3552 on tree, 1e+50 best solution, best possible 8.72473 (982.52 seconds) Cbc0010I After 17100 nodes, 3602 on tree, 1e+50 best solution, best possible 8.72628 (995.23 seconds) Cbc0010I After 17200 nodes, 3652 on tree, 1e+50 best solution, best possible 8.72739 (1009.62 seconds) Cbc0010I After 17300 nodes, 3702 on tree, 1e+50 best solution, best possible 8.72847 (1023.57 seconds) Cbc0010I After 17400 nodes, 3752 on tree, 1e+50 best solution, best possible 8.72962 (1036.61 seconds) Cbc0010I After 17500 nodes, 3802 on tree, 1e+50 best solution, best possible 8.73086 (1050.91 seconds) Cbc0010I After 17600 nodes, 3852 on tree, 1e+50 best solution, best possible 8.73185 (1064.47 seconds) Cbc0010I After 17700 nodes, 3902 on tree, 1e+50 best solution, best possible 8.7331 (1077.60 seconds) Cbc0010I After 17800 nodes, 3952 on tree, 1e+50 best solution, best possible 8.73432 (1090.18 seconds) Cbc0010I After 17900 nodes, 4001 on tree, 1e+50 best solution, best possible 8.73545 (1102.94 seconds) Cbc0010I After 18000 nodes, 4051 on tree, 1e+50 best solution, best possible 8.73674 (1116.97 seconds) Cbc0010I After 18100 nodes, 4101 on tree, 1e+50 best solution, best possible 8.73803 (1130.30 seconds) Cbc0010I After 18200 nodes, 4151 on tree, 1e+50 best solution, best possible 8.73904 (1144.31 seconds) Cbc0010I After 18300 nodes, 4201 on tree, 1e+50 best solution, best possible 8.7403 (1157.82 seconds) Cbc0010I After 18400 nodes, 4251 on tree, 1e+50 best solution, best possible 8.74162 (1172.43 seconds) Cbc0010I After 18500 nodes, 4301 on tree, 1e+50 best solution, best possible 8.74272 (1184.97 seconds) Cbc0010I After 18600 nodes, 4351 on tree, 1e+50 best solution, best possible 8.7438 (1199.29 seconds) Cbc0010I After 18700 nodes, 4401 on tree, 1e+50 best solution, best possible 8.74496 (1213.45 seconds) Cbc0010I After 18800 nodes, 4451 on tree, 1e+50 best solution, best possible 8.74605 (1226.86 seconds) Cbc0010I After 18900 nodes, 4501 on tree, 1e+50 best solution, best possible 8.74716 (1240.49 seconds) Cbc0010I After 19000 nodes, 4551 on tree, 1e+50 best solution, best possible 8.74827 (1254.01 seconds) Cbc0010I After 19100 nodes, 4601 on tree, 1e+50 best solution, best possible 8.74948 (1268.64 seconds) Cbc0010I After 19200 nodes, 4650 on tree, 1e+50 best solution, best possible 8.75078 (1282.90 seconds) Cbc0010I After 19300 nodes, 4700 on tree, 1e+50 best solution, best possible 8.75248 (1296.08 seconds) Cbc0010I After 19400 nodes, 4750 on tree, 1e+50 best solution, best possible 8.75436 (1309.79 seconds) Cbc0010I After 19500 nodes, 4800 on tree, 1e+50 best solution, best possible 8.75697 (1324.22 seconds) Cbc0010I After 19600 nodes, 4850 on tree, 1e+50 best solution, best possible 8.75945 (1338.65 seconds) Cbc0010I After 19700 nodes, 4900 on tree, 1e+50 best solution, best possible 8.76195 (1353.04 seconds) Cbc0010I After 19800 nodes, 4950 on tree, 1e+50 best solution, best possible 8.76399 (1366.95 seconds) Cbc0010I After 19900 nodes, 5000 on tree, 1e+50 best solution, best possible 8.76611 (1382.28 seconds) Cbc0010I After 20000 nodes, 5050 on tree, 1e+50 best solution, best possible 8.76861 (1396.64 seconds) Cbc0010I After 20100 nodes, 5100 on tree, 1e+50 best solution, best possible 8.77075 (1411.44 seconds) Cbc0010I After 20200 nodes, 5150 on tree, 1e+50 best solution, best possible 8.77294 (1425.31 seconds) Cbc0010I After 20300 nodes, 5200 on tree, 1e+50 best solution, best possible 8.7755 (1439.52 seconds) Cbc0010I After 20400 nodes, 5250 on tree, 1e+50 best solution, best possible 8.77764 (1453.12 seconds) Cbc0010I After 20500 nodes, 5300 on tree, 1e+50 best solution, best possible 8.7797 (1466.96 seconds) Cbc0010I After 20600 nodes, 5349 on tree, 1e+50 best solution, best possible 8.78182 (1480.40 seconds) Cbc0010I After 20700 nodes, 5399 on tree, 1e+50 best solution, best possible 8.78401 (1493.73 seconds) Cbc0010I After 20800 nodes, 5449 on tree, 1e+50 best solution, best possible 8.78592 (1507.27 seconds) Cbc0010I After 20900 nodes, 5499 on tree, 1e+50 best solution, best possible 8.78766 (1520.54 seconds) Cbc0010I After 21000 nodes, 5549 on tree, 1e+50 best solution, best possible 8.78939 (1535.18 seconds) Cbc0010I After 21100 nodes, 5599 on tree, 1e+50 best solution, best possible 8.79137 (1548.72 seconds) Cbc0010I After 21200 nodes, 5649 on tree, 1e+50 best solution, best possible 8.79338 (1562.01 seconds) Cbc0010I After 21300 nodes, 5698 on tree, 1e+50 best solution, best possible 8.79546 (1574.78 seconds) Cbc0010I After 21400 nodes, 5748 on tree, 1e+50 best solution, best possible 8.79706 (1587.68 seconds) Cbc0010I After 21500 nodes, 5798 on tree, 1e+50 best solution, best possible 8.79892 (1602.93 seconds) Cbc0010I After 21600 nodes, 5848 on tree, 1e+50 best solution, best possible 8.80087 (1615.23 seconds) Cbc0010I After 21700 nodes, 5898 on tree, 1e+50 best solution, best possible 8.80294 (1629.17 seconds) Cbc0010I After 21800 nodes, 5948 on tree, 1e+50 best solution, best possible 8.80459 (1643.13 seconds) Cbc0010I After 21900 nodes, 5998 on tree, 1e+50 best solution, best possible 8.80619 (1656.15 seconds) Cbc0010I After 22000 nodes, 6047 on tree, 1e+50 best solution, best possible 8.80742 (1669.31 seconds) Cbc0010I After 22100 nodes, 6097 on tree, 1e+50 best solution, best possible 8.80876 (1683.90 seconds) Cbc0010I After 22200 nodes, 6146 on tree, 1e+50 best solution, best possible 8.81031 (1697.31 seconds) Cbc0010I After 22300 nodes, 6196 on tree, 1e+50 best solution, best possible 8.81166 (1711.29 seconds) Cbc0010I After 22400 nodes, 6246 on tree, 1e+50 best solution, best possible 8.81314 (1724.48 seconds) Cbc0010I After 22500 nodes, 6296 on tree, 1e+50 best solution, best possible 8.81503 (1737.28 seconds) Cbc0010I After 22600 nodes, 6346 on tree, 1e+50 best solution, best possible 8.8167 (1751.90 seconds) Cbc0010I After 22700 nodes, 6396 on tree, 1e+50 best solution, best possible 8.81797 (1767.29 seconds) Cbc0010I After 22800 nodes, 6446 on tree, 1e+50 best solution, best possible 8.81952 (1781.46 seconds) Cbc0010I After 22900 nodes, 6496 on tree, 1e+50 best solution, best possible 8.82091 (1795.37 seconds) Cbc0010I After 23000 nodes, 6546 on tree, 1e+50 best solution, best possible 8.82266 (1809.08 seconds) Cbc0010I After 23100 nodes, 6596 on tree, 1e+50 best solution, best possible 8.82407 (1822.11 seconds) Cbc0010I After 23200 nodes, 6646 on tree, 1e+50 best solution, best possible 8.8253 (1836.58 seconds) Cbc0010I After 23300 nodes, 6696 on tree, 1e+50 best solution, best possible 8.82668 (1851.18 seconds) Cbc0010I After 23400 nodes, 6746 on tree, 1e+50 best solution, best possible 8.82805 (1865.64 seconds) Cbc0010I After 23500 nodes, 6796 on tree, 1e+50 best solution, best possible 8.82967 (1878.83 seconds) Cbc0010I After 23600 nodes, 6846 on tree, 1e+50 best solution, best possible 8.83111 (1893.27 seconds) Cbc0010I After 23700 nodes, 6896 on tree, 1e+50 best solution, best possible 8.8326 (1907.23 seconds) Cbc0010I After 23800 nodes, 6946 on tree, 1e+50 best solution, best possible 8.83376 (1922.67 seconds) Cbc0010I After 23900 nodes, 6996 on tree, 1e+50 best solution, best possible 8.83495 (1936.25 seconds) Cbc0010I After 24000 nodes, 7046 on tree, 1e+50 best solution, best possible 8.83654 (1950.54 seconds) Cbc0010I After 24100 nodes, 7096 on tree, 1e+50 best solution, best possible 8.83776 (1964.31 seconds) Cbc0010I After 24200 nodes, 7146 on tree, 1e+50 best solution, best possible 8.83925 (1978.81 seconds) Cbc0010I After 24300 nodes, 7196 on tree, 1e+50 best solution, best possible 8.84059 (1993.69 seconds) Cbc0010I After 24400 nodes, 7246 on tree, 1e+50 best solution, best possible 8.84184 (2007.36 seconds) Cbc0010I After 24500 nodes, 7295 on tree, 1e+50 best solution, best possible 8.84292 (2021.05 seconds) Cbc0010I After 24600 nodes, 7345 on tree, 1e+50 best solution, best possible 8.84407 (2035.67 seconds) Cbc0010I After 24700 nodes, 7395 on tree, 1e+50 best solution, best possible 8.84533 (2050.18 seconds) Cbc0010I After 24800 nodes, 7445 on tree, 1e+50 best solution, best possible 8.84666 (2064.25 seconds) Cbc0010I After 24900 nodes, 7495 on tree, 1e+50 best solution, best possible 8.84786 (2078.77 seconds) Cbc0010I After 25000 nodes, 7545 on tree, 1e+50 best solution, best possible 8.84928 (2092.98 seconds) Cbc0010I After 25100 nodes, 7595 on tree, 1e+50 best solution, best possible 8.85043 (2108.02 seconds) Cbc0010I After 25200 nodes, 7644 on tree, 1e+50 best solution, best possible 8.85185 (2120.94 seconds) Cbc0010I After 25300 nodes, 7694 on tree, 1e+50 best solution, best possible 8.85298 (2135.31 seconds) Cbc0010I After 25400 nodes, 7744 on tree, 1e+50 best solution, best possible 8.85404 (2149.00 seconds) Cbc0010I After 25500 nodes, 7794 on tree, 1e+50 best solution, best possible 8.85544 (2163.49 seconds) Cbc0010I After 25600 nodes, 7844 on tree, 1e+50 best solution, best possible 8.85656 (2176.93 seconds) Cbc0010I After 25700 nodes, 7894 on tree, 1e+50 best solution, best possible 8.85751 (2190.16 seconds) Cbc0010I After 25800 nodes, 7944 on tree, 1e+50 best solution, best possible 8.85859 (2204.25 seconds) Cbc0010I After 25900 nodes, 7994 on tree, 1e+50 best solution, best possible 8.85956 (2218.80 seconds) Cbc0010I After 26000 nodes, 8044 on tree, 1e+50 best solution, best possible 8.86055 (2233.02 seconds) Cbc0010I After 26100 nodes, 8094 on tree, 1e+50 best solution, best possible 8.86142 (2247.48 seconds) Cbc0010I After 26200 nodes, 8144 on tree, 1e+50 best solution, best possible 8.86275 (2260.88 seconds) Cbc0010I After 26300 nodes, 8194 on tree, 1e+50 best solution, best possible 8.86392 (2275.80 seconds) Cbc0010I After 26400 nodes, 8244 on tree, 1e+50 best solution, best possible 8.86511 (2290.35 seconds) Cbc0010I After 26500 nodes, 8294 on tree, 1e+50 best solution, best possible 8.86602 (2303.18 seconds) Cbc0010I After 26600 nodes, 8344 on tree, 1e+50 best solution, best possible 8.86711 (2317.08 seconds) Cbc0010I After 26700 nodes, 8394 on tree, 1e+50 best solution, best possible 8.86821 (2331.54 seconds) Cbc0010I After 26800 nodes, 8444 on tree, 1e+50 best solution, best possible 8.86934 (2346.27 seconds) Cbc0010I After 26900 nodes, 8494 on tree, 1e+50 best solution, best possible 8.87051 (2362.12 seconds) Cbc0010I After 27000 nodes, 8544 on tree, 1e+50 best solution, best possible 8.87204 (2376.90 seconds) Cbc0010I After 27100 nodes, 8594 on tree, 1e+50 best solution, best possible 8.87353 (2391.75 seconds) Cbc0010I After 27200 nodes, 8644 on tree, 1e+50 best solution, best possible 8.87561 (2406.05 seconds) Cbc0010I After 27300 nodes, 8694 on tree, 1e+50 best solution, best possible 8.87798 (2420.82 seconds) Cbc0010I After 27400 nodes, 8743 on tree, 1e+50 best solution, best possible 8.88026 (2433.73 seconds) Cbc0010I After 27500 nodes, 8792 on tree, 1e+50 best solution, best possible 8.88339 (2448.02 seconds) Cbc0010I After 27600 nodes, 8842 on tree, 1e+50 best solution, best possible 8.88731 (2461.67 seconds) Cbc0010I After 27700 nodes, 8891 on tree, 1e+50 best solution, best possible 8.89092 (2474.73 seconds) Cbc0010I After 27800 nodes, 8941 on tree, 1e+50 best solution, best possible 8.89558 (2487.75 seconds) Cbc0010I After 27900 nodes, 8989 on tree, 1e+50 best solution, best possible 8.89984 (2501.63 seconds) Cbc0010I After 28000 nodes, 9039 on tree, 1e+50 best solution, best possible 8.90464 (2514.09 seconds) Cbc0010I After 28100 nodes, 9089 on tree, 1e+50 best solution, best possible 8.91028 (2526.93 seconds) Cbc0010I After 28200 nodes, 9139 on tree, 1e+50 best solution, best possible 8.91654 (2540.61 seconds) Cbc0010I After 28300 nodes, 9187 on tree, 1e+50 best solution, best possible 8.92604 (2553.46 seconds) Cbc0010I After 28400 nodes, 9236 on tree, 1e+50 best solution, best possible 8.93571 (2566.70 seconds) Cbc0010I After 28500 nodes, 9283 on tree, 1e+50 best solution, best possible 8.9473 (2579.41 seconds) Cbc0010I After 28600 nodes, 9333 on tree, 1e+50 best solution, best possible 8.96201 (2592.93 seconds) Cbc0010I After 28700 nodes, 9383 on tree, 1e+50 best solution, best possible 8.97875 (2606.87 seconds) Cbc0010I After 28800 nodes, 9433 on tree, 1e+50 best solution, best possible 8.99724 (2619.42 seconds) Cbc0010I After 28900 nodes, 9482 on tree, 1e+50 best solution, best possible 9.01419 (2632.84 seconds) Cbc0010I After 29000 nodes, 9532 on tree, 1e+50 best solution, best possible 9.03413 (2646.43 seconds) Cbc0010I After 29100 nodes, 9582 on tree, 1e+50 best solution, best possible 9.05056 (2660.50 seconds) Cbc0010I After 29200 nodes, 9632 on tree, 1e+50 best solution, best possible 9.0708 (2675.39 seconds) Cbc0010I After 29300 nodes, 9681 on tree, 1e+50 best solution, best possible 9.08368 (2689.10 seconds) Cbc0010I After 29400 nodes, 9731 on tree, 1e+50 best solution, best possible 9.0964 (2702.30 seconds) Cbc0010I After 29500 nodes, 9780 on tree, 1e+50 best solution, best possible 9.10858 (2716.18 seconds) Cbc0010I After 29600 nodes, 9830 on tree, 1e+50 best solution, best possible 9.12145 (2731.20 seconds) Cbc0010I After 29700 nodes, 9879 on tree, 1e+50 best solution, best possible 9.13073 (2745.04 seconds) Cbc0010I After 29800 nodes, 9929 on tree, 1e+50 best solution, best possible 9.13999 (2760.32 seconds) Cbc0010I After 29900 nodes, 9979 on tree, 1e+50 best solution, best possible 9.14838 (2773.62 seconds) Cbc0010I After 30000 nodes, 10029 on tree, 1e+50 best solution, best possible 9.15584 (2788.22 seconds) Cbc0010I After 30100 nodes, 10078 on tree, 1e+50 best solution, best possible 9.16484 (2802.61 seconds) Cbc0010I After 30200 nodes, 10128 on tree, 1e+50 best solution, best possible 9.17022 (2817.52 seconds) Cbc0010I After 30300 nodes, 10178 on tree, 1e+50 best solution, best possible 9.17577 (2833.98 seconds) Cbc0010I After 30400 nodes, 10227 on tree, 1e+50 best solution, best possible 9.18064 (2850.06 seconds) Cbc0010I After 30500 nodes, 10277 on tree, 1e+50 best solution, best possible 9.18622 (2864.90 seconds) Cbc0010I After 30600 nodes, 10327 on tree, 1e+50 best solution, best possible 9.19067 (2878.75 seconds) Cbc0010I After 30700 nodes, 10377 on tree, 1e+50 best solution, best possible 9.19553 (2892.94 seconds) Cbc0010I After 30800 nodes, 10427 on tree, 1e+50 best solution, best possible 9.1994 (2906.55 seconds) Cbc0010I After 30900 nodes, 10470 on tree, 1e+50 best solution, best possible 9.2 (2915.00 seconds) Cbc0010I After 31000 nodes, 10520 on tree, 1e+50 best solution, best possible 9.2 (2922.35 seconds) Cbc0010I After 31100 nodes, 10570 on tree, 1e+50 best solution, best possible 9.2 (2930.12 seconds) Cbc0010I After 31200 nodes, 10611 on tree, 1e+50 best solution, best possible 9.2 (2936.85 seconds) Cbc0010I After 31300 nodes, 10658 on tree, 1e+50 best solution, best possible 9.2 (2944.31 seconds) Cbc0010I After 31400 nodes, 10707 on tree, 1e+50 best solution, best possible 9.2 (2951.30 seconds) Cbc0010I After 31500 nodes, 10753 on tree, 1e+50 best solution, best possible 9.2 (2958.16 seconds) Cbc0010I After 31600 nodes, 10806 on tree, 1e+50 best solution, best possible 9.2 (2964.55 seconds) Cbc0010I After 31700 nodes, 10853 on tree, 1e+50 best solution, best possible 9.2 (2970.78 seconds) Cbc0010I After 31800 nodes, 10905 on tree, 1e+50 best solution, best possible 9.2 (2977.51 seconds) Cbc0010I After 31900 nodes, 10955 on tree, 1e+50 best solution, best possible 9.2 (2984.39 seconds) Cbc0010I After 32000 nodes, 11002 on tree, 1e+50 best solution, best possible 9.2 (2991.10 seconds) Cbc0010I After 32100 nodes, 11015 on tree, 1e+50 best solution, best possible 9.2 (2993.32 seconds) Cbc0010I After 32200 nodes, 11036 on tree, 1e+50 best solution, best possible 9.2 (2995.61 seconds) Cbc0010I After 32300 nodes, 11083 on tree, 1e+50 best solution, best possible 9.2 (2997.87 seconds) Cbc0010I After 32400 nodes, 11123 on tree, 1e+50 best solution, best possible 9.2 (2999.97 seconds) Cbc0010I After 32500 nodes, 11136 on tree, 1e+50 best solution, best possible 9.2 (3001.94 seconds) Cbc0010I After 32600 nodes, 11142 on tree, 1e+50 best solution, best possible 9.2 (3004.00 seconds) Cbc0010I After 32700 nodes, 11164 on tree, 1e+50 best solution, best possible 9.2 (3006.15 seconds) Cbc0010I After 32800 nodes, 11174 on tree, 1e+50 best solution, best possible 9.2 (3007.98 seconds) Cbc0010I After 32900 nodes, 11194 on tree, 1e+50 best solution, best possible 9.2 (3009.85 seconds) Cbc0010I After 33000 nodes, 11211 on tree, 1e+50 best solution, best possible 9.2 (3011.68 seconds) Cbc0010I After 33100 nodes, 11262 on tree, 1e+50 best solution, best possible 9.2 (3017.96 seconds) Cbc0010I After 33200 nodes, 11307 on tree, 1e+50 best solution, best possible 9.2 (3024.53 seconds) Cbc0010I After 33300 nodes, 11356 on tree, 1e+50 best solution, best possible 9.2 (3031.24 seconds) Cbc0010I After 33400 nodes, 11406 on tree, 1e+50 best solution, best possible 9.2 (3038.25 seconds) Cbc0010I After 33500 nodes, 11449 on tree, 1e+50 best solution, best possible 9.2 (3045.28 seconds) Cbc0010I After 33600 nodes, 11499 on tree, 1e+50 best solution, best possible 9.2 (3051.72 seconds) Cbc0010I After 33700 nodes, 11544 on tree, 1e+50 best solution, best possible 9.2 (3058.26 seconds) Cbc0010I After 33800 nodes, 11594 on tree, 1e+50 best solution, best possible 9.2 (3064.62 seconds) Cbc0010I After 33900 nodes, 11642 on tree, 1e+50 best solution, best possible 9.2 (3071.33 seconds) Cbc0010I After 34000 nodes, 11683 on tree, 1e+50 best solution, best possible 9.2 (3077.79 seconds) Cbc0010I After 34100 nodes, 11727 on tree, 1e+50 best solution, best possible 9.2 (3084.62 seconds) Cbc0010I After 34200 nodes, 11777 on tree, 1e+50 best solution, best possible 9.2 (3091.25 seconds) Cbc0010I After 34300 nodes, 11826 on tree, 1e+50 best solution, best possible 9.2 (3097.66 seconds) Cbc0010I After 34400 nodes, 11874 on tree, 1e+50 best solution, best possible 9.2 (3104.91 seconds) Cbc0010I After 34500 nodes, 11921 on tree, 1e+50 best solution, best possible 9.2 (3111.96 seconds) Cbc0010I After 34600 nodes, 11971 on tree, 1e+50 best solution, best possible 9.2 (3118.97 seconds) Cbc0010I After 34700 nodes, 12023 on tree, 1e+50 best solution, best possible 9.2 (3125.74 seconds) Cbc0010I After 34800 nodes, 12073 on tree, 1e+50 best solution, best possible 9.2 (3132.43 seconds) Cbc0010I After 34900 nodes, 12115 on tree, 1e+50 best solution, best possible 9.2 (3139.28 seconds) Cbc0010I After 35000 nodes, 12169 on tree, 1e+50 best solution, best possible 9.2 (3146.62 seconds) Cbc0010I After 35100 nodes, 12220 on tree, 1e+50 best solution, best possible 9.2 (3153.21 seconds) Cbc0010I After 35200 nodes, 12266 on tree, 1e+50 best solution, best possible 9.2 (3160.33 seconds) Cbc0010I After 35300 nodes, 12317 on tree, 1e+50 best solution, best possible 9.2 (3167.75 seconds) Cbc0010I After 35400 nodes, 12365 on tree, 1e+50 best solution, best possible 9.2 (3174.43 seconds) Cbc0010I After 35500 nodes, 12413 on tree, 1e+50 best solution, best possible 9.2 (3181.52 seconds) Cbc0010I After 35600 nodes, 12462 on tree, 1e+50 best solution, best possible 9.2 (3188.12 seconds) Cbc0010I After 35700 nodes, 12507 on tree, 1e+50 best solution, best possible 9.2 (3195.01 seconds) Cbc0010I After 35800 nodes, 12548 on tree, 1e+50 best solution, best possible 9.2 (3201.52 seconds) Cbc0010I After 35900 nodes, 12596 on tree, 1e+50 best solution, best possible 9.2 (3209.00 seconds) Cbc0010I After 36000 nodes, 12646 on tree, 1e+50 best solution, best possible 9.2 (3216.48 seconds) Cbc0010I After 36100 nodes, 12655 on tree, 1e+50 best solution, best possible 9.2 (3218.40 seconds) Cbc0010I After 36200 nodes, 12668 on tree, 1e+50 best solution, best possible 9.2 (3220.29 seconds) Cbc0010I After 36300 nodes, 12684 on tree, 1e+50 best solution, best possible 9.2 (3222.17 seconds) Cbc0010I After 36400 nodes, 12686 on tree, 1e+50 best solution, best possible 9.2 (3223.95 seconds) Cbc0010I After 36500 nodes, 12692 on tree, 1e+50 best solution, best possible 9.2 (3225.64 seconds) Cbc0010I After 36600 nodes, 12688 on tree, 1e+50 best solution, best possible 9.2 (3227.38 seconds) Cbc0010I After 36700 nodes, 12682 on tree, 1e+50 best solution, best possible 9.2 (3229.15 seconds) Cbc0010I After 36800 nodes, 12695 on tree, 1e+50 best solution, best possible 9.2 (3231.11 seconds) Cbc0010I After 36900 nodes, 12712 on tree, 1e+50 best solution, best possible 9.2 (3233.24 seconds) Cbc0010I After 37000 nodes, 12721 on tree, 1e+50 best solution, best possible 9.2 (3235.21 seconds) Cbc0010I After 37100 nodes, 12775 on tree, 1e+50 best solution, best possible 9.2 (3242.07 seconds) Cbc0010I After 37200 nodes, 12825 on tree, 1e+50 best solution, best possible 9.2 (3248.62 seconds) Cbc0010I After 37300 nodes, 12870 on tree, 1e+50 best solution, best possible 9.2 (3255.40 seconds) Cbc0010I After 37400 nodes, 12913 on tree, 1e+50 best solution, best possible 9.2 (3262.15 seconds) Cbc0010I After 37500 nodes, 12962 on tree, 1e+50 best solution, best possible 9.2 (3269.14 seconds) Cbc0010I After 37600 nodes, 13009 on tree, 1e+50 best solution, best possible 9.2 (3276.05 seconds) Cbc0010I After 37700 nodes, 13061 on tree, 1e+50 best solution, best possible 9.2 (3282.91 seconds) Cbc0010I After 37800 nodes, 13112 on tree, 1e+50 best solution, best possible 9.2 (3289.91 seconds) Cbc0010I After 37900 nodes, 13162 on tree, 1e+50 best solution, best possible 9.2 (3296.87 seconds) Cbc0010I After 38000 nodes, 13211 on tree, 1e+50 best solution, best possible 9.2 (3304.03 seconds) Cbc0010I After 38100 nodes, 13259 on tree, 1e+50 best solution, best possible 9.2 (3310.73 seconds) Cbc0010I After 38200 nodes, 13306 on tree, 1e+50 best solution, best possible 9.2 (3317.13 seconds) Cbc0010I After 38300 nodes, 13353 on tree, 1e+50 best solution, best possible 9.2 (3323.64 seconds) Cbc0010I After 38400 nodes, 13395 on tree, 1e+50 best solution, best possible 9.2 (3330.51 seconds) Cbc0010I After 38500 nodes, 13442 on tree, 1e+50 best solution, best possible 9.2 (3336.95 seconds) Cbc0010I After 38600 nodes, 13485 on tree, 1e+50 best solution, best possible 9.2 (3343.51 seconds) Cbc0010I After 38700 nodes, 13532 on tree, 1e+50 best solution, best possible 9.2 (3350.49 seconds) Cbc0010I After 38800 nodes, 13580 on tree, 1e+50 best solution, best possible 9.2 (3356.93 seconds) Cbc0010I After 38900 nodes, 13629 on tree, 1e+50 best solution, best possible 9.2 (3364.11 seconds) Cbc0010I After 39000 nodes, 13674 on tree, 1e+50 best solution, best possible 9.2 (3370.99 seconds) Cbc0010I After 39100 nodes, 13717 on tree, 1e+50 best solution, best possible 9.2 (3377.51 seconds) Cbc0010I After 39200 nodes, 13767 on tree, 1e+50 best solution, best possible 9.2 (3384.71 seconds) Cbc0010I After 39300 nodes, 13812 on tree, 1e+50 best solution, best possible 9.2 (3391.61 seconds) Cbc0010I After 39400 nodes, 13864 on tree, 1e+50 best solution, best possible 9.2 (3399.64 seconds) Cbc0010I After 39500 nodes, 13914 on tree, 1e+50 best solution, best possible 9.2 (3406.44 seconds) Cbc0010I After 39600 nodes, 13963 on tree, 1e+50 best solution, best possible 9.2 (3413.24 seconds) Cbc0010I After 39700 nodes, 14010 on tree, 1e+50 best solution, best possible 9.2 (3420.17 seconds) Cbc0010I After 39800 nodes, 14058 on tree, 1e+50 best solution, best possible 9.2 (3427.22 seconds) Cbc0010I After 39900 nodes, 14109 on tree, 1e+50 best solution, best possible 9.2 (3434.07 seconds) Cbc0010I After 40000 nodes, 14154 on tree, 1e+50 best solution, best possible 9.2 (3441.91 seconds) Cbc0010I After 40100 nodes, 14171 on tree, 1e+50 best solution, best possible 9.2 (3444.07 seconds) Cbc0010I After 40200 nodes, 14190 on tree, 1e+50 best solution, best possible 9.2 (3445.90 seconds) Cbc0010I After 40300 nodes, 14202 on tree, 1e+50 best solution, best possible 9.2 (3447.64 seconds) Cbc0010I After 40400 nodes, 14200 on tree, 1e+50 best solution, best possible 9.2 (3449.22 seconds) Cbc0010I After 40500 nodes, 14214 on tree, 1e+50 best solution, best possible 9.2 (3451.14 seconds) Cbc0010I After 40600 nodes, 14223 on tree, 1e+50 best solution, best possible 9.2 (3452.77 seconds) Cbc0010I After 40700 nodes, 14222 on tree, 1e+50 best solution, best possible 9.2 (3454.59 seconds) Cbc0010I After 40800 nodes, 14215 on tree, 1e+50 best solution, best possible 9.2 (3456.14 seconds) Cbc0010I After 40900 nodes, 14228 on tree, 1e+50 best solution, best possible 9.2 (3458.20 seconds) Cbc0010I After 41000 nodes, 14226 on tree, 1e+50 best solution, best possible 9.2 (3460.00 seconds) Cbc0010I After 41100 nodes, 14271 on tree, 1e+50 best solution, best possible 9.2 (3466.84 seconds) Cbc0010I After 41200 nodes, 14320 on tree, 1e+50 best solution, best possible 9.2 (3473.93 seconds) Cbc0010I After 41300 nodes, 14363 on tree, 1e+50 best solution, best possible 9.2 (3481.42 seconds) Cbc0010I After 41400 nodes, 14404 on tree, 1e+50 best solution, best possible 9.2 (3487.89 seconds) Cbc0010I After 41500 nodes, 14453 on tree, 1e+50 best solution, best possible 9.2 (3495.12 seconds) Cbc0010I After 41600 nodes, 14501 on tree, 1e+50 best solution, best possible 9.2 (3503.40 seconds) Cbc0010I After 41700 nodes, 14542 on tree, 1e+50 best solution, best possible 9.2 (3511.10 seconds) Cbc0010I After 41800 nodes, 14588 on tree, 1e+50 best solution, best possible 9.2 (3518.60 seconds) Cbc0010I After 41900 nodes, 14633 on tree, 1e+50 best solution, best possible 9.2 (3526.17 seconds) Cbc0010I After 42000 nodes, 14674 on tree, 1e+50 best solution, best possible 9.2 (3533.32 seconds) Cbc0010I After 42100 nodes, 14719 on tree, 1e+50 best solution, best possible 9.2 (3540.81 seconds) Cbc0010I After 42200 nodes, 14766 on tree, 1e+50 best solution, best possible 9.2 (3549.29 seconds) Cbc0010I After 42300 nodes, 14812 on tree, 1e+50 best solution, best possible 9.2 (3556.91 seconds) Cbc0010I After 42400 nodes, 14857 on tree, 1e+50 best solution, best possible 9.2 (3563.69 seconds) Cbc0010I After 42500 nodes, 14905 on tree, 1e+50 best solution, best possible 9.2 (3570.75 seconds) Cbc0010I After 42600 nodes, 14951 on tree, 1e+50 best solution, best possible 9.2 (3577.61 seconds) Cbc0010I After 42700 nodes, 14998 on tree, 1e+50 best solution, best possible 9.2 (3584.94 seconds) Cbc0010I After 42800 nodes, 15045 on tree, 1e+50 best solution, best possible 9.2 (3592.76 seconds) Cbc0010I After 42900 nodes, 15087 on tree, 1e+50 best solution, best possible 9.2 (3599.09 seconds) Cbc0020I Exiting on maximum time Cbc0005I Partial search - best objective 1e+50 (best possible 9.2), took 6360155 iterations and 42916 nodes (3602.19 seconds) Cbc0032I Strong branching done 17656 times (408944 iterations), fathomed 8 nodes and fixed 5548 variables Cbc0035I Maximum depth 149, 0 variables fixed on reduced cost NLP solution based oa cuts was tried 4042 times and created 768 cuts of which 36 were active after adding rounds of cuts Mixed Integer Gomory was tried 40307 times and created 154572 cuts of which 65497 were active after adding rounds of cuts Probing was tried 40307 times and created 381203 cuts of which 109217 were active after adding rounds of cuts Mixed Integer Rounding was tried 39821 times and created 111728 cuts of which 3311 were active after adding rounds of cuts Cover was tried 39821 times and created 274977 cuts of which 576 were active after adding rounds of cuts Flow Covers was tried 58 times and created 2 cuts of which 0 were active after adding rounds of cuts Outer Approximation feasibility check. was tried 101 times and created 1370 cuts of which 0 were active after adding rounds of cuts implication was tried 20216 times and created 209762 cuts of which 48 were active after adding rounds of cuts Time limit exceeded. Bonmin finished. No feasible point found. Best possible: 9.2 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 12:41:46 elapsed 1:00:29.429