current bounds on the number of colors: 0 -- 125 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:25:34 2012 Optimize a model with 49105 rows, 8540 columns and 154690 nonzeros Presolve time: 0.16s Presolved: 49105 rows, 8540 columns, 154690 nonzeros Variable types: 0 continuous, 8540 integer (8540 binary) Root relaxation: objective 0.000000e+00, 316 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 (599 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 -- 62 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:25:35 2012 Optimize a model with 24615 rows, 4665 columns and 77345 nonzeros Presolve time: 0.11s Presolved: 24615 rows, 4665 columns, 77345 nonzeros Variable types: 0 continuous, 4665 integer (4665 binary) Root relaxation: objective 0.000000e+00, 297 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 (630 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:25:35 2012 Optimize a model with 11975 rows, 2665 columns and 37425 nonzeros Presolve time: 0.04s Presolved: 11975 rows, 2665 columns, 37425 nonzeros Variable types: 0 continuous, 2665 integer (2665 binary) Root relaxation: objective 0.000000e+00, 253 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 (488 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:25:35 2012 Optimize a model with 5655 rows, 1665 columns and 17465 nonzeros Presolve time: 0.02s Presolved: 5655 rows, 1665 columns, 17465 nonzeros Variable types: 0 continuous, 1665 integer (1665 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.00000 0 98 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1542 simplex iterations) in 0.08 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:25:36 2012 Optimize a model with 2495 rows, 1165 columns and 7485 nonzeros Presolve time: 0.01s Presolved: 2495 rows, 1165 columns, 7485 nonzeros Variable types: 0 continuous, 1165 integer (1165 binary) Root relaxation: objective 0.000000e+00, 285 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 206 - 0.00000 - - 0s 0 0 0.00000 0 248 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4156 simplex iterations) in 0.45 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:25:36 2012 Optimize a model with 4075 rows, 1415 columns and 12475 nonzeros Presolve time: 0.01s Presolved: 4075 rows, 1415 columns, 12475 nonzeros Variable types: 0 continuous, 1415 integer (1415 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 248 - 0.00000 - - 0s 0 0 0.00000 0 212 - 0.00000 - - 0s 0 0 0.00000 0 257 - 0.00000 - - 1s 0 0 0.00000 0 351 - 0.00000 - - 1s 0 0 0.00000 0 268 - 0.00000 - - 1s 0 0 0.00000 0 243 - 0.00000 - - 2s 0 0 0.00000 0 269 - 0.00000 - - 2s 0 0 0.00000 0 221 - 0.00000 - - 3s 0 0 0.00000 0 228 - 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 603 89 0.00000 5 257 - 0.00000 - 105 10s 607 92 0.00000 13 274 - 0.00000 - 104 15s 612 95 0.00000 21 256 - 0.00000 - 103 20s 831 99 infeasible 31 - 0.00000 - 164 25s 1179 106 0.00000 28 262 - 0.00000 - 174 30s 1542 119 infeasible 29 - 0.00000 - 180 35s 1849 152 0.00000 36 204 - 0.00000 - 187 40s 2152 159 0.00000 29 255 - 0.00000 - 194 45s 2506 169 infeasible 33 - 0.00000 - 195 50s 2808 161 0.00000 30 289 - 0.00000 - 199 55s 3107 166 0.00000 38 261 - 0.00000 - 203 60s 3405 164 infeasible 34 - 0.00000 - 205 65s 3756 171 0.00000 34 268 - 0.00000 - 205 70s 4115 176 0.00000 29 234 - 0.00000 - 206 75s 4431 182 infeasible 31 - 0.00000 - 206 80s 4714 193 0.00000 31 266 - 0.00000 - 208 85s 5026 187 infeasible 31 - 0.00000 - 209 90s 5332 193 0.00000 28 254 - 0.00000 - 210 95s 5652 201 infeasible 34 - 0.00000 - 211 100s 5944 193 0.00000 31 278 - 0.00000 - 212 105s 6228 183 0.00000 28 281 - 0.00000 - 213 110s 6542 199 infeasible 27 - 0.00000 - 213 115s 6851 202 0.00000 29 264 - 0.00000 - 214 120s 7158 203 0.00000 33 264 - 0.00000 - 214 125s 7441 204 0.00000 36 267 - 0.00000 - 215 130s 7729 210 infeasible 31 - 0.00000 - 216 135s 8064 191 infeasible 32 - 0.00000 - 216 140s 8374 197 0.00000 34 212 - 0.00000 - 216 145s 8657 200 0.00000 29 278 - 0.00000 - 216 150s 8923 212 0.00000 28 279 - 0.00000 - 218 155s 9196 211 infeasible 34 - 0.00000 - 218 160s 9505 216 0.00000 31 204 - 0.00000 - 219 165s 9815 198 infeasible 27 - 0.00000 - 219 170s 10109 212 0.00000 29 282 - 0.00000 - 219 175s 10361 234 infeasible 32 - 0.00000 - 220 180s 10632 229 infeasible 30 - 0.00000 - 221 185s 10942 238 infeasible 30 - 0.00000 - 221 190s 11225 223 infeasible 33 - 0.00000 - 222 195s 11502 244 0.00000 29 266 - 0.00000 - 222 200s 11795 265 infeasible 37 - 0.00000 - 222 205s 12054 266 infeasible 34 - 0.00000 - 223 210s 12343 279 infeasible 37 - 0.00000 - 223 215s 12612 296 infeasible 35 - 0.00000 - 223 220s 12900 292 infeasible 38 - 0.00000 - 224 225s 13176 294 infeasible 39 - 0.00000 - 224 230s 13456 306 0.00000 30 292 - 0.00000 - 225 235s 13717 327 infeasible 31 - 0.00000 - 225 240s 13977 319 infeasible 31 - 0.00000 - 226 245s 14315 325 0.00000 29 266 - 0.00000 - 225 250s 14587 329 0.00000 36 250 - 0.00000 - 226 255s 14859 337 0.00000 28 279 - 0.00000 - 226 260s 15143 341 infeasible 33 - 0.00000 - 226 265s 15400 348 infeasible 34 - 0.00000 - 227 270s 15657 343 0.00000 34 285 - 0.00000 - 227 275s 15957 329 infeasible 31 - 0.00000 - 227 280s 16240 334 0.00000 38 224 - 0.00000 - 227 285s 16522 338 infeasible 33 - 0.00000 - 227 290s 16794 326 infeasible 32 - 0.00000 - 228 295s Cutting planes: Clique: 1 Zero half: 3 Explored 16895 nodes (3877037 simplex iterations) in 296.78 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:30:33 2012 Optimize a model with 4865 rows, 1540 columns and 14970 nonzeros Presolve time: 0.01s Presolved: 4865 rows, 1540 columns, 14970 nonzeros Variable types: 0 continuous, 1540 integer (1540 binary) Root relaxation: objective 0.000000e+00, 272 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 250 - 0.00000 - - 0s Explored 0 nodes (730 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