Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:11:20 2012 Optimize a model with 4418 rows, 133 columns and 8836 nonzeros Presolve removed 3217 rows and 0 columns Presolve time: 0.15s Presolved: 1201 rows, 133 columns, 8499 nonzeros Variable types: 0 continuous, 133 integer (133 binary) Found heuristic solution: objective 6.0000000 Root relaxation: objective 1.708098e+01, 619 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.08098 0 129 6.00000 17.08098 185% - 0s H 0 0 8.0000000 17.08098 114% - 0s 0 0 16.73256 0 131 8.00000 16.73256 109% - 0s 0 0 16.55531 0 130 8.00000 16.55531 107% - 0s H 0 0 9.0000000 16.55531 83.9% - 0s 0 0 16.51451 0 132 9.00000 16.51451 83.5% - 0s 0 0 16.47894 0 132 9.00000 16.47894 83.1% - 1s 0 0 16.45143 0 133 9.00000 16.45143 82.8% - 1s 0 0 16.44110 0 133 9.00000 16.44110 82.7% - 1s 0 0 16.43680 0 132 9.00000 16.43680 82.6% - 1s 0 0 16.43131 0 132 9.00000 16.43131 82.6% - 1s 0 0 16.42915 0 132 9.00000 16.42915 82.5% - 1s 0 0 16.42522 0 132 9.00000 16.42522 82.5% - 2s 0 0 16.42514 0 132 9.00000 16.42514 82.5% - 2s 0 0 16.42513 0 132 9.00000 16.42513 82.5% - 2s 0 2 16.42496 0 132 9.00000 16.42496 82.5% - 3s 331 169 11.56500 16 53 9.00000 14.40632 60.1% 75.6 5s * 566 154 8 10.0000000 13.16111 31.6% 70.1 6s Cutting planes: Clique: 116 Explored 799 nodes (51857 simplex iterations) in 7.24 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%