Gurobi 5.0.1 (linux64) logging started Fri Nov 16 07:32:42 2012 Optimize a model with 12524 rows, 3906 columns and 41230 nonzeros Presolve time: 0.10s Presolved: 12524 rows, 3906 columns, 41494 nonzeros Variable types: 0 continuous, 3906 integer (3906 binary) Found heuristic solution: objective 39.0000000 Root relaxation: objective 2.000000e+00, 3835 iterations, 0.20 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 124 39.00000 2.00000 94.9% - 0s H 0 0 11.0000000 2.00000 81.8% - 0s H 0 0 5.0000000 2.00000 60.0% - 0s 0 0 2.00000 0 124 5.00000 2.00000 60.0% - 1s 0 0 2.00000 0 124 5.00000 2.00000 60.0% - 6s 0 0 2.00000 0 124 5.00000 2.00000 60.0% - 13s 0 0 2.00000 0 124 5.00000 2.00000 60.0% - 18s 0 0 2.00000 0 124 5.00000 2.00000 60.0% - 24s 0 0 2.00000 0 124 5.00000 2.00000 60.0% - 29s 0 2 2.00000 0 124 5.00000 2.00000 60.0% - 42s 1 3 2.50000 1 175 5.00000 2.00000 60.0% 22108 46s 2 4 2.50000 1 520 5.00000 2.50000 50.0% 18560 52s 9 11 3.20000 7 204 5.00000 2.50000 50.0% 5752 55s * 20 9 16 4.0000000 2.50000 37.5% 2871 56s 47 10 3.00000 2 180 4.00000 2.50000 37.5% 1559 60s 73 6 2.60000 4 196 4.00000 2.60000 35.0% 1326 65s Cutting planes: Clique: 112 Explored 99 nodes (182977 simplex iterations) in 66.87 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%