docs: private void reportSystemProperties() {
          StringBuilder sb = new StringBuilder();
  
          sb.append("\n interval: ").append(String.format("%6d", Long.valueOf(interval)));
          sb.append(" hangInterval: ").append(String.format("%6d", Long.valueOf(hangInterval)));
          sb.append(" compareRange: ").append(String.format("%6d", Integer.valueOf(compareRange)));
          sb.append(" highCpu: ").append(String.format("%4d", Integer.valueOf(highCpu)));
  
          sb.append("\n tputRatioPruneLevel: ").append(String.format("%2.2f", Double.valueOf(tputRatioPruneLevel)));
          sb.append(" poolTputRatioHigh: ").append(String.format("%2.2f", Double.valueOf(poolTputRatioHigh)));
          sb.append(" poolTputRatioLow: ").append(String.format("%2.2f", Double.valueOf(poolTputRatioLow)));
          sb.append(" compareSpanRatioMultiplier: ").append(String.format("%3d", Integer.valueOf(compareSpanRatioMultiplier)));
  
          sb.append("\n growScoreFilterLevel: ").append(String.format("%2.2f", Double.valueOf(growScoreFilterLevel)));
          sb.append(" shrinkScoreFilterLevel: ").append(String.format("%2.2f", Double.valueOf(shrinkScoreFilterLevel)));
          sb.append(" growShrinkDiffFilter: ").append(String.format("%2.2f", Double.valueOf(growShrinkDiffFilter)));
          sb.append(" dataAgePruneLevel: ").append(String.format("%2.2f", Double.valueOf(dataAgePruneLevel)));
          sb.append(" compareSpanPruneMultiplier: ").append(String.format("%3d", Integer.valueOf(compareSpanPruneMultiplier)));
  
          sb.append("\n poolIncrementMin: ").append(String.format("%3d", Integer.valueOf(poolIncrementMin)));
          sb.append(" poolIncrementMax: ").append(String.format("%4d", Integer.valueOf(poolIncrementMax)));
          sb.append(" poolIncrementBoundLow: ").append(String.format("%4d", Integer.valueOf(poolIncrementBoundLow)));
          sb.append(" poolIncrementBoundMedium: ").append(String.format("%4d", Integer.valueOf(poolIncrementBoundMedium)));
          sb.append(" minimumDesiredPoolSizeAdjustments : ").append(String.format("%4d", Integer.valueOf(minimumDesiredPoolSizeAdjustments)));
  
          sb.append("\n resetDistroStdDevEwmaRatio: ").append(String.format("%2.2f", Double.valueOf(resetDistroStdDevEwmaRatio)));
          sb.append(" resetDistroNewTputEwmaRatio: ").append(String.format("%2.2f", Double.valueOf(resetDistroNewTputEwmaRatio)));
          sb.append(" resetDistroConsecutiveOutliers: ").append(String.format("%2.2f", Double.valueOf(resetDistroConsecutiveOutliers)));
  
          Tr.event(tc, "Initial config settings:", sb);
      }