current bounds on the number of colors: 0 -- 197 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:56:20 2012 Optimize a model with 94767 rows, 20271 columns and 303016 nonzeros Presolve time: 0.31s Presolved: 94767 rows, 20271 columns, 303016 nonzeros Variable types: 0 continuous, 20271 integer (20271 binary) Root relaxation: objective 0.000000e+00, 741 iterations, 0.08 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 (1171 simplex iterations) in 0.53 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 -- 98 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:56:21 2012 Optimize a model with 47482 rows, 10618 columns and 151508 nonzeros Presolve time: 0.16s Presolved: 47482 rows, 10618 columns, 151508 nonzeros Variable types: 0 continuous, 10618 integer (10618 binary) Root relaxation: objective 0.000000e+00, 624 iterations, 0.05 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 (1059 simplex iterations) in 0.27 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:56:22 2012 Optimize a model with 23357 rows, 5693 columns and 74208 nonzeros Presolve time: 0.09s Presolved: 23357 rows, 5693 columns, 74208 nonzeros Variable types: 0 continuous, 5693 integer (5693 binary) Root relaxation: objective 0.000000e+00, 438 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 (807 simplex iterations) in 0.14 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:56:23 2012 Optimize a model with 11777 rows, 3329 columns and 37104 nonzeros Presolve time: 0.04s Presolved: 11777 rows, 3329 columns, 37104 nonzeros Variable types: 0 continuous, 3329 integer (3329 binary) Root relaxation: objective 0.000000e+00, 419 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 (815 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:56:23 2012 Optimize a model with 5987 rows, 2147 columns and 18552 nonzeros Presolve time: 0.02s Presolved: 5987 rows, 2147 columns, 18552 nonzeros Variable types: 0 continuous, 2147 integer (2147 binary) Root relaxation: objective 0.000000e+00, 437 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 (1891 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: 0 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:56:23 2012 Optimize a model with 3092 rows, 1556 columns and 9276 nonzeros Presolve time: 0.01s Presolved: 3092 rows, 1556 columns, 9276 nonzeros Variable types: 0 continuous, 1556 integer (1556 binary) Root relaxation: objective 0.000000e+00, 434 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 388 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 0s 0 0 0.00000 0 515 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 17 Zero half: 1118 Explored 0 nodes (8868 simplex iterations) in 1.07 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 07:56:24 2012 Optimize a model with 4057 rows, 1753 columns and 12368 nonzeros Presolve time: 0.01s Presolved: 4057 rows, 1753 columns, 12368 nonzeros Variable types: 0 continuous, 1753 integer (1753 binary) Root relaxation: objective 0.000000e+00, 440 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 376 - 0.00000 - - 0s 0 0 0.00000 0 382 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 476 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 1s 0 0 0.00000 0 340 - 0.00000 - - 2s 0 0 0.00000 0 338 - 0.00000 - - 3s 0 0 0.00000 0 332 - 0.00000 - - 3s 0 0 0.00000 0 332 - 0.00000 - - 4s 0 0 0.00000 0 344 - 0.00000 - - 4s 0 0 0.00000 0 330 - 0.00000 - - 5s 0 0 0.00000 0 320 - 0.00000 - - 5s 0 0 0.00000 0 318 - 0.00000 - - 6s 0 0 0.00000 0 308 - 0.00000 - - 6s 0 0 0.00000 0 310 - 0.00000 - - 7s 0 0 0.00000 0 310 - 0.00000 - - 7s 0 2 0.00000 0 310 - 0.00000 - - 8s 121 65 0.00000 7 447 - 0.00000 - 175 10s 604 152 0.00000 26 471 - 0.00000 - 134 15s 608 155 0.00000 14 328 - 0.00000 - 133 21s 611 157 0.00000 26 310 - 0.00000 - 133 26s 613 158 0.00000 13 325 - 0.00000 - 132 30s 616 160 0.00000 23 278 - 0.00000 - 132 35s 673 166 0.00000 14 409 - 0.00000 - 253 40s 934 98 0.00000 25 362 - 0.00000 - 253 45s 1186 39 0.00000 23 353 - 0.00000 - 255 50s 1463 42 0.00000 24 350 - 0.00000 - 255 55s 1762 37 0.00000 25 354 - 0.00000 - 252 60s 2027 28 infeasible 20 - 0.00000 - 253 65s 2298 11 0.00000 22 414 - 0.00000 - 252 70s Cutting planes: Gomory: 1 Zero half: 11 Explored 2362 nodes (654954 simplex iterations) in 71.45 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 07:57:36 2012 Optimize a model with 5022 rows, 1950 columns and 15460 nonzeros Presolve time: 0.01s Presolved: 5022 rows, 1950 columns, 15460 nonzeros Variable types: 0 continuous, 1950 integer (1950 binary) Root relaxation: objective 0.000000e+00, 428 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 106 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (5113 simplex iterations) in 0.44 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