current bounds on the number of colors: 0 -- 211 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:50:29 2012 Optimize a model with 119386 rows, 23290 columns and 379680 nonzeros Presolve time: 0.41s Presolved: 119386 rows, 23290 columns, 379680 nonzeros Variable types: 0 continuous, 23290 integer (23290 binary) Root relaxation: objective 0.000000e+00, 540 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 (995 simplex iterations) in 0.72 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 -- 105 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:50:31 2012 Optimize a model with 59231 rows, 12107 columns and 188032 nonzeros Presolve time: 0.18s Presolved: 59231 rows, 12107 columns, 188032 nonzeros Variable types: 0 continuous, 12107 integer (12107 binary) Root relaxation: objective 0.000000e+00, 803 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 (1285 simplex iterations) in 0.33 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:50:32 2012 Optimize a model with 29721 rows, 6621 columns and 94016 nonzeros Presolve time: 0.12s Presolved: 29721 rows, 6621 columns, 94016 nonzeros Variable types: 0 continuous, 6621 integer (6621 binary) Root relaxation: objective 0.000000e+00, 517 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 (1195 simplex iterations) in 0.21 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:50:32 2012 Optimize a model with 14966 rows, 3878 columns and 47008 nonzeros Presolve time: 0.05s Presolved: 14966 rows, 3878 columns, 47008 nonzeros Variable types: 0 continuous, 3878 integer (3878 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 (831 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:50:33 2012 Optimize a model with 7021 rows, 2401 columns and 21696 nonzeros Presolve time: 0.02s Presolved: 7021 rows, 2401 columns, 21696 nonzeros Variable types: 0 continuous, 2401 integer (2401 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 (2403 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 13:50:33 2012 Optimize a model with 3616 rows, 1768 columns and 10848 nonzeros Presolve time: 0.01s Presolved: 3616 rows, 1768 columns, 10848 nonzeros Variable types: 0 continuous, 1768 integer (1768 binary) Root relaxation: objective 0.000000e+00, 455 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 364 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (10238 simplex iterations) in 1.44 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:50:34 2012 Optimize a model with 4751 rows, 1979 columns and 14464 nonzeros Presolve time: 0.01s Presolved: 4751 rows, 1979 columns, 14464 nonzeros Variable types: 0 continuous, 1979 integer (1979 binary) Root relaxation: objective 0.000000e+00, 479 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 0.00000 0 382 - 0.00000 - - 1s 0 0 0.00000 0 498 - 0.00000 - - 1s 0 0 0.00000 0 372 - 0.00000 - - 2s 0 0 0.00000 0 370 - 0.00000 - - 3s 0 0 0.00000 0 373 - 0.00000 - - 4s 0 0 0.00000 0 366 - 0.00000 - - 5s 0 0 0.00000 0 360 - 0.00000 - - 6s 0 0 0.00000 0 354 - 0.00000 - - 7s 0 0 0.00000 0 356 - 0.00000 - - 8s 0 0 0.00000 0 344 - 0.00000 - - 9s 0 0 0.00000 0 346 - 0.00000 - - 10s 0 0 0.00000 0 346 - 0.00000 - - 10s 0 2 0.00000 0 346 - 0.00000 - - 11s 215 39 0.00000 12 372 - 0.00000 - 184 15s 551 51 infeasible 14 - 0.00000 - 172 20s 704 80 0.00000 20 609 - 0.00000 - 175 26s 705 81 0.00000 12 371 - 0.00000 - 175 31s 707 82 0.00000 18 368 - 0.00000 - 174 35s 709 83 0.00000 19 415 - 0.00000 - 174 42s 710 84 0.00000 18 412 - 0.00000 - 173 45s 713 86 0.00000 11 535 - 0.00000 - 173 50s 834 77 infeasible 28 - 0.00000 - 263 55s 972 35 infeasible 31 - 0.00000 - 271 60s 1102 17 infeasible 25 - 0.00000 - 280 65s 1216 21 infeasible 30 - 0.00000 - 291 70s 1352 17 0.00000 30 437 - 0.00000 - 295 75s 1469 4 infeasible 26 - 0.00000 - 302 80s 1603 10 infeasible 28 - 0.00000 - 305 85s 1770 23 0.00000 34 398 - 0.00000 - 303 90s 1917 18 0.00000 30 388 - 0.00000 - 305 95s 2044 13 0.00000 31 378 - 0.00000 - 310 100s 2189 6 0.00000 23 459 - 0.00000 - 311 105s Cutting planes: Gomory: 1 Clique: 1 Zero half: 36 Explored 2268 nodes (773868 simplex iterations) in 107.81 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:52:22 2012 Optimize a model with 5886 rows, 2190 columns and 18080 nonzeros Presolve time: 0.02s Presolved: 5886 rows, 2190 columns, 18080 nonzeros Variable types: 0 continuous, 2190 integer (2190 binary) Root relaxation: objective 0.000000e+00, 463 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 396 - 0.00000 - - 0s 0 0 0.00000 0 488 - 0.00000 - - 1s 0 0 0.00000 0 563 - 0.00000 - - 1s 0 0 0.00000 0 510 - 0.00000 - - 2s 0 0 0.00000 0 477 - 0.00000 - - 3s * 0 0 0 0.0000000 0.00000 0.0% - 4s Cutting planes: Zero half: 96 Explored 0 nodes (23787 simplex iterations) in 4.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% optimal solution found: number of colors: 5