checkpointing after migration