current bounds on the number of colors: 0 -- 145 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:39:28 2012 Optimize a model with 70921 rows, 11423 columns and 222768 nonzeros Presolve time: 0.20s Presolved: 70921 rows, 11423 columns, 222768 nonzeros Variable types: 0 continuous, 11423 integer (11423 binary) Root relaxation: objective 0.000000e+00, 354 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 (685 simplex iterations) in 0.38 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 -- 72 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:39:29 2012 Optimize a model with 35533 rows, 6203 columns and 111384 nonzeros Presolve time: 0.15s Presolved: 35533 rows, 6203 columns, 111384 nonzeros Variable types: 0 continuous, 6203 integer (6203 binary) Root relaxation: objective 0.000000e+00, 449 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 (847 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 14:39:29 2012 Optimize a model with 17839 rows, 3593 columns and 55692 nonzeros Presolve time: 0.06s Presolved: 17839 rows, 3593 columns, 55692 nonzeros Variable types: 0 continuous, 3593 integer (3593 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (593 simplex iterations) in 0.10 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 14:39:30 2012 Optimize a model with 8992 rows, 2288 columns and 27846 nonzeros Presolve time: 0.03s Presolved: 8992 rows, 2288 columns, 27846 nonzeros Variable types: 0 continuous, 2288 integer (2288 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 (1011 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:39:30 2012 Optimize a model with 4077 rows, 1563 columns and 12376 nonzeros Presolve time: 0.01s Presolved: 4077 rows, 1563 columns, 12376 nonzeros Variable types: 0 continuous, 1563 integer (1563 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 282 - 0.00000 - - 0s 0 0 0.00000 0 190 - 0.00000 - - 0s 0 0 0.00000 0 436 - 0.00000 - - 1s 0 0 0.00000 0 431 - 0.00000 - - 2s 0 0 0.00000 0 422 - 0.00000 - - 2s 0 0 0.00000 0 427 - 0.00000 - - 3s 0 0 0.00000 0 420 - 0.00000 - - 4s 0 0 0.00000 0 424 - 0.00000 - - 5s 0 0 0.00000 0 433 - 0.00000 - - 7s 0 0 0.00000 0 421 - 0.00000 - - 8s 0 0 0.00000 0 434 - 0.00000 - - 9s 0 0 0.00000 0 434 - 0.00000 - - 10s 0 2 0.00000 0 434 - 0.00000 - - 11s Cutting planes: Clique: 25 Zero half: 26 Explored 25 nodes (49558 simplex iterations) in 12.93 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 14:39:43 2012 Optimize a model with 6043 rows, 1853 columns and 18564 nonzeros Presolve time: 0.02s Presolved: 6043 rows, 1853 columns, 18564 nonzeros Variable types: 0 continuous, 1853 integer (1853 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 268 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 328 MIR: 7 Zero half: 435 Explored 0 nodes (3038 simplex iterations) in 0.32 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 14:39:43 2012 Optimize a model with 5060 rows, 1708 columns and 15470 nonzeros Presolve time: 0.01s Presolved: 5060 rows, 1708 columns, 15470 nonzeros Variable types: 0 continuous, 1708 integer (1708 binary) Root relaxation: objective 0.000000e+00, 314 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 299 - 0.00000 - - 0s 0 0 0.00000 0 363 - 0.00000 - - 1s 0 0 0.00000 0 373 - 0.00000 - - 2s 0 0 0.00000 0 375 - 0.00000 - - 2s 0 0 0.00000 0 381 - 0.00000 - - 3s 0 0 0.00000 0 381 - 0.00000 - - 4s 0 2 0.00000 0 381 - 0.00000 - - 5s 409 33 0.00000 17 299 - 0.00000 - 142 10s 809 42 0.00000 12 363 - 0.00000 - 136 16s 812 44 0.00000 10 354 - 0.00000 - 135 21s 815 46 0.00000 21 368 - 0.00000 - 135 26s 818 48 0.00000 10 328 - 0.00000 - 134 30s 821 50 0.00000 21 400 - 0.00000 - 134 36s 824 52 0.00000 2 365 - 0.00000 - 133 40s 879 75 0.00000 21 330 - 0.00000 - 219 45s 1068 119 infeasible 32 - 0.00000 - 228 50s 1303 150 infeasible 37 - 0.00000 - 232 55s 1510 191 0.00000 24 279 - 0.00000 - 235 60s 1708 219 0.00000 28 315 - 0.00000 - 240 65s 1908 255 infeasible 36 - 0.00000 - 244 70s 2097 288 infeasible 39 - 0.00000 - 247 75s 2308 335 infeasible 38 - 0.00000 - 248 80s 2489 346 infeasible 27 - 0.00000 - 251 85s 2674 371 0.00000 35 242 - 0.00000 - 255 90s 2876 381 infeasible 28 - 0.00000 - 257 95s 3060 393 infeasible 31 - 0.00000 - 259 100s 3239 402 0.00000 19 309 - 0.00000 - 261 105s 3420 433 0.00000 27 321 - 0.00000 - 263 110s 3586 437 0.00000 31 242 - 0.00000 - 266 115s 3791 458 infeasible 27 - 0.00000 - 266 120s 3983 462 infeasible 32 - 0.00000 - 267 125s 4138 449 0.00000 34 329 - 0.00000 - 270 130s 4325 460 0.00000 22 341 - 0.00000 - 271 135s 4499 490 infeasible 29 - 0.00000 - 272 140s 4683 494 0.00000 42 301 - 0.00000 - 273 145s 4826 485 0.00000 29 260 - 0.00000 - 276 150s 5026 507 infeasible 32 - 0.00000 - 275 155s 5192 527 0.00000 34 291 - 0.00000 - 277 160s 5407 528 infeasible 34 - 0.00000 - 276 165s 5614 549 0.00000 27 356 - 0.00000 - 276 170s 5781 578 0.00000 31 338 - 0.00000 - 277 175s 5952 605 0.00000 31 320 - 0.00000 - 278 180s 6114 627 infeasible 32 - 0.00000 - 279 185s 6275 622 infeasible 31 - 0.00000 - 280 190s 6454 613 infeasible 39 - 0.00000 - 281 195s 6623 618 0.00000 30 263 - 0.00000 - 282 200s 6793 632 infeasible 31 - 0.00000 - 283 205s 6975 628 infeasible 35 - 0.00000 - 283 210s 7133 626 infeasible 39 - 0.00000 - 284 215s 7307 630 infeasible 30 - 0.00000 - 285 220s 7487 660 0.00000 24 340 - 0.00000 - 285 225s 7682 697 infeasible 31 - 0.00000 - 285 230s 7899 700 infeasible 28 - 0.00000 - 285 235s 8078 689 0.00000 24 333 - 0.00000 - 285 240s 8253 686 0.00000 25 315 - 0.00000 - 286 245s 8404 673 0.00000 30 331 - 0.00000 - 287 250s 8588 697 infeasible 34 - 0.00000 - 287 255s 8785 688 infeasible 32 - 0.00000 - 287 260s 8960 711 infeasible 30 - 0.00000 - 287 265s 9122 745 infeasible 27 - 0.00000 - 287 270s 9325 798 0.00000 25 337 - 0.00000 - 287 275s 9512 807 infeasible 35 - 0.00000 - 287 280s Cutting planes: Clique: 3 Zero half: 9 Explored 9599 nodes (2781946 simplex iterations) in 282.70 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