FAILED
Error message:
[Error on node 125:refineFun 1]
        6.17 real        11.61 user         2.45 sys