current bounds on the number of colors: 0 -- 207 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:05:18 2012 Optimize a model with 111035 rows, 22397 columns and 353805 nonzeros Presolve time: 0.37s Presolved: 111035 rows, 22397 columns, 353805 nonzeros Variable types: 0 continuous, 22397 integer (22397 binary) Root relaxation: objective 0.000000e+00, 807 iterations, 0.10 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 (1302 simplex iterations) in 0.63 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 -- 103 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:05:20 2012 Optimize a model with 55083 rows, 11633 columns and 175185 nonzeros Presolve time: 0.17s Presolved: 55083 rows, 11633 columns, 175185 nonzeros Variable types: 0 continuous, 11633 integer (11633 binary) Root relaxation: objective 0.000000e+00, 710 iterations, 0.06 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 (1187 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:05:21 2012 Optimize a model with 27107 rows, 6251 columns and 85875 nonzeros Presolve time: 0.11s Presolved: 27107 rows, 6251 columns, 85875 nonzeros Variable types: 0 continuous, 6251 integer (6251 binary) Root relaxation: objective 0.000000e+00, 477 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 (890 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 12:05:21 2012 Optimize a model with 13119 rows, 3560 columns and 41220 nonzeros Presolve time: 0.04s Presolved: 13119 rows, 3560 columns, 41220 nonzeros Variable types: 0 continuous, 3560 integer (3560 binary) Root relaxation: objective 0.000000e+00, 438 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 (796 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 12:05:22 2012 Optimize a model with 6663 rows, 2318 columns and 20610 nonzeros Presolve time: 0.02s Presolved: 6663 rows, 2318 columns, 20610 nonzeros Variable types: 0 continuous, 2318 integer (2318 binary) Root relaxation: objective 0.000000e+00, 442 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 (2154 simplex iterations) in 0.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% current bounds on the number of colors: 0 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:05:22 2012 Optimize a model with 3435 rows, 1697 columns and 10305 nonzeros Presolve time: 0.01s Presolved: 3435 rows, 1697 columns, 10305 nonzeros Variable types: 0 continuous, 1697 integer (1697 binary) Root relaxation: objective 0.000000e+00, 481 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 356 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 0s 0 0 0.00000 0 565 - 0.00000 - - 1s 0 0 0.00000 0 566 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Zero half: 1372 Explored 0 nodes (11157 simplex iterations) in 1.82 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 12:05:24 2012 Optimize a model with 4511 rows, 1904 columns and 13740 nonzeros Presolve time: 0.01s Presolved: 4511 rows, 1904 columns, 13740 nonzeros Variable types: 0 continuous, 1904 integer (1904 binary) Root relaxation: objective 0.000000e+00, 460 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 404 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 1s 0 0 0.00000 0 417 - 0.00000 - - 1s 0 0 0.00000 0 375 - 0.00000 - - 1s 0 0 0.00000 0 370 - 0.00000 - - 2s 0 0 0.00000 0 368 - 0.00000 - - 3s 0 0 0.00000 0 364 - 0.00000 - - 4s 0 0 0.00000 0 366 - 0.00000 - - 4s 0 0 0.00000 0 356 - 0.00000 - - 5s 0 0 0.00000 0 365 - 0.00000 - - 6s 0 0 0.00000 0 375 - 0.00000 - - 7s 0 0 0.00000 0 373 - 0.00000 - - 8s 0 0 0.00000 0 346 - 0.00000 - - 9s 0 0 0.00000 0 348 - 0.00000 - - 9s 0 0 0.00000 0 348 - 0.00000 - - 9s 0 2 0.00000 0 348 - 0.00000 - - 10s 245 33 0.00000 12 390 - 0.00000 - 179 15s 571 64 0.00000 14 415 - 0.00000 - 177 20s 606 76 0.00000 15 386 - 0.00000 - 174 25s 609 78 0.00000 18 366 - 0.00000 - 173 32s 611 80 0.00000 10 363 - 0.00000 - 172 36s 613 81 0.00000 13 363 - 0.00000 - 172 41s 615 82 0.00000 11 353 - 0.00000 - 171 45s 617 84 0.00000 15 358 - 0.00000 - 170 51s 725 60 infeasible 22 - 0.00000 - 306 55s 906 13 infeasible 22 - 0.00000 - 305 60s 1059 22 infeasible 29 - 0.00000 - 310 65s 1218 7 infeasible 26 - 0.00000 - 312 70s Cutting planes: Zero half: 18 Explored 1276 nodes (473849 simplex iterations) in 72.53 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 12:06:37 2012 Optimize a model with 5587 rows, 2111 columns and 17175 nonzeros Presolve time: 0.02s Presolved: 5587 rows, 2111 columns, 17175 nonzeros Variable types: 0 continuous, 2111 integer (2111 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.00000 0 390 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 1s 0 0 0.00000 0 368 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 2s 0 0 0.00000 0 344 - 0.00000 - - 2s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 0 0.00000 0 340 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 3s 0 0 0.00000 0 312 - 0.00000 - - 3s 0 0 0.00000 0 304 - 0.00000 - - 3s 0 0 0.00000 0 304 - 0.00000 - - 3s 0 0 0.00000 0 304 - 0.00000 - - 4s H 0 0 0.0000000 0.00000 0.0% - 4s Cutting planes: Zero half: 21 Explored 0 nodes (35319 simplex iterations) in 4.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% optimal solution found: number of colors: 5