Why do you need the port numbers in addnode btw? Are those nodes really running on some other ports than the default?