current bounds on the number of colors: 0 -- 135 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:06:03 2012 Optimize a model with 61775 rows, 9965 columns and 193965 nonzeros Presolve time: 0.18s Presolved: 61775 rows, 9965 columns, 193965 nonzeros Variable types: 0 continuous, 9965 integer (9965 binary) Root relaxation: objective 0.000000e+00, 330 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 (633 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 -- 67 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:06:04 2012 Optimize a model with 30495 rows, 5375 columns and 95535 nonzeros Presolve time: 0.14s Presolved: 30495 rows, 5375 columns, 95535 nonzeros Variable types: 0 continuous, 5375 integer (5375 binary) Root relaxation: objective 0.000000e+00, 315 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 (828 simplex iterations) in 0.24 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 06:06:05 2012 Optimize a model with 14855 rows, 3080 columns and 46320 nonzeros Presolve time: 0.05s Presolved: 14855 rows, 3080 columns, 46320 nonzeros Variable types: 0 continuous, 3080 integer (3080 binary) Root relaxation: objective 0.000000e+00, 280 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 (605 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:06:05 2012 Optimize a model with 7495 rows, 2000 columns and 23160 nonzeros Presolve time: 0.02s Presolved: 7495 rows, 2000 columns, 23160 nonzeros Variable types: 0 continuous, 2000 integer (2000 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 (1061 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 06:06:05 2012 Optimize a model with 3815 rows, 1460 columns and 11580 nonzeros Presolve time: 0.01s Presolved: 3815 rows, 1460 columns, 11580 nonzeros Variable types: 0 continuous, 1460 integer (1460 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 266 - 0.00000 - - 0s 0 0 0.00000 0 176 - 0.00000 - - 0s 0 0 0.00000 0 416 - 0.00000 - - 1s 0 0 0.00000 0 433 - 0.00000 - - 2s 0 0 0.00000 0 427 - 0.00000 - - 3s 0 0 0.00000 0 416 - 0.00000 - - 5s 0 0 0.00000 0 412 - 0.00000 - - 6s 0 0 0.00000 0 406 - 0.00000 - - 7s 0 0 0.00000 0 402 - 0.00000 - - 8s 0 0 0.00000 0 402 - 0.00000 - - 10s 0 0 0.00000 0 421 - 0.00000 - - 11s 0 0 0.00000 0 417 - 0.00000 - - 11s 0 0 0.00000 0 418 - 0.00000 - - 12s 0 0 0.00000 0 412 - 0.00000 - - 14s 0 0 0.00000 0 412 - 0.00000 - - 15s 0 0 0.00000 0 412 - 0.00000 - - 15s 0 2 0.00000 0 412 - 0.00000 - - 16s Cutting planes: Clique: 14 Zero half: 19 Explored 15 nodes (60143 simplex iterations) in 17.25 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 06:06:23 2012 Optimize a model with 5655 rows, 1730 columns and 17370 nonzeros Presolve time: 0.02s Presolved: 5655 rows, 1730 columns, 17370 nonzeros Variable types: 0 continuous, 1730 integer (1730 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.00000 0 256 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 1 Clique: 314 MIR: 9 Zero half: 405 Explored 0 nodes (2608 simplex iterations) in 0.28 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 06:06:23 2012 Optimize a model with 4735 rows, 1595 columns and 14475 nonzeros Presolve time: 0.01s Presolved: 4735 rows, 1595 columns, 14475 nonzeros Variable types: 0 continuous, 1595 integer (1595 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.00000 0 264 - 0.00000 - - 0s 0 0 0.00000 0 243 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 1s 0 0 0.00000 0 362 - 0.00000 - - 1s 0 0 0.00000 0 258 - 0.00000 - - 2s 0 0 0.00000 0 325 - 0.00000 - - 3s 0 0 0.00000 0 397 - 0.00000 - - 4s 0 0 0.00000 0 368 - 0.00000 - - 4s 0 0 0.00000 0 378 - 0.00000 - - 5s 0 0 0.00000 0 378 - 0.00000 - - 6s 0 2 0.00000 0 378 - 0.00000 - - 7s 184 60 0.00000 15 327 - 0.00000 - 184 10s 626 98 0.00000 15 303 - 0.00000 - 150 15s 712 113 0.00000 16 280 - 0.00000 - 152 21s 715 115 0.00000 22 265 - 0.00000 - 151 25s 718 117 0.00000 15 274 - 0.00000 - 151 31s 803 120 infeasible 32 - 0.00000 - 215 35s 998 88 infeasible 34 - 0.00000 - 224 40s 1194 72 infeasible 36 - 0.00000 - 233 45s 1372 112 infeasible 35 - 0.00000 - 240 50s 1577 131 0.00000 28 267 - 0.00000 - 244 55s 1738 156 0.00000 24 310 - 0.00000 - 251 60s 1907 179 infeasible 30 - 0.00000 - 256 65s 2104 202 infeasible 27 - 0.00000 - 257 70s 2290 200 0.00000 25 308 - 0.00000 - 261 75s 2464 204 infeasible 24 - 0.00000 - 264 80s 2653 207 0.00000 27 288 - 0.00000 - 266 85s 2850 204 infeasible 30 - 0.00000 - 267 90s 3019 215 0.00000 30 317 - 0.00000 - 269 95s 3209 212 infeasible 32 - 0.00000 - 270 100s 3376 219 0.00000 28 302 - 0.00000 - 273 105s 3554 215 infeasible 32 - 0.00000 - 275 110s 3749 230 0.00000 24 313 - 0.00000 - 275 115s 3901 220 infeasible 29 - 0.00000 - 277 120s 4094 220 infeasible 28 - 0.00000 - 278 125s 4313 215 0.00000 29 327 - 0.00000 - 277 130s 4498 224 0.00000 33 276 - 0.00000 - 277 135s 4679 223 infeasible 33 - 0.00000 - 278 140s 4858 220 infeasible 26 - 0.00000 - 279 145s 5016 214 infeasible 31 - 0.00000 - 280 150s 5199 233 0.00000 25 310 - 0.00000 - 281 155s 5399 245 0.00000 27 302 - 0.00000 - 280 160s 5581 259 0.00000 27 321 - 0.00000 - 281 165s 5764 256 0.00000 26 331 - 0.00000 - 281 170s 5944 272 0.00000 31 222 - 0.00000 - 282 175s 6182 270 0.00000 29 220 - 0.00000 - 280 180s 6359 277 infeasible 30 - 0.00000 - 281 185s 6528 276 infeasible 36 - 0.00000 - 282 190s 6687 263 infeasible 33 - 0.00000 - 283 195s 6847 267 infeasible 27 - 0.00000 - 284 200s 7012 266 0.00000 27 325 - 0.00000 - 285 205s 7190 268 infeasible 28 - 0.00000 - 285 210s 7342 264 infeasible 29 - 0.00000 - 286 215s 7512 275 infeasible 33 - 0.00000 - 287 220s 7677 264 infeasible 25 - 0.00000 - 288 225s 7856 269 infeasible 32 - 0.00000 - 288 230s 8026 271 0.00000 29 300 - 0.00000 - 289 235s 8198 269 infeasible 31 - 0.00000 - 289 240s 8366 263 0.00000 30 311 - 0.00000 - 290 245s 8524 261 infeasible 38 - 0.00000 - 290 250s 8694 259 infeasible 33 - 0.00000 - 291 255s 8853 246 infeasible 28 - 0.00000 - 292 260s 9024 253 infeasible 30 - 0.00000 - 292 265s 9181 244 infeasible 32 - 0.00000 - 292 270s 9332 229 0.00000 26 310 - 0.00000 - 293 275s Cutting planes: Clique: 6 Zero half: 13 Explored 9464 nodes (2814142 simplex iterations) in 278.89 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