Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

process gets killed #441

Open
SAMeer2750 opened this issue Jan 11, 2025 · 0 comments
Open

process gets killed #441

SAMeer2750 opened this issue Jan 11, 2025 · 0 comments
Labels
bug Something isn't working

Comments

@SAMeer2750
Copy link

The process gets killed even after using --solver-timeout-assertion 0
i am running halmos in wsl
i have increased the ulimit -Sn to 1048576
but still its getting killed

image

kernel msg:
[ 5788.989923] oom-kill:constraint=CONSTRAINT_NONE,nodemask=(null),cpuset=/,mems_allowed=0,global_oom,task_memcg=/,task=halmos,pid=38751,uid=1000
[ 5788.990331] Out of memory: Killed process 38751 (halmos) total-vm:3319912kB, anon-rss:2235384kB, file-rss:0kB, shmem-rss:0kB, UID:1000 pgtables:4612kB oom_score_adj:0
@SAMeer2750 SAMeer2750 added the bug Something isn't working label Jan 11, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@SAMeer2750