Multi-stage Benders Decomposition for Optimizing Multicore Architectures