current bounds on the number of colors: 0 -- 146 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:04:28 2012 Optimize a model with 79643 rows, 11747 columns and 249149 nonzeros Presolve time: 0.22s Presolved: 79643 rows, 11747 columns, 249149 nonzeros Variable types: 0 continuous, 11747 integer (11747 binary) Root relaxation: objective 0.000000e+00, 358 iterations, 0.09 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 (743 simplex iterations) in 0.44 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 -- 73 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:04:29 2012 Optimize a model with 39350 rows, 6345 columns and 122868 nonzeros Presolve time: 0.15s Presolved: 39350 rows, 6345 columns, 122868 nonzeros Variable types: 0 continuous, 6345 integer (6345 binary) Root relaxation: objective 0.000000e+00, 485 iterations, 0.05 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 (1139 simplex iterations) in 0.28 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:04:30 2012 Optimize a model with 19748 rows, 3717 columns and 61434 nonzeros Presolve time: 0.07s Presolved: 19748 rows, 3717 columns, 61434 nonzeros Variable types: 0 continuous, 3717 integer (3717 binary) Root relaxation: objective 0.000000e+00, 410 iterations, 0.02 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 (808 simplex iterations) in 0.12 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:04:30 2012 Optimize a model with 9947 rows, 2403 columns and 30717 nonzeros Presolve time: 0.03s Presolved: 9947 rows, 2403 columns, 30717 nonzeros Variable types: 0 continuous, 2403 integer (2403 binary) Root relaxation: objective 0.000000e+00, 305 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 (1264 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:04:30 2012 Optimize a model with 4502 rows, 1673 columns and 13652 nonzeros Presolve time: 0.01s Presolved: 4502 rows, 1673 columns, 13652 nonzeros Variable types: 0 continuous, 1673 integer (1673 binary) Root relaxation: objective 0.000000e+00, 309 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 292 - 0.00000 - - 0s 0 0 0.00000 0 282 - 0.00000 - - 0s 0 0 0.00000 0 489 - 0.00000 - - 2s 0 0 0.00000 0 486 - 0.00000 - - 2s 0 0 0.00000 0 486 - 0.00000 - - 2s 0 0 0.00000 0 485 - 0.00000 - - 3s 0 0 0.00000 0 460 - 0.00000 - - 4s 0 0 0.00000 0 467 - 0.00000 - - 6s 0 0 0.00000 0 469 - 0.00000 - - 7s 0 0 0.00000 0 477 - 0.00000 - - 8s 0 0 0.00000 0 470 - 0.00000 - - 9s 0 2 0.00000 0 470 - 0.00000 - - 10s Cutting planes: Clique: 22 Zero half: 10 Explored 11 nodes (48334 simplex iterations) in 10.94 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:04:41 2012 Optimize a model with 6680 rows, 1965 columns and 20478 nonzeros Presolve time: 0.02s Presolved: 6680 rows, 1965 columns, 20478 nonzeros Variable types: 0 continuous, 1965 integer (1965 binary) Root relaxation: objective 0.000000e+00, 303 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 278 - 0.00000 - - 0s 0 0 0.00000 0 211 - 0.00000 - - 0s 0 0 0.00000 0 227 - 0.00000 - - 1s 0 0 0.00000 0 307 - 0.00000 - - 1s 0 0 0.00000 0 113 - 0.00000 - - 2s 0 0 0.00000 0 174 - 0.00000 - - 3s 0 0 0.00000 0 302 - 0.00000 - - 3s 0 0 0.00000 0 357 - 0.00000 - - 4s 0 0 0.00000 0 330 - 0.00000 - - 5s 0 0 0.00000 0 270 - 0.00000 - - 6s 0 0 0.00000 0 350 - 0.00000 - - 7s 0 0 0.00000 0 335 - 0.00000 - - 8s 0 2 0.00000 0 335 - 0.00000 - - 9s 16 12 0.00000 11 310 - 0.00000 - 265 10s * 370 1 45 0.0000000 0.00000 0.0% 86.6 12s Cutting planes: Clique: 15 Zero half: 7 Explored 371 nodes (84270 simplex iterations) in 12.16 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 15:04:54 2012 Optimize a model with 5591 rows, 1819 columns and 17065 nonzeros Presolve time: 0.01s Presolved: 5591 rows, 1819 columns, 17065 nonzeros Variable types: 0 continuous, 1819 integer (1819 binary) Root relaxation: objective 0.000000e+00, 313 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 286 - 0.00000 - - 0s 0 0 0.00000 0 235 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 1s 0 0 0.00000 0 440 - 0.00000 - - 1s 0 0 0.00000 0 262 - 0.00000 - - 3s 0 0 0.00000 0 254 - 0.00000 - - 4s 0 0 0.00000 0 254 - 0.00000 - - 4s 0 0 0.00000 0 259 - 0.00000 - - 5s 0 0 0.00000 0 242 - 0.00000 - - 6s 0 0 0.00000 0 269 - 0.00000 - - 7s 0 0 0.00000 0 255 - 0.00000 - - 8s 0 0 0.00000 0 238 - 0.00000 - - 9s 0 0 0.00000 0 236 - 0.00000 - - 10s 0 0 0.00000 0 252 - 0.00000 - - 11s 0 0 0.00000 0 241 - 0.00000 - - 11s 0 2 0.00000 0 240 - 0.00000 - - 13s 30 11 infeasible 14 - 0.00000 - 391 15s 238 39 0.00000 20 349 - 0.00000 - 224 20s 484 77 0.00000 22 276 - 0.00000 - 205 25s 604 103 0.00000 5 445 - 0.00000 - 201 30s 606 104 0.00000 20 266 - 0.00000 - 200 35s 608 106 0.00000 21 283 - 0.00000 - 200 40s 611 108 0.00000 4 232 - 0.00000 - 199 47s 613 109 0.00000 14 237 - 0.00000 - 198 50s 620 114 0.00000 15 386 - 0.00000 - 305 55s 657 112 0.00000 22 357 - 0.00000 - 310 60s 740 86 infeasible 27 - 0.00000 - 322 65s 829 49 infeasible 24 - 0.00000 - 336 70s 917 52 infeasible 33 - 0.00000 - 345 75s 1002 46 infeasible 34 - 0.00000 - 354 80s 1081 41 infeasible 32 - 0.00000 - 364 85s 1177 45 infeasible 31 - 0.00000 - 369 90s 1282 60 0.00000 32 369 - 0.00000 - 371 95s 1350 58 infeasible 29 - 0.00000 - 378 100s 1433 63 infeasible 31 - 0.00000 - 384 105s 1524 62 infeasible 28 - 0.00000 - 388 110s 1607 57 0.00000 27 379 - 0.00000 - 390 115s 1697 49 infeasible 27 - 0.00000 - 395 120s 1794 58 infeasible 29 - 0.00000 - 395 125s 1885 53 infeasible 31 - 0.00000 - 398 130s 1969 51 0.00000 33 348 - 0.00000 - 402 135s 2053 45 infeasible 32 - 0.00000 - 406 140s 2142 42 0.00000 29 367 - 0.00000 - 408 145s 2230 40 infeasible 30 - 0.00000 - 411 150s 2320 46 infeasible 25 - 0.00000 - 413 155s 2441 55 infeasible 29 - 0.00000 - 410 160s 2541 65 infeasible 33 - 0.00000 - 410 165s 2653 63 0.00000 29 347 - 0.00000 - 409 170s 2753 65 infeasible 32 - 0.00000 - 410 175s 2877 69 infeasible 32 - 0.00000 - 407 180s 2963 57 infeasible 30 - 0.00000 - 410 185s 3076 58 infeasible 32 - 0.00000 - 409 190s 3184 64 infeasible 40 - 0.00000 - 408 195s 3291 51 infeasible 32 - 0.00000 - 409 200s 3403 51 infeasible 25 - 0.00000 - 408 205s 3508 50 0.00000 32 344 - 0.00000 - 408 210s 3608 50 infeasible 27 - 0.00000 - 409 215s 3713 53 infeasible 31 - 0.00000 - 409 220s 3801 43 infeasible 28 - 0.00000 - 410 225s 3901 39 infeasible 28 - 0.00000 - 411 230s 3993 39 0.00000 27 335 - 0.00000 - 411 235s 4091 41 infeasible 30 - 0.00000 - 412 240s 4181 31 0.00000 24 360 - 0.00000 - 413 245s 4262 30 0.00000 26 341 - 0.00000 - 415 250s 4347 33 0.00000 20 370 - 0.00000 - 416 255s 4441 29 infeasible 23 - 0.00000 - 416 260s 4556 38 infeasible 28 - 0.00000 - 415 265s 4651 39 infeasible 30 - 0.00000 - 416 270s Cutting planes: Clique: 3 Zero half: 11 Explored 4688 nodes (2026179 simplex iterations) in 272.30 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