#include NTL_CLIENT void desired_resources(const ZZ &order, unsigned short total_workers, unsigned short total_dpnodes, unsigned short GB_mem_per_node, unsigned short freq_factor, unsigned short &desired_dpnodes, unsigned int &max_workers, unsigned int &dpfreq);