Gurobi 5.0.1 (linux64) logging started Fri Nov 16 06:54:10 2012 Optimize a model with 12060 rows, 3660 columns and 39600 nonzeros Presolve time: 0.09s Presolved: 12060 rows, 3660 columns, 39886 nonzeros Variable types: 0 continuous, 3660 integer (3660 binary) Found heuristic solution: objective 43.0000000 Root relaxation: objective 2.000000e+00, 3555 iterations, 0.13 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 120 43.00000 2.00000 95.3% - 1s H 0 0 13.0000000 2.00000 84.6% - 1s H 0 0 5.0000000 2.00000 60.0% - 1s 0 0 2.00000 0 120 5.00000 2.00000 60.0% - 2s 0 0 2.00000 0 120 5.00000 2.00000 60.0% - 6s 0 0 2.00000 0 120 5.00000 2.00000 60.0% - 12s 0 0 2.00000 0 120 5.00000 2.00000 60.0% - 17s 0 0 2.00000 0 120 5.00000 2.00000 60.0% - 22s 0 0 2.00000 0 120 5.00000 2.00000 60.0% - 25s 0 2 2.00000 0 120 5.00000 2.00000 60.0% - 44s 1 3 3.00000 1 528 5.00000 2.00000 60.0% 27908 51s 2 4 3.00000 1 579 5.00000 3.00000 40.0% 22502 59s 5 5 3.00000 3 116 5.00000 3.00000 40.0% 9661 60s 19 7 3.09091 4 271 5.00000 3.00000 40.0% 3567 66s 21 9 3.20000 5 309 5.00000 3.00000 40.0% 3791 70s 24 12 3.20000 7 274 5.00000 3.00000 40.0% 4008 75s * 42 8 20 4.0000000 3.00000 25.0% 2397 76s 47 3 cutoff 5 4.00000 3.00000 25.0% 2508 81s 53 3 cutoff 6 4.00000 3.00000 25.0% 2519 85s 57 3 cutoff 7 4.00000 3.00000 25.0% 2727 91s 75 3 3.00000 2 710 4.00000 3.00000 25.0% 2221 95s 96 4 cutoff 7 4.00000 3.00000 25.0% 1967 100s 106 0 cutoff 5 4.00000 4.00000 0.0% 2003 105s Cutting planes: Clique: 148 Explored 107 nodes (280247 simplex iterations) in 105.41 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%