Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:46:13 2012 Optimize a model with 6272 rows, 159 columns and 12544 nonzeros Presolve removed 4572 rows and 0 columns Presolve time: 0.28s Presolved: 1700 rows, 159 columns, 12497 nonzeros Variable types: 0 continuous, 159 integer (159 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.961505e+01, 713 iterations, 0.06 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 19.61505 0 158 8.00000 19.61505 145% - 0s H 0 0 9.0000000 19.61505 118% - 0s 0 0 19.25631 0 159 9.00000 19.25631 114% - 0s 0 0 19.21414 0 157 9.00000 19.21414 113% - 0s 0 0 19.20812 0 159 9.00000 19.20812 113% - 1s 0 0 19.20439 0 159 9.00000 19.20439 113% - 1s 0 0 19.19167 0 158 9.00000 19.19167 113% - 1s 0 0 19.18766 0 157 9.00000 19.18766 113% - 1s 0 0 19.17820 0 158 9.00000 19.17820 113% - 1s 0 0 19.16124 0 156 9.00000 19.16124 113% - 2s 0 0 19.15317 0 157 9.00000 19.15317 113% - 2s 0 0 19.12694 0 157 9.00000 19.12694 113% - 2s 0 0 19.12110 0 158 9.00000 19.12110 112% - 2s 0 0 19.11862 0 158 9.00000 19.11862 112% - 2s 0 0 19.11403 0 159 9.00000 19.11403 112% - 3s 0 0 19.10648 0 158 9.00000 19.10648 112% - 3s H 0 0 10.0000000 19.10648 91.1% - 3s 0 0 19.10601 0 159 10.00000 19.10601 91.1% - 3s 0 0 19.10498 0 159 10.00000 19.10498 91.0% - 3s 0 0 19.10448 0 159 10.00000 19.10448 91.0% - 4s 0 2 19.10410 0 159 10.00000 19.10410 91.0% - 4s 8 10 18.08725 8 148 10.00000 19.10410 91.0% 121 5s 522 333 13.15211 19 72 10.00000 17.02221 70.2% 84.6 10s 607 382 12.23410 21 158 10.00000 16.61806 66.2% 83.4 15s 657 417 13.32903 38 68 10.00000 16.35278 63.5% 110 20s 1245 489 11.43056 27 37 10.00000 14.58222 45.8% 96.2 25s 1666 474 11.39130 26 37 10.00000 14.02210 40.2% 83.1 30s 2237 544 11.32967 39 38 10.00000 13.35360 33.5% 73.3 35s 3016 392 cutoff 34 10.00000 12.16473 21.6% 65.9 40s Cutting planes: Clique: 54 Explored 3514 nodes (211287 simplex iterations) in 41.39 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%