$url = file_get_contents('https://www.site.com.br/relacao.txt');

www.site.com.br/aluno/s/francisco-augusto/11111111111111
www.site.com.br/aluno/s/francisco-fernandes/11111111111112
www.site.com.br/aluno/s/francisco-ocario/11111111111113
www.site.com.br/aluno/s/giselia-augusto/11111111111114
www.site.com.br/aluno/s/giselia-fernandes/11111111111115

11111111111111
11111111111112
11111111111113
11111111111114
11111111111115

$url = preg_replace("/[^0-9]/", " ", $url);

$txt = "www.site.com.br/aluno/s/giselia-fernandes/11111111111115";
$var = explode("/", $txt);
echo $var[4];