#!/bin/bash export LD_LIBRARY_PATH=. ./MB.exe -S ./rel.strat +RTS -C -N4 -M100G -K1G -RTS $1 2>/dev/null