Investigate where the memory is leaked in our the ocaml-minisat usage. Job #34894 failed for 7108bb19: