nice -n 10 python va_lemmaZ_ext.py    73.92s user 0.28s system 99% cpu 1:14.31 total
