current bounds on the number of colors: 0 -- 131 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:21:21 2012 Optimize a model with 54536 rows, 9352 columns and 171730 nonzeros Presolve time: 0.17s Presolved: 54536 rows, 9352 columns, 171730 nonzeros Variable types: 0 continuous, 9352 integer (9352 binary) Root relaxation: objective 0.000000e+00, 327 iterations, 0.06 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 (631 simplex iterations) in 0.30 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 -- 65 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:21:22 2012 Optimize a model with 26915 rows, 5029 columns and 84544 nonzeros Presolve time: 0.12s Presolved: 26915 rows, 5029 columns, 84544 nonzeros Variable types: 0 continuous, 5029 integer (5029 binary) Root relaxation: objective 0.000000e+00, 319 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 (607 simplex iterations) in 0.19 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:21:23 2012 Optimize a model with 13523 rows, 2933 columns and 42272 nonzeros Presolve time: 0.05s Presolved: 13523 rows, 2933 columns, 42272 nonzeros Variable types: 0 continuous, 2933 integer (2933 binary) Root relaxation: objective 0.000000e+00, 275 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 (524 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:21:23 2012 Optimize a model with 6827 rows, 1885 columns and 21136 nonzeros Presolve time: 0.02s Presolved: 6827 rows, 1885 columns, 21136 nonzeros Variable types: 0 continuous, 1885 integer (1885 binary) Root relaxation: objective 0.000000e+00, 281 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 (1025 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 03:21:23 2012 Optimize a model with 3479 rows, 1361 columns and 10568 nonzeros Presolve time: 0.01s Presolved: 3479 rows, 1361 columns, 10568 nonzeros Variable types: 0 continuous, 1361 integer (1361 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 260 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 1s 0 0 0.00000 0 395 - 0.00000 - - 1s 0 0 0.00000 0 386 - 0.00000 - - 2s 0 0 0.00000 0 398 - 0.00000 - - 2s 0 0 0.00000 0 394 - 0.00000 - - 3s 0 0 0.00000 0 385 - 0.00000 - - 3s 0 0 0.00000 0 401 - 0.00000 - - 5s 0 0 0.00000 0 392 - 0.00000 - - 6s 0 0 0.00000 0 388 - 0.00000 - - 7s 0 0 0.00000 0 383 - 0.00000 - - 7s 0 0 0.00000 0 383 - 0.00000 - - 8s 0 0 0.00000 0 382 - 0.00000 - - 9s 0 0 0.00000 0 382 - 0.00000 - - 10s 0 0 0.00000 0 382 - 0.00000 - - 10s 0 2 0.00000 0 382 - 0.00000 - - 11s Cutting planes: Clique: 14 Zero half: 22 Explored 3 nodes (42237 simplex iterations) in 11.08 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 03:21:34 2012 Optimize a model with 5153 rows, 1623 columns and 15852 nonzeros Presolve time: 0.01s Presolved: 5153 rows, 1623 columns, 15852 nonzeros Variable types: 0 continuous, 1623 integer (1623 binary) Root relaxation: objective 0.000000e+00, 282 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 100 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 24 MIR: 1 Zero half: 44 Explored 0 nodes (2766 simplex iterations) in 0.16 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 03:21:34 2012 Optimize a model with 4316 rows, 1492 columns and 13210 nonzeros Presolve time: 0.01s Presolved: 4316 rows, 1492 columns, 13210 nonzeros Variable types: 0 continuous, 1492 integer (1492 binary) Root relaxation: objective 0.000000e+00, 280 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 256 - 0.00000 - - 0s 0 0 0.00000 0 181 - 0.00000 - - 0s 0 0 0.00000 0 347 - 0.00000 - - 1s 0 0 0.00000 0 338 - 0.00000 - - 1s 0 0 0.00000 0 333 - 0.00000 - - 1s 0 0 0.00000 0 329 - 0.00000 - - 1s 0 0 0.00000 0 332 - 0.00000 - - 1s 0 0 0.00000 0 270 - 0.00000 - - 2s 0 0 0.00000 0 272 - 0.00000 - - 2s 0 0 0.00000 0 260 - 0.00000 - - 3s 0 0 0.00000 0 295 - 0.00000 - - 4s 0 0 0.00000 0 295 - 0.00000 - - 4s 0 2 0.00000 0 295 - 0.00000 - - 4s 4 4 0.00000 3 306 - 0.00000 - 728 5s 675 55 0.00000 21 258 - 0.00000 - 105 10s 806 63 0.00000 17 301 - 0.00000 - 105 15s 810 66 0.00000 15 287 - 0.00000 - 104 20s 1030 56 infeasible 29 - 0.00000 - 157 25s 1298 138 0.00000 30 264 - 0.00000 - 172 30s 1559 191 infeasible 30 - 0.00000 - 183 35s 1818 216 0.00000 31 260 - 0.00000 - 192 40s 2102 230 0.00000 28 233 - 0.00000 - 197 45s 2359 231 infeasible 31 - 0.00000 - 203 50s 2594 248 infeasible 31 - 0.00000 - 209 55s 2848 256 infeasible 32 - 0.00000 - 212 60s 3117 237 infeasible 36 - 0.00000 - 215 65s 3370 262 0.00000 30 220 - 0.00000 - 217 70s 3652 286 infeasible 35 - 0.00000 - 218 75s 3937 319 infeasible 28 - 0.00000 - 218 80s 4225 349 infeasible 38 - 0.00000 - 219 85s 4480 340 0.00000 30 281 - 0.00000 - 221 90s 4756 342 infeasible 32 - 0.00000 - 222 95s 5018 350 0.00000 27 283 - 0.00000 - 223 100s 5300 372 0.00000 34 231 - 0.00000 - 223 105s 5595 375 0.00000 33 264 - 0.00000 - 223 110s 5892 380 infeasible 36 - 0.00000 - 223 115s 6137 365 infeasible 34 - 0.00000 - 224 120s 6393 377 infeasible 26 - 0.00000 - 225 125s 6662 406 0.00000 26 284 - 0.00000 - 225 130s 6919 395 0.00000 35 216 - 0.00000 - 226 135s 7208 400 0.00000 26 285 - 0.00000 - 226 140s 7423 393 infeasible 31 - 0.00000 - 228 145s 7694 388 0.00000 36 259 - 0.00000 - 228 150s 7963 397 0.00000 30 293 - 0.00000 - 228 155s 8259 408 infeasible 32 - 0.00000 - 228 160s 8573 413 infeasible 34 - 0.00000 - 227 165s 8834 412 infeasible 34 - 0.00000 - 227 170s 9100 447 infeasible 32 - 0.00000 - 228 175s 9340 477 0.00000 34 276 - 0.00000 - 228 180s 9635 458 infeasible 29 - 0.00000 - 228 185s 9899 468 infeasible 33 - 0.00000 - 228 190s 10158 497 infeasible 32 - 0.00000 - 229 195s 10399 514 infeasible 33 - 0.00000 - 230 200s 10662 497 infeasible 28 - 0.00000 - 230 205s 10949 490 0.00000 31 227 - 0.00000 - 230 210s 11193 496 0.00000 28 307 - 0.00000 - 231 215s 11396 497 infeasible 29 - 0.00000 - 232 220s 11654 493 0.00000 28 287 - 0.00000 - 232 225s 11878 507 infeasible 31 - 0.00000 - 233 230s 12122 497 0.00000 26 243 - 0.00000 - 234 235s 12384 493 infeasible 33 - 0.00000 - 234 240s 12621 502 infeasible 31 - 0.00000 - 234 245s 12848 515 infeasible 30 - 0.00000 - 235 250s 13086 543 infeasible 31 - 0.00000 - 236 255s 13291 542 0.00000 30 228 - 0.00000 - 237 260s 13578 563 infeasible 30 - 0.00000 - 236 265s 13794 591 infeasible 36 - 0.00000 - 237 270s 14044 599 0.00000 30 289 - 0.00000 - 237 275s 14271 594 infeasible 35 - 0.00000 - 238 280s 14491 606 infeasible 29 - 0.00000 - 238 285s Cutting planes: Gomory: 2 Clique: 1 Zero half: 7 Explored 14522 nodes (3489227 simplex iterations) in 285.58 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