Checkpointing work on server
Add profile to Makefile
Add export to instrument