The High Luminosity LHC interaction region magnets towards series production