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