Wenn du das von vorneherein nicht willst, wäre es natürlich besser direkt eine andere, kleiner bleibende Art in Betracht zu ziehen.
Bzgl. Laufwegen kann ich dir für später solche Schlauchspiralen empfehlen - so kannst du auf engstem Raum viele Laufmeter "simulieren":
ggf würde ich auch Körnerfressende nehmen ( wenn die dann aber auch mal auf lebende Proteine stehen/gehen ).
Messor und co nehmen definitiv auch lebende Insekten usw. an und erjagen diese auch recht gut, gerade im geschlossenen Formicarium.
Bzgl. Gänge und Kammern:
groaye-fur-kammer-und-gange-abstand-zum-wassertank-etc-t33085.html
Da kannst du dann für andere Arten anhand der Größe in etwas ableiten.