diff --git a/manticore/manticore.py b/manticore/manticore.py
index b0d74d7..aa5b9d2 100644
--- a/manticore/manticore.py
+++ b/manticore/manticore.py
@@ -271,7 +271,7 @@ class Manticore(object):
     @verbosity.setter
     def verbosity(self, setting):
         levels = [[],
-                  [('MAIN', logging.INFO), ('EXECUTOR', logging.INFO)],
+                  [('MAIN', logging.INFO), ('EXECUTOR', logging.DEBUG)],
                   [('PLATFORM', logging.DEBUG)],
                   [('MEMORY', logging.DEBUG), ('CPU', logging.DEBUG)],
                   [('REGISTERS', logging.DEBUG)],