diff --git a/src/Composer/DependencyResolver/Solver.php b/src/Composer/DependencyResolver/Solver.php
index 6975df2cd..d0f7ec8fb 100644
--- a/src/Composer/DependencyResolver/Solver.php
+++ b/src/Composer/DependencyResolver/Solver.php
@@ -50,6 +50,11 @@ class Solver
         $this->ruleSetGenerator = new RuleSetGenerator($policy, $pool);
     }
 
+    public function getRuleSetSize()
+    {
+        return count($this->rules);
+    }
+
     // aka solver_makeruledecisions
     private function makeAssertionRuleDecisions()
     {
diff --git a/src/Composer/Installer.php b/src/Composer/Installer.php
index 464102120..1b329c2bb 100644
--- a/src/Composer/Installer.php
+++ b/src/Composer/Installer.php
@@ -513,6 +513,7 @@ class Installer
 
         if ($this->io->isVerbose()) {
             $this->io->writeError("Analyzed ".count($pool)." packages to resolve dependencies");
+            $this->io->writeError("Analyzed ".$solver->getRuleSetSize()." rules to resolve dependencies");
         }
 
         // force dev packages to be updated if we update or install from a (potentially new) lock