/home/maxsat/solvers/WPM2/WPM2: line 4: 26474 Killed                  ./wpm2-me2010 $1 /tmp/$RANDOM-$TMPNAME