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

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

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

Warning: gimsatul doesn't support seed
*** Solution 2
First:
3 1 4 5 9 2 6 8 7 0 
2 8 1 9 7 6 3 5 0 4 
9 4 5 2 3 0 7 1 6 8 
6 2 0 8 4 5 1 7 9 3 
8 3 6 4 0 9 5 2 1 7 
5 9 8 1 2 7 4 0 3 6 
4 6 2 7 5 3 0 9 8 1 
0 5 7 6 1 4 8 3 2 9 
1 7 3 0 6 8 9 4 5 2 
7 0 9 3 8 1 2 6 4 5 
Short form: 3145926870281976350494523071686208451793836409521759812740364627530981057614832917306894527093812645

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

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

Warning: gimsatul doesn't support seed
Solutions: 2
['./MOLS2_par.py', '--solver', 'gimsatul', '--all-solutions', '--normalize', '--first', '3145926870281976350494523071686208451793836409521759812740364627530981057614832917306894527093812645']
['/home/i/dotfiles/bin/my_time.py', './MOLS2_par.py', '--solver', 'gimsatul', '--all-solutions', '--normalize', '--first', '3145926870281976350494523071686208451793836409521759812740364627530981057614832917306894527093812645']
seconds:  360
or:  6m
