Я БЫЛ НЕ ПРАВ!Сборщик мусора работает нормально, цикл в CheckCollector не завершается, и потребление памяти не растёт в том случае,если убрать модуль Out. Это он, оказывается, чем-то замусоривает память так, что её потом не удаётся выделить под основную задачу цикла.

Таким образом, претензия к неосвобождению памяти снимается (вместо неё появляется закономерный вопрос к стандартному модулю Out).

Однако, выделить больше 1 Гб по-прежнему не получается, эта проблема остаётся.