Предполагая, что время всегда сообщается в миллисекундах:
$ echo "Reply from 10.11.12.13 time=1035ms" | grep -oP '\d+(?=ms)' 1035
Используя GNU awk, напечатайте цифры после первого =:
gawk 'match($0, /=([[:digit:]]+)/, a) {print a[1]}'