current bounds on the number of colors: 0 -- 135 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:21:03 2012 Optimize a model with 60435 rows, 9945 columns and 189945 nonzeros Presolve time: 0.19s Presolved: 60435 rows, 9945 columns, 189945 nonzeros Variable types: 0 continuous, 9945 integer (9945 binary) Root relaxation: objective 0.000000e+00, 361 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 (652 simplex iterations) in 0.34 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 -- 67 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:21:04 2012 Optimize a model with 29835 rows, 5355 columns and 93555 nonzeros Presolve time: 0.14s Presolved: 29835 rows, 5355 columns, 93555 nonzeros Variable types: 0 continuous, 5355 integer (5355 binary) Root relaxation: objective 0.000000e+00, 394 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 (754 simplex iterations) in 0.22 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:21:05 2012 Optimize a model with 14535 rows, 3060 columns and 45360 nonzeros Presolve time: 0.05s Presolved: 14535 rows, 3060 columns, 45360 nonzeros Variable types: 0 continuous, 3060 integer (3060 binary) Root relaxation: objective 0.000000e+00, 276 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 (566 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:21:05 2012 Optimize a model with 7335 rows, 1980 columns and 22680 nonzeros Presolve time: 0.02s Presolved: 7335 rows, 1980 columns, 22680 nonzeros Variable types: 0 continuous, 1980 integer (1980 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1023 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:21:05 2012 Optimize a model with 3735 rows, 1440 columns and 11340 nonzeros Presolve time: 0.01s Presolved: 3735 rows, 1440 columns, 11340 nonzeros Variable types: 0 continuous, 1440 integer (1440 binary) Root relaxation: objective 0.000000e+00, 300 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 268 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 0s 0 0 0.00000 0 423 - 0.00000 - - 1s 0 0 0.00000 0 424 - 0.00000 - - 1s 0 0 0.00000 0 416 - 0.00000 - - 2s 0 0 0.00000 0 412 - 0.00000 - - 4s 0 0 0.00000 0 411 - 0.00000 - - 5s 0 0 0.00000 0 407 - 0.00000 - - 6s 0 0 0.00000 0 405 - 0.00000 - - 7s 0 0 0.00000 0 404 - 0.00000 - - 8s 0 0 0.00000 0 403 - 0.00000 - - 9s 0 0 0.00000 0 403 - 0.00000 - - 10s 0 0 0.00000 0 401 - 0.00000 - - 10s 0 0 0.00000 0 397 - 0.00000 - - 11s 0 0 0.00000 0 403 - 0.00000 - - 12s 0 0 0.00000 0 403 - 0.00000 - - 13s 0 2 0.00000 0 403 - 0.00000 - - 14s 18 0 infeasible 3 - infeasible - 480 15s Cutting planes: Clique: 11 Zero half: 27 Explored 19 nodes (55216 simplex iterations) in 15.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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:21:21 2012 Optimize a model with 5535 rows, 1710 columns and 17010 nonzeros Presolve time: 0.01s Presolved: 5535 rows, 1710 columns, 17010 nonzeros Variable types: 0 continuous, 1710 integer (1710 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 82 - 0.00000 - - 0s 0 0 0.00000 0 116 - 0.00000 - - 0s Cutting planes: Clique: 6 Explored 0 nodes (4570 simplex iterations) in 0.34 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 06:21:21 2012 Optimize a model with 4635 rows, 1575 columns and 14175 nonzeros Presolve time: 0.01s Presolved: 4635 rows, 1575 columns, 14175 nonzeros Variable types: 0 continuous, 1575 integer (1575 binary) Root relaxation: objective 0.000000e+00, 280 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 217 - 0.00000 - - 0s 0 0 0.00000 0 154 - 0.00000 - - 0s 0 0 0.00000 0 375 - 0.00000 - - 1s 0 0 0.00000 0 368 - 0.00000 - - 1s 0 0 0.00000 0 362 - 0.00000 - - 1s 0 0 0.00000 0 358 - 0.00000 - - 2s 0 0 0.00000 0 375 - 0.00000 - - 2s 0 0 0.00000 0 371 - 0.00000 - - 2s 0 0 0.00000 0 366 - 0.00000 - - 3s 0 0 0.00000 0 301 - 0.00000 - - 4s 0 0 0.00000 0 293 - 0.00000 - - 5s 0 0 0.00000 0 279 - 0.00000 - - 5s 0 0 0.00000 0 220 - 0.00000 - - 6s 0 0 0.00000 0 308 - 0.00000 - - 7s 0 0 0.00000 0 306 - 0.00000 - - 8s 0 0 0.00000 0 342 - 0.00000 - - 9s 0 0 0.00000 0 330 - 0.00000 - - 9s 0 2 0.00000 0 330 - 0.00000 - - 10s 428 33 0.00000 23 286 - 0.00000 - 129 15s 807 37 0.00000 19 375 - 0.00000 - 123 20s 812 41 0.00000 2 336 - 0.00000 - 122 25s 815 43 0.00000 21 324 - 0.00000 - 122 30s 818 45 0.00000 20 296 - 0.00000 - 121 35s 822 47 0.00000 19 329 - 0.00000 - 121 40s 957 47 infeasible 35 - 0.00000 - 190 45s 1201 68 infeasible 32 - 0.00000 - 201 50s 1451 70 infeasible 34 - 0.00000 - 208 55s 1693 60 infeasible 35 - 0.00000 - 214 60s 1932 67 infeasible 35 - 0.00000 - 219 65s 2143 118 infeasible 30 - 0.00000 - 220 70s 2371 126 0.00000 28 306 - 0.00000 - 223 75s 2578 153 infeasible 41 - 0.00000 - 227 80s 2766 163 0.00000 33 294 - 0.00000 - 232 85s 2970 168 0.00000 30 313 - 0.00000 - 235 90s 3151 161 0.00000 34 270 - 0.00000 - 239 95s 3357 171 infeasible 38 - 0.00000 - 241 100s 3569 169 0.00000 39 277 - 0.00000 - 242 105s 3777 155 0.00000 39 301 - 0.00000 - 244 110s 3979 185 0.00000 40 292 - 0.00000 - 246 115s 4162 170 0.00000 39 276 - 0.00000 - 249 120s 4366 164 infeasible 31 - 0.00000 - 250 125s 4572 164 infeasible 33 - 0.00000 - 251 130s 4774 168 0.00000 39 226 - 0.00000 - 252 135s 4961 177 infeasible 32 - 0.00000 - 254 140s 5169 179 0.00000 31 220 - 0.00000 - 255 145s 5350 174 infeasible 34 - 0.00000 - 257 150s 5562 196 infeasible 34 - 0.00000 - 257 155s 5768 196 infeasible 40 - 0.00000 - 258 160s 5990 198 infeasible 36 - 0.00000 - 258 165s 6213 209 infeasible 33 - 0.00000 - 258 170s 6414 228 infeasible 38 - 0.00000 - 258 175s 6589 219 infeasible 38 - 0.00000 - 260 180s 6809 221 infeasible 40 - 0.00000 - 260 185s 7008 222 infeasible 37 - 0.00000 - 260 190s 7218 230 0.00000 31 251 - 0.00000 - 261 195s 7419 217 infeasible 36 - 0.00000 - 261 200s 7602 212 infeasible 34 - 0.00000 - 262 205s 7799 209 0.00000 34 226 - 0.00000 - 263 210s 7995 221 0.00000 41 278 - 0.00000 - 263 215s 8189 217 infeasible 36 - 0.00000 - 264 220s 8372 212 0.00000 41 290 - 0.00000 - 265 225s 8552 209 infeasible 33 - 0.00000 - 266 230s 8749 220 0.00000 37 302 - 0.00000 - 266 235s 8939 218 infeasible 36 - 0.00000 - 266 240s 9142 215 0.00000 29 322 - 0.00000 - 266 245s 9337 222 infeasible 32 - 0.00000 - 267 250s 9528 251 0.00000 42 295 - 0.00000 - 267 255s 9716 253 0.00000 38 287 - 0.00000 - 268 260s 9943 246 infeasible 38 - 0.00000 - 268 265s 10128 239 infeasible 37 - 0.00000 - 268 270s 10348 241 infeasible 35 - 0.00000 - 268 275s 10530 245 0.00000 34 236 - 0.00000 - 269 280s Cutting planes: Clique: 1 Zero half: 21 Explored 10583 nodes (2897419 simplex iterations) in 281.11 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