Действительно, процесс рендеринга может занимать значительное количество времени, особенно при конвертации видео в GIF формат. Это связано с тем, что GIF - это формат анимации изображений, который использует сжатие без потерь, что требует больше времени и ресурсов для обработки.
Что касается вашего конкретного случая, такое большое время рендеринга и размер итогового файла GIF вполне может быть обусловлено тем, что вы конвертировали видео из формата mp4 в GIF, который требует дополнительной обработки и компрессии. Кроме того, изменение разрешения также может повлиять на размер итогового файла.
Однако, учитывая что вы не применяли никаких сложных эффектов и операций на таймлайне, можно предположить, что процесс рендеринга мог занять больше времени и быть менее эффективным, чем можно было бы ожидать. Рекомендуется проверить настройки рендеринга и использовать оптимальные параметры для конвертации видео в GIF, чтобы уменьшить время и размер итогового файла.