A branch-and-bound algorithm for hard multiple knapsack problems