Performance Mining for Batch Processing Using the Performance Spectrum · Study