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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Warning: gimsatul doesn't support seed
Solutions: 6
['./MOLS2_par.py', '--solver', 'gimsatul', '--all-solutions', '--normalize', '--first', '0572164938605129847348670392151439807652832475609172039415865610473829914862530727953801643986512740']
['/home/i/dotfiles/bin/my_time.py', './MOLS2_par.py', '--solver', 'gimsatul', '--all-solutions', '--normalize', '--first', '0572164938605129847348670392151439807652832475609172039415865610473829914862530727953801643986512740']
seconds:  627
or:  10m27s
