Set timeout to 4 hours.

Jenkinsfile

@@ -2,6 +2,10 @@
 
 pipeline {
 
+  options {
+      timeout(time: 4, unit: 'HOURS') 
+  }
+
   agent { label "build-node8" }
 
   environment {

frameworks/Kieker/scripts/run-benchmark.sh

@@ -36,8 +36,6 @@ mkdir -p ${BASE_DIR}/results-kieker
 
 rm -f ${COLLECTED_DATA_FILE}
 
-ls ${BASE_DIR}
-
 ## run loop
 for ((v=1;v<=${NUM_OF_REPEATS};v+=1)); do
 	echo "++++++++++++++++++++++++++"