usage: MOLS2_par.py [-h] [--size SIZE] [--seed SEED] [--normalize]
                    [--all-solutions] [--solver SOLVER] [-v] [--first [FIRST]]
                    [--proof]

options:
  -h, --help       show this help message and exit
  --size SIZE      ... or order. Default=8
  --seed SEED      Seed. Default=random
  --normalize      Normalize/reduce (before search). Default=false
  --all-solutions  Produce all possible solutions. Default=false
  --solver SOLVER  Set SAT solver. Supported: libcadical kissat gimsatul
                   minisat plingeling picosat libpicosat
  -v               Increase verbosity. May be -vv, -vvv, -vvvv
  --first [FIRST]  Set first square (in short form)
  --proof          Generate proof. Default=false

Setting seed 192975982
Setting size 9
Normalize mode
Setting solver gimsatul
Warning: gimsatul doesn't support seed
*** Solution 1
First:
0 1 2 3 4 5 6 7 8 
1 2 3 8 0 7 5 4 6 
2 4 1 5 7 3 8 6 0 
3 6 7 2 1 4 0 8 5 
4 7 5 6 8 0 3 2 1 
5 3 8 0 6 2 7 1 4 
6 8 0 7 2 1 4 5 3 
7 5 6 4 3 8 1 0 2 
8 0 4 1 5 6 2 3 7 
Short form: 012345678123807546241573860367214085475680321538062714680721453756438102804156237

Mate:
0 7 8 4 3 1 5 2 6 
1 6 7 2 8 4 0 5 3 
2 0 5 3 6 8 4 1 7 
3 8 0 5 2 6 1 7 4 
4 3 6 7 1 5 2 0 8 
5 1 3 6 0 7 8 4 2 
6 5 2 1 4 3 7 8 0 
7 2 4 8 5 0 6 3 1 
8 4 1 0 7 2 3 6 5 
Short form: 078431526167284053205368417380526174436715208513607842652143780724850631841072365

Concatenated:
00 17 28 34 43 51 65 72 86 
11 26 37 82 08 74 50 45 63 
22 40 15 53 76 38 84 61 07 
33 68 70 25 12 46 01 87 54 
44 73 56 67 81 05 32 20 18 
55 31 83 06 60 27 78 14 42 
66 85 02 71 24 13 47 58 30 
77 52 64 48 35 80 16 03 21 
88 04 41 10 57 62 23 36 75 

Solutions: 1
['./MOLS2_par.py', '--solver', 'gimsatul', '--normalize', '--size', '9']
['/home/i/dotfiles/bin/my_time.py', './MOLS2_par.py', '--solver', 'gimsatul', '--normalize', '--size', '9']
seconds:  140
or:  2m20s
