Checkpointing solver work