current bounds on the number of colors: 0 -- 139 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:18:32 2012 Optimize a model with 8212 rows, 9708 columns and 33810 nonzeros Presolve removed 26 rows and 1794 columns Presolve time: 0.10s Presolved: 8186 rows, 7914 columns, 32016 nonzeros Variable types: 0 continuous, 7914 integer (7914 binary) Root relaxation: objective 0.000000e+00, 192 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 (192 simplex iterations) in 0.11 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 -- 69 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:18:32 2012 Optimize a model with 4117 rows, 4843 columns and 16660 nonzeros Presolve removed 26 rows and 884 columns Presolve time: 0.03s Presolved: 4091 rows, 3959 columns, 15776 nonzeros Variable types: 0 continuous, 3959 integer (3959 binary) Root relaxation: objective 0.000000e+00, 196 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 (196 simplex iterations) in 0.04 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 -- 34 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:18:32 2012 Optimize a model with 2128 rows, 2480 columns and 8330 nonzeros Presolve removed 26 rows and 442 columns Presolve time: 0.01s Presolved: 2102 rows, 2038 columns, 7888 nonzeros Variable types: 0 continuous, 2038 integer (2038 binary) Root relaxation: objective 0.000000e+00, 192 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 (192 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 -- 17 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:18:32 2012 Optimize a model with 1075 rows, 1229 columns and 3920 nonzeros Presolve removed 26 rows and 208 columns Presolve time: 0.00s Presolved: 1049 rows, 1021 columns, 3712 nonzeros Variable types: 0 continuous, 1021 integer (1021 binary) Root relaxation: objective 0.000000e+00, 191 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 (267 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 -- 8 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:18:32 2012 Optimize a model with 607 rows, 673 columns and 1960 nonzeros Presolve removed 26 rows and 104 columns Presolve time: 0.00s Presolved: 581 rows, 569 columns, 1856 nonzeros Variable types: 0 continuous, 569 integer (569 binary) Root relaxation: objective 0.000000e+00, 175 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 (175 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 -- 4 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:18:32 2012 Optimize a model with 373 rows, 395 columns and 980 nonzeros Presolve removed 149 rows and 180 columns Presolve time: 0.00s Presolved: 224 rows, 215 columns, 672 nonzeros Variable types: 0 continuous, 215 integer (215 binary) Root relaxation: objective 0.000000e+00, 111 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 89 - 0.00000 - - 0s Explored 0 nodes (351 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 -- 4 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:18:32 2012 Optimize a model with 490 rows, 534 columns and 1470 nonzeros Presolve removed 26 rows and 78 columns Presolve time: 0.00s Presolved: 464 rows, 456 columns, 1392 nonzeros Variable types: 0 continuous, 456 integer (456 binary) Root relaxation: objective 0.000000e+00, 181 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 (181 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