Machine scheduling, several machines, several jobs