Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:43:55 2012 Optimize a model with 1256 rows, 71 columns and 2512 nonzeros Presolve removed 870 rows and 0 columns Presolve time: 0.03s Presolved: 386 rows, 71 columns, 2414 nonzeros Variable types: 0 continuous, 71 integer (71 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.163559e+01, 201 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 11.63559 0 62 7.00000 11.63559 66.2% - 0s H 0 0 9.0000000 11.63559 29.3% - 0s 0 0 11.20672 0 69 9.00000 11.20672 24.5% - 0s 0 0 11.13527 0 69 9.00000 11.13527 23.7% - 0s 0 0 11.09672 0 67 9.00000 11.09672 23.3% - 0s 0 0 11.08200 0 67 9.00000 11.08200 23.1% - 0s 0 0 11.05564 0 67 9.00000 11.05564 22.8% - 0s 0 0 11.05419 0 67 9.00000 11.05419 22.8% - 0s 0 2 11.05262 0 67 9.00000 11.05262 22.8% - 0s Cutting planes: Clique: 34 Zero half: 2 Explored 13 nodes (1021 simplex iterations) in 0.24 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%