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