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

Mate:
0 4 5 2 6 1 3 
1 6 2 4 3 5 0 
2 5 1 3 0 6 4 
3 2 6 0 1 4 5 
4 0 3 1 5 2 6 
5 1 0 6 4 3 2 
6 3 4 5 2 0 1 
Short form: 0452613162435025130643260145403152651064326345201

Concatenated:
00 14 25 32 46 51 63 
11 56 02 64 23 35 40 
22 65 41 13 30 06 54 
33 42 16 50 61 24 05 
44 20 53 01 15 62 36 
55 31 60 26 04 43 12 
66 03 34 45 52 10 21 

Solutions: 1
['./MOLS2_par.py', '--solver', 'gimsatul', '--normalize', '--size', '7']
['/home/i/dotfiles/bin/my_time.py', './MOLS2_par.py', '--solver', 'gimsatul', '--normalize', '--size', '7']
seconds:  0
or:  0s
