creating output.sas: ./fast-downward.py --translate PROBLEM.PDDL
gdb start cmd: gdb ./builds/debug64/bin/downward
gdb cmd: run --search 'astar(time(PARAMETERS))' < output.sas
