current bounds on the number of colors: 0 -- 209 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:05:39 2012 Optimize a model with 112217 rows, 22813 columns and 357760 nonzeros Presolve time: 0.38s Presolved: 112217 rows, 22813 columns, 357760 nonzeros Variable types: 0 continuous, 22813 integer (22813 binary) Root relaxation: objective 0.000000e+00, 798 iterations, 0.09 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 (1258 simplex iterations) in 0.64 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 -- 104 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:05:41 2012 Optimize a model with 56213 rows, 11945 columns and 178880 nonzeros Presolve time: 0.17s Presolved: 56213 rows, 11945 columns, 178880 nonzeros Variable types: 0 continuous, 11945 integer (11945 binary) Root relaxation: objective 0.000000e+00, 754 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 (1235 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:05:42 2012 Optimize a model with 28211 rows, 6511 columns and 89440 nonzeros Presolve time: 0.12s Presolved: 28211 rows, 6511 columns, 89440 nonzeros Variable types: 0 continuous, 6511 integer (6511 binary) Root relaxation: objective 0.000000e+00, 505 iterations, 0.02 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 (916 simplex iterations) in 0.17 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:05:42 2012 Optimize a model with 14210 rows, 3794 columns and 44720 nonzeros Presolve time: 0.05s Presolved: 14210 rows, 3794 columns, 44720 nonzeros Variable types: 0 continuous, 3794 integer (3794 binary) Root relaxation: objective 0.000000e+00, 441 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 (845 simplex iterations) in 0.08 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:05:43 2012 Optimize a model with 6671 rows, 2331 columns and 20640 nonzeros Presolve time: 0.02s Presolved: 6671 rows, 2331 columns, 20640 nonzeros Variable types: 0 continuous, 2331 integer (2331 binary) Root relaxation: objective 0.000000e+00, 464 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 (1728 simplex iterations) in 0.09 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:05:43 2012 Optimize a model with 3440 rows, 1704 columns and 10320 nonzeros Presolve time: 0.01s Presolved: 3440 rows, 1704 columns, 10320 nonzeros Variable types: 0 continuous, 1704 integer (1704 binary) Root relaxation: objective 0.000000e+00, 461 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 416 - 0.00000 - - 0s 0 0 0.00000 0 416 - 0.00000 - - 0s 0 0 0.00000 0 576 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 28 Zero half: 1076 Explored 0 nodes (8683 simplex iterations) in 1.44 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 3 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:05:44 2012 Optimize a model with 4517 rows, 1913 columns and 13760 nonzeros Presolve time: 0.01s Presolved: 4517 rows, 1913 columns, 13760 nonzeros Variable types: 0 continuous, 1913 integer (1913 binary) Root relaxation: objective 0.000000e+00, 469 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 410 - 0.00000 - - 0s 0 0 0.00000 0 396 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 1s 0 0 0.00000 0 454 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 372 - 0.00000 - - 2s 0 0 0.00000 0 370 - 0.00000 - - 2s 0 0 0.00000 0 368 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 3s 0 0 0.00000 0 366 - 0.00000 - - 4s 0 0 0.00000 0 368 - 0.00000 - - 4s 0 0 0.00000 0 372 - 0.00000 - - 5s 0 0 0.00000 0 372 - 0.00000 - - 5s 0 2 0.00000 0 372 - 0.00000 - - 6s 232 40 0.00000 19 436 - 0.00000 - 178 10s 665 60 infeasible 16 - 0.00000 - 159 15s 805 82 0.00000 10 376 - 0.00000 - 154 20s 808 84 0.00000 12 384 - 0.00000 - 154 26s 810 85 0.00000 20 356 - 0.00000 - 153 31s 812 86 0.00000 20 347 - 0.00000 - 153 36s 814 88 0.00000 13 342 - 0.00000 - 152 40s 816 89 0.00000 14 338 - 0.00000 - 152 45s 957 75 infeasible 27 - 0.00000 - 252 50s 1147 39 infeasible 23 - 0.00000 - 257 55s 1300 32 infeasible 28 - 0.00000 - 268 60s 1479 39 0.00000 29 386 - 0.00000 - 273 65s 1632 24 infeasible 23 - 0.00000 - 280 70s 1806 20 infeasible 34 - 0.00000 - 281 75s 1994 14 0.00000 26 495 - 0.00000 - 280 80s 2174 22 infeasible 28 - 0.00000 - 281 85s 2319 29 infeasible 30 - 0.00000 - 284 90s 2498 22 infeasible 29 - 0.00000 - 284 95s 2668 28 infeasible 31 - 0.00000 - 285 100s 2817 17 infeasible 27 - 0.00000 - 289 105s 2969 13 0.00000 26 494 - 0.00000 - 290 110s 3108 6 0.00000 28 448 - 0.00000 - 293 115s Cutting planes: Gomory: 1 Zero half: 16 Explored 3141 nodes (967182 simplex iterations) in 116.11 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:07:41 2012 Optimize a model with 5594 rows, 2122 columns and 17200 nonzeros Presolve time: 0.02s Presolved: 5594 rows, 2122 columns, 17200 nonzeros Variable types: 0 continuous, 2122 integer (2122 binary) Root relaxation: objective 0.000000e+00, 450 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 194 - 0.00000 - - 0s 0 0 0.00000 0 224 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (9769 simplex iterations) in 1.00 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% optimal solution found: number of colors: 5