(sbpl_interface) support allowed_planning_time