correct structure of the return type of ReduceSolution
remove debug printout
using TimeConstrained for each call of Solve