>> grad students will find a way to squeeze out every second of available CPU time on a large system

>> they certainly get used, at least in my experience

As a taxpayer, this made me feel good, thank you for sharing.