current bounds on the number of colors: 0 -- 133 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:52:15 2012 Optimize a model with 59995 rows, 9685 columns and 188364 nonzeros Presolve time: 0.18s Presolved: 59995 rows, 9685 columns, 188364 nonzeros Variable types: 0 continuous, 9685 integer (9685 binary) Root relaxation: objective 0.000000e+00, 351 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 (657 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 -- 66 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:52:16 2012 Optimize a model with 30064 rows, 5296 columns and 94182 nonzeros Presolve time: 0.13s Presolved: 30064 rows, 5296 columns, 94182 nonzeros Variable types: 0 continuous, 5296 integer (5296 binary) Root relaxation: objective 0.000000e+00, 309 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 (600 simplex iterations) in 0.20 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 04:52:17 2012 Optimize a model with 14645 rows, 3035 columns and 45664 nonzeros Presolve time: 0.05s Presolved: 14645 rows, 3035 columns, 45664 nonzeros Variable types: 0 continuous, 3035 integer (3035 binary) Root relaxation: objective 0.000000e+00, 271 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 (540 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 04:52:17 2012 Optimize a model with 7389 rows, 1971 columns and 22832 nonzeros Presolve time: 0.02s Presolved: 7389 rows, 1971 columns, 22832 nonzeros Variable types: 0 continuous, 1971 integer (1971 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 (630 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 04:52:17 2012 Optimize a model with 3761 rows, 1439 columns and 11416 nonzeros Presolve time: 0.01s Presolved: 3761 rows, 1439 columns, 11416 nonzeros Variable types: 0 continuous, 1439 integer (1439 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.00000 0 266 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 0s 0 0 0.00000 0 411 - 0.00000 - - 1s 0 0 0.00000 0 404 - 0.00000 - - 1s 0 0 0.00000 0 398 - 0.00000 - - 2s 0 0 0.00000 0 392 - 0.00000 - - 2s 0 0 0.00000 0 393 - 0.00000 - - 3s 0 0 0.00000 0 389 - 0.00000 - - 4s 0 0 0.00000 0 385 - 0.00000 - - 4s 0 0 0.00000 0 397 - 0.00000 - - 5s 0 0 0.00000 0 391 - 0.00000 - - 6s 0 0 0.00000 0 385 - 0.00000 - - 7s 0 0 0.00000 0 385 - 0.00000 - - 8s 0 0 0.00000 0 385 - 0.00000 - - 9s 0 2 0.00000 0 385 - 0.00000 - - 10s Cutting planes: Clique: 19 Zero half: 22 Explored 50 nodes (47512 simplex iterations) in 11.78 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 04:52:29 2012 Optimize a model with 5575 rows, 1705 columns and 17124 nonzeros Presolve time: 0.01s Presolved: 5575 rows, 1705 columns, 17124 nonzeros Variable types: 0 continuous, 1705 integer (1705 binary) Root relaxation: objective 0.000000e+00, 282 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 136 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2226 simplex iterations) in 0.15 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 04:52:29 2012 Optimize a model with 4668 rows, 1572 columns and 14270 nonzeros Presolve time: 0.01s Presolved: 4668 rows, 1572 columns, 14270 nonzeros Variable types: 0 continuous, 1572 integer (1572 binary) Root relaxation: objective 0.000000e+00, 279 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 172 - 0.00000 - - 0s 0 0 0.00000 0 230 - 0.00000 - - 0s 0 0 0.00000 0 226 - 0.00000 - - 1s 0 0 0.00000 0 377 - 0.00000 - - 1s 0 0 0.00000 0 193 - 0.00000 - - 2s 0 0 0.00000 0 205 - 0.00000 - - 2s 0 0 0.00000 0 199 - 0.00000 - - 3s 0 0 0.00000 0 176 - 0.00000 - - 4s 0 0 0.00000 0 311 - 0.00000 - - 4s 0 0 0.00000 0 290 - 0.00000 - - 5s 0 0 0.00000 0 305 - 0.00000 - - 6s 0 0 0.00000 0 305 - 0.00000 - - 6s 0 2 0.00000 0 305 - 0.00000 - - 6s 380 64 0.00000 18 268 - 0.00000 - 114 10s 705 52 0.00000 14 241 - 0.00000 - 104 15s 709 54 0.00000 24 213 - 0.00000 - 104 20s 718 60 0.00000 17 314 - 0.00000 - 155 25s 879 52 infeasible 37 - 0.00000 - 171 30s 1103 49 infeasible 36 - 0.00000 - 190 35s 1347 85 infeasible 32 - 0.00000 - 199 40s 1571 85 infeasible 34 - 0.00000 - 208 45s 1736 104 infeasible 25 - 0.00000 - 217 50s 1969 123 0.00000 37 234 - 0.00000 - 221 55s 2187 119 infeasible 40 - 0.00000 - 224 60s 2439 135 infeasible 30 - 0.00000 - 225 65s 2693 151 infeasible 36 - 0.00000 - 227 70s 2923 165 0.00000 35 232 - 0.00000 - 229 75s 3153 161 infeasible 37 - 0.00000 - 232 80s 3366 160 0.00000 32 309 - 0.00000 - 234 85s 3572 212 infeasible 38 - 0.00000 - 237 90s 3781 235 infeasible 39 - 0.00000 - 239 95s 3993 227 0.00000 32 303 - 0.00000 - 241 100s 4196 232 infeasible 32 - 0.00000 - 244 105s 4411 239 infeasible 36 - 0.00000 - 245 110s 4643 233 0.00000 35 284 - 0.00000 - 246 115s 4874 234 infeasible 33 - 0.00000 - 246 120s 5077 245 infeasible 31 - 0.00000 - 248 125s 5283 247 0.00000 32 337 - 0.00000 - 249 130s 5499 271 infeasible 35 - 0.00000 - 250 135s 5712 262 infeasible 36 - 0.00000 - 251 140s 5909 257 0.00000 32 286 - 0.00000 - 252 145s 6122 254 0.00000 31 293 - 0.00000 - 253 150s 6328 262 infeasible 34 - 0.00000 - 254 155s 6547 285 0.00000 37 276 - 0.00000 - 254 160s 6742 282 infeasible 29 - 0.00000 - 255 165s 6943 273 infeasible 31 - 0.00000 - 257 170s 7120 278 0.00000 32 302 - 0.00000 - 258 175s 7324 284 infeasible 39 - 0.00000 - 259 180s 7512 272 0.00000 36 315 - 0.00000 - 260 185s 7699 265 infeasible 33 - 0.00000 - 262 190s 7922 260 infeasible 34 - 0.00000 - 262 195s 8128 256 infeasible 37 - 0.00000 - 263 200s 8345 257 0.00000 32 287 - 0.00000 - 263 205s 8519 241 infeasible 31 - 0.00000 - 264 210s 8739 259 infeasible 38 - 0.00000 - 264 215s 8985 297 infeasible 36 - 0.00000 - 263 220s 9182 292 0.00000 33 226 - 0.00000 - 264 225s 9403 315 infeasible 37 - 0.00000 - 264 230s 9614 310 0.00000 30 320 - 0.00000 - 264 235s 9841 317 0.00000 33 288 - 0.00000 - 264 240s 10050 324 infeasible 32 - 0.00000 - 264 245s 10273 329 infeasible 39 - 0.00000 - 265 250s 10484 324 0.00000 34 305 - 0.00000 - 265 255s 10690 358 0.00000 34 302 - 0.00000 - 265 260s 10900 352 infeasible 33 - 0.00000 - 266 265s 11118 346 0.00000 34 208 - 0.00000 - 266 270s 11349 339 0.00000 33 294 - 0.00000 - 266 275s 11556 336 infeasible 39 - 0.00000 - 266 280s Cutting planes: Clique: 2 Zero half: 1 Explored 11751 nodes (3175916 simplex iterations) in 284.61 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