Solver solver = Solver.createInstance("solver.1.cfg", 0, 1000, 10, 10);
Solver solver = Solver.createInstance(s_path + "solver.1.cfg", 0, 1000, 10, 10);
    public void testSolverExecution(){	try{	    DSA.instance().loadModel("libmodel.1_g.so");	    DSA.instance().loadTransactions("model.1.xml");	    Solver solver = Solver.createInstance("solver.1.cfg", 0, 1000, 10, 10);	    Assert.assertTrue(solver.solve());	    Assert.assertTrue(solver.getStepCount() == 2);	    Assert.assertTrue(solver.getDepth() == 2);	    // Now reset the decisions and go again	    solver.reset();	    Assert.assertTrue(solver.solve());	    Assert.assertTrue(solver.getStepCount() == 2);	    Assert.assertTrue(solver.getDepth() == 2);	    // Now allocate againa and confirm the base data. This time no work to do	    solver = Solver.createInstance("solver.1.cfg", 0, 1000, 10, 10);	    Assert.assertTrue(solver.solve());	    Assert.assertTrue(solver.getStepCount() == 0);	    Assert.assertTrue(solver.getDepth() == 0);	}	catch(Exception e){	    Assert.assertTrue(false);	}    }