раньше они просто брали дефолтный порт 5900 и накидывали к нему айди виртуалки, потом вроде переделали, но проверить пока не могу
вряд ли, я потом дефолтный конфиг открыл , там они пишут
#
# VNC_PORTS: VNC port pool for automatic VNC port assignment, if possible the
# port will be set to `START`
+ `VMID`
# start : first port to assign
# reserved: comma separated list of ports or ranges. Two numbers separated by
# a colon indicate a range.