added some debugging

integraal/integraal-explanation/src/main/java/fr/boreal/explanation/solving_enumerating/marco/MARCOGMUSSolver.java

@@ -121,7 +121,12 @@ public class MARCOGMUSSolver implements Solver {
                 }
                 if (line.startsWith("U")) {
                     gmuses.add(line.split("U ")[1]);
+                    System.out.println(line);
                 } else {
+                    if (line.startsWith("S")) {
+                        // satisfiable set
+                        System.out.println(line);
+                    }
                     System.err.println(line);
                 }
             }
@@ -184,9 +189,14 @@ public class MARCOGMUSSolver implements Solver {
         try {
             while ((line = in.readLine()) != null) {
                 if (line.startsWith("U")) {
-                    gmuses.add(line.split("U ")[1]); // Extract GMUSes from MARCO's output
+                    gmuses.add(line.split("U ")[1]);
+                    System.out.println(line);
                 } else {
-                    System.err.println(line); // Log unexpected output
+                    if (line.startsWith("S")) {
+                        // satisfiable set
+                        System.out.println(line);
+                    }
+                    System.err.println(line);
                 }
             }
         } catch (IOException e) {