Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:46:51 2012 Optimize a model with 2197 rows, 94 columns and 4394 nonzeros Presolve removed 1593 rows and 0 columns Presolve time: 0.06s Presolved: 604 rows, 94 columns, 4077 nonzeros Variable types: 0 continuous, 94 integer (94 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.347599e+01, 295 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 13.47599 0 88 7.00000 13.47599 92.5% - 0s H 0 0 8.0000000 13.47599 68.4% - 0s H 0 0 9.0000000 13.47599 49.7% - 0s 0 0 13.20103 0 92 9.00000 13.20103 46.7% - 0s 0 0 13.13381 0 92 9.00000 13.13381 45.9% - 0s 0 0 13.10625 0 92 9.00000 13.10625 45.6% - 0s 0 0 13.04611 0 93 9.00000 13.04611 45.0% - 0s 0 0 13.00770 0 93 9.00000 13.00770 44.5% - 0s 0 0 12.99006 0 93 9.00000 12.99006 44.3% - 0s 0 0 12.98261 0 93 9.00000 12.98261 44.3% - 0s 0 0 12.98075 0 93 9.00000 12.98075 44.2% - 0s 0 0 12.97827 0 93 9.00000 12.97827 44.2% - 0s 0 0 12.97242 0 93 9.00000 12.97242 44.1% - 0s 0 0 12.96838 0 93 9.00000 12.96838 44.1% - 1s 0 0 12.96662 0 93 9.00000 12.96662 44.1% - 1s 0 0 12.96520 0 93 9.00000 12.96520 44.1% - 1s 0 0 12.96508 0 93 9.00000 12.96508 44.1% - 1s 0 0 12.96358 0 93 9.00000 12.96358 44.0% - 1s 0 0 12.96356 0 93 9.00000 12.96356 44.0% - 1s 0 2 12.95157 0 93 9.00000 12.95157 43.9% - 1s Cutting planes: Clique: 56 Explored 88 nodes (6735 simplex iterations) in 2.07 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%