Using 1 CPUs, (was 32)
Loading blocks... Done! (19.191673ms)
Populating blocks... Done! (49.056376ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 3% (933421/26542080); Rate: 933421/sec for 1.000002645s; Time left (est.): 27s
Processing: 11% (3174108/26542080); Rate: 2240687/sec for 1.008415394s; Time left (est.): 14s
Processing: 21% (5587028/26542080); Rate: 2412920/sec for 1.000002644s; Time left (est.): 11s
Processing: 32% (8627854/26542080); Rate: 3040826/sec for 1.000002465s; Time left (est.): 8s
Processing: 44% (11714429/26542080); Rate: 3086575/sec for 1.000011513s; Time left (est.): 6s
Processing: 55% (14845380/26542080); Rate: 3130951/sec for 1.000003621s; Time left (est.): 4s
Processing: 63% (16835437/26542080); Rate: 1990057/sec for 1.000002481s; Time left (est.): 4s
Processing: 72% (19334344/26542080); Rate: 2498907/sec for 1.000002371s; Time left (est.): 2s
Processing: 84% (22388837/26542080); Rate: 3054493/sec for 1.00000235s; Time left (est.): 1s
Processing: 95% (25377967/26542080); Rate: 2989130/sec for 1.000002129s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 1164113/sec for 1.00008334s; Time left (est.): 0s
Validated solutions (11.008672394s)
Average rate per second: 2412916

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,1,11.008672394s, 2412916
Using 2 CPUs, (was 32)
Loading blocks... Done! (12.284897ms)
Populating blocks... Done! (37.240403ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 11% (3038494/26542080); Rate: 3038472/sec for 1.000002739s; Time left (est.): 7s
Processing: 27% (7237191/26542080); Rate: 4198658/sec for 1.000002397s; Time left (est.): 5s
Processing: 46% (12323865/26542080); Rate: 5086629/sec for 1.000002487s; Time left (est.): 3s
Processing: 61% (16333049/26542080); Rate: 4009153/sec for 1.000008806s; Time left (est.): 2s
Processing: 80% (21273999/26542080); Rate: 4940885/sec for 1.000003946s; Time left (est.): 1s
Processing: 95% (25283493/26542080); Rate: 4009454/sec for 1.000013825s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 1258586/sec for 1.000928623s; Time left (est.): 0s
Validated solutions (7.001076703s)
Average rate per second: 3791691

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,2,7.001076703s, 3791691
Using 3 CPUs, (was 32)
Loading blocks... Done! (12.137085ms)
Populating blocks... Done! (28.750473ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 15% (4006463/26542080); Rate: 4006440/sec for 1.000002554s; Time left (est.): 5s
Processing: 38% (10189460/26542080); Rate: 6182821/sec for 1.000005703s; Time left (est.): 3s
Processing: 62% (16667529/26542080); Rate: 6478035/sec for 1.000016283s; Time left (est.): 1s
Processing: 82% (22014980/26542080); Rate: 5347351/sec for 1.000013762s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 4527017/sec for 1.000091113s; Time left (est.): 0s
Validated solutions (5.000230775s)
Average rate per second: 5308332

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,3,5.000230775s, 5308332
Using 4 CPUs, (was 32)
Loading blocks... Done! (9.808993ms)
Populating blocks... Done! (27.656002ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 23% (6228942/26542080); Rate: 6228892/sec for 1.000002621s; Time left (est.): 3s
Processing: 52% (13990072/26542080); Rate: 7760999/sec for 1.00003164s; Time left (est.): 1s
Processing: 79% (21181507/26542080); Rate: 7191401/sec for 1.000003129s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 5360539/sec for 1.000897307s; Time left (est.): 0s
Validated solutions (4.001025579s)
Average rate per second: 6635457

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,4,4.001025579s, 6635457
Using 5 CPUs, (was 32)
Loading blocks... Done! (8.982045ms)
Populating blocks... Done! (27.872404ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 25% (6799752/26542080); Rate: 6799730/sec for 1.000002378s; Time left (est.): 2s
Processing: 58% (15607210/26542080); Rate: 8807224/sec for 1.000002397s; Time left (est.): 1s
Processing: 90% (23985634/26542080); Rate: 8378309/sec for 1.000013758s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 2556332/sec for 1.000081097s; Time left (est.): 0s
Validated solutions (4.000204541s)
Average rate per second: 6635398

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,5,4.000204541s, 6635398
Using 6 CPUs, (was 32)
Loading blocks... Done! (10.369559ms)
Populating blocks... Done! (25.720874ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 28% (7479808/26542080); Rate: 7479792/sec for 1.000009316s; Time left (est.): 2s
Processing: 61% (16455563/26542080); Rate: 8975646/sec for 1.000002305s; Time left (est.): 1s
Processing: 95% (25230773/26542080); Rate: 8775042/sec for 1.000003315s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 1311164/sec for 1.000739721s; Time left (est.): 0s
Validated solutions (4.000832687s)
Average rate per second: 6635411

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,6,4.000832687s, 6635411
Using 7 CPUs, (was 32)
Loading blocks... Done! (9.040866ms)
Populating blocks... Done! (30.367208ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 29% (7890349/26542080); Rate: 7890337/sec for 1.000040674s; Time left (est.): 2s
Processing: 67% (18007610/26542080); Rate: 10117110/sec for 1.000015613s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 8534397/sec for 1.000041763s; Time left (est.): 0s
Validated solutions (3.00015429s)
Average rate per second: 8847281

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,7,3.00015429s, 8847281
Using 8 CPUs, (was 32)
Loading blocks... Done! (9.579071ms)
Populating blocks... Done! (28.849924ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 29% (7866183/26542080); Rate: 7866137/sec for 1.000024932s; Time left (est.): 2s
Processing: 69% (18518090/26542080); Rate: 10651640/sec for 1.125183156s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 8023879/sec for 1.000282433s; Time left (est.): 0s
Validated solutions (3.125565932s)
Average rate per second: 8847218

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,8,3.125565932s, 8847218
Using 9 CPUs, (was 32)
Loading blocks... Done! (9.614991ms)
Populating blocks... Done! (27.991656ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 25% (6877156/26542080); Rate: 6877151/sec for 1.0000722s; Time left (est.): 2s
Processing: 64% (17107621/26542080); Rate: 10230337/sec for 1.000010049s; Time left (est.): 1s
Processing: 100% (26542080/26542080); Rate: 9434382/sec for 1.000401522s; Time left (est.): 0s
Validated solutions (3.000540882s)
Average rate per second: 8847290

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,9,3.000540882s, 8847290
Using 10 CPUs, (was 32)
Loading blocks... Done! (10.798702ms)
Populating blocks... Done! (25.762034ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 38% (10282781/26542080); Rate: 10282537/sec for 1.000005309s; Time left (est.): 1s
Processing: 80% (21304964/26542080); Rate: 11022134/sec for 1.000002538s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 5236760/sec for 1.000221009s; Time left (est.): 0s
Validated solutions (3.000381526s)
Average rate per second: 8847143

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,10,3.000381526s, 8847143
Using 11 CPUs, (was 32)
Loading blocks... Done! (9.759853ms)
Populating blocks... Done! (23.134419ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 36% (9751333/26542080); Rate: 9751257/sec for 1.000002726s; Time left (est.): 1s
Processing: 75% (19912898/26542080); Rate: 10161298/sec for 1.000061167s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 6628862/sec for 1.000049626s; Time left (est.): 0s
Validated solutions (3.000192049s)
Average rate per second: 8847139

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,11,3.000192049s, 8847139
Using 12 CPUs, (was 32)
Loading blocks... Done! (13.308126ms)
Populating blocks... Done! (29.249657ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 29% (7949248/26542080); Rate: 7949213/sec for 1.000109095s; Time left (est.): 2s
Processing: 65% (17434698/26542080); Rate: 9485146/sec for 1.000008494s; Time left (est.): 1s
Processing: 100% (26542080/26542080); Rate: 9107219/sec for 1.000989413s; Time left (est.): 0s
Validated solutions (3.001187393s)
Average rate per second: 8847192

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,12,3.001187393s, 8847192
Using 13 CPUs, (was 32)
Loading blocks... Done! (11.454828ms)
Populating blocks... Done! (25.604982ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 37% (9845419/26542080); Rate: 9845303/sec for 1.000009773s; Time left (est.): 1s
Processing: 76% (20219282/26542080); Rate: 10373195/sec for 1.000009513s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 6322549/sec for 1.000627968s; Time left (est.): 0s
Validated solutions (3.000747494s)
Average rate per second: 8847015

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,13,3.000747494s, 8847015
Using 14 CPUs, (was 32)
Loading blocks... Done! (12.607589ms)
Populating blocks... Done! (28.061536ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 29% (7945100/26542080); Rate: 7945068/sec for 1.000058931s; Time left (est.): 2s
Processing: 74% (19874532/26542080); Rate: 11929248/sec for 1.000117832s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 6667462/sec for 1.00002099s; Time left (est.): 0s
Validated solutions (3.000260533s)
Average rate per second: 8847259

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,14,3.000260533s, 8847259
Using 15 CPUs, (was 32)
Loading blocks... Done! (9.742702ms)
Populating blocks... Done! (25.39738ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 37% (9833305/26542080); Rate: 9833281/sec for 1.000006959s; Time left (est.): 1s
Processing: 78% (20738674/26542080); Rate: 10905185/sec for 1.000002739s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 5803255/sec for 1.000578054s; Time left (est.): 0s
Validated solutions (3.000648752s)
Average rate per second: 8847240

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,15,3.000648752s, 8847240
Using 16 CPUs, (was 32)
Loading blocks... Done! (11.904453ms)
Populating blocks... Done! (24.890956ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 31% (8330749/26542080); Rate: 8330705/sec for 1.000151909s; Time left (est.): 2s
Processing: 68% (18278560/26542080); Rate: 9947356/sec for 1.000005527s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 8263103/sec for 1.000995506s; Time left (est.): 0s
Validated solutions (3.001247443s)
Average rate per second: 8847054

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,16,3.001247443s, 8847054
Using 17 CPUs, (was 32)
Loading blocks... Done! (9.914764ms)
Populating blocks... Done! (28.509189ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 35% (9336721/26542080); Rate: 9336698/sec for 1.000074157s; Time left (est.): 1s
Processing: 77% (20504981/26542080); Rate: 11168023/sec for 1.000018176s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 6036611/sec for 1.000066596s; Time left (est.): 0s
Validated solutions (3.000230519s)
Average rate per second: 8847110

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,17,3.000230519s, 8847110
Using 18 CPUs, (was 32)
Loading blocks... Done! (12.000754ms)
Populating blocks... Done! (26.607022ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 36% (9806544/26542080); Rate: 9806455/sec for 1.000044094s; Time left (est.): 1s
Processing: 79% (20994418/26542080); Rate: 11187301/sec for 1.042685737s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 5547314/sec for 1.000217695s; Time left (est.): 0s
Validated solutions (3.043110958s)
Average rate per second: 8847023

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,18,3.043110958s, 8847023
Using 19 CPUs, (was 32)
Loading blocks... Done! (10.121966ms)
Populating blocks... Done! (27.355178ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 34% (9240373/26542080); Rate: 9240354/sec for 1.000005443s; Time left (est.): 1s
Processing: 75% (19973077/26542080); Rate: 10730992/sec for 1.000046603s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 6568871/sec for 1.000596847s; Time left (est.): 0s
Validated solutions (3.000820794s)
Average rate per second: 8846739

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,19,3.000820794s, 8846739
Using 20 CPUs, (was 32)
Loading blocks... Done! (12.627539ms)
Populating blocks... Done! (24.958306ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 35% (9399741/26542080); Rate: 9399670/sec for 1.000146102s; Time left (est.): 1s
Processing: 76% (20389886/26542080); Rate: 10989728/sec for 1.000149322s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 6150949/sec for 1.000106061s; Time left (est.): 0s
Validated solutions (3.000578336s)
Average rate per second: 8846782

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,20,3.000578336s, 8846782
Using 21 CPUs, (was 32)
Loading blocks... Done! (9.687101ms)
Populating blocks... Done! (25.553651ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 36% (9785777/26542080); Rate: 9785720/sec for 1.000002709s; Time left (est.): 1s
Processing: 80% (21281243/26542080); Rate: 11494916/sec for 1.000002499s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 5260096/sec for 1.00015745s; Time left (est.): 0s
Validated solutions (3.000266499s)
Average rate per second: 8846910

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,21,3.000266499s, 8846910
Using 22 CPUs, (was 32)
Loading blocks... Done! (9.751462ms)
Populating blocks... Done! (24.225369ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 38% (10089851/26542080); Rate: 10089750/sec for 1.000018538s; Time left (est.): 1s
Processing: 77% (20644602/26542080); Rate: 10554410/sec for 1.000073147s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 5897329/sec for 1.000081127s; Time left (est.): 0s
Validated solutions (3.000232443s)
Average rate per second: 8847163

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,22,3.000232443s, 8847163
Using 23 CPUs, (was 32)
Loading blocks... Done! (10.265247ms)
Populating blocks... Done! (25.941525ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 39% (10354584/26542080); Rate: 10354490/sec for 1.000005076s; Time left (est.): 1s
Processing: 78% (20962051/26542080); Rate: 10606169/sec for 1.000028116s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 5579747/sec for 1.000334048s; Time left (est.): 0s
Validated solutions (3.000568211s)
Average rate per second: 8846802

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,23,3.000568211s, 8846802
Using 24 CPUs, (was 32)
Loading blocks... Done! (10.724191ms)
Populating blocks... Done! (25.106687ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 34% (9262667/26542080); Rate: 9262615/sec for 1.000045294s; Time left (est.): 1s
Processing: 75% (19999055/26542080); Rate: 10736112/sec for 1.000026205s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 6531387/sec for 1.000789351s; Time left (est.): 0s
Validated solutions (3.001856769s)
Average rate per second: 8843371

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,24,3.001856769s, 8843371
Using 25 CPUs, (was 32)
Loading blocks... Done! (9.716462ms)
Populating blocks... Done! (27.802532ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 34% (9084902/26542080); Rate: 9084875/sec for 1.000016194s; Time left (est.): 1s
Processing: 73% (19477097/26542080); Rate: 10391694/sec for 1.000089413s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 7064748/sec for 1.000301064s; Time left (est.): 0s
Validated solutions (3.000507102s)
Average rate per second: 8847105

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,25,3.000507102s, 8847105
Using 26 CPUs, (was 32)
Loading blocks... Done! (9.638431ms)
Populating blocks... Done! (22.788955ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 33% (8905216/26542080); Rate: 8905131/sec for 1.000002831s; Time left (est.): 1s
Processing: 73% (19410754/26542080); Rate: 10504979/sec for 1.000165193s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 7131064/sec for 1.00103379s; Time left (est.): 0s
Validated solutions (3.001298804s)
Average rate per second: 8847058

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,26,3.001298804s, 8847058
Using 27 CPUs, (was 32)
Loading blocks... Done! (9.47662ms)
Populating blocks... Done! (24.694333ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 34% (9108145/26542080); Rate: 9108101/sec for 1.000078981s; Time left (est.): 1s
Processing: 73% (19506634/26542080); Rate: 10398224/sec for 1.000234951s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 7030254/sec for 1.001026828s; Time left (est.): 0s
Validated solutions (3.001884205s)
Average rate per second: 8845526

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,27,3.001884205s, 8845526
Using 28 CPUs, (was 32)
Loading blocks... Done! (9.52772ms)
Populating blocks... Done! (24.835134ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 34% (9285385/26542080); Rate: 9285342/sec for 1.000018249s; Time left (est.): 1s
Processing: 74% (19691799/26542080); Rate: 10405178/sec for 1.000005717s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 6850061/sec for 1.000782194s; Time left (est.): 0s
Validated solutions (3.000988362s)
Average rate per second: 8846860

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,28,3.000988362s, 8846860
Using 29 CPUs, (was 32)
Loading blocks... Done! (9.853343ms)
Populating blocks... Done! (28.865373ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 35% (9326808/26542080); Rate: 9326768/sec for 1.000016547s; Time left (est.): 1s
Processing: 73% (25421236/26542080); Rate: 10271869/sec for 1.000004886s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 1120546/sec for 1.000330277s; Time left (est.): 0s
Validated solutions (3.551921535s)
Average rate per second: 6906394

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,29,3.551921535s, 6906394
Using 30 CPUs, (was 32)
Loading blocks... Done! (9.602291ms)
Populating blocks... Done! (26.602661ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 34% (9130713/26542080); Rate: 9130675/sec for 1.000011535s; Time left (est.): 1s
Processing: 73% (19508821/26542080); Rate: 10377613/sec for 1.01650567s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 7033093/sec for 1.000773051s; Time left (est.): 0s
Validated solutions (3.017408896s)
Average rate per second: 8847127

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,30,3.017408896s, 8847127
Using 31 CPUs, (was 32)
Loading blocks... Done! (10.144296ms)
Populating blocks... Done! (23.736584ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 33% (8966351/26542080); Rate: 8966293/sec for 1.000082204s; Time left (est.): 1s
Processing: 72% (19293487/26542080); Rate: 10326882/sec for 1.000052293s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 7248204/sec for 1.000079242s; Time left (est.): 0s
Validated solutions (3.00027708s)
Average rate per second: 8847126

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,31,3.00027708s, 8847126
Loading blocks... Done! (9.162836ms)
Populating blocks... Done! (24.237789ms)
Number of (potential) solutions: 26542080
Validating solutions
Processing: 33% (8906444/26542080); Rate: 8906428/sec for 1.000012682s; Time left (est.): 1s
Processing: 73% (19492409/26542080); Rate: 10585517/sec for 1.000082102s; Time left (est.): 0s
Processing: 100% (26542080/26542080); Rate: 7049642/sec for 1.000514465s; Time left (est.): 0s
Validated solutions (3.00072733s)
Average rate per second: 8847195

Solution #1:
╔═══════════╗
║769│154│832╢
║154│832│769╢
║832│769│154╢
╟───┼───┼───╢
║671│945│328╢
║945│328│671╢
║328│671│945╢
╟───┼───┼───╢
║597│416│283╢
║416│283│597╢
║283│597│416╢
╚═══════════╝

benchmark,32,3.00072733s, 8847195
