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