current bounds on the number of colors: 0 -- 127 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:45:04 2012 Optimize a model with 51094 rows, 8810 columns and 160902 nonzeros Presolve time: 0.17s Presolved: 51094 rows, 8810 columns, 160902 nonzeros Variable types: 0 continuous, 8810 integer (8810 binary) Root relaxation: objective 0.000000e+00, 318 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 (600 simplex iterations) in 0.29 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 -- 63 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:45:05 2012 Optimize a model with 25206 rows, 4746 columns and 79174 nonzeros Presolve time: 0.11s Presolved: 25206 rows, 4746 columns, 79174 nonzeros Variable types: 0 continuous, 4746 integer (4746 binary) Root relaxation: objective 0.000000e+00, 317 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 (600 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 -- 31 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:45:05 2012 Optimize a model with 12262 rows, 2714 columns and 38310 nonzeros Presolve time: 0.04s Presolved: 12262 rows, 2714 columns, 38310 nonzeros Variable types: 0 continuous, 2714 integer (2714 binary) Root relaxation: objective 0.000000e+00, 264 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 (531 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:45:05 2012 Optimize a model with 5790 rows, 1698 columns and 17878 nonzeros Presolve time: 0.02s Presolved: 5790 rows, 1698 columns, 17878 nonzeros Variable types: 0 continuous, 1698 integer (1698 binary) Root relaxation: objective 0.000000e+00, 270 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 44 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2702 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:45:06 2012 Optimize a model with 2554 rows, 1190 columns and 7662 nonzeros Presolve time: 0.01s Presolved: 2554 rows, 1190 columns, 7662 nonzeros Variable types: 0 continuous, 1190 integer (1190 binary) Root relaxation: objective 0.000000e+00, 282 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 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4716 simplex iterations) in 0.61 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 3 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:45:06 2012 Optimize a model with 4172 rows, 1444 columns and 12770 nonzeros Presolve time: 0.01s Presolved: 4172 rows, 1444 columns, 12770 nonzeros Variable types: 0 continuous, 1444 integer (1444 binary) Root relaxation: objective 0.000000e+00, 261 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 244 - 0.00000 - - 0s 0 0 0.00000 0 244 - 0.00000 - - 0s 0 0 0.00000 0 239 - 0.00000 - - 0s 0 0 0.00000 0 341 - 0.00000 - - 1s 0 0 0.00000 0 258 - 0.00000 - - 1s 0 0 0.00000 0 221 - 0.00000 - - 2s 0 0 0.00000 0 329 - 0.00000 - - 2s 0 0 0.00000 0 324 - 0.00000 - - 3s 0 0 0.00000 0 279 - 0.00000 - - 3s 0 0 0.00000 0 279 - 0.00000 - - 4s 0 0 0.00000 0 329 - 0.00000 - - 5s 0 0 0.00000 0 329 - 0.00000 - - 5s 0 2 0.00000 0 329 - 0.00000 - - 5s 677 30 infeasible 24 - 0.00000 - 102 10s 1007 41 0.00000 22 212 - 0.00000 - 102 15s 1012 45 0.00000 16 286 - 0.00000 - 101 20s 1190 62 infeasible 31 - 0.00000 - 155 25s 1475 61 infeasible 34 - 0.00000 - 175 30s 1768 74 infeasible 31 - 0.00000 - 185 35s 2039 61 infeasible 31 - 0.00000 - 197 40s 2372 54 infeasible 30 - 0.00000 - 201 45s 2665 123 infeasible 31 - 0.00000 - 204 50s 3020 160 0.00000 25 212 - 0.00000 - 205 55s 3333 165 0.00000 30 242 - 0.00000 - 207 60s 3653 175 infeasible 34 - 0.00000 - 209 65s 3968 202 infeasible 25 - 0.00000 - 211 70s 4264 240 infeasible 29 - 0.00000 - 213 75s 4509 253 0.00000 30 206 - 0.00000 - 217 80s 4821 241 0.00000 26 287 - 0.00000 - 218 85s 5110 242 0.00000 24 279 - 0.00000 - 220 90s 5364 242 infeasible 27 - 0.00000 - 222 95s 5670 226 infeasible 32 - 0.00000 - 223 100s 5930 218 0.00000 22 275 - 0.00000 - 225 105s 6196 212 0.00000 26 239 - 0.00000 - 227 110s 6487 197 infeasible 33 - 0.00000 - 227 115s 6758 188 0.00000 30 192 - 0.00000 - 229 120s 7023 175 0.00000 24 281 - 0.00000 - 229 125s 7258 158 infeasible 30 - 0.00000 - 232 130s 7497 163 infeasible 29 - 0.00000 - 233 135s 7755 165 infeasible 35 - 0.00000 - 234 140s 7973 161 0.00000 30 216 - 0.00000 - 236 145s 8195 157 0.00000 33 197 - 0.00000 - 238 150s 8503 149 infeasible 33 - 0.00000 - 238 155s 8770 136 infeasible 29 - 0.00000 - 239 160s 9024 160 infeasible 29 - 0.00000 - 239 165s 9303 161 infeasible 29 - 0.00000 - 240 170s 9610 162 0.00000 29 182 - 0.00000 - 240 175s 9880 150 infeasible 33 - 0.00000 - 240 180s 10162 162 0.00000 25 202 - 0.00000 - 240 185s 10433 145 0.00000 24 293 - 0.00000 - 241 190s 10729 151 0.00000 30 269 - 0.00000 - 241 195s 11013 145 0.00000 33 272 - 0.00000 - 241 200s 11268 134 0.00000 24 293 - 0.00000 - 242 205s 11551 131 0.00000 31 190 - 0.00000 - 242 210s 11819 129 infeasible 30 - 0.00000 - 242 215s 12134 126 0.00000 28 258 - 0.00000 - 242 220s 12397 113 0.00000 28 286 - 0.00000 - 242 225s 12639 111 infeasible 31 - 0.00000 - 243 230s 12932 106 infeasible 30 - 0.00000 - 243 235s 13116 108 0.00000 33 257 - 0.00000 - 245 240s 13286 102 0.00000 30 243 - 0.00000 - 247 245s 13521 107 infeasible 30 - 0.00000 - 248 250s 13803 99 0.00000 30 281 - 0.00000 - 248 255s 14046 104 0.00000 27 206 - 0.00000 - 248 260s 14353 113 0.00000 27 243 - 0.00000 - 248 265s 14662 100 0.00000 28 286 - 0.00000 - 248 270s 14926 108 0.00000 27 221 - 0.00000 - 248 275s 15264 136 0.00000 30 202 - 0.00000 - 248 280s 15574 114 0.00000 31 277 - 0.00000 - 247 285s 15882 94 infeasible 28 - 0.00000 - 247 290s 16169 101 0.00000 31 244 - 0.00000 - 247 295s Cutting planes: Zero half: 3 Explored 16266 nodes (4056316 simplex iterations) in 296.41 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 5 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:50:03 2012 Optimize a model with 4981 rows, 1571 columns and 15324 nonzeros Presolve time: 0.01s Presolved: 4981 rows, 1571 columns, 15324 nonzeros Variable types: 0 continuous, 1571 integer (1571 binary) Root relaxation: objective 0.000000e+00, 259 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 254 - 0.00000 - - 0s Explored 0 nodes (789 simplex iterations) in 0.04 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: 7