Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:44:54 2012 Optimize a model with 1671 rows, 83 columns and 3342 nonzeros Presolve removed 1191 rows and 0 columns Presolve time: 0.04s Presolved: 480 rows, 83 columns, 3058 nonzeros Variable types: 0 continuous, 83 integer (83 binary) Found heuristic solution: objective 6.0000000 Root relaxation: objective 1.266486e+01, 333 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 12.66486 0 79 6.00000 12.66486 111% - 0s H 0 0 7.0000000 12.66486 80.9% - 0s H 0 0 8.0000000 12.66486 58.3% - 0s 0 0 12.44565 0 81 8.00000 12.44565 55.6% - 0s 0 0 12.36531 0 83 8.00000 12.36531 54.6% - 0s 0 0 12.35151 0 82 8.00000 12.35151 54.4% - 0s H 0 0 9.0000000 12.35151 37.2% - 0s 0 0 12.35101 0 83 9.00000 12.35101 37.2% - 0s 0 0 12.35032 0 82 9.00000 12.35032 37.2% - 0s 0 0 12.34855 0 83 9.00000 12.34855 37.2% - 0s 0 0 12.33936 0 82 9.00000 12.33936 37.1% - 0s 0 0 12.30683 0 81 9.00000 12.30683 36.7% - 0s 0 0 12.29481 0 82 9.00000 12.29481 36.6% - 0s 0 0 12.29334 0 82 9.00000 12.29334 36.6% - 0s 0 0 12.28680 0 83 9.00000 12.28680 36.5% - 0s 0 0 12.28356 0 81 9.00000 12.28356 36.5% - 0s 0 0 12.28309 0 82 9.00000 12.28309 36.5% - 0s 0 0 12.28298 0 82 9.00000 12.28298 36.5% - 0s 0 2 12.28286 0 82 9.00000 12.28286 36.5% - 0s Cutting planes: Clique: 40 Zero half: 5 Explored 49 nodes (3525 simplex iterations) in 0.90 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 9.000000000000e+00, best bound 9.000000000000e+00, gap 0.0%