pumping time noun1 •The amount of time a pump is in operation.The setting time should never exceed the pumping time, and preferably should be about half of the total pumping time. — 1971 formspumping times
