I don't know about "72-core/64-core" but I found older references to 24 and 48-core:
http://dmesgd.nycbug.org/index.cgi?do=view&id=2778 http://dmesgd.nycbug.org/index.cgi?do=view&id=2725
http://dmesgd.nycbug.org/index.cgi?do=view&id=2778 http://dmesgd.nycbug.org/index.cgi?do=view&id=2725
PS. I asked this question in an earlier post, but since this one is more popular, allow me to ask again.
PPS. Google gives me mentions of Linux and Windows server support, but nothing BSD.