Load Balancing for Constraint Solving with GPUs