Increase solverbackend instances to 5.