Prettyfication -> The user can choose with paramater nMax, for how
many solve() calls collect information, before a descision is done