Configuration of the time manager:
[ Settings/TimeManager ] time_synchronization_interval : integer = 10 |
 | Server nodes send each other time synchronization messages. This value is an initial value of interval between particular time synchronization messages is seconds. |