% SZS status Timeout for linear__order__restri
