public SolverQueue() { inner = new Queue<SolverNode>(); Statistics = new SolverStatistics() { Name = GetType().Name }; }
public void Update(ISolver caller, SolverCommandResult state, SolverStatistics global) { if (global != null) { var d = global.DurationInSec; Console.WriteLine("\t{0:#,###,##0} nodes at {1:0.0} nodes/sec after {2:#} sec. Depth: {3}/{4}/{5} (Completed/Curr/Max)", global.TotalNodes, global.TotalNodes / d, d, global.DepthCompleted, global.DepthCurrent, global.DepthMax); } }
public virtual SolverCommandResult Init(SolverCommand command) { var state = new CommandResult() { Command = command, Solutions = new List<SolverNode>(), SolutionsWithReverse = new List<SolutionChain>(), Forward = new SolverData() { Evaluator = new ForwardEvaluator(), Queue = new SolverQueue(), PoolForward = new SolverNodeLookup() }, Reverse = new SolverData() { Evaluator = new ReverseEvaluator(), Queue = new SolverQueue(), PoolReverse = new SolverNodeLookup() } }; state.Forward.PoolReverse = state.Reverse.PoolReverse; state.Reverse.PoolForward = state.Forward.PoolForward; state.StaticMaps = StaticAnalysis.Generate(command.Puzzle); state.StaticMaps.DeadMap = DeadMapAnalysis.FindDeadMap(state.StaticMaps); state.Forward.Root = state.Forward.Evaluator.Init(command.Puzzle, state.Forward.Queue); state.Reverse.Root = state.Reverse.Evaluator.Init(command.Puzzle, state.Reverse.Queue); Statistics = new SolverStatistics[] { state.Statistics, state.Forward.PoolForward.Statistics, state.Reverse.PoolReverse.Statistics, state.Forward.Queue.Statistics, state.Reverse.Queue.Statistics }; return state; }
public SolverCommandResult() { Statistics = new SolverStatistics(); }
public List<Result> Run(SolverRun run, SolverCommand baseCommand, ISolver solver = null) { if (solver == null) { solver = new SingleThreadedForwardSolver(); } Report.WriteLine("Puzzle Exit Conditions: {0}", run.PuzzleExit); Report.WriteLine("Batch Exit Conditions : {0}", run.BatchExit); Report.WriteLine("Solver : {0}", SolverHelper.Describe(solver)); Report.WriteLine("CPU : {0}", DebugHelper.GetCPUDescription()); Report.WriteLine("Machine : {0} {1}", Environment.MachineName, Environment.Is64BitProcess ? "x64" : "x32"); Report.WriteLine(); var res = new List<Result>(); var start = new SolverStatistics() { Started = DateTime.Now }; SolverCommandResult result = null; int pp = 0; int consecutiveFails = 0; foreach (var puzzle in run) { if (baseCommand.CheckAbort(baseCommand)) { Progress.WriteLine("EXITING..."); break; } try { pp++; Progress.WriteLine("Attempting: {0} ({2}/{3}); Rating: {1}", PuzzleHelper.GetName(puzzle), StaticAnalysis.CalculateRating(puzzle), pp, run.Count); var libPuzzle = puzzle as LibraryPuzzle; Report.WriteLine(" Name: {0}", PuzzleHelper.GetName(puzzle)); Report.WriteLine(" Ident: {0}", libPuzzle != null ? libPuzzle.Ident : null); Report.WriteLine(" Rating: {0}", StaticAnalysis.CalculateRating(puzzle)); Report.WriteLine("Starting Memory: {0}", Environment.WorkingSet); Report.WriteLine(puzzle.ToString()); PuzzleDTO dto = null; if (Repository != null) { dto = Repository.Get(puzzle); if (dto == null) { dto = Repository.ToDTO(puzzle); Repository.Store(dto); } dto.Solutions = Repository.GetSolutions(dto.PuzzleId); } if (SkipPuzzlesWithSolutions) { if (dto != null && dto.Solutions.Exists(x=>x.HostMachine == Environment.MachineName && x.SolverType == solver.GetType().Name)) { Progress.WriteLine("Skipping... (SkipPuzzlesWithSolutions)"); continue; } } Report.WriteLine(); result = solver.Init(new SolverCommand(baseCommand) { Report = Report, ExitConditions = run.PuzzleExit, Puzzle = puzzle, }); if (Tracking != null) Tracking.Begin(result); solver.Solve(result); var r = new Result() { Summary = SolverHelper.Summary(result), Exited = result.Exit, Solutions = result.GetSolutions() }; res.Add(r); start.TotalNodes += result.Statistics.TotalNodes; start.TotalDead += result.Statistics.TotalDead; if (r.Solutions.Any()) { int cc = 0; foreach (var p in r.Solutions.ToArray()) { string error = null; var check = SolverHelper.CheckSolution(puzzle, p, out error); Report.WriteLine("Solution #{0} [{1}] =>\n{2}", cc++, check ? "Valid":"INVALID!"+error, p); if (!check) { r.Solutions.Remove(p); r.Summary += " (INVALID SOLUTION)"; } } // Write to DB? if (dto != null) { if (Repository != null) { StoreSolution(solver, dto, r.Solutions); } } } if (r.Solutions.Any()) // May have been removed above { consecutiveFails = 0; } else { consecutiveFails++; if (StopOnConsecutiveFails != 0 && consecutiveFails > StopOnConsecutiveFails) { Progress.WriteLine("ABORTING... StopOnConsecutiveFails"); break; } } var finalStats = solver.Statistics; if (finalStats != null) { foreach (var fs in finalStats) { Report.WriteLine("Statistics | {0}", fs); } } if (Tracking != null) Tracking.End(result); Report.WriteLine("[DONE] {0}", r.Summary); if (result.Exception != null) { Report.WriteLine("[EXCEPTION]"); WriteException(Report, result.Exception); } Progress.WriteLine(); Progress.WriteLine("Completed: {0} ==> {1}", PuzzleHelper.GetName(puzzle), r.Summary); Progress.WriteLine(); if (result.Exit == ExitConditions.Conditions.Aborted) { Progress.WriteLine("ABORTING..."); WriteSummary(res, start); return res; } if (start.DurationInSec > run.BatchExit.Duration.TotalSeconds) { Progress.WriteLine("BATCH TIMEOUT..."); WriteSummary(res, start); return res; } Progress.WriteLine(); } catch (Exception ex) { if (result != null) result.Exception = ex; Progress.WriteLine("ERROR: "+ex.Message); WriteException(Report, ex); } finally { result = null; Report.WriteLine("Ending Memory: {0}", Environment.WorkingSet); GC.Collect(); Report.WriteLine("Post-GC Memory: {0}", Environment.WorkingSet); Report.WriteLine("==================================="); Report.WriteLine(); } Report.Flush(); } WriteSummary(res, start); return res; }
private void WriteSummary(List<Result> results, SolverStatistics start) { var cc = 0; var line = string.Format("Run Stats: {0}", start); Report.WriteLine(line);Console.WriteLine(line); foreach (var result in results) { line = string.Format("[Puzzle] {0}", result.Summary); Report.WriteLine(line); Console.WriteLine(line); cc++; } }
public virtual SolverCommandResult Init(SolverCommand command) { var state = SolverHelper.Init(new CommandResult(), command); state.Statistics.Name = GetType().Name;; state.Pool = new SolverNodeLookup() { Report = command.Report }; state.Evaluator = evaluator; state.Queue= new SolverQueue(); state.Root = state.Evaluator.Init(command.Puzzle, state.Queue); Statistics = new SolverStatistics[] { state.Statistics, state.Pool.Statistics, state.Queue.Statistics }; return state; }
public override SolverCommandResult Init(SolverCommand command) { var state = SolverHelper.Init(new CommandResult(), command); state.Command.Progress = null; state.Command.Parent = Worker.Owner; state.Command.CheckAbort = CheckWorkerAbort; state.Statistics.Name = GetType().Name; ; state.Pool = Worker.Pool; state.Evaluator = new ReverseEvaluator(); state.Queue = Worker.Queue; Statistics = new SolverStatistics[] { state.Statistics }; return state; }
public override SolverCommandResult Init(SolverCommand command) { var state = SolverHelper.Init(new CommandResult(), command); state.Command.Parent = Worker.Owner; state.Command.CheckAbort = x => !Worker.OwnerState.IsRunning; state.Statistics.Name = GetType().Name; state.Pool = Worker.Pool; state.Evaluator = new ForwardEvaluator(); state.Queue = Worker.Queue; Statistics = new SolverStatistics[] { state.Statistics}; return state; }