current bounds on the number of colors: 0 -- 147 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:19:29 2012 Optimize a model with 7739 rows, 10835 columns and 33507 nonzeros Presolve removed 30 rows and 2190 columns Presolve time: 0.11s Presolved: 7709 rows, 8645 columns, 31317 nonzeros Variable types: 0 continuous, 8645 integer (8645 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.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 -- 73 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:19:29 2012 Optimize a model with 3891 rows, 5396 columns and 16524 nonzeros Presolve removed 30 rows and 1080 columns Presolve time: 0.03s Presolved: 3861 rows, 4316 columns, 15444 nonzeros Variable types: 0 continuous, 4316 integer (4316 binary) Root relaxation: objective 0.000000e+00, 199 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 (199 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 -- 36 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:19:30 2012 Optimize a model with 2019 rows, 2750 columns and 8262 nonzeros Presolve removed 30 rows and 540 columns Presolve time: 0.01s Presolved: 1989 rows, 2210 columns, 7722 nonzeros Variable types: 0 continuous, 2210 integer (2210 binary) Root relaxation: objective 0.000000e+00, 197 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 (197 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 -- 18 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:19:30 2012 Optimize a model with 1083 rows, 1427 columns and 4131 nonzeros Presolve removed 30 rows and 270 columns Presolve time: 0.00s Presolved: 1053 rows, 1157 columns, 3861 nonzeros Variable types: 0 continuous, 1157 integer (1157 binary) Root relaxation: objective 0.000000e+00, 188 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 (188 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 -- 9 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:19:30 2012 Optimize a model with 563 rows, 692 columns and 1836 nonzeros Presolve removed 30 rows and 120 columns Presolve time: 0.00s Presolved: 533 rows, 572 columns, 1716 nonzeros Variable types: 0 continuous, 572 integer (572 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% current bounds on the number of colors: 0 -- 4 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:19:30 2012 Optimize a model with 355 rows, 398 columns and 918 nonzeros Presolve removed 169 rows and 210 columns Presolve time: 0.00s Presolved: 186 rows, 188 columns, 558 nonzeros Variable types: 0 continuous, 188 integer (188 binary) Root relaxation: objective 0.000000e+00, 98 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 75 - 0.00000 - - 0s Explored 0 nodes (320 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:19:30 2012 Optimize a model with 459 rows, 545 columns and 1377 nonzeros Presolve removed 30 rows and 90 columns Presolve time: 0.00s Presolved: 429 rows, 455 columns, 1287 nonzeros Variable types: 0 continuous, 455 integer (455 binary) Root relaxation: objective 0.000000e+00, 177 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 (177 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