current bounds on the number of colors: 0 -- 173 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:23:43 2012 Optimize a model with 14363 rows, 15043 columns and 57448 nonzeros Presolve removed 28 rows and 2408 columns Presolve time: 0.11s Presolved: 14335 rows, 12635 columns, 55040 nonzeros Variable types: 0 continuous, 12635 integer (12635 binary) Root relaxation: objective 0.000000e+00, 267 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 (267 simplex iterations) in 0.13 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 -- 86 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:23:44 2012 Optimize a model with 7268 rows, 7604 columns and 28724 nonzeros Presolve removed 28 rows and 1204 columns Presolve time: 0.06s Presolved: 7240 rows, 6400 columns, 27520 nonzeros Variable types: 0 continuous, 6400 integer (6400 binary) Root relaxation: objective 0.000000e+00, 267 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 (267 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 -- 43 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:23:44 2012 Optimize a model with 3638 rows, 3798 columns and 14028 nonzeros Presolve removed 28 rows and 588 columns Presolve time: 0.02s Presolved: 3610 rows, 3210 columns, 13440 nonzeros Variable types: 0 continuous, 3210 integer (3210 binary) Root relaxation: objective 0.000000e+00, 273 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 (273 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 -- 21 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:23:44 2012 Optimize a model with 1823 rows, 1895 columns and 6680 nonzeros Presolve removed 28 rows and 280 columns Presolve time: 0.01s Presolved: 1795 rows, 1615 columns, 6400 nonzeros Variable types: 0 continuous, 1615 integer (1615 binary) Root relaxation: objective 0.000000e+00, 261 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 (261 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 Sat Dec 15 16:23:44 2012 Optimize a model with 998 rows, 1030 columns and 3340 nonzeros Presolve removed 28 rows and 140 columns Presolve time: 0.00s Presolved: 970 rows, 890 columns, 3200 nonzeros Variable types: 0 continuous, 890 integer (890 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:23:44 2012 Optimize a model with 503 rows, 511 columns and 1336 nonzeros Presolve removed 183 rows and 216 columns Presolve time: 0.00s Presolved: 320 rows, 295 columns, 960 nonzeros Variable types: 0 continuous, 295 integer (295 binary) Root relaxation: objective 0.000000e+00, 146 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 129 - 0.00000 - - 0s Explored 0 nodes (478 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:23:44 2012 Optimize a model with 668 rows, 684 columns and 2004 nonzeros Presolve removed 28 rows and 84 columns Presolve time: 0.00s Presolved: 640 rows, 600 columns, 1920 nonzeros Variable types: 0 continuous, 600 integer (600 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.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