current bounds on the number of colors: 0 -- 155 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:43 2012 Optimize a model with 11705 rows, 12085 columns and 46585 nonzeros Presolve removed 24 rows and 1848 columns Presolve time: 0.11s Presolved: 11681 rows, 10237 columns, 44737 nonzeros Variable types: 0 continuous, 10237 integer (10237 binary) Root relaxation: objective 0.000000e+00, 239 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 (239 simplex iterations) in 0.12 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 Sat Dec 15 16:20:43 2012 Optimize a model with 5855 rows, 6040 columns and 22990 nonzeros Presolve removed 24 rows and 912 columns Presolve time: 0.05s Presolved: 5831 rows, 5128 columns, 22078 nonzeros Variable types: 0 continuous, 5128 integer (5128 binary) Root relaxation: objective 0.000000e+00, 242 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 (242 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 -- 38 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:43 2012 Optimize a model with 3005 rows, 3095 columns and 11495 nonzeros Presolve removed 24 rows and 456 columns Presolve time: 0.02s Presolved: 2981 rows, 2639 columns, 11039 nonzeros Variable types: 0 continuous, 2639 integer (2639 binary) Root relaxation: objective 0.000000e+00, 239 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 (239 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 -- 19 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:43 2012 Optimize a model with 1505 rows, 1545 columns and 5445 nonzeros Presolve removed 24 rows and 216 columns Presolve time: 0.01s Presolved: 1481 rows, 1329 columns, 5229 nonzeros Variable types: 0 continuous, 1329 integer (1329 binary) Root relaxation: objective 0.000000e+00, 245 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 (245 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 -- 9 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:43 2012 Optimize a model with 755 rows, 770 columns and 2420 nonzeros Presolve removed 24 rows and 96 columns Presolve time: 0.00s Presolved: 731 rows, 674 columns, 2324 nonzeros Variable types: 0 continuous, 674 integer (674 binary) Root relaxation: objective 0.000000e+00, 203 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 (282 simplex iterations) in 0.00 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 Sat Dec 15 16:20:43 2012 Optimize a model with 455 rows, 460 columns and 1210 nonzeros Presolve removed 155 rows and 179 columns Presolve time: 0.00s Presolved: 300 rows, 281 columns, 900 nonzeros Variable types: 0 continuous, 281 integer (281 binary) Root relaxation: objective 0.000000e+00, 147 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 125 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (453 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 -- 4 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:43 2012 Optimize a model with 605 rows, 615 columns and 1815 nonzeros Presolve removed 24 rows and 72 columns Presolve time: 0.00s Presolved: 581 rows, 543 columns, 1743 nonzeros Variable types: 0 continuous, 543 integer (543 binary) Root relaxation: objective 0.000000e+00, 237 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 (237 simplex iterations) in 0.00 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: 3