current bounds on the number of colors: 0 -- 165 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:22:13 2012 Optimize a model with 13039 rows, 13687 columns and 52152 nonzeros Presolve removed 20 rows and 1640 columns Presolve time: 0.12s Presolved: 13019 rows, 12047 columns, 50512 nonzeros Variable types: 0 continuous, 12047 integer (12047 binary) Root relaxation: objective 0.000000e+00, 263 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 (263 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 -- 82 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:22:13 2012 Optimize a model with 6602 rows, 6922 columns and 26076 nonzeros Presolve removed 20 rows and 820 columns Presolve time: 0.05s Presolved: 6582 rows, 6102 columns, 25256 nonzeros Variable types: 0 continuous, 6102 integer (6102 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.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 -- 41 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:22:13 2012 Optimize a model with 3305 rows, 3457 columns and 12720 nonzeros Presolve removed 20 rows and 400 columns Presolve time: 0.02s Presolved: 3285 rows, 3057 columns, 12320 nonzeros Variable types: 0 continuous, 3057 integer (3057 binary) Root relaxation: objective 0.000000e+00, 263 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.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:22:13 2012 Optimize a model with 1735 rows, 1807 columns and 6360 nonzeros Presolve removed 20 rows and 200 columns Presolve time: 0.01s Presolved: 1715 rows, 1607 columns, 6160 nonzeros Variable types: 0 continuous, 1607 integer (1607 binary) Root relaxation: objective 0.000000e+00, 260 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 (260 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:22:13 2012 Optimize a model with 950 rows, 982 columns and 3180 nonzeros Presolve removed 20 rows and 100 columns Presolve time: 0.00s Presolved: 930 rows, 882 columns, 3080 nonzeros Variable types: 0 continuous, 882 integer (882 binary) Root relaxation: objective 0.000000e+00, 227 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 (227 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:22:13 2012 Optimize a model with 479 rows, 487 columns and 1272 nonzeros Presolve removed 173 rows and 197 columns Presolve time: 0.00s Presolved: 306 rows, 290 columns, 918 nonzeros Variable types: 0 continuous, 290 integer (290 binary) Root relaxation: objective 0.000000e+00, 150 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 124 - 0.00000 - - 0s Explored 0 nodes (505 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:22:13 2012 Optimize a model with 636 rows, 652 columns and 1908 nonzeros Presolve removed 20 rows and 60 columns Presolve time: 0.00s Presolved: 616 rows, 592 columns, 1848 nonzeros Variable types: 0 continuous, 592 integer (592 binary) Root relaxation: objective 0.000000e+00, 237 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 (237 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