timestamp        1386 dmtcp_coordinator.cpp   char timestamp[80];
timestamp        1400 dmtcp_coordinator.cpp   ctime_r(&ckptTimeStamp, timestamp);
timestamp        1402 dmtcp_coordinator.cpp   timestamp[strlen(timestamp) - 1] = '\0';
timestamp        1403 dmtcp_coordinator.cpp   fprintf ( fp, "ckpt_timestamp=\"%s\"\n\n", timestamp );