Решение AWK:
$> cat input.txt 1 AbcdJ 8192 Pak78 8291 3 blind mice $> awk '/^[[:digit:]]+$/' input.txt 1 8192 8291
Используйте > для перенаправления вывода в файл
awk '/^[[:digit:]]+$/' input.txt > output.txt