now exporting DOFDistributor

5 jobs for NIFTy_4 in 8 minutes and 55 seconds (queued for 3 seconds)