Option used: name:-get_an_integer value: 10
Option left: name:-unused_petsc_option_1 (no value)
Option left: name:-unused_petsc_option_2 (no value)