DB12 DIRAC benchmark 2012 - a really quick benchmark. See comments within DIRACbenchmark.py for more details.