current bounds on the number of colors: 0 -- 214 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:00:40 2012 Optimize a model with 123585 rows, 24051 columns and 393011 nonzeros Presolve time: 0.43s Presolved: 123585 rows, 24051 columns, 393011 nonzeros Variable types: 0 continuous, 24051 integer (24051 binary) Root relaxation: objective 0.000000e+00, 536 iterations, 0.15 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 (999 simplex iterations) in 0.76 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 -- 107 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:00:43 2012 Optimize a model with 61323 rows, 12495 columns and 194669 nonzeros Presolve time: 0.17s Presolved: 61323 rows, 12495 columns, 194669 nonzeros Variable types: 0 continuous, 12495 integer (12495 binary) Root relaxation: objective 0.000000e+00, 557 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 (1014 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:00:44 2012 Optimize a model with 30192 rows, 6717 columns and 95498 nonzeros Presolve time: 0.13s Presolved: 30192 rows, 6717 columns, 95498 nonzeros Variable types: 0 continuous, 6717 integer (6717 binary) Root relaxation: objective 0.000000e+00, 445 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 (853 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 15:00:44 2012 Optimize a model with 15203 rows, 3935 columns and 47749 nonzeros Presolve time: 0.05s Presolved: 15203 rows, 3935 columns, 47749 nonzeros Variable types: 0 continuous, 3935 integer (3935 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 (862 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 15:00:45 2012 Optimize a model with 7132 rows, 2437 columns and 22038 nonzeros Presolve time: 0.02s Presolved: 7132 rows, 2437 columns, 22038 nonzeros Variable types: 0 continuous, 2437 integer (2437 binary) Root relaxation: objective 0.000000e+00, 478 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 (1695 simplex iterations) in 0.09 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 15:00:45 2012 Optimize a model with 3673 rows, 1795 columns and 11019 nonzeros Presolve time: 0.01s Presolved: 3673 rows, 1795 columns, 11019 nonzeros Variable types: 0 continuous, 1795 integer (1795 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 428 - 0.00000 - - 0s 0 0 0.00000 0 422 - 0.00000 - - 0s 0 0 0.00000 0 585 - 0.00000 - - 1s 0 0 0.00000 0 611 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 2s Cutting planes: Gomory: 3 Clique: 2 Zero half: 1514 Explored 0 nodes (10292 simplex iterations) in 2.05 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 15:00:47 2012 Optimize a model with 4826 rows, 2009 columns and 14692 nonzeros Presolve time: 0.01s Presolved: 4826 rows, 2009 columns, 14692 nonzeros Variable types: 0 continuous, 2009 integer (2009 binary) Root relaxation: objective 0.000000e+00, 465 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 416 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 1s 0 0 0.00000 0 534 - 0.00000 - - 1s 0 0 0.00000 0 394 - 0.00000 - - 2s 0 0 0.00000 0 392 - 0.00000 - - 3s 0 0 0.00000 0 392 - 0.00000 - - 4s 0 0 0.00000 0 388 - 0.00000 - - 5s 0 0 0.00000 0 388 - 0.00000 - - 6s 0 0 0.00000 0 384 - 0.00000 - - 7s 0 0 0.00000 0 384 - 0.00000 - - 7s 0 0 0.00000 0 384 - 0.00000 - - 8s 0 2 0.00000 0 384 - 0.00000 - - 9s 28 26 0.00000 19 368 - 0.00000 - 300 10s 288 106 0.00000 10 401 - 0.00000 - 195 15s 539 183 0.00000 17 498 - 0.00000 - 187 20s 605 195 0.00000 21 378 - 0.00000 - 186 27s 607 196 0.00000 20 370 - 0.00000 - 186 31s 609 197 0.00000 16 369 - 0.00000 - 185 35s 611 199 0.00000 16 360 - 0.00000 - 184 41s 613 200 0.00000 20 339 - 0.00000 - 184 47s 614 201 0.00000 12 332 - 0.00000 - 183 51s 616 202 0.00000 18 373 - 0.00000 - 183 56s 658 206 infeasible 24 - 0.00000 - 333 60s 800 179 0.00000 24 400 - 0.00000 - 329 65s 894 145 infeasible 28 - 0.00000 - 344 70s 1005 93 infeasible 23 - 0.00000 - 350 75s 1136 47 infeasible 23 - 0.00000 - 351 80s 1238 8 0.00000 23 486 - 0.00000 - 358 85s 1373 9 infeasible 22 - 0.00000 - 357 90s 1481 7 infeasible 24 - 0.00000 - 361 95s Cutting planes: Gomory: 1 Clique: 1 Zero half: 24 Explored 1525 nodes (607136 simplex iterations) in 97.27 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 15:02:24 2012 Optimize a model with 5979 rows, 2223 columns and 18365 nonzeros Presolve time: 0.02s Presolved: 5979 rows, 2223 columns, 18365 nonzeros Variable types: 0 continuous, 2223 integer (2223 binary) Root relaxation: objective 0.000000e+00, 448 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 396 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 0s 0 0 0.00000 0 483 - 0.00000 - - 1s 0 0 0.00000 0 523 - 0.00000 - - 1s 0 0 0.00000 0 64 - 0.00000 - - 2s H 0 0 0.0000000 0.00000 0.0% - 2s Explored 0 nodes (18044 simplex iterations) in 2.90 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