Warm starting the constraint solver