current bounds on the number of colors: 0 -- 143 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:45:04 2012 Optimize a model with 72918 rows, 11178 columns and 228478 nonzeros Presolve time: 0.21s Presolved: 72918 rows, 11178 columns, 228478 nonzeros Variable types: 0 continuous, 11178 integer (11178 binary) Root relaxation: objective 0.000000e+00, 357 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 (755 simplex iterations) in 0.40 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:45:05 2012 Optimize a model with 36018 rows, 6030 columns and 112630 nonzeros Presolve time: 0.16s Presolved: 36018 rows, 6030 columns, 112630 nonzeros Variable types: 0 continuous, 6030 integer (6030 binary) Root relaxation: objective 0.000000e+00, 342 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 (663 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:45:06 2012 Optimize a model with 17568 rows, 3456 columns and 54706 nonzeros Presolve time: 0.06s Presolved: 17568 rows, 3456 columns, 54706 nonzeros Variable types: 0 continuous, 3456 integer (3456 binary) Root relaxation: objective 0.000000e+00, 409 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 (803 simplex iterations) in 0.11 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:45:06 2012 Optimize a model with 8343 rows, 2169 columns and 25744 nonzeros Presolve time: 0.02s Presolved: 8343 rows, 2169 columns, 25744 nonzeros Variable types: 0 continuous, 2169 integer (2169 binary) Root relaxation: objective 0.000000e+00, 302 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 (1092 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:45:06 2012 Optimize a model with 4243 rows, 1597 columns and 12872 nonzeros Presolve time: 0.01s Presolved: 4243 rows, 1597 columns, 12872 nonzeros Variable types: 0 continuous, 1597 integer (1597 binary) Root relaxation: objective 0.000000e+00, 313 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 186 - 0.00000 - - 0s 0 0 0.00000 0 188 - 0.00000 - - 0s 0 0 0.00000 0 449 - 0.00000 - - 1s 0 0 0.00000 0 458 - 0.00000 - - 2s 0 0 0.00000 0 441 - 0.00000 - - 3s 0 0 0.00000 0 436 - 0.00000 - - 4s 0 0 0.00000 0 442 - 0.00000 - - 5s 0 0 0.00000 0 438 - 0.00000 - - 6s 0 0 0.00000 0 442 - 0.00000 - - 6s 0 0 0.00000 0 441 - 0.00000 - - 7s 0 0 0.00000 0 429 - 0.00000 - - 9s 0 0 0.00000 0 445 - 0.00000 - - 10s 0 0 0.00000 0 445 - 0.00000 - - 10s 0 2 0.00000 0 445 - 0.00000 - - 11s Cutting planes: Clique: 22 Zero half: 22 Explored 15 nodes (58229 simplex iterations) in 12.55 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:45:19 2012 Optimize a model with 6293 rows, 1883 columns and 19308 nonzeros Presolve time: 0.02s Presolved: 6293 rows, 1883 columns, 19308 nonzeros Variable types: 0 continuous, 1883 integer (1883 binary) Root relaxation: objective 0.000000e+00, 308 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 260 - 0.00000 - - 0s 0 0 0.00000 0 295 - 0.00000 - - 0s Cutting planes: Clique: 5 Zero half: 2 Explored 0 nodes (6813 simplex iterations) in 0.87 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:45:20 2012 Optimize a model with 5268 rows, 1740 columns and 16090 nonzeros Presolve time: 0.01s Presolved: 5268 rows, 1740 columns, 16090 nonzeros Variable types: 0 continuous, 1740 integer (1740 binary) Root relaxation: objective 0.000000e+00, 301 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 280 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 1s 0 0 0.00000 0 396 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 2s 0 0 0.00000 0 333 - 0.00000 - - 3s 0 0 0.00000 0 339 - 0.00000 - - 4s 0 0 0.00000 0 257 - 0.00000 - - 5s 0 0 0.00000 0 224 - 0.00000 - - 6s 0 0 0.00000 0 245 - 0.00000 - - 7s 0 0 0.00000 0 229 - 0.00000 - - 7s 0 0 0.00000 0 247 - 0.00000 - - 8s 0 0 0.00000 0 236 - 0.00000 - - 9s 0 2 0.00000 0 236 - 0.00000 - - 10s 251 61 infeasible 25 - 0.00000 - 178 15s 570 116 0.00000 21 323 - 0.00000 - 175 20s 704 142 0.00000 18 416 - 0.00000 - 174 25s 707 144 0.00000 15 281 - 0.00000 - 174 31s 709 145 0.00000 23 239 - 0.00000 - 173 35s 711 147 0.00000 19 262 - 0.00000 - 173 40s 715 149 0.00000 15 294 - 0.00000 - 172 45s 731 160 0.00000 22 347 - 0.00000 - 248 50s 837 191 0.00000 32 339 - 0.00000 - 252 55s 981 177 infeasible 31 - 0.00000 - 260 60s 1123 157 infeasible 38 - 0.00000 - 267 65s 1275 164 infeasible 34 - 0.00000 - 272 70s 1413 174 infeasible 32 - 0.00000 - 278 75s 1557 194 infeasible 30 - 0.00000 - 282 80s 1686 201 0.00000 30 242 - 0.00000 - 287 85s 1811 210 infeasible 31 - 0.00000 - 292 90s 1950 221 0.00000 30 322 - 0.00000 - 295 95s 2079 220 0.00000 25 347 - 0.00000 - 297 100s 2219 254 infeasible 33 - 0.00000 - 299 105s 2360 269 infeasible 30 - 0.00000 - 301 110s 2484 275 0.00000 33 327 - 0.00000 - 305 115s 2613 268 infeasible 32 - 0.00000 - 308 120s 2728 265 infeasible 31 - 0.00000 - 312 125s 2845 258 0.00000 31 316 - 0.00000 - 316 130s 2995 292 infeasible 32 - 0.00000 - 315 135s 3120 293 infeasible 30 - 0.00000 - 317 140s 3257 300 0.00000 31 340 - 0.00000 - 319 145s 3403 296 infeasible 33 - 0.00000 - 319 150s 3527 286 infeasible 32 - 0.00000 - 321 155s 3655 302 0.00000 30 340 - 0.00000 - 323 160s 3782 297 0.00000 31 332 - 0.00000 - 325 165s 3931 312 0.00000 30 341 - 0.00000 - 325 170s 4073 308 0.00000 27 329 - 0.00000 - 325 175s 4221 330 0.00000 31 320 - 0.00000 - 325 180s 4361 342 0.00000 35 338 - 0.00000 - 326 185s 4499 382 0.00000 31 336 - 0.00000 - 326 190s 4642 387 0.00000 37 326 - 0.00000 - 327 195s 4783 406 0.00000 32 326 - 0.00000 - 327 200s 4911 414 infeasible 35 - 0.00000 - 328 205s 5033 428 infeasible 38 - 0.00000 - 329 210s 5157 432 infeasible 34 - 0.00000 - 330 215s 5294 447 infeasible 35 - 0.00000 - 331 220s 5432 455 infeasible 31 - 0.00000 - 332 225s 5575 456 infeasible 36 - 0.00000 - 332 230s 5693 454 infeasible 35 - 0.00000 - 333 235s 5827 462 infeasible 33 - 0.00000 - 334 240s 5968 469 0.00000 32 300 - 0.00000 - 334 245s 6105 476 0.00000 37 276 - 0.00000 - 335 250s 6233 472 0.00000 38 314 - 0.00000 - 336 255s 6379 472 0.00000 33 282 - 0.00000 - 336 260s 6512 475 infeasible 34 - 0.00000 - 336 265s 6635 476 infeasible 35 - 0.00000 - 337 270s 6760 475 infeasible 28 - 0.00000 - 338 275s 6889 474 infeasible 38 - 0.00000 - 338 280s Cutting planes: Clique: 2 Zero half: 15 Explored 6950 nodes (2404798 simplex iterations) in 282.41 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