Randomized constraint satisfaction for job shop scheduling and control