Simple AllDifferent constraints take much less memory.

1 job for master in 12 minutes and 59 seconds (queued for 4 seconds)