Methane is a major energy source for heating and electricity. Its production by methanogenic bacteria is widely known in nature. M. maripaludis S2 is a fully sequenced hydrogenotrophic methanogen and an excellent laboratory strain with robust genetic tools. However, a quantitative systems biology model to complement these tools is absent in the literature. To understand and enhance its methanogenesis from CO2, this work presents the first constraint-based genome-scale metabolic model (iMM518). It comprises 570 reactions, 556 distinct metabolites, and 518 genes along with gene-protein-reaction (GPR) associations, and covers 30% of open reading frames (ORFs). The model was validated using biomass growth data and experimental phenotypic studies from the literature. Its comparison with the in silico models of Methanosarcina barkeri, Methanosarcina acetivorans, and Sulfolobus solfataricus P2 shows M. maripaludis S2 to be a better organism for producing methane. Using the model, genes essential for growth were identified, and the efficacies of alternative carbon, hydrogen and nitrogen sources were studied. The model can predict the effects of reengineering M. maripaludis S2 to guide or expedite experimental efforts.