current bounds on the number of colors: 0 -- 204 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:51:23 2012 Optimize a model with 108834 rows, 21873 columns and 346698 nonzeros Presolve time: 0.36s Presolved: 108834 rows, 21873 columns, 346698 nonzeros Variable types: 0 continuous, 21873 integer (21873 binary) Root relaxation: objective 0.000000e+00, 897 iterations, 0.11 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 (1458 simplex iterations) in 0.65 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 10:51:25 2012 Optimize a model with 54519 rows, 11469 columns and 173349 nonzeros Presolve time: 0.17s Presolved: 54519 rows, 11469 columns, 173349 nonzeros Variable types: 0 continuous, 11469 integer (11469 binary) Root relaxation: objective 0.000000e+00, 762 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 (1292 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:51:26 2012 Optimize a model with 26829 rows, 6165 columns and 84975 nonzeros Presolve time: 0.11s Presolved: 26829 rows, 6165 columns, 84975 nonzeros Variable types: 0 continuous, 6165 integer (6165 binary) Root relaxation: objective 0.000000e+00, 481 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 (902 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 10:51:26 2012 Optimize a model with 12984 rows, 3513 columns and 40788 nonzeros Presolve time: 0.04s Presolved: 12984 rows, 3513 columns, 40788 nonzeros Variable types: 0 continuous, 3513 integer (3513 binary) Root relaxation: objective 0.000000e+00, 417 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 (806 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 10:51:27 2012 Optimize a model with 6594 rows, 2289 columns and 20394 nonzeros Presolve time: 0.02s Presolved: 6594 rows, 2289 columns, 20394 nonzeros Variable types: 0 continuous, 2289 integer (2289 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 30 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3360 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:51:27 2012 Optimize a model with 3399 rows, 1677 columns and 10197 nonzeros Presolve time: 0.01s Presolved: 3399 rows, 1677 columns, 10197 nonzeros Variable types: 0 continuous, 1677 integer (1677 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 404 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5718 simplex iterations) in 0.92 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 10:51:28 2012 Optimize a model with 4464 rows, 1881 columns and 13596 nonzeros Presolve time: 0.01s Presolved: 4464 rows, 1881 columns, 13596 nonzeros Variable types: 0 continuous, 1881 integer (1881 binary) Root relaxation: objective 0.000000e+00, 451 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 386 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 0s 0 0 0.00000 0 394 - 0.00000 - - 1s 0 0 0.00000 0 461 - 0.00000 - - 1s 0 0 0.00000 0 394 - 0.00000 - - 2s 0 0 0.00000 0 388 - 0.00000 - - 2s 0 0 0.00000 0 386 - 0.00000 - - 3s 0 0 0.00000 0 384 - 0.00000 - - 4s 0 0 0.00000 0 376 - 0.00000 - - 5s 0 0 0.00000 0 372 - 0.00000 - - 5s 0 0 0.00000 0 364 - 0.00000 - - 6s 0 0 0.00000 0 364 - 0.00000 - - 7s 0 0 0.00000 0 372 - 0.00000 - - 8s 0 0 0.00000 0 358 - 0.00000 - - 9s 0 0 0.00000 0 354 - 0.00000 - - 9s 0 0 0.00000 0 352 - 0.00000 - - 10s 0 0 0.00000 0 346 - 0.00000 - - 11s 0 0 0.00000 0 342 - 0.00000 - - 12s 0 0 0.00000 0 348 - 0.00000 - - 12s 0 0 0.00000 0 348 - 0.00000 - - 13s 0 2 0.00000 0 348 - 0.00000 - - 14s 43 21 0.00000 16 392 - 0.00000 - 234 15s 487 68 0.00000 23 368 - 0.00000 - 156 20s 605 76 0.00000 13 382 - 0.00000 - 152 26s 607 77 0.00000 13 369 - 0.00000 - 151 30s 610 79 0.00000 8 358 - 0.00000 - 150 36s 612 80 0.00000 17 355 - 0.00000 - 150 41s 614 82 0.00000 12 348 - 0.00000 - 149 47s 615 82 0.00000 21 347 - 0.00000 - 149 50s 618 84 0.00000 12 328 - 0.00000 - 148 56s 622 87 infeasible 12 - 0.00000 - 309 60s 809 60 infeasible 26 - 0.00000 - 301 65s 982 15 0.00000 25 463 - 0.00000 - 300 70s 1129 16 0.00000 24 475 - 0.00000 - 304 75s 1280 19 infeasible 23 - 0.00000 - 307 80s 1412 35 0.00000 24 476 - 0.00000 - 311 85s 1532 29 0.00000 23 366 - 0.00000 - 317 90s 1669 26 infeasible 23 - 0.00000 - 320 95s 1766 7 infeasible 23 - 0.00000 - 328 100s 1906 19 0.00000 26 423 - 0.00000 - 328 105s 2020 25 0.00000 20 470 - 0.00000 - 332 110s 2144 19 infeasible 21 - 0.00000 - 335 115s 2264 7 0.00000 21 427 - 0.00000 - 337 120s 2392 15 infeasible 24 - 0.00000 - 338 125s 2510 37 0.00000 27 378 - 0.00000 - 340 130s 2625 28 0.00000 25 477 - 0.00000 - 342 135s 2732 21 0.00000 21 477 - 0.00000 - 345 140s 2858 17 infeasible 28 - 0.00000 - 347 145s 2994 21 0.00000 28 374 - 0.00000 - 346 150s 3122 23 infeasible 30 - 0.00000 - 346 155s 3250 27 infeasible 26 - 0.00000 - 346 160s 3422 31 0.00000 23 368 - 0.00000 - 344 165s 3576 15 infeasible 20 - 0.00000 - 343 170s 3735 20 infeasible 26 - 0.00000 - 342 175s 3885 20 0.00000 23 426 - 0.00000 - 341 180s 4023 20 infeasible 26 - 0.00000 - 341 185s 4154 17 infeasible 20 - 0.00000 - 342 190s 4291 18 infeasible 24 - 0.00000 - 342 195s 4424 3 infeasible 28 - 0.00000 - 343 200s Cutting planes: Zero half: 16 Explored 4452 nodes (1618619 simplex iterations) in 201.35 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 10:54:49 2012 Optimize a model with 5529 rows, 2085 columns and 16995 nonzeros Presolve time: 0.02s Presolved: 5529 rows, 2085 columns, 16995 nonzeros Variable types: 0 continuous, 2085 integer (2085 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.00000 0 394 - 0.00000 - - 0s 0 0 0.00000 0 336 - 0.00000 - - 0s Cutting planes: Clique: 13 Explored 0 nodes (7388 simplex iterations) in 1.11 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