/home/maxsat/solvers/WPM2/WPM2: line 4: 28386 Segmentation fault      ./wpm2-me2011-v1 $1 /tmp/$RANDOM-$TMPNAME