current bounds on the number of colors: 0 -- 81 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:21:37 2012 Optimize a model with 6441 rows, 3399 columns and 22320 nonzeros Presolve removed 1 rows and 40 columns Presolve time: 0.04s Presolved: 6440 rows, 3359 columns, 22280 nonzeros Variable types: 0 continuous, 3359 integer (3359 binary) Root relaxation: objective 0.000000e+00, 202 iterations, 0.00 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 (202 simplex iterations) in 0.05 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 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:21:37 2012 Optimize a model with 3261 rows, 1779 columns and 11160 nonzeros Presolve removed 1 rows and 20 columns Presolve time: 0.01s Presolved: 3260 rows, 1759 columns, 11140 nonzeros Variable types: 0 continuous, 1759 integer (1759 binary) Root relaxation: objective 0.000000e+00, 182 iterations, 0.00 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 (298 simplex iterations) in 0.02 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:21:37 2012 Optimize a model with 1671 rows, 969 columns and 5580 nonzeros Presolve removed 1 rows and 10 columns Presolve time: 0.01s Presolved: 1670 rows, 959 columns, 5570 nonzeros Variable types: 0 continuous, 959 integer (959 binary) Root relaxation: objective 0.000000e+00, 169 iterations, 0.00 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 (280 simplex iterations) in 0.01 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:21:37 2012 Optimize a model with 876 rows, 564 columns and 2790 nonzeros Presolve removed 1 rows and 5 columns Presolve time: 0.00s Presolved: 875 rows, 559 columns, 2785 nonzeros Variable types: 0 continuous, 559 integer (559 binary) Root relaxation: objective 0.000000e+00, 184 iterations, 0.00 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 (281 simplex iterations) in 0.01 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:21:37 2012 Optimize a model with 399 rows, 321 columns and 1116 nonzeros Presolve removed 81 rows and 82 columns Presolve time: 0.00s Presolved: 318 rows, 239 columns, 954 nonzeros Variable types: 0 continuous, 239 integer (239 binary) Root relaxation: objective 0.000000e+00, 85 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 80 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (340 simplex iterations) in 0.00 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:21:37 2012 Optimize a model with 558 rows, 402 columns and 1674 nonzeros Presolve removed 1 rows and 3 columns Presolve time: 0.00s Presolved: 557 rows, 399 columns, 1671 nonzeros Variable types: 0 continuous, 399 integer (399 binary) Root relaxation: objective 0.000000e+00, 209 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 118 - 0.00000 - - 0s 0 0 0.00000 0 110 - 0.00000 - - 0s 0 0 0.00000 0 103 - 0.00000 - - 0s 0 0 0.00000 0 107 - 0.00000 - - 0s 0 0 0.00000 0 100 - 0.00000 - - 0s 0 0 0.00000 0 84 - 0.00000 - - 0s 0 0 0.00000 0 94 - 0.00000 - - 0s 0 0 0.00000 0 116 - 0.00000 - - 0s 0 0 0.00000 0 76 - 0.00000 - - 0s 0 0 0.00000 0 88 - 0.00000 - - 0s 0 0 0.00000 0 120 - 0.00000 - - 0s 0 0 0.00000 0 99 - 0.00000 - - 0s 0 2 0.00000 0 99 - 0.00000 - - 0s Cutting planes: Zero half: 12 Explored 10 nodes (4613 simplex iterations) in 0.26 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:21:37 2012 Optimize a model with 717 rows, 483 columns and 2232 nonzeros Presolve removed 1 rows and 4 columns Presolve time: 0.00s Presolved: 716 rows, 479 columns, 2228 nonzeros Variable types: 0 continuous, 479 integer (479 binary) Root relaxation: objective 0.000000e+00, 176 iterations, 0.00 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 (396 simplex iterations) in 0.01 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: 4