bugfix migration queue
bugfix on progress update to queue
Merge branch 'devel' into heuristic_methods