current bounds on the number of colors: 0 -- 183 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:12:54 2012 Optimize a model with 76714 rows, 17494 columns and 246246 nonzeros Presolve time: 0.24s Presolved: 76714 rows, 17494 columns, 246246 nonzeros Variable types: 0 continuous, 17494 integer (17494 binary) Root relaxation: objective 0.000000e+00, 690 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 (1067 simplex iterations) in 0.42 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 -- 91 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:12:55 2012 Optimize a model with 38028 rows, 9076 columns and 121770 nonzeros Presolve time: 0.15s Presolved: 38028 rows, 9076 columns, 121770 nonzeros Variable types: 0 continuous, 9076 integer (9076 binary) Root relaxation: objective 0.000000e+00, 491 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 (859 simplex iterations) in 0.23 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:12:56 2012 Optimize a model with 18685 rows, 4867 columns and 59532 nonzeros Presolve time: 0.07s Presolved: 18685 rows, 4867 columns, 59532 nonzeros Variable types: 0 continuous, 4867 integer (4867 binary) Root relaxation: objective 0.000000e+00, 412 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 (950 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:12:56 2012 Optimize a model with 9434 rows, 2854 columns and 29766 nonzeros Presolve time: 0.03s Presolved: 9434 rows, 2854 columns, 29766 nonzeros Variable types: 0 continuous, 2854 integer (2854 binary) Root relaxation: objective 0.000000e+00, 388 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 (711 simplex iterations) in 0.05 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 02:12:57 2012 Optimize a model with 4388 rows, 1756 columns and 13530 nonzeros Presolve time: 0.01s Presolved: 4388 rows, 1756 columns, 13530 nonzeros Variable types: 0 continuous, 1756 integer (1756 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.00000 0 275 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3443 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:12:57 2012 Optimize a model with 1865 rows, 1207 columns and 5412 nonzeros Presolve removed 183 rows and 183 columns Presolve time: 0.00s Presolved: 1682 rows, 1024 columns, 5046 nonzeros Variable types: 0 continuous, 1024 integer (1024 binary) Root relaxation: objective 0.000000e+00, 193 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 183 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (797 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 02:12:57 2012 Optimize a model with 2706 rows, 1390 columns and 8118 nonzeros Presolve time: 0.01s Presolved: 2706 rows, 1390 columns, 8118 nonzeros Variable types: 0 continuous, 1390 integer (1390 binary) Root relaxation: objective 0.000000e+00, 427 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 366 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 0.00000 0 499 - 0.00000 - - 0s 0 0 0.00000 0 516 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Clique: 1 Zero half: 632 Explored 0 nodes (7494 simplex iterations) in 1.15 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 02:12:58 2012 Optimize a model with 3547 rows, 1573 columns and 10824 nonzeros Presolve time: 0.01s Presolved: 3547 rows, 1573 columns, 10824 nonzeros Variable types: 0 continuous, 1573 integer (1573 binary) Root relaxation: objective 0.000000e+00, 396 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 348 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 457 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 1s 0 0 0.00000 0 264 - 0.00000 - - 1s 0 0 0.00000 0 246 - 0.00000 - - 2s 0 0 0.00000 0 261 - 0.00000 - - 2s 0 0 0.00000 0 372 - 0.00000 - - 3s 0 0 0.00000 0 327 - 0.00000 - - 3s 0 0 0.00000 0 333 - 0.00000 - - 4s 0 0 0.00000 0 333 - 0.00000 - - 4s 0 2 0.00000 0 333 - 0.00000 - - 5s 705 40 0.00000 13 301 - 0.00000 - 96.5 11s 709 42 0.00000 12 303 - 0.00000 - 95.9 15s 713 45 0.00000 15 409 - 0.00000 - 95.4 20s 945 53 infeasible 27 - 0.00000 - 175 25s 1245 51 infeasible 27 - 0.00000 - 189 30s 1592 100 0.00000 28 389 - 0.00000 - 193 35s 1953 113 0.00000 32 322 - 0.00000 - 196 40s 2297 117 infeasible 30 - 0.00000 - 200 45s 2654 96 0.00000 29 322 - 0.00000 - 203 50s 3005 129 0.00000 26 312 - 0.00000 - 205 55s 3332 118 infeasible 33 - 0.00000 - 207 60s 3638 108 infeasible 28 - 0.00000 - 210 65s 3945 105 0.00000 25 302 - 0.00000 - 212 70s 4275 99 infeasible 28 - 0.00000 - 212 75s 4616 106 infeasible 31 - 0.00000 - 213 80s 4939 113 0.00000 30 362 - 0.00000 - 213 85s 5242 128 0.00000 31 308 - 0.00000 - 214 90s 5566 124 0.00000 28 286 - 0.00000 - 214 95s 5891 125 infeasible 31 - 0.00000 - 214 100s 6198 140 infeasible 28 - 0.00000 - 215 105s 6519 145 infeasible 35 - 0.00000 - 215 110s 6814 148 0.00000 25 355 - 0.00000 - 215 115s 7107 131 infeasible 27 - 0.00000 - 216 120s 7418 130 infeasible 29 - 0.00000 - 216 125s 7738 120 infeasible 27 - 0.00000 - 216 130s 8108 132 infeasible 28 - 0.00000 - 215 135s 8478 122 infeasible 27 - 0.00000 - 215 140s 8797 109 0.00000 26 338 - 0.00000 - 215 145s 9134 110 0.00000 31 326 - 0.00000 - 215 150s 9450 122 0.00000 28 300 - 0.00000 - 215 155s 9796 118 infeasible 29 - 0.00000 - 215 160s 10135 103 infeasible 27 - 0.00000 - 215 165s 10466 96 0.00000 27 377 - 0.00000 - 215 170s 10786 86 infeasible 32 - 0.00000 - 215 175s 11101 91 infeasible 33 - 0.00000 - 215 180s 11430 90 infeasible 36 - 0.00000 - 215 185s 11749 77 0.00000 27 352 - 0.00000 - 215 190s 12043 83 infeasible 29 - 0.00000 - 216 195s 12360 74 0.00000 29 386 - 0.00000 - 216 200s 12667 65 infeasible 32 - 0.00000 - 216 205s 12963 61 infeasible 33 - 0.00000 - 216 210s 13257 47 0.00000 25 312 - 0.00000 - 216 215s 13549 37 infeasible 24 - 0.00000 - 217 220s 13820 20 infeasible 25 - 0.00000 - 217 225s 14056 2 0.00000 28 427 - 0.00000 - 218 230s Cutting planes: Gomory: 1 Clique: 1 Zero half: 25 Explored 14115 nodes (3117915 simplex iterations) in 231.00 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