To nie są zwykłe mrówki. To są jedne z większych, żyjących w skupiskach.
Za wikipedią...:

Formica rufa) - gatunek owadów z rzędu błonkoskrzydłych.

Pospolity owad leśny, żyje w dość dużych lasach, buduje gniazda (tzw. mrowiska) z liści, igliwia i ziaren piasku. Dość duża, ma wyraźnie metalicznie-czarny odwłok, czerwony tułów i część głowy. Odnóża długie, mocne. Robotnice osiągają wielkość ok. 6 mm, samica wyraźnie większa, prawie dwukrotnie. Rudnice żywią się spadzią, a także larwami i drobnymi owadami. Błoniaste skrzydła występują tylko u samców i płodnych samic. Robotnice są bezskrzydłe.