dune runtest -j 5 -p multicore-magic,multicore-magic-dscheck
