<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_u6rlrjb4t442d28s30eeks7ilc, 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 {
  //benchCompile("Minimal source", "class main {}");
  S id = #1001638;
  S src = getServerTranspilation(id);
  benchCompile("Huge source (" + id + "), " + l(src) + " chars", src);
}

svoid benchCompile(S desc, final S src) {
  benchForNSeconds(desc, r {
    File jar = javaCompile_overInternalBot(src);
    print(jar.length() + " bytes");
    jar.delete();
  }, 60*60); // one hour
}