diff --git a/drama/src/rev-mc.c b/drama/src/rev-mc.c
index 3471d0f..1feda2b 100644
--- a/drama/src/rev-mc.c
+++ b/drama/src/rev-mc.c
@@ -335,6 +335,7 @@ find_row_mask(std::vector<set_t> &sets,
                     if (mask_task.empty()) { break; }
                     cur_mask = mask_task.front();
                     mask_task.pop();
+                    verbose_printerr("[LOG] - Row mask: 0x%0lx \t\t bits: %s\n", cur_mask, bit_string(cur_mask));
                 }
 
                 if (resolve(cur_mask)) {