/home/maxsat/solvers/WPM2/WPM2: line 4: 12176 Killed                  ./wpm2-me2011-v1 $1 /tmp/$RANDOM-$TMPNAME