current bounds on the number of colors: 0 -- 132 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:36:21 2012 Optimize a model with 58344 rows, 9594 columns and 183348 nonzeros Presolve time: 0.18s Presolved: 58344 rows, 9594 columns, 183348 nonzeros Variable types: 0 continuous, 9594 integer (9594 binary) Root relaxation: objective 0.000000e+00, 339 iterations, 0.07 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 (626 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:36:22 2012 Optimize a model with 29238 rows, 5238 columns and 91674 nonzeros Presolve time: 0.13s Presolved: 29238 rows, 5238 columns, 91674 nonzeros Variable types: 0 continuous, 5238 integer (5238 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 (608 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:36:23 2012 Optimize a model with 14244 rows, 2994 columns and 44448 nonzeros Presolve time: 0.05s Presolved: 14244 rows, 2994 columns, 44448 nonzeros Variable types: 0 continuous, 2994 integer (2994 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (533 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:36:23 2012 Optimize a model with 7188 rows, 1938 columns and 22224 nonzeros Presolve time: 0.02s Presolved: 7188 rows, 1938 columns, 22224 nonzeros Variable types: 0 continuous, 1938 integer (1938 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (991 simplex iterations) in 0.05 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:36:23 2012 Optimize a model with 3660 rows, 1410 columns and 11112 nonzeros Presolve time: 0.01s Presolved: 3660 rows, 1410 columns, 11112 nonzeros Variable types: 0 continuous, 1410 integer (1410 binary) Root relaxation: objective 0.000000e+00, 290 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 262 - 0.00000 - - 0s 0 0 0.00000 0 260 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 1s 0 0 0.00000 0 423 - 0.00000 - - 1s 0 0 0.00000 0 415 - 0.00000 - - 3s 0 0 0.00000 0 405 - 0.00000 - - 4s 0 0 0.00000 0 402 - 0.00000 - - 5s 0 0 0.00000 0 400 - 0.00000 - - 6s 0 0 0.00000 0 399 - 0.00000 - - 8s 0 0 0.00000 0 396 - 0.00000 - - 9s 0 0 0.00000 0 396 - 0.00000 - - 10s 0 0 0.00000 0 395 - 0.00000 - - 11s 0 0 0.00000 0 395 - 0.00000 - - 12s 0 0 0.00000 0 395 - 0.00000 - - 13s 0 2 0.00000 0 395 - 0.00000 - - 13s 22 2 0.00000 4 402 - 0.00000 - 410 15s Cutting planes: Clique: 25 Zero half: 15 Explored 25 nodes (50475 simplex iterations) in 15.06 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 03:36:39 2012 Optimize a model with 5424 rows, 1674 columns and 16668 nonzeros Presolve time: 0.01s Presolved: 5424 rows, 1674 columns, 16668 nonzeros Variable types: 0 continuous, 1674 integer (1674 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.00000 0 242 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1603 simplex iterations) in 0.09 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:36:39 2012 Optimize a model with 4542 rows, 1542 columns and 13890 nonzeros Presolve time: 0.01s Presolved: 4542 rows, 1542 columns, 13890 nonzeros Variable types: 0 continuous, 1542 integer (1542 binary) Root relaxation: objective 0.000000e+00, 275 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 258 - 0.00000 - - 0s 0 0 0.00000 0 253 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 0 0.00000 0 331 - 0.00000 - - 1s 0 0 0.00000 0 286 - 0.00000 - - 2s 0 0 0.00000 0 328 - 0.00000 - - 3s 0 0 0.00000 0 283 - 0.00000 - - 4s 0 0 0.00000 0 306 - 0.00000 - - 5s 0 0 0.00000 0 310 - 0.00000 - - 5s 0 0 0.00000 0 298 - 0.00000 - - 6s 0 0 0.00000 0 317 - 0.00000 - - 7s 0 0 0.00000 0 314 - 0.00000 - - 7s 0 2 0.00000 0 314 - 0.00000 - - 8s 88 52 0.00000 22 222 - 0.00000 - 188 10s 603 130 0.00000 17 330 - 0.00000 - 134 15s 607 133 0.00000 16 320 - 0.00000 - 133 20s 611 136 0.00000 15 322 - 0.00000 - 132 25s 758 140 infeasible 35 - 0.00000 - 200 30s 960 98 0.00000 27 257 - 0.00000 - 214 35s 1167 74 infeasible 33 - 0.00000 - 225 40s 1360 69 infeasible 28 - 0.00000 - 235 45s 1539 74 0.00000 29 281 - 0.00000 - 244 50s 1740 101 infeasible 32 - 0.00000 - 247 55s 1939 114 0.00000 30 295 - 0.00000 - 251 60s 2150 115 infeasible 34 - 0.00000 - 253 65s 2328 135 0.00000 32 291 - 0.00000 - 257 70s 2516 121 infeasible 35 - 0.00000 - 261 75s 2714 149 infeasible 33 - 0.00000 - 262 80s 2918 156 infeasible 28 - 0.00000 - 263 85s 3101 155 0.00000 26 317 - 0.00000 - 266 90s 3297 167 infeasible 31 - 0.00000 - 267 95s 3509 177 infeasible 36 - 0.00000 - 267 100s 3710 176 infeasible 29 - 0.00000 - 267 105s 3928 186 infeasible 30 - 0.00000 - 267 110s 4108 190 infeasible 34 - 0.00000 - 270 115s 4290 206 0.00000 32 279 - 0.00000 - 271 120s 4502 198 0.00000 23 244 - 0.00000 - 271 125s 4712 200 infeasible 29 - 0.00000 - 271 130s 4933 195 0.00000 28 307 - 0.00000 - 270 135s 5140 198 infeasible 32 - 0.00000 - 270 140s 5322 200 infeasible 27 - 0.00000 - 271 145s 5505 213 0.00000 32 305 - 0.00000 - 272 150s 5715 217 0.00000 30 256 - 0.00000 - 272 155s 5908 208 infeasible 36 - 0.00000 - 273 160s 6093 209 infeasible 27 - 0.00000 - 274 165s 6283 203 infeasible 28 - 0.00000 - 275 170s 6479 191 0.00000 25 313 - 0.00000 - 275 175s 6682 190 infeasible 33 - 0.00000 - 275 180s 6845 197 0.00000 28 222 - 0.00000 - 277 185s 7039 197 infeasible 29 - 0.00000 - 277 190s 7224 186 0.00000 30 216 - 0.00000 - 278 195s 7393 179 infeasible 31 - 0.00000 - 279 200s 7568 176 infeasible 31 - 0.00000 - 280 205s 7767 189 0.00000 33 267 - 0.00000 - 280 210s 7984 196 infeasible 35 - 0.00000 - 280 215s 8197 191 0.00000 30 301 - 0.00000 - 280 220s 8388 186 0.00000 32 304 - 0.00000 - 280 225s 8580 182 infeasible 27 - 0.00000 - 281 230s 8752 182 infeasible 33 - 0.00000 - 282 235s 8927 177 infeasible 31 - 0.00000 - 282 240s 9130 192 infeasible 31 - 0.00000 - 282 245s 9326 190 0.00000 31 268 - 0.00000 - 282 250s 9529 189 infeasible 32 - 0.00000 - 282 255s 9739 205 0.00000 33 234 - 0.00000 - 282 260s 9931 215 infeasible 31 - 0.00000 - 282 265s 10120 222 0.00000 35 317 - 0.00000 - 282 270s 10303 213 0.00000 36 277 - 0.00000 - 283 275s 10500 212 infeasible 31 - 0.00000 - 283 280s Cutting planes: Gomory: 2 Clique: 3 Zero half: 10 Explored 10558 nodes (3031285 simplex iterations) in 281.47 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