linux-vdso.so.1 =>  (0x00007ffea6ddc000)
	libHpr.so => /scratch-local/Otto.Schaile/xenial/marabou/lib/libHpr.so (0x00007f78f33c6000)
	libCore.so => /software/opt/xenial/x86_64/root/6.12.04/lib/libCore.so (0x00007f78f2d68000)
	libRint.so => /software/opt/xenial/x86_64/root/6.12.04/lib/libRint.so (0x00007f78f2b3f000)
	libstdc++.so.6 => /usr/lib/x86_64-linux-gnu/libstdc++.so.6 (0x00007f78f27bd000)
	libgcc_s.so.1 => /lib/x86_64-linux-gnu/libgcc_s.so.1 (0x00007f78f25a7000)
	libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f78f21dd000)
	libTMrbUtils.so => /scratch-local/Otto.Schaile/xenial/marabou/lib/libTMrbUtils.so (0x00007f78f1f19000)
	libTGMrbUtils.so => /scratch-local/Otto.Schaile/xenial/marabou/lib/libTGMrbUtils.so (0x00007f78f1bf0000)
	libGrEdit.so => /scratch-local/Otto.Schaile/xenial/marabou/lib/libGrEdit.so (0x00007f78f1867000)
	libFitCal.so => /scratch-local/Otto.Schaile/xenial/marabou/lib/libFitCal.so (0x00007f78f1605000)
	libTMrbHelpBrowser.so => /scratch-local/Otto.Schaile/xenial/marabou/lib/libTMrbHelpBrowser.so (0x00007f78f13e8000)
	libHistPainter.so => /software/opt/xenial/x86_64/root/6.12.04/lib/libHistPainter.so (0x00007f78f115a000)
	libGpad.so => /software/opt/xenial/x86_64/root/6.12.04/lib/libGpad.so (0x00007f78f0e90000)
	libGui.so => /software/opt/xenial/x86_64/root/6.12.04/lib/libGui.so (0x00007f78f0834000)
	libGraf.so => /software/opt/xenial/x86_64/root/6.12.04/lib/libGraf.so (0x00007f78f04dd000)
	libGraf3d.so => /software/opt/xenial/x86_64/root/6.12.04/lib/libGraf3d.so (0x00007f78f0239000)
	libHist.so => /software/opt/xenial/x86_64/root/6.12.04/lib/libHist.so (0x00007f78efc9d000)
	libProof.so => /software/opt/xenial/x86_64/root/6.12.04/lib/libProof.so (0x00007f78ef91e000)
	libMathCore.so => /software/opt/xenial/x86_64/root/6.12.04/lib/libMathCore.so (0x00007f78ef524000)
	libRIO.so => /software/opt/xenial/x86_64/root/6.12.04/lib/libRIO.so (0x00007f78ef036000)
	libTree.so => /software/opt/xenial/x86_64/root/6.12.04/lib/libTree.so (0x00007f78eece0000)
	libNet.so => /software/opt/xenial/x86_64/root/6.12.04/lib/libNet.so (0x00007f78eea0b000)
	libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f78ee702000)
	libpcre.so.3 => /lib/x86_64-linux-gnu/libpcre.so.3 (0x00007f78ee492000)
	liblzma.so.5 => /lib/x86_64-linux-gnu/liblzma.so.5 (0x00007f78ee270000)
	libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x00007f78ee056000)
	libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f78ede52000)
	libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007f78edc35000)
	/lib64/ld-linux-x86-64.so.2 (0x00007f78f379e000)
	libGed.so => /software/opt/xenial/x86_64/root/6.12.04/lib/libGed.so (0x00007f78ed8f0000)
	libSpectrum.so => /software/opt/xenial/x86_64/root/6.12.04/lib/libSpectrum.so (0x00007f78ed692000)
	libMatrix.so => /software/opt/xenial/x86_64/root/6.12.04/lib/libMatrix.so (0x00007f78ed330000)
	libfreetype.so.6 => /usr/lib/x86_64-linux-gnu/libfreetype.so.6 (0x00007f78ed086000)
	libImt.so => /software/opt/xenial/x86_64/root/6.12.04/lib/libImt.so (0x00007f78ece79000)
	libThread.so => /software/opt/xenial/x86_64/root/6.12.04/lib/libThread.so (0x00007f78ecc2b000)
	libssl.so.1.0.0 => /lib/x86_64-linux-gnu/libssl.so.1.0.0 (0x00007f78ec9c2000)
	libcrypto.so.1.0.0 => /lib/x86_64-linux-gnu/libcrypto.so.1.0.0 (0x00007f78ec57e000)
	libpng12.so.0 => /lib/x86_64-linux-gnu/libpng12.so.0 (0x00007f78ec359000)
	libtbb.so.2 => /usr/lib/x86_64-linux-gnu/libtbb.so.2 (0x00007f78ec11c000)