#!/bin/bash

if [[ $(basename $(pwd)) == "bin" ]]; then
    cd ..
fi

if [[ $HOSTNAME == "tuxedi" ]]; then
    sudo performance.sh
fi

# instead of 7, use the number of fast CPU cores you have minus one
GCT="--gcthreads=7,1"
JULIA="/home/ufechner/.julia/juliaup/julia-1.10.2+0.x64.linux.gnu/bin/julia"

sudo chrt -r 70 $JULIA --project -t 7,1 $GCT
