The best option to export such a file would be a little programming for the programming interface IFM. The code would look (roughly and untested, and without file i/o) like this:
for (int i=0;i<IfmGetNumberOfElements(pDoc);i++){
for(int j=0;i<IfmGetNumberOfNodesPerElement(pDoc);i++){
int node = IfmGetNode(pDoc, i, j);
double x=IfmGetX(pDoc, node);
double y=IfmGetY(pDoc, node);
double z=IfmGetZ(pDoc, node);
}
}