coqtop killed

[52791.541304] coqtop invoked oom-killer: gfp_mask=0x100dca(GFP_HIGHUSER_MOVABLE|__GFP_ZERO), order=0, oom_score_adj=0
[52791.541307] CPU: 6 PID: 17667 Comm: coqtop Tainted: G     U            5.2.8-arch1-1-ARCH #1
[52791.541308] Hardware name: Dell Inc. XPS 13 9370/0F6P3V, BIOS 1.11.1 07/11/2019
[52791.541308] Call Trace:
[52791.541315]  dump_stack+0x5c/0x80
[52791.541318]  dump_header+0x51/0x32d
[52791.541320]  ? preempt_count_add+0x79/0xb0
[52791.541322]  ? _raw_spin_lock+0x13/0x30
[52791.541323]  ? preempt_count_add+0x79/0xb0
[52791.541324]  ? _raw_spin_trylock+0x13/0x50
[52791.541326]  oom_kill_process.cold+0xb/0x10
[52791.541327]  out_of_memory+0x1ad/0x440
[52791.541329]  __alloc_pages_nodemask+0xfc7/0x10e0
[52791.541332]  alloc_pages_vma+0x7d/0x1c0
[52791.541335]  __handle_mm_fault+0xe61/0x15d0
[52791.541337]  handle_mm_fault+0xce/0x1f0
[52791.541339]  __do_page_fault+0x244/0x4d0
[52791.541340]  do_page_fault+0x33/0x130
[52791.541343]  ? page_fault+0x8/0x30
[52791.541344]  page_fault+0x1e/0x30
[52791.541345] RIP: 0033:0x5564e54a8291
[52791.541347] Code: d5 c1 ff ff 48 89 c5 48 85 c0 0f 84 89 00 00 00 8b 05 0b f9 5b 00 83 f8 01 76 4e 83 f8 02 74 39 48 89 de 48 c1 e6 0a 49 01 f4 <4c> 89 65 00 48 8b 05 34 f9 5b 00 48 8d 44 03 01 48 3b 05 30 f9 5b
[52791.541348] RSP: 002b:00007ffff942c5f0 EFLAGS: 00010206
[52791.541349] RAX: 0000000000000800 RBX: 0000000000000002 RCX: 00007f940066a008
[52791.541349] RDX: 00005564e89c3ba0 RSI: 0000000000000000 RDI: 0000000000000003
[52791.541350] RBP: 00007f9416ac4fe8 R08: 0000000002d3e206 R09: 0000000002c8b5fc
[52791.541350] R10: 0000000000000004 R11: 00005564e5a53d70 R12: 0000000000000b00
[52791.541351] R13: 00007f956f2ed998 R14: 00007f9416ac5000 R15: 00007f9416ac5008
[52791.541352] Mem-Info:
[52791.541355] active_anon:3361589 inactive_anon:304449 isolated_anon:0
                active_file:4194 inactive_file:787 isolated_file:0
                unevictable:202043 dirty:4 writeback:0 unstable:0
                slab_reclaimable:24461 slab_unreclaimable:32960
                mapped:33910 shmem:556855 pagetables:19321 bounce:0
                free:35462 free_pcp:124 free_cma:0
