current bounds on the number of colors: 0 -- 128 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:45:55 2012 Optimize a model with 51968 rows, 9002 columns and 163712 nonzeros Presolve time: 0.17s Presolved: 51968 rows, 9002 columns, 163712 nonzeros Variable types: 0 continuous, 9002 integer (9002 binary) Root relaxation: objective 0.000000e+00, 335 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 (617 simplex iterations) in 0.30 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 -- 64 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:45:56 2012 Optimize a model with 26048 rows, 4906 columns and 81856 nonzeros Presolve time: 0.12s Presolved: 26048 rows, 4906 columns, 81856 nonzeros Variable types: 0 continuous, 4906 integer (4906 binary) Root relaxation: objective 0.000000e+00, 310 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 (583 simplex iterations) in 0.18 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:45:56 2012 Optimize a model with 13088 rows, 2858 columns and 40928 nonzeros Presolve time: 0.04s Presolved: 13088 rows, 2858 columns, 40928 nonzeros Variable types: 0 continuous, 2858 integer (2858 binary) Root relaxation: objective 0.000000e+00, 271 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 (535 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:45:56 2012 Optimize a model with 6608 rows, 1834 columns and 20464 nonzeros Presolve time: 0.02s Presolved: 6608 rows, 1834 columns, 20464 nonzeros Variable types: 0 continuous, 1834 integer (1834 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 (1142 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 00:45:56 2012 Optimize a model with 3368 rows, 1322 columns and 10232 nonzeros Presolve time: 0.01s Presolved: 3368 rows, 1322 columns, 10232 nonzeros Variable types: 0 continuous, 1322 integer (1322 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 252 - 0.00000 - - 0s 0 0 0.00000 0 244 - 0.00000 - - 0s 0 0 0.00000 0 391 - 0.00000 - - 1s 0 0 0.00000 0 398 - 0.00000 - - 1s 0 0 0.00000 0 389 - 0.00000 - - 2s 0 0 0.00000 0 383 - 0.00000 - - 3s 0 0 0.00000 0 380 - 0.00000 - - 4s 0 0 0.00000 0 380 - 0.00000 - - 5s 0 0 0.00000 0 374 - 0.00000 - - 6s 0 0 0.00000 0 373 - 0.00000 - - 7s 0 0 0.00000 0 387 - 0.00000 - - 8s 0 0 0.00000 0 382 - 0.00000 - - 9s 0 0 0.00000 0 378 - 0.00000 - - 10s 0 0 0.00000 0 378 - 0.00000 - - 11s 0 0 0.00000 0 378 - 0.00000 - - 11s 0 2 0.00000 0 378 - 0.00000 - - 12s Cutting planes: Clique: 21 Zero half: 16 Explored 9 nodes (44398 simplex iterations) in 12.51 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 00:46:09 2012 Optimize a model with 4988 rows, 1578 columns and 15348 nonzeros Presolve time: 0.01s Presolved: 4988 rows, 1578 columns, 15348 nonzeros Variable types: 0 continuous, 1578 integer (1578 binary) Root relaxation: objective 0.000000e+00, 268 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 167 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2570 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 00:46:09 2012 Optimize a model with 4178 rows, 1450 columns and 12790 nonzeros Presolve time: 0.01s Presolved: 4178 rows, 1450 columns, 12790 nonzeros Variable types: 0 continuous, 1450 integer (1450 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.00000 0 219 - 0.00000 - - 0s 0 0 0.00000 0 192 - 0.00000 - - 0s 0 0 0.00000 0 226 - 0.00000 - - 1s 0 0 0.00000 0 353 - 0.00000 - - 1s 0 0 0.00000 0 178 - 0.00000 - - 2s 0 0 0.00000 0 184 - 0.00000 - - 2s 0 0 0.00000 0 209 - 0.00000 - - 3s 0 0 0.00000 0 229 - 0.00000 - - 3s 0 0 0.00000 0 239 - 0.00000 - - 4s 0 0 0.00000 0 239 - 0.00000 - - 4s 0 2 0.00000 0 239 - 0.00000 - - 5s 537 41 0.00000 16 262 - 0.00000 - 124 10s 806 57 0.00000 9 192 - 0.00000 - 117 15s 811 61 0.00000 6 240 - 0.00000 - 116 20s 911 83 0.00000 29 308 - 0.00000 - 167 25s 1143 98 0.00000 26 265 - 0.00000 - 187 30s 1392 143 0.00000 22 305 - 0.00000 - 199 35s 1650 157 0.00000 28 220 - 0.00000 - 207 40s 1902 153 0.00000 25 282 - 0.00000 - 214 45s 2147 166 0.00000 23 287 - 0.00000 - 219 50s 2383 164 infeasible 29 - 0.00000 - 224 55s 2614 153 infeasible 25 - 0.00000 - 228 60s 2854 149 infeasible 22 - 0.00000 - 231 65s 3066 175 0.00000 18 271 - 0.00000 - 234 70s 3301 192 infeasible 25 - 0.00000 - 236 75s 3559 192 infeasible 28 - 0.00000 - 237 80s 3815 178 infeasible 30 - 0.00000 - 239 85s 4053 178 0.00000 21 300 - 0.00000 - 240 90s 4276 169 infeasible 23 - 0.00000 - 242 95s 4480 157 0.00000 27 255 - 0.00000 - 244 100s 4747 157 infeasible 31 - 0.00000 - 244 105s 5023 153 infeasible 25 - 0.00000 - 244 110s 5255 151 infeasible 30 - 0.00000 - 245 115s 5507 157 infeasible 31 - 0.00000 - 245 120s 5725 145 0.00000 30 298 - 0.00000 - 247 125s 5956 138 infeasible 29 - 0.00000 - 248 130s 6176 144 0.00000 27 290 - 0.00000 - 249 135s 6394 140 infeasible 30 - 0.00000 - 250 140s 6618 138 infeasible 25 - 0.00000 - 251 145s 6850 130 0.00000 25 210 - 0.00000 - 252 150s 7063 131 0.00000 27 279 - 0.00000 - 253 155s 7271 125 0.00000 26 297 - 0.00000 - 254 160s 7514 114 0.00000 26 278 - 0.00000 - 254 165s 7745 107 infeasible 28 - 0.00000 - 255 170s 7966 114 infeasible 23 - 0.00000 - 255 175s 8207 107 0.00000 22 295 - 0.00000 - 255 180s 8423 105 infeasible 24 - 0.00000 - 256 185s 8645 99 infeasible 33 - 0.00000 - 257 190s 8882 102 infeasible 28 - 0.00000 - 257 195s 9161 101 infeasible 28 - 0.00000 - 256 200s 9411 89 infeasible 21 - 0.00000 - 256 205s 9619 85 infeasible 28 - 0.00000 - 257 210s 9843 85 infeasible 25 - 0.00000 - 257 215s 10042 88 0.00000 26 290 - 0.00000 - 258 220s 10252 86 0.00000 24 292 - 0.00000 - 259 225s 10482 82 0.00000 28 260 - 0.00000 - 259 230s 10727 79 infeasible 31 - 0.00000 - 259 235s 10967 81 infeasible 29 - 0.00000 - 259 240s 11215 77 infeasible 21 - 0.00000 - 259 245s 11431 73 0.00000 28 276 - 0.00000 - 260 250s 11658 64 0.00000 27 285 - 0.00000 - 260 255s 11899 57 infeasible 27 - 0.00000 - 260 260s 12126 48 infeasible 26 - 0.00000 - 260 265s 12393 69 infeasible 25 - 0.00000 - 259 270s 12603 61 0.00000 32 269 - 0.00000 - 260 275s 12825 57 0.00000 29 306 - 0.00000 - 260 280s Cutting planes: Clique: 3 Zero half: 2 Explored 13040 nodes (3426516 simplex iterations) in 284.26 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