current bounds on the number of colors: 0 -- 170 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:23:06 2012 Optimize a model with 12580 rows, 14596 columns and 51680 nonzeros Presolve removed 27 rows and 2295 columns Presolve time: 0.12s Presolved: 12553 rows, 12301 columns, 49385 nonzeros Variable types: 0 continuous, 12301 integer (12301 binary) Root relaxation: objective 0.000000e+00, 248 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 (248 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 -- 85 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:23:06 2012 Optimize a model with 6302 rows, 7286 columns and 25536 nonzeros Presolve removed 27 rows and 1134 columns Presolve time: 0.05s Presolved: 6275 rows, 6152 columns, 24402 nonzeros Variable types: 0 continuous, 6152 integer (6152 binary) Root relaxation: objective 0.000000e+00, 247 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 (247 simplex iterations) in 0.06 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 -- 42 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:23:06 2012 Optimize a model with 3236 rows, 3716 columns and 12768 nonzeros Presolve removed 27 rows and 567 columns Presolve time: 0.02s Presolved: 3209 rows, 3149 columns, 12201 nonzeros Variable types: 0 continuous, 3149 integer (3149 binary) Root relaxation: objective 0.000000e+00, 247 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 (247 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:06 2012 Optimize a model with 1630 rows, 1846 columns and 6080 nonzeros Presolve removed 27 rows and 270 columns Presolve time: 0.01s Presolved: 1603 rows, 1576 columns, 5810 nonzeros Variable types: 0 continuous, 1576 integer (1576 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.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:06 2012 Optimize a model with 900 rows, 996 columns and 3040 nonzeros Presolve removed 27 rows and 135 columns Presolve time: 0.00s Presolved: 873 rows, 861 columns, 2905 nonzeros Variable types: 0 continuous, 861 integer (861 binary) Root relaxation: objective 0.000000e+00, 228 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 (228 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:06 2012 Optimize a model with 462 rows, 486 columns and 1216 nonzeros Presolve removed 180 rows and 212 columns Presolve time: 0.00s Presolved: 282 rows, 274 columns, 846 nonzeros Variable types: 0 continuous, 274 integer (274 binary) Root relaxation: objective 0.000000e+00, 157 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 127 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (470 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:23:06 2012 Optimize a model with 608 rows, 656 columns and 1824 nonzeros Presolve removed 27 rows and 81 columns Presolve time: 0.00s Presolved: 581 rows, 575 columns, 1743 nonzeros Variable types: 0 continuous, 575 integer (575 binary) Root relaxation: objective 0.000000e+00, 234 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 (312 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