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 1010696056
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 3 4 5 0 6 2 
2 4 5 0 6 1 3 
3 5 0 6 1 2 4 
4 0 6 1 2 3 5 
5 6 1 2 3 4 0 
6 2 3 4 5 0 1 
Short form: 0123456134506224506133506124406123556123406234501

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

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

Concatenated:
000 163 245 316 452 524 631 
111 325 406 532 064 640 253 
222 430 561 043 615 156 304 
333 546 012 654 120 201 465 
444 051 623 105 236 362 510 
555 602 134 260 341 413 026 
666 214 350 421 503 035 142 

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