*.lp *.stdout *.sol