From eba9078d529f9bde29110e078ced050153f83f78 Mon Sep 17 00:00:00 2001
From: Jiri Kalvoda <jirikalvoda@kam.mff.cuni.cz>
Date: Fri, 3 May 2024 23:38:38 +0200
Subject: [PATCH] run.sh: thread id

---
 run.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run.sh b/run.sh
index 8d84f9b25..daec5ab42 100755
--- a/run.sh
+++ b/run.sh
@@ -1,2 +1,2 @@
 #!/bin/bash
-bash gen_main_test.sh $@ | shuf | systemd-run --send-sighup -Pd -E LOGFILE=$LOGFILE -E workdir=$workdir --user -p CPUAffinity=1 -p MemoryMax=16G -p MemoryHigh=16G sh
+bash gen_main_test.sh ${@:2} | shuf | systemd-run --send-sighup -Pd -E LOGFILE=$LOGFILE -E workdir=$workdir --user -p CPUAffinity=$1 -p MemoryMax=14G -p MemoryHigh=14G sh
-- 
GitLab