current bounds on the number of colors: 0 -- 147 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:19:27 2012 Optimize a model with 9199 rows, 10855 columns and 37887 nonzeros Presolve removed 30 rows and 2190 columns Presolve time: 0.11s Presolved: 9169 rows, 8665 columns, 35697 nonzeros Variable types: 0 continuous, 8665 integer (8665 binary) Root relaxation: objective 0.000000e+00, 205 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 (205 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:27 2012 Optimize a model with 4611 rows, 5416 columns and 18684 nonzeros Presolve removed 30 rows and 1080 columns Presolve time: 0.04s Presolved: 4581 rows, 4336 columns, 17604 nonzeros Variable types: 0 continuous, 4336 integer (4336 binary) Root relaxation: objective 0.000000e+00, 204 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 (204 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:27 2012 Optimize a model with 2379 rows, 2770 columns and 9342 nonzeros Presolve removed 30 rows and 540 columns Presolve time: 0.01s Presolved: 2349 rows, 2230 columns, 8802 nonzeros Variable types: 0 continuous, 2230 integer (2230 binary) Root relaxation: objective 0.000000e+00, 203 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 (203 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 -- 18 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:19:27 2012 Optimize a model with 1263 rows, 1447 columns and 4671 nonzeros Presolve removed 30 rows and 270 columns Presolve time: 0.01s Presolved: 1233 rows, 1177 columns, 4401 nonzeros Variable types: 0 continuous, 1177 integer (1177 binary) Root relaxation: objective 0.000000e+00, 205 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 (205 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:27 2012 Optimize a model with 643 rows, 712 columns and 2076 nonzeros Presolve removed 30 rows and 120 columns Presolve time: 0.00s Presolved: 613 rows, 592 columns, 1956 nonzeros Variable types: 0 continuous, 592 integer (592 binary) Root relaxation: objective 0.000000e+00, 187 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 (187 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:27 2012 Optimize a model with 395 rows, 418 columns and 1038 nonzeros Presolve removed 159 rows and 195 columns Presolve time: 0.00s Presolved: 236 rows, 223 columns, 708 nonzeros Variable types: 0 continuous, 223 integer (223 binary) Root relaxation: objective 0.000000e+00, 114 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 101 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (373 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:27 2012 Optimize a model with 519 rows, 565 columns and 1557 nonzeros Presolve removed 30 rows and 90 columns Presolve time: 0.00s Presolved: 489 rows, 475 columns, 1467 nonzeros Variable types: 0 continuous, 475 integer (475 binary) Root relaxation: objective 0.000000e+00, 178 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 (178 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