defaulter's property will be auctioned