From 7a0a39cdc63653d88ca4b77c520085cf34b9237c Mon Sep 17 00:00:00 2001
From: Aman Goel <goelaman@amazon.com>
Date: Thu, 5 Sep 2024 20:05:37 +0000
Subject: [PATCH] [PEx] Minor logging changes

---
 .../PExRuntime/src/main/java/pex/runtime/PExGlobal.java   | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Src/PRuntimes/PExRuntime/src/main/java/pex/runtime/PExGlobal.java b/Src/PRuntimes/PExRuntime/src/main/java/pex/runtime/PExGlobal.java
index 1ba95b9ac..c5eda8a83 100644
--- a/Src/PRuntimes/PExRuntime/src/main/java/pex/runtime/PExGlobal.java
+++ b/Src/PRuntimes/PExRuntime/src/main/java/pex/runtime/PExGlobal.java
@@ -296,10 +296,10 @@ public static void printProgressHeader() {
         StringBuilder s = new StringBuilder(100);
         s.append(StringUtils.center("Time", 11));
         s.append(StringUtils.center("Memory", 9));
+        s.append(StringUtils.center("Tasks (run/fin/pen)", 24));
 
         s.append(StringUtils.center("Schedules", 12));
         s.append(StringUtils.center("Timelines", 12));
-        s.append(StringUtils.center("Tasks (run/fin/pen)", 24));
 //        s.append(StringUtils.center("Unexplored", 24));
 
         if (config.getStateCachingMode() != StateCachingMode.None) {
@@ -332,12 +332,12 @@ public static void printProgress(boolean forcePrint) {
             s.append(StringUtils.center(String.format("%s", runtimeHms), 11));
             s.append(
                     StringUtils.center(String.format("%.1f GB", MemoryMonitor.getMemSpent() / 1024), 9));
-
-            s.append(StringUtils.center(String.format("%d", getTotalSchedules()), 12));
-            s.append(StringUtils.center(String.format("%d", timelines.size()), 12));
             s.append(StringUtils.center(String.format("%d / %d / %d",
                             runningTasks.size(), finishedTasks.size(), pendingTasks.size()),
                     24));
+
+            s.append(StringUtils.center(String.format("%d", getTotalSchedules()), 12));
+            s.append(StringUtils.center(String.format("%d", timelines.size()), 12));
 //                s.append(
 //                        StringUtils.center(
 //                                String.format(