Para abrir un fichero se hace con fopen:
Código PHP:
$texto= fopen("c:\\folder\\fichero.txt", "r");
Para leer la línea lo ideal sería que en lugar de un txt fuera un xml <servidor>180.200.11.9</servidor> y sería mucho más fácil de capturar, pero sino está en tus manos puedes hacerlo igualmente con preg_match_all o con strpos + substr.