Specified source-dir "test" does not exist
Number of threads available: 8
CNF file already exists. Using the existing CNF.

Solving Parallel CNF:
Parallel Solver returned SATISFIABLE
Solution is valid
  42,438,420,320 bytes allocated in the heap
  14,689,240,376 bytes copied during GC
     130,584,320 bytes maximum residency (51 sample(s))
       2,724,096 bytes maximum slop
             408 MiB total memory in use (0 MiB lost due to fragmentation)

                                     Tot time (elapsed)  Avg pause  Max pause
  Gen  0      2034 colls,  2034 par   20.018s   7.959s     0.0039s    0.0390s
  Gen  1        51 colls,    50 par    9.965s   2.377s     0.0466s    0.0951s

  Parallel GC work balance: 70.41% (serial 0%, perfect 100%)

  TASKS: 18 (1 bound, 17 peak workers (17 total), using -N8)

  SPARKS: 32 (19 converted, 0 overflowed, 0 dud, 13 GC'd, 0 fizzled)

  INIT    time    0.017s  (  0.016s elapsed)
  MUT     time  153.149s  ( 24.637s elapsed)
  GC      time   29.983s  ( 10.336s elapsed)
  EXIT    time    0.085s  (  0.018s elapsed)
  Total   time  183.233s  ( 35.007s elapsed)

  Alloc rate    277,106,332 bytes per MUT second

  Productivity  83.6% of total user, 70.4% of total elapsed

