current bounds on the number of colors: 0 -- 176 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:24:21 2012 Optimize a model with 13112 rows, 15635 columns and 54296 nonzeros Presolve removed 29 rows and 2552 columns Presolve time: 0.11s Presolved: 13083 rows, 13083 columns, 51744 nonzeros Variable types: 0 continuous, 13083 integer (13083 binary) Root relaxation: objective 0.000000e+00, 257 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 (369 simplex iterations) in 0.14 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 -- 88 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:24:21 2012 Optimize a model with 6644 rows, 7891 columns and 27148 nonzeros Presolve removed 29 rows and 1276 columns Presolve time: 0.06s Presolved: 6615 rows, 6615 columns, 25872 nonzeros Variable types: 0 continuous, 6615 integer (6615 binary) Root relaxation: objective 0.000000e+00, 255 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 (366 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 -- 44 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:24:22 2012 Optimize a model with 3410 rows, 4019 columns and 13574 nonzeros Presolve removed 29 rows and 638 columns Presolve time: 0.02s Presolved: 3381 rows, 3381 columns, 12936 nonzeros Variable types: 0 continuous, 3381 integer (3381 binary) Root relaxation: objective 0.000000e+00, 256 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 (256 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:24:22 2012 Optimize a model with 1793 rows, 2083 columns and 6787 nonzeros Presolve removed 29 rows and 319 columns Presolve time: 0.01s Presolved: 1764 rows, 1764 columns, 6468 nonzeros Variable types: 0 continuous, 1764 integer (1764 binary) Root relaxation: objective 0.000000e+00, 255 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 (255 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:24:22 2012 Optimize a model with 911 rows, 1027 columns and 3085 nonzeros Presolve removed 29 rows and 145 columns Presolve time: 0.00s Presolved: 882 rows, 882 columns, 2940 nonzeros Variable types: 0 continuous, 882 integer (882 binary) Root relaxation: objective 0.000000e+00, 231 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 (231 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:24:22 2012 Optimize a model with 470 rows, 499 columns and 1234 nonzeros Presolve removed 188 rows and 223 columns Presolve time: 0.00s Presolved: 282 rows, 276 columns, 846 nonzeros Variable types: 0 continuous, 276 integer (276 binary) Root relaxation: objective 0.000000e+00, 148 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 113 - 0.00000 - - 0s Explored 0 nodes (429 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 Sat Dec 15 16:24:22 2012 Optimize a model with 617 rows, 675 columns and 1851 nonzeros Presolve removed 29 rows and 87 columns Presolve time: 0.00s Presolved: 588 rows, 588 columns, 1764 nonzeros Variable types: 0 continuous, 588 integer (588 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.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