A modern rope for rock climbing is 50 to 60m, about 160 feet. Some climbers use thinner double/twin ropes that are twice that length. It can be a pain but isn't unmanageable if you take your time. I could see them doing it all at once using whatever reasonable rope they had at the time.