is there a list of all the nodes, anywhere? I have
148.251.15.235
71.105.130.10
88.198.198.94
54.200.198.82
71.105.130.10 is down (it think sawedoff took it down by purpose). The other ones look good.
You can also take a look at the opening post, it states:
addnode=148.251.15.235
addnode=88.198.198.94
addnode=54.200.198.82
addnode=184.154.116.146