Man pages matching name ompi-ps in section 1:

ompi-ps.1.en

debian 10 / openmpi-bin