current bounds on the number of colors: 0 -- 212 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:19:00 2012 Optimize a model with 121264 rows, 23614 columns and 385628 nonzeros Presolve time: 0.42s Presolved: 121264 rows, 23614 columns, 385628 nonzeros Variable types: 0 continuous, 23614 integer (23614 binary) Root relaxation: objective 0.000000e+00, 539 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 (982 simplex iterations) in 0.73 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 -- 106 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:19:02 2012 Optimize a model with 60738 rows, 12378 columns and 192814 nonzeros Presolve time: 0.17s Presolved: 60738 rows, 12378 columns, 192814 nonzeros Variable types: 0 continuous, 12378 integer (12378 binary) Root relaxation: objective 0.000000e+00, 793 iterations, 0.07 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 (1305 simplex iterations) in 0.34 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 14:19:04 2012 Optimize a model with 29904 rows, 6654 columns and 94588 nonzeros Presolve time: 0.12s Presolved: 29904 rows, 6654 columns, 94588 nonzeros Variable types: 0 continuous, 6654 integer (6654 binary) Root relaxation: objective 0.000000e+00, 504 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 (921 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 14:19:04 2012 Optimize a model with 15058 rows, 3898 columns and 47294 nonzeros Presolve time: 0.05s Presolved: 15058 rows, 3898 columns, 47294 nonzeros Variable types: 0 continuous, 3898 integer (3898 binary) Root relaxation: objective 0.000000e+00, 437 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 (835 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 14:19:04 2012 Optimize a model with 7064 rows, 2414 columns and 21828 nonzeros Presolve time: 0.02s Presolved: 7064 rows, 2414 columns, 21828 nonzeros Variable types: 0 continuous, 2414 integer (2414 binary) Root relaxation: objective 0.000000e+00, 444 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 (1634 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 14:19:05 2012 Optimize a model with 3638 rows, 1778 columns and 10914 nonzeros Presolve time: 0.01s Presolved: 3638 rows, 1778 columns, 10914 nonzeros Variable types: 0 continuous, 1778 integer (1778 binary) Root relaxation: objective 0.000000e+00, 484 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 424 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6260 simplex iterations) in 0.98 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 14:19:06 2012 Optimize a model with 4780 rows, 1990 columns and 14552 nonzeros Presolve time: 0.01s Presolved: 4780 rows, 1990 columns, 14552 nonzeros Variable types: 0 continuous, 1990 integer (1990 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.00000 0 418 - 0.00000 - - 0s 0 0 0.00000 0 414 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 1s 0 0 0.00000 0 582 - 0.00000 - - 1s 0 0 0.00000 0 397 - 0.00000 - - 2s 0 0 0.00000 0 398 - 0.00000 - - 3s 0 0 0.00000 0 382 - 0.00000 - - 4s 0 0 0.00000 0 378 - 0.00000 - - 5s 0 0 0.00000 0 380 - 0.00000 - - 6s 0 0 0.00000 0 401 - 0.00000 - - 7s 0 0 0.00000 0 396 - 0.00000 - - 7s 0 2 0.00000 0 389 - 0.00000 - - 8s 47 23 infeasible 22 - 0.00000 - 260 10s 327 52 0.00000 20 372 - 0.00000 - 196 15s 607 57 0.00000 17 390 - 0.00000 - 189 21s 609 59 0.00000 16 376 - 0.00000 - 189 25s 612 61 0.00000 18 371 - 0.00000 - 188 31s 614 62 0.00000 11 350 - 0.00000 - 187 37s 615 63 0.00000 20 362 - 0.00000 - 187 40s 617 64 0.00000 11 386 - 0.00000 - 186 46s 666 71 0.00000 17 538 - 0.00000 - 310 50s 776 56 0.00000 19 535 - 0.00000 - 317 55s 873 46 infeasible 24 - 0.00000 - 330 60s 980 45 infeasible 27 - 0.00000 - 338 65s 1094 37 infeasible 26 - 0.00000 - 343 70s 1191 36 infeasible 29 - 0.00000 - 350 75s 1276 39 infeasible 24 - 0.00000 - 359 80s 1380 41 0.00000 16 396 - 0.00000 - 363 85s 1471 52 infeasible 26 - 0.00000 - 369 90s 1584 53 infeasible 22 - 0.00000 - 370 95s 1694 51 infeasible 24 - 0.00000 - 372 100s 1803 60 0.00000 25 508 - 0.00000 - 373 105s 1897 56 0.00000 24 404 - 0.00000 - 377 110s 2024 53 infeasible 26 - 0.00000 - 375 115s 2155 64 0.00000 28 404 - 0.00000 - 372 120s 2242 57 infeasible 27 - 0.00000 - 377 125s 2341 58 infeasible 26 - 0.00000 - 380 130s 2438 51 infeasible 27 - 0.00000 - 382 135s 2563 52 0.00000 23 401 - 0.00000 - 380 140s 2662 47 infeasible 26 - 0.00000 - 382 145s 2759 46 infeasible 21 - 0.00000 - 383 150s 2860 35 infeasible 23 - 0.00000 - 384 155s 2946 31 infeasible 22 - 0.00000 - 387 160s 3053 30 infeasible 23 - 0.00000 - 387 165s 3162 23 infeasible 24 - 0.00000 - 387 170s 3262 20 infeasible 21 - 0.00000 - 388 175s 3361 25 0.00000 25 441 - 0.00000 - 388 180s 3444 16 infeasible 24 - 0.00000 - 391 185s 3537 15 0.00000 23 516 - 0.00000 - 392 190s 3621 11 0.00000 25 515 - 0.00000 - 395 195s 3710 10 infeasible 26 - 0.00000 - 396 200s 3807 11 0.00000 23 517 - 0.00000 - 397 205s 3902 6 0.00000 20 506 - 0.00000 - 397 210s Cutting planes: Gomory: 1 Zero half: 13 Explored 4015 nodes (1642236 simplex iterations) in 214.94 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 14:22:41 2012 Optimize a model with 5922 rows, 2202 columns and 18190 nonzeros Presolve time: 0.02s Presolved: 5922 rows, 2202 columns, 18190 nonzeros Variable types: 0 continuous, 2202 integer (2202 binary) Root relaxation: objective 0.000000e+00, 446 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 407 - 0.00000 - - 1s 0 0 0.00000 0 401 - 0.00000 - - 2s H 0 0 0.0000000 0.00000 0.0% - 2s Explored 0 nodes (16870 simplex iterations) in 2.38 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