current bounds on the number of colors: 0 -- 142 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:20:04 2012 Optimize a model with 69935 rows, 11065 columns and 219461 nonzeros Presolve time: 0.19s Presolved: 69935 rows, 11065 columns, 219461 nonzeros Variable types: 0 continuous, 11065 integer (11065 binary) Root relaxation: objective 0.000000e+00, 348 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 (682 simplex iterations) in 0.37 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 -- 71 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:20:05 2012 Optimize a model with 34547 rows, 5953 columns and 108185 nonzeros Presolve time: 0.16s Presolved: 34547 rows, 5953 columns, 108185 nonzeros Variable types: 0 continuous, 5953 integer (5953 binary) Root relaxation: objective 0.000000e+00, 405 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 (974 simplex iterations) in 0.27 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:20:05 2012 Optimize a model with 16853 rows, 3397 columns and 52547 nonzeros Presolve time: 0.06s Presolved: 16853 rows, 3397 columns, 52547 nonzeros Variable types: 0 continuous, 3397 integer (3397 binary) Root relaxation: objective 0.000000e+00, 285 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 (582 simplex iterations) in 0.09 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 12:20:06 2012 Optimize a model with 8006 rows, 2119 columns and 24728 nonzeros Presolve time: 0.02s Presolved: 8006 rows, 2119 columns, 24728 nonzeros Variable types: 0 continuous, 2119 integer (2119 binary) Root relaxation: objective 0.000000e+00, 301 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 (1053 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 12:20:06 2012 Optimize a model with 4074 rows, 1551 columns and 12364 nonzeros Presolve time: 0.01s Presolved: 4074 rows, 1551 columns, 12364 nonzeros Variable types: 0 continuous, 1551 integer (1551 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 282 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 444 - 0.00000 - - 1s 0 0 0.00000 0 453 - 0.00000 - - 2s 0 0 0.00000 0 446 - 0.00000 - - 3s 0 0 0.00000 0 436 - 0.00000 - - 5s 0 0 0.00000 0 445 - 0.00000 - - 6s 0 0 0.00000 0 430 - 0.00000 - - 7s 0 0 0.00000 0 435 - 0.00000 - - 8s 0 0 0.00000 0 449 - 0.00000 - - 8s 0 0 0.00000 0 449 - 0.00000 - - 9s 0 2 0.00000 0 449 - 0.00000 - - 10s Cutting planes: Clique: 13 Zero half: 14 Explored 9 nodes (43655 simplex iterations) in 10.56 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 12:20:17 2012 Optimize a model with 6040 rows, 1835 columns and 18546 nonzeros Presolve time: 0.02s Presolved: 6040 rows, 1835 columns, 18546 nonzeros Variable types: 0 continuous, 1835 integer (1835 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 167 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3962 simplex iterations) in 0.36 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 12:20:17 2012 Optimize a model with 5057 rows, 1693 columns and 15455 nonzeros Presolve time: 0.01s Presolved: 5057 rows, 1693 columns, 15455 nonzeros Variable types: 0 continuous, 1693 integer (1693 binary) Root relaxation: objective 0.000000e+00, 297 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 176 - 0.00000 - - 0s 0 0 0.00000 0 160 - 0.00000 - - 0s 0 0 0.00000 0 416 - 0.00000 - - 1s 0 0 0.00000 0 404 - 0.00000 - - 1s 0 0 0.00000 0 396 - 0.00000 - - 1s 0 0 0.00000 0 390 - 0.00000 - - 2s 0 0 0.00000 0 390 - 0.00000 - - 2s 0 0 0.00000 0 282 - 0.00000 - - 3s 0 0 0.00000 0 271 - 0.00000 - - 4s 0 0 0.00000 0 315 - 0.00000 - - 5s 0 0 0.00000 0 321 - 0.00000 - - 6s 0 0 0.00000 0 325 - 0.00000 - - 7s 0 0 0.00000 0 322 - 0.00000 - - 8s 0 0 0.00000 0 398 - 0.00000 - - 9s 0 0 0.00000 0 398 - 0.00000 - - 9s 0 2 0.00000 0 398 - 0.00000 - - 10s 258 81 0.00000 16 288 - 0.00000 - 180 15s 603 172 0.00000 28 416 - 0.00000 - 151 20s 605 174 0.00000 28 344 - 0.00000 - 150 25s 608 176 0.00000 12 306 - 0.00000 - 150 31s 610 177 0.00000 35 269 - 0.00000 - 149 35s 613 179 0.00000 28 311 - 0.00000 - 148 40s 703 203 infeasible 30 - 0.00000 - 242 45s 861 186 infeasible 25 - 0.00000 - 255 50s 1008 168 0.00000 31 328 - 0.00000 - 264 55s 1136 132 infeasible 29 - 0.00000 - 278 60s 1290 129 0.00000 27 318 - 0.00000 - 284 65s 1420 137 infeasible 27 - 0.00000 - 291 70s 1542 143 infeasible 29 - 0.00000 - 300 75s 1662 149 infeasible 30 - 0.00000 - 307 80s 1788 147 0.00000 26 332 - 0.00000 - 313 85s 1949 178 infeasible 32 - 0.00000 - 311 90s 2107 220 infeasible 37 - 0.00000 - 311 95s 2255 232 infeasible 33 - 0.00000 - 314 100s 2386 233 infeasible 32 - 0.00000 - 317 105s 2516 235 0.00000 32 325 - 0.00000 - 320 110s 2645 246 infeasible 34 - 0.00000 - 322 115s 2794 251 0.00000 26 327 - 0.00000 - 323 120s 2955 256 infeasible 33 - 0.00000 - 323 125s 3084 247 infeasible 35 - 0.00000 - 325 130s 3214 239 infeasible 34 - 0.00000 - 327 135s 3332 237 0.00000 28 324 - 0.00000 - 330 140s 3479 264 infeasible 28 - 0.00000 - 330 145s 3596 251 infeasible 31 - 0.00000 - 333 150s 3729 262 0.00000 29 308 - 0.00000 - 334 155s 3862 261 infeasible 31 - 0.00000 - 335 160s 4002 257 infeasible 26 - 0.00000 - 335 165s 4143 252 0.00000 26 328 - 0.00000 - 336 170s 4287 252 infeasible 30 - 0.00000 - 336 175s 4421 252 infeasible 33 - 0.00000 - 337 180s 4568 261 infeasible 30 - 0.00000 - 337 185s 4715 254 infeasible 28 - 0.00000 - 337 190s 4850 261 0.00000 24 240 - 0.00000 - 338 195s 4997 266 infeasible 32 - 0.00000 - 337 200s 5148 279 0.00000 30 320 - 0.00000 - 337 205s 5290 271 infeasible 29 - 0.00000 - 338 210s 5434 279 0.00000 29 289 - 0.00000 - 337 215s 5568 265 infeasible 26 - 0.00000 - 338 220s 5702 263 infeasible 30 - 0.00000 - 339 225s 5831 260 infeasible 29 - 0.00000 - 340 230s 5966 267 infeasible 24 - 0.00000 - 340 235s 6091 274 0.00000 26 308 - 0.00000 - 341 240s 6227 290 0.00000 26 332 - 0.00000 - 342 245s 6341 278 infeasible 27 - 0.00000 - 343 250s 6477 282 infeasible 26 - 0.00000 - 344 255s 6599 284 0.00000 23 321 - 0.00000 - 345 260s 6750 285 infeasible 23 - 0.00000 - 344 265s 6883 282 infeasible 25 - 0.00000 - 345 270s 7014 291 0.00000 34 240 - 0.00000 - 345 275s 7141 290 infeasible 30 - 0.00000 - 346 280s 7274 287 infeasible 28 - 0.00000 - 346 285s Cutting planes: Clique: 5 Zero half: 9 Explored 7275 nodes (2568904 simplex iterations) in 285.06 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