==11213== Massif, a heap profiler
==11213== Copyright (C) 2003-2017, and GNU GPL'd, by Nicholas Nethercote
==11213== Using Valgrind-3.14.0 and LibVEX; rerun with -h for copyright info
==11213== Command: solvespace
==11213== 
==11213==