Спасибо огромное всем, все получилось!!
Перебрала ВСЕ указанные Вами варианты, в результате сделала команду:sed -n -e '1p' -e '3p' -e '12q' in.txt | xargs >>out.txt
Идея останавливать чтение файла после 12 строки мне очень понравилась, сделала -e '12q'. Нечего сервер зря гонять, у него и так задач много:-)
А то что у xargs ограничение на размер строки, это мне оказалось не критично. Все читается.
Теперь получается отличный файл с данными! Данные поступают каждые 15 минут, и за пару месяцев большой файл бы накапливался, длинный как кишка, а так в 3 раза короче. Люблю когда все элегантно:-)!!