Creo que aproximadamente 15.000 obreras por reina, porque las colonias esas pueden tener más de una reina. ¿No te estarás refiriendo a las Iberoformica subrufa? Esas son las Formica rufa de nuestra península, aunque son diferentes de algunas maneras.

Hay muchas especies rojas, si te refieres a las muy pequeñas podrían ser Pheidole o Solenopsis fugax, y si son grandes Camponotus o Formica, pero las Formica rufa son muy difíciles de encontrar, y dudo que sean esas.