10,000-core Linux supercomputer built in Amazon cloud