In the glpk interface, reaching a time limit no longer results in status 'undefined' but 'time_limit'
Some more fiddling around with glpk status messages