Most efficient big non-production users August-October 2017

Currently, the batch system is not properly reporting CPU time used by jobs. Due to this, efficiency metrics for jobs are unavailable. We will update this post as soon as the issue is resolved.