I had that problem with a much smaller room. I rented a 5" foot
scraper from Home Depot. A lot of work. In the end the glue was
scraped off OK, but unsightly glue stains remained.
The solution was to lay creamic tiles.
Your idea of lino would work. An industrial grade should last and,
if necessary, could be lino'ed over after a few years of wear.
HomeOwnersHub.com is a website for homeowners and building and maintenance pros. It is not affiliated with any of the manufacturers or service providers discussed here.
All logos and trade names are the property of their respective owners.