Minor changes that help debugability:
Minor changes that help debugability:
1. Cast the printed memory budget into double to make it easy to compare it with the estimated minumum memory required, and thereby easy to compare.
2. Guard some checks when computing the memory lower bound within vlogs as the checks are often slow.
3. Increase the VLOG level for printing the memory usage of the solution as computing this also often takes a while.
