Gurobi 5.0.1 (linux64) logging started Fri Nov 16 05:46:49 2012 Optimize a model with 9520 rows, 3192 columns and 31528 nonzeros Presolve time: 0.08s Presolved: 9520 rows, 3192 columns, 31933 nonzeros Variable types: 0 continuous, 3192 integer (3192 binary) Found heuristic solution: objective 33.0000000 Root relaxation: objective 2.000000e+00, 3172 iterations, 0.10 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 112 33.00000 2.00000 93.9% - 0s H 0 0 12.0000000 2.00000 83.3% - 0s H 0 0 5.0000000 2.00000 60.0% - 0s 0 0 2.00000 0 112 5.00000 2.00000 60.0% - 1s 0 0 2.00000 0 112 5.00000 2.00000 60.0% - 4s 0 0 2.00000 0 112 5.00000 2.00000 60.0% - 7s 0 0 2.00000 0 112 5.00000 2.00000 60.0% - 10s 0 0 2.00000 0 112 5.00000 2.00000 60.0% - 14s 0 0 2.00000 0 112 5.00000 2.00000 60.0% - 16s H 0 0 4.0000000 2.00000 50.0% - 27s 0 2 2.00000 0 112 4.00000 2.00000 50.0% - 27s 1 3 3.00000 1 733 4.00000 2.00000 50.0% 26197 33s 2 4 3.00000 1 342 4.00000 3.00000 25.0% 26260 42s 24 6 cutoff 7 4.00000 3.00000 25.0% 2747 45s 49 3 3.00000 2 490 4.00000 3.00000 25.0% 1877 50s 65 1 cutoff 4 4.00000 3.00000 25.0% 1770 55s Cutting planes: Clique: 125 Explored 67 nodes (175815 simplex iterations) in 56.33 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%