current bounds on the number of colors: 0 -- 134 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:56:03 2012 Optimize a model with 67469 rows, 9983 columns and 210983 nonzeros Presolve time: 0.20s Presolved: 67469 rows, 9983 columns, 210983 nonzeros Variable types: 0 continuous, 9983 integer (9983 binary) Root relaxation: objective 0.000000e+00, 322 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 (705 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 -- 67 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:56:04 2012 Optimize a model with 33299 rows, 5427 columns and 103917 nonzeros Presolve time: 0.15s Presolved: 33299 rows, 5427 columns, 103917 nonzeros Variable types: 0 continuous, 5427 integer (5427 binary) Root relaxation: objective 0.000000e+00, 325 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 (632 simplex iterations) in 0.23 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 05:56:05 2012 Optimize a model with 16214 rows, 3149 columns and 50384 nonzeros Presolve time: 0.05s Presolved: 16214 rows, 3149 columns, 50384 nonzeros Variable types: 0 continuous, 3149 integer (3149 binary) Root relaxation: objective 0.000000e+00, 391 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 (787 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:56:05 2012 Optimize a model with 8174 rows, 2077 columns and 25192 nonzeros Presolve time: 0.02s Presolved: 8174 rows, 2077 columns, 25192 nonzeros Variable types: 0 continuous, 2077 integer (2077 binary) Root relaxation: objective 0.000000e+00, 289 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 (1462 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:56:05 2012 Optimize a model with 4154 rows, 1541 columns and 12596 nonzeros Presolve time: 0.01s Presolved: 4154 rows, 1541 columns, 12596 nonzeros Variable types: 0 continuous, 1541 integer (1541 binary) Root relaxation: objective 0.000000e+00, 284 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.00000 0 269 - 0.00000 - - 0s 0 0 0.00000 0 451 - 0.00000 - - 1s 0 0 0.00000 0 468 - 0.00000 - - 2s 0 0 0.00000 0 452 - 0.00000 - - 3s 0 0 0.00000 0 459 - 0.00000 - - 3s 0 0 0.00000 0 460 - 0.00000 - - 4s 0 0 0.00000 0 454 - 0.00000 - - 5s 0 0 0.00000 0 455 - 0.00000 - - 6s 0 0 0.00000 0 455 - 0.00000 - - 6s 0 2 0.00000 0 455 - 0.00000 - - 7s Cutting planes: Clique: 25 Zero half: 11 Explored 3 nodes (39866 simplex iterations) in 7.67 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 05:56:13 2012 Optimize a model with 6164 rows, 1809 columns and 18894 nonzeros Presolve time: 0.02s Presolved: 6164 rows, 1809 columns, 18894 nonzeros Variable types: 0 continuous, 1809 integer (1809 binary) Root relaxation: objective 0.000000e+00, 278 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 252 - 0.00000 - - 0s 0 0 0.00000 0 218 - 0.00000 - - 0s 0 0 0.00000 0 341 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 345 - 0.00000 - - 2s 0 0 0.00000 0 335 - 0.00000 - - 3s 0 0 0.00000 0 396 - 0.00000 - - 4s 0 0 0.00000 0 327 - 0.00000 - - 5s 0 0 0.00000 0 375 - 0.00000 - - 6s 0 0 0.00000 0 393 - 0.00000 - - 7s 0 0 0.00000 0 294 - 0.00000 - - 7s 0 2 0.00000 0 293 - 0.00000 - - 8s 324 66 0.00000 41 188 - 0.00000 - 66.2 10s 607 91 0.00000 31 311 - 0.00000 - 59.0 15s 612 94 0.00000 11 278 - 0.00000 - 58.5 20s 617 98 0.00000 47 293 - 0.00000 - 58.1 25s * 843 20 49 0.0000000 0.00000 0.0% 141 29s Cutting planes: Gomory: 1 Clique: 6 Zero half: 10 Explored 844 nodes (163659 simplex iterations) in 29.85 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 05:56:43 2012 Optimize a model with 5159 rows, 1675 columns and 15745 nonzeros Presolve time: 0.01s Presolved: 5159 rows, 1675 columns, 15745 nonzeros Variable types: 0 continuous, 1675 integer (1675 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 264 - 0.00000 - - 0s 0 0 0.00000 0 261 - 0.00000 - - 0s 0 0 0.00000 0 399 - 0.00000 - - 2s 0 0 0.00000 0 385 - 0.00000 - - 2s 0 0 0.00000 0 376 - 0.00000 - - 2s 0 0 0.00000 0 375 - 0.00000 - - 2s 0 0 0.00000 0 386 - 0.00000 - - 3s 0 0 0.00000 0 361 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 4s 0 0 0.00000 0 363 - 0.00000 - - 5s 0 0 0.00000 0 355 - 0.00000 - - 6s 0 0 0.00000 0 362 - 0.00000 - - 7s 0 0 0.00000 0 365 - 0.00000 - - 9s 0 0 0.00000 0 365 - 0.00000 - - 9s 0 2 0.00000 0 365 - 0.00000 - - 11s 163 21 infeasible 21 - 0.00000 - 238 15s 388 21 0.00000 14 356 - 0.00000 - 219 20s 655 40 0.00000 12 340 - 0.00000 - 200 25s 704 57 0.00000 20 413 - 0.00000 - 200 30s 706 58 0.00000 6 387 - 0.00000 - 199 36s 708 60 0.00000 20 346 - 0.00000 - 199 42s 709 60 0.00000 9 357 - 0.00000 - 198 45s 712 62 0.00000 13 346 - 0.00000 - 197 50s 714 64 0.00000 20 330 - 0.00000 - 197 55s 717 66 0.00000 3 339 - 0.00000 - 196 62s 720 68 0.00000 15 346 - 0.00000 - 195 65s 797 89 infeasible 26 - 0.00000 - 293 70s 908 51 infeasible 27 - 0.00000 - 302 75s 1023 56 infeasible 30 - 0.00000 - 306 80s 1120 47 infeasible 28 - 0.00000 - 317 85s 1229 56 infeasible 29 - 0.00000 - 322 90s 1343 56 infeasible 27 - 0.00000 - 326 95s 1452 55 infeasible 33 - 0.00000 - 329 100s 1562 49 infeasible 27 - 0.00000 - 333 105s 1675 48 0.00000 22 345 - 0.00000 - 335 110s 1788 47 infeasible 27 - 0.00000 - 337 115s 1900 43 infeasible 29 - 0.00000 - 339 120s 2006 49 infeasible 26 - 0.00000 - 341 125s 2108 39 0.00000 25 364 - 0.00000 - 344 130s 2221 60 infeasible 32 - 0.00000 - 345 135s 2320 63 infeasible 28 - 0.00000 - 347 140s 2417 70 infeasible 30 - 0.00000 - 351 145s 2510 83 infeasible 32 - 0.00000 - 353 150s 2607 84 infeasible 34 - 0.00000 - 356 155s 2692 79 infeasible 33 - 0.00000 - 359 160s 2784 91 infeasible 32 - 0.00000 - 362 165s 2872 93 infeasible 28 - 0.00000 - 365 170s 2961 100 infeasible 32 - 0.00000 - 368 175s 3057 96 0.00000 28 350 - 0.00000 - 370 180s 3136 81 0.00000 27 359 - 0.00000 - 373 185s 3238 83 0.00000 30 348 - 0.00000 - 374 190s 3328 75 0.00000 23 341 - 0.00000 - 376 195s 3427 72 infeasible 31 - 0.00000 - 377 200s 3524 81 infeasible 28 - 0.00000 - 378 205s 3623 84 infeasible 30 - 0.00000 - 379 210s 3719 80 infeasible 27 - 0.00000 - 380 215s 3814 71 infeasible 30 - 0.00000 - 381 220s 3899 72 infeasible 30 - 0.00000 - 383 225s 3989 64 0.00000 26 344 - 0.00000 - 385 230s 4074 51 infeasible 25 - 0.00000 - 387 235s 4169 52 infeasible 29 - 0.00000 - 388 240s 4265 48 0.00000 26 337 - 0.00000 - 388 245s 4367 44 0.00000 27 327 - 0.00000 - 389 250s 4478 39 infeasible 31 - 0.00000 - 388 255s Cutting planes: Clique: 6 Zero half: 15 Explored 4545 nodes (1808970 simplex iterations) in 258.60 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