Gurobi 5.0.1 (linux64) logging started Fri Nov 16 17:41:14 2012 Optimize a model with 4047 rows, 7832 columns and 19534 nonzeros Presolve removed 39 rows and 3258 columns Presolve time: 0.12s Presolved: 4008 rows, 4574 columns, 16186 nonzeros Variable types: 0 continuous, 4574 integer (4574 binary) Found heuristic solution: objective 88.0000000 Found heuristic solution: objective 2.0000000 Root relaxation: cutoff, 0 iterations, 0.00 seconds Explored 0 nodes (0 simplex iterations) in 0.13 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 2.000000000000e+00, best bound 2.000000000000e+00, gap 0.0%