Even if they were always on running *@home increases their power load a lot during non school hours when they'd normally be at dead idle. The way @home software usually works is once the CPU has been at low utilization for a certain period it cranks up it's computation. If he was top of SETI@home then the computers were definitely up 24/7.