Optimized. Extended. Still not scalable.. But its okay now.

.pre-commit-config.yaml

@@ -2,7 +2,7 @@
 # See https://pre-commit.com/hooks.html for more hooks
 repos:
 -   repo: https://github.com/pre-commit/pre-commit-hooks
-    rev: v5.0.0
+    rev: v6.0.0
     hooks:
     -   id: trailing-whitespace
     -   id: end-of-file-fixer

benchmark.sh

@@ -0,0 +1,6 @@
+#!/bin/sh
+
+for iterator in $(seq 32)
+do
+    go run . -row1 769104802 -row2 154800060 -row3 832700154 -row4 600900328 -row5 045328670 -row6 328670945 -row7 597410280 -row8 006283090 -row9 200590006 -numcpu $iterator
+done

controller/types.go

@@ -1,6 +1,10 @@
 package controller
 
-import "gitea.ligthert.net/golang/sudoku-funpark/outputter"
+import (
+	"time"
+
+	"gitea.ligthert.net/golang/sudoku-funpark/outputter"
+)
 
 // Simple interface to store values shared amongst packages.
 type Controller struct {
@@ -38,4 +42,8 @@ type Controller struct {
 	Print string
 	// Outputter package
 	Outputter *outputter.Outputter
+	// Duration of the job
+	Duration time.Duration
+	// Calculate avg rate
+	Rates []uint64
 }

go.mod

@@ -1,3 +1,5 @@
 module gitea.ligthert.net/golang/sudoku-funpark
 
 go 1.23.3
+
+require github.com/dustin/go-humanize v1.0.1 // indirect

go.sum

@@ -0,0 +1,2 @@
+github.com/dustin/go-humanize v1.0.1 h1:GzkhY7T5VNhEkwH0PVJgjz+fX1rhBrR7pRT3mDkpeCY=
+github.com/dustin/go-humanize v1.0.1/go.mod h1:Mu1zIs6XwVuF/gI1OepvI0qD18qycQx+mFykh5fBlto=

main.go

@@ -47,9 +47,14 @@ func main() {
 	outp.Println("Number of (potential) solutions:", solver.Iter)
 
 	// Check the number of solutions
-	go solver.CheckCombinations()
+	//go solver.CheckCombinations()
+	go solver.ManageSolver()
 	solver.Tracker()
 
+	outp.Println("Average rate per second: " + strconv.Itoa(int(solver.CalcAvgRate())))
+
 	fmt.Println(export.Export())
 
+	// fmt.Printf("benchmark,%d,%s, %s\n", controller.NumCPUs, controller.Duration, strconv.Itoa(int(solver.CalcAvgRate())))
+
 }

old/test_long.csv

@@ -0,0 +1,1959 @@
+Using 1 CPUs, (was 32)
+Loading blocks... Done! (25.243501ms)
+Populating blocks... Done! (92.858863ms)
+Number of (potential) solutions: 7962624000
+Validating solutions
+Processing: 0% (700504/7962624000); Rate: 700504/sec for 1.000002408s; Time left (est.): 3h9m25s
+Processing: 1% (81466923/7962624000); Rate: 3018797/sec for 31.017154854s; Time left (est.): 1h10m37s
+Processing: 2% (161329587/7962624000); Rate: 3205828/sec for 34.000207974s; Time left (est.): 56m19s
+Processing: 3% (239623465/7962624000); Rate: 2296863/sec for 1m9.842973008s; Time left (est.): 55m49s
+Processing: 4% (318959082/7962624000); Rate: 481215/sec for 1m57.725574488s; Time left (est.): 1h5m38s
+Processing: 5% (398284113/7962624000); Rate: 449106/sec for 3m1.553834784s; Time left (est.): 1h14m30s
+Processing: 6% (477961605/7962624000); Rate: 363259/sec for 2m20.008345296s; Time left (est.): 1h23m2s
+Processing: 7% (557683162/7962624000); Rate: 387862/sec for 2m37.049103279s; Time left (est.): 1h30m33s
+Processing: 8% (637202510/7962624000); Rate: 342662/sec for 3m52.784580658s; Time left (est.): 1h37m42s
+Processing: 9% (716665866/7962624000); Rate: 299842/sec for 4m2.203968565s; Time left (est.): 1h44m35s
+Processing: 10% (796828190/7962624000); Rate: 600725/sec for 5m31.621451774s; Time left (est.): 1h48m9s
+Processing: 11% (876160520/7962624000); Rate: 436775/sec for 6m33.36475249s; Time left (est.): 1h52m37s
+Processing: 12% (955666702/7962624000); Rate: 928645/sec for 4m46.425636766s; Time left (est.): 1h52m21s
+Processing: 13% (1035926375/7962624000); Rate: 1187103/sec for 4m50.454959772s; Time left (est.): 1h49m57s
+Processing: 14% (1114874931/7962624000); Rate: 604877/sec for 4m18.860115767s; Time left (est.): 1h51m51s
+Processing: 15% (1194682853/7962624000); Rate: 493496/sec for 3m25.409123566s; Time left (est.): 1h54m14s
+Processing: 16% (1274326193/7962624000); Rate: 640621/sec for 3m46.454939864s; Time left (est.): 1h55m16s
+Processing: 17% (1353762182/7962624000); Rate: 450848/sec for 3m47.960913482s; Time left (est.): 1h57m23s
+Processing: 18% (1433505593/7962624000); Rate: 469897/sec for 4m52.805865305s; Time left (est.): 1h59m6s
+Processing: 19% (1513218835/7962624000); Rate: 971186/sec for 3m52.323269566s; Time left (est.): 1h57m16s
+Processing: 20% (1593000111/7962624000); Rate: 516166/sec for 3m31.254551927s; Time left (est.): 1h58m17s
+Processing: 21% (1672206836/7962624000); Rate: 509461/sec for 2m57.999333676s; Time left (est.): 1h59m9s
+Processing: 22% (1752007554/7962624000); Rate: 307795/sec for 4m5.406703106s; Time left (est.): 2h1m4s
+Processing: 23% (1832078377/7962624000); Rate: 691101/sec for 2m38.16746795s; Time left (est.): 2h0m28s
+Processing: 24% (1911366282/7962624000); Rate: 476092/sec for 2m48.008389338s; Time left (est.): 2h1m2s
+Processing: 25% (1990788912/7962624000); Rate: 452047/sec for 3m1.878156801s; Time left (est.): 2h1m35s
+Processing: 26% (2070575728/7962624000); Rate: 322829/sec for 3m51.028407461s; Time left (est.): 2h2m43s
+Processing: 27% (2150244297/7962624000); Rate: 490699/sec for 3m45.079306919s; Time left (est.): 2h2m45s
+Processing: 28% (2230464659/7962624000); Rate: 1101035/sec for 1m59.734483723s; Time left (est.): 1h59m26s
+Processing: 29% (2309724826/7962624000); Rate: 805084/sec for 3m22.974943035s; Time left (est.): 1h57m45s
+Processing: 30% (2388984232/7962624000); Rate: 1039235/sec for 1m43.229153548s; Time left (est.): 1h54m59s
+Processing: 31% (2468595511/7962624000); Rate: 428996/sec for 2m7.252844928s; Time left (est.): 1h55m2s
+Processing: 32% (2548397239/7962624000); Rate: 650804/sec for 2m33.45549691s; Time left (est.): 1h53m59s
+Processing: 33% (2628140931/7962624000); Rate: 517166/sec for 2m5.926524846s; Time left (est.): 1h53m28s
+Processing: 34% (2707454603/7962624000); Rate: 291693/sec for 3m7.560341746s; Time left (est.): 1h53m49s
+Processing: 34% (2724458140/7962624000); Rate: 0/sec for 50.999940544s; Time left (est.): N/A
+Processing: 36% (2866877294/7962624000); Rate: 643872/sec for 4m25.662439612s; Time left (est.): 1h53m57s
+Processing: 37% (2946692319/7962624000); Rate: 800689/sec for 2m22.002308324s; Time left (est.): 1h51m57s
+Processing: 38% (3026144278/7962624000); Rate: 908652/sec for 1m54.792939995s; Time left (est.): 1h49m34s
+Processing: 39% (3106102732/7962624000); Rate: 848531/sec for 3m6.717981502s; Time left (est.): 1h47m26s
+Processing: 40% (3185347726/7962624000); Rate: 921147/sec for 1m57.622300315s; Time left (est.): 1h45m7s
+Processing: 41% (3264838644/7962624000); Rate: 952838/sec for 2m35.135662254s; Time left (est.): 1h42m44s
+Processing: 42% (3344995585/7962624000); Rate: 715521/sec for 1m47.939519148s; Time left (est.): 1h41m8s
+Processing: 43% (3424110601/7962624000); Rate: 356567/sec for 2m48.12959185s; Time left (est.): 1h40m37s
+Processing: 44% (3504205284/7962624000); Rate: 660182/sec for 2m22.927333316s; Time left (est.): 1h39m6s
+Processing: 45% (3583577535/7962624000); Rate: 526004/sec for 2m30.978477393s; Time left (est.): 1h37m58s
+Processing: 46% (3663137256/7962624000); Rate: 341954/sec for 3m21.862590896s; Time left (est.): 1h37m19s
+Processing: 47% (3743012115/7962624000); Rate: 688694/sec for 2m24.496682428s; Time left (est.): 1h35m38s
+Processing: 48% (3822112792/7962624000); Rate: 392022/sec for 4m10.042574078s; Time left (est.): 1h34m45s
+Processing: 49% (3902205904/7962624000); Rate: 552105/sec for 2m56.820263157s; Time left (est.): 1h33m22s
+Processing: 50% (3981342979/7962624000); Rate: 513118/sec for 3m52.753623578s; Time left (est.): 1h32m4s
+Processing: 51% (4061416832/7962624000); Rate: 689996/sec for 3m8.394929535s; Time left (est.): 1h30m18s
+Processing: 52% (4140800779/7962624000); Rate: 312391/sec for 3m35.793787716s; Time left (est.): 1h29m25s
+Processing: 53% (4220220099/7962624000); Rate: 1107083/sec for 2m58.658407609s; Time left (est.): 1h26m40s
+Processing: 54% (4300175978/7962624000); Rate: 562949/sec for 2m13.934026153s; Time left (est.): 1h25m9s
+Processing: 55% (4379912815/7962624000); Rate: 490791/sec for 3m10.565167981s; Time left (est.): 1h23m46s
+Processing: 56% (4459175642/7962624000); Rate: 540520/sec for 2m49.861408747s; Time left (est.): 1h22m16s
+Processing: 57% (4539150861/7962624000); Rate: 739319/sec for 2m3.441425272s; Time left (est.): 1h20m20s
+Processing: 58% (4618718242/7962624000); Rate: 675966/sec for 2m6.666339022s; Time left (est.): 1h18m31s
+Processing: 59% (4698273920/7962624000); Rate: 829814/sec for 3m20.256792884s; Time left (est.): 1h16m26s
+Processing: 60% (4777634654/7962624000); Rate: 471084/sec for 2m29.024922338s; Time left (est.): 1h15m0s
+Processing: 61% (4857654942/7962624000); Rate: 548769/sec for 3m5.126462746s; Time left (est.): 1h13m23s
+Processing: 62% (4936909247/7962624000); Rate: 84068/sec for 2m14.603841076s; Time left (est.): 1h12m31s
+Processing: 63% (5016985098/7962624000); Rate: 705380/sec for 1m28.349066254s; Time left (est.): 1h10m35s
+Processing: 64% (5096767483/7962624000); Rate: 832596/sec for 1m50.313823575s; Time left (est.): 1h8m28s
+Processing: 65% (5175911169/7962624000); Rate: 623081/sec for 3m5.449898757s; Time left (est.): 1h6m41s
+Processing: 66% (5255687737/7962624000); Rate: 451846/sec for 2m32.449891317s; Time left (est.): 1h5m7s
+Processing: 67% (5335264607/7962624000); Rate: 387862/sec for 2m42.236864001s; Time left (est.): 1h3m37s
+Processing: 68% (5414765695/7962624000); Rate: 495916/sec for 3m13.596444769s; Time left (est.): 1h1m56s
+Processing: 69% (5494282518/7962624000); Rate: 562173/sec for 3m1.899901562s; Time left (est.): 1h0m9s
+Processing: 70% (5574652057/7962624000); Rate: 959628/sec for 3m1.333163602s; Time left (est.): 57m52s
+Processing: 71% (5653973689/7962624000); Rate: 838555/sec for 1m58.023736694s; Time left (est.): 55m47s
+Processing: 72% (5733254854/7962624000); Rate: 309118/sec for 3m20.294486386s; Time left (est.): 54m16s
+Processing: 73% (5813672226/7962624000); Rate: 1299107/sec for 3m30.163237455s; Time left (est.): 51m41s
+Processing: 74% (5892671573/7962624000); Rate: 545167/sec for 3m12.234185427s; Time left (est.): 49m56s
+Processing: 75% (5972380691/7962624000); Rate: 876734/sec for 2m40.345348069s; Time left (est.): 47m50s
+Processing: 76% (6051837296/7962624000); Rate: 981282/sec for 2m5.796663245s; Time left (est.): 45m41s
+Processing: 77% (6131594396/7962624000); Rate: 389764/sec for 3m12.862354548s; Time left (est.): 44m1s
+Processing: 78% (6210968334/7962624000); Rate: 749145/sec for 3m3.340004707s; Time left (est.): 42m4s
+Processing: 79% (6290538191/7962624000); Rate: 792304/sec for 3m1.61650687s; Time left (est.): 40m5s
+Processing: 80% (6371006881/7962624000); Rate: 1184515/sec for 2m16.084909669s; Time left (est.): 37m50s
+Processing: 81% (6450220799/7962624000); Rate: 1077954/sec for 1m53.44261241s; Time left (est.): 35m43s
+Processing: 82% (6529369482/7962624000); Rate: 506923/sec for 3m22.757631529s; Time left (est.): 33m57s
+Processing: 83% (6609305949/7962624000); Rate: 809670/sec for 2m7.263950514s; Time left (est.): 32m0s
+Processing: 84% (6689128459/7962624000); Rate: 621793/sec for 3m14.706500006s; Time left (est.): 30m9s
+Processing: 85% (6768416411/7962624000); Rate: 496836/sec for 3m19.857571915s; Time left (est.): 28m23s
+Processing: 86% (6847895264/7962624000); Rate: 247302/sec for 2m39.073881181s; Time left (est.): 26m41s
+Processing: 87% (6927586276/7962624000); Rate: 315504/sec for 4m9.884878422s; Time left (est.): 24m56s
+Processing: 88% (7007244047/7962624000); Rate: 228760/sec for 5m50.718851072s; Time left (est.): 23m11s
+Processing: 89% (7086937842/7962624000); Rate: 697945/sec for 4m51.726711465s; Time left (est.): 21m15s
+Processing: 90% (7166566429/7962624000); Rate: 485290/sec for 3m54.066213433s; Time left (est.): 19m23s
+Processing: 91% (7246336769/7962624000); Rate: 607664/sec for 3m28.023004703s; Time left (est.): 17m27s
+Processing: 92% (7325711675/7962624000); Rate: 374589/sec for 4m8.711637921s; Time left (est.): 15m36s
+Processing: 93% (7405305046/7962624000); Rate: 798703/sec for 4m22.460902162s; Time left (est.): 13m37s
+Processing: 94% (7485037157/7962624000); Rate: 638680/sec for 2m15.056728266s; Time left (est.): 11m41s
+Processing: 95% (7564607066/7962624000); Rate: 398774/sec for 4m3.04867432s; Time left (est.): 9m46s
+Processing: 96% (7644154746/7962624000); Rate: 565309/sec for 2m38.733409363s; Time left (est.): 7m50s
+Processing: 97% (7723964002/7962624000); Rate: 447343/sec for 2m32.224479462s; Time left (est.): 5m53s
+Processing: 98% (7803972437/7962624000); Rate: 619484/sec for 3m21.283282978s; Time left (est.): 3m55s
+Processing: 99% (7883105531/7962624000); Rate: 615930/sec for 2m11.215892994s; Time left (est.): 1m58s
+Processing: 100% (7962624000/7962624000); Rate: 401688/sec for 1m28.154758363s; Time left (est.): 0s
+Validated solutions (5h2m56.107016337s)
+Average rate per second: 670745
+
+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,5h2m56.107016337s, 670745
+Using 2 CPUs, (was 32)
+Loading blocks... Done! (17.010439ms)
+Populating blocks... Done! (62.098141ms)
+Number of (potential) solutions: 7962624000
+Validating solutions
+Processing: 0% (944352/7962624000); Rate: 944352/sec for 1.000031898s; Time left (est.): 2h20m30s
+Processing: 1% (79960895/7962624000); Rate: 5282135/sec for 21.044545065s; Time left (est.): 42m11s
+Processing: 2% (161076005/7962624000); Rate: 2026260/sec for 1m6.936067291s; Time left (est.): 47m15s
+Processing: 3% (244120262/7962624000); Rate: 50515064/sec for 1m45.385273948s; Time left (est.): 8m45s
+Processing: 4% (318605822/7962624000); Rate: 352156/sec for 2m20.430086222s; Time left (est.): 10m46s
+Processing: 5% (398515220/7962624000); Rate: 385842/sec for 2m37.888772674s; Time left (est.): 12m42s
+Processing: 6% (478504086/7962624000); Rate: 766947/sec for 3m6.112191631s; Time left (est.): 14m29s
+Processing: 7% (557591868/7962624000); Rate: 359621/sec for 4m13.769447291s; Time left (est.): 16m17s
+Processing: 8% (637184369/7962624000); Rate: 371471/sec for 4m15.667531153s; Time left (est.): 18m0s
+Processing: 9% (717077316/7962624000); Rate: 1562621/sec for 3m38.499211177s; Time left (est.): 19m18s
+Processing: 9% (790174567/7962624000); Rate: 0/sec for 3m35.346705719s; Time left (est.): N/A
+Processing: 11% (876206363/7962624000); Rate: 393591/sec for 6m44.48884146s; Time left (est.): 22m30s
+Processing: 12% (956275318/7962624000); Rate: 964528/sec for 3m29.123369989s; Time left (est.): 23m44s
+Processing: 13% (1035175120/7962624000); Rate: 404963/sec for 4m5.403848022s; Time left (est.): 25m7s
+Processing: 14% (1115612984/7962624000); Rate: 1558534/sec for 2m47.768956314s; Time left (est.): 25m58s
+Processing: 15% (1194874633/7962624000); Rate: 1120490/sec for 2m30.289843727s; Time left (est.): 26m55s
+Processing: 16% (1274654810/7962624000); Rate: 700611/sec for 5m55.66290059s; Time left (est.): 27m59s
+Processing: 17% (1353952971/7962624000); Rate: 326414/sec for 3m50.389877813s; Time left (est.): 29m8s
+Processing: 18% (1433687648/7962624000); Rate: 738895/sec for 3m25.256529089s; Time left (est.): 30m3s
+Processing: 19% (1513023092/7962624000); Rate: 461997/sec for 3m10.767304887s; Time left (est.): 31m3s
+Processing: 20% (1613544982/7962624000); Rate: 1127731/sec for 3m17.484633379s; Time left (est.): 31m34s
+Processing: 21% (1672469315/7962624000); Rate: 338765/sec for 1m43.356420017s; Time left (est.): 32m37s
+Processing: 22% (1752048954/7962624000); Rate: 931210/sec for 3m1.309566464s; Time left (est.): 33m14s
+Processing: 23% (1831583021/7962624000); Rate: 610484/sec for 2m30.528086112s; Time left (est.): 33m56s
+Processing: 24% (1935261750/7962624000); Rate: 1258137/sec for 1m47.129852235s; Time left (est.): 34m17s
+Processing: 25% (1990754548/7962624000); Rate: 313266/sec for 1m26.037510337s; Time left (est.): 35m3s
+Processing: 26% (2071644307/7962624000); Rate: 1629116/sec for 1m6.080344458s; Time left (est.): 35m8s
+Processing: 27% (2150074693/7962624000); Rate: 651791/sec for 2m32.480926755s; Time left (est.): 35m38s
+Processing: 28% (2230411165/7962624000); Rate: 1441358/sec for 1m44.26932711s; Time left (est.): 35m43s
+Processing: 29% (2310457458/7962624000); Rate: 1472832/sec for 1m44.621670708s; Time left (est.): 35m46s
+Processing: 30% (2389739675/7962624000); Rate: 2097340/sec for 54.263535986s; Time left (est.): 35m29s
+Processing: 31% (2468859241/7962624000); Rate: 849083/sec for 1m34.71122589s; Time left (est.): 35m45s
+Processing: 32% (2548973637/7962624000); Rate: 1717332/sec for 1m6.108892916s; Time left (est.): 35m35s
+Processing: 33% (2628085844/7962624000); Rate: 891219/sec for 3m12.651210438s; Time left (est.): 35m44s
+Processing: 34% (2708174977/7962624000); Rate: 899582/sec for 2m3.139494284s; Time left (est.): 35m51s
+Processing: 35% (2787066444/7962624000); Rate: 436857/sec for 2m16.744246049s; Time left (est.): 36m8s
+Processing: 36% (2867939706/7962624000); Rate: 2068915/sec for 2m26.139513164s; Time left (est.): 35m42s
+Processing: 37% (2946749104/7962624000); Rate: 952103/sec for 1m37.296137189s; Time left (est.): 35m43s
+Processing: 38% (3026588453/7962624000); Rate: 969305/sec for 2m47.381893441s; Time left (est.): 35m41s
+Processing: 39% (3106065197/7962624000); Rate: 1256787/sec for 1m37.342716582s; Time left (est.): 35m31s
+Processing: 40% (3208218076/7962624000); Rate: 673007/sec for 3m34.638284504s; Time left (est.): 35m33s
+Processing: 41% (3264776844/7962624000); Rate: 1447156/sec for 1m7.484450895s; Time left (est.): 35m15s
+Processing: 42% (3344449910/7962624000); Rate: 313302/sec for 2m26.091852645s; Time left (est.): 35m21s
+Processing: 43% (3424247326/7962624000); Rate: 1809397/sec for 2m45.400628249s; Time left (est.): 34m53s
+Processing: 44% (3503654284/7962624000); Rate: 716748/sec for 2m21.504916314s; Time left (est.): 34m47s
+Processing: 45% (3583749838/7962624000); Rate: 936202/sec for 4m7.725291285s; Time left (est.): 34m35s
+Processing: 45% (3633664314/7962624000); Rate: 0/sec for 1m31.87940443s; Time left (est.): N/A
+Processing: 47% (3742557936/7962624000); Rate: 330613/sec for 3m12.335294461s; Time left (est.): 34m40s
+Processing: 48% (3822483221/7962624000); Rate: 758862/sec for 4m12.967905347s; Time left (est.): 34m27s
+Processing: 49% (3902047238/7962624000); Rate: 922828/sec for 2m18.878742967s; Time left (est.): 34m9s
+Processing: 50% (3981551356/7962624000); Rate: 380166/sec for 2m58.975359879s; Time left (est.): 34m1s
+Processing: 51% (4061041838/7962624000); Rate: 366374/sec for 4m28.714859694s; Time left (est.): 33m52s
+Processing: 52% (4140935265/7962624000); Rate: 707968/sec for 2m43.427856024s; Time left (est.): 33m35s
+Processing: 53% (4220274849/7962624000); Rate: 194642/sec for 4m8.095502759s; Time left (est.): 33m26s
+Processing: 54% (4300222581/7962624000); Rate: 439873/sec for 3m21.272875677s; Time left (est.): 33m11s
+Processing: 55% (4379866392/7962624000); Rate: 834257/sec for 1m46.534016506s; Time left (est.): 32m47s
+Processing: 56% (4459093321/7962624000); Rate: 2127673/sec for 1m50.634596167s; Time left (est.): 31m58s
+Processing: 57% (4538742635/7962624000); Rate: 3040261/sec for 55.669532346s; Time left (est.): 30m53s
+Processing: 58% (4618973590/7962624000); Rate: 782106/sec for 1m20.533171793s; Time left (est.): 30m27s
+Processing: 59% (4698508133/7962624000); Rate: 2375110/sec for 59.404210423s; Time left (est.): 29m35s
+Processing: 60% (4777711612/7962624000); Rate: 817290/sec for 2m56.253816593s; Time left (est.): 29m8s
+Processing: 61% (4857884737/7962624000); Rate: 1682390/sec for 2m23.805258219s; Time left (est.): 28m26s
+Processing: 62% (4937015164/7962624000); Rate: 491218/sec for 1m44.613667142s; Time left (est.): 28m2s
+Processing: 63% (5016692295/7962624000); Rate: 864507/sec for 3m13.36299742s; Time left (est.): 27m31s
+Processing: 64% (5096140055/7962624000); Rate: 907696/sec for 2m16.700950233s; Time left (est.): 26m59s
+Processing: 65% (5176281937/7962624000); Rate: 579864/sec for 2m33.992491868s; Time left (est.): 26m30s
+Processing: 66% (5256313604/7962624000); Rate: 1786222/sec for 2m18.561758543s; Time left (est.): 25m44s
+Processing: 67% (5336135161/7962624000); Rate: 6989255/sec for 1m33.213451682s; Time left (est.): 23m55s
+Processing: 68% (5415075626/7962624000); Rate: 1072070/sec for 1m3.54528286s; Time left (est.): 23m20s
+Processing: 69% (5496246931/7962624000); Rate: 2279267/sec for 51.043123355s; Time left (est.): 22m31s
+Processing: 70% (5573910941/7962624000); Rate: 1377842/sec for 2m7.112341851s; Time left (est.): 21m53s
+Processing: 71% (5654569081/7962624000); Rate: 1106479/sec for 1m19.710404826s; Time left (est.): 21m15s
+Processing: 72% (5733230028/7962624000); Rate: 270343/sec for 1m16.737328076s; Time left (est.): 20m46s
+Processing: 73% (5813312318/7962624000); Rate: 1132965/sec for 1m57.745165122s; Time left (est.): 20m7s
+Processing: 74% (5893608250/7962624000); Rate: 1816027/sec for 1m10.045635577s; Time left (est.): 19m22s
+Processing: 75% (5972100212/7962624000); Rate: 632940/sec for 1m19.026002833s; Time left (est.): 18m48s
+Processing: 76% (6051843436/7962624000); Rate: 1897216/sec for 1m6.961197635s; Time left (est.): 18m1s
+Processing: 77% (6131451068/7962624000); Rate: 450081/sec for 2m2.173549785s; Time left (est.): 17m26s
+Processing: 78% (6210951471/7962624000); Rate: 932412/sec for 2m40.593677309s; Time left (est.): 16m47s
+Processing: 79% (6291485126/7962624000); Rate: 1208157/sec for 1m26.460997823s; Time left (est.): 16m4s
+Processing: 80% (6371411803/7962624000); Rate: 1895160/sec for 2m23.561086644s; Time left (est.): 15m17s
+Processing: 81% (6449850359/7962624000); Rate: 1410590/sec for 1m34.756409546s; Time left (est.): 14m34s
+Processing: 82% (6529902283/7962624000); Rate: 708645/sec for 2m37.960695007s; Time left (est.): 13m53s
+Processing: 83% (6610123418/7962624000); Rate: 1557235/sec for 2m37.941430043s; Time left (est.): 13m8s
+Processing: 84% (6690433938/7962624000); Rate: 2186592/sec for 1m30.736701057s; Time left (est.): 12m18s
+Processing: 85% (6768259281/7962624000); Rate: 270293/sec for 2m21.932213091s; Time left (est.): 11m40s
+Processing: 86% (6848273122/7962624000); Rate: 725791/sec for 2m59.695893125s; Time left (est.): 10m57s
+Processing: 87% (6929156685/7962624000); Rate: 3914087/sec for 2m25.8275069s; Time left (est.): 10m1s
+Processing: 88% (7007294530/7962624000); Rate: 747509/sec for 3m46.871775357s; Time left (est.): 9m19s
+Processing: 89% (7087237093/7962624000); Rate: 1251616/sec for 2m14.564134532s; Time left (est.): 8m34s
+Processing: 90% (7166633485/7962624000); Rate: 377563/sec for 1m45.381284502s; Time left (est.): 7m51s
+Processing: 91% (7246266672/7962624000); Rate: 2143070/sec for 1m22.724228729s; Time left (est.): 7m3s
+Processing: 92% (7326849289/7962624000); Rate: 2330187/sec for 1m29.779268426s; Time left (est.): 6m13s
+Processing: 93% (7405455889/7962624000); Rate: 733014/sec for 2m6.109002413s; Time left (est.): 5m29s
+Processing: 94% (7486766431/7962624000); Rate: 2030445/sec for 1m56.35621091s; Time left (est.): 4m40s
+Processing: 95% (7564498053/7962624000); Rate: 452239/sec for 1m16.679086659s; Time left (est.): 3m56s
+Processing: 95% (7642852143/7962624000); Rate: 0/sec for 2m32.089973638s; Time left (est.): N/A
+Processing: 97% (7725340433/7962624000); Rate: 2042150/sec for 1m5.772050992s; Time left (est.): 2m22s
+Processing: 98% (7803722594/7962624000); Rate: 396862/sec for 3m43.613245655s; Time left (est.): 1m36s
+Processing: 99% (7883738004/7962624000); Rate: 1345999/sec for 1m37.169913831s; Time left (est.): 47s
+Processing: 99% (7959285074/7962624000); Rate: 0/sec for 49.004556701s; Time left (est.): N/A
+Processing: 100% (7962624000/7962624000); Rate: 0/sec for 1.004415884s; Time left (est.): N/A
+Validated solutions (3h59m33.824039101s)
+Average rate per second: 1618819
+
+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,3h59m33.824039101s, 1618819
+Using 3 CPUs, (was 32)
+Loading blocks... Done! (16.608068ms)
+Populating blocks... Done! (47.091128ms)
+Number of (potential) solutions: 7962624000
+Validating solutions
+Processing: 0% (3552121/7962624000); Rate: 3552121/sec for 1.000035132s; Time left (est.): 37m20s
+Processing: 1% (85431122/7962624000); Rate: 7085596/sec for 16.055386881s; Time left (est.): 24m40s
+Processing: 2% (160276495/7962624000); Rate: 3857208/sec for 12.002549805s; Time left (est.): 26m54s
+Processing: 3% (240320736/7962624000); Rate: 3762167/sec for 13.185049744s; Time left (est.): 28m11s
+Processing: 4% (322683151/7962624000); Rate: 6545866/sec for 15.000094358s; Time left (est.): 25m40s
+Processing: 5% (399555216/7962624000); Rate: 2581327/sec for 40.484191614s; Time left (est.): 27m37s
+Processing: 6% (478270498/7962624000); Rate: 1977238/sec for 1m8.061744427s; Time left (est.): 29m44s
+Processing: 7% (557640073/7962624000); Rate: 425705/sec for 1m39.139128039s; Time left (est.): 33m8s
+Processing: 8% (643298369/7962624000); Rate: 40001389/sec for 2m10.008525194s; Time left (est.): 15m43s
+Processing: 9% (716770218/7962624000); Rate: 37459436/sec for 2m32.836282704s; Time left (est.): 11m15s
+Processing: 10% (796490216/7962624000); Rate: 704853/sec for 3m0.2437171s; Time left (est.): 12m10s
+Processing: 11% (876392483/7962624000); Rate: 951646/sec for 1m49.694211701s; Time left (est.): 13m0s
+Processing: 12% (976929778/7962624000); Rate: 530838/sec for 3m36.57951627s; Time left (est.): 13m52s
+Processing: 13% (1035591985/7962624000); Rate: 531226/sec for 1m26.228919801s; Time left (est.): 14m41s
+Processing: 14% (1143058243/7962624000); Rate: 40011704/sec for 2m26.836449546s; Time left (est.): 11m22s
+Processing: 15% (1194534777/7962624000); Rate: 414305/sec for 1m10.5663704s; Time left (est.): 12m0s
+Processing: 16% (1275024637/7962624000); Rate: 1089809/sec for 1m54.730185505s; Time left (est.): 12m30s
+Processing: 17% (1353673146/7962624000); Rate: 438887/sec for 3m28.219739843s; Time left (est.): 13m3s
+Processing: 18% (1434642995/7962624000); Rate: 1417373/sec for 1m48.976083648s; Time left (est.): 13m28s
+Processing: 19% (1513042588/7962624000); Rate: 745868/sec for 2m49.234440737s; Time left (est.): 13m57s
+Processing: 20% (1593063119/7962624000); Rate: 1469481/sec for 1m40.285783328s; Time left (est.): 14m19s
+Processing: 21% (1672161166/7962624000); Rate: 658084/sec for 2m14.515148301s; Time left (est.): 14m45s
+Processing: 22% (1752048661/7962624000); Rate: 2826230/sec for 1m5.249201169s; Time left (est.): 14m58s
+Processing: 23% (1832487263/7962624000); Rate: 1719757/sec for 1m28.114917429s; Time left (est.): 15m15s
+Processing: 24% (1911047314/7962624000); Rate: 3046906/sec for 44.57495343s; Time left (est.): 15m23s
+Processing: 25% (1993283773/7962624000); Rate: 3135782/sec for 1m15.303600049s; Time left (est.): 15m29s
+Processing: 26% (2071438937/7962624000); Rate: 1297992/sec for 1m14.156951526s; Time left (est.): 15m45s
+Processing: 27% (2150499286/7962624000); Rate: 2092193/sec for 1m37.543848964s; Time left (est.): 15m55s
+Processing: 28% (2229842609/7962624000); Rate: 755626/sec for 1m39.382689934s; Time left (est.): 16m11s
+Processing: 29% (2309329859/7962624000); Rate: 913416/sec for 1m30.587875595s; Time left (est.): 16m26s
+Processing: 30% (2390938232/7962624000); Rate: 2356817/sec for 39.004030251s; Time left (est.): 16m30s
+Processing: 31% (2468778709/7962624000); Rate: 1782418/sec for 1m20.822549126s; Time left (est.): 16m38s
+Processing: 32% (2548657969/7962624000); Rate: 2094703/sec for 58.144851722s; Time left (est.): 16m42s
+Processing: 33% (2628126026/7962624000); Rate: 890072/sec for 1m45.771508683s; Time left (est.): 16m52s
+Processing: 34% (2708132090/7962624000); Rate: 1560200/sec for 1m20.038656647s; Time left (est.): 16m57s
+Processing: 35% (2819637984/7962624000); Rate: 1104118/sec for 1m57.41697061s; Time left (est.): 17m4s
+Processing: 36% (2867261777/7962624000); Rate: 963796/sec for 46.02263121s; Time left (est.): 17m11s
+Processing: 37% (2946385694/7962624000); Rate: 895693/sec for 1m56.550765672s; Time left (est.): 17m17s
+Processing: 38% (3027109336/7962624000); Rate: 2037290/sec for 1m17.022803546s; Time left (est.): 17m16s
+Processing: 39% (3105682463/7962624000); Rate: 486986/sec for 1m51.485121986s; Time left (est.): 17m23s
+Processing: 40% (3186149681/7962624000); Rate: 3129017/sec for 1m3.354588533s; Time left (est.): 17m14s
+Processing: 41% (3327529469/7962624000); Rate: 58872018/sec for 1m7.754632011s; Time left (est.): 13m9s
+Processing: 42% (3366853012/7962624000); Rate: 365769/sec for 1m35.317342387s; Time left (est.): 13m18s
+Processing: 43% (3425843042/7962624000); Rate: 2597909/sec for 1m39.466264156s; Time left (est.): 13m14s
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 11.003640972s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001415095s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001053964s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001042376s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000846366s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000026761s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001067022s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001051184s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000984995s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000946187s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000926378s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000959041s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001052204s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001036149s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001059088s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001034549s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000990421s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000971102s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000958915s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000971326s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001023399s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00102972s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001051902s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001065295s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001069827s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000800126s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000016722s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001049492s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001053834s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001014556s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000990857s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000979469s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000982541s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001066484s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001042755s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001030747s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000993269s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001004411s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000961642s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000836404s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000843495s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000997278s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000864978s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000845191s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001005044s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000854404s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001055888s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000853617s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000600758s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000022155s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000933593s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000012888s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00001363s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000026731s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000918191s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001005723s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000011577s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000018079s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00106093s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00101316s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000010325s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000020036s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001026286s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001049008s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000013381s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000695289s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000985513s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001010295s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001000776s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000017801s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000023511s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001014112s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000928953s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000029357s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000855366s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001048059s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00098326s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001001742s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001070825s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001074736s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000829776s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000034781s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00093479s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000030524s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000030496s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000041157s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001069577s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001036889s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000013993s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001036542s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001045285s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001034446s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000497763s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001000599s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001052842s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001052113s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000845153s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000981575s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001014668s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000818217s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001050261s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001039473s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000970974s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001002095s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000982437s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000973688s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00096112s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000945981s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000954433s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001046762s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000824735s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00000712s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000023212s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000021813s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000214917s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000024797s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000995126s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001056049s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00105259s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001059812s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000936532s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000023967s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001017386s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000744316s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000833877s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000151224s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000941992s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001044174s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000010127s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000905747s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000895827s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000900459s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000861041s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000860332s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000830473s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000828475s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000828627s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000790417s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000023253s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001050212s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001035184s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001004725s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000975837s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000984398s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001055721s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000998061s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001055494s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000852763s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000017808s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001044298s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001010369s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00105542s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001013471s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001051044s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001033974s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001052077s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001038418s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00099866s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00097204s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000969962s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000941114s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000925884s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000932486s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000897687s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000884309s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000012642s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001038882s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001021404s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001023456s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000016488s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001039789s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00104262s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001033731s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001050343s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001035574s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000879104s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000012108s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000722196s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000979999s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000025973s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000014244s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000923603s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001004865s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000998707s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000991168s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000026221s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000025152s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000917571s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000985394s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001000865s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000978306s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001002227s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000013531s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000028962s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000016864s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000016394s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000028676s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000827695s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000989327s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000920078s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000030271s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001011482s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000024294s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000959463s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000981367s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000997648s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000996638s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000014732s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000026022s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000029774s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000905583s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000028786s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000016697s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000017509s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00001469s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000915719s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00087743s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001007232s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000029855s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000937304s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001054247s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000931667s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000025951s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00095906s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001004411s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000970083s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001001684s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000029717s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000932946s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001005368s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000925118s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00105464s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000970751s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001044683s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000950274s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000987125s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001054998s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001038548s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000880308s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000008452s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001057073s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001032773s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001055025s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000800434s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000923176s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000018669s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00102268s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00097705s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001008682s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000021544s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000957794s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000987095s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001033497s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001010648s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000857418s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000015042s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000799279s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000226156s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000990463s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000992655s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000982836s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000988358s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000987398s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00101461s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.00096218s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000986432s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000941473s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000995695s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001042106s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000976067s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000022369s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000028111s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000022852s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000903851s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000992473s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001020584s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000973065s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000998856s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000982238s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000995108s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.000931639s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.001062221s; Time left (est.): N/A
+Processing: 43% (3444556906/7962624000); Rate: 0/sec for 1.413218229s; Time left (est.): N/A
+Processing: 99% (7955169852/7962624000); Rate: 0/sec for 1h21m23.560134076s; Time left (est.): N/A
+Processing: 100% (7962624000/7962624000); Rate: 0/sec for 3.000766315s; Time left (est.): N/A
+Validated solutions (2h39m45.111218354s)
+Average rate per second: 763333
+
+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,2h39m45.111218354s, 763333
+Using 4 CPUs, (was 32)
+Loading blocks... Done! (17.563024ms)
+Populating blocks... Done! (45.66233ms)
+Number of (potential) solutions: 7962624000
+Validating solutions
+Processing: 0% (2075408/7962624000); Rate: 2075396/sec for 1.000449669s; Time left (est.): 1h3m55s
+Processing: 1% (79897998/7962624000); Rate: 8320839/sec for 11.743013007s; Time left (est.): 25m16s
+Processing: 2% (165632535/7962624000); Rate: 8319792/sec for 11.000094756s; Time left (est.): 20m49s
+Processing: 3% (241881559/7962624000); Rate: 18539840/sec for 10.168731983s; Time left (est.): 13m48s
+Processing: 4% (321983484/7962624000); Rate: 4654197/sec for 9.000048103s; Time left (est.): 15m11s
+Processing: 5% (398927795/7962624000); Rate: 1892564/sec for 16.000249123s; Time left (est.): 17m16s
+Processing: 6% (515901622/7962624000); Rate: 2052121/sec for 39.497373688s; Time left (est.): 18m56s
+Processing: 7% (600472428/7962624000); Rate: 2420613/sec for 43.453361865s; Time left (est.): 20m20s
+Processing: 8% (637988856/7962624000); Rate: 1567097/sec for 20.008971034s; Time left (est.): 22m2s
+Processing: 9% (717051290/7962624000); Rate: 961380/sec for 1m4.117822998s; Time left (est.): 23m46s
+Processing: 10% (796455756/7962624000); Rate: 1372424/sec for 1m18.18806966s; Time left (est.): 25m10s
+Processing: 11% (944040202/7962624000); Rate: 935325/sec for 40.029878503s; Time left (est.): 26m40s
+Processing: 12% (957227084/7962624000); Rate: 1905747/sec for 6.001086613s; Time left (est.): 27m35s
+Processing: 13% (1038917422/7962624000); Rate: 5150652/sec for 42.314389838s; Time left (est.): 26m51s
+Processing: 14% (1119209603/7962624000); Rate: 4733516/sec for 30.025731594s; Time left (est.): 26m21s
+Processing: 15% (1216789678/7962624000); Rate: 1935867/sec for 37.449958975s; Time left (est.): 26m54s
+Processing: 16% (1275291897/7962624000); Rate: 5585538/sec for 12.035059069s; Time left (est.): 26m9s
+Processing: 17% (1374974749/7962624000); Rate: 3743718/sec for 30.004609303s; Time left (est.): 25m56s
+Processing: 18% (1435892124/7962624000); Rate: 4870093/sec for 13.003043271s; Time left (est.): 25m30s
+Processing: 19% (1516138880/7962624000); Rate: 5013329/sec for 17.011074074s; Time left (est.): 24m58s
+Processing: 20% (1594277379/7962624000); Rate: 6531986/sec for 18.955591811s; Time left (est.): 24m4s
+Processing: 21% (1673375639/7962624000); Rate: 2442133/sec for 56.206835033s; Time left (est.): 24m16s
+Processing: 22% (1752405887/7962624000); Rate: 985931/sec for 1m29.137808744s; Time left (est.): 24m47s
+Processing: 23% (1831426550/7962624000); Rate: 909002/sec for 1m11.042733015s; Time left (est.): 25m18s
+Processing: 24% (1911558846/7962624000); Rate: 1010926/sec for 1m31.393694477s; Time left (est.): 25m44s
+Processing: 25% (1991215069/7962624000); Rate: 772512/sec for 1m50.836435033s; Time left (est.): 26m12s
+Processing: 26% (2070745596/7962624000); Rate: 4635694/sec for 1m12.79042671s; Time left (est.): 25m39s
+Processing: 27% (2150368898/7962624000); Rate: 499558/sec for 2m7.997593458s; Time left (est.): 26m7s
+Processing: 28% (2230144108/7962624000); Rate: 901115/sec for 2m11.063148357s; Time left (est.): 26m27s
+Processing: 29% (2309532862/7962624000); Rate: 1305323/sec for 1m18.158449252s; Time left (est.): 26m39s
+Processing: 30% (2389273669/7962624000); Rate: 954361/sec for 1m51.80497403s; Time left (est.): 26m54s
+Processing: 31% (2468725505/7962624000); Rate: 3381595/sec for 1m17.546283916s; Time left (est.): 26m32s
+Processing: 32% (2548172359/7962624000); Rate: 1842190/sec for 38.009110336s; Time left (est.): 26m32s
+Processing: 32% (2599136273/7962624000); Rate: 0/sec for 22.402833301s; Time left (est.): N/A
+Processing: 34% (2707312497/7962624000); Rate: 389082/sec for 1m24.142940986s; Time left (est.): 27m13s
+Processing: 35% (2801986683/7962624000); Rate: 34243342/sec for 1m32.609582472s; Time left (est.): 21m5s
+Processing: 36% (2866683441/7962624000); Rate: 1526723/sec for 1m25.96170238s; Time left (est.): 21m10s
+Processing: 37% (2946375460/7962624000); Rate: 851817/sec for 1m35.313261021s; Time left (est.): 21m17s
+Processing: 38% (3025853998/7962624000); Rate: 309526/sec for 2m18.70063574s; Time left (est.): 21m27s
+Processing: 39% (3107104651/7962624000); Rate: 2795409/sec for 1m42.772207441s; Time left (est.): 21m14s
+Processing: 40% (3185056066/7962624000); Rate: 532280/sec for 1m44.718182064s; Time left (est.): 21m21s
+Processing: 41% (3265190774/7962624000); Rate: 712220/sec for 2m32.366348316s; Time left (est.): 21m24s
+Processing: 42% (3345105050/7962624000); Rate: 1784512/sec for 1m32.771194576s; Time left (est.): 21m17s
+Processing: 43% (3426393201/7962624000); Rate: 2538347/sec for 51.686429213s; Time left (est.): 21m4s
+Processing: 44% (3505332028/7962624000); Rate: 2180229/sec for 1m43.108492584s; Time left (est.): 20m52s
+Processing: 45% (3586954863/7962624000); Rate: 3980948/sec for 1m3.732191557s; Time left (est.): 20m26s
+Processing: 46% (3663486760/7962624000); Rate: 3976095/sec for 27.043721231s; Time left (est.): 20m2s
+Processing: 47% (3746413336/7962624000); Rate: 7028789/sec for 30.929938671s; Time left (est.): 19m15s
+Processing: 48% (3823499715/7962624000); Rate: 3805247/sec for 1m7.133096772s; Time left (est.): 18m53s
+Processing: 49% (3948370338/7962624000); Rate: 3144688/sec for 1m2.452690443s; Time left (est.): 18m22s
+Processing: 50% (3981633704/7962624000); Rate: 1124406/sec for 47.594428312s; Time left (est.): 18m28s
+Processing: 51% (4061534884/7962624000); Rate: 1437752/sec for 1m54.883734316s; Time left (est.): 18m18s
+Processing: 52% (4142222468/7962624000); Rate: 2665054/sec for 1m20.331371162s; Time left (est.): 18m1s
+Processing: 53% (4220660072/7962624000); Rate: 1168732/sec for 1m36.326087144s; Time left (est.): 17m52s
+Processing: 54% (4304639686/7962624000); Rate: 4937831/sec for 44.021448442s; Time left (est.): 17m20s
+Processing: 54% (4326203962/7962624000); Rate: 0/sec for 5.001065239s; Time left (est.): N/A
+Processing: 56% (4459935773/7962624000); Rate: 904576/sec for 2m59.911332455s; Time left (est.): 17m7s
+Processing: 57% (4539032671/7962624000); Rate: 348953/sec for 2m42.862486507s; Time left (est.): 17m0s
+Processing: 58% (4619339962/7962624000); Rate: 1115773/sec for 1m58.985502297s; Time left (est.): 16m47s
+Processing: 59% (4717737926/7962624000); Rate: 745976/sec for 2m1.007222003s; Time left (est.): 16m36s
+Processing: 60% (4777613034/7962624000); Rate: 1110113/sec for 1m16.370301976s; Time left (est.): 16m23s
+Processing: 61% (4857649182/7962624000); Rate: 1313714/sec for 1m46.537534814s; Time left (est.): 16m7s
+Processing: 62% (4936934803/7962624000); Rate: 1084161/sec for 1m7.186014117s; Time left (est.): 15m53s
+Processing: 63% (5016500734/7962624000); Rate: 2235418/sec for 1m5.960195551s; Time left (est.): 15m32s
+Processing: 64% (5096783754/7962624000); Rate: 1251548/sec for 47.37093182s; Time left (est.): 15m15s
+Processing: 65% (5177125181/7962624000); Rate: 2094020/sec for 1m20.255754634s; Time left (est.): 14m54s
+Processing: 66% (5255357416/7962624000); Rate: 87942/sec for 1m50.290588719s; Time left (est.): 14m42s
+Processing: 67% (5334987906/7962624000); Rate: 1241884/sec for 2m33.319638532s; Time left (est.): 14m23s
+Processing: 68% (5414701959/7962624000); Rate: 294524/sec for 1m50.261966758s; Time left (est.): 14m8s
+Processing: 69% (5495007427/7962624000); Rate: 1034896/sec for 2m48.152655987s; Time left (est.): 13m49s
+Processing: 70% (5573873084/7962624000); Rate: 1296018/sec for 1m12.48934386s; Time left (est.): 13m29s
+Processing: 71% (5670856391/7962624000); Rate: 509145/sec for 3m6.981399828s; Time left (est.): 13m11s
+Processing: 72% (5733529351/7962624000); Rate: 1639832/sec for 1m8.69152218s; Time left (est.): 12m48s
+Processing: 73% (5816937051/7962624000); Rate: 23519624/sec for 1m23.115359336s; Time left (est.): 11m15s
+Processing: 74% (5892541588/7962624000); Rate: 807584/sec for 2m23.786965523s; Time left (est.): 10m57s
+Processing: 75% (5994093271/7962624000); Rate: 52517751/sec for 2m21.610075119s; Time left (est.): 8m38s
+Processing: 76% (6051677168/7962624000); Rate: 1751485/sec for 56.695066294s; Time left (est.): 8m26s
+Processing: 77% (6132350237/7962624000); Rate: 1834265/sec for 44.010851827s; Time left (est.): 8m8s
+Processing: 78% (6211187385/7962624000); Rate: 3269476/sec for 2m3.763476077s; Time left (est.): 7m48s
+Processing: 79% (6290782454/7962624000); Rate: 6353130/sec for 39.007826807s; Time left (est.): 7m23s
+Processing: 80% (6370564265/7962624000); Rate: 1046499/sec for 45.277127156s; Time left (est.): 7m5s
+Processing: 81% (6452720190/7962624000); Rate: 5109208/sec for 34.391111601s; Time left (est.): 6m42s
+Processing: 82% (6530313761/7962624000); Rate: 1262185/sec for 1m28.203968026s; Time left (est.): 6m24s
+Processing: 83% (6609825859/7962624000); Rate: 1519236/sec for 1m41.99390763s; Time left (est.): 6m5s
+Processing: 84% (6689124418/7962624000); Rate: 1106552/sec for 1m53.316217618s; Time left (est.): 5m47s
+Processing: 85% (6769827058/7962624000); Rate: 1641764/sec for 1m12.944184382s; Time left (est.): 5m27s
+Processing: 86% (6847993699/7962624000); Rate: 537388/sec for 1m34.057114157s; Time left (est.): 5m8s
+Processing: 87% (6927892758/7962624000); Rate: 1027075/sec for 2m32.987329399s; Time left (est.): 4m49s
+Processing: 88% (7009797615/7962624000); Rate: 3156796/sec for 1m34.130893727s; Time left (est.): 4m26s
+Processing: 88% (7029730841/7962624000); Rate: 0/sec for 10.002224766s; Time left (est.): N/A
+Processing: 89% (7117935202/7962624000); Rate: 0/sec for 2m3.776838841s; Time left (est.): N/A
+Processing: 91% (7256289814/7962624000); Rate: 419877/sec for 1m25.073364635s; Time left (est.): 3m26s
+Processing: 92% (7326060129/7962624000); Rate: 595931/sec for 4m46.773685582s; Time left (est.): 3m5s
+Processing: 93% (7588982509/7962624000); Rate: 78108975/sec for 2m44.595923865s; Time left (est.): 2m6s
+Processing: 95% (7589864786/7962624000); Rate: 880701/sec for 1.000156883s; Time left (est.): 1m28s
+Processing: 95% (7590818136/7962624000); Rate: 953350/sec for 1.000328072s; Time left (est.): 1m29s
+Processing: 96% (7644390813/7962624000); Rate: 1722236/sec for 41.092132732s; Time left (est.): 1m17s
+Processing: 97% (7741711022/7962624000); Rate: 40609003/sec for 2m12.190533779s; Time left (est.): 49s
+Processing: 98% (7813628648/7962624000); Rate: 783897/sec for 2m44.090252204s; Time left (est.): 35s
+Processing: 99% (7934350277/7962624000); Rate: 83265191/sec for 7m55.596363336s; Time left (est.): 5s
+Processing: 100% (7962624000/7962624000); Rate: 2815041/sec for 14.606901593s; Time left (est.): 0s
+Validated solutions (3h1m42.134163672s)
+Average rate per second: 5230476
+
+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,3h1m42.134163672s, 5230476
+Using 5 CPUs, (was 32)
+Loading blocks... Done! (14.08653ms)
+Populating blocks... Done! (41.077617ms)
+Number of (potential) solutions: 7962624000
+Validating solutions
+Processing: 0% (4074781/7962624000); Rate: 4074747/sec for 1.000002333s; Time left (est.): 32m33s
+Processing: 1% (88617424/7962624000); Rate: 9039624/sec for 10.000090959s; Time left (est.): 20m0s
+Processing: 2% (163717316/7962624000); Rate: 7144326/sec for 9.000082391s; Time left (est.): 19m14s
+Processing: 3% (248058270/7962624000); Rate: 10428061/sec for 12.000720475s; Time left (est.): 16m45s
+Processing: 4% (403637863/7962624000); Rate: 1548179/sec for 1m25.804334727s; Time left (est.): 19m39s
+Processing: 5% (404485797/7962624000); Rate: 842322/sec for 1.000275276s; Time left (est.): 22m50s
+Processing: 6% (478172502/7962624000); Rate: 768391/sec for 1m6.028298289s; Time left (est.): 25m47s
+Processing: 7% (578545235/7962624000); Rate: 438349/sec for 2m9.829997339s; Time left (est.): 28m47s
+Processing: 8% (638099134/7962624000); Rate: 2016927/sec for 35.050224844s; Time left (est.): 30m15s
+Processing: 9% (716681759/7962624000); Rate: 2148292/sec for 1m14.727713254s; Time left (est.): 31m24s
+Processing: 9% (787909722/7962624000); Rate: 0/sec for 58.61874929s; Time left (est.): N/A
+Processing: 11% (876278617/7962624000); Rate: 5107585/sec for 1m23.66196306s; Time left (est.): 32m32s
+Processing: 12% (957849526/7962624000); Rate: 3184179/sec for 1m38.050423684s; Time left (est.): 32m28s
+Processing: 13% (1039627774/7962624000); Rate: 4552191/sec for 41.441215105s; Time left (est.): 31m29s
+Processing: 14% (1165967339/7962624000); Rate: 2197116/sec for 54.161412953s; Time left (est.): 31m52s
+Processing: 15% (1197191183/7962624000); Rate: 4139417/sec for 8.004520676s; Time left (est.): 31m18s
+Processing: 16% (1274757925/7962624000); Rate: 2912911/sec for 1m1.302103814s; Time left (est.): 31m17s
+Processing: 17% (1356241191/7962624000); Rate: 4719120/sec for 33.568318372s; Time left (est.): 30m22s
+Processing: 18% (1434524904/7962624000); Rate: 2895798/sec for 31.053242282s; Time left (est.): 30m19s
+Processing: 19% (1513301936/7962624000); Rate: 4629286/sec for 28.016665567s; Time left (est.): 29m32s
+Processing: 20% (1595063039/7962624000); Rate: 6373826/sec for 25.144853906s; Time left (est.): 28m9s
+Processing: 21% (1677147635/7962624000); Rate: 6593419/sec for 19.004009828s; Time left (est.): 26m52s
+Processing: 22% (1752270256/7962624000); Rate: 5321523/sec for 15.016052125s; Time left (est.): 26m8s
+Processing: 23% (1831997510/7962624000); Rate: 4073118/sec for 36.039029831s; Time left (est.): 25m46s
+Processing: 24% (1942682513/7962624000); Rate: 4354575/sec for 41.955981501s; Time left (est.): 25m12s
+Processing: 25% (1994576126/7962624000); Rate: 4081059/sec for 12.015272293s; Time left (est.): 24m57s
+Processing: 26% (2072609603/7962624000); Rate: 4097862/sec for 53.210599268s; Time left (est.): 24m36s
+Processing: 27% (2152453379/7962624000); Rate: 3775573/sec for 26.218726207s; Time left (est.): 24m19s
+Processing: 28% (2229540050/7962624000); Rate: 2427644/sec for 1m3.129161828s; Time left (est.): 24m19s
+Processing: 29% (2309199412/7962624000); Rate: 3743096/sec for 30.019151432s; Time left (est.): 24m1s
+Processing: 30% (2391839596/7962624000); Rate: 4499440/sec for 30.047018774s; Time left (est.): 23m34s
+Processing: 31% (2473114523/7962624000); Rate: 5149659/sec for 21.360177298s; Time left (est.): 23m0s
+Processing: 32% (2549070730/7962624000); Rate: 3730012/sec for 32.425368102s; Time left (est.): 22m43s
+Processing: 33% (2631546860/7962624000); Rate: 4507169/sec for 38.837525066s; Time left (est.): 22m17s
+Processing: 34% (2711311625/7962624000); Rate: 5022791/sec for 17.006510832s; Time left (est.): 21m47s
+Processing: 35% (2787024430/7962624000); Rate: 4199974/sec for 30.033220442s; Time left (est.): 21m27s
+Processing: 36% (3252875569/7962624000); Rate: 5717757/sec for 21.959359293s; Time left (est.): 20m46s
+Processing: 40% (3260660942/7962624000); Rate: 7775632/sec for 1.000071577s; Time left (est.): 18m49s
+Processing: 41% (3265697004/7962624000); Rate: 5036029/sec for 1.000044018s; Time left (est.): 18m41s
+Processing: 41% (3268981862/7962624000); Rate: 3284840/sec for 1.000002218s; Time left (est.): 18m47s
+Processing: 42% (3347771230/7962624000); Rate: 5580471/sec for 21.00878915s; Time left (est.): 18m19s
+Processing: 43% (3428227036/7962624000); Rate: 4891613/sec for 23.014822936s; Time left (est.): 17m55s
+Processing: 44% (3503609289/7962624000); Rate: 1263334/sec for 1m25.208379625s; Time left (est.): 17m55s
+Processing: 45% (3584340004/7962624000); Rate: 1432167/sec for 1m12.031365555s; Time left (est.): 17m51s
+Processing: 46% (3663056624/7962624000); Rate: 959501/sec for 58.018493827s; Time left (est.): 17m50s
+Processing: 47% (3742698703/7962624000); Rate: 1362546/sec for 2m2.096987768s; Time left (est.): 17m46s
+Processing: 48% (3823183589/7962624000); Rate: 5022102/sec for 44.04918153s; Time left (est.): 17m20s
+Processing: 49% (3902906307/7962624000); Rate: 2726113/sec for 1m4.995276709s; Time left (est.): 17m6s
+Processing: 50% (3982005305/7962624000); Rate: 1804957/sec for 47.229919061s; Time left (est.): 16m58s
+Processing: 51% (4060976693/7962624000); Rate: 1933049/sec for 1m7.242926581s; Time left (est.): 16m48s
+Processing: 52% (4143601433/7962624000); Rate: 3554763/sec for 57.530199519s; Time left (est.): 16m28s
+Processing: 53% (4268740854/7962624000); Rate: 50604165/sec for 1m32.669193271s; Time left (est.): 12m55s
+Processing: 54% (4301365365/7962624000); Rate: 2036558/sec for 9.400757393s; Time left (est.): 12m57s
+Processing: 55% (4380634098/7962624000); Rate: 3092878/sec for 31.075599607s; Time left (est.): 12m45s
+Processing: 56% (4461669967/7962624000); Rate: 3980887/sec for 1m6.806833156s; Time left (est.): 12m29s
+Processing: 57% (4540911870/7962624000); Rate: 5375393/sec for 39.404949851s; Time left (est.): 12m10s
+Processing: 58% (4619932628/7962624000); Rate: 4896779/sec for 24.319988905s; Time left (est.): 11m53s
+Processing: 59% (4698289647/7962624000); Rate: 6103808/sec for 23.151658046s; Time left (est.): 11m33s
+Processing: 60% (4777775764/7962624000); Rate: 4216773/sec for 26.49088704s; Time left (est.): 11m17s
+Processing: 61% (4858348927/7962624000); Rate: 4887128/sec for 37.137526635s; Time left (est.): 10m59s
+Processing: 62% (4937586071/7962624000); Rate: 5255816/sec for 20.013039259s; Time left (est.): 10m41s
+Processing: 63% (5021772970/7962624000); Rate: 5565201/sec for 17.026879998s; Time left (est.): 10m22s
+Processing: 64% (5096448150/7962624000); Rate: 1512838/sec for 59.252352133s; Time left (est.): 10m12s
+Processing: 65% (5549899086/7962624000); Rate: 5727025/sec for 56.91729407s; Time left (est.): 9m45s
+Processing: 69% (5556123519/7962624000); Rate: 6221161/sec for 1.000043334s; Time left (est.): 8m30s
+Processing: 69% (5564658914/7962624000); Rate: 8535252/sec for 1.000002004s; Time left (est.): 8m22s
+Processing: 70% (5574219849/7962624000); Rate: 9560809/sec for 1.000063586s; Time left (est.): 8m12s
+Processing: 71% (5655559228/7962624000); Rate: 4861133/sec for 37.04528588s; Time left (est.): 7m56s
+Processing: 72% (5736402334/7962624000); Rate: 5803269/sec for 41.424356932s; Time left (est.): 7m38s
+Processing: 73% (5816742957/7962624000); Rate: 5682773/sec for 26.752282094s; Time left (est.): 7m20s
+Processing: 74% (5894124283/7962624000); Rate: 4920551/sec for 21.023385907s; Time left (est.): 7m4s
+Processing: 75% (5976058322/7962624000); Rate: 4928233/sec for 23.418002134s; Time left (est.): 6m47s
+Processing: 76% (6054706693/7962624000); Rate: 5128149/sec for 17.002491078s; Time left (est.): 6m31s
+Processing: 77% (6136354692/7962624000); Rate: 5484345/sec for 17.398186424s; Time left (est.): 6m13s
+Processing: 78% (6211493301/7962624000); Rate: 3694267/sec for 17.01441581s; Time left (est.): 5m59s
+Processing: 79% (6294707658/7962624000); Rate: 6469698/sec for 13.000149377s; Time left (est.): 5m41s
+Processing: 80% (6373103699/7962624000); Rate: 6469010/sec for 14.013764603s; Time left (est.): 5m23s
+Processing: 81% (6469515429/7962624000); Rate: 29254195/sec for 28.051385606s; Time left (est.): 4m45s
+Processing: 82% (6532332067/7962624000); Rate: 5803135/sec for 10.00006714s; Time left (est.): 4m33s
+Processing: 83% (6611017048/7962624000); Rate: 5029812/sec for 26.571428815s; Time left (est.): 4m18s
+Processing: 84% (6715474300/7962624000); Rate: 4348978/sec for 16.034811449s; Time left (est.): 4m3s
+Processing: 85% (6773005391/7962624000); Rate: 6331989/sec for 12.653848496s; Time left (est.): 3m47s
+Processing: 86% (6847914322/7962624000); Rate: 3343076/sec for 14.000228099s; Time left (est.): 3m34s
+Processing: 87% (6957390475/7962624000); Rate: 5856938/sec for 27.018706379s; Time left (est.): 3m12s
+Processing: 88% (7009190258/7962624000); Rate: 2680325/sec for 27.036086702s; Time left (est.): 3m3s
+Processing: 89% (7088147313/7962624000); Rate: 2899798/sec for 42.18294538s; Time left (est.): 2m49s
+Processing: 90% (7166422967/7962624000); Rate: 1626102/sec for 27.010046779s; Time left (est.): 2m35s
+Processing: 91% (7247988078/7962624000); Rate: 2218488/sec for 50.035083709s; Time left (est.): 2m20s
+Processing: 92% (7329855041/7962624000); Rate: 4350630/sec for 35.053180635s; Time left (est.): 2m4s
+Processing: 93% (7405738298/7962624000); Rate: 1045867/sec for 36.202014302s; Time left (est.): 1m50s
+Processing: 94% (7485480929/7962624000); Rate: 4001194/sec for 44.051204564s; Time left (est.): 1m35s
+Processing: 95% (7564624497/7962624000); Rate: 1508272/sec for 28.120869177s; Time left (est.): 1m19s
+Processing: 96% (7645999085/7962624000); Rate: 2047935/sec for 57.039672259s; Time left (est.): 1m3s
+Processing: 97% (7725312983/7962624000); Rate: 1951840/sec for 45.165812058s; Time left (est.): 48s
+Processing: 98% (7804899839/7962624000); Rate: 2937985/sec for 29.00955421s; Time left (est.): 32s
+Processing: 99% (7885903905/7962624000); Rate: 2980653/sec for 20.001400173s; Time left (est.): 15s
+Processing: 100% (7962624000/7962624000); Rate: 999241/sec for 19.008688684s; Time left (est.): 0s
+Validated solutions (1h4m54.435778394s)
+Average rate per second: 4838276
+
+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,1h4m54.435778394s, 4838276
+Using 6 CPUs, (was 32)
+Loading blocks... Done! (13.659034ms)
+Populating blocks... Done! (40.621287ms)
+Number of (potential) solutions: 7962624000
+Validating solutions
+Processing: 0% (4187351/7962624000); Rate: 4187351/sec for 1.000029438s; Time left (est.): 31m40s
+Processing: 1% (82499593/7962624000); Rate: 2887138/sec for 8.503552419s; Time left (est.): 37m7s
+Processing: 2% (169744539/7962624000); Rate: 10699950/sec for 9.012555349s; Time left (est.): 21m55s
+Processing: 3% (245962480/7962624000); Rate: 9688992/sec for 8.256198283s; Time left (est.): 18m43s
+Processing: 4% (324330994/7962624000); Rate: 9894133/sec for 11.305635663s; Time left (est.): 17m2s
+Processing: 5% (400972141/7962624000); Rate: 9535873/sec for 10.10280221s; Time left (est.): 16m7s
+Processing: 6% (518269338/7962624000); Rate: 46478549/sec for 52.617619144s; Time left (est.): 9m18s
+Processing: 7% (558761513/7962624000); Rate: 1907076/sec for 31.042195411s; Time left (est.): 10m21s
+Processing: 8% (637756980/7962624000); Rate: 761604/sec for 1m10.40672519s; Time left (est.): 11m26s
+Processing: 9% (717622594/7962624000); Rate: 1165101/sec for 1m52.671141938s; Time left (est.): 12m25s
+Processing: 10% (796782120/7962624000); Rate: 625860/sec for 2m51.789219983s; Time left (est.): 13m25s
+Processing: 11% (879146652/7962624000); Rate: 3277523/sec for 1m38.354088501s; Time left (est.): 14m0s
+Processing: 12% (955992265/7962624000); Rate: 1693426/sec for 45.218342572s; Time left (est.): 14m46s
+Processing: 13% (1035665490/7962624000); Rate: 2713859/sec for 1m20.052146121s; Time left (est.): 15m19s
+Processing: 14% (1115693317/7962624000); Rate: 943179/sec for 1m18.196995598s; Time left (est.): 16m4s
+Processing: 15% (1210543285/7962624000); Rate: 1063273/sec for 2m8.426281576s; Time left (est.): 16m47s
+Processing: 15% (1286264513/7962624000); Rate: 0/sec for 2m37.267948579s; Time left (est.): N/A
+Processing: 17% (1375064422/7962624000); Rate: 1034420/sec for 1m12.444130598s; Time left (est.): 18m15s
+Processing: 18% (1433288201/7962624000); Rate: 1037254/sec for 21.020617173s; Time left (est.): 18m51s
+Processing: 19% (1514055093/7962624000); Rate: 2149029/sec for 42.352044966s; Time left (est.): 19m14s
+Processing: 20% (1595133192/7962624000); Rate: 2808584/sec for 44.129060271s; Time left (est.): 19m27s
+Processing: 21% (1673427876/7962624000); Rate: 4004571/sec for 22.748030434s; Time left (est.): 19m27s
+Processing: 22% (1753731983/7962624000); Rate: 3571445/sec for 27.034736354s; Time left (est.): 19m29s
+Processing: 23% (1834907536/7962624000); Rate: 5772561/sec for 17.041840468s; Time left (est.): 19m9s
+Processing: 24% (1912549203/7962624000); Rate: 7695224/sec for 15.013235087s; Time left (est.): 18m35s
+Processing: 25% (2015443111/7962624000); Rate: 26612561/sec for 57.002800702s; Time left (est.): 15m53s
+Processing: 26% (2073023090/7962624000); Rate: 6418807/sec for 5.006899792s; Time left (est.): 15m43s
+Processing: 27% (2179947509/7962624000); Rate: 3465878/sec for 49.071619304s; Time left (est.): 15m40s
+Processing: 28% (2234213413/7962624000); Rate: 6154479/sec for 12.006627953s; Time left (est.): 15m31s
+Processing: 29% (2312661507/7962624000); Rate: 4374518/sec for 23.028888444s; Time left (est.): 15m28s
+Processing: 30% (2388833649/7962624000); Rate: 7251991/sec for 17.001430544s; Time left (est.): 15m10s
+Processing: 31% (2470032427/7962624000); Rate: 2023585/sec for 16.01833009s; Time left (est.): 15m15s
+Processing: 32% (2548963997/7962624000); Rate: 6890189/sec for 17.004536555s; Time left (est.): 14m58s
+Processing: 33% (2630463938/7962624000); Rate: 6703833/sec for 14.023328543s; Time left (est.): 14m42s
+Processing: 34% (2712500482/7962624000); Rate: 6532646/sec for 14.238117782s; Time left (est.): 14m26s
+Processing: 35% (2788257564/7962624000); Rate: 5451636/sec for 13.036281588s; Time left (est.): 14m16s
+Processing: 36% (2870582979/7962624000); Rate: 7778438/sec for 16.015470385s; Time left (est.): 13m56s
+Processing: 37% (2978185153/7962624000); Rate: 24831243/sec for 14.999826129s; Time left (est.): 12m37s
+Processing: 38% (3029706477/7962624000); Rate: 7296307/sec for 9.002313895s; Time left (est.): 12m27s
+Processing: 39% (3108284337/7962624000); Rate: 12214204/sec for 17.17580614s; Time left (est.): 12m0s
+Processing: 40% (3185671186/7962624000); Rate: 3604056/sec for 31.056521835s; Time left (est.): 11m56s
+Processing: 41% (3267161124/7962624000); Rate: 2616876/sec for 22.017859239s; Time left (est.): 11m55s
+Processing: 42% (3347547305/7962624000); Rate: 5036770/sec for 20.006352047s; Time left (est.): 11m46s
+Processing: 43% (3424082941/7962624000); Rate: 2182775/sec for 15.377053415s; Time left (est.): 11m45s
+Processing: 44% (3506165773/7962624000); Rate: 4727806/sec for 29.040939365s; Time left (est.): 11m36s
+Processing: 45% (3585706265/7962624000); Rate: 7041713/sec for 17.580907606s; Time left (est.): 11m22s
+Processing: 46% (3667483336/7962624000); Rate: 7541038/sec for 11.000252038s; Time left (est.): 11m7s
+Processing: 47% (3748769515/7962624000); Rate: 7219166/sec for 15.399762225s; Time left (est.): 10m53s
+Processing: 48% (3825030337/7962624000); Rate: 3239871/sec for 26.298164554s; Time left (est.): 10m48s
+Processing: 49% (3904815706/7962624000); Rate: 5618409/sec for 22.012723135s; Time left (est.): 10m37s
+Processing: 50% (3981789879/7962624000); Rate: 1110921/sec for 49.155198553s; Time left (est.): 10m35s
+Processing: 51% (4060985691/7962624000); Rate: 1031407/sec for 1m55.023722637s; Time left (est.): 10m32s
+Processing: 52% (4141142745/7962624000); Rate: 2059128/sec for 1m10.668264903s; Time left (est.): 10m27s
+Processing: 53% (4220329602/7962624000); Rate: 2280759/sec for 1m31.205748411s; Time left (est.): 10m21s
+Processing: 54% (4301729717/7962624000); Rate: 4097524/sec for 44.531011282s; Time left (est.): 10m11s
+Processing: 55% (4646605066/7962624000); Rate: 58571111/sec for 1m30.021517252s; Time left (est.): 8m32s
+Processing: 58% (4647250774/7962624000); Rate: 640856/sec for 1.000005648s; Time left (est.): 8m6s
+Processing: 58% (4648047615/7962624000); Rate: 796836/sec for 1.000002038s; Time left (est.): 8m14s
+Processing: 59% (4779661014/7962624000); Rate: 1132664/sec for 1m3.141193499s; Time left (est.): 8m11s
+Processing: 60% (4779760527/7962624000); Rate: 99113/sec for 1.004166965s; Time left (est.): 8m9s
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1m11.73092723s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001021571s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000978231s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000987171s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00088662s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001002801s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001051993s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000932701s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000998311s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000993782s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000977042s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001053482s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000998893s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001005503s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000844081s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000933863s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001000053s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001022124s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000170196s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000988774s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001057094s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001034905s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001057725s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000990024s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001041495s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000014506s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000923574s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000858654s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000964915s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000996255s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001066376s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000020907s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001007756s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000976956s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000015128s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000996556s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000999197s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001004507s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001029747s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001004047s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000982407s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001038258s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001001438s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000966287s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000977338s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000689975s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000988808s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001058739s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001002108s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000991769s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000919828s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000898065s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000996169s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000869788s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00099668s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00106143s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00102196s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00102869s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00103902s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001066622s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000020281s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000021772s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001061812s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001030941s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000013432s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000007583s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000991651s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001044502s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001038762s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001019802s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000987352s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00075383s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001057323s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001040042s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001020912s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001004973s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000993113s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000976633s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000964013s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000979923s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000855683s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001054534s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000905753s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000016255s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001071164s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001037095s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001013605s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000989214s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001052755s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000961754s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000846204s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001053456s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001039155s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00030981s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000013787s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000991696s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000012067s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001055646s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000964846s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000907786s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001056817s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000987147s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000974536s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000035329s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000996347s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000836186s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001055428s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000975387s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000989878s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001056018s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000975648s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000954027s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001039668s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001033649s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001049699s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00001124s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000942108s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000938748s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000997969s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000975809s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000928369s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00002078s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000991199s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000009401s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00093424s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000941819s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00093643s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000930119s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000944439s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000940111s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00095601s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001063051s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000929391s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00094246s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.0009372s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000935071s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000998392s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000973571s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000894071s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001063463s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000020543s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000905442s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000013531s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000030274s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000897071s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000026744s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000976852s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000908222s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001050774s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000981733s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000892043s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001062104s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000984013s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000012005s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000013775s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001056644s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001036195s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001030884s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000936824s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000984035s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000406099s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000970895s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000895054s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001045316s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000014496s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000971725s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001048956s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000973695s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000896845s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000015017s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000973505s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000896986s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001047956s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000027758s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000972476s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001052267s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000972376s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000896636s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000014278s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000982317s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000952767s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001051958s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000972977s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00015145s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001051608s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000969768s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000895137s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001045789s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001053719s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001045939s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001061439s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000921598s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000919208s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00001093s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00001652s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000917909s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00001871s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001049259s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000848528s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000637626s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000911389s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000019011s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00102794s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000013961s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000012551s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000013021s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00099108s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000988451s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000839759s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000980701s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00091517s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001050931s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001062121s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000027603s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000017963s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000018092s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000896371s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000017133s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000928842s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000939161s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000987542s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000948052s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000916911s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000172215s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000937001s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000999782s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000948803s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001035253s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000034154s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000953363s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000973353s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000905973s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001056755s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000993971s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000904683s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001056324s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000989914s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000905133s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001023084s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001064155s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000897783s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000017636s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000025616s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000015496s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000028446s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000027416s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000884264s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001008535s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000954915s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001006195s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000012197s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000026067s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000025347s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001028706s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000859444s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000904675s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001047996s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000925795s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000986316s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000928956s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000950086s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000970476s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001001327s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000948586s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000935197s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000966036s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000953167s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000950467s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001018497s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000971507s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000952447s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001064198s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000908427s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000023579s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000348432s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00002446s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000882127s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000910707s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000927698s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000958298s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001033829s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000934948s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000939418s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00002619s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000909668s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000914138s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000908728s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001064989s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000939549s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000915579s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000919329s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000923509s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000913129s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000030911s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00099054s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00090796s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00106292s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000017682s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001067701s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000851199s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001054461s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000938211s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000020501s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000017013s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000017972s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000012632s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000014362s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001054461s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000926031s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000016263s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001061972s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000021703s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000018183s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000913501s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000987972s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000955752s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000020123s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001045743s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000924631s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000016674s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000011994s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000008843s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001055503s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001024282s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00101204s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000992593s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000972123s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000922712s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000009404s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000972843s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000994503s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000015325s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000007005s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001031544s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001023674s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000929543s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000927983s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001059995s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001013954s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000021945s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000012145s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001070435s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001060015s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000009406s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000026666s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000994245s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001045745s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001026295s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001008905s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001017725s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001048455s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000010337s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001066986s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001050556s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001018646s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000546111s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001048287s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000013827s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000896135s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001062226s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000912685s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000919635s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000013488s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000022028s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001061577s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000925506s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000888105s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000016458s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000645574s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000344861s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000019888s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000961587s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000912727s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000131419s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000927117s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000901786s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001043848s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000965287s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000822296s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001051478s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001042179s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001006298s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000855196s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000979308s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001044929s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000003379s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000990088s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000889307s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001034329s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001063789s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001026029s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000995129s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001064969s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001040129s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00102592s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000892418s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000775907s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00106192s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000891698s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00104326s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000790617s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000879519s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00104314s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00104605s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00101235s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000967519s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001065171s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00104823s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00101178s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001050791s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001063821s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.0010485s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001013361s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00099737s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001000482s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000964369s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00096645s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000942001s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00091946s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00092035s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00088501s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00087798s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00086659s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00083714s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001059172s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000985041s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000895671s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001057192s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00088412s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001047152s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000013383s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001053413s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001048832s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001033152s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001017232s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000989693s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000976691s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000957101s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000942642s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000926912s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000922152s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000886962s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000879241s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000856322s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000846751s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000822962s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000789381s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000790761s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000783171s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001054554s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001058633s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001042654s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001008614s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001013694s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000985013s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000979954s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000954023s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000927863s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000929883s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000904383s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000881893s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000881933s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000858583s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000847873s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000817493s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000809282s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000795283s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000773203s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000006605s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001053975s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001039106s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001022074s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001004795s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000990145s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000965105s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000956315s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000942904s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000915644s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000870704s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000885505s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000163518s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001004125s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001040616s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001012716s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001006766s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001003116s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000966355s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000828584s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001059137s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000997756s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000997536s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000996366s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000998936s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000862145s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001049017s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001047607s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001031857s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000988986s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000997357s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001054277s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000927256s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000746805s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000759745s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000760375s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000733164s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000760036s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000751964s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000828966s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001048227s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001047488s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000999828s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001007967s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001006178s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000832256s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001062359s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001048388s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001012948s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000900357s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001064118s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001047899s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001032758s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001016148s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001000149s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000984968s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000948987s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000952698s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000916398s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000970578s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000894808s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000880568s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000864747s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00000463s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000833737s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000815327s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000810408s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000794717s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.0000135s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00103742s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001042869s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00098664s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001007589s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000828088s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00105645s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001026829s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.0010318s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00101955s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00106428s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000904529s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000795378s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001063581s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00104847s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00099658s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00099978s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00099255s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00099813s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00099166s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00098158s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00099159s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00099108s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00097622s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000841319s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001056141s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001040071s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.0008958s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000005972s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001045301s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001025391s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001009712s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000882919s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00084219s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001063482s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001041181s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001033471s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001008751s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001000551s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000984091s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00082659s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000877861s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001003081s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00078318s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000929041s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001045022s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00079938s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001003042s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000968072s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000967421s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000932712s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000935061s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000911822s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000903771s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000879941s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000873251s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000854921s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000825051s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000806151s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000810371s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00077514s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000011083s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001057373s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001045063s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001027983s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001012283s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000973943s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000977592s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000943463s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000946442s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000922583s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001062144s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000968822s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000903433s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001059394s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000985823s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000892492s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000775302s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000012385s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001053124s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001040314s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001021204s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001014964s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000981753s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000974224s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000950653s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000932684s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000918423s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000911503s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000904223s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000890234s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000855743s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000847202s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000832512s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001054905s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001065075s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001026975s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001032395s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001015964s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001000735s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000983775s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000946894s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000951744s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000917964s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000910154s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000884264s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000879104s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000863794s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000836894s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000830033s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000818054s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000800523s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000784304s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000010486s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001039886s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001043116s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001027706s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001000055s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000995476s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000958365s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000964455s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000929115s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000934526s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000917335s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000890734s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000883335s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000849345s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000841205s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000817104s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000809884s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000797534s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001064427s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001048157s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001010846s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001040527s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001042146s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000822094s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001064967s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001048898s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000813465s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001044017s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000795505s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001042887s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001048097s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001014082s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000834835s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001062374s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001048901s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001012028s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001014665s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001001653s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000985379s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000970395s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000931892s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000926548s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000922146s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000896591s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000882849s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000853755s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000848082s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000833109s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000827595s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001040595s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00088714s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001032229s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000963495s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000895511s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00102776s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000960906s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000872522s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000825208s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001056198s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001038974s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000777858s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000778876s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000768743s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00077962s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000776367s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000779044s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000782641s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000769338s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000949367s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001057145s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000980591s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000933768s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001040806s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000952043s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000787497s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001042538s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000953723s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001043622s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000886687s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001046426s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000887141s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000004019s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000976606s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000831712s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001041982s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000968938s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001063416s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001052323s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00101053s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001016187s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001050684s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001011051s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000987019s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001010926s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000995642s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00100077s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000807905s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000797153s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001062592s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001026119s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001009336s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000992884s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00102587s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001040529s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000996685s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001041863s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001024799s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001008867s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001017285s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00089831s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000921268s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000951175s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000837712s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001040791s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001024388s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001018697s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001002924s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00096093s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001039638s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000945133s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00078915s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000932329s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000928595s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000902063s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.0008765s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000867318s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000850844s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000341976s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001038682s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000958887s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001054626s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.001027153s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.00092085s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 1.000931387s; Time left (est.): N/A
+Processing: 60% (4801340593/7962624000); Rate: 0/sec for 6.338372778s; Time left (est.): N/A
+Processing: 63% (5058374537/7962624000); Rate: 0/sec for 17m7.998283059s; Time left (est.): N/A
+Processing: 63% (5058374537/7962624000); Rate: 0/sec for 1.001044868s; Time left (est.): N/A
+Processing: 67% (5402388690/7962624000); Rate: 0/sec for 4m55.9790126s; Time left (est.): N/A
+Processing: 72% (5763765453/7962624000); Rate: 0/sec for 2m35.986704179s; Time left (est.): N/A
+Processing: 72% (6162594561/7962624000); Rate: 0/sec for 1.000874386s; Time left (est.): N/A
+Processing: 83% (6687784678/7962624000); Rate: 0/sec for 10m13.183471649s; Time left (est.): N/A
+Processing: 95% (7574104871/7962624000); Rate: 0/sec for 5m44.11642282s; Time left (est.): N/A
+Processing: 100% (7962624000/7962624000); Rate: 0/sec for 28.00583601s; Time left (est.): N/A
+Validated solutions (2h39m17.132203028s)
+Average rate per second: 458034
+
+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,2h39m17.132203028s, 458034
+Using 7 CPUs, (was 32)
+Loading blocks... Done! (15.960556ms)
+Populating blocks... Done! (40.845853ms)
+Number of (potential) solutions: 7962624000
+Validating solutions
+Processing: 0% (3032474/7962624000); Rate: 3032404/sec for 1.000003114s; Time left (est.): 43m44s
+Processing: 1% (83083832/7962624000); Rate: 5488950/sec for 10.000349629s; Time left (est.): 30m49s
+Processing: 2% (160266477/7962624000); Rate: 1282459/sec for 14.009102504s; Time left (est.): 39m47s
+Processing: 3% (238906020/7962624000); Rate: 834855/sec for 56.037093962s; Time left (est.): 48m24s
+Processing: 4% (319615855/7962624000); Rate: 1461455/sec for 1m57.64512251s; Time left (est.): 52m38s
+Processing: 5% (398191622/7962624000); Rate: 1130596/sec for 1m33.813738703s; Time left (est.): 57m10s
+Processing: 6% (548518427/7962624000); Rate: 65027998/sec for 3m9.921247877s; Time left (est.): 11m4s
+Processing: 7% (557851732/7962624000); Rate: 1270084/sec for 9.380184066s; Time left (est.): 12m24s
+Processing: 8% (829795868/7962624000); Rate: 2893434/sec for 35.631882093s; Time left (est.): 13m14s
+Processing: 10% (831825397/7962624000); Rate: 2024390/sec for 1.029332997s; Time left (est.): 14m4s
+Processing: 10% (833676458/7962624000); Rate: 1851061/sec for 1.010494107s; Time left (est.): 15m8s
+Processing: 11% (876881834/7962624000); Rate: 2280533/sec for 45.968181172s; Time left (est.): 15m59s
+Processing: 12% (968934949/7962624000); Rate: 1548619/sec for 50.084851871s; Time left (est.): 16m48s
+Processing: 13% (1080483646/7962624000); Rate: 38019942/sec for 2m1.00010882s; Time left (est.): 12m35s
+Processing: 14% (1116494393/7962624000); Rate: 4173716/sec for 37.197795965s; Time left (est.): 12m56s
+Processing: 15% (1205234175/7962624000); Rate: 2448996/sec for 53.313972078s; Time left (est.): 13m22s
+Processing: 15% (1279547054/7962624000); Rate: 0/sec for 46.239662457s; Time left (est.): N/A
+Processing: 17% (1362377175/7962624000); Rate: 3767023/sec for 1.000080746s; Time left (est.): 14m17s
+Processing: 18% (1436488907/7962624000); Rate: 28532627/sec for 24.454604786s; Time left (est.): 12m22s
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 2m26.665885791s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000631407s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000618236s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001021451s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00096975s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000862769s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00103342s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00096609s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000095022s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000967109s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001037191s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00105482s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.0010229s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.0000086s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000744867s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000825268s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000824877s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000373804s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00002072s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000958959s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00104936s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000850518s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000021979s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001048979s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001028259s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00107376s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001053769s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001058469s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001078689s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000620725s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001043559s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001058759s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000015059s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001028459s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000808326s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001048029s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001037298s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000902997s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000892887s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000020508s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001039468s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000017839s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000910577s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001026348s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000015758s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000990948s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000939657s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000983217s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000900337s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001020637s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000870766s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000017627s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000933927s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000855476s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001018897s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00031237s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000009468s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000027838s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000027647s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000011438s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000775364s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001024947s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000854015s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000861535s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000019637s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001031816s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001043346s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000994236s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000187159s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000009817s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000982246s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001026206s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001070907s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001044176s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000851775s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000967245s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001027286s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000931815s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000992976s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000987355s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000945865s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000820464s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000213008s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000913774s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000010356s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001050446s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000868124s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000106556s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001059946s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000017116s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000017556s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001056805s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000015456s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001034485s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000949934s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000705732s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001060535s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000924294s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000866733s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000958684s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000192256s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000877233s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000074335s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001036665s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000891103s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000008135s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001027664s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001053214s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000986514s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001025354s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000792322s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001007864s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001041574s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000870742s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000923663s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001041354s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001024943s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001010254s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000993693s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000978753s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000938642s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001046373s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000901272s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001034164s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001040853s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001047313s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000865732s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001047563s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000986083s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000942682s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000984362s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001053614s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000858131s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001035852s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001012855s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000013994s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001049332s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000931332s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000839531s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000969552s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000888591s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001048083s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000252505s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000907721s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00079638s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000008192s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001036162s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001036162s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001023192s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000999541s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000992502s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000970401s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000961121s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00085454s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000874461s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000007502s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.0008248s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000818499s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000010422s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001047342s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00095001s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001049302s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001049361s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001038382s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.0009411s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000007291s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.0009598s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000007082s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001051801s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000989971s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000833699s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001037441s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000870449s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000867189s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001027961s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00095551s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000404655s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000837108s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000132902s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000940769s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00098696s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.0009966s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00099183s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00096731s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000847798s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00095261s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000853398s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000830939s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000920818s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000857459s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000816308s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000835058s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00103679s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000957149s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00105845s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00103304s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000960249s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000884108s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000813817s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000879878s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000847018s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000970079s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001068899s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001052319s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.00001233s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001019519s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.000008019s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.001037299s; Time left (est.): N/A
+Processing: 18% (1475191456/7962624000); Rate: 0/sec for 1.576713588s; Time left (est.): N/A

old/test_short.csv

@@ -0,0 +1,33 @@
+core,duration,avg_rate
+1,11.008672394,2412916
+2,7.001076703,3791691
+3,5.000230775,5308332
+4,4.001025579,6635457
+5,4.000204541,6635398
+6,4.000832687,6635411
+7,3.00015429,8847281
+8,3.125565932,8847218
+9,3.000540882,8847290
+10,3.000381526,8847143
+11,3.000192049,8847139
+12,3.001187393,8847192
+13,3.000747494,8847015
+14,3.000260533,8847259
+15,3.000648752,8847240
+16,3.001247443,8847054
+17,3.000230519,8847110
+18,3.043110958,8847023
+19,3.000820794,8846739
+20,3.000578336,8846782
+21,3.000266499,8846910
+22,3.000232443,8847163
+23,3.000568211,8846802
+24,3.001856769,8843371
+25,3.000507102,8847105
+26,3.001298804,8847058
+27,3.001884205,8845526
+28,3.000988362,8846860
+29,3.551921535,6906394
+30,3.017408896,8847127
+31,3.00027708,8847126
+32,3.00072733,8847195

old/test_short.txt

@@ -0,0 +1,880 @@
+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

solver/CalcAvgRate.go

@@ -0,0 +1,9 @@
+package solver
+
+func (solver *Solver) CalcAvgRate() uint64 {
+	var sum uint64
+	for _, v := range solver.Controller.Rates {
+		sum = sum + v
+	}
+	return uint64(sum / uint64(len(solver.Controller.Rates)))
+}

solver/CheckCombinations.go

@@ -11,7 +11,7 @@ func (solver *Solver) CheckCombinations() {
 							for rows7Index := range solver.row7s {
 								for rows8Index := range solver.row8s {
 									for rows9Index := range solver.row9s {
-										go solver.validator(rows1Index, rows2Index, rows3Index, rows4Index, rows5Index, rows6Index, rows7Index, rows8Index, rows9Index)
+										solver.validator(rows1Index, rows2Index, rows3Index, rows4Index, rows5Index, rows6Index, rows7Index, rows8Index, rows9Index)
 									}
 								}
 							}
@@ -22,3 +22,25 @@ func (solver *Solver) CheckCombinations() {
 		}
 	}
 }
