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