current bounds on the number of colors: 0 -- 132 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:46:21 2012 Optimize a model with 56694 rows, 9569 columns and 178398 nonzeros Presolve time: 0.18s Presolved: 56694 rows, 9569 columns, 178398 nonzeros Variable types: 0 continuous, 9569 integer (9569 binary) Root relaxation: objective 0.000000e+00, 360 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 (663 simplex iterations) in 0.32 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 03:46:22 2012 Optimize a model with 28413 rows, 5213 columns and 89199 nonzeros Presolve time: 0.13s Presolved: 28413 rows, 5213 columns, 89199 nonzeros Variable types: 0 continuous, 5213 integer (5213 binary) Root relaxation: objective 0.000000e+00, 325 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 (623 simplex iterations) in 0.20 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 03:46:23 2012 Optimize a model with 13844 rows, 2969 columns and 43248 nonzeros Presolve time: 0.05s Presolved: 13844 rows, 2969 columns, 43248 nonzeros Variable types: 0 continuous, 2969 integer (2969 binary) Root relaxation: objective 0.000000e+00, 266 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.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 03:46:23 2012 Optimize a model with 6988 rows, 1913 columns and 21624 nonzeros Presolve time: 0.02s Presolved: 6988 rows, 1913 columns, 21624 nonzeros Variable types: 0 continuous, 1913 integer (1913 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1072 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 03:46:23 2012 Optimize a model with 3560 rows, 1385 columns and 10812 nonzeros Presolve time: 0.01s Presolved: 3560 rows, 1385 columns, 10812 nonzeros Variable types: 0 continuous, 1385 integer (1385 binary) Root relaxation: objective 0.000000e+00, 284 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 172 - 0.00000 - - 0s 0 0 0.00000 0 176 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 1s 0 0 0.00000 0 420 - 0.00000 - - 2s 0 0 infeasible 0 - 0.10000 - - 2s Cutting planes: Clique: 16 Zero half: 497 Explored 0 nodes (14132 simplex iterations) in 2.43 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: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:46:26 2012 Optimize a model with 5274 rows, 1649 columns and 16218 nonzeros Presolve time: 0.01s Presolved: 5274 rows, 1649 columns, 16218 nonzeros Variable types: 0 continuous, 1649 integer (1649 binary) Root relaxation: objective 0.000000e+00, 268 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 126 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3119 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:46:26 2012 Optimize a model with 4417 rows, 1517 columns and 13515 nonzeros Presolve time: 0.01s Presolved: 4417 rows, 1517 columns, 13515 nonzeros Variable types: 0 continuous, 1517 integer (1517 binary) Root relaxation: objective 0.000000e+00, 274 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 262 - 0.00000 - - 0s 0 0 0.00000 0 199 - 0.00000 - - 0s 0 0 0.00000 0 367 - 0.00000 - - 1s 0 0 0.00000 0 346 - 0.00000 - - 1s 0 0 0.00000 0 329 - 0.00000 - - 1s 0 0 0.00000 0 341 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 2s 0 2 0.00000 0 364 - 0.00000 - - 3s 187 19 0.00000 22 286 - 0.00000 - 121 5s 604 47 0.00000 3 346 - 0.00000 - 107 10s 611 52 0.00000 7 330 - 0.00000 - 106 15s 617 56 0.00000 18 305 - 0.00000 - 105 20s 622 59 0.00000 5 295 - 0.00000 - 104 25s 752 68 0.00000 34 287 - 0.00000 - 191 30s 985 86 infeasible 31 - 0.00000 - 205 35s 1189 124 infeasible 29 - 0.00000 - 217 40s 1403 128 0.00000 24 303 - 0.00000 - 226 45s 1629 162 0.00000 25 302 - 0.00000 - 231 50s 1851 168 infeasible 25 - 0.00000 - 237 55s 2081 182 0.00000 34 272 - 0.00000 - 239 60s 2317 174 infeasible 27 - 0.00000 - 241 65s 2524 175 infeasible 30 - 0.00000 - 245 70s 2729 182 0.00000 31 255 - 0.00000 - 248 75s 2950 179 infeasible 28 - 0.00000 - 250 80s 3161 200 infeasible 24 - 0.00000 - 252 85s 3368 207 0.00000 26 222 - 0.00000 - 255 90s 3564 193 infeasible 27 - 0.00000 - 258 95s 3805 208 infeasible 33 - 0.00000 - 257 100s 4017 188 0.00000 24 296 - 0.00000 - 259 105s 4234 201 0.00000 27 325 - 0.00000 - 260 110s 4417 208 0.00000 22 281 - 0.00000 - 261 115s 4644 231 infeasible 38 - 0.00000 - 262 120s 4838 227 0.00000 26 295 - 0.00000 - 264 125s 5022 221 infeasible 30 - 0.00000 - 266 130s 5270 247 infeasible 28 - 0.00000 - 265 135s 5469 240 0.00000 25 290 - 0.00000 - 266 140s 5684 255 infeasible 28 - 0.00000 - 267 145s 5892 265 infeasible 29 - 0.00000 - 268 150s 6088 251 infeasible 23 - 0.00000 - 269 155s 6298 261 infeasible 31 - 0.00000 - 269 160s 6561 264 0.00000 27 228 - 0.00000 - 268 165s 6747 260 0.00000 30 299 - 0.00000 - 269 170s 6958 261 infeasible 25 - 0.00000 - 270 175s 7169 276 infeasible 27 - 0.00000 - 270 180s 7370 273 0.00000 23 281 - 0.00000 - 271 185s 7561 262 infeasible 31 - 0.00000 - 271 190s 7766 253 0.00000 33 267 - 0.00000 - 272 195s 7974 249 0.00000 27 234 - 0.00000 - 272 200s 8167 244 infeasible 26 - 0.00000 - 273 205s 8352 237 0.00000 23 283 - 0.00000 - 274 210s 8559 240 0.00000 34 315 - 0.00000 - 274 215s 8760 227 0.00000 25 276 - 0.00000 - 275 220s 8973 218 0.00000 23 291 - 0.00000 - 275 225s 9160 205 0.00000 27 263 - 0.00000 - 276 230s 9362 189 0.00000 26 262 - 0.00000 - 276 235s 9571 192 infeasible 28 - 0.00000 - 276 240s 9786 185 0.00000 23 322 - 0.00000 - 276 245s 10006 195 infeasible 29 - 0.00000 - 276 250s 10226 191 0.00000 28 293 - 0.00000 - 276 255s 10435 184 infeasible 28 - 0.00000 - 276 260s 10633 184 infeasible 30 - 0.00000 - 276 265s 10850 183 0.00000 22 313 - 0.00000 - 276 270s 11080 175 0.00000 34 303 - 0.00000 - 276 275s 11280 177 0.00000 24 290 - 0.00000 - 276 280s 11470 167 0.00000 21 264 - 0.00000 - 277 285s 11657 160 0.00000 26 227 - 0.00000 - 277 290s Cutting planes: Clique: 8 Zero half: 15 Explored 11817 nodes (3295216 simplex iterations) in 294.05 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