added global timeout to detect otherwise endless running checks, when nodes crash or resources are depleted

gns3-bench.py

@@ -147,6 +147,9 @@ for run in range(1, NUMBER_OF_BENCHMARK_RUNS + 1):
         # print(os.popen("top -b -n 1 | head -20 >> gns3bench-perf.log"))
 
         time_globalTimeout = time.time()
+        print("(check duration: {:d} sec, timeout: {:d} sec)".format(int((time_globalTimeout - time_active)),
+                                                                     int(GLOBAL_TIMEOUT)))
+
         # if usability of nodes is checked longer than global timeout, exit
         # this can happen if nodes get stuck, e.g., due to high load, missing resources etc.
         if time_globalTimeout - time_active > GLOBAL_TIMEOUT: