current bounds on the number of colors: 0 -- 128 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:35:54 2012 Optimize a model with 52032 rows, 9003 columns and 163904 nonzeros Presolve time: 0.18s Presolved: 52032 rows, 9003 columns, 163904 nonzeros Variable types: 0 continuous, 9003 integer (9003 binary) Root relaxation: objective 0.000000e+00, 320 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 (595 simplex iterations) in 0.30 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 -- 64 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:35:55 2012 Optimize a model with 26080 rows, 4907 columns and 81952 nonzeros Presolve time: 0.12s Presolved: 26080 rows, 4907 columns, 81952 nonzeros Variable types: 0 continuous, 4907 integer (4907 binary) Root relaxation: objective 0.000000e+00, 323 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 (583 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:35:56 2012 Optimize a model with 13104 rows, 2859 columns and 40976 nonzeros Presolve time: 0.04s Presolved: 13104 rows, 2859 columns, 40976 nonzeros Variable types: 0 continuous, 2859 integer (2859 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 (666 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 00:35:56 2012 Optimize a model with 6616 rows, 1835 columns and 20488 nonzeros Presolve time: 0.02s Presolved: 6616 rows, 1835 columns, 20488 nonzeros Variable types: 0 continuous, 1835 integer (1835 binary) Root relaxation: objective 0.000000e+00, 267 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 (880 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 00:35:56 2012 Optimize a model with 3372 rows, 1323 columns and 10244 nonzeros Presolve time: 0.01s Presolved: 3372 rows, 1323 columns, 10244 nonzeros Variable types: 0 continuous, 1323 integer (1323 binary) Root relaxation: objective 0.000000e+00, 280 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 254 - 0.00000 - - 0s 0 0 0.00000 0 248 - 0.00000 - - 0s 0 0 0.00000 0 383 - 0.00000 - - 1s 0 0 0.00000 0 389 - 0.00000 - - 1s 0 0 0.00000 0 375 - 0.00000 - - 2s 0 0 0.00000 0 372 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 4s 0 0 0.00000 0 368 - 0.00000 - - 5s 0 0 0.00000 0 366 - 0.00000 - - 5s 0 0 0.00000 0 367 - 0.00000 - - 6s 0 0 0.00000 0 364 - 0.00000 - - 7s 0 0 0.00000 0 368 - 0.00000 - - 8s 0 0 0.00000 0 363 - 0.00000 - - 8s 0 0 0.00000 0 373 - 0.00000 - - 9s 0 0 0.00000 0 372 - 0.00000 - - 10s 0 2 0.00000 0 372 - 0.00000 - - 10s Cutting planes: Clique: 13 Zero half: 17 Explored 56 nodes (55502 simplex iterations) in 12.66 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 00:36:09 2012 Optimize a model with 4994 rows, 1579 columns and 15366 nonzeros Presolve time: 0.01s Presolved: 4994 rows, 1579 columns, 15366 nonzeros Variable types: 0 continuous, 1579 integer (1579 binary) Root relaxation: objective 0.000000e+00, 273 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 110 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 1 Clique: 16 Zero half: 52 Explored 0 nodes (3477 simplex iterations) in 0.26 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 00:36:09 2012 Optimize a model with 4183 rows, 1451 columns and 12805 nonzeros Presolve time: 0.01s Presolved: 4183 rows, 1451 columns, 12805 nonzeros Variable types: 0 continuous, 1451 integer (1451 binary) Root relaxation: objective 0.000000e+00, 271 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 242 - 0.00000 - - 0s 0 0 0.00000 0 228 - 0.00000 - - 0s 0 0 0.00000 0 218 - 0.00000 - - 0s 0 0 0.00000 0 228 - 0.00000 - - 0s 0 0 0.00000 0 214 - 0.00000 - - 1s 0 0 0.00000 0 218 - 0.00000 - - 1s 0 0 0.00000 0 212 - 0.00000 - - 2s 0 0 0.00000 0 200 - 0.00000 - - 2s 0 0 0.00000 0 202 - 0.00000 - - 2s 0 0 0.00000 0 190 - 0.00000 - - 3s 0 0 0.00000 0 168 - 0.00000 - - 3s 0 0 0.00000 0 170 - 0.00000 - - 3s 0 0 0.00000 0 168 - 0.00000 - - 3s 0 0 0.00000 0 134 - 0.00000 - - 4s 0 0 0.00000 0 128 - 0.00000 - - 4s 0 0 0.00000 0 118 - 0.00000 - - 5s 0 0 0.00000 0 275 - 0.00000 - - 5s 0 0 0.00000 0 273 - 0.00000 - - 6s 0 2 0.00000 0 246 - 0.00000 - - 6s 407 82 0.00000 25 194 - 0.00000 - 102 10s 905 109 0.00000 19 174 - 0.00000 - 96.7 15s 912 113 0.00000 31 270 - 0.00000 - 95.9 20s 1215 73 infeasible 24 - 0.00000 - 143 25s 1546 88 0.00000 32 250 - 0.00000 - 157 30s 1890 78 0.00000 25 290 - 0.00000 - 166 35s 2223 83 0.00000 26 192 - 0.00000 - 173 40s 2575 87 infeasible 22 - 0.00000 - 177 45s 2951 85 infeasible 32 - 0.00000 - 179 50s 3336 94 infeasible 33 - 0.00000 - 180 55s 3675 83 infeasible 26 - 0.00000 - 183 60s 4013 93 infeasible 24 - 0.00000 - 186 65s 4316 88 0.00000 28 238 - 0.00000 - 189 70s 4719 91 infeasible 30 - 0.00000 - 188 75s 5069 113 0.00000 26 261 - 0.00000 - 189 80s 5396 106 infeasible 26 - 0.00000 - 191 85s 5750 120 0.00000 31 241 - 0.00000 - 191 90s 6075 131 infeasible 33 - 0.00000 - 192 95s 6407 173 0.00000 35 274 - 0.00000 - 193 100s 6696 224 infeasible 29 - 0.00000 - 194 105s 6962 214 0.00000 33 218 - 0.00000 - 196 110s 7243 197 infeasible 33 - 0.00000 - 198 115s 7555 203 0.00000 30 283 - 0.00000 - 199 120s 7917 229 0.00000 28 227 - 0.00000 - 199 125s 8224 224 infeasible 32 - 0.00000 - 200 130s 8561 223 0.00000 32 243 - 0.00000 - 201 135s 8927 251 0.00000 34 268 - 0.00000 - 201 140s 9292 252 0.00000 42 180 - 0.00000 - 201 145s 9676 276 infeasible 32 - 0.00000 - 200 150s 10062 298 infeasible 32 - 0.00000 - 200 155s 10420 284 infeasible 35 - 0.00000 - 200 160s 10746 274 0.00000 30 257 - 0.00000 - 201 165s 11111 261 infeasible 33 - 0.00000 - 201 170s 11423 239 infeasible 34 - 0.00000 - 202 175s 11742 216 0.00000 29 253 - 0.00000 - 203 180s 12078 212 0.00000 28 243 - 0.00000 - 203 185s 12421 235 infeasible 31 - 0.00000 - 203 190s 12784 254 infeasible 32 - 0.00000 - 203 195s 13109 309 0.00000 28 276 - 0.00000 - 203 200s 13395 315 infeasible 31 - 0.00000 - 203 205s 13696 304 0.00000 22 289 - 0.00000 - 204 210s 14003 303 0.00000 31 279 - 0.00000 - 204 215s 14302 314 infeasible 26 - 0.00000 - 204 220s 14581 311 infeasible 32 - 0.00000 - 205 225s 14897 309 infeasible 27 - 0.00000 - 205 230s 15171 311 0.00000 30 270 - 0.00000 - 206 235s 15485 313 0.00000 28 229 - 0.00000 - 206 240s 15779 299 infeasible 29 - 0.00000 - 207 245s 16100 316 0.00000 35 190 - 0.00000 - 207 250s 16431 297 0.00000 25 232 - 0.00000 - 207 255s 16785 311 0.00000 25 218 - 0.00000 - 207 260s 17137 317 infeasible 27 - 0.00000 - 207 265s 17468 348 infeasible 30 - 0.00000 - 207 270s 17780 354 infeasible 28 - 0.00000 - 207 275s 18092 350 0.00000 25 249 - 0.00000 - 208 280s Cutting planes: Clique: 3 Zero half: 16 Explored 18368 nodes (3865924 simplex iterations) in 284.02 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