current bounds on the number of colors: 0 -- 205 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:07:09 2012 Optimize a model with 107713 rows, 21964 columns and 343434 nonzeros Presolve time: 0.36s Presolved: 107713 rows, 21964 columns, 343434 nonzeros Variable types: 0 continuous, 21964 integer (21964 binary) Root relaxation: objective 0.000000e+00, 793 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 (1250 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 11:07:11 2012 Optimize a model with 53959 rows, 11509 columns and 171717 nonzeros Presolve time: 0.16s Presolved: 53959 rows, 11509 columns, 171717 nonzeros Variable types: 0 continuous, 11509 integer (11509 binary) Root relaxation: objective 0.000000e+00, 646 iterations, 0.05 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 (1094 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:07:12 2012 Optimize a model with 26555 rows, 6179 columns and 84175 nonzeros Presolve time: 0.11s Presolved: 26555 rows, 6179 columns, 84175 nonzeros Variable types: 0 continuous, 6179 integer (6179 binary) Root relaxation: objective 0.000000e+00, 468 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 (868 simplex iterations) in 0.16 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 11:07:12 2012 Optimize a model with 12853 rows, 3514 columns and 40404 nonzeros Presolve time: 0.04s Presolved: 12853 rows, 3514 columns, 40404 nonzeros Variable types: 0 continuous, 3514 integer (3514 binary) Root relaxation: objective 0.000000e+00, 424 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 (811 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 11:07:12 2012 Optimize a model with 6529 rows, 2284 columns and 20202 nonzeros Presolve time: 0.02s Presolved: 6529 rows, 2284 columns, 20202 nonzeros Variable types: 0 continuous, 2284 integer (2284 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1582 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 11:07:13 2012 Optimize a model with 3367 rows, 1669 columns and 10101 nonzeros Presolve time: 0.01s Presolved: 3367 rows, 1669 columns, 10101 nonzeros Variable types: 0 continuous, 1669 integer (1669 binary) Root relaxation: objective 0.000000e+00, 490 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 408 - 0.00000 - - 0s 0 0 0.00000 0 554 - 0.00000 - - 1s 0 0 0.00000 0 585 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 3 Zero half: 1265 Explored 0 nodes (10185 simplex iterations) in 1.94 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 11:07:15 2012 Optimize a model with 4421 rows, 1874 columns and 13468 nonzeros Presolve time: 0.01s Presolved: 4421 rows, 1874 columns, 13468 nonzeros Variable types: 0 continuous, 1874 integer (1874 binary) Root relaxation: objective 0.000000e+00, 447 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 390 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 1s 0 0 0.00000 0 541 - 0.00000 - - 1s 0 0 0.00000 0 378 - 0.00000 - - 2s 0 0 0.00000 0 376 - 0.00000 - - 2s 0 0 0.00000 0 378 - 0.00000 - - 3s 0 0 0.00000 0 374 - 0.00000 - - 4s 0 0 0.00000 0 379 - 0.00000 - - 4s 0 0 0.00000 0 374 - 0.00000 - - 5s 0 0 0.00000 0 370 - 0.00000 - - 5s 0 0 0.00000 0 388 - 0.00000 - - 6s 0 0 0.00000 0 378 - 0.00000 - - 7s 0 0 0.00000 0 362 - 0.00000 - - 7s 0 0 0.00000 0 342 - 0.00000 - - 8s 0 0 0.00000 0 336 - 0.00000 - - 8s 0 0 0.00000 0 343 - 0.00000 - - 9s 0 0 0.00000 0 343 - 0.00000 - - 9s 0 2 0.00000 0 343 - 0.00000 - - 10s 283 29 0.00000 19 379 - 0.00000 - 173 15s 556 18 infeasible 15 - 0.00000 - 192 20s 705 43 0.00000 4 384 - 0.00000 - 187 27s 707 44 0.00000 8 382 - 0.00000 - 187 30s 710 46 0.00000 16 364 - 0.00000 - 186 37s 712 47 0.00000 23 360 - 0.00000 - 185 42s 714 49 0.00000 8 350 - 0.00000 - 185 46s 717 51 0.00000 12 336 - 0.00000 - 184 51s 719 52 0.00000 8 328 - 0.00000 - 184 55s 836 42 0.00000 21 380 - 0.00000 - 314 60s 965 5 0.00000 12 487 - 0.00000 - 323 65s 1147 27 infeasible 26 - 0.00000 - 319 70s 1337 35 infeasible 26 - 0.00000 - 315 75s 1481 9 infeasible 21 - 0.00000 - 318 80s 1608 22 0.00000 24 398 - 0.00000 - 324 85s 1742 12 0.00000 16 396 - 0.00000 - 328 90s 1860 6 0.00000 18 449 - 0.00000 - 333 95s Cutting planes: Zero half: 20 Explored 1965 nodes (732752 simplex iterations) in 99.23 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 11:08:54 2012 Optimize a model with 5475 rows, 2079 columns and 16835 nonzeros Presolve time: 0.02s Presolved: 5475 rows, 2079 columns, 16835 nonzeros Variable types: 0 continuous, 2079 integer (2079 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 364 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 7 Clique: 140 Zero half: 436 Explored 0 nodes (6909 simplex iterations) in 0.68 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