current bounds on the number of colors: 0 -- 120 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:03:06 2012 Optimize a model with 42180 rows, 7901 columns and 133380 nonzeros Presolve time: 0.16s Presolved: 42180 rows, 7901 columns, 133380 nonzeros Variable types: 0 continuous, 7901 integer (7901 binary) Root relaxation: objective 0.000000e+00, 312 iterations, 0.05 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 (575 simplex iterations) in 0.26 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 -- 60 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:03:07 2012 Optimize a model with 21150 rows, 4301 columns and 66690 nonzeros Presolve time: 0.09s Presolved: 21150 rows, 4301 columns, 66690 nonzeros Variable types: 0 continuous, 4301 integer (4301 binary) Root relaxation: objective 0.000000e+00, 294 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 (572 simplex iterations) in 0.13 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 -- 30 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:03:08 2012 Optimize a model with 10635 rows, 2501 columns and 33345 nonzeros Presolve time: 0.03s Presolved: 10635 rows, 2501 columns, 33345 nonzeros Variable types: 0 continuous, 2501 integer (2501 binary) Root relaxation: objective 0.000000e+00, 244 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 (595 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:03:08 2012 Optimize a model with 5027 rows, 1541 columns and 15561 nonzeros Presolve time: 0.01s Presolved: 5027 rows, 1541 columns, 15561 nonzeros Variable types: 0 continuous, 1541 integer (1541 binary) Root relaxation: objective 0.000000e+00, 254 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 (967 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:03:08 2012 Optimize a model with 2223 rows, 1061 columns and 6669 nonzeros Presolve time: 0.01s Presolved: 2223 rows, 1061 columns, 6669 nonzeros Variable types: 0 continuous, 1061 integer (1061 binary) Root relaxation: objective 0.000000e+00, 271 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 188 - 0.00000 - - 0s 0 0 0.00000 0 273 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4617 simplex iterations) in 0.39 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:03:08 2012 Optimize a model with 3625 rows, 1301 columns and 11115 nonzeros Presolve time: 0.01s Presolved: 3625 rows, 1301 columns, 11115 nonzeros Variable types: 0 continuous, 1301 integer (1301 binary) Root relaxation: objective 0.000000e+00, 248 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 176 - 0.00000 - - 0s 0 0 0.00000 0 142 - 0.00000 - - 0s 0 0 0.00000 0 237 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 0s 0 0 0.00000 0 142 - 0.00000 - - 1s 0 0 0.00000 0 207 - 0.00000 - - 1s 0 0 0.00000 0 324 - 0.00000 - - 1s 0 0 0.00000 0 324 - 0.00000 - - 2s 0 2 0.00000 0 324 - 0.00000 - - 2s * 428 0 22 0.0000000 0.00000 0.0% 75.1 4s Cutting planes: Clique: 8 Zero half: 17 Explored 429 nodes (52463 simplex iterations) in 4.10 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:03:12 2012 Optimize a model with 2924 rows, 1181 columns and 8892 nonzeros Presolve time: 0.01s Presolved: 2924 rows, 1181 columns, 8892 nonzeros Variable types: 0 continuous, 1181 integer (1181 binary) Root relaxation: objective 0.000000e+00, 266 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 238 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 0s 0 0 0.00000 0 331 - 0.00000 - - 0s 0 0 0.00000 0 343 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 1s 0 0 0.00000 0 332 - 0.00000 - - 2s 0 0 0.00000 0 327 - 0.00000 - - 2s 0 0 0.00000 0 327 - 0.00000 - - 3s 0 0 0.00000 0 325 - 0.00000 - - 3s 0 0 0.00000 0 324 - 0.00000 - - 4s 0 0 0.00000 0 333 - 0.00000 - - 4s 0 0 0.00000 0 333 - 0.00000 - - 4s 0 2 0.00000 0 333 - 0.00000 - - 5s Cutting planes: Clique: 15 Zero half: 25 Explored 23 nodes (33038 simplex iterations) in 5.99 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5