From 9543f41ad90beea677b373b2b7bb6dc3f8b5ed1a Mon Sep 17 00:00:00 2001 From: Nikolai Maas Date: Mon, 2 Dec 2024 11:17:10 +0100 Subject: [PATCH] script --- run_evo.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run_evo.py b/run_evo.py index efa5ba37b..57e05154a 100755 --- a/run_evo.py +++ b/run_evo.py @@ -67,7 +67,7 @@ def kill_proc(): mt_kahypar_proc = subprocess.Popen(cmd, stdout=subprocess.PIPE, universal_newlines=True, preexec_fn=os.setsid) - t = Timer(timelimit + 20, kill_proc) + t = Timer(timelimit + 1000, kill_proc) t.start() out, err = mt_kahypar_proc.communicate() t.cancel()