+
+// Iterate through all combination of blocks and validate.
+// First row is set from param
+func (solver *Solver) CheckCombinationsLevel1(rows1Index int) {
+	for rows2Index := range solver.row2s {
+		for rows3Index := range solver.row3s {
+			for rows4Index := range solver.row4s {
+				for rows5Index := range solver.row5s {
+					for rows6Index := range solver.row6s {
+						for rows7Index := range solver.row7s {
+							for rows8Index := range solver.row8s {
+								for rows9Index := range solver.row9s {
+									solver.validator(rows1Index, rows2Index, rows3Index, rows4Index, rows5Index, rows6Index, rows7Index, rows8Index, rows9Index)
+								}
+							}
+						}
+					}
+				}
+			}
+		}
+	}
+}

solver/ManageSolvers.go

@@ -0,0 +1,24 @@
+package solver
+
+import (
+	"fmt"
+	"strconv"
+	"time"
+)
+
+func (solver *Solver) ManageSolver() {
+
+	for rows1Index := range solver.row1s {
+
+		// Sleep a while when there are more or an equal number of Go routines running
+		for solver.cores >= solver.Controller.NumCPUs {
+			time.Sleep(time.Duration(1))
+		}
+
+		// Luanch a solver in its separate go routine
+		fmt.Println(strconv.Itoa(solver.cores) + ">=" + strconv.Itoa(solver.Controller.NumCPUs))
+		solver.cores = solver.cores + 1
+		go solver.CheckCombinationsLevel1(rows1Index)
+	}
+
+}

