KLEE: ERROR: Error writing stats data: database is locked

[ladisgin]

Moved from UnitTestBot/UTBotCpp#145

Steps to reproduce:

1. Configure project libbacktrace
2. Generate tests for file dwarf.c
3. Find errors in logs

2022-04-11 10:22:33.557 [utbot-64TK      ]        RunKleeTask.cpp:66       1| .   .   KLEE: WARNING ONCE: Alignment of memory from call "malloc" is not modelled. Using alignment of 8.
2022-04-11 10:22:33.557 [utbot-64TK      ]        RunKleeTask.cpp:66       1| .   .   KLEE: WARNING ONCE: calling external: syscall(4, 8792603704691, 8792603718672) at runtime/POSIX/fd.c:553 12
2022-04-11 10:22:33.557 [utbot-64TK      ]        RunKleeTask.cpp:66       1| .   .   KLEE: ERROR: Error writing stats data: database is locked
2022-04-11 10:22:33.557 [utbot-64TK      ]        RunKleeTask.cpp:66       1| .   .   KLEE: ERROR: Error writing stats data: database is locked
2022-04-11 10:22:33.557 [utbot-64TK      ]        RunKleeTask.cpp:66       1| .   .   KLEE: output directory is "/home/utbot/tmp/utbot-64TK/libbacktrace/klee_out/dwarf/klee_out_dwarf_buf_error/klee_entry__dwarf_read_sbyte"

Is this issue related to new interactive mode?