current bounds on the number of colors: 0 -- 162 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:21:43 2012 Optimize a model with 10773 rows, 13253 columns and 44955 nonzeros Presolve removed 31 rows and 2511 columns Presolve time: 0.12s Presolved: 10742 rows, 10742 columns, 42444 nonzeros Variable types: 0 continuous, 10742 integer (10742 binary) Root relaxation: objective 0.000000e+00, 224 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 (224 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 -- 81 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:21:43 2012 Optimize a model with 5402 rows, 6611 columns and 22200 nonzeros Presolve removed 31 rows and 1240 columns Presolve time: 0.05s Presolved: 5371 rows, 5371 columns, 20960 nonzeros Variable types: 0 continuous, 5371 integer (5371 binary) Root relaxation: objective 0.000000e+00, 224 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 (224 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 Sat Dec 15 16:21:43 2012 Optimize a model with 2782 rows, 3371 columns and 11100 nonzeros Presolve removed 31 rows and 620 columns Presolve time: 0.02s Presolved: 2751 rows, 2751 columns, 10480 nonzeros Variable types: 0 continuous, 2751 integer (2751 binary) Root relaxation: objective 0.000000e+00, 222 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 (222 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 Sat Dec 15 16:21:43 2012 Optimize a model with 1472 rows, 1751 columns and 5550 nonzeros Presolve removed 31 rows and 310 columns Presolve time: 0.01s Presolved: 1441 rows, 1441 columns, 5240 nonzeros Variable types: 0 continuous, 1441 integer (1441 binary) Root relaxation: objective 0.000000e+00, 224 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 (224 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:21:43 2012 Optimize a model with 817 rows, 941 columns and 2775 nonzeros Presolve removed 31 rows and 155 columns Presolve time: 0.00s Presolved: 786 rows, 786 columns, 2620 nonzeros Variable types: 0 continuous, 786 integer (786 binary) Root relaxation: objective 0.000000e+00, 218 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 (218 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:21:44 2012 Optimize a model with 424 rows, 455 columns and 1110 nonzeros Presolve removed 178 rows and 217 columns Presolve time: 0.00s Presolved: 246 rows, 238 columns, 738 nonzeros Variable types: 0 continuous, 238 integer (238 binary) Root relaxation: objective 0.000000e+00, 125 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 105 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (396 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:21:44 2012 Optimize a model with 555 rows, 617 columns and 1665 nonzeros Presolve removed 31 rows and 93 columns Presolve time: 0.00s Presolved: 524 rows, 524 columns, 1572 nonzeros Variable types: 0 continuous, 524 integer (524 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 (263 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