current bounds on the number of colors: 0 -- 139 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:48:21 2012 Optimize a model with 67552 rows, 10568 columns and 211830 nonzeros Presolve time: 0.20s Presolved: 67552 rows, 10568 columns, 211830 nonzeros Variable types: 0 continuous, 10568 integer (10568 binary) Root relaxation: objective 0.000000e+00, 370 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 (741 simplex iterations) in 0.38 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 09:48:22 2012 Optimize a model with 33357 rows, 5703 columns and 104380 nonzeros Presolve time: 0.16s Presolved: 33357 rows, 5703 columns, 104380 nonzeros Variable types: 0 continuous, 5703 integer (5703 binary) Root relaxation: objective 0.000000e+00, 322 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 (618 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 09:48:23 2012 Optimize a model with 16748 rows, 3340 columns and 52190 nonzeros Presolve time: 0.06s Presolved: 16748 rows, 3340 columns, 52190 nonzeros Variable types: 0 continuous, 3340 integer (3340 binary) Root relaxation: objective 0.000000e+00, 395 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 (807 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:48:23 2012 Optimize a model with 7955 rows, 2089 columns and 24560 nonzeros Presolve time: 0.02s Presolved: 7955 rows, 2089 columns, 24560 nonzeros Variable types: 0 continuous, 2089 integer (2089 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1134 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 09:48:24 2012 Optimize a model with 4047 rows, 1533 columns and 12280 nonzeros Presolve time: 0.01s Presolved: 4047 rows, 1533 columns, 12280 nonzeros Variable types: 0 continuous, 1533 integer (1533 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 186 - 0.00000 - - 0s 0 0 0.00000 0 174 - 0.00000 - - 0s 0 0 0.00000 0 417 - 0.00000 - - 1s 0 0 0.00000 0 444 - 0.00000 - - 2s 0 0 0.00000 0 434 - 0.00000 - - 3s 0 0 0.00000 0 429 - 0.00000 - - 4s 0 0 0.00000 0 423 - 0.00000 - - 5s 0 0 0.00000 0 428 - 0.00000 - - 6s 0 0 0.00000 0 423 - 0.00000 - - 7s 0 0 0.00000 0 422 - 0.00000 - - 8s 0 0 0.00000 0 421 - 0.00000 - - 8s 0 0 0.00000 0 424 - 0.00000 - - 9s 0 0 0.00000 0 431 - 0.00000 - - 10s 0 0 0.00000 0 431 - 0.00000 - - 11s 0 2 0.00000 0 431 - 0.00000 - - 12s Cutting planes: Clique: 34 Zero half: 20 Explored 29 nodes (62806 simplex iterations) in 14.48 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 09:48:38 2012 Optimize a model with 6001 rows, 1811 columns and 18420 nonzeros Presolve time: 0.02s Presolved: 6001 rows, 1811 columns, 18420 nonzeros Variable types: 0 continuous, 1811 integer (1811 binary) Root relaxation: objective 0.000000e+00, 299 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 20 - 0.00000 - - 0s Cutting planes: Clique: 14 Explored 0 nodes (7289 simplex iterations) in 0.91 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 09:48:39 2012 Optimize a model with 5024 rows, 1672 columns and 15350 nonzeros Presolve time: 0.01s Presolved: 5024 rows, 1672 columns, 15350 nonzeros Variable types: 0 continuous, 1672 integer (1672 binary) Root relaxation: objective 0.000000e+00, 294 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 276 - 0.00000 - - 0s 0 0 0.00000 0 185 - 0.00000 - - 0s 0 0 0.00000 0 247 - 0.00000 - - 1s 0 0 0.00000 0 407 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 2s 0 0 0.00000 0 309 - 0.00000 - - 3s 0 0 0.00000 0 295 - 0.00000 - - 4s 0 0 0.00000 0 284 - 0.00000 - - 5s 0 0 0.00000 0 265 - 0.00000 - - 6s 0 0 0.00000 0 330 - 0.00000 - - 7s 0 0 0.00000 0 292 - 0.00000 - - 8s 0 0 0.00000 0 370 - 0.00000 - - 9s 0 0 0.00000 0 370 - 0.00000 - - 10s 0 2 0.00000 0 370 - 0.00000 - - 11s 206 22 0.00000 20 210 - 0.00000 - 169 15s 551 21 0.00000 13 312 - 0.00000 - 160 20s 1003 36 0.00000 11 247 - 0.00000 - 140 25s 1006 38 0.00000 13 243 - 0.00000 - 140 30s 1009 40 0.00000 26 281 - 0.00000 - 139 36s 1015 44 0.00000 14 328 - 0.00000 - 183 40s 1062 54 0.00000 29 262 - 0.00000 - 186 45s 1218 40 0.00000 30 312 - 0.00000 - 201 50s 1388 68 0.00000 31 335 - 0.00000 - 210 55s 1541 89 0.00000 24 232 - 0.00000 - 221 60s 1707 85 0.00000 36 238 - 0.00000 - 230 65s 1902 96 0.00000 28 232 - 0.00000 - 234 70s 2081 95 infeasible 28 - 0.00000 - 239 75s 2248 122 0.00000 32 307 - 0.00000 - 242 80s 2393 123 infeasible 28 - 0.00000 - 248 85s 2565 161 0.00000 27 320 - 0.00000 - 250 90s 2697 157 infeasible 28 - 0.00000 - 257 95s 2827 147 infeasible 32 - 0.00000 - 262 100s 3004 146 infeasible 33 - 0.00000 - 264 105s 3162 140 infeasible 31 - 0.00000 - 267 110s 3305 151 0.00000 33 331 - 0.00000 - 270 115s 3472 150 infeasible 31 - 0.00000 - 272 120s 3624 150 infeasible 37 - 0.00000 - 274 125s 3781 143 infeasible 28 - 0.00000 - 276 130s 3962 138 infeasible 27 - 0.00000 - 277 135s 4128 152 infeasible 32 - 0.00000 - 278 140s 4270 142 infeasible 38 - 0.00000 - 280 145s 4443 159 infeasible 33 - 0.00000 - 281 150s 4615 167 infeasible 30 - 0.00000 - 282 155s 4783 177 infeasible 31 - 0.00000 - 282 160s 4932 182 infeasible 31 - 0.00000 - 284 165s 5087 189 0.00000 31 252 - 0.00000 - 285 170s 5275 203 infeasible 29 - 0.00000 - 285 175s 5454 208 infeasible 39 - 0.00000 - 286 180s 5613 191 infeasible 30 - 0.00000 - 287 185s 5795 201 infeasible 35 - 0.00000 - 287 190s 5940 190 infeasible 30 - 0.00000 - 288 195s 6105 207 0.00000 25 345 - 0.00000 - 289 200s 6267 221 0.00000 27 329 - 0.00000 - 289 205s 6451 233 infeasible 35 - 0.00000 - 289 210s 6636 216 infeasible 29 - 0.00000 - 289 215s 6803 207 infeasible 31 - 0.00000 - 289 220s 6953 213 0.00000 30 326 - 0.00000 - 290 225s 7096 192 0.00000 31 327 - 0.00000 - 291 230s 7253 197 infeasible 32 - 0.00000 - 292 235s 7396 188 infeasible 26 - 0.00000 - 293 240s 7531 177 0.00000 27 330 - 0.00000 - 294 245s 7673 163 0.00000 26 324 - 0.00000 - 295 250s 7812 152 infeasible 31 - 0.00000 - 296 255s 7953 141 0.00000 26 330 - 0.00000 - 297 260s 8138 132 infeasible 35 - 0.00000 - 297 265s 8306 140 infeasible 26 - 0.00000 - 297 270s 8456 136 0.00000 29 325 - 0.00000 - 297 275s 8599 121 infeasible 32 - 0.00000 - 298 280s Cutting planes: Clique: 5 Zero half: 3 Explored 8613 nodes (2626276 simplex iterations) in 280.68 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