current bounds on the number of colors: 0 -- 204 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:49:15 2012 Optimize a model with 109242 rows, 21877 columns and 347922 nonzeros Presolve time: 0.37s Presolved: 109242 rows, 21877 columns, 347922 nonzeros Variable types: 0 continuous, 21877 integer (21877 binary) Root relaxation: objective 0.000000e+00, 721 iterations, 0.08 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 (1168 simplex iterations) in 0.60 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 -- 102 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:49:17 2012 Optimize a model with 54723 rows, 11473 columns and 173961 nonzeros Presolve time: 0.17s Presolved: 54723 rows, 11473 columns, 173961 nonzeros Variable types: 0 continuous, 11473 integer (11473 binary) Root relaxation: objective 0.000000e+00, 642 iterations, 0.04 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 (1120 simplex iterations) in 0.28 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:49:18 2012 Optimize a model with 26929 rows, 6169 columns and 85275 nonzeros Presolve time: 0.11s Presolved: 26929 rows, 6169 columns, 85275 nonzeros Variable types: 0 continuous, 6169 integer (6169 binary) Root relaxation: objective 0.000000e+00, 436 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 (834 simplex iterations) in 0.17 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:49:19 2012 Optimize a model with 13032 rows, 3517 columns and 40932 nonzeros Presolve time: 0.04s Presolved: 13032 rows, 3517 columns, 40932 nonzeros Variable types: 0 continuous, 3517 integer (3517 binary) Root relaxation: objective 0.000000e+00, 418 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 (806 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 10:49:19 2012 Optimize a model with 6618 rows, 2293 columns and 20466 nonzeros Presolve time: 0.02s Presolved: 6618 rows, 2293 columns, 20466 nonzeros Variable types: 0 continuous, 2293 integer (2293 binary) Root relaxation: objective 0.000000e+00, 434 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 128 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3487 simplex iterations) in 0.21 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 10:49:19 2012 Optimize a model with 3411 rows, 1681 columns and 10233 nonzeros Presolve time: 0.01s Presolved: 3411 rows, 1681 columns, 10233 nonzeros Variable types: 0 continuous, 1681 integer (1681 binary) Root relaxation: objective 0.000000e+00, 494 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 408 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5623 simplex iterations) in 0.77 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 10:49:20 2012 Optimize a model with 4480 rows, 1885 columns and 13644 nonzeros Presolve time: 0.01s Presolved: 4480 rows, 1885 columns, 13644 nonzeros Variable types: 0 continuous, 1885 integer (1885 binary) Root relaxation: objective 0.000000e+00, 464 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 392 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 562 - 0.00000 - - 1s 0 0 0.00000 0 380 - 0.00000 - - 2s 0 0 0.00000 0 358 - 0.00000 - - 3s 0 0 0.00000 0 356 - 0.00000 - - 4s 0 0 0.00000 0 354 - 0.00000 - - 5s 0 0 0.00000 0 356 - 0.00000 - - 6s 0 0 0.00000 0 381 - 0.00000 - - 6s 0 0 0.00000 0 371 - 0.00000 - - 7s 0 0 0.00000 0 344 - 0.00000 - - 8s 0 0 0.00000 0 342 - 0.00000 - - 9s 0 0 0.00000 0 364 - 0.00000 - - 10s 0 0 0.00000 0 344 - 0.00000 - - 11s 0 2 0.00000 0 344 - 0.00000 - - 12s 80 28 infeasible 16 - 0.00000 - 222 15s 397 57 infeasible 19 - 0.00000 - 185 20s 604 95 0.00000 13 536 - 0.00000 - 175 25s 606 96 0.00000 16 370 - 0.00000 - 174 30s 608 98 0.00000 17 392 - 0.00000 - 174 35s 611 100 0.00000 10 352 - 0.00000 - 173 41s 613 101 0.00000 13 344 - 0.00000 - 172 45s 615 102 0.00000 13 355 - 0.00000 - 172 51s 617 104 0.00000 13 330 - 0.00000 - 171 56s 619 105 0.00000 13 334 - 0.00000 - 171 60s 628 109 0.00000 14 419 - 0.00000 - 331 65s 680 108 infeasible 29 - 0.00000 - 328 70s 808 93 0.00000 23 502 - 0.00000 - 324 75s 932 50 0.00000 22 498 - 0.00000 - 327 80s 1071 42 0.00000 17 374 - 0.00000 - 326 85s 1184 43 0.00000 18 438 - 0.00000 - 331 90s 1297 36 infeasible 19 - 0.00000 - 336 95s 1413 22 0.00000 19 504 - 0.00000 - 338 100s 1510 17 infeasible 25 - 0.00000 - 344 105s 1613 4 0.00000 19 493 - 0.00000 - 349 110s Cutting planes: Gomory: 1 Clique: 1 Zero half: 25 Explored 1698 nodes (669867 simplex iterations) in 113.83 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 10:51:14 2012 Optimize a model with 5549 rows, 2089 columns and 17055 nonzeros Presolve time: 0.02s Presolved: 5549 rows, 2089 columns, 17055 nonzeros Variable types: 0 continuous, 2089 integer (2089 binary) Root relaxation: objective 0.000000e+00, 457 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 392 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 0s 0 0 0.00000 0 431 - 0.00000 - - 1s 0 0 0.00000 0 371 - 0.00000 - - 1s 0 0 0.00000 0 424 - 0.00000 - - 1s 0 0 0.00000 0 372 - 0.00000 - - 2s 0 0 0.00000 0 438 - 0.00000 - - 3s 0 0 0.00000 0 427 - 0.00000 - - 3s 0 0 0.00000 0 428 - 0.00000 - - 4s 0 0 0.00000 0 398 - 0.00000 - - 5s 0 2 0.00000 0 398 - 0.00000 - - 5s * 82 1 52 0.0000000 0.00000 0.0% 107 6s Cutting planes: Clique: 1 Zero half: 8 Explored 83 nodes (44902 simplex iterations) in 6.59 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