current bounds on the number of colors: 0 -- 199 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:42:05 2012 Optimize a model with 96031 rows, 20669 columns and 307197 nonzeros Presolve time: 0.32s Presolved: 96031 rows, 20669 columns, 307197 nonzeros Variable types: 0 continuous, 20669 integer (20669 binary) Root relaxation: objective 0.000000e+00, 797 iterations, 0.09 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 (1250 simplex iterations) in 0.55 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 -- 99 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:42:06 2012 Optimize a model with 47631 rows, 10719 columns and 152047 nonzeros Presolve time: 0.16s Presolved: 47631 rows, 10719 columns, 152047 nonzeros Variable types: 0 continuous, 10719 integer (10719 binary) Root relaxation: objective 0.000000e+00, 682 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 (1177 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:42:07 2012 Optimize a model with 23431 rows, 5744 columns and 74472 nonzeros Presolve time: 0.09s Presolved: 23431 rows, 5744 columns, 74472 nonzeros Variable types: 0 continuous, 5744 integer (5744 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (823 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 08:42:08 2012 Optimize a model with 11815 rows, 3356 columns and 37236 nonzeros Presolve time: 0.04s Presolved: 11815 rows, 3356 columns, 37236 nonzeros Variable types: 0 continuous, 3356 integer (3356 binary) Root relaxation: objective 0.000000e+00, 426 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 (804 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 08:42:08 2012 Optimize a model with 6007 rows, 2162 columns and 18618 nonzeros Presolve time: 0.02s Presolved: 6007 rows, 2162 columns, 18618 nonzeros Variable types: 0 continuous, 2162 integer (2162 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 (1515 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:42:08 2012 Optimize a model with 3103 rows, 1565 columns and 9309 nonzeros Presolve time: 0.01s Presolved: 3103 rows, 1565 columns, 9309 nonzeros Variable types: 0 continuous, 1565 integer (1565 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 394 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 0.00000 0 514 - 0.00000 - - 1s 0 0 0.00000 0 546 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Clique: 1 Zero half: 1115 Explored 0 nodes (10404 simplex iterations) in 1.65 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 08:42:10 2012 Optimize a model with 4071 rows, 1764 columns and 12412 nonzeros Presolve time: 0.01s Presolved: 4071 rows, 1764 columns, 12412 nonzeros Variable types: 0 continuous, 1764 integer (1764 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 372 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 0s 0 0 0.00000 0 452 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 1s 0 0 0.00000 0 360 - 0.00000 - - 2s 0 0 0.00000 0 358 - 0.00000 - - 2s 0 0 0.00000 0 355 - 0.00000 - - 3s 0 0 0.00000 0 328 - 0.00000 - - 3s 0 0 0.00000 0 324 - 0.00000 - - 4s 0 0 0.00000 0 328 - 0.00000 - - 4s 0 0 0.00000 0 326 - 0.00000 - - 5s 0 0 0.00000 0 320 - 0.00000 - - 5s 0 0 0.00000 0 316 - 0.00000 - - 6s 0 0 0.00000 0 322 - 0.00000 - - 6s 0 0 0.00000 0 304 - 0.00000 - - 7s 0 0 0.00000 0 298 - 0.00000 - - 7s 0 0 0.00000 0 296 - 0.00000 - - 8s 0 0 0.00000 0 354 - 0.00000 - - 9s 0 0 0.00000 0 307 - 0.00000 - - 9s 0 2 0.00000 0 305 - 0.00000 - - 10s 557 138 infeasible 18 - 0.00000 - 137 15s 607 153 0.00000 10 358 - 0.00000 - 133 21s 610 155 0.00000 14 344 - 0.00000 - 132 25s 614 158 0.00000 11 296 - 0.00000 - 131 31s 617 160 0.00000 14 422 - 0.00000 - 131 36s 709 141 infeasible 23 - 0.00000 - 248 40s 935 82 infeasible 28 - 0.00000 - 248 45s 1159 34 infeasible 29 - 0.00000 - 250 50s 1416 51 infeasible 27 - 0.00000 - 247 55s 1648 47 infeasible 28 - 0.00000 - 251 60s 1880 33 infeasible 28 - 0.00000 - 252 65s 2122 35 infeasible 29 - 0.00000 - 253 70s 2342 47 infeasible 25 - 0.00000 - 255 75s 2559 44 infeasible 27 - 0.00000 - 256 80s 2770 33 0.00000 21 473 - 0.00000 - 259 85s 2990 43 infeasible 24 - 0.00000 - 260 90s 3205 42 0.00000 25 456 - 0.00000 - 261 95s 3459 44 0.00000 25 344 - 0.00000 - 260 100s 3677 30 0.00000 28 383 - 0.00000 - 261 105s 3902 29 0.00000 25 390 - 0.00000 - 261 110s 4111 18 infeasible 28 - 0.00000 - 262 115s 4318 13 infeasible 30 - 0.00000 - 263 120s Cutting planes: Gomory: 1 Zero half: 23 Explored 4512 nodes (1268005 simplex iterations) in 124.80 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 08:44:15 2012 Optimize a model with 5039 rows, 1963 columns and 15515 nonzeros Presolve time: 0.01s Presolved: 5039 rows, 1963 columns, 15515 nonzeros Variable types: 0 continuous, 1963 integer (1963 binary) Root relaxation: objective 0.000000e+00, 435 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 H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2414 simplex iterations) in 0.12 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