1Setting option: p1_name = value (source: file) 2Setting option: p1_name = value (source: file) 3Setting option: p2_name = value (source: file) 4Setting option: p3_name = value (source: file) 5Setting option: p3_name = value (source: file) 6Setting option: p4_name = value (source: file) 7Setting option: p5_name = value (source: file) 8Setting option: p5_name = value (source: file) 9Setting option: p6_name = value (source: file) 10Setting option: p7_name = value (source: code) 11Setting option: p7_name = value (source: code) 12Setting option: p8_name = value (source: code) 13Setting option: p9_name = value (source: file) 14#PETSc Option Table entries: 15-p1_name value # (source: file) 16-p2_name value # (source: file) 17-p3_name value # (source: file) 18-p4_name value # (source: file) 19-p5_name value # (source: file) 20-p6_name value # (source: file) 21-p7_name value # (source: code) 22-p8_name value # (source: code) 23-p9_name value # (source: file) 24#End of PETSc Option Table entries 25