current bounds on the number of colors: 0 -- 214 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:13:44 2012 Optimize a model with 124762 rows, 24062 columns and 396542 nonzeros Presolve time: 0.43s Presolved: 124762 rows, 24062 columns, 396542 nonzeros Variable types: 0 continuous, 24062 integer (24062 binary) Root relaxation: objective 0.000000e+00, 562 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 (1046 simplex iterations) in 0.77 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:13:47 2012 Optimize a model with 61906 rows, 12506 columns and 196418 nonzeros Presolve time: 0.18s Presolved: 61906 rows, 12506 columns, 196418 nonzeros Variable types: 0 continuous, 12506 integer (12506 binary) Root relaxation: objective 0.000000e+00, 613 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 (1064 simplex iterations) in 0.30 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:13:48 2012 Optimize a model with 30478 rows, 6728 columns and 96356 nonzeros Presolve time: 0.13s Presolved: 30478 rows, 6728 columns, 96356 nonzeros Variable types: 0 continuous, 6728 integer (6728 binary) Root relaxation: objective 0.000000e+00, 454 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 (839 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:13:48 2012 Optimize a model with 15346 rows, 3946 columns and 48178 nonzeros Presolve time: 0.05s Presolved: 15346 rows, 3946 columns, 48178 nonzeros Variable types: 0 continuous, 3946 integer (3946 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (858 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:13:49 2012 Optimize a model with 7198 rows, 2448 columns and 22236 nonzeros Presolve time: 0.02s Presolved: 7198 rows, 2448 columns, 22236 nonzeros Variable types: 0 continuous, 2448 integer (2448 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2767 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:13:49 2012 Optimize a model with 3706 rows, 1806 columns and 11118 nonzeros Presolve time: 0.01s Presolved: 3706 rows, 1806 columns, 11118 nonzeros Variable types: 0 continuous, 1806 integer (1806 binary) Root relaxation: objective 0.000000e+00, 449 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 326 - 0.00000 - - 0s 0 0 0.00000 0 424 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (8972 simplex iterations) in 1.17 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:13:50 2012 Optimize a model with 4870 rows, 2020 columns and 14824 nonzeros Presolve time: 0.01s Presolved: 4870 rows, 2020 columns, 14824 nonzeros Variable types: 0 continuous, 2020 integer (2020 binary) Root relaxation: objective 0.000000e+00, 462 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 410 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 608 - 0.00000 - - 2s 0 0 0.00000 0 376 - 0.00000 - - 3s 0 0 0.00000 0 376 - 0.00000 - - 4s 0 0 0.00000 0 382 - 0.00000 - - 5s 0 0 0.00000 0 382 - 0.00000 - - 6s 0 0 0.00000 0 382 - 0.00000 - - 6s 0 2 0.00000 0 381 - 0.00000 - - 8s 58 32 0.00000 8 414 - 0.00000 - 305 10s 301 73 infeasible 25 - 0.00000 - 230 15s 603 119 0.00000 21 388 - 0.00000 - 197 21s 605 121 0.00000 13 370 - 0.00000 - 196 26s 607 122 0.00000 21 372 - 0.00000 - 196 30s 609 123 0.00000 15 362 - 0.00000 - 195 35s 611 125 0.00000 21 369 - 0.00000 - 194 43s 614 127 infeasible 13 - 0.00000 - 292 45s 620 131 0.00000 16 545 - 0.00000 - 293 50s 666 137 0.00000 22 435 - 0.00000 - 302 55s 768 109 infeasible 30 - 0.00000 - 310 60s 851 79 infeasible 24 - 0.00000 - 324 65s 939 61 0.00000 27 509 - 0.00000 - 339 70s 1020 37 infeasible 23 - 0.00000 - 348 75s 1124 39 infeasible 32 - 0.00000 - 353 80s 1200 31 infeasible 22 - 0.00000 - 361 85s 1284 31 0.00000 25 474 - 0.00000 - 367 90s 1382 41 0.00000 25 455 - 0.00000 - 369 95s 1455 36 infeasible 22 - 0.00000 - 374 100s 1535 36 0.00000 25 518 - 0.00000 - 380 105s 1630 39 infeasible 27 - 0.00000 - 381 110s 1732 35 0.00000 18 515 - 0.00000 - 383 115s 1824 33 infeasible 19 - 0.00000 - 383 120s 1913 24 0.00000 23 503 - 0.00000 - 386 125s 2020 29 0.00000 22 498 - 0.00000 - 384 130s 2117 30 infeasible 27 - 0.00000 - 387 135s 2226 23 0.00000 22 504 - 0.00000 - 388 140s 2319 22 infeasible 23 - 0.00000 - 390 145s 2401 12 infeasible 23 - 0.00000 - 392 150s 2511 12 infeasible 25 - 0.00000 - 391 155s 2610 11 infeasible 23 - 0.00000 - 392 160s 2715 18 infeasible 27 - 0.00000 - 392 165s 2805 8 0.00000 21 555 - 0.00000 - 394 170s Cutting planes: Zero half: 13 Explored 2840 nodes (1161914 simplex iterations) in 172.19 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:16:42 2012 Optimize a model with 6034 rows, 2234 columns and 18530 nonzeros Presolve time: 0.02s Presolved: 6034 rows, 2234 columns, 18530 nonzeros Variable types: 0 continuous, 2234 integer (2234 binary) Root relaxation: objective 0.000000e+00, 458 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 392 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 0s 0 0 0.00000 0 186 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 1s 0 0 0.00000 0 316 - 0.00000 - - 2s H 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Clique: 2 Zero half: 5 Explored 0 nodes (20111 simplex iterations) in 2.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% optimal solution found: number of colors: 5