current bounds on the number of colors: 0 -- 155 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:56:17 2012 Optimize a model with 48588 rows, 12564 columns and 157234 nonzeros Presolve time: 0.17s Presolved: 48588 rows, 12564 columns, 157234 nonzeros Variable types: 0 continuous, 12564 integer (12564 binary) Root relaxation: objective 0.000000e+00, 546 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 (906 simplex iterations) in 0.28 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 -- 77 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:56:18 2012 Optimize a model with 24057 rows, 6519 columns and 77596 nonzeros Presolve time: 0.12s Presolved: 24057 rows, 6519 columns, 77596 nonzeros Variable types: 0 continuous, 6519 integer (6519 binary) Root relaxation: objective 0.000000e+00, 462 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 (816 simplex iterations) in 0.19 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 -- 38 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:56:18 2012 Optimize a model with 12106 rows, 3574 columns and 38798 nonzeros Presolve time: 0.05s Presolved: 12106 rows, 3574 columns, 38798 nonzeros Variable types: 0 continuous, 3574 integer (3574 binary) Root relaxation: objective 0.000000e+00, 318 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 (606 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 -- 19 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:56:18 2012 Optimize a model with 5816 rows, 2024 columns and 18378 nonzeros Presolve time: 0.02s Presolved: 5816 rows, 2024 columns, 18378 nonzeros Variable types: 0 continuous, 2024 integer (2024 binary) Root relaxation: objective 0.000000e+00, 339 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 (649 simplex iterations) in 0.03 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:56:18 2012 Optimize a model with 2671 rows, 1249 columns and 8168 nonzeros Presolve time: 0.01s Presolved: 2671 rows, 1249 columns, 8168 nonzeros Variable types: 0 continuous, 1249 integer (1249 binary) Root relaxation: objective 0.000000e+00, 358 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 280 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 0s 0 0 0.00000 0 303 - 0.00000 - - 0s 0 0 0.00000 0 272 - 0.00000 - - 0s 0 0 0.00000 0 268 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 1s 0 0 0.00000 0 250 - 0.00000 - - 1s 0 0 0.00000 0 253 - 0.00000 - - 1s 0 0 0.00000 0 260 - 0.00000 - - 1s 0 0 0.00000 0 242 - 0.00000 - - 1s 0 2 0.00000 0 242 - 0.00000 - - 1s * 250 1 21 0.0000000 0.00000 0.0% 79.4 2s Cutting planes: Zero half: 24 Explored 251 nodes (41446 simplex iterations) in 2.69 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 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:56:21 2012 Optimize a model with 1413 rows, 939 columns and 4084 nonzeros Presolve removed 155 rows and 155 columns Presolve time: 0.00s Presolved: 1258 rows, 784 columns, 3774 nonzeros Variable types: 0 continuous, 784 integer (784 binary) Root relaxation: objective 0.000000e+00, 165 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 155 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (641 simplex iterations) in 0.01 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: 2 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:56:21 2012 Optimize a model with 2042 rows, 1094 columns and 6126 nonzeros Presolve time: 0.01s Presolved: 2042 rows, 1094 columns, 6126 nonzeros Variable types: 0 continuous, 1094 integer (1094 binary) Root relaxation: objective 0.000000e+00, 360 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 310 - 0.00000 - - 0s 0 0 0.00000 0 302 - 0.00000 - - 0s 0 0 0.00000 0 419 - 0.00000 - - 0s 0 0 0.00000 0 432 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 0s 0 0 0.00000 0 415 - 0.00000 - - 1s 0 0 0.00000 0 423 - 0.00000 - - 1s 0 0 0.00000 0 423 - 0.00000 - - 2s 0 0 0.00000 0 420 - 0.00000 - - 2s 0 2 0.00000 0 420 - 0.00000 - - 2s Cutting planes: Zero half: 22 Explored 3 nodes (16943 simplex iterations) in 2.36 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 4