Gurobi 5.0.1 (linux64) logging started Fri Nov 16 05:51:57 2012 Optimize a model with 8791 rows, 3192 columns and 29286 nonzeros Presolve removed 3 rows and 58 columns Presolve time: 0.19s Presolved: 8788 rows, 3134 columns, 28916 nonzeros Variable types: 0 continuous, 3134 integer (3134 binary) Found heuristic solution: objective 56.0000000 Root relaxation: objective 2.000000e+00, 2248 iterations, 0.05 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 110 56.00000 2.00000 96.4% - 0s H 0 0 44.0000000 2.00000 95.5% - 0s H 0 0 5.0000000 2.00000 60.0% - 0s 0 0 2.66667 0 147 5.00000 2.66667 46.7% - 1s 0 0 2.67081 0 2877 5.00000 2.67081 46.6% - 1s 0 0 2.67081 0 2891 5.00000 2.67081 46.6% - 2s 0 0 2.67081 0 2680 5.00000 2.67081 46.6% - 4s 0 0 2.67081 0 2663 5.00000 2.67081 46.6% - 6s 0 0 2.67081 0 2515 5.00000 2.67081 46.6% - 8s H 0 0 4.0000000 2.67081 33.2% - 8s 0 0 2.67081 0 2690 4.00000 2.67081 33.2% - 9s 0 0 2.67081 0 2569 4.00000 2.67081 33.2% - 11s 0 0 2.67081 0 2572 4.00000 2.67081 33.2% - 12s 0 0 2.67081 0 2623 4.00000 2.67081 33.2% - 14s 0 0 2.67081 0 2607 4.00000 2.67081 33.2% - 16s 0 0 2.67081 0 2671 4.00000 2.67081 33.2% - 17s 0 0 2.67081 0 2671 4.00000 2.67081 33.2% - 18s 0 2 2.80000 0 2671 4.00000 2.80000 30.0% - 28s 10 0 cutoff 1 4.00000 4.00000 0.0% 840 30s Cutting planes: Clique: 65 Zero half: 4 Explored 11 nodes (69264 simplex iterations) in 30.09 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%