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

Solving Parallel CNF:
Parallel Solver returned SATISFIABLE
Solution is valid
  17,932,956,256 bytes allocated in the heap
   5,452,191,160 bytes copied during GC
     101,210,152 bytes maximum residency (29 sample(s))
       1,259,528 bytes maximum slop
             312 MiB total memory in use (0 MiB lost due to fragmentation)

                                     Tot time (elapsed)  Avg pause  Max pause
  Gen  0      1530 colls,  1530 par    7.730s   3.145s     0.0021s    0.0152s
  Gen  1        29 colls,    28 par    2.956s   1.173s     0.0404s    0.1044s

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

  TASKS: 10 (1 bound, 9 peak workers (9 total), using -N4)

  SPARKS: 32 (9 converted, 0 overflowed, 0 dud, 23 GC'd, 0 fizzled)

  INIT    time    0.011s  (  0.010s elapsed)
  MUT     time   57.488s  ( 15.991s elapsed)
  GC      time   10.686s  (  4.318s elapsed)
  EXIT    time    0.113s  (  0.025s elapsed)
  Total   time   68.297s  ( 20.344s elapsed)

  Alloc rate    311,942,948 bytes per MUT second

  Productivity  84.2% of total user, 78.6% of total elapsed

