Gurobi 5.0.1 (linux64) logging started Fri Nov 16 07:10:15 2012 Optimize a model with 10370 rows, 3782 columns and 34648 nonzeros Presolve removed 1 rows and 61 columns Presolve time: 0.08s Presolved: 10369 rows, 3721 columns, 34870 nonzeros Variable types: 0 continuous, 3721 integer (3721 binary) Found heuristic solution: objective 38.0000000 Root relaxation: objective 2.000000e+00, 3638 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 120 38.00000 2.00000 94.7% - 0s H 0 0 13.0000000 2.00000 84.6% - 0s H 0 0 5.0000000 2.00000 60.0% - 0s 0 0 2.00000 0 120 5.00000 2.00000 60.0% - 1s 0 0 2.00000 0 120 5.00000 2.00000 60.0% - 5s H 0 0 4.0000000 2.00000 50.0% - 5s 0 0 2.00000 0 120 4.00000 2.00000 50.0% - 9s 0 0 2.00000 0 120 4.00000 2.00000 50.0% - 14s 0 0 2.00000 0 120 4.00000 2.00000 50.0% - 18s 0 0 2.00000 0 120 4.00000 2.00000 50.0% - 21s 0 2 2.00000 0 120 4.00000 2.00000 50.0% - 35s 1 3 3.00000 1 586 4.00000 2.00000 50.0% 27287 42s 2 4 3.00000 1 534 4.00000 3.00000 25.0% 22466 48s 6 6 3.00000 4 110 4.00000 3.00000 25.0% 8162 50s 17 5 3.00000 3 523 4.00000 3.00000 25.0% 4269 55s 25 5 cutoff 5 4.00000 3.00000 25.0% 3705 61s 52 4 cutoff 6 4.00000 3.00000 25.0% 2176 65s 70 2 cutoff 6 4.00000 3.00000 25.0% 1925 70s 96 4 3.00000 6 157 4.00000 3.00000 25.0% 1617 75s 103 1 cutoff 6 4.00000 3.00000 25.0% 1701 80s 107 1 cutoff 6 4.00000 3.00000 25.0% 1755 85s Cutting planes: Clique: 116 Explored 109 nodes (259611 simplex iterations) in 86.14 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%