3 ms·small nit: 2 CPU-hours, 3 minutes wallclock time on a high end server (40 cores).by wolf550e 11y agosmall nit: 2 CPU-hours, 3 minutes wallclock time on a high end server (40 cores).