current bounds on the number of colors: 0 -- 194 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:53:49 2012 Optimize a model with 93411 rows, 19779 columns and 298469 nonzeros Presolve time: 0.30s Presolved: 93411 rows, 19779 columns, 298469 nonzeros Variable types: 0 continuous, 19779 integer (19779 binary) Root relaxation: objective 0.000000e+00, 702 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 (1106 simplex iterations) in 0.49 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 -- 97 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:53:51 2012 Optimize a model with 46322 rows, 10273 columns and 147696 nonzeros Presolve time: 0.16s Presolved: 46322 rows, 10273 columns, 147696 nonzeros Variable types: 0 continuous, 10273 integer (10273 binary) Root relaxation: objective 0.000000e+00, 719 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 (1158 simplex iterations) in 0.27 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:53:51 2012 Optimize a model with 23258 rows, 5617 columns and 73848 nonzeros Presolve time: 0.09s Presolved: 23258 rows, 5617 columns, 73848 nonzeros Variable types: 0 continuous, 5617 integer (5617 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 (819 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:53:52 2012 Optimize a model with 11726 rows, 3289 columns and 36924 nonzeros Presolve time: 0.04s Presolved: 11726 rows, 3289 columns, 36924 nonzeros Variable types: 0 continuous, 3289 integer (3289 binary) Root relaxation: objective 0.000000e+00, 416 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 (803 simplex iterations) in 0.06 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 06:53:52 2012 Optimize a model with 5960 rows, 2125 columns and 18462 nonzeros Presolve time: 0.02s Presolved: 5960 rows, 2125 columns, 18462 nonzeros Variable types: 0 continuous, 2125 integer (2125 binary) Root relaxation: objective 0.000000e+00, 416 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 (1458 simplex iterations) in 0.06 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 06:53:52 2012 Optimize a model with 3077 rows, 1543 columns and 9231 nonzeros Presolve time: 0.01s Presolved: 3077 rows, 1543 columns, 9231 nonzeros Variable types: 0 continuous, 1543 integer (1543 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.00000 0 302 - 0.00000 - - 0s 0 0 0.00000 0 382 - 0.00000 - - 0s 0 0 0.00000 0 514 - 0.00000 - - 1s 0 0 0.00000 0 529 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 3 Zero half: 1158 Explored 0 nodes (11401 simplex iterations) in 1.72 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 06:53:54 2012 Optimize a model with 4038 rows, 1737 columns and 12308 nonzeros Presolve time: 0.01s Presolved: 4038 rows, 1737 columns, 12308 nonzeros Variable types: 0 continuous, 1737 integer (1737 binary) Root relaxation: objective 0.000000e+00, 471 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 378 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 1s 0 0 0.00000 0 496 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 2s 0 0 0.00000 0 332 - 0.00000 - - 2s 0 0 0.00000 0 338 - 0.00000 - - 3s 0 0 0.00000 0 336 - 0.00000 - - 3s 0 0 0.00000 0 328 - 0.00000 - - 4s 0 0 0.00000 0 322 - 0.00000 - - 4s 0 0 0.00000 0 310 - 0.00000 - - 5s 0 0 0.00000 0 314 - 0.00000 - - 6s 0 0 0.00000 0 308 - 0.00000 - - 6s 0 0 0.00000 0 312 - 0.00000 - - 7s 0 0 0.00000 0 298 - 0.00000 - - 8s 0 0 0.00000 0 301 - 0.00000 - - 8s 0 0 0.00000 0 300 - 0.00000 - - 9s 0 2 0.00000 0 300 - 0.00000 - - 10s 418 119 0.00000 18 409 - 0.00000 - 147 15s 609 133 0.00000 14 302 - 0.00000 - 132 21s 612 135 0.00000 23 286 - 0.00000 - 132 26s 614 137 0.00000 16 309 - 0.00000 - 131 31s 623 141 0.00000 17 400 - 0.00000 - 211 35s 789 101 infeasible 28 - 0.00000 - 218 40s 977 53 0.00000 25 358 - 0.00000 - 232 45s 1213 35 infeasible 28 - 0.00000 - 237 50s 1415 35 infeasible 29 - 0.00000 - 244 55s 1638 24 0.00000 24 399 - 0.00000 - 246 60s 1854 20 infeasible 23 - 0.00000 - 248 65s 2080 14 infeasible 26 - 0.00000 - 250 70s 2284 4 0.00000 24 461 - 0.00000 - 252 75s Cutting planes: Zero half: 9 Explored 2373 nodes (668688 simplex iterations) in 77.40 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 06:55:11 2012 Optimize a model with 4999 rows, 1931 columns and 15385 nonzeros Presolve time: 0.01s Presolved: 4999 rows, 1931 columns, 15385 nonzeros Variable types: 0 continuous, 1931 integer (1931 binary) Root relaxation: objective 0.000000e+00, 428 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 138 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3604 simplex iterations) in 0.25 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