rectification saturation

2 jobs for VERIPB2 in 39 minutes and 51 seconds (queued for 9 seconds)
Name Stage Failure
maven38-java16 Test
1181213 [ERROR] 
1181213 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
1181214 [ERROR]
1181214 [ERROR] For more information about the errors and possible solutions, please read the following articles:
1181214 [ERROR] [Help 1]
1181214 [ERROR]
1181214 [ERROR] After correcting the problems, you can resume the build with the command
1181214 [ERROR] mvn <args> -rf :org.ow2.sat4j.pb
Cleaning up file based variables
ERROR: Job failed: exit code 1