model and solver for the Aircraft Queueing problem