xor data to leveldb fixed (?) but running solver gives memory leaks that have yet to be solved