current bounds on the number of colors: 0 -- 86 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:13 2012 Optimize a model with 7482 rows, 3870 columns and 25886 nonzeros Presolve removed 2 rows and 86 columns Presolve time: 0.05s Presolved: 7480 rows, 3784 columns, 25800 nonzeros Variable types: 0 continuous, 3784 integer (3784 binary) Root relaxation: objective 0.000000e+00, 212 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 (340 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 -- 43 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:13 2012 Optimize a model with 3698 rows, 1978 columns and 12642 nonzeros Presolve removed 2 rows and 42 columns Presolve time: 0.02s Presolved: 3696 rows, 1936 columns, 12600 nonzeros Variable types: 0 continuous, 1936 integer (1936 binary) Root relaxation: objective 0.000000e+00, 184 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 (300 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 Fri Dec 14 18:22:13 2012 Optimize a model with 1806 rows, 1032 columns and 6020 nonzeros Presolve removed 2 rows and 20 columns Presolve time: 0.01s Presolved: 1804 rows, 1012 columns, 6000 nonzeros Variable types: 0 continuous, 1012 integer (1012 binary) Root relaxation: objective 0.000000e+00, 183 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 (288 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 Fri Dec 14 18:22:13 2012 Optimize a model with 946 rows, 602 columns and 3010 nonzeros Presolve removed 2 rows and 10 columns Presolve time: 0.00s Presolved: 944 rows, 592 columns, 3000 nonzeros Variable types: 0 continuous, 592 integer (592 binary) Root relaxation: objective 0.000000e+00, 207 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 (321 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 Fri Dec 14 18:22:13 2012 Optimize a model with 430 rows, 344 columns and 1204 nonzeros Presolve removed 86 rows and 88 columns Presolve time: 0.00s Presolved: 344 rows, 256 columns, 1032 nonzeros Variable types: 0 continuous, 256 integer (256 binary) Root relaxation: objective 0.000000e+00, 90 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 84 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (354 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 Fri Dec 14 18:22:13 2012 Optimize a model with 602 rows, 430 columns and 1806 nonzeros Presolve removed 2 rows and 6 columns Presolve time: 0.00s Presolved: 600 rows, 424 columns, 1800 nonzeros Variable types: 0 continuous, 424 integer (424 binary) Root relaxation: objective 0.000000e+00, 215 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 (504 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% optimal solution found: number of colors: 3