[Alberto] added more util.log outputs for debugging