runtime error: negation of -2147483648 cannot be represented in type 'PetscInt' (aka 'int'); cast to an unsigned type to negate this value to itself