Es que yo creo que estáis haciendo las colas en base a usuarios -> máquina, cuando en realidad es al contrario.
Es decir, han asignado el hardware con un identificador incremental. Cada identificador se le asigna, aleatoriamente, un usuario. Si ese usuario no confirma la reserva, no significa que salte al siguiente ID de hardware, sino que continúe en ese estado y se le asigna otro ID de usuario.
Desde un punto de vista logístico tiene cierto sentido. Sabes que si el último ID de hardware procesado es el 2500, entonces 2500 dispositivos han sido confirmados/pagados.