return "agent=" + agentName + " orig=" + origNode + " dest=" + destNode;
return "agent=" + agent + " orig=" + origNode + " dest=" + destNode;
    public String toString() {      return "agent=" + agentName + " orig=" + origNode + " dest=" + destNode;    }