HEAD is now at 97a708e initial deployement /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201109011757/gj-user-solver-1.0/4f84e9c6-a79c-11e0-9eb7-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//4f84e9c6-a79c-11e0-9eb7-00163e1e087d.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/4f84e9c6-a79c-11e0-9eb7-00163e1e087d.cudf.dudf-real.result "-sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed" time it took + 5439 FAIL