order machines by id when listing them