Gurobi 5.0.1 (linux64) logging started Fri Nov 16 11:54:45 2012 Optimize a model with 19738 rows, 5112 columns and 64042 nonzeros Presolve time: 0.15s Presolved: 19738 rows, 5112 columns, 64145 nonzeros Variable types: 0 continuous, 5112 integer (5112 binary) Found heuristic solution: objective 43.0000000 Root relaxation: objective 2.000000e+00, 6073 iterations, 0.48 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 142 43.00000 2.00000 95.3% - 3s H 0 0 22.0000000 2.00000 90.9% - 3s H 0 0 5.0000000 2.00000 60.0% - 3s 0 0 2.00000 0 142 5.00000 2.00000 60.0% - 5s 0 0 2.00000 0 142 5.00000 2.00000 60.0% - 15s 0 0 2.00000 0 142 5.00000 2.00000 60.0% - 28s 0 0 2.00000 0 142 5.00000 2.00000 60.0% - 37s 0 0 2.00000 0 142 5.00000 2.00000 60.0% - 45s 0 0 2.00000 0 142 5.00000 2.00000 60.0% - 54s 0 2 2.00000 0 142 5.00000 2.00000 60.0% - 84s 1 3 3.00000 1 703 5.00000 2.00000 60.0% 51454 100s 2 4 3.00000 1 838 5.00000 3.00000 40.0% 39726 113s 4 6 3.16667 3 520 5.00000 3.00000 40.0% 28289 125s 5 7 3.33333 3 631 5.00000 3.00000 40.0% 26979 133s 11 5 3.33333 4 224 5.00000 3.00000 40.0% 12935 135s 27 17 4.00000 18 95 5.00000 3.00000 40.0% 5556 142s * 31 5 21 4.0000000 3.00000 25.0% 4842 142s 37 3 3.00000 3 138 4.00000 3.00000 25.0% 4345 145s Cutting planes: Clique: 179 Zero half: 16 Explored 41 nodes (312149 simplex iterations) in 149.43 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%