In my experience... very few people use ticket machines. I don't think I've ever had more than one or two people ahead of me, anywhere - and usually not even that.

The OP could probably save some time by booking online and getting the ticket printed at a machine, or just getting it from the machine without prebooking.