current bounds on the number of colors: 0 -- 205 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:03:16 2012 Optimize a model with 114343 rows, 22029 columns and 363324 nonzeros Presolve time: 0.38s Presolved: 114343 rows, 22029 columns, 363324 nonzeros Variable types: 0 continuous, 22029 integer (22029 binary) Root relaxation: objective 0.000000e+00, 549 iterations, 0.14 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.69 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 -- 102 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:03:18 2012 Optimize a model with 57274 rows, 11574 columns and 181662 nonzeros Presolve time: 0.17s Presolved: 57274 rows, 11574 columns, 181662 nonzeros Variable types: 0 continuous, 11574 integer (11574 binary) Root relaxation: objective 0.000000e+00, 733 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 (1255 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:03:19 2012 Optimize a model with 28180 rows, 6244 columns and 89050 nonzeros Presolve time: 0.12s Presolved: 28180 rows, 6244 columns, 89050 nonzeros Variable types: 0 continuous, 6244 integer (6244 binary) Root relaxation: objective 0.000000e+00, 459 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 (863 simplex iterations) in 0.17 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 11:03:20 2012 Optimize a model with 13633 rows, 3579 columns and 42744 nonzeros Presolve time: 0.04s Presolved: 13633 rows, 3579 columns, 42744 nonzeros Variable types: 0 continuous, 3579 integer (3579 binary) Root relaxation: objective 0.000000e+00, 436 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 (828 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:03:20 2012 Optimize a model with 6919 rows, 2349 columns and 21372 nonzeros Presolve time: 0.02s Presolved: 6919 rows, 2349 columns, 21372 nonzeros Variable types: 0 continuous, 2349 integer (2349 binary) Root relaxation: objective 0.000000e+00, 447 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 130 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2785 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:03:20 2012 Optimize a model with 3562 rows, 1734 columns and 10686 nonzeros Presolve time: 0.01s Presolved: 3562 rows, 1734 columns, 10686 nonzeros Variable types: 0 continuous, 1734 integer (1734 binary) Root relaxation: objective 0.000000e+00, 459 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 324 - 0.00000 - - 0s 0 0 0.00000 0 434 - 0.00000 - - 0s 0 0 0.00000 0 577 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 37 Zero half: 1555 Explored 0 nodes (11377 simplex iterations) in 1.75 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 11:03:22 2012 Optimize a model with 4681 rows, 1939 columns and 14248 nonzeros Presolve time: 0.01s Presolved: 4681 rows, 1939 columns, 14248 nonzeros Variable types: 0 continuous, 1939 integer (1939 binary) Root relaxation: objective 0.000000e+00, 461 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 394 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 1s 0 0 0.00000 0 517 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 2s 0 0 0.00000 0 378 - 0.00000 - - 3s 0 0 0.00000 0 378 - 0.00000 - - 4s 0 0 0.00000 0 372 - 0.00000 - - 5s 0 0 0.00000 0 377 - 0.00000 - - 6s 0 0 0.00000 0 377 - 0.00000 - - 7s 0 0 0.00000 0 363 - 0.00000 - - 7s 0 0 0.00000 0 356 - 0.00000 - - 8s 0 0 0.00000 0 352 - 0.00000 - - 9s 0 0 0.00000 0 348 - 0.00000 - - 10s 0 0 0.00000 0 350 - 0.00000 - - 11s 0 0 0.00000 0 350 - 0.00000 - - 11s 0 2 0.00000 0 350 - 0.00000 - - 12s 73 35 infeasible 17 - 0.00000 - 314 15s 304 70 infeasible 22 - 0.00000 - 225 20s 579 91 0.00000 12 386 - 0.00000 - 206 25s 605 103 0.00000 12 390 - 0.00000 - 201 31s 607 104 0.00000 14 382 - 0.00000 - 201 36s 609 105 0.00000 17 370 - 0.00000 - 200 41s 611 107 0.00000 18 365 - 0.00000 - 199 45s 614 109 0.00000 17 364 - 0.00000 - 198 51s 658 118 0.00000 18 494 - 0.00000 - 321 55s 778 98 0.00000 20 370 - 0.00000 - 326 60s 886 54 infeasible 21 - 0.00000 - 336 65s 1017 33 0.00000 20 382 - 0.00000 - 337 70s 1158 46 0.00000 30 396 - 0.00000 - 337 75s 1258 40 infeasible 24 - 0.00000 - 345 80s 1379 35 0.00000 20 412 - 0.00000 - 349 85s 1500 32 infeasible 26 - 0.00000 - 350 90s 1606 38 infeasible 26 - 0.00000 - 353 95s 1694 30 0.00000 27 391 - 0.00000 - 360 100s 1808 18 0.00000 22 484 - 0.00000 - 362 105s 1901 11 0.00000 18 493 - 0.00000 - 366 110s 2008 14 infeasible 23 - 0.00000 - 367 115s Cutting planes: Zero half: 23 Explored 2087 nodes (846701 simplex iterations) in 119.28 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 11:05:22 2012 Optimize a model with 5800 rows, 2144 columns and 17810 nonzeros Presolve time: 0.02s Presolved: 5800 rows, 2144 columns, 17810 nonzeros Variable types: 0 continuous, 2144 integer (2144 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.00000 0 392 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 467 - 0.00000 - - 1s 0 0 0.00000 0 539 - 0.00000 - - 1s 0 0 0.00000 0 488 - 0.00000 - - 2s * 0 0 0 0.0000000 0.00000 0.0% - 3s Cutting planes: Zero half: 108 Explored 0 nodes (19323 simplex iterations) in 3.02 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