current bounds on the number of colors: 0 -- 142 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:11:19 2012 Optimize a model with 67947 rows, 11037 columns and 213497 nonzeros Presolve time: 0.19s Presolved: 67947 rows, 11037 columns, 213497 nonzeros Variable types: 0 continuous, 11037 integer (11037 binary) Root relaxation: objective 0.000000e+00, 356 iterations, 0.08 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 (679 simplex iterations) in 0.35 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 -- 71 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:11:20 2012 Optimize a model with 33567 rows, 5925 columns and 105245 nonzeros Presolve time: 0.15s Presolved: 33567 rows, 5925 columns, 105245 nonzeros Variable types: 0 continuous, 5925 integer (5925 binary) Root relaxation: objective 0.000000e+00, 580 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 (996 simplex iterations) in 0.25 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:11:21 2012 Optimize a model with 16377 rows, 3369 columns and 51119 nonzeros Presolve time: 0.06s Presolved: 16377 rows, 3369 columns, 51119 nonzeros Variable types: 0 continuous, 3369 integer (3369 binary) Root relaxation: objective 0.000000e+00, 289 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 (574 simplex iterations) in 0.09 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:11:21 2012 Optimize a model with 7782 rows, 2091 columns and 24056 nonzeros Presolve time: 0.02s Presolved: 7782 rows, 2091 columns, 24056 nonzeros Variable types: 0 continuous, 2091 integer (2091 binary) Root relaxation: objective 0.000000e+00, 297 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.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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:11:21 2012 Optimize a model with 3962 rows, 1523 columns and 12028 nonzeros Presolve time: 0.01s Presolved: 3962 rows, 1523 columns, 12028 nonzeros Variable types: 0 continuous, 1523 integer (1523 binary) Root relaxation: objective 0.000000e+00, 310 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 212 - 0.00000 - - 0s 0 0 0.00000 0 281 - 0.00000 - - 0s 0 0 0.00000 0 448 - 0.00000 - - 1s 0 0 0.00000 0 437 - 0.00000 - - 2s 0 0 0.00000 0 435 - 0.00000 - - 2s 0 0 0.00000 0 438 - 0.00000 - - 2s 0 0 0.00000 0 436 - 0.00000 - - 3s 0 0 0.00000 0 431 - 0.00000 - - 4s 0 0 0.00000 0 428 - 0.00000 - - 4s 0 0 0.00000 0 427 - 0.00000 - - 5s 0 0 0.00000 0 424 - 0.00000 - - 7s 0 0 0.00000 0 423 - 0.00000 - - 8s 0 0 0.00000 0 422 - 0.00000 - - 9s 0 0 0.00000 0 425 - 0.00000 - - 10s 0 0 0.00000 0 425 - 0.00000 - - 10s 0 0 0.00000 0 425 - 0.00000 - - 11s 0 2 0.00000 0 425 - 0.00000 - - 12s Cutting planes: Clique: 9 Zero half: 17 Explored 9 nodes (51961 simplex iterations) in 13.14 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 12:11:34 2012 Optimize a model with 5872 rows, 1807 columns and 18042 nonzeros Presolve time: 0.02s Presolved: 5872 rows, 1807 columns, 18042 nonzeros Variable types: 0 continuous, 1807 integer (1807 binary) Root relaxation: objective 0.000000e+00, 306 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 187 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 0s 0 0 0.00000 0 272 - 0.00000 - - 1s H 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (12071 simplex iterations) in 1.31 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 12:11:36 2012 Optimize a model with 4917 rows, 1665 columns and 15035 nonzeros Presolve time: 0.01s Presolved: 4917 rows, 1665 columns, 15035 nonzeros Variable types: 0 continuous, 1665 integer (1665 binary) Root relaxation: objective 0.000000e+00, 305 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 272 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 381 - 0.00000 - - 1s 0 0 0.00000 0 325 - 0.00000 - - 2s 0 0 0.00000 0 303 - 0.00000 - - 3s 0 0 0.00000 0 316 - 0.00000 - - 4s 0 0 0.00000 0 345 - 0.00000 - - 5s 0 0 0.00000 0 274 - 0.00000 - - 6s 0 0 0.00000 0 298 - 0.00000 - - 7s 0 0 0.00000 0 334 - 0.00000 - - 8s 0 0 0.00000 0 334 - 0.00000 - - 8s 0 2 0.00000 0 334 - 0.00000 - - 9s 50 18 0.00000 16 324 - 0.00000 - 237 10s 543 52 0.00000 22 224 - 0.00000 - 130 15s 705 66 0.00000 14 323 - 0.00000 - 130 21s 708 68 0.00000 12 371 - 0.00000 - 130 25s 711 70 0.00000 23 338 - 0.00000 - 129 30s 723 78 0.00000 18 372 - 0.00000 - 192 35s 906 32 infeasible 29 - 0.00000 - 210 40s 1066 27 0.00000 22 328 - 0.00000 - 228 45s 1282 41 infeasible 32 - 0.00000 - 235 50s 1452 35 infeasible 26 - 0.00000 - 246 55s 1605 40 0.00000 30 329 - 0.00000 - 255 60s 1765 40 infeasible 30 - 0.00000 - 263 65s 1935 38 0.00000 32 234 - 0.00000 - 267 70s 2107 30 0.00000 27 246 - 0.00000 - 272 75s 2313 32 infeasible 31 - 0.00000 - 272 80s 2516 51 infeasible 34 - 0.00000 - 273 85s 2705 34 infeasible 30 - 0.00000 - 275 90s 2893 32 0.00000 31 230 - 0.00000 - 277 95s 3087 24 infeasible 28 - 0.00000 - 278 100s 3242 27 infeasible 33 - 0.00000 - 281 105s 3406 29 0.00000 30 297 - 0.00000 - 283 110s 3556 27 infeasible 33 - 0.00000 - 286 115s 3749 58 infeasible 36 - 0.00000 - 286 120s 3975 66 infeasible 34 - 0.00000 - 285 125s 4163 54 0.00000 32 315 - 0.00000 - 286 130s 4315 44 0.00000 35 307 - 0.00000 - 288 135s 4467 40 0.00000 30 326 - 0.00000 - 290 140s 4616 37 0.00000 26 341 - 0.00000 - 293 145s 4785 32 0.00000 28 331 - 0.00000 - 294 150s 4934 59 infeasible 31 - 0.00000 - 296 155s 5090 53 0.00000 28 333 - 0.00000 - 297 160s 5248 47 infeasible 31 - 0.00000 - 299 165s 5393 40 0.00000 30 310 - 0.00000 - 300 170s 5555 42 infeasible 32 - 0.00000 - 301 175s 5715 36 0.00000 25 350 - 0.00000 - 302 180s 5874 47 0.00000 32 312 - 0.00000 - 303 185s 6075 36 infeasible 30 - 0.00000 - 303 190s 6254 37 infeasible 28 - 0.00000 - 303 195s 6421 34 0.00000 27 287 - 0.00000 - 303 200s 6581 28 infeasible 32 - 0.00000 - 304 205s 6732 25 infeasible 29 - 0.00000 - 305 210s 6904 29 infeasible 31 - 0.00000 - 305 215s 7048 21 infeasible 29 - 0.00000 - 306 220s 7204 19 infeasible 34 - 0.00000 - 307 225s 7375 44 0.00000 34 264 - 0.00000 - 307 230s 7566 33 infeasible 33 - 0.00000 - 307 235s 7717 32 0.00000 28 320 - 0.00000 - 308 240s 7873 20 0.00000 21 360 - 0.00000 - 308 245s 8042 21 infeasible 29 - 0.00000 - 309 250s 8256 19 infeasible 29 - 0.00000 - 308 255s 8427 32 infeasible 36 - 0.00000 - 307 260s 8586 29 infeasible 34 - 0.00000 - 308 265s 8731 30 0.00000 30 329 - 0.00000 - 309 270s 8898 23 infeasible 30 - 0.00000 - 309 275s 9065 26 infeasible 31 - 0.00000 - 310 280s Cutting planes: Gomory: 1 Clique: 3 Zero half: 7 Explored 9132 nodes (2871724 simplex iterations) in 281.66 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