Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:11:45 2012 Optimize a model with 5830 rows, 153 columns and 11660 nonzeros Presolve removed 4264 rows and 0 columns Presolve time: 0.25s Presolved: 1566 rows, 153 columns, 11559 nonzeros Variable types: 0 continuous, 153 integer (153 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.902310e+01, 778 iterations, 0.06 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 19.02310 0 153 7.00000 19.02310 172% - 0s H 0 0 8.0000000 19.02310 138% - 0s 0 0 18.58444 0 151 8.00000 18.58444 132% - 0s H 0 0 9.0000000 18.58444 106% - 0s 0 0 18.46006 0 153 9.00000 18.46006 105% - 0s 0 0 18.39462 0 153 9.00000 18.39462 104% - 1s 0 0 18.35848 0 153 9.00000 18.35848 104% - 1s 0 0 18.34667 0 153 9.00000 18.34667 104% - 1s 0 0 18.34302 0 153 9.00000 18.34302 104% - 1s 0 0 18.34012 0 153 9.00000 18.34012 104% - 1s 0 2 18.33855 0 153 9.00000 18.33855 104% - 2s 296 229 12.22482 19 68 9.00000 17.52273 94.7% 84.5 5s 605 396 14.08630 3 153 9.00000 15.98538 77.6% 77.5 10s 673 443 12.31511 42 59 9.00000 15.17930 68.7% 112 15s H 778 415 10.0000000 15.17429 51.7% 117 16s 1437 393 cutoff 15 10.00000 13.80170 38.0% 84.0 20s 1872 354 11.75000 12 30 10.00000 12.99170 29.9% 75.7 25s 2659 16 cutoff 43 10.00000 11.31522 13.2% 63.6 30s Cutting planes: Clique: 51 Explored 2680 nodes (170592 simplex iterations) in 30.02 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%