Gurobi 5.0.1 (linux64) logging started Fri Nov 16 15:09:44 2012 Optimize a model with 20 rows, 56 columns and 82 nonzeros Presolve removed 8 rows and 38 columns Presolve time: 0.00s Presolved: 12 rows, 18 columns, 39 nonzeros Variable types: 0 continuous, 18 integer (18 binary) Found heuristic solution: objective 5.0000000 Found heuristic solution: objective 2.0000000 Root relaxation: cutoff, 0 iterations, 0.00 seconds Explored 0 nodes (0 simplex iterations) in 0.00 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%