I don’t know unfortunately. It was a mix between NetBSD workstations, Solaris servers when I left. And for the students a pool of Scientific Linux machines (RHEL)