private synchronized int count_consoles(int servers) {
        int consoles = 1;
        if (servers > 15) {
            consoles = servers / 15;
            if (servers % 15 > 0) {
                consoles++;
            }
            return consoles;
        } else {
            return consoles;
        }
    }