improve/reduce logging

jastadd-mquat-base/src/main/jastadd/solvers/ai/AbstractEval.jrag

@@ -4,7 +4,6 @@ aspect eval {
   syn boolean Clause.checkUsingClass(Assignment assignment) {
     RealInterval leftSide = getDesignator().evalUsingClass(assignment);
     RealInterval rightSide = getExpression().evalUsingClass(assignment);
-    logger.debug("Evalutation " + this + " to [" + leftSide.lo() + "," + leftSide.hi() + "] " + getClauseComparator() + " [" + rightSide.lo() + "," + rightSide.hi() + "]");
     switch (getClauseComparator()) {
       case LT:
         return leftSide.hi() < rightSide.lo();
@@ -100,7 +99,6 @@ aspect eval {
 
         RealInterval realInterval = null;
 
-        String intervalComputation = "Interval [ ";
 
         // iterate through all resources in the resource class
         for (ResourceRef rRef : resourceRefs) {
@@ -108,7 +106,6 @@ aspect eval {
             if (crv.getPropertyRef().getRef() == this.getPropertyRef().getRef()) {
               resourceValues.add(crv);
               RealInterval newInterval = new RealInterval(crv.getValue().eval());
-              intervalComputation += crv.getValue().eval() + " ";
               if (realInterval == null) {
                 realInterval = newInterval;
               } else {
@@ -117,7 +114,6 @@ aspect eval {
             }
           }
         }
-        logger.debug(intervalComputation + "] = [" + realInterval.lo() + "," + realInterval.hi() + "]");
         return realInterval;
       }
     }

jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/clustering/KMeans.java

@@ -173,11 +173,14 @@ public class KMeans {
       e.printStackTrace();
     }
 
-    // print cluster statistics
-    logger.info("Clusters:");
+    int nonEmpty = 0;
     for (int c = 0; c < numClusters; c++) {
-      logger.info("Cluster " + c + ": " + Clusters.get(c).size() + " resources");
+      if (Clusters.get(c).size() > 0) {
+        nonEmpty++;
       }
+    }
+
+    logger.info("Clustering completed, created {} non-empty clusters.", nonEmpty);
 
     return Clusters;
   }

jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/AbstractILPSolver.java

@@ -103,7 +103,7 @@ public abstract class AbstractILPSolver implements BenchmarkableSolver {
       // translate ilp-encoded solution to MQuAT solution
       return populateSolution(variablesSetToOne, new ILPSolution(model));
     } catch (Exception e) {
-      logger.error("ILP solver returned empty solution");
+      logger.error("ILP solver crashed!");
       return Solution.emptySolutionOf(model);
     }
   }