When writing benchmark results to the log files, include the number of workers in the file name
Clone array in the steal() method