{"push_id":857066532,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"19f3fcdc8b99cd57c8f41719dc7df93f88250c62","before":"b53aa276c2eb25f23b1eb2f76db1edaae00887b8","commits":[{"sha":"19f3fcdc8b99cd57c8f41719dc7df93f88250c62","author":{"email":"1e75874c25e52f9ff203492e88570a65e19381ee@colorado.edu","name":"Anshul Kanakia"},"message":"Added in data logging and catch exception for Z3 memory exceptions.","distinct":true,"url":"https://api.github.com/repos/akanakia/collab-optimizer/commits/19f3fcdc8b99cd57c8f41719dc7df93f88250c62"}]}