diff --git a/Jenkinsfile b/Jenkinsfile
index b73d4b3aa33abd139b6cbd24550e004cceee5278..973fcba99755c9ce28f94e1ce48e4bf669324d7d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,6 +2,10 @@
 
 pipeline {
 
+  options {
+      timeout(time: 4, unit: 'HOURS') 
+  }
+
   agent { label "build-node8" }
 
   environment {
diff --git a/frameworks/Kieker/scripts/run-benchmark.sh b/frameworks/Kieker/scripts/run-benchmark.sh
index 537fdad0d3d8fba05fbedd2729422e85afb05e3e..d9746a3d9aedd83422db9cbf82905854d7eb38f8 100755
--- a/frameworks/Kieker/scripts/run-benchmark.sh
+++ b/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 "++++++++++++++++++++++++++"