Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:06:36 2012 Optimize a model with 4184 rows, 129 columns and 8368 nonzeros Presolve removed 2978 rows and 0 columns Presolve time: 0.14s Presolved: 1206 rows, 129 columns, 8486 nonzeros Variable types: 0 continuous, 129 integer (129 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.662345e+01, 616 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.62345 0 126 8.00000 16.62345 108% - 0s H 0 0 9.0000000 16.62345 84.7% - 0s 0 0 16.26337 0 128 9.00000 16.26337 80.7% - 0s 0 0 16.10011 0 128 9.00000 16.10011 78.9% - 0s 0 0 16.05445 0 128 9.00000 16.05445 78.4% - 0s 0 0 16.03653 0 128 9.00000 16.03653 78.2% - 1s 0 0 16.02701 0 128 9.00000 16.02701 78.1% - 1s 0 0 16.02202 0 128 9.00000 16.02202 78.0% - 1s 0 0 16.02054 0 128 9.00000 16.02054 78.0% - 1s 0 0 16.01530 0 128 9.00000 16.01530 77.9% - 1s 0 0 15.99877 0 128 9.00000 15.99877 77.8% - 1s 0 0 15.98766 0 128 9.00000 15.98766 77.6% - 2s 0 0 15.98732 0 128 9.00000 15.98732 77.6% - 2s 0 0 15.98725 0 128 9.00000 15.98725 77.6% - 2s 0 0 15.98717 0 128 9.00000 15.98717 77.6% - 2s 0 2 15.98679 0 128 9.00000 15.98679 77.6% - 3s 344 168 10.07273 23 49 9.00000 14.00812 55.6% 71.9 5s Cutting planes: Clique: 109 Explored 866 nodes (51914 simplex iterations) in 7.83 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 9.000000000000e+00, best bound 9.000000000000e+00, gap 0.0%