Gurobi 5.0.1 (linux64) logging started Fri Nov 16 02:09:24 2012 Optimize a model with 8000 rows, 1056 columns and 24928 nonzeros Presolve time: 0.06s Presolved: 8000 rows, 1056 columns, 30304 nonzeros Variable types: 0 continuous, 1056 integer (1056 binary) Found heuristic solution: objective 18.0000000 Root relaxation: objective 2.000000e+00, 1940 iterations, 0.10 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 64 18.00000 2.00000 88.9% - 0s H 0 0 10.0000000 2.00000 80.0% - 0s H 0 0 9.0000000 2.00000 77.8% - 0s 0 0 2.00000 0 64 9.00000 2.00000 77.8% - 0s H 0 0 8.0000000 2.00000 75.0% - 0s 0 0 2.00000 0 64 8.00000 2.00000 75.0% - 1s 0 0 2.00000 0 64 8.00000 2.00000 75.0% - 1s 0 0 2.00000 0 64 8.00000 2.00000 75.0% - 2s 0 0 2.00000 0 64 8.00000 2.00000 75.0% - 3s 0 0 2.00000 0 64 8.00000 2.00000 75.0% - 3s H 0 0 7.0000000 2.00000 71.4% - 4s 0 2 2.00000 0 64 7.00000 2.00000 71.4% - 5s 23 17 4.00000 3 86 7.00000 3.00000 57.1% 1292 10s 95 43 6.00000 8 126 7.00000 4.00000 42.9% 686 15s 197 74 6.00000 9 46 7.00000 4.50000 35.7% 500 20s 451 124 5.50000 7 64 7.00000 5.00000 28.6% 292 25s 584 151 6.00000 13 54 7.00000 5.00000 28.6% 279 31s 604 163 6.00000 18 158 7.00000 6.00000 14.3% 271 35s 610 168 6.00000 18 92 7.00000 6.00000 14.3% 310 42s 613 172 6.00000 25 130 7.00000 6.00000 14.3% 341 46s 616 174 6.00000 26 107 7.00000 6.00000 14.3% 343 50s 625 174 6.00000 31 142 7.00000 6.00000 14.3% 348 55s 645 170 6.00000 31 143 7.00000 6.00000 14.3% 357 60s 683 167 6.00000 35 148 7.00000 6.00000 14.3% 374 65s 726 152 infeasible 30 7.00000 6.00000 14.3% 379 70s 789 138 6.00000 35 133 7.00000 6.00000 14.3% 384 75s 834 118 6.00000 34 108 7.00000 6.00000 14.3% 400 80s 891 98 6.00000 35 162 7.00000 6.00000 14.3% 413 85s 965 65 6.00000 34 56 7.00000 6.00000 14.3% 410 90s 1001 45 infeasible 39 7.00000 6.00000 14.3% 414 95s 1032 30 infeasible 37 7.00000 7.00000 0.0% 424 100s Explored 1033 nodes (450890 simplex iterations) in 100.13 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%