python3 sat_ref2.py 3x3x3 cadical195  2877.14s user 11.67s system 97% cpu 49:08.32 total
killed by referee 2 after 47.5 min CPU without result (superseded by the symmetry-broken runs)
