maxHistoryFileLengthMillis    
  Parameters
maxHistoryFileLengthMillis    
if a session takes longer than this value, the history file will be split into several parts
if a session takes longer than this value, the history file will be split into several parts