The online judge has been moved to https://pcoi.ddns.net/.