Use Solver::value() instead of Solver::assigns[]
With more verbosity, print exact memory usages
More debug in enqueue()