current bounds on the number of colors: 0 -- 172 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:23:35 2012 Optimize a model with 13846 rows, 14951 columns and 55814 nonzeros Presolve removed 25 rows and 2150 columns Presolve time: 0.11s Presolved: 13821 rows, 12801 columns, 53664 nonzeros Variable types: 0 continuous, 12801 integer (12801 binary) Root relaxation: objective 0.000000e+00, 266 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 (266 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 -- 86 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:23:35 2012 Optimize a model with 7009 rows, 7555 columns and 27907 nonzeros Presolve removed 25 rows and 1075 columns Presolve time: 0.06s Presolved: 6984 rows, 6480 columns, 26832 nonzeros Variable types: 0 continuous, 6480 integer (6480 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.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:36 2012 Optimize a model with 3511 rows, 3771 columns and 13629 nonzeros Presolve removed 25 rows and 525 columns Presolve time: 0.02s Presolved: 3486 rows, 3246 columns, 13104 nonzeros Variable types: 0 continuous, 3246 integer (3246 binary) Root relaxation: objective 0.000000e+00, 262 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 (382 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 -- 21 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:23:36 2012 Optimize a model with 1762 rows, 1879 columns and 6490 nonzeros Presolve removed 25 rows and 250 columns Presolve time: 0.01s Presolved: 1737 rows, 1629 columns, 6240 nonzeros Variable types: 0 continuous, 1629 integer (1629 binary) Root relaxation: objective 0.000000e+00, 266 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 (384 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:36 2012 Optimize a model with 967 rows, 1019 columns and 3245 nonzeros Presolve removed 25 rows and 125 columns Presolve time: 0.00s Presolved: 942 rows, 894 columns, 3120 nonzeros Variable types: 0 continuous, 894 integer (894 binary) Root relaxation: objective 0.000000e+00, 252 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 (356 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 Sat Dec 15 16:23:36 2012 Optimize a model with 490 rows, 503 columns and 1298 nonzeros Presolve removed 180 rows and 209 columns Presolve time: 0.00s Presolved: 310 rows, 294 columns, 930 nonzeros Variable types: 0 continuous, 294 integer (294 binary) Root relaxation: objective 0.000000e+00, 152 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 133 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (480 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:36 2012 Optimize a model with 649 rows, 675 columns and 1947 nonzeros Presolve removed 25 rows and 75 columns Presolve time: 0.00s Presolved: 624 rows, 600 columns, 1872 nonzeros Variable types: 0 continuous, 600 integer (600 binary) Root relaxation: objective 0.000000e+00, 249 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 (249 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