current bounds on the number of colors: 0 -- 106 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:57:34 2012 Optimize a model with 29839 rows, 6179 columns and 94817 nonzeros Presolve time: 0.14s Presolved: 29839 rows, 6179 columns, 94817 nonzeros Variable types: 0 continuous, 6179 integer (6179 binary) Root relaxation: objective 0.000000e+00, 323 iterations, 0.02 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 (550 simplex iterations) in 0.20 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 -- 53 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:57:34 2012 Optimize a model with 14692 rows, 3317 columns and 46514 nonzeros Presolve time: 0.06s Presolved: 14692 rows, 3317 columns, 46514 nonzeros Variable types: 0 continuous, 3317 integer (3317 binary) Root relaxation: objective 0.000000e+00, 261 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 (461 simplex iterations) in 0.09 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 -- 26 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:57:35 2012 Optimize a model with 7399 rows, 1939 columns and 23257 nonzeros Presolve time: 0.02s Presolved: 7399 rows, 1939 columns, 23257 nonzeros Variable types: 0 continuous, 1939 integer (1939 binary) Root relaxation: objective 0.000000e+00, 222 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 (547 simplex iterations) in 0.05 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 -- 13 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:57:35 2012 Optimize a model with 3472 rows, 1197 columns and 10734 nonzeros Presolve time: 0.01s Presolved: 3472 rows, 1197 columns, 10734 nonzeros Variable types: 0 continuous, 1197 integer (1197 binary) Root relaxation: objective 0.000000e+00, 226 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 (1068 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 -- 6 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:57:35 2012 Optimize a model with 1789 rows, 879 columns and 5367 nonzeros Presolve time: 0.00s Presolved: 1789 rows, 879 columns, 5367 nonzeros Variable types: 0 continuous, 879 integer (879 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.00000 0 212 - 0.00000 - - 0s 0 0 0.00000 0 190 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3877 simplex iterations) in 0.35 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: 3 -- 6 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:57:35 2012 Optimize a model with 2350 rows, 985 columns and 7156 nonzeros Presolve time: 0.01s Presolved: 2350 rows, 985 columns, 7156 nonzeros Variable types: 0 continuous, 985 integer (985 binary) Root relaxation: objective 0.000000e+00, 244 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 202 - 0.00000 - - 0s 0 0 0.00000 0 202 - 0.00000 - - 0s 0 0 0.00000 0 305 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 0s 0 0 0.00000 0 297 - 0.00000 - - 1s 0 0 0.00000 0 272 - 0.00000 - - 1s 0 0 0.00000 0 273 - 0.00000 - - 1s 0 0 0.00000 0 279 - 0.00000 - - 2s 0 0 0.00000 0 290 - 0.00000 - - 2s 0 0 0.00000 0 290 - 0.00000 - - 2s 0 2 0.00000 0 288 - 0.00000 - - 3s Cutting planes: Clique: 19 Zero half: 21 Explored 31 nodes (25151 simplex iterations) in 3.48 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:57:39 2012 Optimize a model with 2911 rows, 1091 columns and 8945 nonzeros Presolve time: 0.01s Presolved: 2911 rows, 1091 columns, 8945 nonzeros Variable types: 0 continuous, 1091 integer (1091 binary) Root relaxation: objective 0.000000e+00, 226 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 196 - 0.00000 - - 0s 0 0 0.00000 0 155 - 0.00000 - - 0s 0 0 0.00000 0 239 - 0.00000 - - 0s 0 0 0.00000 0 239 - 0.00000 - - 0s 0 0 0.00000 0 241 - 0.00000 - - 0s 0 0 0.00000 0 240 - 0.00000 - - 1s 0 0 0.00000 0 274 - 0.00000 - - 1s 0 0 0.00000 0 242 - 0.00000 - - 1s 0 2 0.00000 0 242 - 0.00000 - - 1s * 181 2 26 0.0000000 0.00000 0.0% 49.7 2s Cutting planes: Clique: 2 Zero half: 25 Explored 182 nodes (24081 simplex iterations) in 2.07 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: 5