current bounds on the number of colors: 0 -- 191 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:23:47 2012 Optimize a model with 85501 rows, 19043 columns and 274075 nonzeros Presolve time: 0.27s Presolved: 85501 rows, 19043 columns, 274075 nonzeros Variable types: 0 continuous, 19043 integer (19043 binary) Root relaxation: objective 0.000000e+00, 740 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 (1433 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 -- 95 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:23:49 2012 Optimize a model with 42397 rows, 9875 columns and 135595 nonzeros Presolve time: 0.15s Presolved: 42397 rows, 9875 columns, 135595 nonzeros Variable types: 0 continuous, 9875 integer (9875 binary) Root relaxation: objective 0.000000e+00, 667 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 (1120 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:23:50 2012 Optimize a model with 20845 rows, 5291 columns and 66355 nonzeros Presolve time: 0.08s Presolved: 20845 rows, 5291 columns, 66355 nonzeros Variable types: 0 continuous, 5291 integer (5291 binary) Root relaxation: objective 0.000000e+00, 403 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 (771 simplex iterations) in 0.13 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:23:50 2012 Optimize a model with 10069 rows, 2999 columns and 31735 nonzeros Presolve time: 0.03s Presolved: 10069 rows, 2999 columns, 31735 nonzeros Variable types: 0 continuous, 2999 integer (2999 binary) Root relaxation: objective 0.000000e+00, 400 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 (791 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:23:50 2012 Optimize a model with 4681 rows, 1853 columns and 14425 nonzeros Presolve time: 0.01s Presolved: 4681 rows, 1853 columns, 14425 nonzeros Variable types: 0 continuous, 1853 integer (1853 binary) Root relaxation: objective 0.000000e+00, 409 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 182 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2813 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:23:51 2012 Optimize a model with 1987 rows, 1280 columns and 5770 nonzeros Presolve removed 191 rows and 191 columns Presolve time: 0.01s Presolved: 1796 rows, 1089 columns, 5388 nonzeros Variable types: 0 continuous, 1089 integer (1089 binary) Root relaxation: objective 0.000000e+00, 199 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 191 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (834 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:23:51 2012 Optimize a model with 2885 rows, 1471 columns and 8655 nonzeros Presolve time: 0.01s Presolved: 2885 rows, 1471 columns, 8655 nonzeros Variable types: 0 continuous, 1471 integer (1471 binary) Root relaxation: objective 0.000000e+00, 429 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 378 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 0.00000 0 500 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 30 Zero half: 987 Explored 0 nodes (9581 simplex iterations) in 1.31 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:23:52 2012 Optimize a model with 3783 rows, 1662 columns and 11540 nonzeros Presolve time: 0.01s Presolved: 3783 rows, 1662 columns, 11540 nonzeros Variable types: 0 continuous, 1662 integer (1662 binary) Root relaxation: objective 0.000000e+00, 416 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 358 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 1s 0 0 0.00000 0 336 - 0.00000 - - 1s 0 0 0.00000 0 338 - 0.00000 - - 1s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 0 0.00000 0 328 - 0.00000 - - 2s 0 0 0.00000 0 332 - 0.00000 - - 3s 0 0 0.00000 0 330 - 0.00000 - - 3s 0 0 0.00000 0 326 - 0.00000 - - 4s 0 0 0.00000 0 324 - 0.00000 - - 4s 0 0 0.00000 0 318 - 0.00000 - - 4s 0 0 0.00000 0 328 - 0.00000 - - 5s 0 0 0.00000 0 300 - 0.00000 - - 5s 0 0 0.00000 0 296 - 0.00000 - - 6s 0 0 0.00000 0 288 - 0.00000 - - 6s 0 0 0.00000 0 282 - 0.00000 - - 7s 0 0 0.00000 0 289 - 0.00000 - - 7s 0 0 0.00000 0 288 - 0.00000 - - 7s 0 2 0.00000 0 288 - 0.00000 - - 8s 217 34 infeasible 24 - 0.00000 - 132 10s 805 60 0.00000 11 515 - 0.00000 - 123 16s 808 62 0.00000 7 320 - 0.00000 - 122 20s 812 65 0.00000 14 318 - 0.00000 - 122 26s 815 67 0.00000 18 294 - 0.00000 - 121 30s 819 69 0.00000 8 292 - 0.00000 - 121 35s 843 83 0.00000 21 332 - 0.00000 - 222 40s 1149 80 0.00000 25 370 - 0.00000 - 222 45s 1482 69 infeasible 25 - 0.00000 - 222 50s 1810 81 0.00000 22 326 - 0.00000 - 222 55s 2082 57 infeasible 28 - 0.00000 - 226 60s 2381 62 0.00000 18 356 - 0.00000 - 227 65s 2705 84 infeasible 27 - 0.00000 - 227 70s 3057 96 infeasible 26 - 0.00000 - 224 75s 3380 93 infeasible 29 - 0.00000 - 225 80s 3668 77 infeasible 30 - 0.00000 - 226 85s 4001 90 0.00000 21 367 - 0.00000 - 226 90s 4325 98 infeasible 25 - 0.00000 - 225 95s 4647 96 0.00000 24 334 - 0.00000 - 225 100s 4943 90 infeasible 25 - 0.00000 - 225 105s 5223 102 infeasible 30 - 0.00000 - 226 110s 5538 81 0.00000 22 338 - 0.00000 - 226 115s 5791 70 0.00000 22 350 - 0.00000 - 227 120s 6059 64 0.00000 24 342 - 0.00000 - 228 125s 6340 49 infeasible 28 - 0.00000 - 229 130s 6642 47 0.00000 31 330 - 0.00000 - 229 135s 6973 46 0.00000 25 324 - 0.00000 - 229 140s 7258 39 infeasible 29 - 0.00000 - 229 145s 7525 34 0.00000 26 336 - 0.00000 - 230 150s 7814 37 infeasible 28 - 0.00000 - 230 155s 8086 39 infeasible 27 - 0.00000 - 231 160s 8374 33 infeasible 31 - 0.00000 - 231 165s 8673 28 0.00000 23 336 - 0.00000 - 231 170s 8941 28 0.00000 28 397 - 0.00000 - 232 175s 9229 26 0.00000 25 329 - 0.00000 - 232 180s 9509 18 infeasible 33 - 0.00000 - 232 185s 9838 33 infeasible 24 - 0.00000 - 231 190s 10145 18 0.00000 26 423 - 0.00000 - 231 195s 10416 23 infeasible 28 - 0.00000 - 231 200s 10698 33 0.00000 23 382 - 0.00000 - 231 205s 10984 17 0.00000 20 338 - 0.00000 - 231 210s 11246 9 0.00000 20 348 - 0.00000 - 232 215s 11558 9 infeasible 31 - 0.00000 - 231 220s Cutting planes: Zero half: 9 Explored 11612 nodes (2755184 simplex iterations) in 221.12 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5