current bounds on the number of colors: 0 -- 130 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:32:26 2012 Optimize a model with 53690 rows, 9274 columns and 169130 nonzeros Presolve time: 0.17s Presolved: 53690 rows, 9274 columns, 169130 nonzeros Variable types: 0 continuous, 9274 integer (9274 binary) Root relaxation: objective 0.000000e+00, 310 iterations, 0.06 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 (598 simplex iterations) in 0.30 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 -- 65 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:32:27 2012 Optimize a model with 26498 rows, 4984 columns and 83264 nonzeros Presolve time: 0.12s Presolved: 26498 rows, 4984 columns, 83264 nonzeros Variable types: 0 continuous, 4984 integer (4984 binary) Root relaxation: objective 0.000000e+00, 308 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 (584 simplex iterations) in 0.18 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:32:28 2012 Optimize a model with 13314 rows, 2904 columns and 41632 nonzeros Presolve time: 0.04s Presolved: 13314 rows, 2904 columns, 41632 nonzeros Variable types: 0 continuous, 2904 integer (2904 binary) Root relaxation: objective 0.000000e+00, 263 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 (546 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:32:28 2012 Optimize a model with 6722 rows, 1864 columns and 20816 nonzeros Presolve time: 0.02s Presolved: 6722 rows, 1864 columns, 20816 nonzeros Variable types: 0 continuous, 1864 integer (1864 binary) Root relaxation: objective 0.000000e+00, 269 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 (841 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:32:28 2012 Optimize a model with 3426 rows, 1344 columns and 10408 nonzeros Presolve time: 0.01s Presolved: 3426 rows, 1344 columns, 10408 nonzeros Variable types: 0 continuous, 1344 integer (1344 binary) Root relaxation: objective 0.000000e+00, 281 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 260 - 0.00000 - - 0s 0 0 0.00000 0 229 - 0.00000 - - 0s 0 0 0.00000 0 359 - 0.00000 - - 1s 0 0 0.00000 0 400 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 2s 0 0 0.00000 0 391 - 0.00000 - - 3s 0 0 0.00000 0 380 - 0.00000 - - 4s 0 0 0.00000 0 368 - 0.00000 - - 5s 0 0 0.00000 0 371 - 0.00000 - - 6s 0 0 0.00000 0 363 - 0.00000 - - 6s 0 0 0.00000 0 364 - 0.00000 - - 7s 0 0 0.00000 0 364 - 0.00000 - - 8s 0 2 0.00000 0 364 - 0.00000 - - 9s 31 5 0.00000 5 374 - 0.00000 - 351 10s Cutting planes: Clique: 13 Zero half: 16 Explored 79 nodes (53623 simplex iterations) in 10.86 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 02:32:39 2012 Optimize a model with 5074 rows, 1604 columns and 15612 nonzeros Presolve time: 0.01s Presolved: 5074 rows, 1604 columns, 15612 nonzeros Variable types: 0 continuous, 1604 integer (1604 binary) Root relaxation: objective 0.000000e+00, 274 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 104 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2529 simplex iterations) in 0.16 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 02:32:39 2012 Optimize a model with 4250 rows, 1474 columns and 13010 nonzeros Presolve time: 0.01s Presolved: 4250 rows, 1474 columns, 13010 nonzeros Variable types: 0 continuous, 1474 integer (1474 binary) Root relaxation: objective 0.000000e+00, 264 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 260 - 0.00000 - - 0s 0 0 0.00000 0 235 - 0.00000 - - 0s 0 0 0.00000 0 196 - 0.00000 - - 1s 0 0 0.00000 0 327 - 0.00000 - - 1s 0 0 0.00000 0 184 - 0.00000 - - 1s 0 0 0.00000 0 183 - 0.00000 - - 2s 0 0 0.00000 0 158 - 0.00000 - - 2s 0 0 0.00000 0 183 - 0.00000 - - 3s 0 0 0.00000 0 197 - 0.00000 - - 3s 0 0 0.00000 0 215 - 0.00000 - - 3s 0 0 0.00000 0 146 - 0.00000 - - 4s 0 0 0.00000 0 181 - 0.00000 - - 5s 0 0 0.00000 0 180 - 0.00000 - - 5s 0 2 0.00000 0 180 - 0.00000 - - 5s 601 69 0.00000 3 235 - 0.00000 - 86.4 10s 608 74 0.00000 25 154 - 0.00000 - 85.4 15s 612 76 0.00000 15 285 - 0.00000 - 84.9 20s 763 73 0.00000 39 256 - 0.00000 - 161 25s 1089 47 0.00000 37 282 - 0.00000 - 176 30s 1393 57 0.00000 41 268 - 0.00000 - 187 35s 1695 83 infeasible 42 - 0.00000 - 193 40s 1964 90 infeasible 42 - 0.00000 - 201 45s 2279 101 infeasible 39 - 0.00000 - 204 50s 2594 88 infeasible 42 - 0.00000 - 206 55s 2879 79 infeasible 39 - 0.00000 - 209 60s 3172 76 infeasible 38 - 0.00000 - 211 65s 3441 65 infeasible 33 - 0.00000 - 215 70s 3742 62 0.00000 36 214 - 0.00000 - 216 75s 4037 45 infeasible 38 - 0.00000 - 217 80s 4397 69 infeasible 42 - 0.00000 - 216 85s 4723 95 infeasible 42 - 0.00000 - 216 90s 5076 112 0.00000 37 212 - 0.00000 - 215 95s 5399 91 infeasible 40 - 0.00000 - 216 100s 5698 100 0.00000 35 284 - 0.00000 - 217 105s 5988 72 infeasible 35 - 0.00000 - 218 110s 6276 72 infeasible 35 - 0.00000 - 219 115s 6581 105 0.00000 38 294 - 0.00000 - 219 120s 6885 155 infeasible 39 - 0.00000 - 219 125s 7171 153 0.00000 39 266 - 0.00000 - 220 130s 7456 180 0.00000 47 251 - 0.00000 - 220 135s 7768 226 0.00000 38 255 - 0.00000 - 220 140s 8043 223 infeasible 37 - 0.00000 - 221 145s 8329 203 infeasible 39 - 0.00000 - 222 150s 8610 192 infeasible 41 - 0.00000 - 222 155s 8899 185 infeasible 36 - 0.00000 - 223 160s 9209 179 0.00000 43 258 - 0.00000 - 223 165s 9488 186 infeasible 39 - 0.00000 - 223 170s 9774 194 0.00000 41 231 - 0.00000 - 223 175s 10036 176 0.00000 40 287 - 0.00000 - 224 180s 10307 179 0.00000 40 268 - 0.00000 - 224 185s 10580 174 infeasible 42 - 0.00000 - 225 190s 10886 168 infeasible 42 - 0.00000 - 225 195s 11157 177 infeasible 40 - 0.00000 - 225 200s 11530 184 infeasible 41 - 0.00000 - 224 205s 11904 170 infeasible 45 - 0.00000 - 223 210s 12228 186 infeasible 39 - 0.00000 - 223 215s 12646 186 infeasible 41 - 0.00000 - 222 220s 13006 182 0.00000 39 277 - 0.00000 - 221 225s 13351 177 0.00000 41 272 - 0.00000 - 221 230s 13688 170 infeasible 38 - 0.00000 - 220 235s 14003 171 infeasible 45 - 0.00000 - 221 240s 14381 183 infeasible 42 - 0.00000 - 220 245s *14596 1 45 0.0000000 0.00000 0.0% 219 247s Cutting planes: Gomory: 1 Clique: 3 Zero half: 6 Explored 14597 nodes (3247077 simplex iterations) in 247.85 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