Gurobi 5.0.1 (linux64) logging started Fri Nov 16 02:25:52 2012 Optimize a model with 8191 rows, 1056 columns and 25470 nonzeros Presolve removed 2 rows and 2 columns Presolve time: 0.10s Presolved: 8221 rows, 1054 columns, 29610 nonzeros Variable types: 0 continuous, 1054 integer (1054 binary) Found heuristic solution: objective 31.0000000 Root relaxation: objective 3.538462e+00, 6298 iterations, 0.42 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 3.53846 0 894 31.00000 3.53846 88.6% - 1s 0 0 6.00000 0 86 31.00000 6.00000 80.6% - 2s H 0 0 10.0000000 6.00000 40.0% - 2s H 0 0 9.0000000 6.00000 33.3% - 2s 0 0 6.03077 0 172 9.00000 6.03077 33.0% - 2s 0 0 7.00000 0 87 9.00000 7.00000 22.2% - 2s 0 0 7.00000 0 114 9.00000 7.00000 22.2% - 2s H 0 0 8.0000000 7.00000 12.5% - 2s 0 0 7.00000 0 35 8.00000 7.00000 12.5% - 3s 0 0 7.00000 0 50 8.00000 7.00000 12.5% - 3s 0 0 7.00000 0 74 8.00000 7.00000 12.5% - 3s 0 0 7.00000 0 57 8.00000 7.00000 12.5% - 3s 0 0 7.00000 0 95 8.00000 7.00000 12.5% - 3s 0 0 7.00000 0 95 8.00000 7.00000 12.5% - 3s 0 2 7.00000 0 95 8.00000 7.00000 12.5% - 3s 13 12 7.00000 15 109 8.00000 7.00000 12.5% 513 5s Cutting planes: Gomory: 1 Clique: 63 Zero half: 10 Explored 141 nodes (38257 simplex iterations) in 5.87 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 8.000000000000e+00, best bound 8.000000000000e+00, gap 0.0%