current bounds on the number of colors: 0 -- 138 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:54:57 2012 Optimize a model with 63618 rows, 10442 columns and 199962 nonzeros Presolve time: 0.19s Presolved: 63618 rows, 10442 columns, 199962 nonzeros Variable types: 0 continuous, 10442 integer (10442 binary) Root relaxation: objective 0.000000e+00, 354 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 (673 simplex iterations) in 0.34 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 -- 69 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:54:58 2012 Optimize a model with 31418 rows, 5612 columns and 98532 nonzeros Presolve time: 0.15s Presolved: 31418 rows, 5612 columns, 98532 nonzeros Variable types: 0 continuous, 5612 integer (5612 binary) Root relaxation: objective 0.000000e+00, 441 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 (823 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:54:59 2012 Optimize a model with 15778 rows, 3266 columns and 49266 nonzeros Presolve time: 0.05s Presolved: 15778 rows, 3266 columns, 49266 nonzeros Variable types: 0 continuous, 3266 integer (3266 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (551 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 08:54:59 2012 Optimize a model with 7498 rows, 2024 columns and 23184 nonzeros Presolve time: 0.02s Presolved: 7498 rows, 2024 columns, 23184 nonzeros Variable types: 0 continuous, 2024 integer (2024 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 (679 simplex iterations) in 0.04 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:54:59 2012 Optimize a model with 3818 rows, 1472 columns and 11592 nonzeros Presolve time: 0.01s Presolved: 3818 rows, 1472 columns, 11592 nonzeros Variable types: 0 continuous, 1472 integer (1472 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 180 - 0.00000 - - 0s 0 0 0.00000 0 260 - 0.00000 - - 0s 0 0 0.00000 0 433 - 0.00000 - - 1s 0 0 0.00000 0 434 - 0.00000 - - 2s 0 0 0.00000 0 420 - 0.00000 - - 3s 0 0 0.00000 0 395 - 0.00000 - - 5s 0 0 0.00000 0 397 - 0.00000 - - 6s 0 0 0.00000 0 388 - 0.00000 - - 7s 0 0 0.00000 0 386 - 0.00000 - - 8s 0 0 0.00000 0 390 - 0.00000 - - 9s 0 0 0.00000 0 391 - 0.00000 - - 10s 0 0 0.00000 0 390 - 0.00000 - - 10s 0 2 0.00000 0 390 - 0.00000 - - 11s Cutting planes: Clique: 29 Zero half: 12 Explored 24 nodes (50273 simplex iterations) in 12.62 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:55:12 2012 Optimize a model with 5658 rows, 1748 columns and 17388 nonzeros Presolve time: 0.02s Presolved: 5658 rows, 1748 columns, 17388 nonzeros Variable types: 0 continuous, 1748 integer (1748 binary) Root relaxation: objective 0.000000e+00, 322 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 242 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1684 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:55:12 2012 Optimize a model with 4738 rows, 1610 columns and 14490 nonzeros Presolve time: 0.01s Presolved: 4738 rows, 1610 columns, 14490 nonzeros Variable types: 0 continuous, 1610 integer (1610 binary) Root relaxation: objective 0.000000e+00, 290 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 270 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 327 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 0 0.00000 0 331 - 0.00000 - - 2s 0 0 0.00000 0 334 - 0.00000 - - 2s 0 0 0.00000 0 331 - 0.00000 - - 3s 0 2 0.00000 0 331 - 0.00000 - - 3s 103 47 0.00000 22 240 - 0.00000 - 150 5s 603 122 0.00000 18 327 - 0.00000 - 123 10s 610 127 0.00000 16 241 - 0.00000 - 121 15s 615 130 0.00000 14 250 - 0.00000 - 120 21s 623 136 0.00000 15 332 - 0.00000 - 187 25s 749 140 infeasible 33 - 0.00000 - 199 30s 981 108 infeasible 35 - 0.00000 - 208 35s 1193 131 0.00000 33 320 - 0.00000 - 218 40s 1406 142 infeasible 34 - 0.00000 - 225 45s 1603 175 infeasible 32 - 0.00000 - 230 50s 1839 205 infeasible 35 - 0.00000 - 231 55s 2062 204 0.00000 31 316 - 0.00000 - 235 60s 2256 190 infeasible 34 - 0.00000 - 239 65s 2452 200 0.00000 31 311 - 0.00000 - 243 70s 2657 199 infeasible 30 - 0.00000 - 247 75s 2860 198 infeasible 29 - 0.00000 - 250 80s 3068 202 infeasible 31 - 0.00000 - 253 85s 3280 194 0.00000 28 279 - 0.00000 - 255 90s 3501 213 0.00000 30 323 - 0.00000 - 256 95s 3699 203 0.00000 31 308 - 0.00000 - 258 100s 3922 204 infeasible 32 - 0.00000 - 260 105s 4134 214 0.00000 23 316 - 0.00000 - 260 110s 4334 208 infeasible 29 - 0.00000 - 262 115s 4519 211 0.00000 30 319 - 0.00000 - 263 120s 4733 217 0.00000 32 296 - 0.00000 - 264 125s 4966 252 0.00000 30 300 - 0.00000 - 263 130s 5193 267 infeasible 35 - 0.00000 - 263 135s 5403 275 0.00000 33 310 - 0.00000 - 264 140s 5644 308 infeasible 28 - 0.00000 - 263 145s 5872 322 infeasible 36 - 0.00000 - 263 150s 6081 301 infeasible 27 - 0.00000 - 264 155s 6285 285 infeasible 32 - 0.00000 - 265 160s 6495 333 infeasible 34 - 0.00000 - 265 165s 6661 333 infeasible 34 - 0.00000 - 267 170s 6860 334 infeasible 32 - 0.00000 - 268 175s 7066 332 0.00000 31 250 - 0.00000 - 268 180s 7293 333 infeasible 30 - 0.00000 - 269 185s 7526 348 0.00000 27 326 - 0.00000 - 268 190s 7746 364 0.00000 33 280 - 0.00000 - 268 195s 7969 349 infeasible 40 - 0.00000 - 268 200s 8180 342 infeasible 34 - 0.00000 - 269 205s 8415 337 infeasible 34 - 0.00000 - 269 210s 8609 339 0.00000 33 297 - 0.00000 - 269 215s 8782 338 0.00000 28 218 - 0.00000 - 270 220s 8982 342 infeasible 32 - 0.00000 - 271 225s 9189 339 0.00000 32 315 - 0.00000 - 271 230s 9401 331 infeasible 28 - 0.00000 - 271 235s 9625 327 0.00000 29 308 - 0.00000 - 271 240s 9850 324 infeasible 32 - 0.00000 - 271 245s 10086 320 0.00000 31 321 - 0.00000 - 271 250s 10313 345 infeasible 35 - 0.00000 - 271 255s 10546 354 infeasible 36 - 0.00000 - 270 260s 10745 353 infeasible 30 - 0.00000 - 271 265s 10953 347 infeasible 30 - 0.00000 - 271 270s 11179 341 0.00000 26 234 - 0.00000 - 271 275s 11399 357 infeasible 32 - 0.00000 - 271 280s Cutting planes: Clique: 8 Zero half: 6 Explored 11537 nodes (3157168 simplex iterations) in 283.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