CaRMeN Server running.