diff --git a/fuzzolic/executor.py b/fuzzolic/executor.py
index 39c6aa6..e660314 100644
--- a/fuzzolic/executor.py
+++ b/fuzzolic/executor.py
@@ -449,7 +449,7 @@ def fuzz_one(self, testcase, target, force_smt=False):
                 print('[FUZZOLIC] Solver is taking too long. Let us stop it.')
                 p_solver.send_signal(signal.SIGUSR2)
                 try:
-                    p_solver.wait(SOLVER_TIMEOUT)
+                    p_solver.wait(SOLVER_TIMEOUT / 1000)
                 except subprocess.TimeoutExpired:
                     print('[FUZZOLIC] Solver will be killed.')
                     p_solver.send_signal(signal.SIGKILL)