sped up decoding in combinatorial optimisation. Appears to be working
well.  Now need to dump to disk chunk by chunk.