maximumState     1361 dmtcp_coordinator.cpp   status.maximumState = ( max==INITIAL_MAX ? WorkerState::UNKNOWN
maximumState       77 dmtcp_coordinator.h         WorkerState maximumState;