Acceleration of Gurobi and CPLEX when solving problems of finding the shortest cycle or path that visits a given number of vertices from the graph clusters | Synapse