Multiply WALLTIME with the number of processors. Let's see if that gets the

number of spurious failures back down.

git-svn-id: https://svn.dealii.org/trunk@22962 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/tests/tests.h b/tests/tests.h
index c77a5d6f7fa4fc96e5a01ed675f45feaff6b86f6..51ff270dd30b033bcf80343f6a4aaf444fc3632f 100644 (file)
--- a/tests/tests.h
+++ b/tests/tests.h
@@ -22,6 +22,7 @@
 #include <base/exceptions.h>
 #include <base/utilities.h>
 #include <base/thread_management.h>
+#include <base/multithread_info.h>
 #include <cmath>
 #include <fstream>
 #include <sstream>
@@ -137,7 +138,7 @@ struct DeadlockKiller
            conv >> delay;
            if (conv)
              {
-               sleep (delay*4);
+               sleep (delay*multithread_info.n_cpus);
                std::cerr << "Time's up: Killing job because it overran its allowed walltime"
                          << std::endl;
                std::abort ();