Codeforces에는 256MB, SPOJ에선 1536MB가 메모리 제한입니다.

정해 중 하나인 2-SAT 풀이가 구현 방법에 따라 약 200~400MB를 사용하는 것 같습니다.

메모리 제한을 512MB나 256MB로 늘려서 재채점해주시면 감사하겠습니다.