Manage Solvers: Solver Stats

- ensure Created date is populated after a restart (for a backed up solver)
- the other stats: use best solution info when available, otherwise use the current solution info

Author: tomas-muller

JavaSource/org/unitime/timetable/action/ManageSolversAction.java

@@ -586,7 +586,9 @@ public String getSolverTable(SolverType type) {
 				if (solver == null) continue;
 				DataProperties properties = solver.getProperties();
 				if (properties == null) continue;
-				Map<String,String> info = solver.statusSolutionInfo();
+				Map<String,String> info = solver.bestSolutionInfo();
+				if (info == null)
+					info = solver.currentSolutionInfo();
 
 	            String bgColor = null;
 	        	if (selectedId != null && selectedId.equals(solver.getUser()))

JavaSource/org/unitime/timetable/solver/AbstractSolver.java

@@ -477,6 +477,13 @@ public boolean restore(File folder, String puid, boolean removeFiles) {
                 inXmlFile.delete();
             }
 
+            if (iLoadedDate == null) {
+            	List<Progress.Message> log = Progress.getInstance(currentSolution().getModel()).getLog();
+                if (log!=null && !log.isEmpty()) {
+                    iLoadedDate = log.get(0).getDate();
+                }
+            }
+            
             return true;
         } catch (Exception e) {
             sLog.error(e.getMessage(),e);