[auosdeos] Heterogenous supercomputer

Continuously decommission some nodes of it, replace them with the latest hardware.

Of course, we need software that makes efficient use of nodes of different speeds.