The solutions found in this framework, however, do not necessarily satisfy a summary's budget constraint.
a subset of the solution found by solving Problem 2 has to be constructed as the final summary, and the near-optimality is no longer guaranteed.