/home/jplanes/evaluation/solvers/KnotPipatsrisawat/clone.sh: line 48: 23424 Segmentation fault      ${base}/clone -nnf $nnf_fname -w $weight_fname -c $clone_fname -o $1