diff --git a/compiler/src/dotty/tools/dotc/core/ConstraintRunInfo.scala b/compiler/src/dotty/tools/dotc/core/ConstraintRunInfo.scala
index c1b23888b491..d2b1246a8149 100644
--- a/compiler/src/dotty/tools/dotc/core/ConstraintRunInfo.scala
+++ b/compiler/src/dotty/tools/dotc/core/ConstraintRunInfo.scala
@@ -12,9 +12,12 @@ trait ConstraintRunInfo { self: Run =>
       maxSize = size
       maxConstraint = c
     }
-  def printMaxConstraint()(using Context): Unit = {
-    val printer = if (ctx.settings.YdetailedStats.value) default else typr
-    if (maxSize > 0) printer.println(s"max constraint = ${maxConstraint.nn.show}")
-  }
+  def printMaxConstraint()(using Context): Unit =
+    if maxSize > 0 then
+      val printer = if ctx.settings.YdetailedStats.value then default else typr
+      printer.println(s"max constraint size: $maxSize")
+      try printer.println(s"max constraint = ${maxConstraint.nn.show}")
+      catch case ex: StackOverflowError => printer.println("max constraint cannot be printed due to stack overflow")
+
   protected def reset(): Unit = maxConstraint = null
 }
diff --git a/compiler/src/dotty/tools/dotc/util/Stats.scala b/compiler/src/dotty/tools/dotc/util/Stats.scala
index 60465e519452..f04957f26400 100644
--- a/compiler/src/dotty/tools/dotc/util/Stats.scala
+++ b/compiler/src/dotty/tools/dotc/util/Stats.scala
@@ -55,7 +55,7 @@ import collection.mutable
   }
 
   def maybeMonitored[T](op: => T)(using Context): T =
-    if (ctx.settings.YdetailedStats.value) {
+    if (ctx.settings.YdetailedStats.value && hits.nonEmpty) {
       monitored = true
       try op
       finally {