int main(int argc, char **argv)
static SCIP_RETCODE interactive(SCIP *scip)
static SCIP_RETCODE runSCIP(int argc, char **argv)
static SCIP_RETCODE fromCommandLine(SCIP *scip, const char *filename)
static SCIP_RETCODE readParams(SCIP *scip, const char *filename)