Gurobi 5.0.1 (linux64) logging started Fri Nov 16 10:44:30 2012 Optimize a model with 15939 rows, 4830 columns and 52371 nonzeros Presolve time: 0.13s Presolved: 15939 rows, 4830 columns, 52583 nonzeros Variable types: 0 continuous, 4830 integer (4830 binary) Found heuristic solution: objective 43.0000000 Root relaxation: objective 2.000000e+00, 4812 iterations, 0.17 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 138 43.00000 2.00000 95.3% - 0s H 0 0 15.0000000 2.00000 86.7% - 0s H 0 0 5.0000000 2.00000 60.0% - 1s 0 0 2.00000 0 138 5.00000 2.00000 60.0% - 4s 0 0 2.00000 0 138 5.00000 2.00000 60.0% - 9s 0 0 2.00000 0 138 5.00000 2.00000 60.0% - 16s 0 0 2.00000 0 138 5.00000 2.00000 60.0% - 24s 0 0 2.00000 0 138 5.00000 2.00000 60.0% - 32s 0 0 2.00000 0 138 5.00000 2.00000 60.0% - 37s 0 2 2.00000 0 138 5.00000 2.00000 60.0% - 59s 1 3 3.00000 1 694 5.00000 2.00000 60.0% 40622 67s 2 4 3.00000 1 715 5.00000 3.00000 40.0% 29326 74s 3 5 3.00000 2 897 5.00000 3.00000 40.0% 20002 75s H 27 8 4.0000000 3.00000 25.0% 2935 79s 31 6 3.00000 2 588 4.00000 3.00000 25.0% 2631 80s 35 6 cutoff 5 4.00000 3.00000 25.0% 2990 88s 36 5 cutoff 5 4.00000 3.00000 25.0% 3651 95s 39 6 cutoff 5 4.00000 3.00000 25.0% 4210 106s 42 5 cutoff 5 4.00000 3.00000 25.0% 4607 113s 43 4 cutoff 5 4.00000 3.00000 25.0% 4887 116s 47 4 cutoff 4 4.00000 3.00000 25.0% 5035 125s 51 2 cutoff 4 4.00000 3.00000 25.0% 5174 131s Cutting planes: Clique: 167 Explored 54 nodes (393557 simplex iterations) in 133.37 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%