Gurobi 5.0.1 (linux64) logging started Fri Nov 16 09:16:02 2012 Optimize a model with 12738 rows, 4422 columns and 42372 nonzeros Presolve time: 0.10s Presolved: 12738 rows, 4422 columns, 42553 nonzeros Variable types: 0 continuous, 4422 integer (4422 binary) Found heuristic solution: objective 37.0000000 Root relaxation: objective 2.000000e+00, 4528 iterations, 0.29 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 132 37.00000 2.00000 94.6% - 2s H 0 0 11.0000000 2.00000 81.8% - 2s H 0 0 5.0000000 2.00000 60.0% - 2s 0 0 2.00000 0 132 5.00000 2.00000 60.0% - 3s 0 0 2.00000 0 132 5.00000 2.00000 60.0% - 9s 0 0 2.00000 0 132 5.00000 2.00000 60.0% - 17s H 0 0 4.0000000 2.00000 50.0% - 17s 0 0 2.00000 0 132 4.00000 2.00000 50.0% - 23s 0 0 2.00000 0 132 4.00000 2.00000 50.0% - 30s 0 0 2.00000 0 132 4.00000 2.00000 50.0% - 35s 0 2 2.00000 0 132 4.00000 2.00000 50.0% - 62s 1 3 2.50000 1 133 4.00000 2.00000 50.0% 26614 67s 2 4 3.00000 1 585 4.00000 2.50000 37.5% 22514 76s 4 6 3.00000 2 636 4.00000 2.66667 33.3% 13880 80s 40 6 3.00000 2 589 4.00000 3.00000 25.0% 1999 85s 56 6 cutoff 6 4.00000 3.00000 25.0% 1716 90s 65 5 cutoff 7 4.00000 3.00000 25.0% 1794 95s Cutting planes: Clique: 108 Zero half: 2 Explored 75 nodes (221631 simplex iterations) in 98.79 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%