current bounds on the number of colors: 0 -- 212 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:11:12 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, 525 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 (979 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:11:14 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, 637 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 (1096 simplex iterations) in 0.30 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:11:15 2012 Optimize a model with 30008 rows, 6658 columns and 94900 nonzeros Presolve time: 0.13s Presolved: 30008 rows, 6658 columns, 94900 nonzeros Variable types: 0 continuous, 6658 integer (6658 binary) Root relaxation: objective 0.000000e+00, 475 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 (849 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:11:16 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, 443 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 (872 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:11:16 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, 457 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 (2997 simplex iterations) in 0.21 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:11:16 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, 483 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 422 - 0.00000 - - 0s 0 0 0.00000 0 422 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6505 simplex iterations) in 0.96 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:11:17 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, 453 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 410 - 0.00000 - - 0s 0 0 0.00000 0 382 - 0.00000 - - 1s 0 0 0.00000 0 613 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 3s 0 0 0.00000 0 376 - 0.00000 - - 4s 0 0 0.00000 0 378 - 0.00000 - - 5s 0 0 0.00000 0 376 - 0.00000 - - 6s 0 0 0.00000 0 376 - 0.00000 - - 7s 0 0 0.00000 0 376 - 0.00000 - - 7s 0 2 0.00000 0 376 - 0.00000 - - 8s 36 18 infeasible 19 - 0.00000 - 350 10s 371 23 0.00000 15 464 - 0.00000 - 182 15s 623 29 0.00000 18 366 - 0.00000 - 182 20s 704 34 0.00000 8 609 - 0.00000 - 182 25s 705 35 0.00000 20 370 - 0.00000 - 182 30s 707 36 0.00000 14 354 - 0.00000 - 182 35s 709 37 0.00000 6 371 - 0.00000 - 181 40s 711 39 0.00000 14 388 - 0.00000 - 181 47s 712 39 0.00000 20 382 - 0.00000 - 180 51s 714 41 0.00000 6 428 - 0.00000 - 180 58s 717 43 infeasible 15 - 0.00000 - 300 60s 723 47 0.00000 18 534 - 0.00000 - 300 65s 783 37 infeasible 26 - 0.00000 - 307 70s 877 13 infeasible 25 - 0.00000 - 317 75s 954 20 0.00000 28 436 - 0.00000 - 329 80s 1030 6 infeasible 24 - 0.00000 - 341 85s 1122 6 infeasible 24 - 0.00000 - 349 90s 1217 9 0.00000 23 400 - 0.00000 - 352 95s Cutting planes: Zero half: 13 Explored 1309 nodes (510719 simplex iterations) in 99.73 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:12:57 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, 456 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 274 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 2s Explored 0 nodes (17134 simplex iterations) in 2.58 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