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 1930351731
Setting size 10
Normalize mode
Setting solver gimsatul
Warning: gimsatul doesn't support seed
*** Solution 1
First:
0 1 2 3 4 5 6 7 8 9 
1 3 8 6 5 0 2 4 9 7 
2 6 9 7 3 8 5 0 1 4 
3 4 1 9 8 7 0 2 6 5 
4 0 3 1 6 9 7 8 5 2 
5 2 4 8 0 3 1 9 7 6 
6 9 7 0 2 1 4 5 3 8 
7 8 5 4 9 6 3 1 2 0 
8 5 6 2 7 4 9 3 0 1 
9 7 0 5 1 2 8 6 4 3 
Short form: 0123456789138650249726973850143419870265403169785252480319766970214538785496312085627493019705128643

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

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

Solutions: 1
['./MOLS2_par.py', '--solver', 'gimsatul', '--normalize', '--size', '10']
['/home/i/dotfiles/bin/my_time.py', './MOLS2_par.py', '--solver', 'gimsatul', '--normalize', '--size', '10']
seconds:  1163
or:  19m23s
