current bounds on the number of colors: 0 -- 136 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:11:04 2012 Optimize a model with 61744 rows, 10154 columns and 194072 nonzeros Presolve time: 0.18s Presolved: 61744 rows, 10154 columns, 194072 nonzeros Variable types: 0 continuous, 10154 integer (10154 binary) Root relaxation: objective 0.000000e+00, 363 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 (653 simplex iterations) in 0.33 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:11:05 2012 Optimize a model with 30940 rows, 5530 columns and 97036 nonzeros Presolve time: 0.14s Presolved: 30940 rows, 5530 columns, 97036 nonzeros Variable types: 0 continuous, 5530 integer (5530 binary) Root relaxation: objective 0.000000e+00, 316 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.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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:11:06 2012 Optimize a model with 15538 rows, 3218 columns and 48518 nonzeros Presolve time: 0.05s Presolved: 15538 rows, 3218 columns, 48518 nonzeros Variable types: 0 continuous, 3218 integer (3218 binary) Root relaxation: objective 0.000000e+00, 272 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 (534 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:11:06 2012 Optimize a model with 7384 rows, 1994 columns and 22832 nonzeros Presolve time: 0.02s Presolved: 7384 rows, 1994 columns, 22832 nonzeros Variable types: 0 continuous, 1994 integer (1994 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 6 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1461 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:11:06 2012 Optimize a model with 3760 rows, 1450 columns and 11416 nonzeros Presolve time: 0.01s Presolved: 3760 rows, 1450 columns, 11416 nonzeros Variable types: 0 continuous, 1450 integer (1450 binary) Root relaxation: objective 0.000000e+00, 305 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 268 - 0.00000 - - 0s 0 0 0.00000 0 424 - 0.00000 - - 1s 0 0 0.00000 0 421 - 0.00000 - - 1s 0 0 0.00000 0 414 - 0.00000 - - 2s 0 0 0.00000 0 413 - 0.00000 - - 2s 0 0 0.00000 0 412 - 0.00000 - - 2s 0 0 0.00000 0 410 - 0.00000 - - 3s 0 0 0.00000 0 407 - 0.00000 - - 3s 0 0 0.00000 0 414 - 0.00000 - - 4s 0 0 0.00000 0 413 - 0.00000 - - 5s 0 0 0.00000 0 413 - 0.00000 - - 6s 0 0 0.00000 0 411 - 0.00000 - - 6s 0 0 0.00000 0 407 - 0.00000 - - 7s 0 0 0.00000 0 407 - 0.00000 - - 9s 0 0 0.00000 0 406 - 0.00000 - - 10s 0 0 0.00000 0 402 - 0.00000 - - 11s 0 0 0.00000 0 412 - 0.00000 - - 12s 0 0 0.00000 0 412 - 0.00000 - - 12s 0 2 0.00000 0 412 - 0.00000 - - 13s Cutting planes: Clique: 13 Zero half: 22 Explored 14 nodes (46501 simplex iterations) in 14.23 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:11:20 2012 Optimize a model with 5572 rows, 1722 columns and 17124 nonzeros Presolve time: 0.02s Presolved: 5572 rows, 1722 columns, 17124 nonzeros Variable types: 0 continuous, 1722 integer (1722 binary) Root relaxation: objective 0.000000e+00, 307 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 135 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3593 simplex iterations) in 0.28 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:11:21 2012 Optimize a model with 4666 rows, 1586 columns and 14270 nonzeros Presolve time: 0.01s Presolved: 4666 rows, 1586 columns, 14270 nonzeros Variable types: 0 continuous, 1586 integer (1586 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 264 - 0.00000 - - 0s 0 0 0.00000 0 263 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 1s 0 0 0.00000 0 389 - 0.00000 - - 1s 0 0 0.00000 0 346 - 0.00000 - - 2s 0 0 0.00000 0 343 - 0.00000 - - 3s 0 0 0.00000 0 358 - 0.00000 - - 3s 0 0 0.00000 0 213 - 0.00000 - - 4s 0 0 0.00000 0 222 - 0.00000 - - 5s 0 0 0.00000 0 338 - 0.00000 - - 6s 0 0 0.00000 0 382 - 0.00000 - - 6s 0 0 0.00000 0 338 - 0.00000 - - 7s 0 2 0.00000 0 338 - 0.00000 - - 8s 190 32 0.00000 26 204 - 0.00000 - 126 10s 713 34 0.00000 18 396 - 0.00000 - 102 15s 716 36 0.00000 8 206 - 0.00000 - 101 20s 719 38 0.00000 27 286 - 0.00000 - 101 25s 722 40 0.00000 8 318 - 0.00000 - 100 30s 911 31 infeasible 30 - 0.00000 - 180 35s 1118 74 infeasible 24 - 0.00000 - 198 40s 1336 92 infeasible 28 - 0.00000 - 209 45s 1574 102 infeasible 26 - 0.00000 - 216 50s 1829 115 infeasible 29 - 0.00000 - 221 55s 2095 121 0.00000 18 295 - 0.00000 - 222 60s 2355 145 infeasible 26 - 0.00000 - 224 65s 2575 161 infeasible 28 - 0.00000 - 228 70s 2807 189 infeasible 29 - 0.00000 - 231 75s 3041 187 0.00000 31 252 - 0.00000 - 233 80s 3266 190 infeasible 30 - 0.00000 - 235 85s 3440 188 infeasible 26 - 0.00000 - 240 90s 3638 198 0.00000 30 218 - 0.00000 - 243 95s 3819 205 0.00000 33 321 - 0.00000 - 246 100s 4024 216 0.00000 30 251 - 0.00000 - 248 105s 4221 217 infeasible 25 - 0.00000 - 251 110s 4399 223 0.00000 25 313 - 0.00000 - 254 115s 4639 247 infeasible 36 - 0.00000 - 254 120s 4916 224 infeasible 32 - 0.00000 - 253 125s 5153 217 infeasible 28 - 0.00000 - 254 130s 5349 221 infeasible 34 - 0.00000 - 256 135s 5562 208 infeasible 27 - 0.00000 - 257 140s 5769 229 0.00000 21 299 - 0.00000 - 258 145s 6019 273 infeasible 34 - 0.00000 - 258 150s 6282 264 0.00000 29 300 - 0.00000 - 258 155s 6534 250 0.00000 34 279 - 0.00000 - 257 160s 6738 246 0.00000 31 248 - 0.00000 - 258 165s 6979 253 0.00000 25 289 - 0.00000 - 258 170s 7218 244 infeasible 26 - 0.00000 - 258 175s 7455 253 infeasible 28 - 0.00000 - 258 180s 7678 266 infeasible 32 - 0.00000 - 259 185s 7880 256 infeasible 33 - 0.00000 - 260 190s 8086 254 infeasible 30 - 0.00000 - 260 195s 8329 263 0.00000 24 287 - 0.00000 - 260 200s 8534 244 infeasible 25 - 0.00000 - 261 205s 8776 253 infeasible 29 - 0.00000 - 261 210s 8997 244 infeasible 28 - 0.00000 - 261 215s 9227 244 infeasible 30 - 0.00000 - 261 220s 9461 244 0.00000 29 290 - 0.00000 - 261 225s 9661 244 infeasible 29 - 0.00000 - 262 230s 9860 253 0.00000 29 295 - 0.00000 - 263 235s 10065 246 infeasible 28 - 0.00000 - 263 240s 10262 241 infeasible 35 - 0.00000 - 264 245s 10436 241 0.00000 25 287 - 0.00000 - 265 250s 10634 241 infeasible 28 - 0.00000 - 265 255s 10858 255 0.00000 31 343 - 0.00000 - 265 260s 11084 275 infeasible 35 - 0.00000 - 265 265s 11310 267 infeasible 31 - 0.00000 - 265 270s 11531 266 infeasible 28 - 0.00000 - 265 275s 11751 262 0.00000 24 291 - 0.00000 - 266 280s Cutting planes: Clique: 5 Zero half: 10 Explored 11826 nodes (3185548 simplex iterations) in 281.88 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