current bounds on the number of colors: 0 -- 143 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:10:04 2012 Optimize a model with 70433 rows, 11143 columns and 221023 nonzeros Presolve time: 0.19s Presolved: 70433 rows, 11143 columns, 221023 nonzeros Variable types: 0 continuous, 11143 integer (11143 binary) Root relaxation: objective 0.000000e+00, 354 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 (683 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 13:10:05 2012 Optimize a model with 34793 rows, 5995 columns and 108955 nonzeros Presolve time: 0.15s Presolved: 34793 rows, 5995 columns, 108955 nonzeros Variable types: 0 continuous, 5995 integer (5995 binary) Root relaxation: objective 0.000000e+00, 353 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 (687 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:10:06 2012 Optimize a model with 16973 rows, 3421 columns and 52921 nonzeros Presolve time: 0.06s Presolved: 16973 rows, 3421 columns, 52921 nonzeros Variable types: 0 continuous, 3421 integer (3421 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 (578 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 13:10:06 2012 Optimize a model with 8063 rows, 2134 columns and 24904 nonzeros Presolve time: 0.02s Presolved: 8063 rows, 2134 columns, 24904 nonzeros Variable types: 0 continuous, 2134 integer (2134 binary) Root relaxation: objective 0.000000e+00, 300 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 (1190 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 13:10:07 2012 Optimize a model with 4103 rows, 1562 columns and 12452 nonzeros Presolve time: 0.01s Presolved: 4103 rows, 1562 columns, 12452 nonzeros Variable types: 0 continuous, 1562 integer (1562 binary) Root relaxation: objective 0.000000e+00, 303 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 286 - 0.00000 - - 0s 0 0 0.00000 0 444 - 0.00000 - - 1s 0 0 0.00000 0 455 - 0.00000 - - 2s 0 0 0.00000 0 435 - 0.00000 - - 3s 0 0 0.00000 0 427 - 0.00000 - - 4s 0 0 0.00000 0 423 - 0.00000 - - 6s 0 0 0.00000 0 428 - 0.00000 - - 7s 0 0 0.00000 0 423 - 0.00000 - - 8s 0 0 0.00000 0 426 - 0.00000 - - 9s 0 0 0.00000 0 426 - 0.00000 - - 10s 0 0 0.00000 0 426 - 0.00000 - - 11s 0 2 0.00000 0 426 - 0.00000 - - 12s Cutting planes: Clique: 17 Zero half: 14 Explored 7 nodes (47636 simplex iterations) in 12.77 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 13:10:19 2012 Optimize a model with 6083 rows, 1848 columns and 18678 nonzeros Presolve time: 0.02s Presolved: 6083 rows, 1848 columns, 18678 nonzeros Variable types: 0 continuous, 1848 integer (1848 binary) Root relaxation: objective 0.000000e+00, 304 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 268 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 1 Clique: 301 MIR: 11 Zero half: 382 Explored 0 nodes (2759 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 13:10:20 2012 Optimize a model with 5093 rows, 1705 columns and 15565 nonzeros Presolve time: 0.01s Presolved: 5093 rows, 1705 columns, 15565 nonzeros Variable types: 0 continuous, 1705 integer (1705 binary) Root relaxation: objective 0.000000e+00, 300 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 274 - 0.00000 - - 0s 0 0 0.00000 0 200 - 0.00000 - - 0s 0 0 0.00000 0 255 - 0.00000 - - 1s 0 0 0.00000 0 395 - 0.00000 - - 1s 0 0 0.00000 0 260 - 0.00000 - - 2s 0 0 0.00000 0 380 - 0.00000 - - 3s 0 0 0.00000 0 392 - 0.00000 - - 4s 0 0 0.00000 0 408 - 0.00000 - - 5s 0 0 0.00000 0 408 - 0.00000 - - 6s 0 2 0.00000 0 408 - 0.00000 - - 7s 202 52 0.00000 21 230 - 0.00000 - 149 10s 673 59 0.00000 26 264 - 0.00000 - 129 15s 805 79 0.00000 15 335 - 0.00000 - 127 21s 807 80 0.00000 4 325 - 0.00000 - 127 25s 810 82 0.00000 15 302 - 0.00000 - 127 30s 813 84 0.00000 19 283 - 0.00000 - 126 36s 818 87 infeasible 11 - 0.00000 - 197 40s 981 94 infeasible 28 - 0.00000 - 206 45s 1123 88 infeasible 28 - 0.00000 - 223 50s 1298 105 infeasible 28 - 0.00000 - 232 55s 1495 162 0.00000 25 329 - 0.00000 - 238 60s 1662 177 infeasible 28 - 0.00000 - 246 65s 1858 197 0.00000 23 321 - 0.00000 - 248 70s 2056 221 infeasible 31 - 0.00000 - 250 75s 2241 236 0.00000 31 304 - 0.00000 - 253 80s 2443 266 infeasible 27 - 0.00000 - 254 85s 2630 261 infeasible 32 - 0.00000 - 257 90s 2818 291 infeasible 28 - 0.00000 - 258 95s 3016 333 0.00000 27 320 - 0.00000 - 258 100s 3194 335 infeasible 34 - 0.00000 - 261 105s 3372 339 infeasible 35 - 0.00000 - 263 110s 3559 338 infeasible 35 - 0.00000 - 264 115s 3735 352 0.00000 30 322 - 0.00000 - 266 120s 3915 362 0.00000 28 286 - 0.00000 - 267 125s 4102 377 infeasible 30 - 0.00000 - 268 130s 4300 387 0.00000 36 273 - 0.00000 - 268 135s 4478 377 infeasible 28 - 0.00000 - 270 140s 4640 369 infeasible 32 - 0.00000 - 271 145s 4827 374 0.00000 27 313 - 0.00000 - 272 150s 5018 401 0.00000 27 315 - 0.00000 - 272 155s 5197 388 infeasible 29 - 0.00000 - 273 160s 5369 400 infeasible 33 - 0.00000 - 273 165s 5537 394 0.00000 26 332 - 0.00000 - 274 170s 5708 387 infeasible 27 - 0.00000 - 275 175s 5897 394 infeasible 33 - 0.00000 - 275 180s 6063 410 infeasible 36 - 0.00000 - 276 185s 6238 413 infeasible 37 - 0.00000 - 277 190s 6394 421 0.00000 30 326 - 0.00000 - 279 195s 6542 429 infeasible 30 - 0.00000 - 280 200s 6705 416 infeasible 28 - 0.00000 - 281 205s 6856 413 infeasible 36 - 0.00000 - 283 210s 7024 415 infeasible 29 - 0.00000 - 283 215s 7191 410 0.00000 24 350 - 0.00000 - 284 220s 7356 403 infeasible 27 - 0.00000 - 285 225s 7526 395 infeasible 30 - 0.00000 - 286 230s 7692 413 0.00000 23 321 - 0.00000 - 286 235s 7868 415 infeasible 28 - 0.00000 - 286 240s 8038 423 infeasible 26 - 0.00000 - 287 245s 8185 408 0.00000 25 307 - 0.00000 - 288 250s 8330 399 infeasible 27 - 0.00000 - 289 255s 8522 395 infeasible 26 - 0.00000 - 289 260s 8684 409 0.00000 34 327 - 0.00000 - 289 265s 8844 435 0.00000 37 325 - 0.00000 - 290 270s 9017 446 0.00000 41 322 - 0.00000 - 290 275s 9179 440 0.00000 25 329 - 0.00000 - 291 280s Cutting planes: Clique: 4 Zero half: 12 Explored 9284 nodes (2737855 simplex iterations) in 282.96 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