current bounds on the number of colors: 0 -- 197 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:06:13 2012 Optimize a model with 93885 rows, 20262 columns and 300370 nonzeros Presolve time: 0.30s Presolved: 93885 rows, 20262 columns, 300370 nonzeros Variable types: 0 continuous, 20262 integer (20262 binary) Root relaxation: objective 0.000000e+00, 767 iterations, 0.09 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 (1241 simplex iterations) in 0.53 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 -- 98 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:06:15 2012 Optimize a model with 47041 rows, 10609 columns and 150185 nonzeros Presolve time: 0.16s Presolved: 47041 rows, 10609 columns, 150185 nonzeros Variable types: 0 continuous, 10609 integer (10609 binary) Root relaxation: objective 0.000000e+00, 759 iterations, 0.06 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 (1220 simplex iterations) in 0.29 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:06:16 2012 Optimize a model with 23141 rows, 5684 columns and 73560 nonzeros Presolve time: 0.09s Presolved: 23141 rows, 5684 columns, 73560 nonzeros Variable types: 0 continuous, 5684 integer (5684 binary) Root relaxation: objective 0.000000e+00, 492 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 (911 simplex iterations) in 0.14 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:06:16 2012 Optimize a model with 11669 rows, 3320 columns and 36780 nonzeros Presolve time: 0.04s Presolved: 11669 rows, 3320 columns, 36780 nonzeros Variable types: 0 continuous, 3320 integer (3320 binary) Root relaxation: objective 0.000000e+00, 416 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 (792 simplex iterations) in 0.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% current bounds on the number of colors: 0 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:06:16 2012 Optimize a model with 5933 rows, 2138 columns and 18390 nonzeros Presolve time: 0.02s Presolved: 5933 rows, 2138 columns, 18390 nonzeros Variable types: 0 continuous, 2138 integer (2138 binary) Root relaxation: objective 0.000000e+00, 415 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 (1675 simplex iterations) in 0.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% current bounds on the number of colors: 0 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:06:17 2012 Optimize a model with 3065 rows, 1547 columns and 9195 nonzeros Presolve time: 0.01s Presolved: 3065 rows, 1547 columns, 9195 nonzeros Variable types: 0 continuous, 1547 integer (1547 binary) Root relaxation: objective 0.000000e+00, 462 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 314 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 0.00000 0 528 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 14 Zero half: 1184 Explored 0 nodes (10495 simplex iterations) in 1.45 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 Sat Dec 15 08:06:18 2012 Optimize a model with 4021 rows, 1744 columns and 12260 nonzeros Presolve time: 0.01s Presolved: 4021 rows, 1744 columns, 12260 nonzeros Variable types: 0 continuous, 1744 integer (1744 binary) Root relaxation: objective 0.000000e+00, 431 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 382 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 0.00000 0 407 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 2s 0 0 0.00000 0 344 - 0.00000 - - 2s 0 0 0.00000 0 330 - 0.00000 - - 3s 0 0 0.00000 0 326 - 0.00000 - - 3s 0 0 0.00000 0 328 - 0.00000 - - 3s 0 0 0.00000 0 320 - 0.00000 - - 4s 0 0 0.00000 0 318 - 0.00000 - - 5s 0 0 0.00000 0 312 - 0.00000 - - 5s 0 0 0.00000 0 317 - 0.00000 - - 5s 0 0 0.00000 0 304 - 0.00000 - - 6s 0 0 0.00000 0 299 - 0.00000 - - 7s 0 0 0.00000 0 296 - 0.00000 - - 7s 0 0 0.00000 0 280 - 0.00000 - - 8s 0 0 0.00000 0 282 - 0.00000 - - 8s 0 0 0.00000 0 282 - 0.00000 - - 9s 0 2 0.00000 0 282 - 0.00000 - - 10s 435 130 0.00000 15 366 - 0.00000 - 147 15s 605 179 0.00000 13 348 - 0.00000 - 139 20s 608 181 0.00000 18 507 - 0.00000 - 138 26s 610 182 0.00000 19 490 - 0.00000 - 138 30s 613 184 0.00000 17 438 - 0.00000 - 137 35s 618 187 infeasible 14 - 0.00000 - 223 40s 851 149 infeasible 27 - 0.00000 - 228 45s 1105 50 0.00000 24 342 - 0.00000 - 237 50s 1327 24 infeasible 27 - 0.00000 - 244 55s 1569 22 0.00000 28 379 - 0.00000 - 249 60s 1772 29 0.00000 24 445 - 0.00000 - 255 65s 2004 31 infeasible 27 - 0.00000 - 257 70s 2265 38 infeasible 26 - 0.00000 - 257 75s 2469 46 infeasible 28 - 0.00000 - 261 80s 2671 32 infeasible 24 - 0.00000 - 264 85s 2916 27 0.00000 24 358 - 0.00000 - 265 90s 3159 16 infeasible 25 - 0.00000 - 265 95s 3371 20 0.00000 25 357 - 0.00000 - 267 100s 3617 18 infeasible 27 - 0.00000 - 267 105s Cutting planes: Clique: 6 Zero half: 12 Explored 3846 nodes (1103068 simplex iterations) in 109.82 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 Sat Dec 15 08:08:08 2012 Optimize a model with 4977 rows, 1941 columns and 15325 nonzeros Presolve time: 0.01s Presolved: 4977 rows, 1941 columns, 15325 nonzeros Variable types: 0 continuous, 1941 integer (1941 binary) Root relaxation: objective 0.000000e+00, 412 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 162 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4474 simplex iterations) in 0.36 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