usage: MOLS.py [-h] [--size SIZE] [--seed SEED] [--normalize] [--mode [MODE]]
               [--randomize] [--all-solutions] [--solver SOLVER] [-v]
               [--MOLS3] [--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
  --mode [MODE]    Can be enum/restart. Default=enum
  --randomize      Randomize LS before search (in 'restart' mode).
                   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
  --MOLS3          Find also 3-MOLS. Default=false
  --first [FIRST]  Set first square (in short form)
  --proof          Generate proof (during exact cover stage). Default=false

Setting seed 1543513402
Setting size 8
Setting mode enum
Non-normalize mode
Setting solver kissat
Setting first square
transversals_total 800
Going to solve exact cover problem
transversals_set_i 0
[31m3[0m [32m1[0m [33m4[0m [34m5[0m [35m9[0m [36m2[0m [37m6[0m [90m8[0m [91m7[0m [92m0[0m 
[91m2[0m [92m8[0m [31m1[0m [33m9[0m [34m7[0m [90m6[0m [35m3[0m [36m5[0m [32m0[0m [37m4[0m 
[90m9[0m [31m4[0m [32m5[0m [92m2[0m [37m3[0m [35m0[0m [36m7[0m [91m1[0m [34m6[0m [33m8[0m 
[92m6[0m [90m2[0m [36m0[0m [35m8[0m [91m4[0m [37m5[0m [34m1[0m [33m7[0m [31m9[0m [32m3[0m 
[32m8[0m [33m3[0m [91m6[0m [36m4[0m [90m0[0m [34m9[0m [92m5[0m [37m2[0m [35m1[0m [31m7[0m 
[33m5[0m [91m9[0m [34m8[0m [37m1[0m [32m2[0m [92m7[0m [90m4[0m [31m0[0m [36m3[0m [35m6[0m 
[34m4[0m [36m6[0m [35m2[0m [32m7[0m [31m5[0m [91m3[0m [33m0[0m [92m9[0m [37m8[0m [90m1[0m 
[37m0[0m [35m5[0m [90m7[0m [31m6[0m [92m1[0m [32m4[0m [91m8[0m [34m3[0m [33m2[0m [36m9[0m 
[36m1[0m [37m7[0m [92m3[0m [91m0[0m [33m6[0m [31m8[0m [32m9[0m [35m4[0m [90m5[0m [34m2[0m 
[35m7[0m [34m0[0m [37m9[0m [90m3[0m [36m8[0m [33m1[0m [31m2[0m [32m6[0m [92m4[0m [91m5[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
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 

transversals_set_i 1
[31m3[0m [32m1[0m [33m4[0m [34m5[0m [35m9[0m [36m2[0m [37m6[0m [90m8[0m [91m7[0m [92m0[0m 
[34m2[0m [36m8[0m [31m1[0m [91m9[0m [92m7[0m [35m6[0m [90m3[0m [33m5[0m [32m0[0m [37m4[0m 
[92m9[0m [34m4[0m [32m5[0m [33m2[0m [36m3[0m [37m0[0m [31m7[0m [35m1[0m [90m6[0m [91m8[0m 
[36m6[0m [92m2[0m [35m0[0m [31m8[0m [91m4[0m [90m5[0m [33m1[0m [37m7[0m [34m9[0m [32m3[0m 
[37m8[0m [35m3[0m [91m6[0m [90m4[0m [33m0[0m [31m9[0m [92m5[0m [32m2[0m [36m1[0m [34m7[0m 
[35m5[0m [37m9[0m [34m8[0m [92m1[0m [90m2[0m [32m7[0m [36m4[0m [91m0[0m [33m3[0m [31m6[0m 
[32m4[0m [33m6[0m [37m2[0m [35m7[0m [31m5[0m [91m3[0m [34m0[0m [36m9[0m [92m8[0m [90m1[0m 
[90m0[0m [91m5[0m [36m7[0m [32m6[0m [37m1[0m [92m4[0m [35m8[0m [34m3[0m [31m2[0m [33m9[0m 
[91m1[0m [90m7[0m [92m3[0m [36m0[0m [34m6[0m [33m8[0m [32m9[0m [31m4[0m [37m5[0m [35m2[0m 
[33m7[0m [31m0[0m [90m9[0m [37m3[0m [32m8[0m [34m1[0m [91m2[0m [92m6[0m [35m4[0m [36m5[0m 
*** find_mate_for_square_with_transversals()
find_mate_for_square_with_transversals() (SAT)
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 

Finish. Mates total 2
['./MOLS.py', '--all-solutions', '--first', '3145926870281976350494523071686208451793836409521759812740364627530981057614832917306894527093812645']
['/home/i/dotfiles/bin/my_time.py', './MOLS.py', '--all-solutions', '--first', '3145926870281976350494523071686208451793836409521759812740364627530981057614832917306894527093812645']
seconds:  11
or:  11s
