current bounds on the number of colors: 0 -- 212 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:01:40 2012 Optimize a model with 121688 rows, 23618 columns and 386900 nonzeros Presolve time: 0.42s Presolved: 121688 rows, 23618 columns, 386900 nonzeros Variable types: 0 continuous, 23618 integer (23618 binary) Root relaxation: objective 0.000000e+00, 537 iterations, 0.15 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 (987 simplex iterations) in 0.74 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 -- 106 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:01:42 2012 Optimize a model with 60950 rows, 12382 columns and 193450 nonzeros Presolve time: 0.17s Presolved: 60950 rows, 12382 columns, 193450 nonzeros Variable types: 0 continuous, 12382 integer (12382 binary) Root relaxation: objective 0.000000e+00, 607 iterations, 0.04 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 (1349 simplex iterations) in 0.35 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:01:43 2012 Optimize a model with 30008 rows, 6658 columns and 94900 nonzeros Presolve time: 0.12s Presolved: 30008 rows, 6658 columns, 94900 nonzeros Variable types: 0 continuous, 6658 integer (6658 binary) Root relaxation: objective 0.000000e+00, 490 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 (948 simplex iterations) in 0.18 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 14:01:44 2012 Optimize a model with 15110 rows, 3902 columns and 47450 nonzeros Presolve time: 0.05s Presolved: 15110 rows, 3902 columns, 47450 nonzeros Variable types: 0 continuous, 3902 integer (3902 binary) Root relaxation: objective 0.000000e+00, 439 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 (892 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 14:01:44 2012 Optimize a model with 7088 rows, 2418 columns and 21900 nonzeros Presolve time: 0.02s Presolved: 7088 rows, 2418 columns, 21900 nonzeros Variable types: 0 continuous, 2418 integer (2418 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2630 simplex iterations) in 0.16 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 14:01:44 2012 Optimize a model with 3650 rows, 1782 columns and 10950 nonzeros Presolve time: 0.01s Presolved: 3650 rows, 1782 columns, 10950 nonzeros Variable types: 0 continuous, 1782 integer (1782 binary) Root relaxation: objective 0.000000e+00, 481 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 320 - 0.00000 - - 0s 0 0 0.00000 0 418 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (8699 simplex iterations) in 1.05 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 14:01:45 2012 Optimize a model with 4796 rows, 1994 columns and 14600 nonzeros Presolve time: 0.01s Presolved: 4796 rows, 1994 columns, 14600 nonzeros Variable types: 0 continuous, 1994 integer (1994 binary) Root relaxation: objective 0.000000e+00, 481 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 418 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 0s 0 0 0.00000 0 547 - 0.00000 - - 1s 0 0 0.00000 0 557 - 0.00000 - - 2s 0 0 0.00000 0 420 - 0.00000 - - 4s 0 0 0.00000 0 463 - 0.00000 - - 5s 0 0 0.00000 0 537 - 0.00000 - - 6s 0 0 0.00000 0 507 - 0.00000 - - 8s 0 0 0.00000 0 543 - 0.00000 - - 9s 0 0 0.00000 0 530 - 0.00000 - - 11s 0 0 0.00000 0 510 - 0.00000 - - 13s 0 0 0.00000 0 533 - 0.00000 - - 14s 0 0 0.00000 0 533 - 0.00000 - - 14s 0 2 0.00000 0 533 - 0.00000 - - 16s 99 18 0.00000 17 490 - 0.00000 - 284 20s 289 19 0.00000 16 406 - 0.00000 - 251 25s 510 12 infeasible 19 - 0.00000 - 232 30s 726 17 0.00000 18 370 - 0.00000 - 228 35s 906 11 0.00000 8 483 - 0.00000 - 232 40s 1079 8 infeasible 14 - 0.00000 - 236 45s 1279 18 infeasible 16 - 0.00000 - 237 50s 1404 25 0.00000 8 559 - 0.00000 - 233 56s 1405 26 0.00000 16 522 - 0.00000 - 233 60s 1407 27 0.00000 10 518 - 0.00000 - 233 67s 1408 28 0.00000 7 510 - 0.00000 - 233 70s 1410 29 0.00000 13 538 - 0.00000 - 232 77s 1411 30 0.00000 16 526 - 0.00000 - 232 82s 1412 30 0.00000 20 525 - 0.00000 - 232 86s 1415 32 0.00000 12 522 - 0.00000 - 232 91s 1463 36 0.00000 22 392 - 0.00000 - 275 95s 1573 11 infeasible 23 - 0.00000 - 282 100s 1675 5 infeasible 20 - 0.00000 - 289 105s Cutting planes: Gomory: 1 Clique: 2 Zero half: 26 Explored 1751 nodes (590259 simplex iterations) in 109.95 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 14:03:35 2012 Optimize a model with 5942 rows, 2206 columns and 18250 nonzeros Presolve time: 0.02s Presolved: 5942 rows, 2206 columns, 18250 nonzeros Variable types: 0 continuous, 2206 integer (2206 binary) Root relaxation: objective 0.000000e+00, 468 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 338 - 0.00000 - - 0s 0 0 0.00000 0 311 - 0.00000 - - 1s 0 0 0.00000 0 366 - 0.00000 - - 2s 0 0 0.00000 0 360 - 0.00000 - - 2s 0 0 0.00000 0 466 - 0.00000 - - 2s 0 0 0.00000 0 324 - 0.00000 - - 2s 0 0 0.00000 0 314 - 0.00000 - - 3s 0 0 0.00000 0 280 - 0.00000 - - 3s 0 0 0.00000 0 260 - 0.00000 - - 4s 0 0 0.00000 0 268 - 0.00000 - - 4s 0 0 0.00000 0 266 - 0.00000 - - 4s 0 0 0.00000 0 254 - 0.00000 - - 4s 0 0 0.00000 0 256 - 0.00000 - - 5s * 0 0 0 0.0000000 0.00000 0.0% - 5s Cutting planes: Zero half: 128 Explored 0 nodes (45797 simplex iterations) in 5.63 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