-lCbcSolver -lCbc -lpthread -lrt /usr/lib/libnauty.a -lcoinasl -lCgl -lOsiClp -lClpSolver -lClp -lcholmod -lamd -lcoinasl -lOsi -lCoinUtils -lbz2 -lz -lglpk -llapack -lblas -lm 
