Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:24:54 2012 Optimize a model with 6054 rows, 156 columns and 12108 nonzeros Presolve removed 4451 rows and 0 columns Presolve time: 0.24s Presolved: 1603 rows, 156 columns, 11892 nonzeros Variable types: 0 continuous, 156 integer (156 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.928883e+01, 751 iterations, 0.06 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 19.28883 0 154 7.00000 19.28883 176% - 0s H 0 0 8.0000000 19.28883 141% - 0s 0 0 18.88465 0 155 8.00000 18.88465 136% - 0s 0 0 18.75463 0 156 8.00000 18.75463 134% - 0s 0 0 18.66986 0 155 8.00000 18.66986 133% - 1s 0 0 18.65447 0 156 8.00000 18.65447 133% - 1s 0 0 18.64103 0 156 8.00000 18.64103 133% - 1s 0 0 18.62745 0 156 8.00000 18.62745 133% - 1s 0 0 18.62517 0 156 8.00000 18.62517 133% - 1s 0 0 18.62460 0 156 8.00000 18.62460 133% - 2s H 0 0 9.0000000 18.62460 107% - 2s 0 0 18.62447 0 156 9.00000 18.62447 107% - 2s 0 2 18.62423 0 156 9.00000 18.62423 107% - 3s 211 174 13.72944 10 76 9.00000 18.07588 101% 90.6 5s * 399 257 16 10.0000000 17.22335 72.2% 84.6 6s 601 342 13.81666 9 156 10.00000 16.30883 63.1% 84.5 11s 615 353 16.30883 16 153 10.00000 16.30883 63.1% 88.7 15s 820 402 cutoff 28 10.00000 15.00792 50.1% 120 20s 1552 382 11.68805 38 60 10.00000 13.87649 38.8% 84.9 25s 1916 377 cutoff 62 10.00000 13.07993 30.8% 78.5 30s Cutting planes: Clique: 52 Explored 2830 nodes (181926 simplex iterations) in 34.14 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 1.000000000000e+01, best bound 1.000000000000e+01, gap 0.0%