. . . . "For example, the operation log 33 has records of an operation ID (e.g. a checkpoint ID) for identifying each process such as a snapshot process or checkpoint process, a time at which the process has been performed, and so on." .