all processes must be aborted, whilst the error message should only be printed once. Also, calling std::exit(1) results in "nicer" output (at least on openMPI) because mpirun does not try to print a stack trace for every process.