python3 sat_ref2.py 3x3x3 kissat404  4030.52s user 29.46s system 98% cpu 1:08:53.24 total
killed by referee 2 after 66 min CPU without result (superseded by the symmetry-broken CaDiCaL and Kissat runs)
