current bounds on the number of colors: 0 -- 123 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:51:06 2012 Optimize a model with 47398 rows, 8278 columns and 149328 nonzeros Presolve time: 0.16s Presolved: 47398 rows, 8278 columns, 149328 nonzeros Variable types: 0 continuous, 8278 integer (8278 binary) Root relaxation: objective 0.000000e+00, 322 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 (613 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 -- 61 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:51:07 2012 Optimize a model with 23373 rows, 4465 columns and 73440 nonzeros Presolve time: 0.10s Presolved: 23373 rows, 4465 columns, 73440 nonzeros Variable types: 0 continuous, 4465 integer (4465 binary) Root relaxation: objective 0.000000e+00, 304 iterations, 0.03 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 (584 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 -- 30 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:51:08 2012 Optimize a model with 11748 rows, 2620 columns and 36720 nonzeros Presolve time: 0.04s Presolved: 11748 rows, 2620 columns, 36720 nonzeros Variable types: 0 continuous, 2620 integer (2620 binary) Root relaxation: objective 0.000000e+00, 247 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 (476 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:51:08 2012 Optimize a model with 5548 rows, 1636 columns and 17136 nonzeros Presolve time: 0.01s Presolved: 5548 rows, 1636 columns, 17136 nonzeros Variable types: 0 continuous, 1636 integer (1636 binary) Root relaxation: objective 0.000000e+00, 265 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 (1093 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:51:08 2012 Optimize a model with 2448 rows, 1144 columns and 7344 nonzeros Presolve time: 0.01s Presolved: 2448 rows, 1144 columns, 7344 nonzeros Variable types: 0 continuous, 1144 integer (1144 binary) Root relaxation: objective 0.000000e+00, 284 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 246 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3955 simplex iterations) in 0.47 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:51:09 2012 Optimize a model with 3998 rows, 1390 columns and 12240 nonzeros Presolve time: 0.01s Presolved: 3998 rows, 1390 columns, 12240 nonzeros Variable types: 0 continuous, 1390 integer (1390 binary) Root relaxation: objective 0.000000e+00, 263 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 234 - 0.00000 - - 0s 0 0 0.00000 0 189 - 0.00000 - - 0s 0 0 0.00000 0 192 - 0.00000 - - 1s 0 0 0.00000 0 323 - 0.00000 - - 1s 0 0 0.00000 0 287 - 0.00000 - - 1s 0 0 0.00000 0 307 - 0.00000 - - 2s 0 0 0.00000 0 286 - 0.00000 - - 2s 0 0 0.00000 0 247 - 0.00000 - - 3s 0 0 0.00000 0 233 - 0.00000 - - 4s 0 0 0.00000 0 251 - 0.00000 - - 4s 0 0 0.00000 0 283 - 0.00000 - - 5s 0 0 0.00000 0 283 - 0.00000 - - 5s 0 2 0.00000 0 283 - 0.00000 - - 5s 611 38 0.00000 16 263 - 0.00000 - 105 10s 716 52 0.00000 8 195 - 0.00000 - 103 15s 723 56 infeasible 14 - 0.00000 - 148 20s 992 54 0.00000 23 286 - 0.00000 - 169 25s 1267 85 infeasible 26 - 0.00000 - 184 30s 1560 98 infeasible 28 - 0.00000 - 192 35s 1833 111 0.00000 19 286 - 0.00000 - 199 40s 2089 91 infeasible 28 - 0.00000 - 206 45s 2337 89 0.00000 24 267 - 0.00000 - 212 50s 2576 90 0.00000 27 192 - 0.00000 - 217 55s 2847 99 0.00000 30 214 - 0.00000 - 219 60s 3093 95 infeasible 28 - 0.00000 - 222 65s 3372 110 0.00000 28 277 - 0.00000 - 223 70s 3597 123 0.00000 25 280 - 0.00000 - 226 75s 3835 111 0.00000 26 301 - 0.00000 - 228 80s 4083 117 infeasible 24 - 0.00000 - 230 85s 4318 116 infeasible 28 - 0.00000 - 232 90s 4563 107 0.00000 29 188 - 0.00000 - 234 95s 4841 93 infeasible 33 - 0.00000 - 234 100s 5054 80 infeasible 28 - 0.00000 - 237 105s 5291 87 infeasible 38 - 0.00000 - 238 110s 5555 79 infeasible 26 - 0.00000 - 239 115s 5791 77 infeasible 29 - 0.00000 - 240 120s 6005 67 infeasible 30 - 0.00000 - 242 125s 6227 63 infeasible 29 - 0.00000 - 243 130s 6456 54 0.00000 27 267 - 0.00000 - 244 135s 6684 37 0.00000 25 307 - 0.00000 - 245 140s 6922 27 0.00000 27 268 - 0.00000 - 246 145s 7150 13 infeasible 30 - 0.00000 - 247 150s Cutting planes: Gomory: 1 Clique: 3 Zero half: 14 Explored 7230 nodes (1829938 simplex iterations) in 152.11 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: 5 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:53:41 2012 Optimize a model with 4773 rows, 1513 columns and 14688 nonzeros Presolve time: 0.01s Presolved: 4773 rows, 1513 columns, 14688 nonzeros Variable types: 0 continuous, 1513 integer (1513 binary) Root relaxation: objective 0.000000e+00, 258 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 143 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2364 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% optimal solution found: number of colors: 6