Gurobi 5.0.1 (linux64) logging started Fri Nov 16 07:12:44 2012 Optimize a model with 10492 rows, 3782 columns and 35014 nonzeros Presolve time: 0.09s Presolved: 10492 rows, 3782 columns, 35306 nonzeros Variable types: 0 continuous, 3782 integer (3782 binary) Found heuristic solution: objective 37.0000000 Root relaxation: objective 2.000000e+00, 3885 iterations, 0.15 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 122 37.00000 2.00000 94.6% - 1s H 0 0 15.0000000 2.00000 86.7% - 1s H 0 0 5.0000000 2.00000 60.0% - 1s 0 0 2.00000 0 122 5.00000 2.00000 60.0% - 2s 0 0 2.00000 0 122 5.00000 2.00000 60.0% - 6s H 0 0 4.0000000 2.00000 50.0% - 6s 0 0 2.00000 0 122 4.00000 2.00000 50.0% - 10s 0 0 2.00000 0 122 4.00000 2.00000 50.0% - 13s 0 0 2.00000 0 122 4.00000 2.00000 50.0% - 18s 0 0 2.00000 0 122 4.00000 2.00000 50.0% - 22s 0 2 2.00000 0 122 4.00000 2.00000 50.0% - 31s 1 3 3.00000 1 668 4.00000 2.00000 50.0% 31063 39s 2 4 3.00000 1 775 4.00000 3.00000 25.0% 31767 50s 19 5 cutoff 5 4.00000 3.00000 25.0% 4297 55s 43 7 cutoff 8 4.00000 3.00000 25.0% 2419 60s 67 7 3.00000 5 110 4.00000 3.00000 25.0% 1923 65s 79 5 cutoff 7 4.00000 3.00000 25.0% 1928 70s Cutting planes: Clique: 137 Explored 99 nodes (242170 simplex iterations) in 74.31 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%