current bounds on the number of colors: 0 -- 125 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:46:35 2012 Optimize a model with 48671 rows, 8533 columns and 153388 nonzeros Presolve time: 0.16s Presolved: 48671 rows, 8533 columns, 153388 nonzeros Variable types: 0 continuous, 8533 integer (8533 binary) Root relaxation: objective 0.000000e+00, 323 iterations, 0.05 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 (606 simplex iterations) in 0.28 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 -- 62 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:46:36 2012 Optimize a model with 24398 rows, 4658 columns and 76694 nonzeros Presolve time: 0.11s Presolved: 24398 rows, 4658 columns, 76694 nonzeros Variable types: 0 continuous, 4658 integer (4658 binary) Root relaxation: objective 0.000000e+00, 304 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 (574 simplex iterations) in 0.17 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 22:46:36 2012 Optimize a model with 11870 rows, 2658 columns and 37110 nonzeros Presolve time: 0.04s Presolved: 11870 rows, 2658 columns, 37110 nonzeros Variable types: 0 continuous, 2658 integer (2658 binary) Root relaxation: objective 0.000000e+00, 257 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 (519 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 22:46:37 2012 Optimize a model with 5606 rows, 1658 columns and 17318 nonzeros Presolve time: 0.02s Presolved: 5606 rows, 1658 columns, 17318 nonzeros Variable types: 0 continuous, 1658 integer (1658 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 (1074 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:46:37 2012 Optimize a model with 2474 rows, 1158 columns and 7422 nonzeros Presolve time: 0.01s Presolved: 2474 rows, 1158 columns, 7422 nonzeros Variable types: 0 continuous, 1158 integer (1158 binary) Root relaxation: objective 0.000000e+00, 266 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 250 - 0.00000 - - 0s 0 0 0.00000 0 248 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3888 simplex iterations) in 0.49 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 22:46:37 2012 Optimize a model with 4040 rows, 1408 columns and 12370 nonzeros Presolve time: 0.01s Presolved: 4040 rows, 1408 columns, 12370 nonzeros Variable types: 0 continuous, 1408 integer (1408 binary) Root relaxation: objective 0.000000e+00, 264 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 260 - 0.00000 - - 0s 0 0 0.00000 0 190 - 0.00000 - - 1s 0 0 0.00000 0 329 - 0.00000 - - 1s 0 0 0.00000 0 188 - 0.00000 - - 1s 0 0 0.00000 0 182 - 0.00000 - - 1s 0 0 0.00000 0 178 - 0.00000 - - 2s 0 0 0.00000 0 178 - 0.00000 - - 2s 0 0 0.00000 0 166 - 0.00000 - - 2s 0 0 0.00000 0 160 - 0.00000 - - 3s 0 0 0.00000 0 156 - 0.00000 - - 3s 0 0 0.00000 0 293 - 0.00000 - - 3s 0 0 0.00000 0 281 - 0.00000 - - 4s 0 0 0.00000 0 295 - 0.00000 - - 4s 0 0 0.00000 0 295 - 0.00000 - - 5s 0 2 0.00000 0 295 - 0.00000 - - 5s 605 213 0.00000 19 190 - 0.00000 - 110 10s 612 218 0.00000 16 193 - 0.00000 - 109 15s 627 226 0.00000 20 308 - 0.00000 - 167 20s 886 187 infeasible 41 - 0.00000 - 181 25s 1190 161 0.00000 41 253 - 0.00000 - 189 30s 1511 155 infeasible 46 - 0.00000 - 195 35s 1777 151 infeasible 42 - 0.00000 - 203 40s 2069 165 0.00000 34 218 - 0.00000 - 207 45s 2341 143 infeasible 37 - 0.00000 - 213 50s 2651 131 0.00000 39 212 - 0.00000 - 215 55s 2972 148 infeasible 31 - 0.00000 - 216 60s 3273 151 0.00000 29 212 - 0.00000 - 216 65s 3581 151 infeasible 43 - 0.00000 - 218 70s 3906 150 0.00000 31 246 - 0.00000 - 219 75s 4214 150 0.00000 33 209 - 0.00000 - 221 80s 4533 161 0.00000 37 219 - 0.00000 - 221 85s 4884 156 infeasible 32 - 0.00000 - 221 90s 5221 181 infeasible 39 - 0.00000 - 221 95s 5502 168 0.00000 31 256 - 0.00000 - 223 100s 5808 172 0.00000 39 238 - 0.00000 - 224 105s 6108 204 0.00000 30 274 - 0.00000 - 224 110s 6406 196 0.00000 34 277 - 0.00000 - 225 115s 6680 204 infeasible 39 - 0.00000 - 226 120s 6974 220 0.00000 35 205 - 0.00000 - 227 125s 7256 226 0.00000 33 264 - 0.00000 - 227 130s 7537 225 infeasible 32 - 0.00000 - 228 135s 7861 213 infeasible 43 - 0.00000 - 228 140s 8211 231 0.00000 37 280 - 0.00000 - 227 145s 8561 225 infeasible 40 - 0.00000 - 227 150s 8851 227 0.00000 31 264 - 0.00000 - 228 155s 9170 246 infeasible 32 - 0.00000 - 228 160s 9457 235 infeasible 32 - 0.00000 - 229 165s 9778 238 0.00000 34 200 - 0.00000 - 229 170s 10091 237 infeasible 36 - 0.00000 - 229 175s 10380 232 0.00000 34 216 - 0.00000 - 230 180s 10708 228 0.00000 36 270 - 0.00000 - 230 185s 11012 232 infeasible 35 - 0.00000 - 230 190s 11367 277 0.00000 32 214 - 0.00000 - 229 195s 11631 303 0.00000 35 218 - 0.00000 - 230 200s 11939 315 0.00000 33 263 - 0.00000 - 231 205s 12262 322 0.00000 35 251 - 0.00000 - 231 210s 12623 305 0.00000 37 218 - 0.00000 - 230 215s 12911 287 0.00000 29 270 - 0.00000 - 231 220s 13231 271 infeasible 32 - 0.00000 - 231 225s 13651 283 infeasible 39 - 0.00000 - 229 230s 13958 266 0.00000 34 190 - 0.00000 - 230 235s 14318 262 infeasible 38 - 0.00000 - 229 240s 14638 262 infeasible 32 - 0.00000 - 229 245s 14958 266 infeasible 40 - 0.00000 - 229 250s 15370 272 0.00000 40 264 - 0.00000 - 228 255s 15771 283 0.00000 44 196 - 0.00000 - 228 260s 16174 270 0.00000 35 267 - 0.00000 - 227 265s 16541 265 infeasible 39 - 0.00000 - 226 270s 16830 278 0.00000 37 267 - 0.00000 - 227 275s 17097 263 infeasible 37 - 0.00000 - 227 280s 17400 276 0.00000 33 247 - 0.00000 - 228 285s 17762 284 infeasible 34 - 0.00000 - 228 290s 18053 291 infeasible 32 - 0.00000 - 228 295s Cutting planes: Clique: 2 Zero half: 11 Explored 18143 nodes (4182380 simplex iterations) in 296.77 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 22:51:34 2012 Optimize a model with 4823 rows, 1533 columns and 14844 nonzeros Presolve time: 0.01s Presolved: 4823 rows, 1533 columns, 14844 nonzeros Variable types: 0 continuous, 1533 integer (1533 binary) Root relaxation: objective 0.000000e+00, 260 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 250 - 0.00000 - - 0s Explored 0 nodes (786 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