current bounds on the number of colors: 0 -- 146 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:39:28 2012 Optimize a model with 75701 rows, 11693 columns and 237323 nonzeros Presolve time: 0.21s Presolved: 75701 rows, 11693 columns, 237323 nonzeros Variable types: 0 continuous, 11693 integer (11693 binary) Root relaxation: objective 0.000000e+00, 352 iterations, 0.08 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 (765 simplex iterations) in 0.42 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 -- 73 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:39:29 2012 Optimize a model with 37406 rows, 6291 columns and 117036 nonzeros Presolve time: 0.15s Presolved: 37406 rows, 6291 columns, 117036 nonzeros Variable types: 0 continuous, 6291 integer (6291 binary) Root relaxation: objective 0.000000e+00, 356 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 (674 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:39:30 2012 Optimize a model with 18776 rows, 3663 columns and 58518 nonzeros Presolve time: 0.06s Presolved: 18776 rows, 3663 columns, 58518 nonzeros Variable types: 0 continuous, 3663 integer (3663 binary) Root relaxation: objective 0.000000e+00, 416 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 (817 simplex iterations) in 0.11 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:39:30 2012 Optimize a model with 9461 rows, 2349 columns and 29259 nonzeros Presolve time: 0.03s Presolved: 9461 rows, 2349 columns, 29259 nonzeros Variable types: 0 continuous, 2349 integer (2349 binary) Root relaxation: objective 0.000000e+00, 313 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 (991 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:39:31 2012 Optimize a model with 4286 rows, 1619 columns and 13004 nonzeros Presolve time: 0.01s Presolved: 4286 rows, 1619 columns, 13004 nonzeros Variable types: 0 continuous, 1619 integer (1619 binary) Root relaxation: objective 0.000000e+00, 330 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 208 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s 0 0 0.00000 0 461 - 0.00000 - - 1s 0 0 0.00000 0 470 - 0.00000 - - 2s 0 0 0.00000 0 455 - 0.00000 - - 3s 0 0 0.00000 0 467 - 0.00000 - - 3s 0 0 0.00000 0 468 - 0.00000 - - 4s 0 0 0.00000 0 457 - 0.00000 - - 6s 0 0 0.00000 0 450 - 0.00000 - - 8s 0 0 0.00000 0 440 - 0.00000 - - 10s 0 0 0.00000 0 437 - 0.00000 - - 11s 0 0 0.00000 0 448 - 0.00000 - - 11s 0 0 0.00000 0 448 - 0.00000 - - 12s 0 2 0.00000 0 448 - 0.00000 - - 13s Cutting planes: Clique: 25 Zero half: 27 Explored 7 nodes (53551 simplex iterations) in 13.93 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:39:45 2012 Optimize a model with 6356 rows, 1911 columns and 19506 nonzeros Presolve time: 0.02s Presolved: 6356 rows, 1911 columns, 19506 nonzeros Variable types: 0 continuous, 1911 integer (1911 binary) Root relaxation: objective 0.000000e+00, 306 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 290 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 1 Clique: 387 MIR: 20 Zero half: 474 Explored 0 nodes (3993 simplex iterations) in 0.46 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 15:39:45 2012 Optimize a model with 5321 rows, 1765 columns and 16255 nonzeros Presolve time: 0.01s Presolved: 5321 rows, 1765 columns, 16255 nonzeros Variable types: 0 continuous, 1765 integer (1765 binary) Root relaxation: objective 0.000000e+00, 316 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 280 - 0.00000 - - 0s 0 0 0.00000 0 184 - 0.00000 - - 0s 0 0 0.00000 0 281 - 0.00000 - - 1s 0 0 0.00000 0 432 - 0.00000 - - 2s 0 0 0.00000 0 302 - 0.00000 - - 3s 0 0 0.00000 0 242 - 0.00000 - - 4s 0 0 0.00000 0 238 - 0.00000 - - 5s 0 0 0.00000 0 237 - 0.00000 - - 6s 0 0 0.00000 0 280 - 0.00000 - - 7s 0 0 0.00000 0 326 - 0.00000 - - 7s 0 0 0.00000 0 312 - 0.00000 - - 9s 0 0 0.00000 0 313 - 0.00000 - - 9s 0 0 0.00000 0 331 - 0.00000 - - 10s 0 0 0.00000 0 331 - 0.00000 - - 10s 0 2 0.00000 0 331 - 0.00000 - - 12s 304 30 infeasible 22 - 0.00000 - 116 15s 785 20 0.00000 16 232 - 0.00000 - 121 20s 1211 17 0.00000 21 230 - 0.00000 - 126 25s 1305 34 0.00000 26 371 - 0.00000 - 124 31s 1307 35 0.00000 26 342 - 0.00000 - 123 36s 1309 36 0.00000 12 353 - 0.00000 - 123 40s 1312 38 0.00000 22 300 - 0.00000 - 123 45s 1315 40 0.00000 21 342 - 0.00000 - 123 51s 1321 44 0.00000 16 349 - 0.00000 - 170 55s 1348 58 0.00000 30 351 - 0.00000 - 172 60s 1461 66 0.00000 30 356 - 0.00000 - 183 65s 1607 96 0.00000 28 314 - 0.00000 - 193 70s 1724 115 infeasible 32 - 0.00000 - 208 75s 1856 129 infeasible 30 - 0.00000 - 217 80s 1973 126 infeasible 39 - 0.00000 - 228 85s 2105 136 0.00000 35 344 - 0.00000 - 235 90s 2247 162 infeasible 41 - 0.00000 - 241 95s 2357 168 infeasible 36 - 0.00000 - 247 100s 2486 165 infeasible 33 - 0.00000 - 254 105s 2615 158 infeasible 35 - 0.00000 - 260 110s 2754 165 0.00000 35 348 - 0.00000 - 265 115s 2862 153 0.00000 32 331 - 0.00000 - 271 120s 2987 174 infeasible 37 - 0.00000 - 274 125s 3123 178 0.00000 29 334 - 0.00000 - 277 130s 3242 181 infeasible 34 - 0.00000 - 282 135s 3365 180 infeasible 34 - 0.00000 - 286 140s 3476 173 infeasible 34 - 0.00000 - 290 145s 3596 169 0.00000 27 337 - 0.00000 - 294 150s 3719 168 0.00000 29 360 - 0.00000 - 297 155s 3842 175 infeasible 32 - 0.00000 - 300 160s 3960 179 0.00000 28 309 - 0.00000 - 303 165s 4079 178 infeasible 31 - 0.00000 - 305 170s 4210 177 infeasible 31 - 0.00000 - 308 175s 4351 172 0.00000 32 329 - 0.00000 - 309 180s 4481 178 0.00000 30 353 - 0.00000 - 311 185s 4628 189 0.00000 42 337 - 0.00000 - 311 190s 4764 189 infeasible 36 - 0.00000 - 313 195s 4896 185 infeasible 32 - 0.00000 - 314 200s 5042 213 0.00000 35 336 - 0.00000 - 314 205s 5163 206 0.00000 34 337 - 0.00000 - 316 210s 5307 212 infeasible 36 - 0.00000 - 316 215s 5439 222 0.00000 30 258 - 0.00000 - 317 220s 5573 214 infeasible 33 - 0.00000 - 319 225s 5692 207 infeasible 36 - 0.00000 - 321 230s 5830 215 infeasible 31 - 0.00000 - 321 235s 5945 222 0.00000 35 349 - 0.00000 - 323 240s 6046 213 infeasible 29 - 0.00000 - 325 245s 6172 219 infeasible 32 - 0.00000 - 327 250s 6288 223 0.00000 31 307 - 0.00000 - 328 255s 6425 244 infeasible 34 - 0.00000 - 328 260s 6547 250 infeasible 33 - 0.00000 - 329 265s 6664 257 infeasible 37 - 0.00000 - 331 270s 6787 254 infeasible 33 - 0.00000 - 331 275s 6923 260 infeasible 31 - 0.00000 - 332 280s Cutting planes: Clique: 5 Zero half: 9 Explored 6950 nodes (2375218 simplex iterations) in 281.29 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