current bounds on the number of colors: 0 -- 132 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:17:15 2012 Optimize a model with 64284 rows, 9684 columns and 201168 nonzeros Presolve time: 0.19s Presolved: 64284 rows, 9684 columns, 201168 nonzeros Variable types: 0 continuous, 9684 integer (9684 binary) Root relaxation: objective 0.000000e+00, 310 iterations, 0.07 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 (680 simplex iterations) in 0.36 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 -- 66 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:17:16 2012 Optimize a model with 32208 rows, 5328 columns and 100584 nonzeros Presolve time: 0.15s Presolved: 32208 rows, 5328 columns, 100584 nonzeros Variable types: 0 continuous, 5328 integer (5328 binary) Root relaxation: objective 0.000000e+00, 322 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 (620 simplex iterations) in 0.22 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:17:17 2012 Optimize a model with 15684 rows, 3084 columns and 48768 nonzeros Presolve time: 0.05s Presolved: 15684 rows, 3084 columns, 48768 nonzeros Variable types: 0 continuous, 3084 integer (3084 binary) Root relaxation: objective 0.000000e+00, 390 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 (785 simplex iterations) in 0.10 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:17:17 2012 Optimize a model with 7908 rows, 2028 columns and 24384 nonzeros Presolve time: 0.02s Presolved: 7908 rows, 2028 columns, 24384 nonzeros Variable types: 0 continuous, 2028 integer (2028 binary) Root relaxation: objective 0.000000e+00, 278 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 (697 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:17:17 2012 Optimize a model with 4020 rows, 1500 columns and 12192 nonzeros Presolve time: 0.01s Presolved: 4020 rows, 1500 columns, 12192 nonzeros Variable types: 0 continuous, 1500 integer (1500 binary) Root relaxation: objective 0.000000e+00, 287 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 190 - 0.00000 - - 0s 0 0 0.00000 0 168 - 0.00000 - - 0s 0 0 0.00000 0 422 - 0.00000 - - 1s 0 0 0.00000 0 451 - 0.00000 - - 2s 0 0 0.00000 0 439 - 0.00000 - - 3s 0 0 0.00000 0 425 - 0.00000 - - 4s 0 0 0.00000 0 429 - 0.00000 - - 5s 0 0 0.00000 0 431 - 0.00000 - - 6s 0 0 0.00000 0 430 - 0.00000 - - 7s 0 2 0.00000 0 430 - 0.00000 - - 8s Cutting planes: Clique: 20 Zero half: 14 Explored 11 nodes (38630 simplex iterations) in 8.40 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:17:26 2012 Optimize a model with 5964 rows, 1764 columns and 18288 nonzeros Presolve time: 0.02s Presolved: 5964 rows, 1764 columns, 18288 nonzeros Variable types: 0 continuous, 1764 integer (1764 binary) Root relaxation: objective 0.000000e+00, 286 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 254 - 0.00000 - - 0s 0 0 0.00000 0 182 - 0.00000 - - 0s 0 0 0.00000 0 220 - 0.00000 - - 1s 0 0 0.00000 0 277 - 0.00000 - - 1s 0 0 0.00000 0 239 - 0.00000 - - 1s 0 0 0.00000 0 272 - 0.00000 - - 2s 0 0 0.00000 0 285 - 0.00000 - - 2s 0 0 0.00000 0 285 - 0.00000 - - 3s 0 2 0.00000 0 285 - 0.00000 - - 3s * 243 0 45 0.0000000 0.00000 0.0% 63.4 4s Cutting planes: Clique: 9 Zero half: 19 Explored 244 nodes (39150 simplex iterations) in 4.81 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:17:31 2012 Optimize a model with 4992 rows, 1632 columns and 15240 nonzeros Presolve time: 0.01s Presolved: 4992 rows, 1632 columns, 15240 nonzeros Variable types: 0 continuous, 1632 integer (1632 binary) Root relaxation: objective 0.000000e+00, 270 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 172 - 0.00000 - - 0s 0 0 0.00000 0 166 - 0.00000 - - 0s 0 0 0.00000 0 359 - 0.00000 - - 1s 0 0 0.00000 0 353 - 0.00000 - - 1s 0 0 0.00000 0 356 - 0.00000 - - 2s 0 0 0.00000 0 349 - 0.00000 - - 2s 0 0 0.00000 0 349 - 0.00000 - - 3s 0 0 0.00000 0 331 - 0.00000 - - 5s 0 0 0.00000 0 355 - 0.00000 - - 6s 0 0 0.00000 0 349 - 0.00000 - - 6s 0 0 0.00000 0 345 - 0.00000 - - 7s 0 0 0.00000 0 339 - 0.00000 - - 8s 0 0 0.00000 0 355 - 0.00000 - - 8s 0 0 0.00000 0 350 - 0.00000 - - 9s 0 0 0.00000 0 325 - 0.00000 - - 10s 0 0 0.00000 0 336 - 0.00000 - - 11s 0 0 0.00000 0 336 - 0.00000 - - 11s 0 2 0.00000 0 336 - 0.00000 - - 13s 88 35 0.00000 18 335 - 0.00000 - 214 15s 370 43 infeasible 25 - 0.00000 - 183 20s 654 51 0.00000 18 329 - 0.00000 - 180 25s 935 44 0.00000 20 282 - 0.00000 - 179 30s 1234 24 infeasible 14 - 0.00000 - 177 35s 1404 40 0.00000 21 365 - 0.00000 - 176 40s 1407 42 0.00000 7 345 - 0.00000 - 175 46s 1410 44 0.00000 5 342 - 0.00000 - 175 50s 1413 46 0.00000 15 331 - 0.00000 - 174 56s 1415 47 0.00000 16 325 - 0.00000 - 174 61s 1418 49 0.00000 15 328 - 0.00000 - 174 65s 1507 39 infeasible 27 - 0.00000 - 217 70s 1630 17 infeasible 31 - 0.00000 - 228 75s 1757 18 0.00000 26 322 - 0.00000 - 238 80s 1880 17 infeasible 29 - 0.00000 - 247 85s 2013 16 0.00000 28 330 - 0.00000 - 253 90s 2139 14 0.00000 23 340 - 0.00000 - 259 95s 2277 28 infeasible 29 - 0.00000 - 264 100s 2396 31 infeasible 31 - 0.00000 - 269 105s 2523 34 infeasible 29 - 0.00000 - 274 110s 2659 32 infeasible 28 - 0.00000 - 277 115s 2794 21 0.00000 19 347 - 0.00000 - 280 120s 2923 28 infeasible 29 - 0.00000 - 283 125s 3045 22 infeasible 32 - 0.00000 - 285 130s 3171 22 0.00000 21 344 - 0.00000 - 288 135s 3298 31 0.00000 27 348 - 0.00000 - 291 140s 3418 37 infeasible 32 - 0.00000 - 294 145s 3531 30 infeasible 30 - 0.00000 - 297 150s 3653 26 infeasible 25 - 0.00000 - 299 155s 3781 26 infeasible 24 - 0.00000 - 301 160s 3914 33 infeasible 32 - 0.00000 - 303 165s 4049 36 0.00000 29 313 - 0.00000 - 304 170s 4174 39 0.00000 27 312 - 0.00000 - 305 175s 4292 27 infeasible 27 - 0.00000 - 308 180s 4410 29 0.00000 27 327 - 0.00000 - 310 185s 4547 30 infeasible 28 - 0.00000 - 310 190s 4669 44 infeasible 33 - 0.00000 - 311 195s 4778 45 infeasible 31 - 0.00000 - 313 200s 4912 49 infeasible 32 - 0.00000 - 314 205s 5039 44 0.00000 32 309 - 0.00000 - 316 210s 5166 47 infeasible 29 - 0.00000 - 316 215s 5313 50 infeasible 30 - 0.00000 - 316 220s 5441 50 infeasible 27 - 0.00000 - 317 225s 5560 49 infeasible 28 - 0.00000 - 318 230s 5691 60 infeasible 31 - 0.00000 - 318 235s 5829 46 0.00000 27 320 - 0.00000 - 318 240s 5960 45 infeasible 27 - 0.00000 - 319 245s 6087 44 infeasible 26 - 0.00000 - 320 250s 6211 42 infeasible 27 - 0.00000 - 320 255s 6335 48 0.00000 31 333 - 0.00000 - 321 260s 6455 54 infeasible 30 - 0.00000 - 322 265s 6580 55 infeasible 33 - 0.00000 - 323 270s 6691 54 0.00000 26 320 - 0.00000 - 324 275s 6812 53 infeasible 30 - 0.00000 - 325 280s Cutting planes: Gomory: 1 Clique: 8 Zero half: 17 Explored 6889 nodes (2296010 simplex iterations) in 283.08 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 6