current bounds on the number of colors: 0 -- 133 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:07:16 2012 Optimize a model with 65143 rows, 9763 columns and 203808 nonzeros Presolve time: 0.19s Presolved: 65143 rows, 9763 columns, 203808 nonzeros Variable types: 0 continuous, 9763 integer (9763 binary) Root relaxation: objective 0.000000e+00, 324 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 (709 simplex iterations) in 0.36 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 05:07:17 2012 Optimize a model with 32638 rows, 5374 columns and 101904 nonzeros Presolve time: 0.15s Presolved: 32638 rows, 5374 columns, 101904 nonzeros Variable types: 0 continuous, 5374 integer (5374 binary) Root relaxation: objective 0.000000e+00, 320 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 (755 simplex iterations) in 0.25 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 05:07:17 2012 Optimize a model with 15893 rows, 3113 columns and 49408 nonzeros Presolve time: 0.05s Presolved: 15893 rows, 3113 columns, 49408 nonzeros Variable types: 0 continuous, 3113 integer (3113 binary) Root relaxation: objective 0.000000e+00, 371 iterations, 0.02 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 (729 simplex iterations) in 0.10 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 05:07:18 2012 Optimize a model with 8013 rows, 2049 columns and 24704 nonzeros Presolve time: 0.02s Presolved: 8013 rows, 2049 columns, 24704 nonzeros Variable types: 0 continuous, 2049 integer (2049 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1174 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 05:07:18 2012 Optimize a model with 4073 rows, 1517 columns and 12352 nonzeros Presolve time: 0.01s Presolved: 4073 rows, 1517 columns, 12352 nonzeros Variable types: 0 continuous, 1517 integer (1517 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 258 - 0.00000 - - 0s 0 0 0.00000 0 439 - 0.00000 - - 1s 0 0 0.00000 0 445 - 0.00000 - - 1s 0 0 0.00000 0 442 - 0.00000 - - 2s 0 0 0.00000 0 435 - 0.00000 - - 5s 0 0 0.00000 0 443 - 0.00000 - - 6s 0 0 0.00000 0 441 - 0.00000 - - 6s 0 0 0.00000 0 438 - 0.00000 - - 7s 0 0 0.00000 0 429 - 0.00000 - - 9s 0 0 0.00000 0 430 - 0.00000 - - 10s 0 0 0.00000 0 430 - 0.00000 - - 11s 0 0 0.00000 0 430 - 0.00000 - - 12s 0 2 0.00000 0 430 - 0.00000 - - 12s Cutting planes: Clique: 14 Zero half: 13 Explored 9 nodes (51091 simplex iterations) in 13.16 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 05:07:31 2012 Optimize a model with 6043 rows, 1783 columns and 18528 nonzeros Presolve time: 0.02s Presolved: 6043 rows, 1783 columns, 18528 nonzeros Variable types: 0 continuous, 1783 integer (1783 binary) Root relaxation: objective 0.000000e+00, 278 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 260 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 4 Clique: 411 MIR: 15 Zero half: 506 Explored 0 nodes (4963 simplex iterations) in 0.56 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 05:07:32 2012 Optimize a model with 5058 rows, 1650 columns and 15440 nonzeros Presolve time: 0.01s Presolved: 5058 rows, 1650 columns, 15440 nonzeros Variable types: 0 continuous, 1650 integer (1650 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.00000 0 266 - 0.00000 - - 0s 0 0 0.00000 0 260 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 1s 0 0 0.00000 0 420 - 0.00000 - - 1s 0 0 0.00000 0 397 - 0.00000 - - 2s 0 0 0.00000 0 382 - 0.00000 - - 3s 0 0 0.00000 0 384 - 0.00000 - - 4s 0 0 0.00000 0 384 - 0.00000 - - 5s 0 0 0.00000 0 384 - 0.00000 - - 5s 0 2 0.00000 0 384 - 0.00000 - - 6s 214 22 0.00000 16 300 - 0.00000 - 164 10s 522 27 0.00000 19 266 - 0.00000 - 163 15s 786 31 0.00000 24 228 - 0.00000 - 171 20s 811 40 0.00000 11 356 - 0.00000 - 169 27s 813 41 0.00000 22 305 - 0.00000 - 168 32s 815 42 0.00000 12 283 - 0.00000 - 168 36s 817 44 0.00000 2 327 - 0.00000 - 168 40s 820 46 0.00000 19 272 - 0.00000 - 167 46s 831 53 0.00000 19 339 - 0.00000 - 246 50s 969 68 0.00000 28 324 - 0.00000 - 254 55s 1107 90 infeasible 32 - 0.00000 - 264 60s 1270 133 0.00000 24 304 - 0.00000 - 268 65s 1427 156 infeasible 31 - 0.00000 - 272 70s 1577 162 0.00000 26 308 - 0.00000 - 277 75s 1705 152 infeasible 28 - 0.00000 - 284 80s 1839 162 0.00000 31 325 - 0.00000 - 289 85s 1961 150 infeasible 34 - 0.00000 - 295 90s 2102 151 infeasible 26 - 0.00000 - 297 95s 2238 177 0.00000 31 322 - 0.00000 - 299 100s 2385 188 0.00000 32 317 - 0.00000 - 300 105s 2506 181 0.00000 31 302 - 0.00000 - 304 110s 2637 172 infeasible 37 - 0.00000 - 307 115s 2761 168 infeasible 35 - 0.00000 - 310 120s 2884 163 infeasible 30 - 0.00000 - 313 125s 2998 153 infeasible 33 - 0.00000 - 316 130s 3114 147 infeasible 31 - 0.00000 - 320 135s 3233 136 infeasible 35 - 0.00000 - 322 140s 3359 128 infeasible 33 - 0.00000 - 323 145s 3467 118 infeasible 28 - 0.00000 - 326 150s 3581 108 0.00000 30 327 - 0.00000 - 329 155s 3707 92 infeasible 29 - 0.00000 - 330 160s 3841 94 infeasible 30 - 0.00000 - 331 165s 3970 87 infeasible 31 - 0.00000 - 332 170s 4090 81 infeasible 31 - 0.00000 - 333 175s 4213 80 0.00000 29 316 - 0.00000 - 334 180s 4333 83 0.00000 28 242 - 0.00000 - 335 185s 4440 80 infeasible 37 - 0.00000 - 338 190s 4549 73 0.00000 28 234 - 0.00000 - 339 195s 4681 67 infeasible 30 - 0.00000 - 339 200s 4806 74 infeasible 30 - 0.00000 - 340 205s 4926 78 0.00000 28 313 - 0.00000 - 341 210s 5044 70 0.00000 27 310 - 0.00000 - 342 215s 5201 69 infeasible 32 - 0.00000 - 341 220s 5341 69 infeasible 32 - 0.00000 - 341 225s 5464 62 0.00000 26 334 - 0.00000 - 342 230s 5589 61 infeasible 28 - 0.00000 - 342 235s 5700 56 0.00000 28 315 - 0.00000 - 343 240s 5829 53 0.00000 24 345 - 0.00000 - 343 245s 5948 64 infeasible 32 - 0.00000 - 344 250s 6062 54 infeasible 29 - 0.00000 - 345 255s 6174 50 infeasible 34 - 0.00000 - 346 260s 6287 37 infeasible 26 - 0.00000 - 347 265s 6408 30 infeasible 30 - 0.00000 - 347 270s 6528 36 infeasible 31 - 0.00000 - 348 275s 6659 27 infeasible 27 - 0.00000 - 348 280s Cutting planes: Gomory: 1 Clique: 5 Zero half: 12 Explored 6715 nodes (2364706 simplex iterations) in 282.46 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