user1 09:57:44 user1 10:28:09 user1 12:45:10 user2 10:38:31 user3 10:12:28 user4 10:08:51 user4 10:55:07 user5 10:25:42 user5 11:56:25 user5 12:20:24Отсюда надо удалить строки, начинающиеся на "user2" и "user3".
Не долго думая, решил подкрепить свои знания по awk...