==25988==ERROR: AddressSanitizer failed to allocate 0x800002000 (34359746560) bytes of LargeMmapAllocator (error code: 12) ==25988==Process memory map follows: 0x000000400000-0x0000007e2000 /home/user/boolector-asan 0x0000009e2000-0x0000009e3000 /home/user/boolector-asan 0x0000009e3000-0x000000a07000 /home/user/boolector-asan 0x000000a07000-0x0000016fa000 0x00007fff7000-0x00008fff7000 0x00008fff7000-0x02008fff7000 0x02008fff7000-0x10007fff8000 0x600000000000-0x602000000000 0x602000000000-0x602000010000 0x602000010000-0x603000000000 0x603000000000-0x603000010000 0x603000010000-0x604000000000 0x604000000000-0x604000010000 0x604000010000-0x606000000000 0x606000000000-0x606000010000 0x606000010000-0x607000000000 0x607000000000-0x607000010000 0x607000010000-0x608000000000 0x608000000000-0x608000010000 0x608000010000-0x60b000000000 0x60b000000000-0x60b000010000 0x60b000010000-0x60c000000000 0x60c000000000-0x60c000010000 0x60c000010000-0x60e000000000 0x60e000000000-0x60e000010000 0x60e000010000-0x611000000000 0x611000000000-0x611000010000 0x611000010000-0x615000000000 0x615000000000-0x615000020000 0x615000020000-0x616000000000 0x616000000000-0x616000020000 0x616000020000-0x619000000000 0x619000000000-0x619000020000 0x619000020000-0x61d000000000 0x61d000000000-0x61d000020000 0x61d000020000-0x621000000000 0x621000000000-0x621000020000 0x621000020000-0x622000000000 0x622000000000-0x622000020000 0x622000020000-0x624000000000 0x624000000000-0x624000030000 0x624000030000-0x625000000000 0x625000000000-0x625000020000 0x625000020000-0x629000000000 0x629000000000-0x629000010000 0x629000010000-0x62d000000000 0x62d000000000-0x62d000020000 0x62d000020000-0x631000000000 0x631000000000-0x631000040000 0x631000040000-0x640000000000 0x640000000000-0x640000003000 0x7f5e91ee2000-0x7f6291ee4000 0x7f6691e00000-0x7f6691f00000 0x7f6692000000-0x7f6692100000 0x7f6692200000-0x7f6692300000 0x7f6692400000-0x7f6692500000 0x7f6692533000-0x7f6694885000 0x7f6694885000-0x7f6694a6c000 /lib/x86_64-linux-gnu/libc-2.27.so 0x7f6694a6c000-0x7f6694c6c000 /lib/x86_64-linux-gnu/libc-2.27.so 0x7f6694c6c000-0x7f6694c70000 /lib/x86_64-linux-gnu/libc-2.27.so 0x7f6694c70000-0x7f6694c72000 /lib/x86_64-linux-gnu/libc-2.27.so 0x7f6694c72000-0x7f6694c76000 0x7f6694c76000-0x7f6694c8d000 /lib/x86_64-linux-gnu/libgcc_s.so.1 0x7f6694c8d000-0x7f6694e8c000 /lib/x86_64-linux-gnu/libgcc_s.so.1 0x7f6694e8c000-0x7f6694e8d000 /lib/x86_64-linux-gnu/libgcc_s.so.1 0x7f6694e8d000-0x7f6694e8e000 /lib/x86_64-linux-gnu/libgcc_s.so.1 0x7f6694e8e000-0x7f6694e91000 /lib/x86_64-linux-gnu/libdl-2.27.so 0x7f6694e91000-0x7f6695090000 /lib/x86_64-linux-gnu/libdl-2.27.so 0x7f6695090000-0x7f6695091000 /lib/x86_64-linux-gnu/libdl-2.27.so 0x7f6695091000-0x7f6695092000 /lib/x86_64-linux-gnu/libdl-2.27.so 0x7f6695092000-0x7f6695099000 /lib/x86_64-linux-gnu/librt-2.27.so 0x7f6695099000-0x7f6695298000 /lib/x86_64-linux-gnu/librt-2.27.so 0x7f6695298000-0x7f6695299000 /lib/x86_64-linux-gnu/librt-2.27.so 0x7f6695299000-0x7f669529a000 /lib/x86_64-linux-gnu/librt-2.27.so 0x7f669529a000-0x7f66952b4000 /lib/x86_64-linux-gnu/libpthread-2.27.so 0x7f66952b4000-0x7f66954b3000 /lib/x86_64-linux-gnu/libpthread-2.27.so 0x7f66954b3000-0x7f66954b4000 /lib/x86_64-linux-gnu/libpthread-2.27.so 0x7f66954b4000-0x7f66954b5000 /lib/x86_64-linux-gnu/libpthread-2.27.so 0x7f66954b5000-0x7f66954b9000 0x7f66954b9000-0x7f6695656000 /lib/x86_64-linux-gnu/libm-2.27.so 0x7f6695656000-0x7f6695855000 /lib/x86_64-linux-gnu/libm-2.27.so 0x7f6695855000-0x7f6695856000 /lib/x86_64-linux-gnu/libm-2.27.so 0x7f6695856000-0x7f6695857000 /lib/x86_64-linux-gnu/libm-2.27.so 0x7f6695857000-0x7f66959d0000 /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.25 0x7f66959d0000-0x7f6695bd0000 /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.25 0x7f6695bd0000-0x7f6695bda000 /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.25 0x7f6695bda000-0x7f6695bdc000 /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.25 0x7f6695bdc000-0x7f6695be0000 0x7f6695be0000-0x7f6695c07000 /lib/x86_64-linux-gnu/ld-2.27.so 0x7f6695cdd000-0x7f6695df4000 0x7f6695df4000-0x7f6695e07000 0x7f6695e07000-0x7f6695e08000 /lib/x86_64-linux-gnu/ld-2.27.so 0x7f6695e08000-0x7f6695e09000 /lib/x86_64-linux-gnu/ld-2.27.so 0x7f6695e09000-0x7f6695e0a000 0x7ffde7145000-0x7ffde7166000 [stack] 0x7ffde71ea000-0x7ffde71ed000 [vvar] 0x7ffde71ed000-0x7ffde71ef000 [vdso] 0xffffffffff600000-0xffffffffff601000 [vsyscall] ==25988==End of process memory map. ==25988==AddressSanitizer CHECK failed: /build/llvm-toolchain-3.9-GZwVE7/llvm-toolchain-3.9-3.9.1/projects/compiler-rt/lib/sanitizer_common/sanitizer_common.cc:120 "((0 && "unable to mmap")) != (0)" (0x0, 0x0) ==25988==WARNING: failed to fork (errno 12) ==25988==WARNING: failed to fork (errno 12) ==25988==WARNING: failed to fork (errno 12) ==25988==WARNING: failed to fork (errno 12) ==25988==WARNING: failed to fork (errno 12) ==25988==WARNING: Failed to use and restart external symbolizer! #0 0x4efc65 (/home/user/boolector-asan+0x4efc65) #1 0x50a375 (/home/user/boolector-asan+0x50a375) #2 0x4f9aa2 (/home/user/boolector-asan+0x4f9aa2) #3 0x503a15 (/home/user/boolector-asan+0x503a15) #4 0x4425b9 (/home/user/boolector-asan+0x4425b9) #5 0x43c7d6 (/home/user/boolector-asan+0x43c7d6) #6 0x4e6178 (/home/user/boolector-asan+0x4e6178) #7 0x42aa0a (/home/user/boolector-asan+0x42aa0a) #8 0x42ab61 (/home/user/boolector-asan+0x42ab61) #9 0x6f4720 (/home/user/boolector-asan+0x6f4720) #10 0x65b591 (/home/user/boolector-asan+0x65b591) #11 0x5a033a (/home/user/boolector-asan+0x5a033a) #12 0x59f55a (/home/user/boolector-asan+0x59f55a) #13 0x52531e (/home/user/boolector-asan+0x52531e) #14 0x7f66948a6b96 (/lib/x86_64-linux-gnu/libc.so.6+0x21b96) #15 0x4367a9 (/home/user/boolector-asan+0x4367a9)