I have many different jobs. Each job requires exclusive access to a physical device during its execution. There are five such identical devices, i.e. each job can use any of
