Update dimacs_parser.py

bug fix, convert str to int