[52791.541356] Node 0 active_anon:13446356kB inactive_anon:1217796kB active_file:16776kB inactive_file:3148kB unevictable:808172kB isolated(anon):0kB isolated(file):0kB mapped:135640kB dirty:16kB writeback:0kB shmem:2227420kB shmem_thp: 0kB shmem_pmdmapped: 0kB anon_thp: 24576kB writeback_tmp:0kB unstable:0kB all_unreclaimable? yes
[52791.541357] Node 0 DMA free:15896kB min:64kB low:80kB high:96kB active_anon:0kB inactive_anon:0kB active_file:0kB inactive_file:0kB unevictable:0kB writepending:0kB present:15984kB managed:15896kB mlocked:0kB kernel_stack:0kB pagetables:0kB bounce:0kB free_pcp:0kB local_pcp:0kB free_cma:0kB
[52791.541359] lowmem_reserve[]: 0 918 15714 15714 15714
[52791.541360] Node 0 DMA32 free:62968kB min:3944kB low:4928kB high:5912kB active_anon:872304kB inactive_anon:3128kB active_file:564kB inactive_file:40kB unevictable:5632kB writepending:0kB present:1018036kB managed:952032kB mlocked:0kB kernel_stack:288kB pagetables:2336kB bounce:0kB free_pcp:496kB local_pcp:248kB free_cma:0kB
[52791.541362] lowmem_reserve[]: 0 0 14795 14795 14795
[52791.541364] Node 0 Normal free:62984kB min:63568kB low:79460kB high:95352kB active_anon:12574332kB inactive_anon:1214668kB active_file:16024kB inactive_file:3236kB unevictable:802540kB writepending:16kB present:15441920kB managed:15156768kB mlocked:48kB kernel_stack:17392kB pagetables:74948kB bounce:0kB free_pcp:0kB local_pcp:0kB free_cma:0kB
[52791.541365] lowmem_reserve[]: 0 0 0 0 0
[52791.541367] Node 0 DMA: 2*4kB (U) 2*8kB (U) 2*16kB (U) 3*32kB (U) 2*64kB (U) 2*128kB (U) 0*256kB 0*512kB 1*1024kB (U) 1*2048kB (M) 3*4096kB (M) = 15896kB
[52791.541370] Node 0 DMA32: 214*4kB (UME) 119*8kB (UE) 136*16kB (UME) 139*32kB (UE) 118*64kB (UME) 107*128kB (UME) 53*256kB (UE) 27*512kB (ME) 6*1024kB (UE) 0*2048kB 0*4096kB = 63216kB
[52791.541374] Node 0 Normal: 835*4kB (UME) 1562*8kB (UME) 854*16kB (UME) 465*32kB (UME) 64*64kB (UME) 6*128kB (UME) 2*256kB (ME) 3*512kB (UME) 1*1024kB (E) 0*2048kB 3*4096kB (E) = 64604kB
[52791.541379] Node 0 hugepages_total=0 hugepages_free=0 hugepages_surp=0 hugepages_size=1048576kB
[52791.541380] Node 0 hugepages_total=0 hugepages_free=0 hugepages_surp=0 hugepages_size=2048kB
[52791.541380] 562001 total pagecache pages
[52791.541381] 0 pages in swap cache
[52791.541381] Swap cache stats: add 0, delete 0, find 0/0
[52791.541382] Free swap  = 0kB
[52791.541382] Total swap = 0kB
[52791.541383] 4118985 pages RAM
[52791.541383] 0 pages HighMem/MovableOnly
[52791.541383] 87811 pages reserved
[52791.541384] 0 pages hwpoisoned
[52791.541384] Tasks state (memory values in pages):
[52791.541384] [  pid  ]   uid  tgid total_vm      rss pgtables_bytes swapents oom_score_adj name
[52791.541391] [    308]     0   308    27685      985   204800        0             0 systemd-journal
[52791.541393] [    316]     0   316    19524       38    49152        0             0 lvmetad
[52791.541394] [    321]     0   321    10115      656    94208        0         -1000 systemd-udevd
[52791.541395] [    327]   972   327     6619      214    90112        0             0 systemd-network
[...]
[52791.541558] [  26028]  1000 26028   134053     4196   786432        0           300 chrome
[52791.541559] [  28854]  1000 28854   139122     2627   438272        0           200 chrome
[52791.541560] [  17667]  1000 17667  1534254  1383613 11243520        0             0 coqtop
[52791.541561] [  23237]  1000 23237  1360330  1173634  9564160        0             0 coqtop
[52791.541562] oom-kill:constraint=CONSTRAINT_NONE,nodemask=(null),cpuset=/,mems_allowed=0,global_oom,task_memcg=/user.slice/user-1000.slice/user@1000.service,task=coqtop,pid=17667,uid=1000
[52791.541570] Out of memory: Killed process 17667 (coqtop) total-vm:6137016kB, anon-rss:5533892kB, file-rss:560kB, shmem-rss:0kB
[52791.671213] oom_reaper: reaped process 17667 (coqtop), now anon-rss:0kB, file-rss:0kB, shmem-rss:0kB