current bounds on the number of colors: 0 -- 163 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:21:52 2012 Optimize a model with 12556 rows, 13356 columns and 50382 nonzeros Presolve removed 24 rows and 1944 columns Presolve time: 0.12s Presolved: 12532 rows, 11412 columns, 48438 nonzeros Variable types: 0 continuous, 11412 integer (11412 binary) Root relaxation: objective 0.000000e+00, 255 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 (255 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:52 2012 Optimize a model with 6283 rows, 6673 columns and 24880 nonzeros Presolve removed 24 rows and 960 columns Presolve time: 0.05s Presolved: 6259 rows, 5713 columns, 23920 nonzeros Variable types: 0 continuous, 5713 integer (5713 binary) Root relaxation: objective 0.000000e+00, 253 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 (253 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 -- 40 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:21:52 2012 Optimize a model with 3223 rows, 3413 columns and 12440 nonzeros Presolve removed 24 rows and 480 columns Presolve time: 0.02s Presolved: 3199 rows, 2933 columns, 11960 nonzeros Variable types: 0 continuous, 2933 integer (2933 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.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:53 2012 Optimize a model with 1693 rows, 1783 columns and 6220 nonzeros Presolve removed 24 rows and 240 columns Presolve time: 0.01s Presolved: 1669 rows, 1543 columns, 5980 nonzeros Variable types: 0 continuous, 1543 integer (1543 binary) Root relaxation: objective 0.000000e+00, 264 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 (264 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:53 2012 Optimize a model with 928 rows, 968 columns and 3110 nonzeros Presolve removed 24 rows and 120 columns Presolve time: 0.00s Presolved: 904 rows, 848 columns, 2990 nonzeros Variable types: 0 continuous, 848 integer (848 binary) Root relaxation: objective 0.000000e+00, 235 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 (324 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:21:53 2012 Optimize a model with 469 rows, 479 columns and 1244 nonzeros Presolve removed 169 rows and 196 columns Presolve time: 0.00s Presolved: 300 rows, 283 columns, 900 nonzeros Variable types: 0 continuous, 283 integer (283 binary) Root relaxation: objective 0.000000e+00, 142 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 123 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (470 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:21:53 2012 Optimize a model with 622 rows, 642 columns and 1866 nonzeros Presolve removed 24 rows and 72 columns Presolve time: 0.00s Presolved: 598 rows, 570 columns, 1794 nonzeros Variable types: 0 continuous, 570 integer (570 binary) Root relaxation: objective 0.000000e+00, 212 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 (212 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