This Linux Big Tux server you speak of, is the HP Unix Superdome server just as I mentioned. HP have just recompiled Linux onto the HP Unix server. This Superdome server uses nPar, that is, partitioned into virtual servers consisting of 4 cpus and RAM, or 6 cpus, etc. Thus, you can carve up several small servers and run different OSes on this Superdome server. For instance, you can run Windows in one nPar, and at the same time run Linux in another nPar. Now, this Big Tux server you talk about, is Linux running in one nPar. This Linux nPar can at most have 16 cpus if you cluster two nPars 8 cpus.
Thus, you can not run Linux on this server and use 64 cpus. The biggest server you can run Linux on, is in nPar with a clustered 8-cpu nPar. The Linux installation on this Big Tux server is at most 16 cpus (using a cluster).
It is the same document, I think. At the bottom of page 5 and top of page 6, it says
"64 Processors / 128 Cores
Maximum nPars 16 (if you use two 8-nPar clusters)"
So again, there are no big SMP Linux servers on the market. Sure, you can take Linux and recompile it on a big Unix SMP server from Solaris, IBM or HP. But there are no big SMP Linux servers. And, frankly, I suspect that Linux running on 8 cpu nPar have problems using all 8 cpus well. Because this is a SMP server, and general purpose. As we have seen, Linux excels on doing only one simple task: calculations. But as soon as there are more complex work loads, then Linux has problems.