Text this: Post processing large integer programming problems in air traffic flow management /