current bounds on the number of colors: 0 -- 143 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:00:04 2012 Optimize a model with 68658 rows, 11118 columns and 215698 nonzeros Presolve time: 0.19s Presolved: 68658 rows, 11118 columns, 215698 nonzeros Variable types: 0 continuous, 11118 integer (11118 binary) Root relaxation: objective 0.000000e+00, 347 iterations, 0.08 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 (675 simplex iterations) in 0.36 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 -- 71 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:00:05 2012 Optimize a model with 33918 rows, 5970 columns and 106330 nonzeros Presolve time: 0.15s Presolved: 33918 rows, 5970 columns, 106330 nonzeros Variable types: 0 continuous, 5970 integer (5970 binary) Root relaxation: objective 0.000000e+00, 343 iterations, 0.04 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 (674 simplex iterations) in 0.24 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:00:06 2012 Optimize a model with 16548 rows, 3396 columns and 51646 nonzeros Presolve time: 0.06s Presolved: 16548 rows, 3396 columns, 51646 nonzeros Variable types: 0 continuous, 3396 integer (3396 binary) Root relaxation: objective 0.000000e+00, 291 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 (583 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: 0 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:00:06 2012 Optimize a model with 7863 rows, 2109 columns and 24304 nonzeros Presolve time: 0.02s Presolved: 7863 rows, 2109 columns, 24304 nonzeros Variable types: 0 continuous, 2109 integer (2109 binary) Root relaxation: objective 0.000000e+00, 304 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 (1117 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:00:06 2012 Optimize a model with 4003 rows, 1537 columns and 12152 nonzeros Presolve time: 0.01s Presolved: 4003 rows, 1537 columns, 12152 nonzeros Variable types: 0 continuous, 1537 integer (1537 binary) Root relaxation: objective 0.000000e+00, 315 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 212 - 0.00000 - - 0s 0 0 0.00000 0 351 - 0.00000 - - 0s 0 0 0.00000 0 449 - 0.00000 - - 2s 0 0 0.00000 0 450 - 0.00000 - - 2s 0 0 0.00000 0 435 - 0.00000 - - 3s 0 0 0.00000 0 441 - 0.00000 - - 4s 0 0 0.00000 0 433 - 0.00000 - - 5s 0 0 0.00000 0 432 - 0.00000 - - 7s 0 0 0.00000 0 431 - 0.00000 - - 8s 0 0 0.00000 0 431 - 0.00000 - - 10s 0 0 0.00000 0 431 - 0.00000 - - 10s 0 2 0.00000 0 431 - 0.00000 - - 11s Cutting planes: Clique: 18 Zero half: 16 Explored 17 nodes (45808 simplex iterations) in 12.59 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 13:00:19 2012 Optimize a model with 5933 rows, 1823 columns and 18228 nonzeros Presolve time: 0.02s Presolved: 5933 rows, 1823 columns, 18228 nonzeros Variable types: 0 continuous, 1823 integer (1823 binary) Root relaxation: objective 0.000000e+00, 306 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 268 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 378 MIR: 13 Zero half: 473 Explored 0 nodes (3987 simplex iterations) in 0.41 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 13:00:20 2012 Optimize a model with 4968 rows, 1680 columns and 15190 nonzeros Presolve time: 0.01s Presolved: 4968 rows, 1680 columns, 15190 nonzeros Variable types: 0 continuous, 1680 integer (1680 binary) Root relaxation: objective 0.000000e+00, 307 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 284 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 0s 0 0 0.00000 0 349 - 0.00000 - - 1s 0 0 0.00000 0 359 - 0.00000 - - 1s 0 0 0.00000 0 357 - 0.00000 - - 2s 0 0 0.00000 0 307 - 0.00000 - - 3s 0 0 0.00000 0 287 - 0.00000 - - 5s 0 0 0.00000 0 282 - 0.00000 - - 6s 0 0 0.00000 0 284 - 0.00000 - - 7s 0 0 0.00000 0 297 - 0.00000 - - 8s 0 0 0.00000 0 353 - 0.00000 - - 9s 0 0 0.00000 0 353 - 0.00000 - - 9s 0 2 0.00000 0 353 - 0.00000 - - 10s 396 65 0.00000 18 236 - 0.00000 - 142 15s 605 90 0.00000 28 360 - 0.00000 - 133 20s 607 91 0.00000 6 272 - 0.00000 - 132 25s 610 93 0.00000 18 287 - 0.00000 - 132 30s 613 95 0.00000 16 279 - 0.00000 - 131 36s 616 97 0.00000 18 289 - 0.00000 - 131 40s 627 102 0.00000 16 356 - 0.00000 - 220 45s 728 128 0.00000 28 321 - 0.00000 - 228 50s 870 102 0.00000 29 318 - 0.00000 - 245 55s 1026 86 0.00000 25 333 - 0.00000 - 255 60s 1161 117 infeasible 38 - 0.00000 - 267 65s 1319 169 0.00000 27 348 - 0.00000 - 270 70s 1494 174 0.00000 27 308 - 0.00000 - 272 75s 1629 183 0.00000 31 305 - 0.00000 - 279 80s 1787 191 0.00000 36 338 - 0.00000 - 282 85s 1938 194 0.00000 32 256 - 0.00000 - 285 90s 2093 199 infeasible 31 - 0.00000 - 288 95s 2247 191 infeasible 31 - 0.00000 - 291 100s 2400 186 infeasible 32 - 0.00000 - 295 105s 2561 197 0.00000 29 272 - 0.00000 - 297 110s 2731 199 0.00000 36 314 - 0.00000 - 298 115s 2892 200 0.00000 35 339 - 0.00000 - 300 120s 3062 204 0.00000 36 232 - 0.00000 - 301 125s 3217 205 infeasible 32 - 0.00000 - 303 130s 3372 196 0.00000 26 326 - 0.00000 - 305 135s 3515 199 infeasible 29 - 0.00000 - 308 140s 3679 201 infeasible 33 - 0.00000 - 308 145s 3836 198 infeasible 28 - 0.00000 - 309 150s 3990 200 0.00000 28 298 - 0.00000 - 311 155s 4147 191 0.00000 31 327 - 0.00000 - 312 160s 4319 207 0.00000 40 274 - 0.00000 - 311 165s 4512 188 infeasible 33 - 0.00000 - 310 170s 4678 184 0.00000 30 313 - 0.00000 - 311 175s 4855 211 0.00000 33 242 - 0.00000 - 311 180s 4993 215 infeasible 34 - 0.00000 - 311 185s 5126 192 infeasible 32 - 0.00000 - 313 190s 5277 219 0.00000 33 322 - 0.00000 - 314 195s 5412 210 0.00000 28 336 - 0.00000 - 315 200s 5544 202 0.00000 22 351 - 0.00000 - 317 205s 5735 237 infeasible 41 - 0.00000 - 316 210s 5891 225 0.00000 34 299 - 0.00000 - 317 215s 6060 230 infeasible 30 - 0.00000 - 317 220s 6232 242 infeasible 34 - 0.00000 - 317 225s 6375 235 infeasible 37 - 0.00000 - 318 230s 6515 237 infeasible 28 - 0.00000 - 319 235s 6670 250 0.00000 33 324 - 0.00000 - 319 240s 6817 251 infeasible 41 - 0.00000 - 320 245s 6973 277 infeasible 34 - 0.00000 - 320 250s 7122 268 infeasible 33 - 0.00000 - 321 255s 7271 267 0.00000 26 252 - 0.00000 - 321 260s 7421 279 infeasible 34 - 0.00000 - 322 265s 7539 271 0.00000 26 331 - 0.00000 - 323 270s 7683 285 infeasible 29 - 0.00000 - 324 275s 7833 301 infeasible 32 - 0.00000 - 324 280s Cutting planes: Clique: 2 Zero half: 22 Explored 7919 nodes (2621531 simplex iterations) in 283.07 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