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)
It's "big in Japan". Used on many ISP routers there, for example Internet Initiative Japan's "SEIL" family, as well as most workstations in a few Japanese universities.
pkgsrc enjoys mild popularity in the scientific computing community, a lot of NetBSD use is probably in education - Cambridge University uses it for their thin clients too.