proper n_procs