Function save_execution

cp-profiler/src/cpprofiler/db_handler.cpp:373–411

this takes (without nogoods) under 2 sec for a ~1.5M nodes (golomb 10)

/// this takes (without nogoods) under 2 sec for a ~1.5M nodes (golomb 10)
void save_execution(const Execution *ex, const char *path)
{
    print("creating file: {}", path);
    std::ofstream file(path);
    file.close();

    QSqlDatabase db = QSqlDatabase::addDatabase("QSQLITE");
    db.setDatabaseName(path);

    if (!db.open()) {
        print("Cannot open database file.");
        return;
    }

    perfHelper.begin("save execution");

    if(!create_db(&db)) {
        print("Cannot create tables in database.");
        return;
    }

    save_nodes(&db, ex);

    save_user_data(&db, ex);

    const auto &sd = ex->solver_data();

    if (sd.hasNogoods())
    {
        save_nogoods(&db, ex);
    }

    if (sd.hasInfo())
    {
        save_info(&db, ex);
    }

    perfHelper.end();
}

std::shared_ptr<Execution> load_execution(const char *path, ExecID eid)
{