#954 Runfile resolver seems to be very fragile and easy to provoke into OOM errors

Fixed the logger. The logger now logs on a tmp file. Result is split when > 8k.