/home/maxsat/solvers/WPM2/WPM2: line 4:  8111 Segmentation fault      ./wpm2-me2010 $1 /tmp/$RANDOM-$TMPNAME