current bounds on the number of colors: 0 -- 137 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:04:56 2012 Optimize a model with 61541 rows, 10219 columns and 193528 nonzeros Presolve time: 0.18s Presolved: 61541 rows, 10219 columns, 193528 nonzeros Variable types: 0 continuous, 10219 integer (10219 binary) Root relaxation: objective 0.000000e+00, 333 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 (638 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 08:04:58 2012 Optimize a model with 30839 rows, 5561 columns and 96764 nonzeros Presolve time: 0.14s Presolved: 30839 rows, 5561 columns, 96764 nonzeros Variable types: 0 continuous, 5561 integer (5561 binary) Root relaxation: objective 0.000000e+00, 329 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 (631 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 08:04:58 2012 Optimize a model with 15488 rows, 3232 columns and 48382 nonzeros Presolve time: 0.05s Presolved: 15488 rows, 3232 columns, 48382 nonzeros Variable types: 0 continuous, 3232 integer (3232 binary) Root relaxation: objective 0.000000e+00, 287 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 (565 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 08:04:58 2012 Optimize a model with 7361 rows, 1999 columns and 22768 nonzeros Presolve time: 0.02s Presolved: 7361 rows, 1999 columns, 22768 nonzeros Variable types: 0 continuous, 1999 integer (1999 binary) Root relaxation: objective 0.000000e+00, 281 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 (1070 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 08:04:59 2012 Optimize a model with 3749 rows, 1451 columns and 11384 nonzeros Presolve time: 0.01s Presolved: 3749 rows, 1451 columns, 11384 nonzeros Variable types: 0 continuous, 1451 integer (1451 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 274 - 0.00000 - - 0s 0 0 0.00000 0 246 - 0.00000 - - 0s 0 0 0.00000 0 424 - 0.00000 - - 1s 0 0 0.00000 0 415 - 0.00000 - - 2s 0 0 0.00000 0 422 - 0.00000 - - 2s 0 0 0.00000 0 416 - 0.00000 - - 2s 0 0 0.00000 0 409 - 0.00000 - - 4s 0 0 0.00000 0 404 - 0.00000 - - 4s 0 0 0.00000 0 403 - 0.00000 - - 5s 0 0 0.00000 0 399 - 0.00000 - - 7s 0 0 0.00000 0 414 - 0.00000 - - 8s 0 0 0.00000 0 407 - 0.00000 - - 9s 0 0 0.00000 0 400 - 0.00000 - - 10s 0 0 0.00000 0 400 - 0.00000 - - 11s 0 0 0.00000 0 400 - 0.00000 - - 12s 0 2 0.00000 0 400 - 0.00000 - - 13s Cutting planes: Clique: 2 Zero half: 15 Explored 13 nodes (48250 simplex iterations) in 13.95 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 08:05:13 2012 Optimize a model with 5555 rows, 1725 columns and 17076 nonzeros Presolve time: 0.02s Presolved: 5555 rows, 1725 columns, 17076 nonzeros Variable types: 0 continuous, 1725 integer (1725 binary) Root relaxation: objective 0.000000e+00, 286 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 159 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3407 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 08:05:13 2012 Optimize a model with 4652 rows, 1588 columns and 14230 nonzeros Presolve time: 0.01s Presolved: 4652 rows, 1588 columns, 14230 nonzeros Variable types: 0 continuous, 1588 integer (1588 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 256 - 0.00000 - - 0s 0 0 0.00000 0 281 - 0.00000 - - 1s 0 0 0.00000 0 367 - 0.00000 - - 1s 0 0 0.00000 0 172 - 0.00000 - - 2s 0 0 0.00000 0 166 - 0.00000 - - 2s 0 0 0.00000 0 282 - 0.00000 - - 3s 0 0 0.00000 0 308 - 0.00000 - - 3s 0 0 0.00000 0 350 - 0.00000 - - 4s 0 0 0.00000 0 328 - 0.00000 - - 5s 0 0 0.00000 0 367 - 0.00000 - - 5s 0 0 0.00000 0 367 - 0.00000 - - 5s 0 2 0.00000 0 360 - 0.00000 - - 6s 512 55 0.00000 17 305 - 0.00000 - 93.2 10s 913 41 0.00000 16 285 - 0.00000 - 86.2 15s 916 43 0.00000 3 321 - 0.00000 - 85.9 20s 920 45 0.00000 26 294 - 0.00000 - 85.5 26s 926 49 0.00000 25 301 - 0.00000 - 85.0 30s 1095 25 infeasible 32 - 0.00000 - 159 35s 1340 46 infeasible 35 - 0.00000 - 176 40s 1570 40 infeasible 31 - 0.00000 - 189 45s 1808 48 infeasible 41 - 0.00000 - 197 50s 2085 59 infeasible 38 - 0.00000 - 202 55s 2328 50 0.00000 33 216 - 0.00000 - 207 60s 2593 49 infeasible 35 - 0.00000 - 210 65s 2876 56 infeasible 39 - 0.00000 - 211 70s 3133 47 0.00000 32 292 - 0.00000 - 214 75s 3356 42 0.00000 33 272 - 0.00000 - 218 80s 3581 33 infeasible 36 - 0.00000 - 221 85s 3876 42 0.00000 27 298 - 0.00000 - 221 90s 4130 52 infeasible 36 - 0.00000 - 222 95s 4325 47 infeasible 34 - 0.00000 - 226 100s 4525 69 infeasible 36 - 0.00000 - 229 105s 4748 66 infeasible 35 - 0.00000 - 231 110s 4965 71 0.00000 34 297 - 0.00000 - 233 115s 5200 60 0.00000 30 312 - 0.00000 - 234 120s 5453 67 0.00000 40 263 - 0.00000 - 234 125s 5699 63 0.00000 39 289 - 0.00000 - 235 130s 5920 62 infeasible 33 - 0.00000 - 236 135s 6136 56 infeasible 34 - 0.00000 - 238 140s 6336 60 0.00000 37 238 - 0.00000 - 239 145s 6549 59 0.00000 28 228 - 0.00000 - 241 150s 6766 56 0.00000 32 300 - 0.00000 - 242 155s 6995 53 infeasible 33 - 0.00000 - 242 160s 7220 50 infeasible 30 - 0.00000 - 243 165s 7436 54 infeasible 35 - 0.00000 - 244 170s 7643 51 infeasible 39 - 0.00000 - 245 175s 7880 72 0.00000 37 316 - 0.00000 - 246 180s 8107 69 infeasible 34 - 0.00000 - 246 185s 8324 56 infeasible 33 - 0.00000 - 247 190s 8541 77 0.00000 34 230 - 0.00000 - 248 195s 8771 71 infeasible 38 - 0.00000 - 248 200s 8979 69 infeasible 38 - 0.00000 - 249 205s 9213 85 infeasible 40 - 0.00000 - 249 210s 9422 64 infeasible 36 - 0.00000 - 250 215s 9657 81 infeasible 37 - 0.00000 - 250 220s 9867 71 0.00000 36 288 - 0.00000 - 251 225s 10051 61 infeasible 30 - 0.00000 - 252 230s 10288 74 0.00000 37 284 - 0.00000 - 253 235s 10528 64 0.00000 36 279 - 0.00000 - 253 240s 10788 78 infeasible 37 - 0.00000 - 253 245s 11030 90 infeasible 29 - 0.00000 - 253 250s 11278 82 0.00000 36 296 - 0.00000 - 253 255s 11516 72 infeasible 35 - 0.00000 - 253 260s 11763 71 infeasible 33 - 0.00000 - 253 265s 12019 67 infeasible 35 - 0.00000 - 253 270s 12269 57 infeasible 35 - 0.00000 - 253 275s 12497 69 0.00000 33 306 - 0.00000 - 253 280s Cutting planes: Clique: 2 Zero half: 10 Explored 12583 nodes (3226981 simplex iterations) in 282.21 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