Gurobi 5.0.1 (linux64) logging started Fri Nov 16 16:14:49 2012 Optimize a model with 12825 rows, 5700 columns and 43875 nonzeros Presolve removed 1125 rows and 0 columns Presolve time: 0.27s Presolved: 11700 rows, 5700 columns, 41100 nonzeros Variable types: 0 continuous, 5700 integer (5700 binary) Found heuristic solution: objective 45.0000000 Root relaxation: objective 3.000000e+00, 10798 iterations, 1.53 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 3.00000 0 121 45.00000 3.00000 93.3% - 4s H 0 0 4.0000000 3.00000 25.0% - 4s 0 0 3.00000 0 121 4.00000 3.00000 25.0% - 5s 0 0 3.00000 0 127 4.00000 3.00000 25.0% - 7s 0 0 3.00000 0 100 4.00000 3.00000 25.0% - 9s 0 0 3.00000 0 88 4.00000 3.00000 25.0% - 9s 0 0 3.00000 0 94 4.00000 3.00000 25.0% - 10s 0 0 3.00000 0 100 4.00000 3.00000 25.0% - 12s 0 0 3.00000 0 129 4.00000 3.00000 25.0% - 14s 0 0 3.00000 0 129 4.00000 3.00000 25.0% - 14s 0 2 3.00000 0 129 4.00000 3.00000 25.0% - 15s 4 4 3.00000 1 70 4.00000 3.00000 25.0% 588 22s 6 6 3.00000 1 110 4.00000 3.00000 25.0% 392 29s 7 6 3.00000 1 116 4.00000 3.00000 25.0% 336 31s 10 8 3.00000 1 123 4.00000 3.00000 25.0% 235 39s 11 9 3.00000 1 122 4.00000 3.00000 25.0% 214 42s 13 10 3.00000 1 87 4.00000 3.00000 25.0% 181 45s 14 11 3.00000 1 108 4.00000 3.00000 25.0% 168 53s 15 12 3.00000 1 108 4.00000 3.00000 25.0% 157 55s 18 14 3.00000 15 109 4.00000 3.00000 25.0% 11630 61s 20 15 3.00000 16 114 4.00000 3.00000 25.0% 10537 65s 24 14 infeasible 18 4.00000 3.00000 25.0% 9034 70s 41 6 infeasible 21 4.00000 3.00000 25.0% 5897 75s Cutting planes: Zero half: 25 Explored 44 nodes (342066 simplex iterations) in 75.73 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 4.000000000000e+00, best bound 4.000000000000e+00, gap 0.0%