I took your OBJ file and run it inside Zbrush for decimate it! ;)
And I suppose the Zbrush Decimaster has same functions than Instant Mesher! ;)
It's more that problem : I have only 8 Gigas ram on my Latop!
And seems I have same time consuming for boolean function than you! ;)
Ps Have you a direct link for download an Instant Mesher windows version ? Because I am a little losted over all these files!
(without line command if possible! :)