current bounds on the number of colors: 0 -- 209 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:02:06 2012 Optimize a model with 114401 rows, 22834 columns and 364312 nonzeros Presolve time: 0.39s Presolved: 114401 rows, 22834 columns, 364312 nonzeros Variable types: 0 continuous, 22834 integer (22834 binary) Root relaxation: objective 0.000000e+00, 529 iterations, 0.14 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 (984 simplex iterations) in 0.69 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 -- 104 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:02:08 2012 Optimize a model with 57305 rows, 11966 columns and 182156 nonzeros Presolve time: 0.17s Presolved: 57305 rows, 11966 columns, 182156 nonzeros Variable types: 0 continuous, 11966 integer (11966 binary) Root relaxation: objective 0.000000e+00, 814 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 (1335 simplex iterations) in 0.32 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:02:09 2012 Optimize a model with 28757 rows, 6532 columns and 91078 nonzeros Presolve time: 0.12s Presolved: 28757 rows, 6532 columns, 91078 nonzeros Variable types: 0 continuous, 6532 integer (6532 binary) Root relaxation: objective 0.000000e+00, 495 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 (905 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 13:02:10 2012 Optimize a model with 14483 rows, 3815 columns and 45539 nonzeros Presolve time: 0.05s Presolved: 14483 rows, 3815 columns, 45539 nonzeros Variable types: 0 continuous, 3815 integer (3815 binary) Root relaxation: objective 0.000000e+00, 431 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 (813 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 13:02:10 2012 Optimize a model with 6797 rows, 2352 columns and 21018 nonzeros Presolve time: 0.02s Presolved: 6797 rows, 2352 columns, 21018 nonzeros Variable types: 0 continuous, 2352 integer (2352 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 (1976 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:02:10 2012 Optimize a model with 3503 rows, 1725 columns and 10509 nonzeros Presolve time: 0.01s Presolved: 3503 rows, 1725 columns, 10509 nonzeros Variable types: 0 continuous, 1725 integer (1725 binary) Root relaxation: objective 0.000000e+00, 469 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 418 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5788 simplex iterations) in 0.91 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 13:02:11 2012 Optimize a model with 4601 rows, 1934 columns and 14012 nonzeros Presolve time: 0.01s Presolved: 4601 rows, 1934 columns, 14012 nonzeros Variable types: 0 continuous, 1934 integer (1934 binary) Root relaxation: objective 0.000000e+00, 454 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 410 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 387 - 0.00000 - - 1s 0 0 0.00000 0 522 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 3s 0 0 0.00000 0 367 - 0.00000 - - 4s 0 0 0.00000 0 360 - 0.00000 - - 5s 0 0 0.00000 0 368 - 0.00000 - - 6s 0 0 0.00000 0 350 - 0.00000 - - 7s 0 0 0.00000 0 371 - 0.00000 - - 7s 0 0 0.00000 0 376 - 0.00000 - - 9s 0 0 0.00000 0 346 - 0.00000 - - 9s 0 0 0.00000 0 350 - 0.00000 - - 10s 0 0 0.00000 0 350 - 0.00000 - - 10s 0 2 0.00000 0 350 - 0.00000 - - 11s 169 25 infeasible 24 - 0.00000 - 212 15s 404 52 infeasible 17 - 0.00000 - 211 20s 670 74 infeasible 29 - 0.00000 - 201 25s 705 79 0.00000 14 356 - 0.00000 - 199 31s 707 80 0.00000 25 344 - 0.00000 - 198 36s 709 81 0.00000 19 320 - 0.00000 - 198 41s 711 83 0.00000 13 460 - 0.00000 - 197 47s 712 83 0.00000 11 453 - 0.00000 - 197 50s 714 85 0.00000 15 432 - 0.00000 - 196 57s 715 85 0.00000 18 471 - 0.00000 - 196 60s 784 93 0.00000 29 462 - 0.00000 - 313 65s 928 31 0.00000 19 462 - 0.00000 - 316 70s 1046 51 infeasible 31 - 0.00000 - 319 75s 1182 45 infeasible 30 - 0.00000 - 321 80s 1309 62 infeasible 33 - 0.00000 - 323 85s 1415 62 infeasible 31 - 0.00000 - 330 90s 1532 63 infeasible 28 - 0.00000 - 335 95s 1644 71 infeasible 30 - 0.00000 - 339 100s 1788 69 infeasible 26 - 0.00000 - 338 105s 1892 75 infeasible 31 - 0.00000 - 342 110s 2012 75 0.00000 30 456 - 0.00000 - 344 115s 2124 83 0.00000 30 461 - 0.00000 - 346 120s 2236 91 infeasible 33 - 0.00000 - 350 125s 2357 88 infeasible 29 - 0.00000 - 351 130s 2459 88 0.00000 26 492 - 0.00000 - 355 135s 2561 90 0.00000 27 426 - 0.00000 - 358 140s 2664 79 infeasible 29 - 0.00000 - 361 145s 2767 80 infeasible 26 - 0.00000 - 363 150s 2879 80 0.00000 25 470 - 0.00000 - 364 155s 2977 66 infeasible 28 - 0.00000 - 366 160s 3063 62 infeasible 29 - 0.00000 - 369 165s 3172 55 0.00000 28 472 - 0.00000 - 371 170s 3269 32 infeasible 28 - 0.00000 - 373 175s 3389 40 0.00000 24 481 - 0.00000 - 372 180s 3501 32 infeasible 33 - 0.00000 - 373 185s 3591 24 infeasible 28 - 0.00000 - 375 190s 3680 19 0.00000 30 368 - 0.00000 - 378 195s 3776 9 0.00000 26 509 - 0.00000 - 380 200s Cutting planes: Gomory: 1 Clique: 2 Zero half: 29 Explored 3846 nodes (1535453 simplex iterations) in 203.93 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 13:05:35 2012 Optimize a model with 5699 rows, 2143 columns and 17515 nonzeros Presolve time: 0.02s Presolved: 5699 rows, 2143 columns, 17515 nonzeros Variable types: 0 continuous, 2143 integer (2143 binary) Root relaxation: objective 0.000000e+00, 453 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 398 - 0.00000 - - 0s 0 0 0.00000 0 470 - 0.00000 - - 0s Cutting planes: Clique: 28 Explored 0 nodes (8084 simplex iterations) in 1.15 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