diff --git a/src/solver/parallel_tactic.cpp b/src/solver/parallel_tactic.cpp
index 76c31b1fd..ec3e50a83 100644
--- a/src/solver/parallel_tactic.cpp
+++ b/src/solver/parallel_tactic.cpp
@@ -641,7 +641,7 @@ private:
                 collect_statistics(*st);
                 m_queue.task_done(st);
                 if (!st->m().inc()) m_queue.shutdown();
-                IF_VERBOSE(1, display(verbose_stream()););
+                IF_VERBOSE(2, display(verbose_stream()););
                 dealloc(st);
             }
         }