Gurobi 5.0.1 (linux64) logging started Fri Nov 16 16:42:13 2012 Optimize a model with 13494 rows, 6162 columns and 46332 nonzeros Presolve removed 2419 rows and 78 columns Presolve time: 0.29s Presolved: 11075 rows, 6084 columns, 40560 nonzeros Variable types: 0 continuous, 6084 integer (6084 binary) Found heuristic solution: objective 47.0000000 Root relaxation: objective 3.000000e+00, 12376 iterations, 2.77 seconds Total elapsed time = 5.44s Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 3.00000 0 121 47.00000 3.00000 93.6% - 7s H 0 0 4.0000000 3.00000 25.0% - 7s 0 0 3.00000 0 180 4.00000 3.00000 25.0% - 8s 0 0 3.00000 0 136 4.00000 3.00000 25.0% - 18s 0 0 3.00000 0 140 4.00000 3.00000 25.0% - 25s 0 0 3.00000 0 120 4.00000 3.00000 25.0% - 33s 0 0 3.00000 0 154 4.00000 3.00000 25.0% - 45s 0 0 3.00000 0 203 4.00000 3.00000 25.0% - 57s 0 0 3.00000 0 263 4.00000 3.00000 25.0% - 63s 0 0 3.00000 0 126 4.00000 3.00000 25.0% - 69s 0 2 3.00000 0 126 4.00000 3.00000 25.0% - 72s 4 4 3.00000 1 128 4.00000 3.00000 25.0% 2212 84s 5 5 3.00000 1 127 4.00000 3.00000 25.0% 1770 96s 6 6 3.00000 1 130 4.00000 3.00000 25.0% 1475 102s 7 6 3.00000 1 123 4.00000 3.00000 25.0% 1264 117s 8 7 3.00000 1 94 4.00000 3.00000 25.0% 1106 127s 9 8 3.00000 1 149 4.00000 3.00000 25.0% 983 133s 10 8 3.00000 1 156 4.00000 3.00000 25.0% 885 143s 11 9 3.00000 1 128 4.00000 3.00000 25.0% 804 146s 12 10 3.00000 1 168 4.00000 3.00000 25.0% 737 161s 13 10 3.00000 1 168 4.00000 3.00000 25.0% 681 168s 15 12 infeasible 11 4.00000 3.00000 25.0% 20831 182s 16 12 3.00000 11 182 4.00000 3.00000 25.0% 19705 191s 18 12 3.00000 12 137 4.00000 3.00000 25.0% 17524 197s 19 12 3.00000 13 120 4.00000 3.00000 25.0% 16688 202s 20 13 3.00000 13 116 4.00000 3.00000 25.0% 15926 208s 22 10 infeasible 14 4.00000 3.00000 25.0% 14722 210s 24 10 3.00000 14 120 4.00000 3.00000 25.0% 13641 216s Cutting planes: Gomory: 1 Zero half: 8 Explored 27 nodes (597762 simplex iterations) in 218.98 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%