current bounds on the number of colors: 0 -- 195 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:58:50 2012 Optimize a model with 92733 rows, 19869 columns and 296529 nonzeros Presolve time: 0.30s Presolved: 92733 rows, 19869 columns, 296529 nonzeros Variable types: 0 continuous, 19869 integer (19869 binary) Root relaxation: objective 0.000000e+00, 830 iterations, 0.11 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 (1307 simplex iterations) in 0.56 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 -- 97 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:58:51 2012 Optimize a model with 45987 rows, 10314 columns and 146736 nonzeros Presolve time: 0.16s Presolved: 45987 rows, 10314 columns, 146736 nonzeros Variable types: 0 continuous, 10314 integer (10314 binary) Root relaxation: objective 0.000000e+00, 522 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 (918 simplex iterations) in 0.25 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:58:52 2012 Optimize a model with 23091 rows, 5634 columns and 73368 nonzeros Presolve time: 0.09s Presolved: 23091 rows, 5634 columns, 73368 nonzeros Variable types: 0 continuous, 5634 integer (5634 binary) Root relaxation: objective 0.000000e+00, 475 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 (859 simplex iterations) in 0.14 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:58:52 2012 Optimize a model with 11643 rows, 3294 columns and 36684 nonzeros Presolve time: 0.04s Presolved: 11643 rows, 3294 columns, 36684 nonzeros Variable types: 0 continuous, 3294 integer (3294 binary) Root relaxation: objective 0.000000e+00, 397 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 (920 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:58:53 2012 Optimize a model with 5919 rows, 2124 columns and 18342 nonzeros Presolve time: 0.02s Presolved: 5919 rows, 2124 columns, 18342 nonzeros Variable types: 0 continuous, 2124 integer (2124 binary) Root relaxation: objective 0.000000e+00, 434 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 (2087 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:58:53 2012 Optimize a model with 3057 rows, 1539 columns and 9171 nonzeros Presolve time: 0.01s Presolved: 3057 rows, 1539 columns, 9171 nonzeros Variable types: 0 continuous, 1539 integer (1539 binary) Root relaxation: objective 0.000000e+00, 473 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 324 - 0.00000 - - 0s 0 0 0.00000 0 394 - 0.00000 - - 0s 0 0 0.00000 0 522 - 0.00000 - - 1s 0 0 0.00000 0 542 - 0.00000 - - 1s 0 0 0.00000 0 528 - 0.00000 - - 2s 0 0 0.00000 0 528 - 0.00000 - - 3s 0 0 0.00000 0 538 - 0.00000 - - 4s 0 0 0.00000 0 534 - 0.00000 - - 5s 0 0 0.00000 0 530 - 0.00000 - - 6s 0 0 0.00000 0 526 - 0.00000 - - 7s 0 0 infeasible 0 - 0.10000 - - 8s Cutting planes: Zero half: 1233 Explored 0 nodes (37164 simplex iterations) in 8.12 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 3 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:59:01 2012 Optimize a model with 4011 rows, 1734 columns and 12228 nonzeros Presolve time: 0.01s Presolved: 4011 rows, 1734 columns, 12228 nonzeros Variable types: 0 continuous, 1734 integer (1734 binary) Root relaxation: objective 0.000000e+00, 423 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 364 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 0s 0 0 0.00000 0 430 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 1s 0 0 0.00000 0 356 - 0.00000 - - 2s 0 0 0.00000 0 350 - 0.00000 - - 2s 0 0 0.00000 0 348 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 3s 0 0 0.00000 0 350 - 0.00000 - - 4s 0 0 0.00000 0 330 - 0.00000 - - 4s 0 0 0.00000 0 331 - 0.00000 - - 5s 0 0 0.00000 0 316 - 0.00000 - - 5s 0 0 0.00000 0 310 - 0.00000 - - 6s 0 0 0.00000 0 328 - 0.00000 - - 6s 0 0 0.00000 0 304 - 0.00000 - - 7s 0 0 0.00000 0 306 - 0.00000 - - 7s 0 0 0.00000 0 306 - 0.00000 - - 8s 0 2 0.00000 0 306 - 0.00000 - - 8s 70 26 0.00000 16 354 - 0.00000 - 220 10s 559 48 infeasible 15 - 0.00000 - 139 15s 1005 56 0.00000 16 372 - 0.00000 - 133 20s 1008 58 0.00000 15 350 - 0.00000 - 132 25s 1011 60 0.00000 16 319 - 0.00000 - 132 30s 1014 62 0.00000 3 317 - 0.00000 - 132 36s 1016 64 0.00000 13 425 - 0.00000 - 131 40s 1070 66 infeasible 28 - 0.00000 - 201 45s 1277 36 0.00000 30 364 - 0.00000 - 215 50s 1470 45 0.00000 29 344 - 0.00000 - 227 55s 1650 53 infeasible 34 - 0.00000 - 236 60s 1822 55 infeasible 32 - 0.00000 - 245 65s 2004 71 0.00000 23 389 - 0.00000 - 252 70s 2226 79 infeasible 24 - 0.00000 - 254 75s 2433 66 infeasible 31 - 0.00000 - 257 80s 2632 69 infeasible 31 - 0.00000 - 259 85s 2846 79 0.00000 25 357 - 0.00000 - 261 90s 3039 64 infeasible 34 - 0.00000 - 264 95s 3212 47 infeasible 30 - 0.00000 - 267 100s 3409 44 0.00000 18 450 - 0.00000 - 269 105s 3626 53 0.00000 27 326 - 0.00000 - 269 110s 3832 55 0.00000 23 390 - 0.00000 - 269 115s 4036 61 infeasible 27 - 0.00000 - 270 120s 4217 46 0.00000 24 332 - 0.00000 - 272 125s 4413 38 infeasible 27 - 0.00000 - 273 130s 4597 32 0.00000 26 439 - 0.00000 - 274 135s 4757 18 0.00000 29 344 - 0.00000 - 276 140s 4929 12 0.00000 21 364 - 0.00000 - 278 145s 5118 1 infeasible 24 - 0.00000 - 279 150s Cutting planes: Zero half: 16 Explored 5120 nodes (1494187 simplex iterations) in 150.05 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:01:31 2012 Optimize a model with 4965 rows, 1929 columns and 15285 nonzeros Presolve time: 0.01s Presolved: 4965 rows, 1929 columns, 15285 nonzeros Variable types: 0 continuous, 1929 integer (1929 binary) Root relaxation: objective 0.000000e+00, 426 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 362 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 153 Zero half: 389 Explored 0 nodes (5001 simplex iterations) in 0.45 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% optimal solution found: number of colors: 5