diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/Dartagnan.java b/dartagnan/src/main/java/com/dat3m/dartagnan/Dartagnan.java
index 2b42aa89fd..4d9fd5cac9 100644
--- a/dartagnan/src/main/java/com/dat3m/dartagnan/Dartagnan.java
+++ b/dartagnan/src/main/java/com/dat3m/dartagnan/Dartagnan.java
@@ -356,7 +356,7 @@ public static String generateResultSummary(VerificationTask task, ProverEnvironm
                 try {
                     increaseBoundAndDump(reachedBounds, task.getConfig());
                 } catch (IOException e) {
-                    e.printStackTrace();
+                    logger.warn("Failed to save bounds file: {}", e.getLocalizedMessage());
                 }
             }
             summary.append(result).append("\n");
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/LoopUnrolling.java b/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/LoopUnrolling.java
index e83fad564a..b0b81a6291 100644
--- a/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/LoopUnrolling.java
+++ b/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/LoopUnrolling.java
@@ -289,7 +289,7 @@ private Map<Function, Map<CondJump, Integer>> loadLoopBoundsMapFromFile(Program
                         .put(loopJump, bound);
             }
         } catch (IOException e) {
-            e.printStackTrace();
+            // Nothing to be done, filePath is guaranteed to exists when the FileReader is called.
         }
 
         return loopBoundsMapPerFunction;
@@ -313,7 +313,7 @@ private void dumpLoopBoundsMapToFile(Program program, Map<Function, Map<CondJump
             }
             csvPrinter.flush();
         } catch (IOException e) {
-            e.printStackTrace();
+            logger.warn("Failed to save bounds file: {}", e.getLocalizedMessage());
         }
     }