você pode fazer isso usando este script de shell:
#!/bin/bash
awk '/man1/{pos[$0] = NR}
END {
for(key in pos) reverse[pos[key]] = key
for(nr=1;nr<=NR;nr++)
if(nr in reverse) print reverse[nr]
}' yourfile
Saída:
[root@host ~]# sh shell.sh
man1 boy1
man1 boy3
man1 boy4
man1 boy2