K5 nighttime photography problems

So how much light did you have? By way of comparison I just uploaded two JPG images. They were shot ISO 12800 with a Pentax 12-24 lens. Both were processed in Lightroom for noise reduction. My recollection of the scene is that it was darker than what the K-5 shows.

This one gives a sense of the lighting I had when I shot the photos: