[Bug 382013] New: Possible solver bug: Overall download size: 47.7 M. After the operation, 4.3 G will be freed.