Solver of NQueens problem with Pawns, written in X10.