Gurobi 5.0.1 (linux64) logging started Fri Nov 16 09:52:58 2012 Optimize a model with 15276 rows, 4556 columns and 50116 nonzeros Presolve time: 0.12s Presolved: 15276 rows, 4556 columns, 50306 nonzeros Variable types: 0 continuous, 4556 integer (4556 binary) Found heuristic solution: objective 40.0000000 Root relaxation: objective 2.000000e+00, 4580 iterations, 0.19 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 134 40.00000 2.00000 95.0% - 1s H 0 0 16.0000000 2.00000 87.5% - 1s H 0 0 5.0000000 2.00000 60.0% - 1s 0 0 2.00000 0 134 5.00000 2.00000 60.0% - 3s 0 0 2.00000 0 134 5.00000 2.00000 60.0% - 11s 0 0 2.00000 0 134 5.00000 2.00000 60.0% - 19s 0 0 2.00000 0 134 5.00000 2.00000 60.0% - 27s 0 0 2.00000 0 134 5.00000 2.00000 60.0% - 35s 0 0 2.00000 0 134 5.00000 2.00000 60.0% - 41s 0 2 2.00000 0 134 5.00000 2.00000 60.0% - 62s 1 3 3.00000 1 453 5.00000 2.00000 60.0% 32431 68s 2 4 3.00000 1 538 5.00000 3.00000 40.0% 22795 73s 5 5 3.33333 3 276 5.00000 3.00000 40.0% 12289 78s * 19 6 14 4.0000000 3.00000 25.0% 3489 79s 25 4 cutoff 4 4.00000 3.00000 25.0% 2838 81s 38 1 cutoff 4 4.00000 3.00000 25.0% 2504 87s 39 0 cutoff 4 4.00000 4.00000 0.0% 2925 92s Cutting planes: Clique: 109 Explored 40 nodes (212274 simplex iterations) in 92.58 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%