private boolean solve_jmva(File model) {
CommandLineSolver solver = new CommandLineSolver();
long start, stop, elapsed;
start = System.currentTimeMillis();
boolean success = solver.solve(model);
stop = System.currentTimeMillis();
elapsed = stop - start;
logger.debug("Model " + model.getAbsolutePath() + " solved in " + elapsed + " milliseconds.");