current bounds on the number of colors: 0 -- 211 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:38:24 2012 Optimize a model with 123481 rows, 23329 columns and 391965 nonzeros Presolve time: 0.43s Presolved: 123481 rows, 23329 columns, 391965 nonzeros Variable types: 0 continuous, 23329 integer (23329 binary) Root relaxation: objective 0.000000e+00, 561 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 (1011 simplex iterations) in 0.75 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:38:27 2012 Optimize a model with 61259 rows, 12146 columns and 194116 nonzeros Presolve time: 0.18s Presolved: 61259 rows, 12146 columns, 194116 nonzeros Variable types: 0 continuous, 12146 integer (12146 binary) Root relaxation: objective 0.000000e+00, 639 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 (1192 simplex iterations) in 0.34 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:38:28 2012 Optimize a model with 30735 rows, 6660 columns and 97058 nonzeros Presolve time: 0.13s Presolved: 30735 rows, 6660 columns, 97058 nonzeros Variable types: 0 continuous, 6660 integer (6660 binary) Root relaxation: objective 0.000000e+00, 497 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 (921 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:38:28 2012 Optimize a model with 15473 rows, 3917 columns and 48529 nonzeros Presolve time: 0.05s Presolved: 15473 rows, 3917 columns, 48529 nonzeros Variable types: 0 continuous, 3917 integer (3917 binary) Root relaxation: objective 0.000000e+00, 444 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 (856 simplex iterations) in 0.09 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:38:29 2012 Optimize a model with 7255 rows, 2440 columns and 22398 nonzeros Presolve time: 0.02s Presolved: 7255 rows, 2440 columns, 22398 nonzeros Variable types: 0 continuous, 2440 integer (2440 binary) Root relaxation: objective 0.000000e+00, 453 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 (4155 simplex iterations) in 0.38 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:38:29 2012 Optimize a model with 3733 rows, 1807 columns and 11199 nonzeros Presolve time: 0.01s Presolved: 3733 rows, 1807 columns, 11199 nonzeros Variable types: 0 continuous, 1807 integer (1807 binary) Root relaxation: objective 0.000000e+00, 454 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 418 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (6816 simplex iterations) in 1.06 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:38:30 2012 Optimize a model with 4907 rows, 2018 columns and 14932 nonzeros Presolve time: 0.01s Presolved: 4907 rows, 2018 columns, 14932 nonzeros Variable types: 0 continuous, 2018 integer (2018 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 418 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 0s 0 0 0.00000 0 414 - 0.00000 - - 1s 0 0 0.00000 0 412 - 0.00000 - - 2s 0 0 0.00000 0 572 - 0.00000 - - 2s 0 0 0.00000 0 408 - 0.00000 - - 3s 0 0 0.00000 0 396 - 0.00000 - - 5s 0 0 0.00000 0 400 - 0.00000 - - 6s 0 0 0.00000 0 425 - 0.00000 - - 7s 0 0 0.00000 0 392 - 0.00000 - - 8s 0 0 0.00000 0 382 - 0.00000 - - 9s 0 0 0.00000 0 378 - 0.00000 - - 10s 0 0 0.00000 0 394 - 0.00000 - - 11s 0 0 0.00000 0 362 - 0.00000 - - 13s 0 0 0.00000 0 372 - 0.00000 - - 14s 0 0 0.00000 0 372 - 0.00000 - - 15s 0 2 0.00000 0 372 - 0.00000 - - 17s 71 9 0.00000 8 441 - 0.00000 - 287 20s 239 12 0.00000 11 488 - 0.00000 - 256 25s 397 8 0.00000 11 376 - 0.00000 - 261 30s 544 9 infeasible 10 - 0.00000 - 266 35s 701 11 0.00000 0 406 - 0.00000 - 261 40s 705 14 0.00000 0 406 - 0.00000 - 259 46s 707 15 0.00000 0 409 - 0.00000 - 259 52s 709 16 0.00000 0 408 - 0.00000 - 258 57s 710 17 0.00000 0 405 - 0.00000 - 258 60s 712 18 0.00000 0 462 - 0.00000 - 257 65s 714 20 0.00000 0 362 - 0.00000 - 256 70s 764 7 0.00000 15 558 - 0.00000 - 385 75s 826 1 infeasible 18 - 0.00000 - 400 80s Cutting planes: Gomory: 1 Zero half: 11 Explored 856 nodes (434654 simplex iterations) in 82.44 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:39:53 2012 Optimize a model with 6081 rows, 2229 columns and 18665 nonzeros Presolve time: 0.02s Presolved: 6081 rows, 2229 columns, 18665 nonzeros Variable types: 0 continuous, 2229 integer (2229 binary) Root relaxation: objective 0.000000e+00, 454 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 406 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 494 - 0.00000 - - 1s 0 0 0.00000 0 477 - 0.00000 - - 2s 0 0 0.00000 0 486 - 0.00000 - - 2s 0 0 0.00000 0 474 - 0.00000 - - 3s 0 0 0.00000 0 503 - 0.00000 - - 4s 0 0 0.00000 0 503 - 0.00000 - - 5s 0 2 0.00000 0 503 - 0.00000 - - 6s * 95 3 48 0.0000000 0.00000 0.0% 138 7s Cutting planes: Zero half: 21 Explored 96 nodes (41207 simplex iterations) in 7.50 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