I know a 20 amp circuit will work fine. The total draw would be just under 17 amps. I think that outlet is on its own circuit, and my wife never does laundry on brew days. I just need to confirm what I think I remember, or I’ll have to find a nearby outlet on another circuit for the pump.
Reminds me of when we used to go RVing. We could not run the air conditioning, the water heater, and a hair dryer together. That was more than the 30 amps we had. Fortunately, the water heater could be switched over to propane. So we did that every morning when the air was on. And then switch it back to electric which, unlike propane, was included with the site rental.