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

Solving Parallel CNF:
Parallel Solver returned SATISFIABLE
Solution is valid
  65,480,517,008 bytes allocated in the heap
  18,447,165,144 bytes copied during GC
      80,623,856 bytes maximum residency (80 sample(s))
         195,264 bytes maximum slop
             237 MiB total memory in use (0 MiB lost due to fragmentation)

                                     Tot time (elapsed)  Avg pause  Max pause
  Gen  0     15624 colls,     0 par   23.868s  25.235s     0.0016s    0.0641s
  Gen  1        80 colls,     0 par    6.173s   6.639s     0.0830s    0.3376s

  TASKS: 4 (1 bound, 3 peak workers (3 total), using -N1)

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

  INIT    time    0.008s  (  0.010s elapsed)
  MUT     time  357.754s  (369.476s elapsed)
  GC      time   30.040s  ( 31.874s elapsed)
  EXIT    time    0.023s  (  0.011s elapsed)
  Total   time  387.825s  (401.371s elapsed)

  Alloc rate    183,032,407 bytes per MUT second

  Productivity  92.2% of total user, 92.1% of total elapsed

