current bounds on the number of colors: 0 -- 137 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:50:36 2012 Optimize a model with 63105 rows, 10242 columns and 198220 nonzeros Presolve time: 0.19s Presolved: 63105 rows, 10242 columns, 198220 nonzeros Variable types: 0 continuous, 10242 integer (10242 binary) Root relaxation: objective 0.000000e+00, 368 iterations, 0.07 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 (785 simplex iterations) in 0.39 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 -- 68 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:50:38 2012 Optimize a model with 31621 rows, 5584 columns and 99110 nonzeros Presolve time: 0.15s Presolved: 31621 rows, 5584 columns, 99110 nonzeros Variable types: 0 continuous, 5584 integer (5584 binary) Root relaxation: objective 0.000000e+00, 326 iterations, 0.03 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.22 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 07:50:38 2012 Optimize a model with 15879 rows, 3255 columns and 49555 nonzeros Presolve time: 0.05s Presolved: 15879 rows, 3255 columns, 49555 nonzeros Variable types: 0 continuous, 3255 integer (3255 binary) Root relaxation: objective 0.000000e+00, 277 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 (788 simplex iterations) in 0.10 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 07:50:38 2012 Optimize a model with 7545 rows, 2022 columns and 23320 nonzeros Presolve time: 0.02s Presolved: 7545 rows, 2022 columns, 23320 nonzeros Variable types: 0 continuous, 2022 integer (2022 binary) Root relaxation: objective 0.000000e+00, 292 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 (685 simplex iterations) in 0.04 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 07:50:39 2012 Optimize a model with 3841 rows, 1474 columns and 11660 nonzeros Presolve time: 0.01s Presolved: 3841 rows, 1474 columns, 11660 nonzeros Variable types: 0 continuous, 1474 integer (1474 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.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 431 - 0.00000 - - 1s 0 0 0.00000 0 429 - 0.00000 - - 2s 0 0 0.00000 0 425 - 0.00000 - - 2s 0 0 0.00000 0 426 - 0.00000 - - 2s 0 0 0.00000 0 420 - 0.00000 - - 3s 0 0 0.00000 0 412 - 0.00000 - - 5s 0 0 0.00000 0 410 - 0.00000 - - 6s 0 0 0.00000 0 408 - 0.00000 - - 8s 0 0 0.00000 0 406 - 0.00000 - - 9s 0 0 0.00000 0 405 - 0.00000 - - 10s 0 0 0.00000 0 418 - 0.00000 - - 10s 0 0 0.00000 0 410 - 0.00000 - - 12s 0 0 0.00000 0 410 - 0.00000 - - 13s 0 0 0.00000 0 404 - 0.00000 - - 15s 0 0 0.00000 0 403 - 0.00000 - - 16s 0 0 0.00000 0 403 - 0.00000 - - 17s 0 0 0.00000 0 403 - 0.00000 - - 18s 0 2 0.00000 0 403 - 0.00000 - - 19s Cutting planes: Clique: 13 Zero half: 21 Explored 7 nodes (59152 simplex iterations) in 19.94 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 07:50:59 2012 Optimize a model with 5693 rows, 1748 columns and 17490 nonzeros Presolve time: 0.02s Presolved: 5693 rows, 1748 columns, 17490 nonzeros Variable types: 0 continuous, 1748 integer (1748 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 146 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 4 Clique: 30 Zero half: 24 Explored 0 nodes (5803 simplex iterations) in 0.50 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 07:50:59 2012 Optimize a model with 4767 rows, 1611 columns and 14575 nonzeros Presolve time: 0.01s Presolved: 4767 rows, 1611 columns, 14575 nonzeros Variable types: 0 continuous, 1611 integer (1611 binary) Root relaxation: objective 0.000000e+00, 287 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 262 - 0.00000 - - 0s 0 0 0.00000 0 209 - 0.00000 - - 0s 0 0 0.00000 0 240 - 0.00000 - - 1s 0 0 0.00000 0 389 - 0.00000 - - 1s 0 0 0.00000 0 258 - 0.00000 - - 2s 0 0 0.00000 0 310 - 0.00000 - - 3s 0 0 0.00000 0 228 - 0.00000 - - 4s 0 0 0.00000 0 262 - 0.00000 - - 4s 0 0 0.00000 0 277 - 0.00000 - - 5s 0 0 0.00000 0 259 - 0.00000 - - 6s 0 0 0.00000 0 304 - 0.00000 - - 7s 0 0 0.00000 0 303 - 0.00000 - - 7s 0 2 0.00000 0 303 - 0.00000 - - 8s 215 56 0.00000 19 242 - 0.00000 - 118 10s 803 35 0.00000 9 240 - 0.00000 - 113 16s 806 37 0.00000 13 324 - 0.00000 - 113 21s 808 39 0.00000 9 318 - 0.00000 - 112 25s 885 58 0.00000 20 320 - 0.00000 - 165 30s 1078 45 0.00000 18 328 - 0.00000 - 186 35s 1255 64 infeasible 24 - 0.00000 - 202 40s 1412 83 0.00000 25 322 - 0.00000 - 215 45s 1575 68 infeasible 21 - 0.00000 - 226 50s 1730 61 infeasible 27 - 0.00000 - 236 55s 1880 65 0.00000 25 234 - 0.00000 - 245 60s 2028 55 infeasible 21 - 0.00000 - 254 65s 2181 70 0.00000 22 322 - 0.00000 - 258 70s 2318 77 infeasible 24 - 0.00000 - 266 75s 2503 84 0.00000 23 319 - 0.00000 - 268 80s 2646 73 infeasible 20 - 0.00000 - 273 85s 2848 81 0.00000 23 314 - 0.00000 - 274 90s 3012 81 0.00000 20 323 - 0.00000 - 275 95s 3185 78 infeasible 21 - 0.00000 - 277 100s 3349 80 infeasible 24 - 0.00000 - 279 105s 3499 76 infeasible 25 - 0.00000 - 283 110s 3664 79 0.00000 26 298 - 0.00000 - 284 115s 3828 71 infeasible 22 - 0.00000 - 286 120s 3986 63 infeasible 24 - 0.00000 - 288 125s 4135 57 infeasible 28 - 0.00000 - 290 130s 4304 54 infeasible 20 - 0.00000 - 290 135s 4520 62 0.00000 24 301 - 0.00000 - 289 140s 4698 58 0.00000 18 336 - 0.00000 - 290 145s 4846 64 infeasible 26 - 0.00000 - 292 150s 5041 65 0.00000 23 287 - 0.00000 - 292 155s 5211 57 0.00000 21 341 - 0.00000 - 292 160s 5367 51 infeasible 22 - 0.00000 - 293 165s 5491 53 infeasible 20 - 0.00000 - 296 170s 5633 47 0.00000 21 320 - 0.00000 - 298 175s 5772 38 0.00000 15 339 - 0.00000 - 299 180s 5921 49 infeasible 23 - 0.00000 - 300 185s 6087 51 infeasible 23 - 0.00000 - 301 190s 6290 40 0.00000 20 339 - 0.00000 - 301 195s 6459 43 0.00000 24 317 - 0.00000 - 301 200s 6610 30 infeasible 27 - 0.00000 - 302 205s 6761 25 infeasible 26 - 0.00000 - 303 210s 6919 21 infeasible 25 - 0.00000 - 303 215s 7061 25 infeasible 22 - 0.00000 - 304 220s 7231 19 infeasible 27 - 0.00000 - 305 225s 7377 11 0.00000 25 315 - 0.00000 - 305 230s 7527 11 0.00000 31 270 - 0.00000 - 306 235s Cutting planes: Gomory: 1 Clique: 5 Zero half: 12 Explored 7553 nodes (2364219 simplex iterations) in 235.77 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 6