diff --git a/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java b/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java
index d30b2c1bdfa3d133b327c6e38934b5f9ee93be27..d9ca6962024159f89cf9a4448d80c3786904a8e0 100644
--- a/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java
+++ b/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java
@@ -1841,7 +1841,7 @@ public class Solver<D extends DataStructureFactory>
         this.slistener.end(status);
         if (!this.undertimeout) {
             String message = " Timeout (" + this.timeout
-                    + (this.timeBasedTimeout ? "s" : " conflicts")
+                    + (this.timeBasedTimeout ? "ms" : " conflicts")
                     + ") exceeded";
             throw new TimeoutException(message);
         }