Я знаю, что это не поможет вам в работе библиотеки RESTlet ... но:
Одна вещь, которую нужно учитывать, - это использование Service Driven Paging .
Обратите внимание, что это отличается от $ top и $ skip (иначе говоря, управляемой клиентом подкачки страниц), потому что страницы сервера, даже если клиент их не запрашивает
SDP особенно полезен, когда клиент выполняет нефильтрованный запрос для большого набора данных.
Таким образом, возможно, вы сможете понизить это число 7872 до чего-то более управляемого.