What result do you get from the Linux command "file ampl"? This tells you
the type of the file, which should be an executable of the kind (32-bit or
64-bit) appropriate to your installation. If not then the binary indeed
cannot be executed, and the next step would be to try downloading it again
-- there may have been a mistake or a corruption of the file.
Also I would try invoking AMPL with "./ampl" just to be sure you are
executing the right file.
Bob Fourer
4...@ampl.com