A non-exponential queueing system with independent arrivals and batch servicing