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