Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:01:48 2012 Optimize a model with 3884 rows, 125 columns and 7768 nonzeros Presolve removed 2807 rows and 0 columns Presolve time: 0.12s Presolved: 1077 rows, 125 columns, 7458 nonzeros Variable types: 0 continuous, 125 integer (125 binary) Found heuristic solution: objective 9.0000000 Root relaxation: objective 1.672559e+01, 604 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.72559 0 124 9.00000 16.72559 85.8% - 0s 0 0 16.43264 0 125 9.00000 16.43264 82.6% - 0s 0 0 16.34049 0 125 9.00000 16.34049 81.6% - 0s 0 0 16.29007 0 125 9.00000 16.29007 81.0% - 0s 0 0 16.23787 0 125 9.00000 16.23787 80.4% - 0s 0 0 16.19526 0 124 9.00000 16.19526 79.9% - 1s 0 0 16.18694 0 123 9.00000 16.18694 79.9% - 1s 0 0 16.17880 0 125 9.00000 16.17880 79.8% - 1s 0 0 16.13683 0 123 9.00000 16.13683 79.3% - 1s 0 0 16.12655 0 123 9.00000 16.12655 79.2% - 1s H 0 0 10.0000000 16.12655 61.3% - 1s 0 0 16.12238 0 125 10.00000 16.12238 61.2% - 1s 0 0 16.11231 0 122 10.00000 16.11231 61.1% - 2s 0 0 16.10804 0 123 10.00000 16.10804 61.1% - 2s 0 0 16.10686 0 124 10.00000 16.10686 61.1% - 2s 0 0 16.10461 0 123 10.00000 16.10461 61.0% - 2s 0 0 16.10428 0 124 10.00000 16.10428 61.0% - 2s 0 2 16.10383 0 124 10.00000 16.10383 61.0% - 3s 321 71 cutoff 3 10.00000 12.72879 27.3% 75.2 5s Cutting planes: Clique: 103 Explored 397 nodes (29662 simplex iterations) in 5.30 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 1.000000000000e+01, best bound 1.000000000000e+01, gap 0.0%