current bounds on the number of colors: 0 -- 126 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:14:57 2012 Optimize a model with 49455 rows, 8721 columns and 155925 nonzeros Presolve time: 0.16s Presolved: 49455 rows, 8721 columns, 155925 nonzeros Variable types: 0 continuous, 8721 integer (8721 binary) Root relaxation: objective 0.000000e+00, 339 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 (731 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 -- 63 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:14:57 2012 Optimize a model with 24399 rows, 4689 columns and 76725 nonzeros Presolve time: 0.11s Presolved: 24399 rows, 4689 columns, 76725 nonzeros Variable types: 0 continuous, 4689 integer (4689 binary) Root relaxation: objective 0.000000e+00, 383 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 (686 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 -- 31 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:14:58 2012 Optimize a model with 11871 rows, 2673 columns and 37125 nonzeros Presolve time: 0.04s Presolved: 11871 rows, 2673 columns, 37125 nonzeros Variable types: 0 continuous, 2673 integer (2673 binary) Root relaxation: objective 0.000000e+00, 260 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 (486 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 23:14:58 2012 Optimize a model with 5607 rows, 1665 columns and 17325 nonzeros Presolve time: 0.01s Presolved: 5607 rows, 1665 columns, 17325 nonzeros Variable types: 0 continuous, 1665 integer (1665 binary) Root relaxation: objective 0.000000e+00, 271 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 (1175 simplex iterations) in 0.05 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 23:14:58 2012 Optimize a model with 2475 rows, 1161 columns and 7425 nonzeros Presolve time: 0.01s Presolved: 2475 rows, 1161 columns, 7425 nonzeros Variable types: 0 continuous, 1161 integer (1161 binary) Root relaxation: objective 0.000000e+00, 278 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 204 - 0.00000 - - 0s 0 0 0.00000 0 252 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4832 simplex iterations) in 0.49 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 23:14:59 2012 Optimize a model with 4041 rows, 1413 columns and 12375 nonzeros Presolve time: 0.01s Presolved: 4041 rows, 1413 columns, 12375 nonzeros Variable types: 0 continuous, 1413 integer (1413 binary) Root relaxation: objective 0.000000e+00, 278 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 242 - 0.00000 - - 0s 0 0 0.00000 0 222 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 1s 0 0 0.00000 0 309 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 279 - 0.00000 - - 1s 0 0 0.00000 0 303 - 0.00000 - - 2s 0 0 0.00000 0 297 - 0.00000 - - 2s 0 0 0.00000 0 304 - 0.00000 - - 2s 0 0 0.00000 0 304 - 0.00000 - - 3s 0 2 0.00000 0 304 - 0.00000 - - 3s 192 64 0.00000 27 178 - 0.00000 - 109 5s 708 64 0.00000 19 288 - 0.00000 - 85.8 11s 712 66 0.00000 26 293 - 0.00000 - 85.4 15s 989 94 0.00000 32 232 - 0.00000 - 140 20s 1400 177 0.00000 28 244 - 0.00000 - 151 25s 1771 234 0.00000 37 198 - 0.00000 - 161 30s 2135 284 0.00000 24 259 - 0.00000 - 166 35s 2457 308 0.00000 37 255 - 0.00000 - 172 40s 2810 315 infeasible 28 - 0.00000 - 177 45s 3177 318 0.00000 30 200 - 0.00000 - 179 50s 3530 367 0.00000 33 279 - 0.00000 - 181 55s 3840 385 0.00000 28 269 - 0.00000 - 184 60s 4144 411 infeasible 35 - 0.00000 - 187 65s 4482 429 0.00000 32 240 - 0.00000 - 189 70s 4798 445 infeasible 30 - 0.00000 - 192 75s 5099 448 infeasible 32 - 0.00000 - 194 80s 5442 435 0.00000 28 265 - 0.00000 - 195 85s 5780 425 infeasible 33 - 0.00000 - 196 90s 6088 455 infeasible 33 - 0.00000 - 197 95s 6397 474 infeasible 31 - 0.00000 - 199 100s 6723 480 0.00000 31 228 - 0.00000 - 200 105s 7055 484 infeasible 32 - 0.00000 - 200 110s 7344 487 infeasible 28 - 0.00000 - 202 115s 7684 479 infeasible 34 - 0.00000 - 202 120s 8007 472 infeasible 33 - 0.00000 - 203 125s 8302 471 0.00000 29 186 - 0.00000 - 204 130s 8625 465 0.00000 30 263 - 0.00000 - 205 135s 8956 474 0.00000 26 223 - 0.00000 - 205 140s 9292 460 infeasible 36 - 0.00000 - 206 145s 9586 458 infeasible 42 - 0.00000 - 206 150s 9899 445 0.00000 31 296 - 0.00000 - 207 155s 10167 455 infeasible 42 - 0.00000 - 208 160s 10471 467 0.00000 36 256 - 0.00000 - 209 165s 10763 475 infeasible 36 - 0.00000 - 210 170s 11061 467 infeasible 39 - 0.00000 - 210 175s 11355 437 infeasible 31 - 0.00000 - 211 180s 11640 442 infeasible 30 - 0.00000 - 212 185s 11941 465 0.00000 35 232 - 0.00000 - 212 190s 12231 455 0.00000 28 283 - 0.00000 - 213 195s 12512 450 0.00000 31 255 - 0.00000 - 213 200s 12822 442 infeasible 33 - 0.00000 - 214 205s 13128 476 0.00000 33 236 - 0.00000 - 214 210s 13391 473 infeasible 31 - 0.00000 - 215 215s 13691 469 0.00000 28 266 - 0.00000 - 216 220s 14031 477 infeasible 34 - 0.00000 - 216 225s 14356 476 0.00000 36 241 - 0.00000 - 216 230s 14647 475 0.00000 31 264 - 0.00000 - 216 235s 14942 462 0.00000 32 276 - 0.00000 - 217 240s 15256 470 infeasible 36 - 0.00000 - 217 245s *15339 0 35 0.0000000 0.00000 0.0% 217 246s Cutting planes: Gomory: 3 Clique: 3 Zero half: 16 Explored 15340 nodes (3349817 simplex iterations) in 246.56 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:19:05 2012 Optimize a model with 3258 rows, 1287 columns and 9900 nonzeros Presolve time: 0.01s Presolved: 3258 rows, 1287 columns, 9900 nonzeros Variable types: 0 continuous, 1287 integer (1287 binary) Root relaxation: objective 0.000000e+00, 264 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 160 - 0.00000 - - 0s 0 0 0.00000 0 216 - 0.00000 - - 0s 0 0 0.00000 0 385 - 0.00000 - - 1s 0 0 0.00000 0 392 - 0.00000 - - 1s 0 0 0.00000 0 385 - 0.00000 - - 2s 0 0 0.00000 0 380 - 0.00000 - - 3s 0 0 0.00000 0 375 - 0.00000 - - 4s 0 0 0.00000 0 373 - 0.00000 - - 5s 0 0 0.00000 0 369 - 0.00000 - - 6s 0 0 0.00000 0 373 - 0.00000 - - 7s 0 0 0.00000 0 367 - 0.00000 - - 7s 0 0 0.00000 0 366 - 0.00000 - - 8s 0 0 0.00000 0 384 - 0.00000 - - 9s 0 0 0.00000 0 374 - 0.00000 - - 9s 0 0 0.00000 0 372 - 0.00000 - - 10s 0 0 0.00000 0 365 - 0.00000 - - 11s 0 0 0.00000 0 360 - 0.00000 - - 12s 0 0 0.00000 0 369 - 0.00000 - - 13s 0 0 0.00000 0 369 - 0.00000 - - 13s 0 2 0.00000 0 369 - 0.00000 - - 13s Cutting planes: Clique: 12 Zero half: 18 Explored 5 nodes (53041 simplex iterations) in 14.11 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5