documentation serial openmpi4