State-copying and Recomputation in Parallel Constraint Programming with Global Constraints