diff --git a/src/math/lp/lp_settings.h b/src/math/lp/lp_settings.h
index 9df44a22a..73f39798b 100644
--- a/src/math/lp/lp_settings.h
+++ b/src/math/lp/lp_settings.h
@@ -261,7 +261,7 @@ private:
     unsigned         m_dio_report_branch_with_term_tigthening_period = 10000000; // period of reporting the branch with term tigthening
     bool             m_dump_bound_lemmas = false;
     bool             m_dio_ignore_big_nums = false;
-    unsigned         m_dio_calls_period = 1;
+    unsigned         m_dio_calls_period = 4;
 
 public:
     unsigned dio_calls_period() const { return m_dio_calls_period; }