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

Solving Parallel CNF:
Parallel Solver returned SATISFIABLE
Solution is valid
  38,824,414,112 bytes allocated in the heap
  11,564,297,176 bytes copied during GC
      88,223,016 bytes maximum residency (49 sample(s))
         815,472 bytes maximum slop
             260 MiB total memory in use (0 MiB lost due to fragmentation)

                                     Tot time (elapsed)  Avg pause  Max pause
  Gen  0      5309 colls,  5309 par   14.153s   9.101s     0.0017s    0.0792s
  Gen  1        49 colls,    48 par    4.188s   2.543s     0.0519s    0.1106s

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

  TASKS: 6 (1 bound, 5 peak workers (5 total), using -N2)

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

  INIT    time    0.008s  (  0.007s elapsed)
  MUT     time  121.034s  ( 63.201s elapsed)
  GC      time   18.341s  ( 11.645s elapsed)
  EXIT    time    0.099s  (  0.037s elapsed)
  Total   time  139.480s  ( 74.890s elapsed)

  Alloc rate    320,773,475 bytes per MUT second

  Productivity  86.8% of total user, 84.4% of total elapsed

