Warning: session_start(): open(/var/lib/php/sessions/sess_5qpil0qv3933jd752qviu0lurt, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
// returns minimal time needed static long benchFor30Seconds(S desc, Runnable r) { long start = sysNow(), min = -1, print = sysNow(); int seconds = 1, n = 30; while (seconds <= n) { long time = sysNow(); r.run(); long now = sysNow(); time = now-time; min = min < 0 ? time : min(min, time); if (now >= start+seconds*1000) { printAndSetConsoleTitle(min + " ms: " + desc + " (" + seconds + "/" + n + " s, last=" + time + " ms)"); ++seconds; } } ret min; }