Starts and kills the docker container when memory is low

start_container.sh

#!/bin/bash

CONTAINER_NAME="commonroad_container"
MIN_FREE_GB=2
SLEEP_TIME_MEMORY_CHECK=0.1

trap 'kill $pid_to_kill_exit; exit' INT

kill_low_memory() {
    while true 
    do
        if (( $(free -g | awk '/Mem/ {print $7}') < $MIN_FREE_GB ))
        then
            docker kill $CONTAINER_NAME
        fi
        sleep $SLEEP_TIME_MEMORY_CHECK
    done
}

kill_low_memory &
pid_to_kill_exit=$!

docker run -it --rm -p 9000:8888 --name $CONTAINER_NAME --mount src="$(pwd)",target=/commonroad/commonroad-search,type=bind gitlab.lrz.de:5005/tum-cps/commonroad-search:2020_AI