【openmpi】报错后可能有用的一个命令