current bounds on the number of colors: 0 -- 132 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:41:21 2012 Optimize a model with 58344 rows, 9594 columns and 183348 nonzeros Presolve time: 0.18s Presolved: 58344 rows, 9594 columns, 183348 nonzeros Variable types: 0 continuous, 9594 integer (9594 binary) Root relaxation: objective 0.000000e+00, 315 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 (616 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 -- 66 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:41:22 2012 Optimize a model with 29238 rows, 5238 columns and 91674 nonzeros Presolve time: 0.13s Presolved: 29238 rows, 5238 columns, 91674 nonzeros Variable types: 0 continuous, 5238 integer (5238 binary) Root relaxation: objective 0.000000e+00, 330 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 (635 simplex iterations) in 0.19 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 03:41:23 2012 Optimize a model with 14244 rows, 2994 columns and 44448 nonzeros Presolve time: 0.05s Presolved: 14244 rows, 2994 columns, 44448 nonzeros Variable types: 0 continuous, 2994 integer (2994 binary) Root relaxation: objective 0.000000e+00, 264 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 (559 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 03:41:23 2012 Optimize a model with 7188 rows, 1938 columns and 22224 nonzeros Presolve time: 0.02s Presolved: 7188 rows, 1938 columns, 22224 nonzeros Variable types: 0 continuous, 1938 integer (1938 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 (616 simplex iterations) in 0.04 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 03:41:23 2012 Optimize a model with 3660 rows, 1410 columns and 11112 nonzeros Presolve time: 0.01s Presolved: 3660 rows, 1410 columns, 11112 nonzeros Variable types: 0 continuous, 1410 integer (1410 binary) Root relaxation: objective 0.000000e+00, 290 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 264 - 0.00000 - - 0s 0 0 0.00000 0 260 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 1s 0 0 0.00000 0 418 - 0.00000 - - 1s 0 0 0.00000 0 410 - 0.00000 - - 3s 0 0 0.00000 0 397 - 0.00000 - - 4s 0 0 0.00000 0 391 - 0.00000 - - 6s 0 0 0.00000 0 387 - 0.00000 - - 7s 0 0 0.00000 0 390 - 0.00000 - - 7s 0 0 0.00000 0 405 - 0.00000 - - 8s 0 0 0.00000 0 396 - 0.00000 - - 9s 0 0 0.00000 0 394 - 0.00000 - - 10s 0 0 0.00000 0 405 - 0.00000 - - 10s 0 0 0.00000 0 405 - 0.00000 - - 11s 0 2 0.00000 0 405 - 0.00000 - - 11s Cutting planes: Gomory: 1 Clique: 17 Zero half: 27 Explored 21 nodes (49681 simplex iterations) in 12.55 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 03:41:36 2012 Optimize a model with 5424 rows, 1674 columns and 16668 nonzeros Presolve time: 0.01s Presolved: 5424 rows, 1674 columns, 16668 nonzeros Variable types: 0 continuous, 1674 integer (1674 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 (2698 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 03:41:36 2012 Optimize a model with 4542 rows, 1542 columns and 13890 nonzeros Presolve time: 0.01s Presolved: 4542 rows, 1542 columns, 13890 nonzeros Variable types: 0 continuous, 1542 integer (1542 binary) Root relaxation: objective 0.000000e+00, 268 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 262 - 0.00000 - - 0s 0 0 0.00000 0 279 - 0.00000 - - 0s 0 0 0.00000 0 255 - 0.00000 - - 1s 0 0 0.00000 0 371 - 0.00000 - - 1s 0 0 0.00000 0 230 - 0.00000 - - 2s 0 0 0.00000 0 285 - 0.00000 - - 2s 0 0 0.00000 0 268 - 0.00000 - - 3s 0 0 0.00000 0 229 - 0.00000 - - 4s 0 0 0.00000 0 214 - 0.00000 - - 4s 0 0 0.00000 0 269 - 0.00000 - - 5s 0 0 0.00000 0 263 - 0.00000 - - 6s 0 0 0.00000 0 236 - 0.00000 - - 7s 0 0 0.00000 0 309 - 0.00000 - - 7s 0 0 0.00000 0 309 - 0.00000 - - 8s 0 2 0.00000 0 309 - 0.00000 - - 8s 41 25 0.00000 20 211 - 0.00000 - 224 10s 905 27 infeasible 19 - 0.00000 - 96.3 15s 1106 37 0.00000 16 212 - 0.00000 - 96.9 20s 1110 40 0.00000 3 305 - 0.00000 - 96.6 26s 1225 23 infeasible 26 - 0.00000 - 141 30s 1478 56 infeasible 32 - 0.00000 - 158 35s 1711 79 0.00000 27 230 - 0.00000 - 172 40s 1950 96 infeasible 29 - 0.00000 - 182 45s 2173 91 infeasible 32 - 0.00000 - 191 50s 2380 94 0.00000 23 303 - 0.00000 - 199 55s 2612 94 infeasible 28 - 0.00000 - 205 60s 2831 117 infeasible 27 - 0.00000 - 210 65s 3039 109 infeasible 24 - 0.00000 - 215 70s 3284 100 infeasible 27 - 0.00000 - 218 75s 3516 98 0.00000 23 303 - 0.00000 - 220 80s 3724 84 infeasible 27 - 0.00000 - 224 85s 3932 72 infeasible 26 - 0.00000 - 227 90s 4143 63 infeasible 25 - 0.00000 - 230 95s 4353 69 infeasible 28 - 0.00000 - 232 100s 4555 85 0.00000 30 302 - 0.00000 - 234 105s 4757 73 infeasible 30 - 0.00000 - 236 110s 4977 75 0.00000 29 296 - 0.00000 - 237 115s 5160 68 0.00000 28 297 - 0.00000 - 240 120s 5370 66 infeasible 26 - 0.00000 - 242 125s 5595 63 infeasible 29 - 0.00000 - 242 130s 5814 76 0.00000 27 292 - 0.00000 - 243 135s 6045 67 infeasible 25 - 0.00000 - 243 140s 6230 54 infeasible 28 - 0.00000 - 245 145s 6408 52 0.00000 25 307 - 0.00000 - 247 150s 6616 46 0.00000 25 285 - 0.00000 - 248 155s 6826 30 infeasible 22 - 0.00000 - 249 160s 7020 32 0.00000 28 288 - 0.00000 - 250 165s 7217 37 0.00000 28 284 - 0.00000 - 251 170s 7422 42 infeasible 27 - 0.00000 - 252 175s 7625 29 infeasible 26 - 0.00000 - 252 180s 7851 41 0.00000 24 306 - 0.00000 - 253 185s 8032 30 infeasible 25 - 0.00000 - 254 190s 8207 23 infeasible 24 - 0.00000 - 255 195s 8428 38 infeasible 28 - 0.00000 - 255 200s 8660 26 infeasible 24 - 0.00000 - 255 205s 8820 34 0.00000 23 294 - 0.00000 - 256 210s 8985 41 infeasible 23 - 0.00000 - 258 215s 9169 43 0.00000 25 294 - 0.00000 - 258 220s 9353 35 0.00000 24 320 - 0.00000 - 259 225s 9560 48 0.00000 24 327 - 0.00000 - 259 230s 9740 32 0.00000 26 280 - 0.00000 - 260 235s 9905 27 0.00000 22 238 - 0.00000 - 261 240s 10128 28 0.00000 24 313 - 0.00000 - 261 245s 10311 31 infeasible 24 - 0.00000 - 262 250s 10503 31 0.00000 24 287 - 0.00000 - 263 255s 10710 32 0.00000 20 301 - 0.00000 - 263 260s 10921 35 infeasible 24 - 0.00000 - 263 265s 11091 29 0.00000 24 262 - 0.00000 - 264 270s 11300 32 0.00000 28 247 - 0.00000 - 265 275s 11510 32 0.00000 24 293 - 0.00000 - 265 280s Cutting planes: Clique: 7 Zero half: 22 Explored 11646 nodes (3145362 simplex iterations) in 283.94 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