public void run() {
NBOServer.log("ResourceAllocationSolver STARTED for " +
user.getUserName() + "'s task: " + task + ".", 1);
Solver solver = new Solver();
solver.solve(this.task);
Result result = new Result(this.uniqueHash, this.problemName);
result.add(this.problemName, solver.getOutput());
try {