update

backend-cli.py

@@ -267,7 +267,7 @@ if __name__ == "__main__":
     hard_task_lst = None
     if socket.gethostname() in {'hamburg', 'neuromancer'} or os.path.isdir("/home/pminervi"):
         wait = False
-        hard_task_lst = ['nq', 'trivia', 'tqa']
+        hard_task_lst = None # ['nq', 'trivia', 'tqa']
 
     if wait:
         time.sleep(60 * random.randint(5, 10))
@@ -280,9 +280,9 @@ if __name__ == "__main__":
 
     if res is False:
         if random.randint(0, 5) == 0:
-            res = maybe_refresh_results(1000, hard_task_lst=hard_task_lst)
+            res = maybe_refresh_results(500, hard_task_lst=hard_task_lst)
         else:
-            res = process_finished_requests(1000, hard_task_lst=hard_task_lst)
+            res = process_finished_requests(500, hard_task_lst=hard_task_lst)
 
     if res is False:
         if random.randint(0, 5) == 0: