current bounds on the number of colors: 0 -- 144 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:44:27 2012 Optimize a model with 73656 rows, 11389 columns and 230904 nonzeros Presolve time: 0.21s Presolved: 73656 rows, 11389 columns, 230904 nonzeros Variable types: 0 continuous, 11389 integer (11389 binary) Root relaxation: objective 0.000000e+00, 360 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 (750 simplex iterations) in 0.40 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 -- 72 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:44:28 2012 Optimize a model with 36900 rows, 6205 columns and 115452 nonzeros Presolve time: 0.16s Presolved: 36900 rows, 6205 columns, 115452 nonzeros Variable types: 0 continuous, 6205 integer (6205 binary) Root relaxation: objective 0.000000e+00, 465 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 (884 simplex iterations) in 0.26 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 13:44:29 2012 Optimize a model with 18522 rows, 3613 columns and 57726 nonzeros Presolve time: 0.06s Presolved: 18522 rows, 3613 columns, 57726 nonzeros Variable types: 0 continuous, 3613 integer (3613 binary) Root relaxation: objective 0.000000e+00, 430 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 (832 simplex iterations) in 0.12 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 13:44:29 2012 Optimize a model with 9333 rows, 2317 columns and 28863 nonzeros Presolve time: 0.03s Presolved: 9333 rows, 2317 columns, 28863 nonzeros Variable types: 0 continuous, 2317 integer (2317 binary) Root relaxation: objective 0.000000e+00, 305 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 (1050 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:44:29 2012 Optimize a model with 4228 rows, 1597 columns and 12828 nonzeros Presolve time: 0.01s Presolved: 4228 rows, 1597 columns, 12828 nonzeros Variable types: 0 continuous, 1597 integer (1597 binary) Root relaxation: objective 0.000000e+00, 308 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 184 - 0.00000 - - 0s 0 0 0.00000 0 180 - 0.00000 - - 0s 0 0 0.00000 0 450 - 0.00000 - - 1s 0 0 0.00000 0 451 - 0.00000 - - 2s 0 0 0.00000 0 443 - 0.00000 - - 4s 0 0 0.00000 0 437 - 0.00000 - - 5s 0 0 0.00000 0 430 - 0.00000 - - 7s 0 0 0.00000 0 429 - 0.00000 - - 8s 0 0 0.00000 0 437 - 0.00000 - - 8s 0 0 0.00000 0 436 - 0.00000 - - 10s 0 0 0.00000 0 445 - 0.00000 - - 10s 0 0 0.00000 0 439 - 0.00000 - - 12s 0 0 0.00000 0 433 - 0.00000 - - 13s 0 0 0.00000 0 431 - 0.00000 - - 14s 0 0 0.00000 0 431 - 0.00000 - - 15s 0 0 0.00000 0 431 - 0.00000 - - 16s 0 2 0.00000 0 431 - 0.00000 - - 17s Cutting planes: Clique: 11 Zero half: 20 Explored 23 nodes (69091 simplex iterations) in 18.47 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 13:44:48 2012 Optimize a model with 6270 rows, 1885 columns and 19242 nonzeros Presolve time: 0.02s Presolved: 6270 rows, 1885 columns, 19242 nonzeros Variable types: 0 continuous, 1885 integer (1885 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 144 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 1 Clique: 42 Zero half: 84 Explored 0 nodes (6156 simplex iterations) in 0.60 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:44:49 2012 Optimize a model with 5249 rows, 1741 columns and 16035 nonzeros Presolve time: 0.01s Presolved: 5249 rows, 1741 columns, 16035 nonzeros Variable types: 0 continuous, 1741 integer (1741 binary) Root relaxation: objective 0.000000e+00, 302 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 276 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 1s 0 0 0.00000 0 365 - 0.00000 - - 1s 0 0 0.00000 0 385 - 0.00000 - - 2s 0 0 0.00000 0 387 - 0.00000 - - 3s 0 0 0.00000 0 365 - 0.00000 - - 4s 0 0 0.00000 0 365 - 0.00000 - - 5s 0 0 0.00000 0 365 - 0.00000 - - 5s 0 2 0.00000 0 365 - 0.00000 - - 7s 203 37 0.00000 21 316 - 0.00000 - 166 10s 607 23 0.00000 13 324 - 0.00000 - 148 15s 705 55 0.00000 17 378 - 0.00000 - 147 21s 708 57 0.00000 14 395 - 0.00000 - 147 25s 786 63 infeasible 31 - 0.00000 - 196 30s 939 18 0.00000 25 338 - 0.00000 - 216 35s 1089 34 infeasible 35 - 0.00000 - 231 40s 1238 37 infeasible 33 - 0.00000 - 242 45s 1374 51 infeasible 33 - 0.00000 - 253 50s 1492 43 infeasible 32 - 0.00000 - 264 55s 1615 44 0.00000 33 335 - 0.00000 - 274 60s 1763 42 infeasible 31 - 0.00000 - 279 65s 1904 57 infeasible 34 - 0.00000 - 283 70s 2040 47 infeasible 30 - 0.00000 - 287 75s 2172 59 0.00000 35 254 - 0.00000 - 291 80s 2315 80 0.00000 32 345 - 0.00000 - 293 85s 2435 76 infeasible 31 - 0.00000 - 297 90s 2549 74 infeasible 31 - 0.00000 - 302 95s 2691 74 0.00000 29 344 - 0.00000 - 304 100s 2826 71 0.00000 30 347 - 0.00000 - 306 105s 2964 89 0.00000 29 357 - 0.00000 - 307 110s 3103 92 infeasible 29 - 0.00000 - 308 115s 3240 85 infeasible 28 - 0.00000 - 309 120s 3380 83 infeasible 31 - 0.00000 - 310 125s 3490 85 infeasible 32 - 0.00000 - 313 130s 3651 98 0.00000 32 340 - 0.00000 - 313 135s 3795 104 infeasible 33 - 0.00000 - 313 140s 3934 97 0.00000 32 339 - 0.00000 - 315 145s 4062 97 0.00000 33 315 - 0.00000 - 317 150s 4208 83 infeasible 34 - 0.00000 - 317 155s 4332 89 0.00000 28 246 - 0.00000 - 318 160s 4451 90 0.00000 29 254 - 0.00000 - 320 165s 4581 80 infeasible 31 - 0.00000 - 322 170s 4697 78 0.00000 33 332 - 0.00000 - 324 175s 4818 77 0.00000 25 316 - 0.00000 - 325 180s 4953 70 infeasible 34 - 0.00000 - 326 185s 5084 71 infeasible 35 - 0.00000 - 327 190s 5208 85 infeasible 29 - 0.00000 - 328 195s 5339 82 infeasible 28 - 0.00000 - 329 200s 5463 74 0.00000 23 365 - 0.00000 - 330 205s 5564 73 infeasible 28 - 0.00000 - 332 210s 5703 86 infeasible 33 - 0.00000 - 332 215s 5823 84 infeasible 31 - 0.00000 - 333 220s 5947 98 infeasible 27 - 0.00000 - 334 225s 6064 89 infeasible 29 - 0.00000 - 335 230s 6185 84 infeasible 26 - 0.00000 - 336 235s 6310 83 infeasible 30 - 0.00000 - 337 240s 6446 85 0.00000 23 335 - 0.00000 - 337 245s 6580 97 0.00000 30 352 - 0.00000 - 337 250s 6707 96 infeasible 28 - 0.00000 - 338 255s 6822 97 infeasible 30 - 0.00000 - 339 260s 6958 101 infeasible 27 - 0.00000 - 339 265s 7105 98 0.00000 27 343 - 0.00000 - 339 270s 7243 96 0.00000 26 341 - 0.00000 - 339 275s Cutting planes: Gomory: 3 Clique: 7 Zero half: 12 Explored 7287 nodes (2502151 simplex iterations) in 276.65 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