redirect output to file and run through solver