I use this film a reasonable amount of the time. I only (generally) use D76 and for push processing you should use it neat, which means no dilution, just use stock solution.
I use a diffused enlarger which is a soft light source, so I develop my negs a little bit more than you would for a condensor enlarger.
I rate the film as very good at 800, which I believe it works best at. At 1600 you are starting to get into dangerous territory, but it still works well.
For 3200 ASA, I use stock D76 for 17 minutes @ 20°C.
With this combination I have workable negatives and get quite good prints. As your lighting situation is flat, I'm assuming you had fluorescent lighting, this may be a reasonable way to go.
I'm surprised you had to push that far. I find that under fluorescent lights with film rated at 400 ASA, I can shoot at 1/30 @ f/2.8. Moving up the scale to film rated at 3200 allows some quite fast shutter speeds, or stopping down a fair bit.
Mick.