current bounds on the number of colors: 0 -- 196 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:48:01 2012 Optimize a model with 96236 rows, 20188 columns and 307328 nonzeros Presolve time: 0.31s Presolved: 96236 rows, 20188 columns, 307328 nonzeros Variable types: 0 continuous, 20188 integer (20188 binary) Root relaxation: objective 0.000000e+00, 796 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 (1274 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 -- 98 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:48:03 2012 Optimize a model with 48216 rows, 10584 columns and 153664 nonzeros Presolve time: 0.16s Presolved: 48216 rows, 10584 columns, 153664 nonzeros Variable types: 0 continuous, 10584 integer (10584 binary) Root relaxation: objective 0.000000e+00, 717 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 (1180 simplex iterations) in 0.28 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 07:48:04 2012 Optimize a model with 23716 rows, 5684 columns and 75264 nonzeros Presolve time: 0.09s Presolved: 23716 rows, 5684 columns, 75264 nonzeros Variable types: 0 continuous, 5684 integer (5684 binary) Root relaxation: objective 0.000000e+00, 442 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 (821 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 07:48:04 2012 Optimize a model with 11956 rows, 3332 columns and 37632 nonzeros Presolve time: 0.04s Presolved: 11956 rows, 3332 columns, 37632 nonzeros Variable types: 0 continuous, 3332 integer (3332 binary) Root relaxation: objective 0.000000e+00, 412 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 (771 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 07:48:04 2012 Optimize a model with 6076 rows, 2156 columns and 18816 nonzeros Presolve time: 0.02s Presolved: 6076 rows, 2156 columns, 18816 nonzeros Variable types: 0 continuous, 2156 integer (2156 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 (2956 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 07:48:04 2012 Optimize a model with 3136 rows, 1568 columns and 9408 nonzeros Presolve time: 0.01s Presolved: 3136 rows, 1568 columns, 9408 nonzeros Variable types: 0 continuous, 1568 integer (1568 binary) Root relaxation: objective 0.000000e+00, 466 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 306 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6557 simplex iterations) in 0.77 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 07:48:05 2012 Optimize a model with 4116 rows, 1764 columns and 12544 nonzeros Presolve time: 0.01s Presolved: 4116 rows, 1764 columns, 12544 nonzeros Variable types: 0 continuous, 1764 integer (1764 binary) Root relaxation: objective 0.000000e+00, 441 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 382 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 1s 0 0 0.00000 0 372 - 0.00000 - - 1s 0 0 0.00000 0 370 - 0.00000 - - 1s 0 0 0.00000 0 370 - 0.00000 - - 2s 0 0 0.00000 0 360 - 0.00000 - - 2s 0 0 0.00000 0 362 - 0.00000 - - 3s 0 0 0.00000 0 358 - 0.00000 - - 3s 0 0 0.00000 0 356 - 0.00000 - - 4s 0 0 0.00000 0 352 - 0.00000 - - 4s 0 0 0.00000 0 350 - 0.00000 - - 5s 0 0 0.00000 0 352 - 0.00000 - - 5s 0 0 0.00000 0 352 - 0.00000 - - 6s 0 0 0.00000 0 352 - 0.00000 - - 6s 0 2 0.00000 0 352 - 0.00000 - - 7s 265 57 infeasible 24 - 0.00000 - 168 10s 703 129 0.00000 19 370 - 0.00000 - 168 15s 707 132 0.00000 20 320 - 0.00000 - 167 20s 710 134 0.00000 10 300 - 0.00000 - 167 25s 713 136 0.00000 18 292 - 0.00000 - 166 31s 715 137 0.00000 12 406 - 0.00000 - 166 35s 765 147 infeasible 24 - 0.00000 - 265 40s 1072 81 0.00000 29 350 - 0.00000 - 249 45s 1372 32 infeasible 35 - 0.00000 - 244 50s 1691 61 infeasible 32 - 0.00000 - 236 55s 1968 54 infeasible 38 - 0.00000 - 236 60s 2234 58 infeasible 33 - 0.00000 - 237 65s 2507 79 infeasible 29 - 0.00000 - 237 70s 2766 66 0.00000 30 350 - 0.00000 - 238 75s 3017 75 infeasible 28 - 0.00000 - 237 80s 3216 84 0.00000 31 342 - 0.00000 - 241 85s 3489 97 0.00000 26 433 - 0.00000 - 240 90s 3730 96 0.00000 28 342 - 0.00000 - 241 95s 3994 102 infeasible 32 - 0.00000 - 241 100s 4222 104 0.00000 24 346 - 0.00000 - 242 105s 4459 103 infeasible 27 - 0.00000 - 242 110s 4691 105 0.00000 27 426 - 0.00000 - 243 115s 4916 106 infeasible 31 - 0.00000 - 244 120s 5138 88 0.00000 28 358 - 0.00000 - 245 125s 5353 77 infeasible 26 - 0.00000 - 245 130s 5584 74 infeasible 27 - 0.00000 - 246 135s 5800 64 infeasible 28 - 0.00000 - 247 140s 6009 67 0.00000 26 352 - 0.00000 - 248 145s 6257 71 0.00000 26 354 - 0.00000 - 247 150s 6481 49 infeasible 28 - 0.00000 - 248 155s 6684 30 infeasible 29 - 0.00000 - 248 160s 6902 24 infeasible 33 - 0.00000 - 249 165s 7136 14 infeasible 26 - 0.00000 - 249 170s Cutting planes: Zero half: 13 Explored 7293 nodes (1870956 simplex iterations) in 173.81 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 07:50:59 2012 Optimize a model with 5096 rows, 1960 columns and 15680 nonzeros Presolve time: 0.01s Presolved: 5096 rows, 1960 columns, 15680 nonzeros Variable types: 0 continuous, 1960 integer (1960 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.00000 0 265 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4651 simplex iterations) in 0.39 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