Starting the solver
making solver read the file
no point in translating