current bounds on the number of colors: 0 -- 135 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:16:03 2012 Optimize a model with 59229 rows, 9927 columns and 186327 nonzeros Presolve time: 0.19s Presolved: 59229 rows, 9927 columns, 186327 nonzeros Variable types: 0 continuous, 9927 integer (9927 binary) Root relaxation: objective 0.000000e+00, 347 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 (635 simplex iterations) in 0.33 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 -- 67 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:16:04 2012 Optimize a model with 29241 rows, 5337 columns and 91773 nonzeros Presolve time: 0.13s Presolved: 29241 rows, 5337 columns, 91773 nonzeros Variable types: 0 continuous, 5337 integer (5337 binary) Root relaxation: objective 0.000000e+00, 384 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 (720 simplex iterations) in 0.20 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 06:16:05 2012 Optimize a model with 14247 rows, 3042 columns and 44496 nonzeros Presolve time: 0.05s Presolved: 14247 rows, 3042 columns, 44496 nonzeros Variable types: 0 continuous, 3042 integer (3042 binary) Root relaxation: objective 0.000000e+00, 277 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 (542 simplex iterations) in 0.08 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 06:16:05 2012 Optimize a model with 7191 rows, 1962 columns and 22248 nonzeros Presolve time: 0.02s Presolved: 7191 rows, 1962 columns, 22248 nonzeros Variable types: 0 continuous, 1962 integer (1962 binary) Root relaxation: objective 0.000000e+00, 280 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 (974 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:16:05 2012 Optimize a model with 3663 rows, 1422 columns and 11124 nonzeros Presolve time: 0.01s Presolved: 3663 rows, 1422 columns, 11124 nonzeros Variable types: 0 continuous, 1422 integer (1422 binary) Root relaxation: objective 0.000000e+00, 292 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 266 - 0.00000 - - 0s 0 0 0.00000 0 245 - 0.00000 - - 0s 0 0 0.00000 0 421 - 0.00000 - - 1s 0 0 0.00000 0 420 - 0.00000 - - 1s 0 0 0.00000 0 417 - 0.00000 - - 1s 0 0 0.00000 0 415 - 0.00000 - - 1s 0 0 0.00000 0 414 - 0.00000 - - 2s 0 0 0.00000 0 412 - 0.00000 - - 2s 0 0 0.00000 0 412 - 0.00000 - - 2s 0 0 0.00000 0 408 - 0.00000 - - 3s 0 0 0.00000 0 417 - 0.00000 - - 4s 0 0 0.00000 0 404 - 0.00000 - - 5s 0 0 0.00000 0 395 - 0.00000 - - 6s 0 0 0.00000 0 389 - 0.00000 - - 8s 0 0 0.00000 0 385 - 0.00000 - - 9s 0 0 0.00000 0 384 - 0.00000 - - 9s 0 0 0.00000 0 384 - 0.00000 - - 10s 0 0 0.00000 0 384 - 0.00000 - - 11s 0 0 0.00000 0 384 - 0.00000 - - 11s 0 2 0.00000 0 384 - 0.00000 - - 12s Cutting planes: Clique: 12 Zero half: 17 Explored 15 nodes (48025 simplex iterations) in 13.24 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 06:16:19 2012 Optimize a model with 5427 rows, 1692 columns and 16686 nonzeros Presolve time: 0.01s Presolved: 5427 rows, 1692 columns, 16686 nonzeros Variable types: 0 continuous, 1692 integer (1692 binary) Root relaxation: objective 0.000000e+00, 293 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 184 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 9 Clique: 28 Zero half: 46 Explored 0 nodes (7609 simplex iterations) in 0.79 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 06:16:20 2012 Optimize a model with 4545 rows, 1557 columns and 13905 nonzeros Presolve time: 0.01s Presolved: 4545 rows, 1557 columns, 13905 nonzeros Variable types: 0 continuous, 1557 integer (1557 binary) Root relaxation: objective 0.000000e+00, 291 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 266 - 0.00000 - - 0s 0 0 0.00000 0 262 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 1s 0 0 0.00000 0 343 - 0.00000 - - 1s 0 0 0.00000 0 325 - 0.00000 - - 2s 0 0 0.00000 0 347 - 0.00000 - - 2s 0 0 0.00000 0 341 - 0.00000 - - 3s 0 0 0.00000 0 346 - 0.00000 - - 3s 0 0 0.00000 0 346 - 0.00000 - - 4s 0 2 0.00000 0 346 - 0.00000 - - 5s 690 62 infeasible 23 - 0.00000 - 106 10s 1105 87 0.00000 5 306 - 0.00000 - 102 16s 1107 88 0.00000 12 319 - 0.00000 - 102 20s 1111 91 0.00000 9 296 - 0.00000 - 101 25s 1115 93 0.00000 21 277 - 0.00000 - 101 30s 1202 95 infeasible 30 - 0.00000 - 150 35s 1460 79 infeasible 35 - 0.00000 - 165 40s 1706 123 0.00000 32 306 - 0.00000 - 177 45s 1928 131 infeasible 32 - 0.00000 - 188 50s 2186 147 infeasible 28 - 0.00000 - 194 55s 2434 157 0.00000 33 303 - 0.00000 - 199 60s 2694 185 infeasible 38 - 0.00000 - 202 65s 2928 239 infeasible 33 - 0.00000 - 206 70s 3153 266 0.00000 31 290 - 0.00000 - 209 75s 3380 257 0.00000 30 319 - 0.00000 - 213 80s 3603 278 infeasible 32 - 0.00000 - 216 85s 3834 261 0.00000 32 273 - 0.00000 - 219 90s 4056 271 infeasible 33 - 0.00000 - 221 95s 4290 321 0.00000 27 282 - 0.00000 - 222 100s 4514 353 0.00000 29 314 - 0.00000 - 224 105s 4720 383 infeasible 34 - 0.00000 - 226 110s 4943 396 infeasible 31 - 0.00000 - 228 115s 5142 395 infeasible 29 - 0.00000 - 230 120s 5366 411 infeasible 32 - 0.00000 - 231 125s 5578 399 infeasible 29 - 0.00000 - 233 130s 5815 404 infeasible 31 - 0.00000 - 234 135s 6038 437 0.00000 24 312 - 0.00000 - 235 140s 6235 438 infeasible 30 - 0.00000 - 236 145s 6464 439 0.00000 35 298 - 0.00000 - 237 150s 6705 450 0.00000 29 296 - 0.00000 - 238 155s 6921 440 0.00000 32 305 - 0.00000 - 239 160s 7141 462 infeasible 30 - 0.00000 - 240 165s 7408 459 infeasible 30 - 0.00000 - 240 170s 7656 467 infeasible 29 - 0.00000 - 239 175s 7862 451 0.00000 25 317 - 0.00000 - 241 180s 8058 457 0.00000 25 290 - 0.00000 - 242 185s 8288 469 infeasible 30 - 0.00000 - 242 190s 8507 462 infeasible 29 - 0.00000 - 243 195s 8756 483 infeasible 30 - 0.00000 - 243 200s 9020 475 infeasible 27 - 0.00000 - 243 205s 9246 475 infeasible 27 - 0.00000 - 243 210s 9459 472 infeasible 28 - 0.00000 - 244 215s 9713 472 0.00000 30 313 - 0.00000 - 244 220s 9953 494 0.00000 30 262 - 0.00000 - 244 225s 10224 515 infeasible 35 - 0.00000 - 243 230s 10478 513 infeasible 34 - 0.00000 - 243 235s 10691 486 0.00000 27 320 - 0.00000 - 244 240s 10916 499 0.00000 28 315 - 0.00000 - 244 245s 11098 493 infeasible 28 - 0.00000 - 246 250s 11301 486 0.00000 24 312 - 0.00000 - 246 255s 11523 498 infeasible 27 - 0.00000 - 247 260s 11717 486 infeasible 31 - 0.00000 - 248 265s 11932 483 infeasible 32 - 0.00000 - 248 270s 12143 476 0.00000 20 323 - 0.00000 - 249 275s 12376 505 0.00000 31 277 - 0.00000 - 249 280s Cutting planes: Clique: 2 Zero half: 14 Explored 12501 nodes (3138457 simplex iterations) in 282.55 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