solver/Tracker.go

@@ -32,6 +32,9 @@ func (solver *Solver) Tracker() {
 	// Estimation how long it will take
 	var est_fin string
 
+	// Required to read memory usage
+	// var memStats runtime.MemStats
+
 	// While not needed for rateDiff anymore, it makes estimation calculations more accurate. ☹️
 	time.Sleep(time.Second)
 
@@ -74,6 +77,12 @@ func (solver *Solver) Tracker() {
 			// Printing the progress
 			solver.Outp.Println("Processing: " + strconv.Itoa(int(percentage)) + "% (" + strconv.FormatUint(solver.counter.Load(), 10) + "/" + strconv.Itoa(int(solver.Iter)) + "); Rate: " + strconv.FormatUint(rateDiff, 10) + "/sec for " + timer_elapsed.String() + "; Time left (est.): " + est_fin)
 
+			solver.Controller.Rates = append(solver.Controller.Rates, rateDiff)
+
+			// TODO: REMOVE
+			// runtime.ReadMemStats(&memStats)
+			// solver.Outp.Println("GoRoutines: " + strconv.Itoa(runtime.NumGoroutine()) + "; memStats.Sys (Bytes): " + humanize.Bytes(memStats.Sys) + "; memStats.Sys (iBytes): " + humanize.IBytes(memStats.Sys) + "; memStas.NumGC: " + strconv.Itoa(int(memStats.NumGC)) + ";")
+
 			// After we are done printing, exit this for-loop
 			if percentage == 100 {
 				break

solver/timeTrack.go

@@ -8,5 +8,6 @@ import (
 // Use with `defer`
 func (solver *Solver) timeTrack(start time.Time, msg string) {
 	elapsed := time.Since(start)
+	solver.Controller.Duration = elapsed
 	solver.Outp.Printf("%s (%s)\n", msg, elapsed)
 }

solver/types.go

@@ -36,4 +36,6 @@ type Solver struct {
 	rates []uint64
 	// Reference to Outputter interface
 	Outp *outputter.Outputter
+	// Keeping track of processing units
+	cores int
 }