SGI 2400 & 2800: (O2K/R12Ks): Recently submitted results at 32 and 128 users/CPUs set the pace for the industry