US government auctions 5.34-petaflop Cheyenne supercomputer

145,152-core supercomputer was 20th most powerful in the world in 2016.