Press the button to start the corresponding machine. The machine will start within a few minutes. Please, only start the machine you have been assigned.
When you are done run the command stop-server from the command prompt and the machine will shut down itself. This helps us
keep the cost down as the machines are billed by the minute. (It is not neccessary to stop the machine for a coffee break or lunch, but it is
nice if you stop the server when you are done for the day.)