current bounds on the number of colors: 0 -- 121 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:18:43 2012 Optimize a model with 43261 rows, 7979 columns and 136680 nonzeros Presolve time: 0.16s Presolved: 43261 rows, 7979 columns, 136680 nonzeros Variable types: 0 continuous, 7979 integer (7979 binary) Root relaxation: objective 0.000000e+00, 301 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 (561 simplex iterations) in 0.27 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:18:44 2012 Optimize a model with 21691 rows, 4349 columns and 68340 nonzeros Presolve time: 0.09s Presolved: 21691 rows, 4349 columns, 68340 nonzeros Variable types: 0 continuous, 4349 integer (4349 binary) Root relaxation: objective 0.000000e+00, 289 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 (537 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:18:45 2012 Optimize a model with 10906 rows, 2534 columns and 34170 nonzeros Presolve time: 0.04s Presolved: 10906 rows, 2534 columns, 34170 nonzeros Variable types: 0 continuous, 2534 integer (2534 binary) Root relaxation: objective 0.000000e+00, 245 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 (459 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:18:45 2012 Optimize a model with 5154 rows, 1566 columns and 15946 nonzeros Presolve time: 0.01s Presolved: 5154 rows, 1566 columns, 15946 nonzeros Variable types: 0 continuous, 1566 integer (1566 binary) Root relaxation: objective 0.000000e+00, 254 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 (1162 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:18:45 2012 Optimize a model with 2278 rows, 1082 columns and 6834 nonzeros Presolve time: 0.01s Presolved: 2278 rows, 1082 columns, 6834 nonzeros Variable types: 0 continuous, 1082 integer (1082 binary) Root relaxation: objective 0.000000e+00, 261 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 186 - 0.00000 - - 0s 0 0 0.00000 0 263 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3693 simplex iterations) in 0.36 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:18:45 2012 Optimize a model with 3716 rows, 1324 columns and 11390 nonzeros Presolve time: 0.01s Presolved: 3716 rows, 1324 columns, 11390 nonzeros Variable types: 0 continuous, 1324 integer (1324 binary) Root relaxation: objective 0.000000e+00, 255 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 232 - 0.00000 - - 0s 0 0 0.00000 0 212 - 0.00000 - - 0s 0 0 0.00000 0 166 - 0.00000 - - 0s 0 0 0.00000 0 265 - 0.00000 - - 0s 0 0 0.00000 0 275 - 0.00000 - - 1s 0 0 0.00000 0 300 - 0.00000 - - 1s 0 0 0.00000 0 300 - 0.00000 - - 1s 0 2 0.00000 0 300 - 0.00000 - - 2s * 441 1 30 0.0000000 0.00000 0.0% 65.1 3s Cutting planes: Clique: 7 Zero half: 9 Explored 442 nodes (45830 simplex iterations) in 3.73 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:18:49 2012 Optimize a model with 2997 rows, 1203 columns and 9112 nonzeros Presolve time: 0.01s Presolved: 2997 rows, 1203 columns, 9112 nonzeros Variable types: 0 continuous, 1203 integer (1203 binary) Root relaxation: objective 0.000000e+00, 258 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 240 - 0.00000 - - 0s 0 0 0.00000 0 215 - 0.00000 - - 0s 0 0 0.00000 0 234 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 0.00000 0 329 - 0.00000 - - 1s 0 0 0.00000 0 342 - 0.00000 - - 2s 0 0 0.00000 0 358 - 0.00000 - - 3s 0 0 0.00000 0 342 - 0.00000 - - 3s 0 0 0.00000 0 346 - 0.00000 - - 4s 0 0 0.00000 0 339 - 0.00000 - - 4s 0 0 0.00000 0 330 - 0.00000 - - 5s 0 0 0.00000 0 325 - 0.00000 - - 5s 0 0 0.00000 0 350 - 0.00000 - - 6s 0 0 0.00000 0 350 - 0.00000 - - 6s 0 2 0.00000 0 350 - 0.00000 - - 7s Cutting planes: Clique: 18 Zero half: 40 Explored 23 nodes (44948 simplex iterations) in 8.06 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