checkpoint for GenericSolving