Q1. If you can use Gurobi or CPLEX, and if all of your variables are integer, then you can use special options of those solvers to try to search for all solutions. Write back for more information. In general, however, it is not possible to get all solutions from a solver. (AMPL relies on solvers to compute solutions, so you can't just ask AMPL to print all the possible solutions.)
Q2. In general, the ordering of the goals will make a difference. So there are two possibilities:
- Your model and data are a very special case where all of the orderings lead to the same solution.
- There is an error in your implementation of goal programming in AMPL.
There is no easy way to know which case you are in; it requires studying your model and data, your solutions, and your implementation. If you can post your files, it may be possible to give some advice for getting started on such a study.