#!/bin/bash
echo "mpirun (openmpi/3.1, pgi/18.4)"
