a framework for carrying out benchmarks with monitoring support