ABORT Removing tmp/3175.cudf.lp Removing tmp/3175.cudf.tbl Removing tmp/3175.cudf.trendy HEAD is now at f1de4f4 initial deployement parsing... ./bin/cudf2lp /home/misc2010/data/2010/debian-dudf//9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf tmp/9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.lp tmp/9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.tbl done. solving1... ./bin/bingo tmp/9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.lp share/modelling.lp share/trendyopt1.lp | ./bin/clasp --heuristic=Vsids --restart-on-model --opt-heu --sat-prepro=yes >> tmp/9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.trendy