current bounds on the number of colors: 0 -- 136 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:51:04 2012 Optimize a model with 63580 rows, 10181 columns and 199580 nonzeros Presolve time: 0.19s Presolved: 63580 rows, 10181 columns, 199580 nonzeros Variable types: 0 continuous, 10181 integer (10181 binary) Root relaxation: objective 0.000000e+00, 328 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 (624 simplex iterations) in 0.35 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 06:51:05 2012 Optimize a model with 31858 rows, 5557 columns and 99790 nonzeros Presolve time: 0.15s Presolved: 31858 rows, 5557 columns, 99790 nonzeros Variable types: 0 continuous, 5557 integer (5557 binary) Root relaxation: objective 0.000000e+00, 328 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 (626 simplex iterations) in 0.23 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 06:51:05 2012 Optimize a model with 15997 rows, 3245 columns and 49895 nonzeros Presolve time: 0.05s Presolved: 15997 rows, 3245 columns, 49895 nonzeros Variable types: 0 continuous, 3245 integer (3245 binary) Root relaxation: objective 0.000000e+00, 273 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 (545 simplex iterations) in 0.09 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 06:51:06 2012 Optimize a model with 7600 rows, 2021 columns and 23480 nonzeros Presolve time: 0.02s Presolved: 7600 rows, 2021 columns, 23480 nonzeros Variable types: 0 continuous, 2021 integer (2021 binary) Root relaxation: objective 0.000000e+00, 288 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 (1077 simplex iterations) in 0.06 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 06:51:06 2012 Optimize a model with 3868 rows, 1477 columns and 11740 nonzeros Presolve time: 0.01s Presolved: 3868 rows, 1477 columns, 11740 nonzeros Variable types: 0 continuous, 1477 integer (1477 binary) Root relaxation: objective 0.000000e+00, 303 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 267 - 0.00000 - - 0s 0 0 0.00000 0 418 - 0.00000 - - 1s 0 0 0.00000 0 420 - 0.00000 - - 2s 0 0 0.00000 0 421 - 0.00000 - - 3s 0 0 0.00000 0 411 - 0.00000 - - 5s 0 0 0.00000 0 403 - 0.00000 - - 6s 0 0 0.00000 0 416 - 0.00000 - - 7s 0 0 0.00000 0 418 - 0.00000 - - 9s 0 0 0.00000 0 420 - 0.00000 - - 10s 0 0 0.00000 0 413 - 0.00000 - - 10s 0 2 0.00000 0 413 - 0.00000 - - 11s Cutting planes: Clique: 19 Zero half: 14 Explored 9 nodes (45137 simplex iterations) in 11.86 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 06:51:18 2012 Optimize a model with 5734 rows, 1749 columns and 17610 nonzeros Presolve time: 0.02s Presolved: 5734 rows, 1749 columns, 17610 nonzeros Variable types: 0 continuous, 1749 integer (1749 binary) Root relaxation: objective 0.000000e+00, 299 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 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 1 Clique: 371 MIR: 14 Zero half: 462 Explored 0 nodes (4236 simplex iterations) in 0.42 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 06:51:18 2012 Optimize a model with 4801 rows, 1613 columns and 14675 nonzeros Presolve time: 0.01s Presolved: 4801 rows, 1613 columns, 14675 nonzeros Variable types: 0 continuous, 1613 integer (1613 binary) Root relaxation: objective 0.000000e+00, 292 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 217 - 0.00000 - - 0s 0 0 0.00000 0 309 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 1s 0 0 0.00000 0 382 - 0.00000 - - 1s 0 0 0.00000 0 340 - 0.00000 - - 3s 0 0 0.00000 0 290 - 0.00000 - - 4s 0 0 0.00000 0 297 - 0.00000 - - 4s 0 0 0.00000 0 306 - 0.00000 - - 5s 0 0 0.00000 0 361 - 0.00000 - - 6s 0 0 0.00000 0 361 - 0.00000 - - 6s 0 2 0.00000 0 361 - 0.00000 - - 7s 187 51 0.00000 24 307 - 0.00000 - 151 10s 695 39 infeasible 27 - 0.00000 - 126 15s 1146 30 0.00000 22 299 - 0.00000 - 128 20s 1206 43 0.00000 11 328 - 0.00000 - 128 27s 1209 45 0.00000 7 334 - 0.00000 - 127 30s 1212 47 0.00000 11 336 - 0.00000 - 127 37s 1214 49 0.00000 17 317 - 0.00000 - 127 40s 1218 51 0.00000 24 315 - 0.00000 - 126 45s 1399 29 infeasible 30 - 0.00000 - 181 50s 1558 38 0.00000 27 280 - 0.00000 - 197 55s 1741 45 infeasible 32 - 0.00000 - 208 60s 1929 55 infeasible 33 - 0.00000 - 216 65s 2084 64 0.00000 28 305 - 0.00000 - 225 70s 2281 73 infeasible 33 - 0.00000 - 230 75s 2449 61 0.00000 30 300 - 0.00000 - 236 80s 2644 58 infeasible 31 - 0.00000 - 239 85s 2860 66 infeasible 34 - 0.00000 - 241 90s 3041 73 0.00000 30 318 - 0.00000 - 244 95s 3220 80 0.00000 31 294 - 0.00000 - 247 100s 3444 80 infeasible 32 - 0.00000 - 248 105s 3622 90 infeasible 32 - 0.00000 - 250 110s 3802 110 infeasible 38 - 0.00000 - 252 115s 3963 115 infeasible 33 - 0.00000 - 255 120s 4141 121 0.00000 27 306 - 0.00000 - 257 125s 4324 132 infeasible 36 - 0.00000 - 259 130s 4511 121 infeasible 32 - 0.00000 - 260 135s 4673 125 0.00000 31 318 - 0.00000 - 263 140s 4863 125 infeasible 29 - 0.00000 - 264 145s 5037 113 infeasible 26 - 0.00000 - 266 150s 5249 131 infeasible 34 - 0.00000 - 266 155s 5424 112 infeasible 29 - 0.00000 - 268 160s 5587 121 infeasible 29 - 0.00000 - 269 165s 5742 104 infeasible 28 - 0.00000 - 271 170s 5894 98 infeasible 27 - 0.00000 - 273 175s 6070 102 infeasible 32 - 0.00000 - 273 180s 6241 103 0.00000 27 232 - 0.00000 - 275 185s 6396 92 0.00000 25 324 - 0.00000 - 276 190s 6558 92 0.00000 30 270 - 0.00000 - 277 195s 6723 97 infeasible 34 - 0.00000 - 279 200s 6894 80 infeasible 30 - 0.00000 - 279 205s 7063 95 infeasible 31 - 0.00000 - 280 210s 7228 94 0.00000 32 318 - 0.00000 - 281 215s 7396 90 infeasible 29 - 0.00000 - 282 220s 7558 88 0.00000 27 236 - 0.00000 - 283 225s 7726 86 infeasible 35 - 0.00000 - 283 230s 7866 82 infeasible 35 - 0.00000 - 285 235s 8028 78 infeasible 34 - 0.00000 - 285 240s 8176 72 infeasible 32 - 0.00000 - 286 245s 8361 107 infeasible 31 - 0.00000 - 287 250s 8525 99 0.00000 32 295 - 0.00000 - 288 255s 8700 114 infeasible 36 - 0.00000 - 288 260s 8878 108 0.00000 32 304 - 0.00000 - 289 265s 9055 101 infeasible 29 - 0.00000 - 289 270s 9215 89 0.00000 32 286 - 0.00000 - 290 275s 9363 81 infeasible 28 - 0.00000 - 291 280s Cutting planes: Clique: 5 Zero half: 15 Explored 9491 nodes (2800107 simplex iterations) in 284.01 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