runtests.py-18085 Fri Jan  5 15:11:10 2018 UTC (+ 0.0s / 0.0s) === starting libsynthesis ===