current bounds on the number of colors: 0 -- 139 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:43:21 2012 Optimize a model with 64309 rows, 10521 columns and 202101 nonzeros Presolve time: 0.19s Presolved: 64309 rows, 10521 columns, 202101 nonzeros Variable types: 0 continuous, 10521 integer (10521 binary) Root relaxation: objective 0.000000e+00, 342 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 (662 simplex iterations) in 0.34 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 -- 69 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:43:22 2012 Optimize a model with 31759 rows, 5656 columns and 99586 nonzeros Presolve time: 0.14s Presolved: 31759 rows, 5656 columns, 99586 nonzeros Variable types: 0 continuous, 5656 integer (5656 binary) Root relaxation: objective 0.000000e+00, 417 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 (759 simplex iterations) in 0.22 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:43:23 2012 Optimize a model with 15949 rows, 3293 columns and 49793 nonzeros Presolve time: 0.05s Presolved: 15949 rows, 3293 columns, 49793 nonzeros Variable types: 0 continuous, 3293 integer (3293 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 (582 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 09:43:23 2012 Optimize a model with 7579 rows, 2042 columns and 23432 nonzeros Presolve time: 0.02s Presolved: 7579 rows, 2042 columns, 23432 nonzeros Variable types: 0 continuous, 2042 integer (2042 binary) Root relaxation: objective 0.000000e+00, 300 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 (1034 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:43:23 2012 Optimize a model with 3859 rows, 1486 columns and 11716 nonzeros Presolve time: 0.01s Presolved: 3859 rows, 1486 columns, 11716 nonzeros Variable types: 0 continuous, 1486 integer (1486 binary) Root relaxation: objective 0.000000e+00, 297 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 276 - 0.00000 - - 0s 0 0 0.00000 0 263 - 0.00000 - - 0s 0 0 0.00000 0 430 - 0.00000 - - 1s 0 0 0.00000 0 415 - 0.00000 - - 2s 0 0 0.00000 0 413 - 0.00000 - - 2s 0 0 0.00000 0 419 - 0.00000 - - 2s 0 0 0.00000 0 416 - 0.00000 - - 3s 0 0 0.00000 0 408 - 0.00000 - - 4s 0 0 0.00000 0 400 - 0.00000 - - 5s 0 0 0.00000 0 404 - 0.00000 - - 7s 0 0 0.00000 0 403 - 0.00000 - - 8s 0 0 0.00000 0 400 - 0.00000 - - 9s 0 0 0.00000 0 398 - 0.00000 - - 11s 0 0 0.00000 0 395 - 0.00000 - - 11s 0 0 0.00000 0 405 - 0.00000 - - 12s 0 0 0.00000 0 400 - 0.00000 - - 13s 0 0 0.00000 0 398 - 0.00000 - - 14s 0 0 0.00000 0 401 - 0.00000 - - 14s 0 0 0.00000 0 401 - 0.00000 - - 15s 0 2 0.00000 0 401 - 0.00000 - - 16s Cutting planes: Clique: 15 Zero half: 23 Explored 23 nodes (61950 simplex iterations) in 17.41 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 09:43:41 2012 Optimize a model with 5719 rows, 1764 columns and 17574 nonzeros Presolve time: 0.02s Presolved: 5719 rows, 1764 columns, 17574 nonzeros Variable types: 0 continuous, 1764 integer (1764 binary) Root relaxation: objective 0.000000e+00, 295 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 142 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2751 simplex iterations) in 0.21 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 09:43:41 2012 Optimize a model with 4789 rows, 1625 columns and 14645 nonzeros Presolve time: 0.01s Presolved: 4789 rows, 1625 columns, 14645 nonzeros Variable types: 0 continuous, 1625 integer (1625 binary) Root relaxation: objective 0.000000e+00, 295 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 276 - 0.00000 - - 0s 0 0 0.00000 0 262 - 0.00000 - - 0s 0 0 0.00000 0 317 - 0.00000 - - 1s 0 0 0.00000 0 355 - 0.00000 - - 1s 0 0 0.00000 0 303 - 0.00000 - - 2s 0 0 0.00000 0 247 - 0.00000 - - 3s 0 0 0.00000 0 305 - 0.00000 - - 4s 0 0 0.00000 0 358 - 0.00000 - - 5s 0 0 0.00000 0 358 - 0.00000 - - 5s 0 2 0.00000 0 358 - 0.00000 - - 6s 466 65 infeasible 21 - 0.00000 - 113 10s 910 65 0.00000 16 351 - 0.00000 - 107 15s 914 68 0.00000 21 275 - 0.00000 - 106 20s 917 70 0.00000 13 269 - 0.00000 - 106 25s 1006 103 0.00000 30 321 - 0.00000 - 157 30s 1211 114 infeasible 41 - 0.00000 - 175 35s 1435 150 infeasible 37 - 0.00000 - 187 40s 1640 185 0.00000 30 293 - 0.00000 - 198 45s 1861 194 infeasible 36 - 0.00000 - 205 50s 2099 232 0.00000 35 300 - 0.00000 - 209 55s 2366 259 infeasible 41 - 0.00000 - 213 60s 2602 267 infeasible 41 - 0.00000 - 217 65s 2828 299 0.00000 36 297 - 0.00000 - 220 70s 3041 300 infeasible 42 - 0.00000 - 223 75s 3261 304 0.00000 34 282 - 0.00000 - 225 80s 3488 307 0.00000 41 224 - 0.00000 - 227 85s 3710 317 0.00000 37 291 - 0.00000 - 229 90s 3948 317 infeasible 43 - 0.00000 - 230 95s 4143 342 infeasible 38 - 0.00000 - 233 100s 4347 352 infeasible 39 - 0.00000 - 234 105s 4558 347 infeasible 36 - 0.00000 - 236 110s 4746 353 0.00000 38 295 - 0.00000 - 238 115s 4957 384 infeasible 36 - 0.00000 - 240 120s 5215 394 infeasible 32 - 0.00000 - 240 125s 5433 378 0.00000 43 317 - 0.00000 - 241 130s 5648 371 infeasible 32 - 0.00000 - 242 135s 5856 379 0.00000 40 256 - 0.00000 - 244 140s 6084 387 infeasible 41 - 0.00000 - 244 145s 6311 386 0.00000 37 290 - 0.00000 - 245 150s 6520 399 0.00000 34 275 - 0.00000 - 246 155s 6712 395 0.00000 37 309 - 0.00000 - 247 160s 6892 381 0.00000 37 266 - 0.00000 - 249 165s 7088 379 infeasible 40 - 0.00000 - 250 170s 7306 397 infeasible 40 - 0.00000 - 250 175s 7520 395 0.00000 33 302 - 0.00000 - 251 180s 7717 380 infeasible 36 - 0.00000 - 252 185s 7911 366 0.00000 39 275 - 0.00000 - 253 190s 8111 380 0.00000 33 282 - 0.00000 - 254 195s 8306 375 infeasible 37 - 0.00000 - 254 200s 8544 419 infeasible 38 - 0.00000 - 254 205s 8752 403 0.00000 31 254 - 0.00000 - 254 210s 8961 452 infeasible 35 - 0.00000 - 255 215s 9176 469 infeasible 33 - 0.00000 - 255 220s 9395 496 infeasible 33 - 0.00000 - 255 225s 9618 483 infeasible 31 - 0.00000 - 255 230s 9823 492 infeasible 36 - 0.00000 - 255 235s 10026 491 infeasible 38 - 0.00000 - 256 240s 10235 500 0.00000 32 299 - 0.00000 - 256 245s 10433 518 0.00000 35 312 - 0.00000 - 257 250s 10665 524 0.00000 33 309 - 0.00000 - 257 255s 10874 511 infeasible 33 - 0.00000 - 257 260s 11083 530 0.00000 33 220 - 0.00000 - 257 265s 11279 514 infeasible 38 - 0.00000 - 258 270s 11502 543 infeasible 35 - 0.00000 - 258 275s Cutting planes: Gomory: 2 Clique: 3 Zero half: 17 Explored 11645 nodes (3037788 simplex iterations) in 278.69 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