Removing tmp/randd8bf6a.cudf.lp Removing tmp/randd8bf6a.cudf.paranoid Removing tmp/randd8bf6a.cudf.tbl HEAD is now at c6ae987 initial deployement parsing... ./bin/cudf2lp /home/misc2010/data/2010/difficult//rande4fcd8.cudf tmp/rande4fcd8.cudf.lp tmp/rande4fcd8.cudf.tbl done. solving... ./bin/bingo tmp/rande4fcd8.cudf.lp share/modelling.lp share/paranoidopt.lp | ./bin/clasp --heuristic=Vsids --restart-on-model --opt-heu --sat-prepro=yes --time-limit=240 > tmp/rande4fcd8.cudf.paranoid done. writing solution... ./bin/sol2cudf tmp/rande4fcd8.cudf.tbl tmp/rande4fcd8.cudf.paranoid /home/misc2010/tmp/201007051419/aspcud-paranoid-1.0/rande4fcd8.cudf.difficult.result done.