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

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

Concatenated:
00 14 26 35 41 57 63 72 
11 40 65 76 24 32 07 53 
22 56 31 10 67 03 74 45 
33 75 04 27 12 46 51 60 
44 37 13 62 50 71 25 06 
55 23 70 01 36 64 42 17 
66 02 47 54 73 15 30 21 
77 61 52 43 05 20 16 34 

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