current bounds on the number of colors: 0 -- 90 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:49 2012 Optimize a model with 9720 rows, 4264 columns and 32940 nonzeros Presolve removed 1 rows and 45 columns Presolve time: 0.06s Presolved: 9719 rows, 4219 columns, 32895 nonzeros Variable types: 0 continuous, 4219 integer (4219 binary) Root relaxation: objective 0.000000e+00, 234 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 (382 simplex iterations) in 0.08 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 -- 45 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:49 2012 Optimize a model with 4798 rows, 2194 columns and 16104 nonzeros Presolve removed 1 rows and 22 columns Presolve time: 0.02s Presolved: 4797 rows, 2172 columns, 16082 nonzeros Variable types: 0 continuous, 2172 integer (2172 binary) Root relaxation: objective 0.000000e+00, 224 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 (378 simplex iterations) in 0.03 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 -- 22 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:49 2012 Optimize a model with 2444 rows, 1204 columns and 8052 nonzeros Presolve removed 1 rows and 11 columns Presolve time: 0.01s Presolved: 2443 rows, 1193 columns, 8041 nonzeros Variable types: 0 continuous, 1193 integer (1193 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 (329 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 -- 11 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:49 2012 Optimize a model with 1160 rows, 664 columns and 3660 nonzeros Presolve removed 1 rows and 5 columns Presolve time: 0.00s Presolved: 1159 rows, 659 columns, 3655 nonzeros Variable types: 0 continuous, 659 integer (659 binary) Root relaxation: objective 0.000000e+00, 209 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 (344 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:49 2012 Optimize a model with 518 rows, 394 columns and 1464 nonzeros Presolve removed 90 rows and 91 columns Presolve time: 0.00s Presolved: 428 rows, 303 columns, 1284 nonzeros Variable types: 0 continuous, 303 integer (303 binary) Root relaxation: objective 0.000000e+00, 96 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 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (342 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 Fri Dec 14 18:22:49 2012 Optimize a model with 732 rows, 484 columns and 2196 nonzeros Presolve removed 1 rows and 3 columns Presolve time: 0.00s Presolved: 731 rows, 481 columns, 2193 nonzeros Variable types: 0 continuous, 481 integer (481 binary) Root relaxation: objective 0.000000e+00, 245 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 170 - 0.00000 - - 0s 0 0 0.00000 0 160 - 0.00000 - - 0s 0 0 0.00000 0 118 - 0.00000 - - 0s 0 0 0.00000 0 157 - 0.00000 - - 0s 0 0 0.00000 0 177 - 0.00000 - - 0s 0 0 0.00000 0 134 - 0.00000 - - 0s 0 0 0.00000 0 148 - 0.00000 - - 0s 0 0 0.00000 0 170 - 0.00000 - - 0s 0 0 0.00000 0 170 - 0.00000 - - 0s 0 2 0.00000 0 170 - 0.00000 - - 0s Cutting planes: Zero half: 11 Explored 57 nodes (8256 simplex iterations) in 0.37 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:50 2012 Optimize a model with 946 rows, 574 columns and 2928 nonzeros Presolve removed 1 rows and 4 columns Presolve time: 0.00s Presolved: 945 rows, 570 columns, 2924 nonzeros Variable types: 0 continuous, 570 integer (570 binary) Root relaxation: objective 0.000000e+00, 219 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 (366 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: 4