Gurobi 5.0.1 (linux64) logging started Fri Nov 16 01:34:38 2012 Optimize a model with 5516 rows, 812 columns and 17248 nonzeros Presolve time: 0.05s Presolved: 5516 rows, 812 columns, 24469 nonzeros Variable types: 0 continuous, 812 integer (812 binary) Found heuristic solution: objective 16.0000000 Root relaxation: objective 2.000000e+00, 1864 iterations, 0.09 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 56 16.00000 2.00000 87.5% - 0s H 0 0 11.0000000 2.00000 81.8% - 0s H 0 0 8.0000000 2.00000 75.0% - 0s 0 0 2.00000 0 56 8.00000 2.00000 75.0% - 0s 0 0 2.00000 0 56 8.00000 2.00000 75.0% - 0s H 0 0 7.0000000 2.00000 71.4% - 0s 0 0 2.00000 0 56 7.00000 2.00000 71.4% - 0s 0 0 2.00000 0 56 7.00000 2.00000 71.4% - 1s 0 0 2.00000 0 56 7.00000 2.00000 71.4% - 1s 0 2 2.00000 0 56 7.00000 2.00000 71.4% - 2s 76 36 6.00000 14 58 7.00000 4.00000 42.9% 310 5s 216 66 5.50000 8 119 7.00000 5.00000 28.6% 283 10s 414 113 6.00000 13 54 7.00000 5.00000 28.6% 228 15s 603 133 6.00000 12 62 7.00000 6.00000 14.3% 184 20s 612 140 6.00000 12 101 7.00000 6.00000 14.3% 209 25s 623 148 6.00000 32 101 7.00000 6.00000 14.3% 232 30s 668 140 6.00000 31 122 7.00000 6.00000 14.3% 240 35s 744 126 6.00000 37 99 7.00000 6.00000 14.3% 260 40s 862 81 infeasible 43 7.00000 6.00000 14.3% 268 45s 976 43 infeasible 43 7.00000 6.00000 14.3% 278 50s 1115 18 6.00000 35 72 7.00000 6.00000 14.3% 280 55s 1232 9 infeasible 42 7.00000 6.00000 14.3% 282 60s Cutting planes: Clique: 1 Explored 1296 nodes (374982 simplex iterations) in 62.75 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%