current bounds on the number of colors: 0 -- 136 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:16:04 2012 Optimize a model with 60248 rows, 10132 columns and 189584 nonzeros Presolve time: 0.18s Presolved: 60248 rows, 10132 columns, 189584 nonzeros Variable types: 0 continuous, 10132 integer (10132 binary) Root relaxation: objective 0.000000e+00, 332 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 (635 simplex iterations) in 0.32 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:16:05 2012 Optimize a model with 30192 rows, 5508 columns and 94792 nonzeros Presolve time: 0.14s Presolved: 30192 rows, 5508 columns, 94792 nonzeros Variable types: 0 continuous, 5508 integer (5508 binary) Root relaxation: objective 0.000000e+00, 332 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 (650 simplex iterations) in 0.21 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:16:06 2012 Optimize a model with 15164 rows, 3196 columns and 47396 nonzeros Presolve time: 0.05s Presolved: 15164 rows, 3196 columns, 47396 nonzeros Variable types: 0 continuous, 3196 integer (3196 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (542 simplex iterations) in 0.08 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:16:06 2012 Optimize a model with 7208 rows, 1972 columns and 22304 nonzeros Presolve time: 0.02s Presolved: 7208 rows, 1972 columns, 22304 nonzeros Variable types: 0 continuous, 1972 integer (1972 binary) Root relaxation: objective 0.000000e+00, 279 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 (919 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 07:16:06 2012 Optimize a model with 3672 rows, 1428 columns and 11152 nonzeros Presolve time: 0.01s Presolved: 3672 rows, 1428 columns, 11152 nonzeros Variable types: 0 continuous, 1428 integer (1428 binary) Root relaxation: objective 0.000000e+00, 301 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 270 - 0.00000 - - 0s 0 0 0.00000 0 249 - 0.00000 - - 0s 0 0 0.00000 0 417 - 0.00000 - - 1s 0 0 0.00000 0 409 - 0.00000 - - 1s 0 0 0.00000 0 411 - 0.00000 - - 2s 0 0 0.00000 0 405 - 0.00000 - - 3s 0 0 0.00000 0 403 - 0.00000 - - 4s 0 0 0.00000 0 402 - 0.00000 - - 5s 0 0 0.00000 0 409 - 0.00000 - - 6s 0 0 0.00000 0 404 - 0.00000 - - 7s 0 0 0.00000 0 402 - 0.00000 - - 8s 0 0 0.00000 0 403 - 0.00000 - - 9s 0 0 0.00000 0 393 - 0.00000 - - 10s 0 0 0.00000 0 389 - 0.00000 - - 10s 0 0 0.00000 0 390 - 0.00000 - - 11s 0 0 0.00000 0 390 - 0.00000 - - 12s 0 2 0.00000 0 390 - 0.00000 - - 13s Cutting planes: Clique: 14 Zero half: 18 Explored 13 nodes (51287 simplex iterations) in 13.63 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:16:20 2012 Optimize a model with 5440 rows, 1700 columns and 16728 nonzeros Presolve time: 0.01s Presolved: 5440 rows, 1700 columns, 16728 nonzeros Variable types: 0 continuous, 1700 integer (1700 binary) Root relaxation: objective 0.000000e+00, 285 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 198 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3143 simplex iterations) in 0.27 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:16:20 2012 Optimize a model with 4556 rows, 1564 columns and 13940 nonzeros Presolve time: 0.01s Presolved: 4556 rows, 1564 columns, 13940 nonzeros Variable types: 0 continuous, 1564 integer (1564 binary) Root relaxation: objective 0.000000e+00, 293 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 260 - 0.00000 - - 0s 0 0 0.00000 0 283 - 0.00000 - - 0s 0 0 0.00000 0 214 - 0.00000 - - 1s 0 0 0.00000 0 387 - 0.00000 - - 1s 0 0 0.00000 0 210 - 0.00000 - - 2s 0 0 0.00000 0 208 - 0.00000 - - 2s 0 0 0.00000 0 210 - 0.00000 - - 3s 0 0 0.00000 0 194 - 0.00000 - - 3s 0 0 0.00000 0 200 - 0.00000 - - 4s 0 0 0.00000 0 198 - 0.00000 - - 4s 0 0 0.00000 0 231 - 0.00000 - - 5s 0 0 0.00000 0 184 - 0.00000 - - 5s 0 0 0.00000 0 254 - 0.00000 - - 6s 0 0 0.00000 0 254 - 0.00000 - - 7s 0 2 0.00000 0 254 - 0.00000 - - 7s 143 40 0.00000 19 270 - 0.00000 - 144 10s 799 114 0.00000 16 300 - 0.00000 - 116 15s 906 131 0.00000 13 247 - 0.00000 - 116 20s 910 134 0.00000 13 293 - 0.00000 - 115 26s 940 150 0.00000 23 310 - 0.00000 - 160 30s 1157 87 infeasible 26 - 0.00000 - 180 35s 1382 34 infeasible 26 - 0.00000 - 196 40s 1618 40 0.00000 24 293 - 0.00000 - 205 45s 1839 39 infeasible 27 - 0.00000 - 213 50s 2054 38 0.00000 23 326 - 0.00000 - 221 55s 2285 35 0.00000 24 232 - 0.00000 - 226 60s 2523 41 infeasible 26 - 0.00000 - 229 65s 2764 42 infeasible 29 - 0.00000 - 232 70s 2991 49 0.00000 32 260 - 0.00000 - 236 75s 3247 49 0.00000 25 301 - 0.00000 - 237 80s 3491 43 0.00000 23 303 - 0.00000 - 239 85s 3713 53 infeasible 30 - 0.00000 - 241 90s 3940 64 0.00000 30 272 - 0.00000 - 242 95s 4150 86 infeasible 34 - 0.00000 - 244 100s 4336 84 infeasible 33 - 0.00000 - 247 105s 4518 80 0.00000 26 232 - 0.00000 - 250 110s 4721 85 0.00000 31 234 - 0.00000 - 252 115s 4944 74 0.00000 27 299 - 0.00000 - 253 120s 5157 75 infeasible 28 - 0.00000 - 254 125s 5354 82 infeasible 33 - 0.00000 - 256 130s 5560 90 0.00000 20 314 - 0.00000 - 257 135s 5758 98 0.00000 30 290 - 0.00000 - 258 140s 5959 95 0.00000 25 332 - 0.00000 - 259 145s 6142 94 infeasible 27 - 0.00000 - 261 150s 6353 119 infeasible 33 - 0.00000 - 261 155s 6555 107 infeasible 28 - 0.00000 - 262 160s 6790 130 infeasible 25 - 0.00000 - 262 165s 7010 120 infeasible 27 - 0.00000 - 262 170s 7221 135 0.00000 26 303 - 0.00000 - 263 175s 7449 141 0.00000 27 315 - 0.00000 - 263 180s 7638 138 0.00000 25 296 - 0.00000 - 264 185s 7841 141 infeasible 29 - 0.00000 - 265 190s 8042 136 infeasible 32 - 0.00000 - 265 195s 8252 132 infeasible 29 - 0.00000 - 266 200s 8480 144 0.00000 28 317 - 0.00000 - 266 205s 8673 135 infeasible 27 - 0.00000 - 267 210s 8892 132 infeasible 24 - 0.00000 - 267 215s 9085 129 0.00000 29 329 - 0.00000 - 268 220s 9285 135 infeasible 31 - 0.00000 - 269 225s 9466 130 infeasible 37 - 0.00000 - 270 230s 9668 122 infeasible 29 - 0.00000 - 271 235s 9900 116 0.00000 23 322 - 0.00000 - 271 240s 10138 114 0.00000 28 226 - 0.00000 - 270 245s 10320 105 infeasible 29 - 0.00000 - 271 250s 10547 106 infeasible 26 - 0.00000 - 271 255s 10746 105 0.00000 32 238 - 0.00000 - 272 260s 10963 102 infeasible 27 - 0.00000 - 272 265s 11163 102 infeasible 28 - 0.00000 - 272 270s 11351 102 infeasible 30 - 0.00000 - 273 275s 11546 99 0.00000 31 299 - 0.00000 - 274 280s Cutting planes: Clique: 2 Zero half: 20 Explored 11629 nodes (3242118 simplex iterations) in 282.61 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 6