usage: MOLS3_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 1244208685
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 0 7 6 5 4 3 2 
2 7 0 4 3 6 5 1 
3 5 6 1 2 0 7 4 
4 6 5 0 7 1 2 3 
5 3 4 7 0 2 1 6 
6 4 3 2 1 7 0 5 
7 2 1 5 6 3 4 0 
Short form: 0123456710765432270436513561207446507123534702166432170572156340

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

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

Concatenated:
000 175 261 327 416 534 653 742 
111 023 750 604 572 465 346 237 
222 714 035 473 301 640 567 156 
333 541 617 162 254 076 705 420 
444 632 526 051 763 107 270 315 
555 360 402 736 047 213 124 671 
666 457 374 245 130 721 012 503 
777 206 143 510 625 352 431 064 

Solutions: 1
['./MOLS3_par.py', '--normalize', '--solver', 'gimsatul', '--size', '8']
['/home/i/dotfiles/bin/my_time.py', './MOLS3_par.py', '--normalize', '--solver', 'gimsatul', '--size', '8']
seconds:  3279
or:  54m39s
