I am trying to contribute our local OPL usage stats to the global data base as per the wiki notes: OPL Problem Statistics . When I run upload-OPL-statistics on the command line, I receive the error message:
ssh: connect to host 22.214.171.124 port 57281: Connection timed out
Any ideas about what I can try next?
Thanks (and Happy New year),