ckptTimeStamp     462 dmtcp_coordinator.cpp static time_t ckptTimeStamp = -1;
ckptTimeStamp    1288 dmtcp_coordinator.cpp     time(&ckptTimeStamp);
ckptTimeStamp    1400 dmtcp_coordinator.cpp   ctime_r(&ckptTimeStamp, timestamp);