Gurobi 5.0.1 (linux64) logging started Fri Nov 16 05:08:47 2012 Optimize a model with 7938 rows, 2970 columns and 26568 nonzeros Presolve time: 0.07s Presolved: 7938 rows, 2970 columns, 26893 nonzeros Variable types: 0 continuous, 2970 integer (2970 binary) Found heuristic solution: objective 32.0000000 Root relaxation: objective 2.000000e+00, 5180 iterations, 0.58 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 108 32.00000 2.00000 93.7% - 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 108 5.00000 2.00000 60.0% - 0s 0 0 2.00000 0 108 5.00000 2.00000 60.0% - 1s H 0 0 4.0000000 2.00000 50.0% - 1s 0 0 2.00000 0 108 4.00000 2.00000 50.0% - 1s 0 0 2.00000 0 108 4.00000 2.00000 50.0% - 1s 0 0 2.00000 0 108 4.00000 2.00000 50.0% - 1s 0 0 2.00000 0 108 4.00000 2.00000 50.0% - 1s 0 2 2.00000 0 108 4.00000 2.00000 50.0% - 3s 1 3 3.00000 1 655 4.00000 2.00000 50.0% 10248 6s 16 6 3.00000 4 98 4.00000 3.00000 25.0% 1504 10s 83 11 3.00000 8 137 4.00000 3.00000 25.0% 689 15s 106 6 cutoff 8 4.00000 3.00000 25.0% 839 20s 134 4 cutoff 11 4.00000 3.00000 25.0% 912 25s Cutting planes: Clique: 19 Explored 149 nodes (141599 simplex iterations) in 27.44 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%