Gurobi 5.0.1 (linux64) logging started Fri Nov 16 01:18:00 2012 Optimize a model with 4860 rows, 756 columns and 15228 nonzeros Presolve time: 0.05s Presolved: 4860 rows, 756 columns, 22908 nonzeros Variable types: 0 continuous, 756 integer (756 binary) Found heuristic solution: objective 13.0000000 Root relaxation: objective 2.000000e+00, 1180 iterations, 0.05 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 54 13.00000 2.00000 84.6% - 0s H 0 0 9.0000000 2.00000 77.8% - 0s 0 0 2.00000 0 54 9.00000 2.00000 77.8% - 0s H 0 0 8.0000000 2.00000 75.0% - 0s 0 0 2.00000 0 54 8.00000 2.00000 75.0% - 0s 0 0 2.00000 0 54 8.00000 2.00000 75.0% - 0s 0 0 2.00000 0 54 8.00000 2.00000 75.0% - 0s 0 0 2.00000 0 54 8.00000 2.00000 75.0% - 1s 0 2 2.00000 0 54 8.00000 2.00000 75.0% - 1s H 27 15 7.0000000 3.00000 57.1% 386 2s 114 42 infeasible 6 7.00000 4.00000 42.9% 243 5s 306 80 cutoff 13 7.00000 5.00000 28.6% 234 10s 564 80 cutoff 13 7.00000 6.00000 14.3% 212 15s 660 72 6.00000 8 57 7.00000 6.00000 14.3% 219 20s 775 63 6.00000 9 28 7.00000 6.00000 14.3% 212 25s 1028 39 cutoff 14 7.00000 6.00000 14.3% 205 30s 1141 26 cutoff 12 7.00000 6.00000 14.3% 215 35s 1221 32 cutoff 9 7.00000 6.00000 14.3% 218 40s 1397 12 cutoff 12 7.00000 6.00000 14.3% 224 45s Cutting planes: Clique: 397 Zero half: 54 Explored 1490 nodes (350800 simplex iterations) in 48.66 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 7.000000000000e+00, best bound 7.000000000000e+00, gap 0.0%