/home/maxsat/solvers/claspMaxSat/claspMaxSat: line 6: 15665 Killed                  ./clasp "$1" 0 -q1,0 --opt-sat --berk-max=512 --berk-once --restarts=256 --reverse-arcs=2 --recursive-str --dinit=800,5000 --dsched=1024 --dscore=2 --update-lbd --dalgo=2 --opt-heu=2 --restart-on-model