如何在choco求解器中获得变量和

import org.chocosolver.solver.Model;
import org.chocosolver.solver.Solution;
import org.chocosolver.solver.variables.IntVar;

public class ChocoSumExample {
    public static void main(String[] args) {
        // 创建模型
        Model model = new Model("Sum Example");

        // 创建变量
        IntVar x = model.intVar("x", 1, 10); // x的定义域是1到10
        IntVar y = model.intVar("y", 1, 10); // y的定义域是1到10
        IntVar z = model.intVar("z", 1, 10); // z的定义域是1到10

        // 设置约束：x + y + z = 15
        model.arithm(x, "+", y, "+", z, "=", 15).post();

        // 求解问题
        Solution solution = model.getSolver().findSolution();

        // 检查是否有解
        if (solution != null) {
            // 获取变量的值并计算和
            int sum = solution.getIntVal(x) + solution.getIntVal(y) + solution.getIntVal(z);
            System.out.println("找到一组解：x=" + solution.getIntVal(x) + ", y=" + solution.getIntVal(y) + ", z=" + solution.getIntVal(z));
            System.out.println("变量的和是：" + sum);
        } else {
            System.out.println("没有找到解。");
        }
    }
}