current bounds on the number of colors: 0 -- 131 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:31:21 2012 Optimize a model with 62661 rows, 9477 columns and 196105 nonzeros Presolve time: 0.19s Presolved: 62661 rows, 9477 columns, 196105 nonzeros Variable types: 0 continuous, 9477 integer (9477 binary) Root relaxation: objective 0.000000e+00, 312 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 (675 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 -- 65 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:31:23 2012 Optimize a model with 30915 rows, 5154 columns and 96544 nonzeros Presolve time: 0.14s Presolved: 30915 rows, 5154 columns, 96544 nonzeros Variable types: 0 continuous, 5154 integer (5154 binary) Root relaxation: objective 0.000000e+00, 306 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 (673 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:31:23 2012 Optimize a model with 15523 rows, 3058 columns and 48272 nonzeros Presolve time: 0.05s Presolved: 15523 rows, 3058 columns, 48272 nonzeros Variable types: 0 continuous, 3058 integer (3058 binary) Root relaxation: objective 0.000000e+00, 381 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 (748 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:31:23 2012 Optimize a model with 7827 rows, 2010 columns and 24136 nonzeros Presolve time: 0.02s Presolved: 7827 rows, 2010 columns, 24136 nonzeros Variable types: 0 continuous, 2010 integer (2010 binary) Root relaxation: objective 0.000000e+00, 267 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 (1241 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:31:24 2012 Optimize a model with 3979 rows, 1486 columns and 12068 nonzeros Presolve time: 0.01s Presolved: 3979 rows, 1486 columns, 12068 nonzeros Variable types: 0 continuous, 1486 integer (1486 binary) Root relaxation: objective 0.000000e+00, 288 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 251 - 0.00000 - - 0s 0 0 0.00000 0 419 - 0.00000 - - 1s 0 0 0.00000 0 441 - 0.00000 - - 2s 0 0 0.00000 0 420 - 0.00000 - - 4s 0 0 0.00000 0 424 - 0.00000 - - 5s 0 0 0.00000 0 425 - 0.00000 - - 6s 0 0 0.00000 0 421 - 0.00000 - - 7s 0 0 0.00000 0 413 - 0.00000 - - 7s 0 0 0.00000 0 418 - 0.00000 - - 8s 0 0 0.00000 0 417 - 0.00000 - - 8s 0 2 0.00000 0 417 - 0.00000 - - 9s 3 3 infeasible 3 - 0.00000 - 1333 10s Cutting planes: Clique: 13 Zero half: 20 Explored 13 nodes (46501 simplex iterations) in 10.37 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:31:34 2012 Optimize a model with 5903 rows, 1748 columns and 18102 nonzeros Presolve time: 0.02s Presolved: 5903 rows, 1748 columns, 18102 nonzeros Variable types: 0 continuous, 1748 integer (1748 binary) Root relaxation: objective 0.000000e+00, 276 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 248 - 0.00000 - - 0s 0 0 0.00000 0 108 - 0.00000 - - 0s 0 0 0.00000 0 277 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 229 - 0.00000 - - 2s 0 0 0.00000 0 239 - 0.00000 - - 3s 0 0 0.00000 0 206 - 0.00000 - - 3s 0 0 0.00000 0 333 - 0.00000 - - 4s 0 0 0.00000 0 359 - 0.00000 - - 4s 0 0 0.00000 0 359 - 0.00000 - - 4s H 0 0 0.0000000 0.00000 0.0% - 4s Cutting planes: Clique: 3 Zero half: 21 Explored 0 nodes (36102 simplex iterations) in 4.95 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:31:39 2012 Optimize a model with 4941 rows, 1617 columns and 15085 nonzeros Presolve time: 0.01s Presolved: 4941 rows, 1617 columns, 15085 nonzeros Variable types: 0 continuous, 1617 integer (1617 binary) Root relaxation: objective 0.000000e+00, 277 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 262 - 0.00000 - - 0s 0 0 0.00000 0 215 - 0.00000 - - 0s 0 0 0.00000 0 369 - 0.00000 - - 1s 0 0 0.00000 0 359 - 0.00000 - - 1s 0 0 0.00000 0 355 - 0.00000 - - 2s 0 0 0.00000 0 348 - 0.00000 - - 2s 0 0 0.00000 0 344 - 0.00000 - - 2s 0 0 0.00000 0 342 - 0.00000 - - 2s 0 0 0.00000 0 355 - 0.00000 - - 2s 0 0 0.00000 0 353 - 0.00000 - - 3s 0 0 0.00000 0 365 - 0.00000 - - 4s 0 0 0.00000 0 367 - 0.00000 - - 5s 0 0 0.00000 0 367 - 0.00000 - - 5s 0 2 0.00000 0 367 - 0.00000 - - 6s 218 30 infeasible 27 - 0.00000 - 174 10s 564 74 0.00000 33 288 - 0.00000 - 160 15s 605 81 0.00000 21 358 - 0.00000 - 157 20s 608 83 0.00000 26 342 - 0.00000 - 156 26s 610 84 0.00000 4 336 - 0.00000 - 156 30s 613 86 0.00000 19 336 - 0.00000 - 155 36s 615 87 0.00000 4 305 - 0.00000 - 155 40s 618 89 0.00000 19 324 - 0.00000 - 154 45s 637 100 0.00000 16 331 - 0.00000 - 256 50s 795 65 infeasible 31 - 0.00000 - 266 55s 962 21 infeasible 28 - 0.00000 - 272 60s 1107 32 infeasible 30 - 0.00000 - 279 65s 1250 27 0.00000 17 309 - 0.00000 - 286 70s 1404 21 infeasible 21 - 0.00000 - 290 75s 1576 15 infeasible 27 - 0.00000 - 289 80s 1744 15 infeasible 25 - 0.00000 - 290 85s 1939 18 0.00000 24 323 - 0.00000 - 287 90s 2100 21 infeasible 28 - 0.00000 - 289 95s 2232 19 0.00000 23 315 - 0.00000 - 293 100s 2377 23 infeasible 24 - 0.00000 - 296 105s 2517 21 infeasible 30 - 0.00000 - 298 110s 2657 19 infeasible 25 - 0.00000 - 301 115s 2814 28 0.00000 28 320 - 0.00000 - 302 120s 2949 27 0.00000 28 303 - 0.00000 - 304 125s 3093 41 0.00000 33 298 - 0.00000 - 305 130s 3225 27 infeasible 28 - 0.00000 - 307 135s 3372 28 infeasible 25 - 0.00000 - 308 140s 3521 23 infeasible 25 - 0.00000 - 310 145s 3662 22 0.00000 25 313 - 0.00000 - 311 150s 3814 22 0.00000 23 314 - 0.00000 - 311 155s 3965 31 0.00000 29 281 - 0.00000 - 311 160s 4122 28 infeasible 24 - 0.00000 - 311 165s 4261 27 infeasible 28 - 0.00000 - 312 170s 4396 26 0.00000 24 303 - 0.00000 - 314 175s 4569 37 0.00000 34 298 - 0.00000 - 312 180s 4743 33 infeasible 33 - 0.00000 - 312 185s 4903 23 0.00000 22 324 - 0.00000 - 311 190s 5065 23 infeasible 23 - 0.00000 - 311 195s 5203 27 infeasible 29 - 0.00000 - 312 200s 5349 43 0.00000 27 304 - 0.00000 - 312 205s 5489 29 infeasible 30 - 0.00000 - 313 210s 5636 40 infeasible 29 - 0.00000 - 313 215s 5808 36 0.00000 24 308 - 0.00000 - 313 220s 5977 35 0.00000 24 301 - 0.00000 - 312 225s 6122 30 0.00000 25 313 - 0.00000 - 312 230s 6262 32 infeasible 27 - 0.00000 - 313 235s 6419 33 infeasible 29 - 0.00000 - 313 240s 6587 35 0.00000 24 331 - 0.00000 - 312 245s 6741 27 infeasible 23 - 0.00000 - 312 250s 6875 31 infeasible 25 - 0.00000 - 313 255s 7005 31 infeasible 29 - 0.00000 - 313 260s 7158 30 0.00000 25 311 - 0.00000 - 314 265s 7295 22 0.00000 25 319 - 0.00000 - 314 270s 7419 20 infeasible 28 - 0.00000 - 315 275s 7554 17 infeasible 23 - 0.00000 - 316 280s Cutting planes: Gomory: 1 Clique: 8 Zero half: 15 Explored 7588 nodes (2424553 simplex iterations) in 281.03 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