myfile.close();
//serialize out the tuner we used
snprintf(buffer, sizeof(buffer), "%sused", argv[3]);
tuner->serializeUsed(buffer);
delete solver;
myfile.close();
//serialize out the tuner we used
snprintf(buffer, sizeof(buffer), "%sused", argv[3]);
tuner->serializeUsed(buffer);
delete solver;