let timer = Util.Timer.create "Solver"