This happened to me before, maybe few times. When eu1 didn't worked, us1 worked. If there is a technical problem, eventually they will fix it. But you should just add two servers in the config file anyway, one for -pool and one for -pool2:

-pool ssl://eu1.ethermine.org:5555 -pool2 ssl://us1.ethermine.org:5555