Implement a poor man's timeout for tasks

run-exp.py

@@ -103,7 +103,17 @@ class Task:
         # print(" ".join(args))
         # print("popd")
 
-        subprocess.run(" ".join(args), shell = True, cwd = self._work_dir)
+        try:
+            subprocess.run(
+                " ".join(args),
+                shell = True,
+                cwd = self._work_dir,
+                timeout = 3600,  # FIXME
+            )
+        except subprocess.TimeoutExpired:
+            print()
+            print("Task timed out!")
+            print()
 
     @classmethod
     def from_dict(cls, data):