Minor improvements

Author: msoos

src/occsimplifier.cpp

@@ -252,7 +252,7 @@ void OccSimplifier::extend_model(SolutionExtender* extender)
         }
         extender->dummyBlocked(blockedOn.var());
     }
-    if (solver->conf.verbosity >= 2) {
+    if (solver->conf.verbosity >= 2 && blockedClauses.size() > 0) {
         cout << "c [extend] Extended " << blockedClauses.size() << " var-elim clauses" << endl;
     }
 }

src/solver.cpp

@@ -3230,4 +3230,5 @@ const Lit lit, const double weight
         exit(-1);
     }
     varData[lit.var()].weight = weight;
+    verb_print(2, "lit " << lit << " weight set to: " << weight);
 }