current bounds on the number of colors: 0 -- 147 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:26:02 2012 Optimize a model with 76140 rows, 11772 columns and 238710 nonzeros Presolve time: 0.21s Presolved: 76140 rows, 11772 columns, 238710 nonzeros Variable types: 0 continuous, 11772 integer (11772 binary) Root relaxation: objective 0.000000e+00, 364 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 (782 simplex iterations) in 0.42 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 -- 73 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:26:03 2012 Optimize a model with 37623 rows, 6333 columns and 117720 nonzeros Presolve time: 0.15s Presolved: 37623 rows, 6333 columns, 117720 nonzeros Variable types: 0 continuous, 6333 integer (6333 binary) Root relaxation: objective 0.000000e+00, 394 iterations, 0.04 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 (757 simplex iterations) in 0.24 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:26:04 2012 Optimize a model with 18885 rows, 3687 columns and 58860 nonzeros Presolve time: 0.07s Presolved: 18885 rows, 3687 columns, 58860 nonzeros Variable types: 0 continuous, 3687 integer (3687 binary) Root relaxation: objective 0.000000e+00, 415 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 (854 simplex iterations) in 0.12 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:26:04 2012 Optimize a model with 9516 rows, 2364 columns and 29430 nonzeros Presolve time: 0.03s Presolved: 9516 rows, 2364 columns, 29430 nonzeros Variable types: 0 continuous, 2364 integer (2364 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (700 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:26:04 2012 Optimize a model with 4311 rows, 1629 columns and 13080 nonzeros Presolve time: 0.01s Presolved: 4311 rows, 1629 columns, 13080 nonzeros Variable types: 0 continuous, 1629 integer (1629 binary) Root relaxation: objective 0.000000e+00, 315 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 292 - 0.00000 - - 0s 0 0 0.00000 0 194 - 0.00000 - - 1s 0 0 0.00000 0 476 - 0.00000 - - 2s 0 0 0.00000 0 486 - 0.00000 - - 2s 0 0 0.00000 0 475 - 0.00000 - - 3s 0 0 0.00000 0 473 - 0.00000 - - 4s 0 0 0.00000 0 463 - 0.00000 - - 5s 0 0 0.00000 0 457 - 0.00000 - - 6s 0 0 0.00000 0 465 - 0.00000 - - 7s 0 0 0.00000 0 465 - 0.00000 - - 8s 0 0 0.00000 0 474 - 0.00000 - - 8s 0 0 0.00000 0 471 - 0.00000 - - 9s 0 2 0.00000 0 463 - 0.00000 - - 10s Cutting planes: Clique: 17 Zero half: 18 Explored 13 nodes (58107 simplex iterations) in 11.39 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:26:16 2012 Optimize a model with 6393 rows, 1923 columns and 19620 nonzeros Presolve time: 0.02s Presolved: 6393 rows, 1923 columns, 19620 nonzeros Variable types: 0 continuous, 1923 integer (1923 binary) Root relaxation: objective 0.000000e+00, 311 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 276 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 4 Clique: 338 MIR: 16 Zero half: 431 Explored 0 nodes (4298 simplex iterations) in 0.49 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 16:26:16 2012 Optimize a model with 5352 rows, 1776 columns and 16350 nonzeros Presolve time: 0.01s Presolved: 5352 rows, 1776 columns, 16350 nonzeros Variable types: 0 continuous, 1776 integer (1776 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 290 - 0.00000 - - 0s 0 0 0.00000 0 219 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 1s 0 0 0.00000 0 441 - 0.00000 - - 1s 0 0 0.00000 0 266 - 0.00000 - - 3s 0 0 0.00000 0 246 - 0.00000 - - 4s 0 0 0.00000 0 306 - 0.00000 - - 5s 0 0 0.00000 0 238 - 0.00000 - - 6s 0 0 0.00000 0 253 - 0.00000 - - 7s 0 0 0.00000 0 333 - 0.00000 - - 8s 0 0 0.00000 0 359 - 0.00000 - - 9s 0 0 0.00000 0 359 - 0.00000 - - 9s 0 2 0.00000 0 359 - 0.00000 - - 10s 227 36 infeasible 22 - 0.00000 - 195 15s 513 41 0.00000 23 287 - 0.00000 - 188 20s 827 41 0.00000 26 279 - 0.00000 - 179 25s 1108 30 0.00000 22 339 - 0.00000 - 180 30s 1205 63 0.00000 30 258 - 0.00000 - 179 38s 1206 63 0.00000 13 334 - 0.00000 - 179 40s 1209 65 0.00000 19 266 - 0.00000 - 179 47s 1211 67 0.00000 14 226 - 0.00000 - 178 51s 1213 68 0.00000 15 296 - 0.00000 - 178 56s 1221 71 0.00000 18 356 - 0.00000 - 237 60s 1260 75 0.00000 20 355 - 0.00000 - 238 65s 1376 67 0.00000 26 337 - 0.00000 - 244 70s 1501 60 infeasible 32 - 0.00000 - 255 75s 1624 63 0.00000 28 294 - 0.00000 - 263 80s 1742 65 0.00000 31 299 - 0.00000 - 271 85s 1862 59 0.00000 33 349 - 0.00000 - 277 90s 1970 57 0.00000 28 342 - 0.00000 - 284 95s 2110 73 infeasible 34 - 0.00000 - 287 100s 2245 88 infeasible 37 - 0.00000 - 290 105s 2387 82 0.00000 26 339 - 0.00000 - 292 110s 2497 82 0.00000 26 329 - 0.00000 - 298 115s 2619 82 0.00000 29 337 - 0.00000 - 301 120s 2730 77 0.00000 24 356 - 0.00000 - 306 125s 2865 86 infeasible 37 - 0.00000 - 307 130s 2989 88 infeasible 32 - 0.00000 - 310 135s 3117 96 0.00000 34 336 - 0.00000 - 312 140s 3228 95 0.00000 27 346 - 0.00000 - 315 145s 3345 102 infeasible 35 - 0.00000 - 318 150s 3488 125 0.00000 29 299 - 0.00000 - 318 155s 3624 137 infeasible 32 - 0.00000 - 320 160s 3758 133 infeasible 27 - 0.00000 - 321 165s 3883 128 infeasible 34 - 0.00000 - 323 170s 3999 130 0.00000 31 310 - 0.00000 - 326 175s 4141 132 0.00000 32 337 - 0.00000 - 326 180s 4266 133 0.00000 31 328 - 0.00000 - 327 185s 4401 156 0.00000 31 348 - 0.00000 - 328 190s 4551 194 0.00000 29 332 - 0.00000 - 328 195s 4687 226 infeasible 35 - 0.00000 - 328 200s 4810 239 0.00000 33 357 - 0.00000 - 330 205s 4938 239 infeasible 37 - 0.00000 - 331 210s 5067 252 infeasible 31 - 0.00000 - 332 215s 5184 261 0.00000 35 332 - 0.00000 - 333 220s 5315 268 infeasible 29 - 0.00000 - 334 225s 5432 263 infeasible 34 - 0.00000 - 336 230s 5562 303 0.00000 35 338 - 0.00000 - 336 235s 5677 306 infeasible 33 - 0.00000 - 338 240s 5800 315 0.00000 36 318 - 0.00000 - 339 245s 5915 308 infeasible 29 - 0.00000 - 341 250s 6044 313 infeasible 30 - 0.00000 - 341 255s 6171 308 infeasible 35 - 0.00000 - 342 260s 6295 312 infeasible 38 - 0.00000 - 343 265s 6401 310 0.00000 35 321 - 0.00000 - 345 270s 6516 299 infeasible 34 - 0.00000 - 346 275s 6633 310 infeasible 33 - 0.00000 - 347 280s Cutting planes: Clique: 5 Zero half: 2 Explored 6733 nodes (2393427 simplex iterations) in 283.77 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