windows10x64,cvxopt (Jun 13, 2019, 2:05:15 AM)

Started by upstream project "gplibrary_Push_Models" build number 170
originally caused by:

• Started by upstream project "gpkit_Push" build number 635
  originally caused by:
  • Started by GitHub push by bqpd