Myrmica rubra mating time