current bounds on the number of colors: 0 -- 208 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:31:20 2012 Optimize a model with 113568 rows, 22722 columns and 361712 nonzeros Presolve time: 0.39s Presolved: 113568 rows, 22722 columns, 361712 nonzeros Variable types: 0 continuous, 22722 integer (22722 binary) Root relaxation: objective 0.000000e+00, 806 iterations, 0.10 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 (1282 simplex iterations) in 0.67 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 -- 104 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:31:22 2012 Optimize a model with 56888 rows, 11906 columns and 180856 nonzeros Presolve time: 0.17s Presolved: 56888 rows, 11906 columns, 180856 nonzeros Variable types: 0 continuous, 11906 integer (11906 binary) Root relaxation: objective 0.000000e+00, 740 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 (1213 simplex iterations) in 0.32 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:31:23 2012 Optimize a model with 28548 rows, 6498 columns and 90428 nonzeros Presolve time: 0.12s Presolved: 28548 rows, 6498 columns, 90428 nonzeros Variable types: 0 continuous, 6498 integer (6498 binary) Root relaxation: objective 0.000000e+00, 491 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 (944 simplex iterations) in 0.18 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 Sat Dec 15 12:31:23 2012 Optimize a model with 14378 rows, 3794 columns and 45214 nonzeros Presolve time: 0.05s Presolved: 14378 rows, 3794 columns, 45214 nonzeros Variable types: 0 continuous, 3794 integer (3794 binary) Root relaxation: objective 0.000000e+00, 428 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 (818 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:31:24 2012 Optimize a model with 6748 rows, 2338 columns and 20868 nonzeros Presolve time: 0.02s Presolved: 6748 rows, 2338 columns, 20868 nonzeros Variable types: 0 continuous, 2338 integer (2338 binary) Root relaxation: objective 0.000000e+00, 444 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 (2391 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:31:24 2012 Optimize a model with 3478 rows, 1714 columns and 10434 nonzeros Presolve time: 0.01s Presolved: 3478 rows, 1714 columns, 10434 nonzeros Variable types: 0 continuous, 1714 integer (1714 binary) Root relaxation: objective 0.000000e+00, 459 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 414 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6068 simplex iterations) in 0.88 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 12:31:25 2012 Optimize a model with 4568 rows, 1922 columns and 13912 nonzeros Presolve time: 0.01s Presolved: 4568 rows, 1922 columns, 13912 nonzeros Variable types: 0 continuous, 1922 integer (1922 binary) Root relaxation: objective 0.000000e+00, 437 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 406 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 484 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 2s 0 0 0.00000 0 374 - 0.00000 - - 2s 0 0 0.00000 0 372 - 0.00000 - - 3s 0 0 0.00000 0 374 - 0.00000 - - 4s 0 0 0.00000 0 370 - 0.00000 - - 5s 0 0 0.00000 0 362 - 0.00000 - - 6s 0 0 0.00000 0 358 - 0.00000 - - 6s 0 0 0.00000 0 367 - 0.00000 - - 7s 0 0 0.00000 0 356 - 0.00000 - - 8s 0 0 0.00000 0 350 - 0.00000 - - 8s 0 0 0.00000 0 354 - 0.00000 - - 9s 0 0 0.00000 0 354 - 0.00000 - - 10s 0 0 0.00000 0 354 - 0.00000 - - 10s 0 2 0.00000 0 354 - 0.00000 - - 11s 252 46 0.00000 17 364 - 0.00000 - 162 15s 603 63 0.00000 8 388 - 0.00000 - 153 20s 606 65 0.00000 19 370 - 0.00000 - 152 25s 608 67 0.00000 21 357 - 0.00000 - 151 30s 611 69 0.00000 15 348 - 0.00000 - 151 36s 613 70 0.00000 8 342 - 0.00000 - 150 41s 615 71 0.00000 21 346 - 0.00000 - 150 46s 619 74 infeasible 15 - 0.00000 - 282 50s 625 78 0.00000 18 496 - 0.00000 - 283 55s 696 73 infeasible 32 - 0.00000 - 289 60s 808 44 0.00000 25 506 - 0.00000 - 300 65s 919 35 infeasible 32 - 0.00000 - 311 70s 1032 42 infeasible 25 - 0.00000 - 317 75s 1133 43 0.00000 26 395 - 0.00000 - 327 80s 1225 43 0.00000 24 500 - 0.00000 - 336 85s 1337 43 0.00000 23 372 - 0.00000 - 340 90s 1427 35 0.00000 22 386 - 0.00000 - 346 95s 1519 27 infeasible 25 - 0.00000 - 352 100s 1637 23 infeasible 27 - 0.00000 - 354 105s 1739 23 0.00000 19 494 - 0.00000 - 358 110s 1834 28 0.00000 24 472 - 0.00000 - 362 115s 1945 27 infeasible 31 - 0.00000 - 364 120s 2036 24 0.00000 25 502 - 0.00000 - 369 125s 2142 22 0.00000 27 455 - 0.00000 - 371 130s 2261 15 infeasible 27 - 0.00000 - 371 135s 2352 6 infeasible 22 - 0.00000 - 375 140s 2442 6 infeasible 24 - 0.00000 - 379 145s 2534 4 0.00000 22 499 - 0.00000 - 383 150s Cutting planes: Gomory: 1 Clique: 1 Zero half: 19 Explored 2579 nodes (1063615 simplex iterations) in 152.28 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 12:33:57 2012 Optimize a model with 5658 rows, 2130 columns and 17390 nonzeros Presolve time: 0.02s Presolved: 5658 rows, 2130 columns, 17390 nonzeros Variable types: 0 continuous, 2130 integer (2130 binary) Root relaxation: objective 0.000000e+00, 436 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 316 - 0.00000 - - 0s 0 0 0.00000 0 294 - 0.00000 - - 1s 0 0 0.00000 0 324 - 0.00000 - - 1s 0 0 0.00000 0 378 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 2s * 0 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Gomory: 1 Clique: 1 Zero half: 186 Explored 0 nodes (18373 simplex iterations) in 2.41 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