Removing tmp/rand5619c8.cudf.lp Removing tmp/rand5619c8.cudf.tbl Removing tmp/rand5619c8.cudf.trendy HEAD is now at f1de4f4 initial deployement parsing... ./bin/cudf2lp /home/misc2010/data/2010/easy//rand5c1800.cudf tmp/rand5c1800.cudf.lp tmp/rand5c1800.cudf.tbl done. solving1... ./bin/bingo tmp/rand5c1800.cudf.lp share/modelling.lp share/trendyopt1.lp | ./bin/clasp --heuristic=Vsids --restart-on-model --opt-heu --sat-prepro=yes >> tmp/rand5c1800.cudf.trendy done. solving2... ./bin/bingo tmp/rand5c1800.cudf.lp share/modelling.lp share/trendyopt2.lp | ./bin/clasp --heuristic=Vsids --restart-on-model --opt-heu --sat-prepro=yes --opt-value=51 >> tmp/rand5c1800.cudf.trendy done. solving3... ./bin/bingo tmp/rand5c1800.cudf.lp share/modelling.lp share/trendyopt3.lp | ./bin/clasp --heuristic=Vsids --restart-on-model --opt-heu --sat-prepro=yes --opt-value=51,1 >> tmp/rand5c1800.cudf.trendy done. solving4... ./bin/bingo tmp/rand5c1800.cudf.lp share/modelling.lp share/trendyopt4.lp | ./bin/clasp --heuristic=Vsids --restart-on-model --opt-heu --sat-prepro=yes --opt-value=51,1,40 >> tmp/rand5c1800.cudf.trendy done. writing solution... ./bin/sol2cudf tmp/rand5c1800.cudf.tbl tmp/rand5c1800.cudf.trendy /home/misc2010/tmp/201007050905/aspcud-trendy-1.2/rand5c1800.cudf.easy.result done.