std               635 dmtcp_coordinator.cpp   o << "Status..." << std::endl
std               637 dmtcp_coordinator.cpp     << " (" << inet_ntoa(localhostIPAddr) << ")" << std::endl
std               638 dmtcp_coordinator.cpp     << "Port: " << thePort << std::endl
std               642 dmtcp_coordinator.cpp     o << "disabled (checkpoint manually instead)" << std::endl;
std               644 dmtcp_coordinator.cpp     o << theCheckpointInterval << std::endl;
std               647 dmtcp_coordinator.cpp   o << "Exit on last client: " << exitOnLast << std::endl
std               648 dmtcp_coordinator.cpp     << "Exit after checkpoint: " << exitAfterCkpt << std::endl
std               649 dmtcp_coordinator.cpp     << "Computation Id: " << compId << std::endl
std               650 dmtcp_coordinator.cpp     << "Checkpoint Dir: " << ckptDir << std::endl
std               651 dmtcp_coordinator.cpp     << "NUM_PEERS=" << numPeers << std::endl
std               652 dmtcp_coordinator.cpp     << "RUNNING=" << (isRunning ? "yes" : "no") << std::endl;
std               888 dmtcp_coordinator.cpp     << "/dmtcpSharedArea." << compId << "." << std::hex << curTimeStamp;
std              1375 dmtcp_coordinator.cpp     o << "_" << std::setw(5) << std::setfill('0') << compId.computationGeneration();
std                87 plugin/ipc/connectionidentifier.cpp   o << std::hex << id.hostid()
std                88 plugin/ipc/connectionidentifier.cpp     << '-' << std::dec << id.pid()
std                89 plugin/ipc/connectionidentifier.cpp     << '-' << std::hex << id.time()
std                90 plugin/ipc/connectionidentifier.cpp     << std::dec << '(' << id.conId() << ')';
std               133 plugin/pid/pid.cpp     << std::hex << dmtcp_get_coordinator_timestamp();
std               140 shareddata.cpp       << *compId << "." << std::hex << coordInfo->timeStamp;
std               143 uniquepid.cpp    o << std::hex << id.hostid() << '-' << std::dec << id.pid() << '-' << std::hex << id.time() << std::dec;
std               149 uniquepid.cpp    o << std::hex << id._hostid<< '-' << std::dec << id._pid << '-' << std::hex << id._time << std::dec;