Constraint Satisfaction for Multiple Capacitated Job Shop Scheduling