current bounds on the number of colors: 0 -- 155

Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:41 2012

Optimize a model with 9934 rows, 12062 columns and 41272 nonzeros
Presolve removed 29 rows and 2233 columns
Presolve time: 0.11s
Presolved: 9905 rows, 9829 columns, 39039 nonzeros
Variable types: 0 continuous, 9829 integer (9829 binary)

Root relaxation: objective 0.000000e+00, 220 iterations, 0.00 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 (220 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 -- 77

Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:41 2012

Optimize a model with 4981 rows, 6017 columns and 20368 nonzeros
Presolve removed 29 rows and 1102 columns
Presolve time: 0.04s
Presolved: 4952 rows, 4915 columns, 19266 nonzeros
Variable types: 0 continuous, 4915 integer (4915 binary)

Root relaxation: objective 0.000000e+00, 221 iterations, 0.00 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 (221 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 -- 38

Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:41 2012

Optimize a model with 2568 rows, 3072 columns and 10184 nonzeros
Presolve removed 29 rows and 551 columns
Presolve time: 0.01s
Presolved: 2539 rows, 2521 columns, 9633 nonzeros
Variable types: 0 continuous, 2521 integer (2521 binary)

Root relaxation: objective 0.000000e+00, 222 iterations, 0.00 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 (222 simplex iterations) in 0.02 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 -- 19

Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:41 2012

Optimize a model with 1298 rows, 1522 columns and 4824 nonzeros
Presolve removed 29 rows and 261 columns
Presolve time: 0.01s
Presolved: 1269 rows, 1261 columns, 4563 nonzeros
Variable types: 0 continuous, 1261 integer (1261 binary)

Root relaxation: objective 0.000000e+00, 221 iterations, 0.00 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 (221 simplex iterations) in 0.01 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 Sat Dec 15 16:20:41 2012

Optimize a model with 663 rows, 747 columns and 2144 nonzeros
Presolve removed 29 rows and 116 columns
Presolve time: 0.00s
Presolved: 634 rows, 631 columns, 2028 nonzeros
Variable types: 0 continuous, 631 integer (631 binary)

Root relaxation: objective 0.000000e+00, 189 iterations, 0.00 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 (189 simplex iterations) in 0.00 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 -- 4

Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:41 2012

Optimize a model with 409 rows, 437 columns and 1072 nonzeros
Presolve removed 165 rows and 199 columns
Presolve time: 0.00s
Presolved: 244 rows, 238 columns, 732 nonzeros
Variable types: 0 continuous, 238 integer (238 binary)

Root relaxation: objective 0.000000e+00, 125 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  100          -    0.00000     -      -    0s
     0     0 infeasible    0               -    0.10000     -      -    0s

Explored 0 nodes (385 simplex iterations) in 0.00 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: 2 -- 4

Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:41 2012

Optimize a model with 536 rows, 592 columns and 1608 nonzeros
Presolve removed 29 rows and 87 columns
Presolve time: 0.00s
Presolved: 507 rows, 505 columns, 1521 nonzeros
Variable types: 0 continuous, 505 integer (505 binary)

Root relaxation: objective 0.000000e+00, 197 iterations, 0.00 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 (197 simplex iterations) in 0.00 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: 3