<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_crsdht59oqn09vdn8udlhjkbol, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

p {
  repeat with ms sleep 200 {
    int cores = 0;
    double totalMHz = 0, min = 1e10, max = 0;
    
    for (S line : toLines(loadTextFile("/proc/cpuinfo")))
      if (contains(line, "MHz")) {
        S mhz = trim(partAfterColon(line));
        ++cores;
        totalMHz += parseDouble(mhz);
      }
      
    if (cores == 0) print("Huh?");
    else {
      double averageMHz = totalMHz/cores;
      //print("Found " + n(cores, "core") + ". Average MHz: " + iround(averageMHz));
      print("Found " + n(cores, "core") + ". MHz: " + min + (max != min ? "-" + max : ""));
    }
  }
}