Computational experience with a core-based reduction procedure for the2-knapsack problem