MAX_VIRTUAL_PID   515 dmtcp_coordinator.cpp   JASSERT(_virtualPidToClientMap.size() < MAX_VIRTUAL_PID/1000)
MAX_VIRTUAL_PID   520 dmtcp_coordinator.cpp     if (_nextVirtualPid > MAX_VIRTUAL_PID) {