If a buyer does not have a Social Security number, they will need to have a Taxpayer Identification Number (TIN). These are commonly applied for and issued to non-US citizens who have business or personal interests in the United States that would require paying taxes.
The Selling Agent will need to enter the TIN in the same format as a Social Security Number would appear (xxx-xx-xxxx). If they win the bid, the bidder will be required to provide a copy of the letter issued by the United States government assigning them the TIN with the rest of the contract package.