current bounds on the number of colors: 0 -- 136 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:25:36 2012 Optimize a model with 61472 rows, 10150 columns and 193256 nonzeros Presolve time: 0.18s Presolved: 61472 rows, 10150 columns, 193256 nonzeros Variable types: 0 continuous, 10150 integer (10150 binary) Root relaxation: objective 0.000000e+00, 337 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 (652 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 -- 68 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:25:37 2012 Optimize a model with 30804 rows, 5526 columns and 96628 nonzeros Presolve time: 0.14s Presolved: 30804 rows, 5526 columns, 96628 nonzeros Variable types: 0 continuous, 5526 integer (5526 binary) Root relaxation: objective 0.000000e+00, 329 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 (626 simplex iterations) in 0.21 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:25:38 2012 Optimize a model with 15470 rows, 3214 columns and 48314 nonzeros Presolve time: 0.05s Presolved: 15470 rows, 3214 columns, 48314 nonzeros Variable types: 0 continuous, 3214 integer (3214 binary) Root relaxation: objective 0.000000e+00, 274 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 (568 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:25:38 2012 Optimize a model with 7352 rows, 1990 columns and 22736 nonzeros Presolve time: 0.02s Presolved: 7352 rows, 1990 columns, 22736 nonzeros Variable types: 0 continuous, 1990 integer (1990 binary) Root relaxation: objective 0.000000e+00, 285 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 (1113 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 07:25:38 2012 Optimize a model with 3744 rows, 1446 columns and 11368 nonzeros Presolve time: 0.01s Presolved: 3744 rows, 1446 columns, 11368 nonzeros Variable types: 0 continuous, 1446 integer (1446 binary) Root relaxation: objective 0.000000e+00, 299 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 182 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 0s 0 0 0.00000 0 416 - 0.00000 - - 1s 0 0 0.00000 0 413 - 0.00000 - - 1s 0 0 0.00000 0 410 - 0.00000 - - 2s 0 0 0.00000 0 407 - 0.00000 - - 2s 0 0 0.00000 0 404 - 0.00000 - - 2s 0 0 0.00000 0 404 - 0.00000 - - 3s 0 0 0.00000 0 414 - 0.00000 - - 3s 0 0 0.00000 0 403 - 0.00000 - - 5s 0 0 0.00000 0 396 - 0.00000 - - 6s 0 0 0.00000 0 396 - 0.00000 - - 7s 0 0 0.00000 0 396 - 0.00000 - - 8s 0 0 0.00000 0 396 - 0.00000 - - 9s 0 2 0.00000 0 396 - 0.00000 - - 10s Cutting planes: Clique: 15 Zero half: 16 Explored 17 nodes (40718 simplex iterations) in 10.75 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 07:25:49 2012 Optimize a model with 5548 rows, 1718 columns and 17052 nonzeros Presolve time: 0.01s Presolved: 5548 rows, 1718 columns, 17052 nonzeros Variable types: 0 continuous, 1718 integer (1718 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.00000 0 184 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 13 Clique: 35 MIR: 1 Zero half: 96 Explored 0 nodes (3797 simplex iterations) in 0.36 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 07:25:49 2012 Optimize a model with 4646 rows, 1582 columns and 14210 nonzeros Presolve time: 0.01s Presolved: 4646 rows, 1582 columns, 14210 nonzeros Variable types: 0 continuous, 1582 integer (1582 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 266 - 0.00000 - - 0s 0 0 0.00000 0 252 - 0.00000 - - 0s 0 0 0.00000 0 232 - 0.00000 - - 1s 0 0 0.00000 0 361 - 0.00000 - - 1s 0 0 0.00000 0 234 - 0.00000 - - 1s 0 0 0.00000 0 226 - 0.00000 - - 2s 0 0 0.00000 0 234 - 0.00000 - - 2s 0 0 0.00000 0 218 - 0.00000 - - 3s 0 0 0.00000 0 214 - 0.00000 - - 3s 0 0 0.00000 0 210 - 0.00000 - - 4s 0 0 0.00000 0 202 - 0.00000 - - 4s 0 0 0.00000 0 235 - 0.00000 - - 5s 0 0 0.00000 0 328 - 0.00000 - - 5s 0 0 0.00000 0 380 - 0.00000 - - 6s 0 0 0.00000 0 375 - 0.00000 - - 7s 0 2 0.00000 0 375 - 0.00000 - - 7s 227 68 0.00000 25 285 - 0.00000 - 126 10s 605 56 0.00000 10 218 - 0.00000 - 94.1 15s 609 58 0.00000 27 202 - 0.00000 - 93.4 20s 613 61 0.00000 17 333 - 0.00000 - 92.8 25s 714 94 0.00000 35 254 - 0.00000 - 185 30s 963 106 0.00000 38 228 - 0.00000 - 198 35s 1186 137 infeasible 38 - 0.00000 - 208 40s 1428 155 infeasible 40 - 0.00000 - 215 45s 1640 181 infeasible 37 - 0.00000 - 221 50s 1864 217 0.00000 32 245 - 0.00000 - 225 55s 2102 259 infeasible 35 - 0.00000 - 226 60s 2344 271 0.00000 37 298 - 0.00000 - 228 65s 2576 329 0.00000 41 269 - 0.00000 - 230 70s 2818 351 infeasible 42 - 0.00000 - 232 75s 3044 373 0.00000 37 307 - 0.00000 - 234 80s 3287 406 0.00000 43 311 - 0.00000 - 235 85s 3514 441 infeasible 41 - 0.00000 - 236 90s 3737 458 infeasible 41 - 0.00000 - 238 95s 3952 477 0.00000 32 304 - 0.00000 - 239 100s 4172 483 infeasible 44 - 0.00000 - 240 105s 4389 498 infeasible 36 - 0.00000 - 242 110s 4601 494 infeasible 30 - 0.00000 - 244 115s 4820 517 infeasible 34 - 0.00000 - 244 120s 5030 527 0.00000 39 287 - 0.00000 - 246 125s 5266 541 0.00000 40 269 - 0.00000 - 246 130s 5506 557 infeasible 35 - 0.00000 - 246 135s 5706 567 0.00000 37 252 - 0.00000 - 247 140s 5930 557 0.00000 33 222 - 0.00000 - 247 145s 6146 573 0.00000 38 301 - 0.00000 - 248 150s 6349 584 0.00000 31 294 - 0.00000 - 249 155s 6580 593 infeasible 35 - 0.00000 - 249 160s 6774 603 0.00000 31 300 - 0.00000 - 250 165s 7028 637 0.00000 34 212 - 0.00000 - 250 170s 7279 641 0.00000 39 290 - 0.00000 - 250 175s 7506 652 infeasible 33 - 0.00000 - 250 180s 7703 671 0.00000 37 275 - 0.00000 - 251 185s 7927 695 0.00000 38 271 - 0.00000 - 251 190s 8166 704 0.00000 32 314 - 0.00000 - 251 195s 8417 697 infeasible 41 - 0.00000 - 251 200s 8631 689 0.00000 33 230 - 0.00000 - 251 205s 8871 705 infeasible 35 - 0.00000 - 251 210s 9095 711 infeasible 32 - 0.00000 - 251 215s 9344 764 infeasible 37 - 0.00000 - 250 220s 9566 790 0.00000 33 305 - 0.00000 - 251 225s 9774 782 infeasible 36 - 0.00000 - 251 230s 9973 803 infeasible 34 - 0.00000 - 252 235s 10193 797 0.00000 36 295 - 0.00000 - 252 240s 10384 788 0.00000 32 310 - 0.00000 - 253 245s 10607 809 0.00000 40 225 - 0.00000 - 253 250s 10819 819 0.00000 34 297 - 0.00000 - 253 255s 11022 834 0.00000 32 264 - 0.00000 - 253 260s 11217 829 infeasible 34 - 0.00000 - 254 265s 11412 826 0.00000 34 322 - 0.00000 - 255 270s 11629 855 infeasible 40 - 0.00000 - 255 275s 11829 851 infeasible 41 - 0.00000 - 255 280s 12037 865 infeasible 33 - 0.00000 - 256 285s Cutting planes: Gomory: 1 Clique: 6 Zero half: 17 Explored 12051 nodes (3134111 simplex iterations) in 285.33 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