current bounds on the number of colors: 0 -- 137 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:09:57 2012 Optimize a model with 65349 rows, 10275 columns and 204952 nonzeros Presolve time: 0.19s Presolved: 65349 rows, 10275 columns, 204952 nonzeros Variable types: 0 continuous, 10275 integer (10275 binary) Root relaxation: objective 0.000000e+00, 346 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 (659 simplex iterations) in 0.35 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 08:09:58 2012 Optimize a model with 32743 rows, 5617 columns and 102476 nonzeros Presolve time: 0.15s Presolved: 32743 rows, 5617 columns, 102476 nonzeros Variable types: 0 continuous, 5617 integer (5617 binary) Root relaxation: objective 0.000000e+00, 332 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 (626 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:09:58 2012 Optimize a model with 16440 rows, 3288 columns and 51238 nonzeros Presolve time: 0.05s Presolved: 16440 rows, 3288 columns, 51238 nonzeros Variable types: 0 continuous, 3288 integer (3288 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 (561 simplex iterations) in 0.09 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 08:09:59 2012 Optimize a model with 7809 rows, 2055 columns and 24112 nonzeros Presolve time: 0.02s Presolved: 7809 rows, 2055 columns, 24112 nonzeros Variable types: 0 continuous, 2055 integer (2055 binary) Root relaxation: objective 0.000000e+00, 287 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 (1388 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 08:09:59 2012 Optimize a model with 3973 rows, 1507 columns and 12056 nonzeros Presolve time: 0.01s Presolved: 3973 rows, 1507 columns, 12056 nonzeros Variable types: 0 continuous, 1507 integer (1507 binary) Root relaxation: objective 0.000000e+00, 296 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 274 - 0.00000 - - 0s 0 0 0.00000 0 272 - 0.00000 - - 0s 0 0 0.00000 0 426 - 0.00000 - - 1s 0 0 0.00000 0 432 - 0.00000 - - 2s 0 0 0.00000 0 427 - 0.00000 - - 3s 0 0 0.00000 0 420 - 0.00000 - - 5s 0 0 0.00000 0 411 - 0.00000 - - 6s 0 0 0.00000 0 407 - 0.00000 - - 8s 0 0 0.00000 0 420 - 0.00000 - - 9s 0 0 0.00000 0 413 - 0.00000 - - 11s 0 0 0.00000 0 418 - 0.00000 - - 11s 0 0 0.00000 0 419 - 0.00000 - - 12s 0 0 0.00000 0 410 - 0.00000 - - 13s 0 2 0.00000 0 410 - 0.00000 - - 13s Cutting planes: Clique: 26 Zero half: 16 Explored 19 nodes (52881 simplex iterations) in 14.87 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 08:10:14 2012 Optimize a model with 5891 rows, 1781 columns and 18084 nonzeros Presolve time: 0.02s Presolved: 5891 rows, 1781 columns, 18084 nonzeros Variable types: 0 continuous, 1781 integer (1781 binary) Root relaxation: objective 0.000000e+00, 294 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 112 - 0.00000 - - 0s 0 0 0.00000 0 124 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 0s 0 0 0.00000 0 343 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 1s Cutting planes: Gomory: 2 Clique: 5 Zero half: 71 Explored 0 nodes (14975 simplex iterations) in 1.72 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 08:10:16 2012 Optimize a model with 4932 rows, 1644 columns and 15070 nonzeros Presolve time: 0.01s Presolved: 4932 rows, 1644 columns, 15070 nonzeros Variable types: 0 continuous, 1644 integer (1644 binary) Root relaxation: objective 0.000000e+00, 282 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 272 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 1s 0 0 0.00000 0 363 - 0.00000 - - 1s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 0 0.00000 0 345 - 0.00000 - - 3s 0 0 0.00000 0 340 - 0.00000 - - 4s 0 0 0.00000 0 345 - 0.00000 - - 4s 0 0 0.00000 0 348 - 0.00000 - - 5s 0 0 0.00000 0 348 - 0.00000 - - 6s 0 2 0.00000 0 348 - 0.00000 - - 7s 163 25 0.00000 22 279 - 0.00000 - 201 10s 508 48 0.00000 13 318 - 0.00000 - 174 15s 705 63 0.00000 13 344 - 0.00000 - 164 20s 709 65 0.00000 5 336 - 0.00000 - 163 26s 711 67 0.00000 20 328 - 0.00000 - 163 30s 715 69 0.00000 7 311 - 0.00000 - 162 35s 828 65 infeasible 28 - 0.00000 - 230 40s 999 44 infeasible 30 - 0.00000 - 244 45s 1171 42 infeasible 31 - 0.00000 - 254 50s 1335 52 infeasible 29 - 0.00000 - 263 55s 1533 48 infeasible 31 - 0.00000 - 266 60s 1698 41 infeasible 25 - 0.00000 - 273 65s 1884 45 infeasible 22 - 0.00000 - 275 70s 2052 35 0.00000 31 310 - 0.00000 - 278 75s 2189 38 0.00000 23 248 - 0.00000 - 285 80s 2363 46 infeasible 26 - 0.00000 - 287 85s 2528 35 infeasible 26 - 0.00000 - 289 90s 2675 38 infeasible 25 - 0.00000 - 293 95s 2836 33 infeasible 24 - 0.00000 - 294 100s 2998 49 infeasible 25 - 0.00000 - 295 105s 3170 43 infeasible 25 - 0.00000 - 296 110s 3330 39 0.00000 27 309 - 0.00000 - 298 115s 3513 40 0.00000 28 296 - 0.00000 - 298 120s 3695 32 infeasible 26 - 0.00000 - 298 125s 3876 37 0.00000 24 230 - 0.00000 - 298 130s 4053 38 infeasible 26 - 0.00000 - 298 135s 4249 36 0.00000 29 254 - 0.00000 - 297 140s 4393 32 0.00000 20 318 - 0.00000 - 299 145s 4556 33 0.00000 24 250 - 0.00000 - 300 150s 4735 32 0.00000 26 283 - 0.00000 - 300 155s 4911 26 0.00000 23 306 - 0.00000 - 301 160s 5094 27 infeasible 28 - 0.00000 - 300 165s 5267 28 infeasible 27 - 0.00000 - 301 170s 5424 33 infeasible 25 - 0.00000 - 301 175s 5602 31 infeasible 27 - 0.00000 - 301 180s 5764 29 infeasible 26 - 0.00000 - 302 185s 5944 27 0.00000 23 309 - 0.00000 - 302 190s 6118 27 0.00000 25 264 - 0.00000 - 302 195s 6277 20 infeasible 20 - 0.00000 - 303 200s 6442 19 0.00000 28 322 - 0.00000 - 303 205s 6596 17 0.00000 25 313 - 0.00000 - 304 210s 6760 23 infeasible 30 - 0.00000 - 304 215s 6938 25 infeasible 26 - 0.00000 - 304 220s 7103 16 infeasible 22 - 0.00000 - 304 225s 7272 29 infeasible 28 - 0.00000 - 304 230s 7427 18 0.00000 20 260 - 0.00000 - 305 235s 7589 12 0.00000 18 336 - 0.00000 - 306 240s 7757 10 0.00000 17 326 - 0.00000 - 306 245s 7916 25 infeasible 29 - 0.00000 - 306 250s 8094 23 infeasible 25 - 0.00000 - 306 255s 8270 23 infeasible 26 - 0.00000 - 305 260s 8490 29 infeasible 28 - 0.00000 - 304 265s 8661 14 infeasible 26 - 0.00000 - 304 270s 8844 17 infeasible 26 - 0.00000 - 304 275s Cutting planes: Clique: 2 Zero half: 9 Explored 9041 nodes (2771093 simplex iterations) in 279.63 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