Gurobi 5.0.1 (linux64) logging started Fri Nov 16 09:11:12 2012 Optimize a model with 12869 rows, 4290 columns and 42573 nonzeros Presolve removed 2 rows and 2 columns Presolve time: 0.37s Presolved: 12932 rows, 4288 columns, 46402 nonzeros Variable types: 0 continuous, 4288 integer (4288 binary) Found heuristic solution: objective 65.0000000 Root relaxation: objective 2.000000e+00, 2801 iterations, 0.08 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 130 65.00000 2.00000 96.9% - 0s H 0 0 5.0000000 2.00000 60.0% - 0s 0 0 2.66667 0 182 5.00000 2.66667 46.7% - 2s 0 0 2.67021 0 3722 5.00000 2.67021 46.6% - 2s 0 0 2.67021 0 3717 5.00000 2.67021 46.6% - 4s 0 0 2.67021 0 3719 5.00000 2.67021 46.6% - 5s 0 0 2.67021 0 3321 5.00000 2.67021 46.6% - 12s 0 0 2.67021 0 3121 5.00000 2.67021 46.6% - 17s 0 0 2.67021 0 3236 5.00000 2.67021 46.6% - 24s 0 0 2.67021 0 3320 5.00000 2.67021 46.6% - 30s 0 0 2.67021 0 3373 5.00000 2.67021 46.6% - 36s 0 0 2.67021 0 3374 5.00000 2.67021 46.6% - 44s 0 0 2.67021 0 3374 5.00000 2.67021 46.6% - 47s 0 2 2.80000 0 3374 5.00000 2.80000 44.0% - 56s * 8 4 5 4.0000000 3.00000 25.0% 1951 58s 12 0 cutoff 1 4.00000 4.00000 0.0% 1764 60s Cutting planes: Clique: 74 Zero half: 14 Explored 13 nodes (145073 simplex iterations) in 60.26 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 4.000000000000e+00, best bound 4.000000000000e+00, gap 0.0%