current bounds on the number of colors: 0 -- 196 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:32:53 2012 Optimize a model with 92904 rows, 20154 columns and 297332 nonzeros Presolve time: 0.30s Presolved: 92904 rows, 20154 columns, 297332 nonzeros Variable types: 0 continuous, 20154 integer (20154 binary) Root relaxation: objective 0.000000e+00, 774 iterations, 0.10 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 (1230 simplex iterations) in 0.54 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 -- 98 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:32:55 2012 Optimize a model with 46550 rows, 10550 columns and 148666 nonzeros Presolve time: 0.16s Presolved: 46550 rows, 10550 columns, 148666 nonzeros Variable types: 0 continuous, 10550 integer (10550 binary) Root relaxation: objective 0.000000e+00, 694 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 (1153 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:32:56 2012 Optimize a model with 22900 rows, 5650 columns and 72816 nonzeros Presolve time: 0.09s Presolved: 22900 rows, 5650 columns, 72816 nonzeros Variable types: 0 continuous, 5650 integer (5650 binary) Root relaxation: objective 0.000000e+00, 471 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 (852 simplex iterations) in 0.14 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:32:56 2012 Optimize a model with 11548 rows, 3298 columns and 36408 nonzeros Presolve time: 0.04s Presolved: 11548 rows, 3298 columns, 36408 nonzeros Variable types: 0 continuous, 3298 integer (3298 binary) Root relaxation: objective 0.000000e+00, 412 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 (752 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:32:56 2012 Optimize a model with 5872 rows, 2122 columns and 18204 nonzeros Presolve time: 0.02s Presolved: 5872 rows, 2122 columns, 18204 nonzeros Variable types: 0 continuous, 2122 integer (2122 binary) Root relaxation: objective 0.000000e+00, 430 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 (1924 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:32:56 2012 Optimize a model with 3034 rows, 1534 columns and 9102 nonzeros Presolve time: 0.01s Presolved: 3034 rows, 1534 columns, 9102 nonzeros Variable types: 0 continuous, 1534 integer (1534 binary) Root relaxation: objective 0.000000e+00, 447 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 318 - 0.00000 - - 0s 0 0 0.00000 0 491 - 0.00000 - - 0s 0 0 0.00000 0 524 - 0.00000 - - 1s 0 0 0.00000 0 538 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Zero half: 1305 Explored 0 nodes (13363 simplex iterations) in 1.94 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 3 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:32:58 2012 Optimize a model with 3980 rows, 1730 columns and 12136 nonzeros Presolve time: 0.01s Presolved: 3980 rows, 1730 columns, 12136 nonzeros Variable types: 0 continuous, 1730 integer (1730 binary) Root relaxation: objective 0.000000e+00, 446 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 380 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 0s 0 0 0.00000 0 540 - 0.00000 - - 0s 0 0 0.00000 0 351 - 0.00000 - - 1s 0 0 0.00000 0 346 - 0.00000 - - 2s 0 0 0.00000 0 342 - 0.00000 - - 2s 0 0 0.00000 0 344 - 0.00000 - - 3s 0 0 0.00000 0 348 - 0.00000 - - 3s 0 0 0.00000 0 312 - 0.00000 - - 4s 0 0 0.00000 0 308 - 0.00000 - - 4s 0 0 0.00000 0 303 - 0.00000 - - 5s 0 0 0.00000 0 292 - 0.00000 - - 5s 0 0 0.00000 0 276 - 0.00000 - - 6s 0 0 0.00000 0 276 - 0.00000 - - 6s 0 0 0.00000 0 276 - 0.00000 - - 7s 0 2 0.00000 0 274 - 0.00000 - - 7s 342 51 0.00000 31 342 - 0.00000 - 118 10s 605 63 0.00000 24 380 - 0.00000 - 120 15s 607 64 0.00000 23 484 - 0.00000 - 119 20s 610 66 0.00000 24 465 - 0.00000 - 119 26s 613 68 0.00000 23 457 - 0.00000 - 118 30s 753 47 0.00000 31 331 - 0.00000 - 193 35s 993 16 0.00000 28 393 - 0.00000 - 209 40s 1235 20 0.00000 30 374 - 0.00000 - 220 45s 1454 15 0.00000 28 338 - 0.00000 - 228 50s 1723 38 infeasible 31 - 0.00000 - 231 55s 2001 16 infeasible 30 - 0.00000 - 233 60s 2279 16 0.00000 28 338 - 0.00000 - 233 65s 2545 34 infeasible 35 - 0.00000 - 234 70s 2815 38 0.00000 26 336 - 0.00000 - 235 75s 3081 32 infeasible 33 - 0.00000 - 236 80s 3359 34 0.00000 31 350 - 0.00000 - 236 85s 3618 29 infeasible 31 - 0.00000 - 237 90s 3856 35 0.00000 28 348 - 0.00000 - 239 95s 4095 26 infeasible 36 - 0.00000 - 241 100s 4393 20 infeasible 31 - 0.00000 - 240 105s 4650 23 0.00000 29 380 - 0.00000 - 240 110s 4877 32 infeasible 33 - 0.00000 - 241 115s 5111 18 infeasible 30 - 0.00000 - 243 120s 5307 18 infeasible 33 - 0.00000 - 245 125s 5529 40 0.00000 27 397 - 0.00000 - 245 130s 5783 54 0.00000 29 364 - 0.00000 - 245 135s 6043 68 0.00000 30 330 - 0.00000 - 246 140s 6317 62 0.00000 32 352 - 0.00000 - 245 145s 6609 58 infeasible 34 - 0.00000 - 244 150s 6868 49 infeasible 34 - 0.00000 - 244 155s 7165 50 infeasible 30 - 0.00000 - 244 160s 7430 49 0.00000 29 355 - 0.00000 - 244 165s 7662 25 0.00000 29 390 - 0.00000 - 245 170s 7907 32 infeasible 28 - 0.00000 - 246 175s 8167 46 0.00000 24 356 - 0.00000 - 245 180s 8439 26 0.00000 28 393 - 0.00000 - 245 185s 8694 21 infeasible 34 - 0.00000 - 245 190s 8977 20 infeasible 32 - 0.00000 - 245 195s 9253 20 infeasible 32 - 0.00000 - 245 200s 9499 16 0.00000 29 440 - 0.00000 - 246 205s 9730 5 0.00000 27 340 - 0.00000 - 246 210s Cutting planes: Gomory: 2 Zero half: 21 Explored 9810 nodes (2471223 simplex iterations) in 211.77 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:36:30 2012 Optimize a model with 4926 rows, 1926 columns and 15170 nonzeros Presolve time: 0.01s Presolved: 4926 rows, 1926 columns, 15170 nonzeros Variable types: 0 continuous, 1926 integer (1926 binary) Root relaxation: objective 0.000000e+00, 437 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 350 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2302 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% optimal solution found: number of colors: 5