Gurobi 5.0.1 (linux64) logging started Fri Nov 16 08:04:19 2012 Optimize a model with 11718 rows, 4032 columns and 38934 nonzeros Presolve time: 0.10s Presolved: 11718 rows, 4032 columns, 39185 nonzeros Variable types: 0 continuous, 4032 integer (4032 binary) Found heuristic solution: objective 37.0000000 Root relaxation: objective 2.000000e+00, 4263 iterations, 0.24 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 126 37.00000 2.00000 94.6% - 1s H 0 0 11.0000000 2.00000 81.8% - 1s H 0 0 5.0000000 2.00000 60.0% - 1s 0 0 2.00000 0 126 5.00000 2.00000 60.0% - 2s 0 0 2.00000 0 126 5.00000 2.00000 60.0% - 6s 0 0 2.00000 0 126 5.00000 2.00000 60.0% - 11s 0 0 2.00000 0 126 5.00000 2.00000 60.0% - 16s 0 0 2.00000 0 126 5.00000 2.00000 60.0% - 21s 0 0 2.00000 0 126 5.00000 2.00000 60.0% - 25s H 0 0 4.0000000 2.00000 50.0% - 27s 0 2 2.00000 0 126 4.00000 2.00000 50.0% - 35s 1 3 2.50000 1 221 4.00000 2.00000 50.0% 21922 40s 2 4 3.00000 1 616 4.00000 2.50000 37.5% 17722 46s 20 10 3.00000 2 501 4.00000 3.00000 25.0% 3385 56s 41 9 3.00000 4 357 4.00000 3.00000 25.0% 2163 60s 94 3 cutoff 12 4.00000 3.00000 25.0% 1349 65s 143 6 cutoff 6 4.00000 3.00000 25.0% 1064 70s Cutting planes: Clique: 132 Explored 210 nodes (249114 simplex iterations) in 73.42 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%