current bounds on the number of colors: 0 -- 207 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:24:57 2012 Optimize a model with 112786 rows, 22414 columns and 359058 nonzeros Presolve time: 0.39s Presolved: 112786 rows, 22414 columns, 359058 nonzeros Variable types: 0 continuous, 22414 integer (22414 binary) Root relaxation: objective 0.000000e+00, 567 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 (1018 simplex iterations) in 0.68 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 -- 103 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:24:59 2012 Optimize a model with 55950 rows, 11650 columns and 177786 nonzeros Presolve time: 0.17s Presolved: 55950 rows, 11650 columns, 177786 nonzeros Variable types: 0 continuous, 11650 integer (11650 binary) Root relaxation: objective 0.000000e+00, 674 iterations, 0.04 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 (1181 simplex iterations) in 0.29 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 12:25:00 2012 Optimize a model with 27532 rows, 6268 columns and 87150 nonzeros Presolve time: 0.11s Presolved: 27532 rows, 6268 columns, 87150 nonzeros Variable types: 0 continuous, 6268 integer (6268 binary) Root relaxation: objective 0.000000e+00, 491 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 (919 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 12:25:00 2012 Optimize a model with 13323 rows, 3577 columns and 41832 nonzeros Presolve time: 0.04s Presolved: 13323 rows, 3577 columns, 41832 nonzeros Variable types: 0 continuous, 3577 integer (3577 binary) Root relaxation: objective 0.000000e+00, 424 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 (841 simplex iterations) in 0.07 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 12:25:01 2012 Optimize a model with 6765 rows, 2335 columns and 20916 nonzeros Presolve time: 0.02s Presolved: 6765 rows, 2335 columns, 20916 nonzeros Variable types: 0 continuous, 2335 integer (2335 binary) Root relaxation: objective 0.000000e+00, 439 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 (2496 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 12:25:01 2012 Optimize a model with 3486 rows, 1714 columns and 10458 nonzeros Presolve time: 0.01s Presolved: 3486 rows, 1714 columns, 10458 nonzeros Variable types: 0 continuous, 1714 integer (1714 binary) Root relaxation: objective 0.000000e+00, 485 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 354 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (10692 simplex iterations) in 1.41 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 12:25:02 2012 Optimize a model with 4579 rows, 1921 columns and 13944 nonzeros Presolve time: 0.01s Presolved: 4579 rows, 1921 columns, 13944 nonzeros Variable types: 0 continuous, 1921 integer (1921 binary) Root relaxation: objective 0.000000e+00, 448 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 388 - 0.00000 - - 0s 0 0 0.00000 0 394 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 1s 0 0 0.00000 0 520 - 0.00000 - - 1s 0 0 0.00000 0 366 - 0.00000 - - 2s 0 0 0.00000 0 376 - 0.00000 - - 3s 0 0 0.00000 0 371 - 0.00000 - - 4s 0 0 0.00000 0 366 - 0.00000 - - 5s 0 0 0.00000 0 365 - 0.00000 - - 5s 0 0 0.00000 0 354 - 0.00000 - - 6s 0 0 0.00000 0 358 - 0.00000 - - 7s 0 0 0.00000 0 354 - 0.00000 - - 7s 0 0 0.00000 0 352 - 0.00000 - - 8s 0 0 0.00000 0 359 - 0.00000 - - 9s 0 0 0.00000 0 338 - 0.00000 - - 10s 0 0 0.00000 0 328 - 0.00000 - - 11s 0 0 0.00000 0 324 - 0.00000 - - 12s 0 0 0.00000 0 324 - 0.00000 - - 12s 0 0 0.00000 0 324 - 0.00000 - - 13s 0 2 0.00000 0 324 - 0.00000 - - 14s 3 3 0.00000 2 438 - 0.00000 - 999 15s 190 42 0.00000 8 428 - 0.00000 - 215 20s 418 72 0.00000 14 438 - 0.00000 - 220 25s 603 96 0.00000 16 404 - 0.00000 - 208 30s 606 98 0.00000 17 358 - 0.00000 - 207 35s 608 100 0.00000 4 356 - 0.00000 - 206 40s 610 101 0.00000 11 332 - 0.00000 - 206 46s 614 104 infeasible 16 - 0.00000 - 293 50s 623 108 0.00000 20 462 - 0.00000 - 293 55s 701 104 0.00000 28 380 - 0.00000 - 296 60s 813 64 infeasible 25 - 0.00000 - 307 65s 943 30 infeasible 25 - 0.00000 - 310 70s 1058 39 0.00000 26 475 - 0.00000 - 316 75s 1187 38 0.00000 27 417 - 0.00000 - 319 80s 1275 20 0.00000 23 442 - 0.00000 - 329 85s 1389 14 infeasible 27 - 0.00000 - 333 90s 1502 19 infeasible 28 - 0.00000 - 337 95s 1606 15 0.00000 26 453 - 0.00000 - 342 100s 1728 9 infeasible 26 - 0.00000 - 344 105s 1826 13 infeasible 32 - 0.00000 - 347 110s 1948 7 0.00000 24 376 - 0.00000 - 347 115s 2065 10 infeasible 27 - 0.00000 - 349 120s 2186 9 infeasible 27 - 0.00000 - 351 125s 2279 10 0.00000 26 504 - 0.00000 - 355 130s 2384 13 0.00000 25 494 - 0.00000 - 358 135s 2496 13 infeasible 34 - 0.00000 - 360 140s 2624 21 infeasible 34 - 0.00000 - 360 145s 2731 4 infeasible 25 - 0.00000 - 362 150s Cutting planes: Zero half: 18 Explored 2764 nodes (1092428 simplex iterations) in 151.69 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 12:27:34 2012 Optimize a model with 5672 rows, 2128 columns and 17430 nonzeros Presolve time: 0.02s Presolved: 5672 rows, 2128 columns, 17430 nonzeros Variable types: 0 continuous, 2128 integer (2128 binary) Root relaxation: objective 0.000000e+00, 430 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 380 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2533 simplex iterations) in 0.15 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