current bounds on the number of colors: 0 -- 216 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:04:20 2012 Optimize a model with 125064 rows, 24484 columns and 397872 nonzeros Presolve time: 0.44s Presolved: 125064 rows, 24484 columns, 397872 nonzeros Variable types: 0 continuous, 24484 integer (24484 binary) Root relaxation: objective 0.000000e+00, 560 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 (992 simplex iterations) in 0.78 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 -- 108 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:04:22 2012 Optimize a model with 62640 rows, 12820 columns and 198936 nonzeros Presolve time: 0.18s Presolved: 62640 rows, 12820 columns, 198936 nonzeros Variable types: 0 continuous, 12820 integer (12820 binary) Root relaxation: objective 0.000000e+00, 685 iterations, 0.05 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 (1159 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 -- 54 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:04:23 2012 Optimize a model with 31428 rows, 6988 columns and 99468 nonzeros Presolve time: 0.13s Presolved: 31428 rows, 6988 columns, 99468 nonzeros Variable types: 0 continuous, 6988 integer (6988 binary) Root relaxation: objective 0.000000e+00, 553 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 (984 simplex iterations) in 0.19 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 -- 27 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:04:24 2012 Optimize a model with 15244 rows, 3964 columns and 47892 nonzeros Presolve time: 0.05s Presolved: 15244 rows, 3964 columns, 47892 nonzeros Variable types: 0 continuous, 3964 integer (3964 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (851 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 16:04:24 2012 Optimize a model with 7152 rows, 2452 columns and 22104 nonzeros Presolve time: 0.02s Presolved: 7152 rows, 2452 columns, 22104 nonzeros Variable types: 0 continuous, 2452 integer (2452 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2320 simplex iterations) in 0.14 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 16:04:24 2012 Optimize a model with 3684 rows, 1804 columns and 11052 nonzeros Presolve time: 0.01s Presolved: 3684 rows, 1804 columns, 11052 nonzeros Variable types: 0 continuous, 1804 integer (1804 binary) Root relaxation: objective 0.000000e+00, 494 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 334 - 0.00000 - - 0s 0 0 0.00000 0 528 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (10869 simplex iterations) in 1.45 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 16:04:26 2012 Optimize a model with 4840 rows, 2020 columns and 14736 nonzeros Presolve time: 0.01s Presolved: 4840 rows, 2020 columns, 14736 nonzeros Variable types: 0 continuous, 2020 integer (2020 binary) Root relaxation: objective 0.000000e+00, 506 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 422 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 1s 0 0 0.00000 0 488 - 0.00000 - - 1s 0 0 0.00000 0 402 - 0.00000 - - 2s 0 0 0.00000 0 400 - 0.00000 - - 3s 0 0 0.00000 0 392 - 0.00000 - - 4s 0 0 0.00000 0 396 - 0.00000 - - 5s 0 0 0.00000 0 392 - 0.00000 - - 6s 0 0 0.00000 0 388 - 0.00000 - - 6s 0 0 0.00000 0 398 - 0.00000 - - 7s 0 0 0.00000 0 388 - 0.00000 - - 8s 0 0 0.00000 0 407 - 0.00000 - - 9s 0 0 0.00000 0 392 - 0.00000 - - 10s 0 0 0.00000 0 384 - 0.00000 - - 11s 0 0 0.00000 0 396 - 0.00000 - - 12s 0 0 0.00000 0 389 - 0.00000 - - 12s 0 2 0.00000 0 389 - 0.00000 - - 13s 140 28 infeasible 17 - 0.00000 - 141 15s 488 78 0.00000 12 473 - 0.00000 - 156 20s 605 90 0.00000 15 400 - 0.00000 - 156 27s 607 91 0.00000 17 397 - 0.00000 - 155 31s 609 92 0.00000 11 388 - 0.00000 - 155 36s 611 94 0.00000 14 386 - 0.00000 - 154 42s 612 94 0.00000 15 388 - 0.00000 - 154 45s 614 96 0.00000 11 386 - 0.00000 - 153 50s 731 104 infeasible 22 - 0.00000 - 281 55s 889 51 infeasible 25 - 0.00000 - 290 60s 1048 50 infeasible 22 - 0.00000 - 296 65s 1214 52 0.00000 23 412 - 0.00000 - 301 70s 1359 57 infeasible 21 - 0.00000 - 306 75s 1505 51 infeasible 24 - 0.00000 - 312 80s 1659 51 0.00000 20 450 - 0.00000 - 316 85s 1792 46 0.00000 20 406 - 0.00000 - 320 90s 1928 22 0.00000 24 414 - 0.00000 - 323 95s 2047 11 0.00000 21 398 - 0.00000 - 326 100s 2185 3 infeasible 20 - 0.00000 - 327 105s 2324 4 0.00000 19 395 - 0.00000 - 328 110s Cutting planes: Gomory: 2 Zero half: 26 Explored 2337 nodes (847504 simplex iterations) in 110.42 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 16:06:16 2012 Optimize a model with 5996 rows, 2236 columns and 18420 nonzeros Presolve time: 0.02s Presolved: 5996 rows, 2236 columns, 18420 nonzeros Variable types: 0 continuous, 2236 integer (2236 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 224 - 0.00000 - - 0s 0 0 0.00000 0 192 - 0.00000 - - 0s 0 0 0.00000 0 243 - 0.00000 - - 1s H 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (15849 simplex iterations) in 1.80 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