Fixes the solver instantiated for RoundingSatPOS2020

6 jobs for cdcl-strategies in 104 minutes and 50 seconds (queued for 83 minutes and 20 seconds)
Status Job ID Name Coverage
  Build
passed #31407
jars-j8

00:00:28

passed #31406
java8

00:28:48

 
  Test
failed #31408
allowed to fail
java7

00:12:30

passed #31410
maven36-java11

00:22:09

passed #31411
maven36-java13

00:21:18

passed #31409
maven36-java8

00:19:35

 
Name Stage Failure
failed
java7 Test
740543 [ERROR] 
740543 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
740543 [ERROR]
740543 [ERROR] For more information about the errors and possible solutions, please read the following articles:
740543 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
740544 [ERROR]
740544 [ERROR] After correcting the problems, you can resume the build with the command
740544 [ERROR] mvn <goals> -rf :org.ow2.sat4j.pb
ERROR: Job failed: exit code 1