moved objective encoding from Fifteenpuzzle.java to task_manager.cpp