Faster checkpointing due to the use of memory pools by the writable representation