current bounds on the number of colors: 0 -- 204 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:39:00 2012 Optimize a model with 108834 rows, 21873 columns and 346698 nonzeros Presolve time: 0.36s Presolved: 108834 rows, 21873 columns, 346698 nonzeros Variable types: 0 continuous, 21873 integer (21873 binary) Root relaxation: objective 0.000000e+00, 824 iterations, 0.11 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 (1300 simplex iterations) in 0.63 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:39:02 2012 Optimize a model with 54519 rows, 11469 columns and 173349 nonzeros Presolve time: 0.16s Presolved: 54519 rows, 11469 columns, 173349 nonzeros Variable types: 0 continuous, 11469 integer (11469 binary) Root relaxation: objective 0.000000e+00, 635 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 (1131 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:39:03 2012 Optimize a model with 26829 rows, 6165 columns and 84975 nonzeros Presolve time: 0.11s Presolved: 26829 rows, 6165 columns, 84975 nonzeros Variable types: 0 continuous, 6165 integer (6165 binary) Root relaxation: objective 0.000000e+00, 484 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 (883 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:39:03 2012 Optimize a model with 12984 rows, 3513 columns and 40788 nonzeros Presolve time: 0.04s Presolved: 12984 rows, 3513 columns, 40788 nonzeros Variable types: 0 continuous, 3513 integer (3513 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 (816 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:39:03 2012 Optimize a model with 6594 rows, 2289 columns and 20394 nonzeros Presolve time: 0.02s Presolved: 6594 rows, 2289 columns, 20394 nonzeros Variable types: 0 continuous, 2289 integer (2289 binary) Root relaxation: objective 0.000000e+00, 441 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 (2337 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:39:04 2012 Optimize a model with 3399 rows, 1677 columns and 10197 nonzeros Presolve time: 0.01s Presolved: 3399 rows, 1677 columns, 10197 nonzeros Variable types: 0 continuous, 1677 integer (1677 binary) Root relaxation: objective 0.000000e+00, 491 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 336 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6907 simplex iterations) in 0.85 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:39:05 2012 Optimize a model with 4464 rows, 1881 columns and 13596 nonzeros Presolve time: 0.01s Presolved: 4464 rows, 1881 columns, 13596 nonzeros Variable types: 0 continuous, 1881 integer (1881 binary) Root relaxation: objective 0.000000e+00, 458 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 404 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 1s 0 0 0.00000 0 398 - 0.00000 - - 1s 0 0 0.00000 0 366 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 2s 0 0 0.00000 0 359 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 4s 0 0 0.00000 0 354 - 0.00000 - - 5s 0 0 0.00000 0 350 - 0.00000 - - 5s 0 0 0.00000 0 354 - 0.00000 - - 6s 0 0 0.00000 0 348 - 0.00000 - - 7s 0 0 0.00000 0 346 - 0.00000 - - 8s 0 0 0.00000 0 342 - 0.00000 - - 8s 0 0 0.00000 0 369 - 0.00000 - - 9s 0 0 0.00000 0 344 - 0.00000 - - 10s 0 0 0.00000 0 335 - 0.00000 - - 11s 0 0 0.00000 0 346 - 0.00000 - - 12s 0 0 0.00000 0 345 - 0.00000 - - 13s 0 2 0.00000 0 342 - 0.00000 - - 13s 24 10 0.00000 2 405 - 0.00000 - 298 15s 335 17 0.00000 8 366 - 0.00000 - 191 20s 643 3 0.00000 13 340 - 0.00000 - 182 25s Cutting planes: Clique: 6 Zero half: 113 Explored 649 nodes (205196 simplex iterations) in 25.06 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:39:30 2012 Optimize a model with 5529 rows, 2085 columns and 16995 nonzeros Presolve time: 0.01s Presolved: 5529 rows, 2085 columns, 16995 nonzeros Variable types: 0 continuous, 2085 integer (2085 binary) Root relaxation: objective 0.000000e+00, 441 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 156 - 0.00000 - - 0s 0 0 0.00000 0 249 - 0.00000 - - 0s 0 0 0.00000 0 455 - 0.00000 - - 1s H 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (15805 simplex iterations) in 1.95 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