Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:13:01 2012 Optimize a model with 4496 rows, 134 columns and 8992 nonzeros Presolve removed 3262 rows and 0 columns Presolve time: 0.17s Presolved: 1234 rows, 134 columns, 8737 nonzeros Variable types: 0 continuous, 134 integer (134 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.750800e+01, 667 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.50800 0 130 8.00000 17.50800 119% - 0s H 0 0 9.0000000 17.50800 94.5% - 0s 0 0 16.90214 0 134 9.00000 16.90214 87.8% - 0s 0 0 16.84420 0 133 9.00000 16.84420 87.2% - 0s 0 0 16.83451 0 134 9.00000 16.83451 87.1% - 0s 0 0 16.83062 0 134 9.00000 16.83062 87.0% - 1s 0 0 16.80667 0 134 9.00000 16.80667 86.7% - 1s 0 0 16.78967 0 133 9.00000 16.78967 86.6% - 1s 0 0 16.76732 0 133 9.00000 16.76732 86.3% - 1s 0 0 16.75481 0 133 9.00000 16.75481 86.2% - 1s 0 0 16.74779 0 133 9.00000 16.74779 86.1% - 2s 0 0 16.74617 0 134 9.00000 16.74617 86.1% - 2s 0 0 16.74535 0 134 9.00000 16.74535 86.1% - 2s 0 0 16.74483 0 134 9.00000 16.74483 86.1% - 2s 0 0 16.74482 0 134 9.00000 16.74482 86.1% - 2s 0 2 16.74447 0 134 9.00000 16.74447 86.0% - 3s * 226 135 10 10.0000000 15.66602 56.7% 76.6 4s 281 152 12.61004 12 59 10.00000 15.23333 52.3% 75.6 5s Cutting planes: Clique: 137 Explored 697 nodes (47962 simplex iterations) in 7.11 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%