System.out.println("Solved in " + ( solveEnd - solveStart ) + " ms");
LOG.info("Solved in " + ( solveEnd - solveStart ) + " ms");
	public CallGraph solve(List callIDs)	{		DashProfSolverData data = new DashProfSolverData(callIDs);																 		orbit.ampl.Solver solver = new orbit.ampl.Solver(factory);		long solveStart = System.currentTimeMillis();		String results = solver.execute(data.getUserName(), data.getModel(), data.getData(), data.getCommands());		long solveEnd = System.currentTimeMillis();		System.out.println("Solved in " + ( solveEnd - solveStart ) + " ms");		fractions = data.parse(results);				return new CallGraph(callIDs, fractions);	}