Hi,
if you label some of your constraints such as:
forall(j in 2..n, k in Vehicles,t in 1..t)
ct1:sum(i in cities: j!=i) x[<i,j>][k][t]==y[j][k][t];
forall(i in 2..n, k in Vehicles,t in 1..t)
ct2:sum(j in cities: j!=i) x[<i,j>][k][t]==y[i][k][t];
forall(i,j in 2..n: j!=i, k in Vehicles, t in 1..t)
ct3:u[i][k][t]- u[j][k][t]+(sum(k in Vehicles)Cap_Veh[k][t]* x[<i,j>][k][t])<= sum(k in Vehicles)Cap_Veh[k][t] - Transf[j][k][t];
forall(i in 2..n, k in Vehicles, t in 1..t)
ct4:Cap_Veh[k][t] <= u[i][k][t] <= sum(k in Vehicles)Cap_Veh[k][t];
// Vehicle Constraints
forall(i in 2..n, k in Vehicles, t in 1..t)
ct5:sum(i in 2..n)Transf[i][k][t] <= sum(k in Vehicles)Cap_Veh[k][t]*y[1][k][t];
forall(i in cities, k in Vehicles, t in 1..t)
ct6:Cap_Veh[k][t]*y[i][k][t]<=stock[1][t];
then you ll get a relaxed solution and some relaxations and conflicts that will help you spot issues
regards
#CPLEXOptimizers#DecisionOptimization