current bounds on the number of colors: 0 -- 131 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:46:48 2012 Optimize a model with 56746 rows, 9386 columns and 178360 nonzeros Presolve time: 0.18s Presolved: 56746 rows, 9386 columns, 178360 nonzeros Variable types: 0 continuous, 9386 integer (9386 binary) Root relaxation: objective 0.000000e+00, 312 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 (609 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 -- 65 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:46:49 2012 Optimize a model with 28003 rows, 5063 columns and 87808 nonzeros Presolve time: 0.13s Presolved: 28003 rows, 5063 columns, 87808 nonzeros Variable types: 0 continuous, 5063 integer (5063 binary) Root relaxation: objective 0.000000e+00, 306 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 (601 simplex iterations) in 0.20 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:46:50 2012 Optimize a model with 14067 rows, 2967 columns and 43904 nonzeros Presolve time: 0.05s Presolved: 14067 rows, 2967 columns, 43904 nonzeros Variable types: 0 continuous, 2967 integer (2967 binary) Root relaxation: objective 0.000000e+00, 266 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 (553 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 02:46:50 2012 Optimize a model with 7099 rows, 1919 columns and 21952 nonzeros Presolve time: 0.02s Presolved: 7099 rows, 1919 columns, 21952 nonzeros Variable types: 0 continuous, 1919 integer (1919 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 (1210 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:46:50 2012 Optimize a model with 3615 rows, 1395 columns and 10976 nonzeros Presolve time: 0.01s Presolved: 3615 rows, 1395 columns, 10976 nonzeros Variable types: 0 continuous, 1395 integer (1395 binary) Root relaxation: objective 0.000000e+00, 283 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 174 - 0.00000 - - 0s 0 0 0.00000 0 229 - 0.00000 - - 0s 0 0 0.00000 0 387 - 0.00000 - - 1s 0 0 0.00000 0 410 - 0.00000 - - 1s 0 0 0.00000 0 396 - 0.00000 - - 3s 0 0 0.00000 0 393 - 0.00000 - - 4s 0 0 0.00000 0 389 - 0.00000 - - 5s 0 0 0.00000 0 387 - 0.00000 - - 6s 0 0 0.00000 0 385 - 0.00000 - - 7s 0 0 0.00000 0 389 - 0.00000 - - 8s 0 0 0.00000 0 382 - 0.00000 - - 9s 0 0 0.00000 0 381 - 0.00000 - - 10s 0 0 0.00000 0 378 - 0.00000 - - 11s 0 0 0.00000 0 386 - 0.00000 - - 12s 0 0 0.00000 0 381 - 0.00000 - - 12s 0 0 0.00000 0 396 - 0.00000 - - 13s 0 0 0.00000 0 396 - 0.00000 - - 13s 0 2 0.00000 0 396 - 0.00000 - - 14s Cutting planes: Clique: 19 Zero half: 15 Explored 15 nodes (56856 simplex iterations) in 14.97 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:47:05 2012 Optimize a model with 5357 rows, 1657 columns and 16464 nonzeros Presolve time: 0.01s Presolved: 5357 rows, 1657 columns, 16464 nonzeros Variable types: 0 continuous, 1657 integer (1657 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.00000 0 254 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 288 MIR: 6 Zero half: 363 Explored 0 nodes (3801 simplex iterations) in 0.39 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:47:06 2012 Optimize a model with 4486 rows, 1526 columns and 13720 nonzeros Presolve time: 0.01s Presolved: 4486 rows, 1526 columns, 13720 nonzeros Variable types: 0 continuous, 1526 integer (1526 binary) Root relaxation: objective 0.000000e+00, 302 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 258 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 0s 0 0 0.00000 0 249 - 0.00000 - - 1s 0 0 0.00000 0 363 - 0.00000 - - 1s 0 0 0.00000 0 281 - 0.00000 - - 1s 0 0 0.00000 0 317 - 0.00000 - - 2s 0 0 0.00000 0 343 - 0.00000 - - 3s 0 0 0.00000 0 363 - 0.00000 - - 3s 0 0 0.00000 0 363 - 0.00000 - - 4s 0 2 0.00000 0 363 - 0.00000 - - 5s 451 60 0.00000 20 225 - 0.00000 - 144 10s 707 65 0.00000 13 313 - 0.00000 - 130 15s 710 67 0.00000 18 332 - 0.00000 - 129 21s 713 69 0.00000 19 307 - 0.00000 - 129 25s 833 79 infeasible 31 - 0.00000 - 187 30s 1024 59 0.00000 27 268 - 0.00000 - 206 35s 1218 67 infeasible 27 - 0.00000 - 221 40s 1391 56 0.00000 25 302 - 0.00000 - 234 45s 1614 115 infeasible 36 - 0.00000 - 238 50s 1843 128 infeasible 29 - 0.00000 - 242 55s 2051 134 0.00000 27 308 - 0.00000 - 247 60s 2274 169 infeasible 39 - 0.00000 - 248 65s 2488 177 0.00000 29 228 - 0.00000 - 251 70s 2709 184 0.00000 34 268 - 0.00000 - 252 75s 2915 184 infeasible 30 - 0.00000 - 255 80s 3110 201 infeasible 33 - 0.00000 - 257 85s 3298 195 infeasible 30 - 0.00000 - 260 90s 3516 191 0.00000 31 259 - 0.00000 - 261 95s 3734 179 infeasible 34 - 0.00000 - 261 100s 3958 181 infeasible 34 - 0.00000 - 262 105s 4159 178 infeasible 32 - 0.00000 - 264 110s 4381 162 infeasible 30 - 0.00000 - 264 115s 4582 169 infeasible 28 - 0.00000 - 265 120s 4785 168 0.00000 34 296 - 0.00000 - 266 125s 5004 175 infeasible 34 - 0.00000 - 266 130s 5204 169 0.00000 31 237 - 0.00000 - 267 135s 5436 163 0.00000 34 280 - 0.00000 - 267 140s 5641 166 infeasible 32 - 0.00000 - 267 145s 5845 160 infeasible 30 - 0.00000 - 268 150s 6042 167 infeasible 28 - 0.00000 - 269 155s 6240 165 0.00000 27 302 - 0.00000 - 270 160s 6459 160 infeasible 35 - 0.00000 - 270 165s 6675 200 infeasible 32 - 0.00000 - 270 170s 6886 213 infeasible 32 - 0.00000 - 270 175s 7085 228 0.00000 33 292 - 0.00000 - 270 180s 7296 227 infeasible 35 - 0.00000 - 270 185s 7506 249 infeasible 36 - 0.00000 - 271 190s 7722 247 infeasible 28 - 0.00000 - 271 195s 7918 243 0.00000 32 254 - 0.00000 - 271 200s 8138 241 infeasible 40 - 0.00000 - 271 205s 8328 249 infeasible 34 - 0.00000 - 272 210s 8516 235 0.00000 32 314 - 0.00000 - 272 215s 8727 252 0.00000 29 277 - 0.00000 - 272 220s 8937 262 infeasible 32 - 0.00000 - 272 225s 9150 263 0.00000 33 226 - 0.00000 - 272 230s 9358 265 0.00000 32 294 - 0.00000 - 272 235s 9557 264 infeasible 34 - 0.00000 - 273 240s 9751 258 0.00000 31 290 - 0.00000 - 273 245s 9967 252 infeasible 29 - 0.00000 - 274 250s 10164 247 0.00000 31 300 - 0.00000 - 274 255s 10358 235 infeasible 34 - 0.00000 - 274 260s 10539 236 0.00000 32 283 - 0.00000 - 275 265s 10762 237 infeasible 36 - 0.00000 - 275 270s 10951 234 0.00000 30 263 - 0.00000 - 275 275s 11153 224 infeasible 28 - 0.00000 - 275 280s Cutting planes: Clique: 5 Zero half: 16 Explored 11197 nodes (3113685 simplex iterations) in 281.31 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