ClientLogManager.addUserLog("You've missed to specify a positive m for problem " + ra.getName() + "!", true);
return;
}
ra.solve();
ra.setState(Model.STARTED);
ra.setStartTime(System.currentTimeMillis());
new SolutionMonitorThread(mainWindow, (Model)domain).start();