Application of solenoid focusing in a superconducting heavy-ion linear accelerator