diff --git a/passes/opt/share.cc b/passes/opt/share.cc
index 40d6d1d20..1a4e2b31c 100644
--- a/passes/opt/share.cc
+++ b/passes/opt/share.cc
@@ -1297,8 +1297,8 @@ struct ShareWorker
 
 				qcsat.ez->assume(qcsat.ez->AND(sub1, sub2));
 
-				log("      Size of SAT problem: %d variables, %d clauses\n",
-						qcsat.ez->numCnfVariables(), qcsat.ez->numCnfClauses());
+				log("      Size of SAT problem: %zu cells, %d variables, %d clauses\n",
+						qcsat.imported_cells.size(), qcsat.ez->numCnfVariables(), qcsat.ez->numCnfClauses());
 
 				if (qcsat.ez->solve(sat_model, sat_model_values)) {
 					log("      According to the SAT solver this pair of cells can not be shared.\n");