coordTimeStamp    549 coordinatorapi.cpp   coordInfo->timeStamp = hello_remote.coordTimeStamp;
coordTimeStamp    606 coordinatorapi.cpp     coordInfo->timeStamp = hello_remote.coordTimeStamp;
coordTimeStamp   1165 dmtcp_coordinator.cpp   hello_local.coordTimeStamp = curTimeStamp;
coordTimeStamp   1270 dmtcp_coordinator.cpp     hello_local.coordTimeStamp = curTimeStamp;
coordTimeStamp    161 dmtcpmessagetypes.h     uint64_t coordTimeStamp;