current bounds on the number of colors: 0 -- 129 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:24:55 2012 Optimize a model with 51905 rows, 9065 columns and 163584 nonzeros Presolve time: 0.17s Presolved: 51905 rows, 9065 columns, 163584 nonzeros Variable types: 0 continuous, 9065 integer (9065 binary) Root relaxation: objective 0.000000e+00, 328 iterations, 0.06 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (616 simplex iterations) in 0.31 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 64 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:24:56 2012 Optimize a model with 26017 rows, 4937 columns and 81792 nonzeros Presolve time: 0.12s Presolved: 26017 rows, 4937 columns, 81792 nonzeros Variable types: 0 continuous, 4937 integer (4937 binary) Root relaxation: objective 0.000000e+00, 313 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (808 simplex iterations) in 0.20 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:24:56 2012 Optimize a model with 13073 rows, 2873 columns and 40896 nonzeros Presolve time: 0.04s Presolved: 13073 rows, 2873 columns, 40896 nonzeros Variable types: 0 continuous, 2873 integer (2873 binary) Root relaxation: objective 0.000000e+00, 260 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (503 simplex iterations) in 0.07 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:24:56 2012 Optimize a model with 6601 rows, 1841 columns and 20448 nonzeros Presolve time: 0.02s Presolved: 6601 rows, 1841 columns, 20448 nonzeros Variable types: 0 continuous, 1841 integer (1841 binary) Root relaxation: objective 0.000000e+00, 278 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (633 simplex iterations) in 0.04 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:24:56 2012 Optimize a model with 3365 rows, 1325 columns and 10224 nonzeros Presolve time: 0.01s Presolved: 3365 rows, 1325 columns, 10224 nonzeros Variable types: 0 continuous, 1325 integer (1325 binary) Root relaxation: objective 0.000000e+00, 281 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 256 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 365 - 0.00000 - - 2s 0 0 0.00000 0 357 - 0.00000 - - 2s 0 0 0.00000 0 361 - 0.00000 - - 3s 0 0 0.00000 0 361 - 0.00000 - - 4s 0 0 0.00000 0 358 - 0.00000 - - 4s 0 0 0.00000 0 354 - 0.00000 - - 5s 0 0 0.00000 0 365 - 0.00000 - - 5s 0 0 0.00000 0 365 - 0.00000 - - 6s 0 2 0.00000 0 365 - 0.00000 - - 7s Cutting planes: Clique: 17 Zero half: 29 Explored 29 nodes (40885 simplex iterations) in 8.05 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:25:05 2012 Optimize a model with 4983 rows, 1583 columns and 15336 nonzeros Presolve time: 0.01s Presolved: 4983 rows, 1583 columns, 15336 nonzeros Variable types: 0 continuous, 1583 integer (1583 binary) Root relaxation: objective 0.000000e+00, 278 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1682 simplex iterations) in 0.11 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:25:05 2012 Optimize a model with 4174 rows, 1454 columns and 12780 nonzeros Presolve time: 0.01s Presolved: 4174 rows, 1454 columns, 12780 nonzeros Variable types: 0 continuous, 1454 integer (1454 binary) Root relaxation: objective 0.000000e+00, 273 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 168 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 1s 0 0 0.00000 0 307 - 0.00000 - - 1s 0 0 0.00000 0 274 - 0.00000 - - 1s 0 0 0.00000 0 298 - 0.00000 - - 2s 0 0 0.00000 0 272 - 0.00000 - - 3s 0 0 0.00000 0 347 - 0.00000 - - 3s 0 0 0.00000 0 347 - 0.00000 - - 3s 0 2 0.00000 0 347 - 0.00000 - - 4s 58 26 0.00000 18 240 - 0.00000 - 143 5s 606 89 0.00000 17 322 - 0.00000 - 76.5 10s 610 92 0.00000 28 313 - 0.00000 - 76.0 16s 800 79 0.00000 24 191 - 0.00000 - 133 20s 1416 37 infeasible 28 - 0.00000 - 137 25s 1916 53 infeasible 26 - 0.00000 - 145 30s 2367 78 infeasible 29 - 0.00000 - 151 35s 2749 144 0.00000 32 274 - 0.00000 - 156 40s 3103 168 infeasible 34 - 0.00000 - 161 45s 3490 157 infeasible 37 - 0.00000 - 165 50s 3882 151 infeasible 35 - 0.00000 - 168 55s 4352 203 infeasible 28 - 0.00000 - 168 60s 4808 267 0.00000 25 212 - 0.00000 - 168 65s 5274 303 0.00000 32 239 - 0.00000 - 168 70s 5761 342 0.00000 38 208 - 0.00000 - 168 75s 6220 319 0.00000 31 198 - 0.00000 - 169 80s 6674 311 infeasible 29 - 0.00000 - 169 85s 7105 306 0.00000 31 194 - 0.00000 - 170 90s 7536 327 0.00000 32 227 - 0.00000 - 170 95s 7966 335 infeasible 32 - 0.00000 - 171 100s 8476 429 infeasible 33 - 0.00000 - 170 105s 8958 475 0.00000 33 260 - 0.00000 - 170 110s 9427 536 0.00000 31 188 - 0.00000 - 170 115s 9909 578 0.00000 37 243 - 0.00000 - 170 120s 10392 605 infeasible 30 - 0.00000 - 171 125s 10871 626 0.00000 35 224 - 0.00000 - 171 130s 11349 632 infeasible 38 - 0.00000 - 171 135s 11801 648 0.00000 36 210 - 0.00000 - 171 140s 12295 640 infeasible 30 - 0.00000 - 171 145s 12811 630 infeasible 32 - 0.00000 - 171 150s 13354 673 infeasible 31 - 0.00000 - 170 155s 13838 701 infeasible 30 - 0.00000 - 170 160s 14215 712 infeasible 31 - 0.00000 - 171 165s 14701 722 infeasible 34 - 0.00000 - 171 170s 15136 697 0.00000 33 255 - 0.00000 - 172 175s 15608 709 infeasible 39 - 0.00000 - 172 180s 16046 705 infeasible 34 - 0.00000 - 172 185s 16480 699 infeasible 35 - 0.00000 - 172 190s 16972 707 infeasible 34 - 0.00000 - 172 195s 17469 696 infeasible 32 - 0.00000 - 172 200s 17942 697 0.00000 33 263 - 0.00000 - 172 205s 18356 669 0.00000 40 194 - 0.00000 - 172 210s 18792 673 infeasible 35 - 0.00000 - 172 215s 19217 654 0.00000 32 256 - 0.00000 - 173 220s 19638 651 0.00000 34 264 - 0.00000 - 173 225s 20085 640 infeasible 30 - 0.00000 - 173 230s 20506 633 infeasible 36 - 0.00000 - 174 235s 20978 617 infeasible 33 - 0.00000 - 174 240s 21428 591 infeasible 30 - 0.00000 - 174 245s 21860 579 0.00000 33 208 - 0.00000 - 174 250s 22262 577 infeasible 34 - 0.00000 - 174 255s 22709 558 infeasible 36 - 0.00000 - 174 260s 23147 552 infeasible 33 - 0.00000 - 174 265s 23637 526 infeasible 36 - 0.00000 - 174 270s 24093 524 infeasible 34 - 0.00000 - 175 275s 24555 520 infeasible 32 - 0.00000 - 175 280s 24978 509 infeasible 36 - 0.00000 - 175 285s Cutting planes: Zero half: 9 Explored 25305 nodes (4455286 simplex iterations) in 288.76 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 6