[vishnu]

Just for funzies I often look at the list of the top 500 supercomputers in the world, today at number 168 is the HPE/SGI 8600, the HPE link takes a long time to load, so be patient:

https://www.hpe.com/psnow/doc/a00016640enw

EDIT: Note that on the front panel, all it says is SGI, tellingly not HPE. And (as I'm so fond of pointing out), the vast majority of the SMP code running in the Top 500 is SGI based.