current bounds on the number of colors: 0 -- 216 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:54:31 2012 Optimize a model with 126900 rows, 24501 columns and 403380 nonzeros Presolve time: 0.44s Presolved: 126900 rows, 24501 columns, 403380 nonzeros Variable types: 0 continuous, 24501 integer (24501 binary) Root relaxation: objective 0.000000e+00, 577 iterations, 0.16 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 (1070 simplex iterations) in 0.78 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 -- 108 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:54:33 2012 Optimize a model with 63558 rows, 12837 columns and 201690 nonzeros Presolve time: 0.18s Presolved: 63558 rows, 12837 columns, 201690 nonzeros Variable types: 0 continuous, 12837 integer (12837 binary) Root relaxation: objective 0.000000e+00, 659 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 (1126 simplex iterations) in 0.31 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 -- 54 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:54:34 2012 Optimize a model with 31887 rows, 7005 columns and 100845 nonzeros Presolve time: 0.13s Presolved: 31887 rows, 7005 columns, 100845 nonzeros Variable types: 0 continuous, 7005 integer (7005 binary) Root relaxation: objective 0.000000e+00, 519 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 (946 simplex iterations) in 0.20 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 -- 27 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:54:35 2012 Optimize a model with 15465 rows, 3981 columns and 48555 nonzeros Presolve time: 0.05s Presolved: 15465 rows, 3981 columns, 48555 nonzeros Variable types: 0 continuous, 3981 integer (3981 binary) Root relaxation: objective 0.000000e+00, 463 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 (867 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:54:35 2012 Optimize a model with 7254 rows, 2469 columns and 22410 nonzeros Presolve time: 0.02s Presolved: 7254 rows, 2469 columns, 22410 nonzeros Variable types: 0 continuous, 2469 integer (2469 binary) Root relaxation: objective 0.000000e+00, 473 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 (2036 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 15:54:35 2012 Optimize a model with 3735 rows, 1821 columns and 11205 nonzeros Presolve time: 0.01s Presolved: 3735 rows, 1821 columns, 11205 nonzeros Variable types: 0 continuous, 1821 integer (1821 binary) Root relaxation: objective 0.000000e+00, 497 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 432 - 0.00000 - - 0s 0 0 0.00000 0 430 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6183 simplex iterations) in 0.86 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:54:36 2012 Optimize a model with 4908 rows, 2037 columns and 14940 nonzeros Presolve time: 0.01s Presolved: 4908 rows, 2037 columns, 14940 nonzeros Variable types: 0 continuous, 2037 integer (2037 binary) Root relaxation: objective 0.000000e+00, 487 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 420 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 0s 0 0 0.00000 0 439 - 0.00000 - - 1s 0 0 0.00000 0 542 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 3s 0 0 0.00000 0 368 - 0.00000 - - 4s 0 0 0.00000 0 369 - 0.00000 - - 5s 0 0 0.00000 0 368 - 0.00000 - - 6s 0 0 0.00000 0 358 - 0.00000 - - 6s 0 0 0.00000 0 356 - 0.00000 - - 7s 0 0 0.00000 0 356 - 0.00000 - - 8s 0 0 0.00000 0 360 - 0.00000 - - 9s 0 0 0.00000 0 354 - 0.00000 - - 10s 0 0 0.00000 0 358 - 0.00000 - - 11s 0 0 0.00000 0 358 - 0.00000 - - 12s 0 2 0.00000 0 358 - 0.00000 - - 13s 24 14 0.00000 7 541 - 0.00000 - 338 15s 233 34 0.00000 16 414 - 0.00000 - 218 20s 484 50 0.00000 17 396 - 0.00000 - 204 25s 827 47 0.00000 13 384 - 0.00000 - 183 30s 1143 47 0.00000 22 378 - 0.00000 - 177 35s 1407 45 0.00000 3 439 - 0.00000 - 175 41s 1409 47 0.00000 16 374 - 0.00000 - 175 48s 1411 48 0.00000 8 374 - 0.00000 - 175 52s 1413 49 0.00000 22 370 - 0.00000 - 174 57s 1414 50 0.00000 14 364 - 0.00000 - 174 60s 1431 59 0.00000 18 481 - 0.00000 - 219 65s 1514 25 0.00000 19 474 - 0.00000 - 234 70s Cutting planes: Zero half: 17 Explored 1564 nodes (445908 simplex iterations) in 72.14 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:55:49 2012 Optimize a model with 6081 rows, 2253 columns and 18675 nonzeros Presolve time: 0.02s Presolved: 6081 rows, 2253 columns, 18675 nonzeros Variable types: 0 continuous, 2253 integer (2253 binary) Root relaxation: objective 0.000000e+00, 477 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 390 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 1s 0 0 0.00000 0 369 - 0.00000 - - 1s 0 0 0.00000 0 346 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 2s 0 0 0.00000 0 348 - 0.00000 - - 2s 0 0 0.00000 0 334 - 0.00000 - - 3s 0 0 0.00000 0 336 - 0.00000 - - 3s 0 0 0.00000 0 334 - 0.00000 - - 3s 0 0 0.00000 0 344 - 0.00000 - - 3s 0 0 0.00000 0 344 - 0.00000 - - 4s 0 2 0.00000 0 342 - 0.00000 - - 5s * 507 2 67 0.0000000 0.00000 0.0% 51.7 7s Cutting planes: Zero half: 22 Explored 508 nodes (62367 simplex iterations) in 7.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% optimal solution found: number of colors: 5