some more reporting

ModelWriter · Sep 26, 2017 · 34248ba · 34248ba
1 parent 52c865c
commit 34248ba
Showing 1 changed file with 6 additions and 7 deletions.
diff --git a/CASC/PortfolioMode.cpp b/CASC/PortfolioMode.cpp
@@ -265,7 +265,6 @@ bool PortfolioMode::runSchedule(Schedule& schedule, int terminationTime)
       if (sliceTime > remainingTime) {
         sliceTime = remainingTime;
       }
-
       ASS_GE(sliceTime,0);
 
       pid_t childId=Multiprocessing::instance()->fork();
@@ -285,12 +284,12 @@ bool PortfolioMode::runSchedule(Schedule& schedule, int terminationTime)
       }
       Timer::syncClock();
       ASS(childIds.insert(childId));
-      /*
-      env.beginOutput();
-      lineOutput() << "slice pid "<< childId << " slice: " << sliceCode
-         << " time: " << (sliceTime/100)/10.0 << endl;
-      env.endOutput();
-      */
+
+      if (outputAllowed()) {
+        env.beginOutput();
+        lineOutput() << "spawned child "<< childId << " with time: " << sliceTime << " (total remaining time " << remainingTime << ")" << endl;
+        env.endOutput();
+      }
 
       processesLeft--;
       if (!it.hasNext()) {