Using 12s as timeout for all tests, as a workaround for #146.

4 jobs for master in 21 minutes and 29 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #6445
jars-j8

00:00:33

passed #6444
java8

00:13:17

 
  Test
failed #6447
allowed to fail
java10

00:03:51

failed #6446
java7

00:03:47

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