Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:36:48 2012 Optimize a model with 6207 rows, 158 columns and 12414 nonzeros Presolve removed 4502 rows and 0 columns Presolve time: 0.26s Presolved: 1705 rows, 158 columns, 12344 nonzeros Variable types: 0 continuous, 158 integer (158 binary) Found heuristic solution: objective 9.0000000 Root relaxation: objective 1.968120e+01, 751 iterations, 0.06 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 19.68120 0 157 9.00000 19.68120 119% - 0s 0 0 19.29548 0 157 9.00000 19.29548 114% - 0s 0 0 19.07875 0 158 9.00000 19.07875 112% - 0s 0 0 19.01931 0 158 9.00000 19.01931 111% - 1s 0 0 18.99572 0 158 9.00000 18.99572 111% - 1s 0 0 18.95568 0 158 9.00000 18.95568 111% - 1s 0 0 18.90496 0 157 9.00000 18.90496 110% - 1s 0 0 18.87789 0 158 9.00000 18.87789 110% - 1s 0 0 18.87789 0 158 9.00000 18.87789 110% - 2s 0 2 18.87777 0 158 9.00000 18.87777 110% - 3s 207 175 13.22165 16 74 9.00000 18.43770 105% 87.3 5s H 600 364 10.0000000 16.64734 66.5% 81.5 10s 617 376 14.77596 18 81 10.00000 16.64734 66.5% 86.9 15s 764 426 11.36276 92 73 10.00000 15.39896 54.0% 124 20s 1471 428 11.60000 30 36 10.00000 13.94725 39.5% 87.1 25s 1777 443 13.02517 34 69 10.00000 13.67690 36.8% 80.4 30s 2373 382 11.02360 48 36 10.00000 12.52600 25.3% 73.4 35s Cutting planes: Clique: 55 Explored 2962 nodes (192496 simplex iterations) in 38.34 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 1.000000000000e+01, best bound 1.000000000000e+01, gap 0.0%