Gurobi 5.0.1 (linux64) logging started Fri Nov 16 17:39:43 2012 Optimize a model with 3080 rows, 6320 columns and 15166 nonzeros Presolve removed 31 rows and 2293 columns Presolve time: 0.11s Presolved: 3049 rows, 4027 columns, 12797 nonzeros Variable types: 0 continuous, 4027 integer (4027 binary) Found heuristic solution: objective 79.0000000 Found heuristic solution: objective 2.0000000 Root relaxation: cutoff, 0 iterations, 0.00 seconds Explored 0 nodes (0 simplex iterations) in 0.11 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%