IPOPTMA27:
IPOPTMUMPS:
minsurf100
took 11.54 CPU seconds, but wallclock time is 12.70