current bounds on the number of colors: 0 -- 207 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:04:04 2012 Optimize a model with 112271 rows, 22409 columns and 357513 nonzeros Presolve time: 0.38s Presolved: 112271 rows, 22409 columns, 357513 nonzeros Variable types: 0 continuous, 22409 integer (22409 binary) Root relaxation: objective 0.000000e+00, 550 iterations, 0.14 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 (1006 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 -- 103 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:04:06 2012 Optimize a model with 55695 rows, 11645 columns and 177021 nonzeros Presolve time: 0.17s Presolved: 55695 rows, 11645 columns, 177021 nonzeros Variable types: 0 continuous, 11645 integer (11645 binary) Root relaxation: objective 0.000000e+00, 671 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 (1154 simplex iterations) in 0.30 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 12:04:07 2012 Optimize a model with 27407 rows, 6263 columns and 86775 nonzeros Presolve time: 0.11s Presolved: 27407 rows, 6263 columns, 86775 nonzeros Variable types: 0 continuous, 6263 integer (6263 binary) Root relaxation: objective 0.000000e+00, 509 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 (960 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 12:04:08 2012 Optimize a model with 13263 rows, 3572 columns and 41652 nonzeros Presolve time: 0.04s Presolved: 13263 rows, 3572 columns, 41652 nonzeros Variable types: 0 continuous, 3572 integer (3572 binary) Root relaxation: objective 0.000000e+00, 425 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 (800 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 12:04:08 2012 Optimize a model with 6735 rows, 2330 columns and 20826 nonzeros Presolve time: 0.02s Presolved: 6735 rows, 2330 columns, 20826 nonzeros Variable types: 0 continuous, 2330 integer (2330 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2061 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:04:08 2012 Optimize a model with 3471 rows, 1709 columns and 10413 nonzeros Presolve time: 0.01s Presolved: 3471 rows, 1709 columns, 10413 nonzeros Variable types: 0 continuous, 1709 integer (1709 binary) Root relaxation: objective 0.000000e+00, 472 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 346 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (7034 simplex iterations) in 0.82 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:04:09 2012 Optimize a model with 4559 rows, 1916 columns and 13884 nonzeros Presolve time: 0.01s Presolved: 4559 rows, 1916 columns, 13884 nonzeros Variable types: 0 continuous, 1916 integer (1916 binary) Root relaxation: objective 0.000000e+00, 475 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 402 - 0.00000 - - 0s 0 0 0.00000 0 394 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 1s 0 0 0.00000 0 567 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 2s 0 0 0.00000 0 372 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 4s 0 0 0.00000 0 368 - 0.00000 - - 4s 0 0 0.00000 0 368 - 0.00000 - - 5s 0 0 0.00000 0 368 - 0.00000 - - 6s 0 0 0.00000 0 380 - 0.00000 - - 7s 0 0 0.00000 0 401 - 0.00000 - - 8s 0 0 0.00000 0 383 - 0.00000 - - 8s 0 2 0.00000 0 383 - 0.00000 - - 9s 13 11 0.00000 9 378 - 0.00000 - 393 10s 371 38 0.00000 12 378 - 0.00000 - 175 15s 690 54 0.00000 12 386 - 0.00000 - 175 20s 709 59 0.00000 6 413 - 0.00000 - 173 27s 711 60 0.00000 7 356 - 0.00000 - 173 31s 713 61 0.00000 10 509 - 0.00000 - 172 35s 716 63 0.00000 5 506 - 0.00000 - 172 40s 750 64 0.00000 21 356 - 0.00000 - 257 45s 870 18 0.00000 18 489 - 0.00000 - 274 50s 993 4 infeasible 26 - 0.00000 - 284 55s 1121 10 0.00000 26 441 - 0.00000 - 293 60s Cutting planes: Gomory: 1 Clique: 3 Zero half: 15 Explored 1176 nodes (407775 simplex iterations) in 62.30 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:05:11 2012 Optimize a model with 5647 rows, 2123 columns and 17355 nonzeros Presolve time: 0.02s Presolved: 5647 rows, 2123 columns, 17355 nonzeros Variable types: 0 continuous, 2123 integer (2123 binary) Root relaxation: objective 0.000000e+00, 461 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 380 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 1s 0 0 0.00000 0 535 - 0.00000 - - 1s 0 0 0.00000 0 483 - 0.00000 - - 2s 0 0 0.00000 0 488 - 0.00000 - - 3s * 0 0 0 0.0000000 0.00000 0.0% - 4s Cutting planes: Zero half: 208 Explored 0 nodes (26881 simplex iterations) in 4.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% optimal solution found: number of colors: 5