游泳池3个小时灌满水,4个小时放完水,灌水和放水一起执行需要多久泳池的水才满