c++ - Gecode を使用してファイルに出力する

Question

私は Gecode プロジェクトを行っており、コードは次のようなファイルを出力する必要があります。

n: 17
x: {0, 0, 16, 18, 17, 31, 32, 0, 34, 10, 30, 37, 38, 30, 30, 10}
y: {0, 27, 28, 14, 0, 31, 20, 17, 11, 17, 0, 0, 6, 7, 11, 25}
s: 43
runtime: 0.137
failure: 127

上記は、コードが出力する内容の例です。私は次のコードを実行しようとしました:

virtual void
print(std::ostream& os) const {
    string filename = "project1-t15-n" + n + ".txt";

    ofstream myfile;
    myfile.open (filename);

    myfile << "n: " << n << std::endl;
    myfile << "x: {";
    for (int i = 0; i < x.size(); i++) {
        if (i != 0) {
            myfile << ", ";
        }
        myfile << x[i];
    }
    myfile << "}" << std::endl;
    myfile << "y: {";
    for (int i = 0; i < y.size(); i++) {
        if (i != 0) {
            myfile << ", ";
        }
        myfile << y[i];
    }
    myfile << "}" << std::endl;
    myfile << "s: " << s << std::endl;

    //???????????????????????????????? print runtime and failures

    myfile.close();
}

n、s、x、y が正しいことはわかっていますが、2 つの質問があります。

1：print(std::ostream& os) constファイルに出力するときの正しい使い方は？

2: Gecode の出力からランタイムとエラーを取得するにはどうすればよいですか? 組み込みの印刷機能がこれを行います。