USAGE: ./solver.sh INPUT.qdimacs TIME_LIMIT
