Experiments regarding the Use integer programming to solve the seeded graph matching problem