Strong Trapping Regime#
This verification case consists of a slab of depth \(l = 1 \times 10^{-3} \ \mathrm{m}\) with one trap under the strong trapping regime.
A trapping parameter \(\zeta\) is defined by
\[
\zeta = \frac{\lambda ^ 2 \nu}{D_0 \rho} \exp \left(\frac{E_k - E_p}{k_B T}\right) + \frac{c_m}{n}
\]
where
\(\lambda \ \mathrm{(m)}\) is the lattice parameter,
\(\nu \ (\mathrm{s}^{-1})\), the Debye frequency
\(n \ (\mathrm{s}^{-1})\) is the trapping site fraction,
\(c_\mathrm{m} \ (\text{H} \ \mathrm{m}^{-3})\) is the mobile concentration,
and the effective diffusivity \(\mathrm{D_\text{eff}}\) is defined by
\[
D_\text{eff} = \frac{D}{1 + \frac{1}{\zeta}}
\]
Then the breakthrough time is given by
\[
\tau = \frac{l^2}{2\pi^2 D_\text{eff}}
\]
This analytical solution was obtained from TMAP7’s V&V report [3], case Val-1db.
FESTIM Code#
Show code cell content
import festim as F
import numpy as np
import scipy.constants as const
import matplotlib.pyplot as plt
l = 0.1e-3
D_0 = 1.9e-7
T = 1000
n_t = 1e-3
w_atom_density = 6.3382e28
N_A = const.N_A
my_model = F.Simulation()
vertices = np.concatenate(
[np.linspace(0, 0.9 * l, num=200), np.linspace(0.9 * l, l, num=100)]
)
my_model.mesh = F.MeshFromVertices(vertices)
my_model.materials = F.Material(id=1, D_0=D_0, E_D=0.2)
my_model.T = T
my_model.boundary_conditions = [
F.DirichletBC(surfaces=1, value=0.0088 * N_A, field=0),
F.DirichletBC(surfaces=2, value=0, field=0),
]
trap = F.Trap(
k_0=1.58e7 / N_A,
E_k=0.2,
p_0=1e13,
E_p=2.5,
density=n_t * w_atom_density,
materials=my_model.materials[0],
)
my_model.traps = [trap]
my_model.settings = F.Settings(
absolute_tolerance=1e10,
relative_tolerance=1e-10,
final_time=4000, # s
)
my_model.dt = F.Stepsize(
initial_value=1e-3,
dt_min=1e-3,
stepsize_change_ratio=1.1,
max_stepsize=lambda t: 1 if 3250 >= t >= 3100 else None,
)
derived_quantities = F.DerivedQuantities([F.HydrogenFlux(surface=2)], show_units=True)
my_model.exports = [derived_quantities, F.XDMFExport("1", checkpoint=False)]
my_model.initialise()
my_model.run()
Defining initial values
Defining variational problem
Defining source terms
Defining boundary conditions
Time stepping...
Calling FFC just-in-time (JIT) compiler, this may take some time.
Calling FFC just-in-time (JIT) compiler, this may take some time.
0.0 % 1.0e-03 s Elapsed time so far: 1.0 s
0.0 % 1.9e-03 s Elapsed time so far: 1.0 s
0.0 % 2.9e-03 s Elapsed time so far: 1.0 s
0.0 % 4.0e-03 s Elapsed time so far: 1.0 s
0.0 % 5.2e-03 s Elapsed time so far: 1.0 s
0.0 % 6.6e-03 s Elapsed time so far: 1.0 s
0.0 % 8.0e-03 s Elapsed time so far: 1.1 s
0.0 % 9.6e-03 s Elapsed time so far: 1.1 s
0.0 % 1.1e-02 s Elapsed time so far: 1.1 s
0.0 % 1.3e-02 s Elapsed time so far: 1.1 s
0.0 % 1.5e-02 s Elapsed time so far: 1.1 s
0.0 % 1.8e-02 s Elapsed time so far: 1.1 s
0.0 % 2.0e-02 s Elapsed time so far: 1.1 s
0.0 % 2.3e-02 s Elapsed time so far: 1.1 s
0.0 % 2.6e-02 s Elapsed time so far: 1.1 s
0.0 % 3.0e-02 s Elapsed time so far: 1.1 s
0.0 % 3.4e-02 s Elapsed time so far: 1.1 s
0.0 % 3.8e-02 s Elapsed time so far: 1.1 s
0.0 % 4.2e-02 s Elapsed time so far: 1.1 s
0.0 % 4.8e-02 s Elapsed time so far: 1.1 s
0.0 % 5.3e-02 s Elapsed time so far: 1.1 s
0.0 % 5.9e-02 s Elapsed time so far: 1.2 s
0.0 % 6.6e-02 s Elapsed time so far: 1.2 s
0.0 % 7.3e-02 s Elapsed time so far: 1.2 s
0.0 % 8.1e-02 s Elapsed time so far: 1.2 s
0.0 % 9.0e-02 s Elapsed time so far: 1.2 s
0.0 % 1.0e-01 s Elapsed time so far: 1.2 s
0.0 % 1.1e-01 s Elapsed time so far: 1.2 s
0.0 % 1.2e-01 s Elapsed time so far: 1.3 s
0.0 % 1.3e-01 s Elapsed time so far: 1.3 s
0.0 % 1.4e-01 s Elapsed time so far: 1.3 s
0.0 % 1.5e-01 s Elapsed time so far: 1.3 s
0.0 % 1.6e-01 s Elapsed time so far: 1.3 s
0.0 % 1.7e-01 s Elapsed time so far: 1.3 s
0.0 % 1.9e-01 s Elapsed time so far: 1.3 s
0.0 % 2.0e-01 s Elapsed time so far: 1.3 s
0.0 % 2.2e-01 s Elapsed time so far: 1.3 s
0.0 % 2.4e-01 s Elapsed time so far: 1.3 s
0.0 % 2.6e-01 s Elapsed time so far: 1.3 s
0.0 % 2.8e-01 s Elapsed time so far: 1.3 s
0.0 % 3.1e-01 s Elapsed time so far: 1.4 s
0.0 % 3.3e-01 s Elapsed time so far: 1.4 s
0.0 % 3.5e-01 s Elapsed time so far: 1.4 s
0.0 % 3.7e-01 s Elapsed time so far: 1.4 s
0.0 % 3.9e-01 s Elapsed time so far: 1.4 s
0.0 % 4.2e-01 s Elapsed time so far: 1.4 s
0.0 % 4.4e-01 s Elapsed time so far: 1.4 s
0.0 % 4.7e-01 s Elapsed time so far: 1.4 s
0.0 % 5.0e-01 s Elapsed time so far: 1.4 s
0.0 % 5.4e-01 s Elapsed time so far: 1.4 s
0.0 % 5.7e-01 s Elapsed time so far: 1.4 s
0.0 % 6.1e-01 s Elapsed time so far: 1.4 s
0.0 % 6.6e-01 s Elapsed time so far: 1.4 s
0.0 % 7.0e-01 s Elapsed time so far: 1.5 s
0.0 % 7.4e-01 s Elapsed time so far: 1.5 s
0.0 % 7.7e-01 s Elapsed time so far: 1.5 s
0.0 % 8.1e-01 s Elapsed time so far: 1.5 s
0.0 % 8.5e-01 s Elapsed time so far: 1.5 s
0.0 % 9.0e-01 s Elapsed time so far: 1.5 s
0.0 % 9.5e-01 s Elapsed time so far: 1.5 s
0.0 % 1.0e+00 s Elapsed time so far: 1.5 s
0.0 % 1.1e+00 s Elapsed time so far: 1.5 s
0.0 % 1.1e+00 s Elapsed time so far: 1.5 s
0.0 % 1.2e+00 s Elapsed time so far: 1.5 s
0.0 % 1.3e+00 s Elapsed time so far: 1.5 s
0.0 % 1.3e+00 s Elapsed time so far: 1.6 s
0.0 % 1.4e+00 s Elapsed time so far: 1.6 s
0.0 % 1.5e+00 s Elapsed time so far: 1.6 s
0.0 % 1.5e+00 s Elapsed time so far: 1.6 s
0.0 % 1.6e+00 s Elapsed time so far: 1.6 s
0.0 % 1.7e+00 s Elapsed time so far: 1.6 s
0.1 % 1.8e+00 s Elapsed time so far: 1.6 s
0.1 % 1.9e+00 s Elapsed time so far: 1.6 s
0.1 % 2.0e+00 s Elapsed time so far: 1.6 s
0.1 % 2.1e+00 s Elapsed time so far: 1.6 s
0.1 % 2.2e+00 s Elapsed time so far: 1.6 s
0.1 % 2.3e+00 s Elapsed time so far: 1.6 s
0.1 % 2.5e+00 s Elapsed time so far: 1.6 s
0.1 % 2.6e+00 s Elapsed time so far: 1.7 s
0.1 % 2.7e+00 s Elapsed time so far: 1.7 s
0.1 % 2.9e+00 s Elapsed time so far: 1.7 s
0.1 % 3.0e+00 s Elapsed time so far: 1.7 s
0.1 % 3.1e+00 s Elapsed time so far: 1.7 s
0.1 % 3.3e+00 s Elapsed time so far: 1.7 s
0.1 % 3.5e+00 s Elapsed time so far: 1.7 s
0.1 % 3.6e+00 s Elapsed time so far: 1.7 s
0.1 % 3.8e+00 s Elapsed time so far: 1.7 s
0.1 % 3.9e+00 s Elapsed time so far: 1.7 s
0.1 % 4.1e+00 s Elapsed time so far: 1.7 s
0.1 % 4.3e+00 s Elapsed time so far: 1.7 s
0.1 % 4.5e+00 s Elapsed time so far: 1.8 s
0.1 % 4.7e+00 s Elapsed time so far: 1.8 s
0.1 % 4.8e+00 s Elapsed time so far: 1.8 s
0.1 % 5.0e+00 s Elapsed time so far: 1.8 s
0.1 % 5.2e+00 s Elapsed time so far: 1.8 s
0.1 % 5.5e+00 s Elapsed time so far: 1.8 s
0.1 % 5.7e+00 s Elapsed time so far: 1.8 s
0.1 % 6.0e+00 s Elapsed time so far: 1.8 s
0.1 % 6.2e+00 s Elapsed time so far: 1.8 s
0.2 % 6.4e+00 s Elapsed time so far: 1.8 s
0.2 % 6.6e+00 s Elapsed time so far: 1.8 s
0.2 % 6.9e+00 s Elapsed time so far: 1.9 s
0.2 % 7.2e+00 s Elapsed time so far: 1.9 s
0.2 % 7.4e+00 s Elapsed time so far: 1.9 s
0.2 % 7.6e+00 s Elapsed time so far: 1.9 s
0.2 % 7.9e+00 s Elapsed time so far: 1.9 s
0.2 % 8.2e+00 s Elapsed time so far: 1.9 s
0.2 % 8.5e+00 s Elapsed time so far: 1.9 s
0.2 % 8.8e+00 s Elapsed time so far: 1.9 s
0.2 % 9.0e+00 s Elapsed time so far: 1.9 s
0.2 % 9.3e+00 s Elapsed time so far: 1.9 s
0.2 % 9.7e+00 s Elapsed time so far: 1.9 s
0.2 % 1.0e+01 s Elapsed time so far: 1.9 s
0.3 % 1.0e+01 s Elapsed time so far: 2.0 s
0.3 % 1.1e+01 s Elapsed time so far: 2.0 s
0.3 % 1.1e+01 s Elapsed time so far: 2.0 s
0.3 % 1.1e+01 s Elapsed time so far: 2.0 s
0.3 % 1.1e+01 s Elapsed time so far: 2.0 s
0.3 % 1.2e+01 s Elapsed time so far: 2.0 s
0.3 % 1.2e+01 s Elapsed time so far: 2.0 s
0.3 % 1.2e+01 s Elapsed time so far: 2.0 s
0.3 % 1.3e+01 s Elapsed time so far: 2.0 s
0.3 % 1.3e+01 s Elapsed time so far: 2.0 s
0.3 % 1.3e+01 s Elapsed time so far: 2.0 s
0.3 % 1.3e+01 s Elapsed time so far: 2.1 s
0.3 % 1.4e+01 s Elapsed time so far: 2.1 s
0.3 % 1.4e+01 s Elapsed time so far: 2.1 s
0.4 % 1.4e+01 s Elapsed time so far: 2.1 s
0.4 % 1.5e+01 s Elapsed time so far: 2.1 s
0.4 % 1.5e+01 s Elapsed time so far: 2.1 s
0.4 % 1.5e+01 s Elapsed time so far: 2.1 s
0.4 % 1.6e+01 s Elapsed time so far: 2.1 s
0.4 % 1.6e+01 s Elapsed time so far: 2.1 s
0.4 % 1.6e+01 s Elapsed time so far: 2.1 s
0.4 % 1.7e+01 s Elapsed time so far: 2.1 s
0.4 % 1.7e+01 s Elapsed time so far: 2.1 s
0.4 % 1.7e+01 s Elapsed time so far: 2.2 s
0.5 % 1.8e+01 s Elapsed time so far: 2.2 s
0.5 % 1.8e+01 s Elapsed time so far: 2.2 s
0.5 % 1.9e+01 s Elapsed time so far: 2.2 s
0.5 % 1.9e+01 s Elapsed time so far: 2.2 s
0.5 % 2.0e+01 s Elapsed time so far: 2.2 s
0.5 % 2.0e+01 s Elapsed time so far: 2.2 s
0.5 % 2.0e+01 s Elapsed time so far: 2.2 s
0.5 % 2.1e+01 s Elapsed time so far: 2.2 s
0.5 % 2.1e+01 s Elapsed time so far: 2.2 s
0.6 % 2.2e+01 s Elapsed time so far: 2.2 s
0.6 % 2.2e+01 s Elapsed time so far: 2.2 s
0.6 % 2.3e+01 s Elapsed time so far: 2.2 s
0.6 % 2.3e+01 s Elapsed time so far: 2.3 s
0.6 % 2.4e+01 s Elapsed time so far: 2.3 s
0.6 % 2.4e+01 s Elapsed time so far: 2.3 s
0.6 % 2.5e+01 s Elapsed time so far: 2.3 s
0.6 % 2.6e+01 s Elapsed time so far: 2.3 s
0.7 % 2.6e+01 s Elapsed time so far: 2.3 s
0.7 % 2.7e+01 s Elapsed time so far: 2.3 s
0.7 % 2.7e+01 s Elapsed time so far: 2.3 s
0.7 % 2.8e+01 s Elapsed time so far: 2.3 s
0.7 % 2.8e+01 s Elapsed time so far: 2.3 s
0.7 % 2.9e+01 s Elapsed time so far: 2.4 s
0.7 % 2.9e+01 s Elapsed time so far: 2.4 s
0.7 % 3.0e+01 s Elapsed time so far: 2.4 s
0.8 % 3.0e+01 s Elapsed time so far: 2.4 s
0.8 % 3.1e+01 s Elapsed time so far: 2.4 s
0.8 % 3.1e+01 s Elapsed time so far: 2.4 s
0.8 % 3.2e+01 s Elapsed time so far: 2.4 s
0.8 % 3.3e+01 s Elapsed time so far: 2.4 s
0.8 % 3.3e+01 s Elapsed time so far: 2.4 s
0.8 % 3.4e+01 s Elapsed time so far: 2.4 s
0.9 % 3.4e+01 s Elapsed time so far: 2.4 s
0.9 % 3.5e+01 s Elapsed time so far: 2.4 s
0.9 % 3.6e+01 s Elapsed time so far: 2.5 s
0.9 % 3.6e+01 s Elapsed time so far: 2.5 s
0.9 % 3.7e+01 s Elapsed time so far: 2.5 s
0.9 % 3.8e+01 s Elapsed time so far: 2.5 s
1.0 % 3.8e+01 s Elapsed time so far: 2.5 s
1.0 % 3.9e+01 s Elapsed time so far: 2.5 s
1.0 % 4.0e+01 s Elapsed time so far: 2.5 s
1.0 % 4.0e+01 s Elapsed time so far: 2.5 s
1.0 % 4.1e+01 s Elapsed time so far: 2.5 s
1.0 % 4.1e+01 s Elapsed time so far: 2.5 s
1.1 % 4.2e+01 s Elapsed time so far: 2.5 s
1.1 % 4.3e+01 s Elapsed time so far: 2.6 s
1.1 % 4.3e+01 s Elapsed time so far: 2.6 s
1.1 % 4.4e+01 s Elapsed time so far: 2.6 s
1.1 % 4.5e+01 s Elapsed time so far: 2.6 s
1.1 % 4.5e+01 s Elapsed time so far: 2.6 s
1.1 % 4.6e+01 s Elapsed time so far: 2.6 s
1.2 % 4.7e+01 s Elapsed time so far: 2.6 s
1.2 % 4.8e+01 s Elapsed time so far: 2.6 s
1.2 % 4.8e+01 s Elapsed time so far: 2.6 s
1.2 % 4.9e+01 s Elapsed time so far: 2.6 s
1.2 % 5.0e+01 s Elapsed time so far: 2.6 s
1.3 % 5.0e+01 s Elapsed time so far: 2.7 s
1.3 % 5.1e+01 s Elapsed time so far: 2.7 s
1.3 % 5.2e+01 s Elapsed time so far: 2.7 s
1.3 % 5.2e+01 s Elapsed time so far: 2.7 s
1.3 % 5.3e+01 s Elapsed time so far: 2.7 s
1.4 % 5.4e+01 s Elapsed time so far: 2.7 s
1.4 % 5.5e+01 s Elapsed time so far: 2.7 s
1.4 % 5.5e+01 s Elapsed time so far: 2.7 s
1.4 % 5.6e+01 s Elapsed time so far: 2.7 s
1.4 % 5.7e+01 s Elapsed time so far: 2.7 s
1.4 % 5.8e+01 s Elapsed time so far: 2.7 s
1.5 % 5.8e+01 s Elapsed time so far: 2.7 s
1.5 % 5.9e+01 s Elapsed time so far: 2.8 s
1.5 % 6.0e+01 s Elapsed time so far: 2.8 s
1.5 % 6.1e+01 s Elapsed time so far: 2.8 s
1.6 % 6.2e+01 s Elapsed time so far: 2.8 s
1.6 % 6.3e+01 s Elapsed time so far: 2.8 s
1.6 % 6.4e+01 s Elapsed time so far: 2.8 s
1.6 % 6.5e+01 s Elapsed time so far: 2.8 s
1.6 % 6.5e+01 s Elapsed time so far: 2.8 s
1.7 % 6.6e+01 s Elapsed time so far: 2.8 s
1.7 % 6.7e+01 s Elapsed time so far: 2.8 s
1.7 % 6.8e+01 s Elapsed time so far: 2.8 s
1.7 % 6.9e+01 s Elapsed time so far: 2.9 s
1.8 % 7.0e+01 s Elapsed time so far: 2.9 s
1.8 % 7.1e+01 s Elapsed time so far: 2.9 s
1.8 % 7.2e+01 s Elapsed time so far: 2.9 s
1.8 % 7.3e+01 s Elapsed time so far: 2.9 s
1.9 % 7.4e+01 s Elapsed time so far: 2.9 s
1.9 % 7.5e+01 s Elapsed time so far: 2.9 s
1.9 % 7.6e+01 s Elapsed time so far: 2.9 s
1.9 % 7.7e+01 s Elapsed time so far: 2.9 s
1.9 % 7.7e+01 s Elapsed time so far: 2.9 s
2.0 % 7.8e+01 s Elapsed time so far: 2.9 s
2.0 % 7.9e+01 s Elapsed time so far: 2.9 s
2.0 % 8.0e+01 s Elapsed time so far: 3.0 s
2.0 % 8.1e+01 s Elapsed time so far: 3.0 s
2.0 % 8.2e+01 s Elapsed time so far: 3.0 s
2.1 % 8.2e+01 s Elapsed time so far: 3.0 s
2.1 % 8.3e+01 s Elapsed time so far: 3.0 s
2.1 % 8.4e+01 s Elapsed time so far: 3.0 s
2.1 % 8.5e+01 s Elapsed time so far: 3.0 s
2.1 % 8.6e+01 s Elapsed time so far: 3.0 s
2.2 % 8.7e+01 s Elapsed time so far: 3.0 s
2.2 % 8.8e+01 s Elapsed time so far: 3.0 s
2.2 % 8.9e+01 s Elapsed time so far: 3.0 s
2.2 % 9.0e+01 s Elapsed time so far: 3.0 s
2.3 % 9.1e+01 s Elapsed time so far: 3.1 s
2.3 % 9.2e+01 s Elapsed time so far: 3.1 s
2.3 % 9.3e+01 s Elapsed time so far: 3.1 s
2.4 % 9.4e+01 s Elapsed time so far: 3.1 s
2.4 % 9.5e+01 s Elapsed time so far: 3.1 s
2.4 % 9.6e+01 s Elapsed time so far: 3.1 s
2.4 % 9.7e+01 s Elapsed time so far: 3.1 s
2.5 % 9.8e+01 s Elapsed time so far: 3.1 s
2.5 % 9.9e+01 s Elapsed time so far: 3.1 s
2.5 % 1.0e+02 s Elapsed time so far: 3.1 s
2.5 % 1.0e+02 s Elapsed time so far: 3.1 s
2.6 % 1.0e+02 s Elapsed time so far: 3.2 s
2.6 % 1.0e+02 s Elapsed time so far: 3.2 s
2.6 % 1.0e+02 s Elapsed time so far: 3.2 s
2.6 % 1.1e+02 s Elapsed time so far: 3.2 s
2.7 % 1.1e+02 s Elapsed time so far: 3.2 s
2.7 % 1.1e+02 s Elapsed time so far: 3.2 s
2.7 % 1.1e+02 s Elapsed time so far: 3.2 s
2.7 % 1.1e+02 s Elapsed time so far: 3.2 s
2.8 % 1.1e+02 s Elapsed time so far: 3.2 s
2.8 % 1.1e+02 s Elapsed time so far: 3.2 s
2.8 % 1.1e+02 s Elapsed time so far: 3.2 s
2.8 % 1.1e+02 s Elapsed time so far: 3.2 s
2.9 % 1.1e+02 s Elapsed time so far: 3.2 s
2.9 % 1.2e+02 s Elapsed time so far: 3.3 s
2.9 % 1.2e+02 s Elapsed time so far: 3.3 s
3.0 % 1.2e+02 s Elapsed time so far: 3.3 s
3.0 % 1.2e+02 s Elapsed time so far: 3.3 s
3.0 % 1.2e+02 s Elapsed time so far: 3.3 s
3.0 % 1.2e+02 s Elapsed time so far: 3.3 s
3.1 % 1.2e+02 s Elapsed time so far: 3.3 s
3.1 % 1.2e+02 s Elapsed time so far: 3.3 s
3.1 % 1.3e+02 s Elapsed time so far: 3.3 s
3.2 % 1.3e+02 s Elapsed time so far: 3.3 s
3.2 % 1.3e+02 s Elapsed time so far: 3.4 s
3.2 % 1.3e+02 s Elapsed time so far: 3.4 s
3.3 % 1.3e+02 s Elapsed time so far: 3.4 s
3.3 % 1.3e+02 s Elapsed time so far: 3.4 s
3.3 % 1.3e+02 s Elapsed time so far: 3.4 s
3.4 % 1.3e+02 s Elapsed time so far: 3.4 s
3.4 % 1.4e+02 s Elapsed time so far: 3.4 s
3.4 % 1.4e+02 s Elapsed time so far: 3.4 s
3.5 % 1.4e+02 s Elapsed time so far: 3.4 s
3.5 % 1.4e+02 s Elapsed time so far: 3.4 s
3.5 % 1.4e+02 s Elapsed time so far: 3.4 s
3.6 % 1.4e+02 s Elapsed time so far: 3.5 s
3.6 % 1.4e+02 s Elapsed time so far: 3.5 s
3.6 % 1.5e+02 s Elapsed time so far: 3.5 s
3.7 % 1.5e+02 s Elapsed time so far: 3.5 s
3.7 % 1.5e+02 s Elapsed time so far: 3.5 s
3.8 % 1.5e+02 s Elapsed time so far: 3.5 s
3.8 % 1.5e+02 s Elapsed time so far: 3.5 s
3.8 % 1.5e+02 s Elapsed time so far: 3.5 s
3.9 % 1.5e+02 s Elapsed time so far: 3.5 s
3.9 % 1.6e+02 s Elapsed time so far: 3.5 s
3.9 % 1.6e+02 s Elapsed time so far: 3.5 s
4.0 % 1.6e+02 s Elapsed time so far: 3.6 s
4.0 % 1.6e+02 s Elapsed time so far: 3.6 s
4.0 % 1.6e+02 s Elapsed time so far: 3.6 s
4.0 % 1.6e+02 s Elapsed time so far: 3.6 s
4.1 % 1.6e+02 s Elapsed time so far: 3.6 s
4.1 % 1.6e+02 s Elapsed time so far: 3.6 s
4.1 % 1.7e+02 s Elapsed time so far: 3.6 s
4.2 % 1.7e+02 s Elapsed time so far: 3.6 s
4.2 % 1.7e+02 s Elapsed time so far: 3.6 s
4.2 % 1.7e+02 s Elapsed time so far: 3.6 s
4.3 % 1.7e+02 s Elapsed time so far: 3.6 s
4.3 % 1.7e+02 s Elapsed time so far: 3.7 s
4.3 % 1.7e+02 s Elapsed time so far: 3.7 s
4.4 % 1.7e+02 s Elapsed time so far: 3.7 s
4.4 % 1.8e+02 s Elapsed time so far: 3.7 s
4.4 % 1.8e+02 s Elapsed time so far: 3.7 s
4.5 % 1.8e+02 s Elapsed time so far: 3.7 s
4.5 % 1.8e+02 s Elapsed time so far: 3.7 s
4.6 % 1.8e+02 s Elapsed time so far: 3.7 s
4.6 % 1.8e+02 s Elapsed time so far: 3.7 s
4.6 % 1.9e+02 s Elapsed time so far: 3.7 s
4.7 % 1.9e+02 s Elapsed time so far: 3.7 s
4.7 % 1.9e+02 s Elapsed time so far: 3.7 s
4.8 % 1.9e+02 s Elapsed time so far: 3.8 s
4.8 % 1.9e+02 s Elapsed time so far: 3.8 s
4.8 % 1.9e+02 s Elapsed time so far: 3.8 s
4.9 % 2.0e+02 s Elapsed time so far: 3.8 s
4.9 % 2.0e+02 s Elapsed time so far: 3.8 s
5.0 % 2.0e+02 s Elapsed time so far: 3.8 s
5.0 % 2.0e+02 s Elapsed time so far: 3.8 s
5.0 % 2.0e+02 s Elapsed time so far: 3.8 s
5.1 % 2.0e+02 s Elapsed time so far: 3.8 s
5.1 % 2.1e+02 s Elapsed time so far: 3.8 s
5.2 % 2.1e+02 s Elapsed time so far: 3.8 s
5.2 % 2.1e+02 s Elapsed time so far: 3.9 s
5.3 % 2.1e+02 s Elapsed time so far: 3.9 s
5.3 % 2.1e+02 s Elapsed time so far: 3.9 s
5.3 % 2.1e+02 s Elapsed time so far: 3.9 s
5.4 % 2.2e+02 s Elapsed time so far: 3.9 s
5.4 % 2.2e+02 s Elapsed time so far: 3.9 s
5.5 % 2.2e+02 s Elapsed time so far: 3.9 s
5.5 % 2.2e+02 s Elapsed time so far: 3.9 s
5.5 % 2.2e+02 s Elapsed time so far: 3.9 s
5.6 % 2.2e+02 s Elapsed time so far: 3.9 s
5.6 % 2.2e+02 s Elapsed time so far: 3.9 s
5.7 % 2.3e+02 s Elapsed time so far: 4.0 s
5.7 % 2.3e+02 s Elapsed time so far: 4.0 s
5.8 % 2.3e+02 s Elapsed time so far: 4.0 s
5.8 % 2.3e+02 s Elapsed time so far: 4.0 s
5.8 % 2.3e+02 s Elapsed time so far: 4.0 s
5.9 % 2.3e+02 s Elapsed time so far: 4.0 s
5.9 % 2.4e+02 s Elapsed time so far: 4.0 s
6.0 % 2.4e+02 s Elapsed time so far: 4.0 s
6.0 % 2.4e+02 s Elapsed time so far: 4.0 s
6.1 % 2.4e+02 s Elapsed time so far: 4.0 s
6.1 % 2.4e+02 s Elapsed time so far: 4.0 s
6.2 % 2.5e+02 s Elapsed time so far: 4.0 s
6.2 % 2.5e+02 s Elapsed time so far: 4.0 s
6.2 % 2.5e+02 s Elapsed time so far: 4.1 s
6.3 % 2.5e+02 s Elapsed time so far: 4.1 s
6.3 % 2.5e+02 s Elapsed time so far: 4.1 s
6.4 % 2.6e+02 s Elapsed time so far: 4.1 s
6.4 % 2.6e+02 s Elapsed time so far: 4.1 s
6.5 % 2.6e+02 s Elapsed time so far: 4.1 s
6.5 % 2.6e+02 s Elapsed time so far: 4.1 s
6.6 % 2.6e+02 s Elapsed time so far: 4.1 s
6.6 % 2.6e+02 s Elapsed time so far: 4.1 s
6.7 % 2.7e+02 s Elapsed time so far: 4.1 s
6.7 % 2.7e+02 s Elapsed time so far: 4.2 s
6.7 % 2.7e+02 s Elapsed time so far: 4.2 s
6.8 % 2.7e+02 s Elapsed time so far: 4.2 s
6.8 % 2.7e+02 s Elapsed time so far: 4.2 s
6.9 % 2.7e+02 s Elapsed time so far: 4.2 s
6.9 % 2.8e+02 s Elapsed time so far: 4.2 s
6.9 % 2.8e+02 s Elapsed time so far: 4.2 s
7.0 % 2.8e+02 s Elapsed time so far: 4.2 s
7.0 % 2.8e+02 s Elapsed time so far: 4.2 s
7.1 % 2.8e+02 s Elapsed time so far: 4.2 s
7.1 % 2.8e+02 s Elapsed time so far: 4.2 s
7.2 % 2.9e+02 s Elapsed time so far: 4.2 s
7.2 % 2.9e+02 s Elapsed time so far: 4.2 s
7.2 % 2.9e+02 s Elapsed time so far: 4.3 s
7.3 % 2.9e+02 s Elapsed time so far: 4.3 s
7.3 % 2.9e+02 s Elapsed time so far: 4.3 s
7.4 % 3.0e+02 s Elapsed time so far: 4.3 s
7.4 % 3.0e+02 s Elapsed time so far: 4.3 s
7.5 % 3.0e+02 s Elapsed time so far: 4.3 s
7.5 % 3.0e+02 s Elapsed time so far: 4.3 s
7.6 % 3.0e+02 s Elapsed time so far: 4.3 s
7.6 % 3.1e+02 s Elapsed time so far: 4.3 s
7.7 % 3.1e+02 s Elapsed time so far: 4.3 s
7.7 % 3.1e+02 s Elapsed time so far: 4.4 s
7.8 % 3.1e+02 s Elapsed time so far: 4.4 s
7.8 % 3.1e+02 s Elapsed time so far: 4.4 s
7.9 % 3.2e+02 s Elapsed time so far: 4.4 s
7.9 % 3.2e+02 s Elapsed time so far: 4.4 s
8.0 % 3.2e+02 s Elapsed time so far: 4.4 s
8.1 % 3.2e+02 s Elapsed time so far: 4.4 s
8.1 % 3.2e+02 s Elapsed time so far: 4.4 s
8.2 % 3.3e+02 s Elapsed time so far: 4.4 s
8.2 % 3.3e+02 s Elapsed time so far: 4.4 s
8.2 % 3.3e+02 s Elapsed time so far: 4.4 s
8.3 % 3.3e+02 s Elapsed time so far: 4.5 s
8.3 % 3.3e+02 s Elapsed time so far: 4.5 s
8.4 % 3.4e+02 s Elapsed time so far: 4.5 s
8.4 % 3.4e+02 s Elapsed time so far: 4.5 s
8.5 % 3.4e+02 s Elapsed time so far: 4.5 s
8.5 % 3.4e+02 s Elapsed time so far: 4.5 s
8.6 % 3.4e+02 s Elapsed time so far: 4.5 s
8.6 % 3.4e+02 s Elapsed time so far: 4.5 s
8.6 % 3.5e+02 s Elapsed time so far: 4.5 s
8.7 % 3.5e+02 s Elapsed time so far: 4.5 s
8.7 % 3.5e+02 s Elapsed time so far: 4.5 s
8.8 % 3.5e+02 s Elapsed time so far: 4.6 s
8.8 % 3.5e+02 s Elapsed time so far: 4.6 s
8.9 % 3.6e+02 s Elapsed time so far: 4.6 s
8.9 % 3.6e+02 s Elapsed time so far: 4.6 s
9.0 % 3.6e+02 s Elapsed time so far: 4.6 s
9.1 % 3.6e+02 s Elapsed time so far: 4.6 s
9.1 % 3.6e+02 s Elapsed time so far: 4.6 s
9.1 % 3.7e+02 s Elapsed time so far: 4.6 s
9.2 % 3.7e+02 s Elapsed time so far: 4.6 s
9.2 % 3.7e+02 s Elapsed time so far: 4.6 s
9.3 % 3.7e+02 s Elapsed time so far: 4.6 s
9.3 % 3.7e+02 s Elapsed time so far: 4.7 s
9.4 % 3.8e+02 s Elapsed time so far: 4.7 s
9.4 % 3.8e+02 s Elapsed time so far: 4.7 s
9.5 % 3.8e+02 s Elapsed time so far: 4.7 s
9.6 % 3.8e+02 s Elapsed time so far: 4.7 s
9.6 % 3.8e+02 s Elapsed time so far: 4.7 s
9.6 % 3.9e+02 s Elapsed time so far: 4.7 s
9.7 % 3.9e+02 s Elapsed time so far: 4.7 s
9.7 % 3.9e+02 s Elapsed time so far: 4.7 s
9.8 % 3.9e+02 s Elapsed time so far: 4.7 s
9.8 % 3.9e+02 s Elapsed time so far: 4.7 s
9.9 % 4.0e+02 s Elapsed time so far: 4.8 s
9.9 % 4.0e+02 s Elapsed time so far: 4.8 s
10.0 % 4.0e+02 s Elapsed time so far: 4.8 s
10.1 % 4.0e+02 s Elapsed time so far: 4.8 s
10.1 % 4.0e+02 s Elapsed time so far: 4.8 s
10.1 % 4.1e+02 s Elapsed time so far: 4.8 s
10.2 % 4.1e+02 s Elapsed time so far: 4.8 s
10.2 % 4.1e+02 s Elapsed time so far: 4.8 s
10.3 % 4.1e+02 s Elapsed time so far: 4.8 s
10.3 % 4.1e+02 s Elapsed time so far: 4.8 s
10.4 % 4.2e+02 s Elapsed time so far: 4.8 s
10.4 % 4.2e+02 s Elapsed time so far: 4.8 s
10.5 % 4.2e+02 s Elapsed time so far: 4.9 s
10.6 % 4.2e+02 s Elapsed time so far: 4.9 s
10.6 % 4.2e+02 s Elapsed time so far: 4.9 s
10.7 % 4.3e+02 s Elapsed time so far: 4.9 s
10.7 % 4.3e+02 s Elapsed time so far: 4.9 s
10.8 % 4.3e+02 s Elapsed time so far: 4.9 s
10.8 % 4.3e+02 s Elapsed time so far: 4.9 s
10.9 % 4.4e+02 s Elapsed time so far: 4.9 s
10.9 % 4.4e+02 s Elapsed time so far: 4.9 s
11.0 % 4.4e+02 s Elapsed time so far: 4.9 s
11.1 % 4.4e+02 s Elapsed time so far: 4.9 s
11.1 % 4.4e+02 s Elapsed time so far: 5.0 s
11.2 % 4.5e+02 s Elapsed time so far: 5.0 s
11.2 % 4.5e+02 s Elapsed time so far: 5.0 s
11.2 % 4.5e+02 s Elapsed time so far: 5.0 s
11.3 % 4.5e+02 s Elapsed time so far: 5.0 s
11.3 % 4.5e+02 s Elapsed time so far: 5.0 s
11.4 % 4.6e+02 s Elapsed time so far: 5.0 s
11.4 % 4.6e+02 s Elapsed time so far: 5.0 s
11.5 % 4.6e+02 s Elapsed time so far: 5.0 s
11.6 % 4.6e+02 s Elapsed time so far: 5.0 s
11.6 % 4.6e+02 s Elapsed time so far: 5.0 s
11.7 % 4.7e+02 s Elapsed time so far: 5.1 s
11.7 % 4.7e+02 s Elapsed time so far: 5.1 s
11.8 % 4.7e+02 s Elapsed time so far: 5.1 s
11.8 % 4.7e+02 s Elapsed time so far: 5.1 s
11.9 % 4.8e+02 s Elapsed time so far: 5.1 s
12.0 % 4.8e+02 s Elapsed time so far: 5.1 s
12.0 % 4.8e+02 s Elapsed time so far: 5.1 s
12.1 % 4.8e+02 s Elapsed time so far: 5.1 s
12.2 % 4.9e+02 s Elapsed time so far: 5.1 s
12.2 % 4.9e+02 s Elapsed time so far: 5.1 s
12.3 % 4.9e+02 s Elapsed time so far: 5.1 s
12.3 % 4.9e+02 s Elapsed time so far: 5.2 s
12.4 % 5.0e+02 s Elapsed time so far: 5.2 s
12.4 % 5.0e+02 s Elapsed time so far: 5.2 s
12.5 % 5.0e+02 s Elapsed time so far: 5.2 s
12.6 % 5.0e+02 s Elapsed time so far: 5.2 s
12.6 % 5.0e+02 s Elapsed time so far: 5.2 s
12.7 % 5.1e+02 s Elapsed time so far: 5.2 s
12.7 % 5.1e+02 s Elapsed time so far: 5.2 s
12.8 % 5.1e+02 s Elapsed time so far: 5.2 s
12.8 % 5.1e+02 s Elapsed time so far: 5.2 s
12.9 % 5.1e+02 s Elapsed time so far: 5.2 s
12.9 % 5.2e+02 s Elapsed time so far: 5.2 s
13.0 % 5.2e+02 s Elapsed time so far: 5.2 s
13.1 % 5.2e+02 s Elapsed time so far: 5.3 s
13.1 % 5.2e+02 s Elapsed time so far: 5.3 s
13.2 % 5.3e+02 s Elapsed time so far: 5.3 s
13.2 % 5.3e+02 s Elapsed time so far: 5.3 s
13.3 % 5.3e+02 s Elapsed time so far: 5.3 s
13.4 % 5.3e+02 s Elapsed time so far: 5.3 s
13.4 % 5.4e+02 s Elapsed time so far: 5.3 s
13.5 % 5.4e+02 s Elapsed time so far: 5.3 s
13.5 % 5.4e+02 s Elapsed time so far: 5.3 s
13.6 % 5.4e+02 s Elapsed time so far: 5.3 s
13.7 % 5.5e+02 s Elapsed time so far: 5.4 s
13.7 % 5.5e+02 s Elapsed time so far: 5.4 s
13.8 % 5.5e+02 s Elapsed time so far: 5.4 s
13.8 % 5.5e+02 s Elapsed time so far: 5.4 s
13.9 % 5.6e+02 s Elapsed time so far: 5.4 s
14.0 % 5.6e+02 s Elapsed time so far: 5.4 s
14.0 % 5.6e+02 s Elapsed time so far: 5.4 s
14.1 % 5.6e+02 s Elapsed time so far: 5.4 s
14.1 % 5.7e+02 s Elapsed time so far: 5.4 s
14.2 % 5.7e+02 s Elapsed time so far: 5.4 s
14.3 % 5.7e+02 s Elapsed time so far: 5.4 s
14.3 % 5.7e+02 s Elapsed time so far: 5.5 s
14.4 % 5.8e+02 s Elapsed time so far: 5.5 s
14.4 % 5.8e+02 s Elapsed time so far: 5.5 s
14.5 % 5.8e+02 s Elapsed time so far: 5.5 s
14.6 % 5.8e+02 s Elapsed time so far: 5.5 s
14.6 % 5.9e+02 s Elapsed time so far: 5.5 s
14.7 % 5.9e+02 s Elapsed time so far: 5.5 s
14.7 % 5.9e+02 s Elapsed time so far: 5.5 s
14.8 % 5.9e+02 s Elapsed time so far: 5.5 s
14.9 % 5.9e+02 s Elapsed time so far: 5.5 s
14.9 % 6.0e+02 s Elapsed time so far: 5.5 s
15.0 % 6.0e+02 s Elapsed time so far: 5.6 s
15.1 % 6.0e+02 s Elapsed time so far: 5.6 s
15.1 % 6.0e+02 s Elapsed time so far: 5.6 s
15.2 % 6.1e+02 s Elapsed time so far: 5.6 s
15.3 % 6.1e+02 s Elapsed time so far: 5.6 s
15.3 % 6.1e+02 s Elapsed time so far: 5.6 s
15.4 % 6.2e+02 s Elapsed time so far: 5.6 s
15.5 % 6.2e+02 s Elapsed time so far: 5.6 s
15.5 % 6.2e+02 s Elapsed time so far: 5.6 s
15.6 % 6.2e+02 s Elapsed time so far: 5.6 s
15.7 % 6.3e+02 s Elapsed time so far: 5.7 s
15.7 % 6.3e+02 s Elapsed time so far: 5.7 s
15.8 % 6.3e+02 s Elapsed time so far: 5.7 s
15.9 % 6.4e+02 s Elapsed time so far: 5.7 s
16.0 % 6.4e+02 s Elapsed time so far: 5.7 s
16.0 % 6.4e+02 s Elapsed time so far: 5.7 s
16.1 % 6.5e+02 s Elapsed time so far: 5.7 s
16.2 % 6.5e+02 s Elapsed time so far: 5.7 s
16.3 % 6.5e+02 s Elapsed time so far: 5.7 s
16.3 % 6.5e+02 s Elapsed time so far: 5.7 s
16.4 % 6.6e+02 s Elapsed time so far: 5.7 s
16.5 % 6.6e+02 s Elapsed time so far: 5.8 s
16.6 % 6.6e+02 s Elapsed time so far: 5.8 s
16.6 % 6.7e+02 s Elapsed time so far: 5.8 s
16.7 % 6.7e+02 s Elapsed time so far: 5.8 s
16.8 % 6.7e+02 s Elapsed time so far: 5.8 s
16.8 % 6.7e+02 s Elapsed time so far: 5.8 s
16.9 % 6.8e+02 s Elapsed time so far: 5.8 s
17.0 % 6.8e+02 s Elapsed time so far: 5.8 s
17.1 % 6.8e+02 s Elapsed time so far: 5.8 s
17.1 % 6.9e+02 s Elapsed time so far: 5.8 s
17.2 % 6.9e+02 s Elapsed time so far: 5.8 s
17.3 % 6.9e+02 s Elapsed time so far: 5.9 s
17.4 % 6.9e+02 s Elapsed time so far: 5.9 s
17.4 % 7.0e+02 s Elapsed time so far: 5.9 s
17.5 % 7.0e+02 s Elapsed time so far: 5.9 s
17.6 % 7.0e+02 s Elapsed time so far: 5.9 s
17.6 % 7.1e+02 s Elapsed time so far: 5.9 s
17.7 % 7.1e+02 s Elapsed time so far: 5.9 s
17.8 % 7.1e+02 s Elapsed time so far: 5.9 s
17.9 % 7.2e+02 s Elapsed time so far: 5.9 s
18.0 % 7.2e+02 s Elapsed time so far: 6.0 s
18.1 % 7.2e+02 s Elapsed time so far: 6.0 s
18.1 % 7.3e+02 s Elapsed time so far: 6.0 s
18.2 % 7.3e+02 s Elapsed time so far: 6.0 s
18.3 % 7.3e+02 s Elapsed time so far: 6.0 s
18.4 % 7.4e+02 s Elapsed time so far: 6.0 s
18.5 % 7.4e+02 s Elapsed time so far: 6.0 s
18.6 % 7.4e+02 s Elapsed time so far: 6.0 s
18.6 % 7.5e+02 s Elapsed time so far: 6.0 s
18.7 % 7.5e+02 s Elapsed time so far: 6.0 s
18.8 % 7.5e+02 s Elapsed time so far: 6.0 s
18.9 % 7.6e+02 s Elapsed time so far: 6.1 s
19.0 % 7.6e+02 s Elapsed time so far: 6.1 s
19.1 % 7.6e+02 s Elapsed time so far: 6.1 s
19.1 % 7.7e+02 s Elapsed time so far: 6.1 s
19.2 % 7.7e+02 s Elapsed time so far: 6.1 s
19.3 % 7.7e+02 s Elapsed time so far: 6.1 s
19.4 % 7.7e+02 s Elapsed time so far: 6.1 s
19.4 % 7.8e+02 s Elapsed time so far: 6.1 s
19.5 % 7.8e+02 s Elapsed time so far: 6.1 s
19.6 % 7.8e+02 s Elapsed time so far: 6.1 s
19.7 % 7.9e+02 s Elapsed time so far: 6.1 s
19.8 % 7.9e+02 s Elapsed time so far: 6.2 s
19.8 % 7.9e+02 s Elapsed time so far: 6.2 s
19.9 % 8.0e+02 s Elapsed time so far: 6.2 s
20.0 % 8.0e+02 s Elapsed time so far: 6.2 s
20.1 % 8.0e+02 s Elapsed time so far: 6.2 s
20.2 % 8.1e+02 s Elapsed time so far: 6.2 s
20.2 % 8.1e+02 s Elapsed time so far: 6.2 s
20.3 % 8.1e+02 s Elapsed time so far: 6.2 s
20.4 % 8.2e+02 s Elapsed time so far: 6.2 s
20.5 % 8.2e+02 s Elapsed time so far: 6.2 s
20.6 % 8.2e+02 s Elapsed time so far: 6.2 s
20.7 % 8.3e+02 s Elapsed time so far: 6.2 s
20.7 % 8.3e+02 s Elapsed time so far: 6.3 s
20.8 % 8.3e+02 s Elapsed time so far: 6.3 s
20.9 % 8.4e+02 s Elapsed time so far: 6.3 s
21.0 % 8.4e+02 s Elapsed time so far: 6.3 s
21.0 % 8.4e+02 s Elapsed time so far: 6.3 s
21.1 % 8.4e+02 s Elapsed time so far: 6.3 s
21.2 % 8.5e+02 s Elapsed time so far: 6.3 s
21.2 % 8.5e+02 s Elapsed time so far: 6.3 s
21.3 % 8.5e+02 s Elapsed time so far: 6.3 s
21.4 % 8.6e+02 s Elapsed time so far: 6.3 s
21.5 % 8.6e+02 s Elapsed time so far: 6.4 s
21.5 % 8.6e+02 s Elapsed time so far: 6.4 s
21.6 % 8.6e+02 s Elapsed time so far: 6.4 s
21.7 % 8.7e+02 s Elapsed time so far: 6.4 s
21.8 % 8.7e+02 s Elapsed time so far: 6.4 s
21.9 % 8.7e+02 s Elapsed time so far: 6.4 s
21.9 % 8.8e+02 s Elapsed time so far: 6.4 s
22.0 % 8.8e+02 s Elapsed time so far: 6.4 s
22.1 % 8.8e+02 s Elapsed time so far: 6.4 s
22.2 % 8.9e+02 s Elapsed time so far: 6.4 s
22.3 % 8.9e+02 s Elapsed time so far: 6.4 s
22.4 % 8.9e+02 s Elapsed time so far: 6.5 s
22.4 % 9.0e+02 s Elapsed time so far: 6.5 s
22.6 % 9.0e+02 s Elapsed time so far: 6.5 s
22.6 % 9.1e+02 s Elapsed time so far: 6.5 s
22.7 % 9.1e+02 s Elapsed time so far: 6.5 s
22.8 % 9.1e+02 s Elapsed time so far: 6.5 s
22.9 % 9.2e+02 s Elapsed time so far: 6.5 s
23.0 % 9.2e+02 s Elapsed time so far: 6.5 s
23.1 % 9.2e+02 s Elapsed time so far: 6.5 s
23.2 % 9.3e+02 s Elapsed time so far: 6.5 s
23.3 % 9.3e+02 s Elapsed time so far: 6.5 s
23.4 % 9.3e+02 s Elapsed time so far: 6.6 s
23.4 % 9.4e+02 s Elapsed time so far: 6.6 s
23.5 % 9.4e+02 s Elapsed time so far: 6.6 s
23.6 % 9.5e+02 s Elapsed time so far: 6.6 s
23.7 % 9.5e+02 s Elapsed time so far: 6.6 s
23.8 % 9.5e+02 s Elapsed time so far: 6.6 s
23.9 % 9.6e+02 s Elapsed time so far: 6.6 s
24.0 % 9.6e+02 s Elapsed time so far: 6.6 s
24.1 % 9.6e+02 s Elapsed time so far: 6.6 s
24.1 % 9.7e+02 s Elapsed time so far: 6.6 s
24.2 % 9.7e+02 s Elapsed time so far: 6.6 s
24.3 % 9.7e+02 s Elapsed time so far: 6.7 s
24.4 % 9.8e+02 s Elapsed time so far: 6.7 s
24.5 % 9.8e+02 s Elapsed time so far: 6.7 s
24.6 % 9.8e+02 s Elapsed time so far: 6.7 s
24.7 % 9.9e+02 s Elapsed time so far: 6.7 s
24.8 % 9.9e+02 s Elapsed time so far: 6.7 s
24.9 % 9.9e+02 s Elapsed time so far: 6.7 s
24.9 % 1.0e+03 s Elapsed time so far: 6.7 s
25.0 % 1.0e+03 s Elapsed time so far: 6.7 s
25.1 % 1.0e+03 s Elapsed time so far: 6.7 s
25.2 % 1.0e+03 s Elapsed time so far: 6.7 s
25.3 % 1.0e+03 s Elapsed time so far: 6.8 s
25.4 % 1.0e+03 s Elapsed time so far: 6.8 s
25.5 % 1.0e+03 s Elapsed time so far: 6.8 s
25.6 % 1.0e+03 s Elapsed time so far: 6.8 s
25.6 % 1.0e+03 s Elapsed time so far: 6.8 s
25.7 % 1.0e+03 s Elapsed time so far: 6.8 s
25.8 % 1.0e+03 s Elapsed time so far: 6.8 s
25.9 % 1.0e+03 s Elapsed time so far: 6.8 s
25.9 % 1.0e+03 s Elapsed time so far: 6.8 s
26.0 % 1.0e+03 s Elapsed time so far: 6.8 s
26.1 % 1.0e+03 s Elapsed time so far: 6.8 s
26.2 % 1.0e+03 s Elapsed time so far: 6.9 s
26.3 % 1.1e+03 s Elapsed time so far: 6.9 s
26.4 % 1.1e+03 s Elapsed time so far: 6.9 s
26.4 % 1.1e+03 s Elapsed time so far: 6.9 s
26.5 % 1.1e+03 s Elapsed time so far: 6.9 s
26.6 % 1.1e+03 s Elapsed time so far: 6.9 s
26.7 % 1.1e+03 s Elapsed time so far: 6.9 s
26.8 % 1.1e+03 s Elapsed time so far: 6.9 s
26.9 % 1.1e+03 s Elapsed time so far: 6.9 s
27.0 % 1.1e+03 s Elapsed time so far: 6.9 s
27.1 % 1.1e+03 s Elapsed time so far: 6.9 s
27.2 % 1.1e+03 s Elapsed time so far: 6.9 s
27.3 % 1.1e+03 s Elapsed time so far: 7.0 s
27.4 % 1.1e+03 s Elapsed time so far: 7.0 s
27.5 % 1.1e+03 s Elapsed time so far: 7.0 s
27.6 % 1.1e+03 s Elapsed time so far: 7.0 s
27.7 % 1.1e+03 s Elapsed time so far: 7.0 s
27.8 % 1.1e+03 s Elapsed time so far: 7.0 s
27.9 % 1.1e+03 s Elapsed time so far: 7.0 s
28.0 % 1.1e+03 s Elapsed time so far: 7.0 s
28.1 % 1.1e+03 s Elapsed time so far: 7.0 s
28.2 % 1.1e+03 s Elapsed time so far: 7.0 s
28.3 % 1.1e+03 s Elapsed time so far: 7.0 s
28.4 % 1.1e+03 s Elapsed time so far: 7.1 s
28.5 % 1.1e+03 s Elapsed time so far: 7.1 s
28.6 % 1.1e+03 s Elapsed time so far: 7.1 s
28.7 % 1.1e+03 s Elapsed time so far: 7.1 s
28.8 % 1.2e+03 s Elapsed time so far: 7.1 s
28.9 % 1.2e+03 s Elapsed time so far: 7.1 s
28.9 % 1.2e+03 s Elapsed time so far: 7.1 s
29.0 % 1.2e+03 s Elapsed time so far: 7.1 s
29.1 % 1.2e+03 s Elapsed time so far: 7.1 s
29.2 % 1.2e+03 s Elapsed time so far: 7.1 s
29.3 % 1.2e+03 s Elapsed time so far: 7.1 s
29.4 % 1.2e+03 s Elapsed time so far: 7.2 s
29.5 % 1.2e+03 s Elapsed time so far: 7.2 s
29.6 % 1.2e+03 s Elapsed time so far: 7.2 s
29.7 % 1.2e+03 s Elapsed time so far: 7.2 s
29.8 % 1.2e+03 s Elapsed time so far: 7.2 s
29.9 % 1.2e+03 s Elapsed time so far: 7.2 s
30.0 % 1.2e+03 s Elapsed time so far: 7.2 s
30.1 % 1.2e+03 s Elapsed time so far: 7.2 s
30.2 % 1.2e+03 s Elapsed time so far: 7.2 s
30.3 % 1.2e+03 s Elapsed time so far: 7.2 s
30.4 % 1.2e+03 s Elapsed time so far: 7.2 s
30.6 % 1.2e+03 s Elapsed time so far: 7.3 s
30.6 % 1.2e+03 s Elapsed time so far: 7.3 s
30.8 % 1.2e+03 s Elapsed time so far: 7.3 s
30.9 % 1.2e+03 s Elapsed time so far: 7.3 s
31.0 % 1.2e+03 s Elapsed time so far: 7.3 s
31.1 % 1.2e+03 s Elapsed time so far: 7.3 s
31.2 % 1.2e+03 s Elapsed time so far: 7.3 s
31.3 % 1.3e+03 s Elapsed time so far: 7.3 s
31.4 % 1.3e+03 s Elapsed time so far: 7.3 s
31.5 % 1.3e+03 s Elapsed time so far: 7.3 s
31.6 % 1.3e+03 s Elapsed time so far: 7.3 s
31.8 % 1.3e+03 s Elapsed time so far: 7.3 s
31.9 % 1.3e+03 s Elapsed time so far: 7.4 s
32.0 % 1.3e+03 s Elapsed time so far: 7.4 s
32.1 % 1.3e+03 s Elapsed time so far: 7.4 s
32.2 % 1.3e+03 s Elapsed time so far: 7.4 s
32.3 % 1.3e+03 s Elapsed time so far: 7.4 s
32.4 % 1.3e+03 s Elapsed time so far: 7.4 s
32.5 % 1.3e+03 s Elapsed time so far: 7.4 s
32.6 % 1.3e+03 s Elapsed time so far: 7.4 s
32.8 % 1.3e+03 s Elapsed time so far: 7.4 s
32.9 % 1.3e+03 s Elapsed time so far: 7.4 s
33.0 % 1.3e+03 s Elapsed time so far: 7.4 s
33.1 % 1.3e+03 s Elapsed time so far: 7.5 s
33.2 % 1.3e+03 s Elapsed time so far: 7.5 s
33.3 % 1.3e+03 s Elapsed time so far: 7.5 s
33.4 % 1.3e+03 s Elapsed time so far: 7.5 s
33.5 % 1.3e+03 s Elapsed time so far: 7.5 s
33.6 % 1.3e+03 s Elapsed time so far: 7.5 s
33.7 % 1.3e+03 s Elapsed time so far: 7.5 s
33.8 % 1.4e+03 s Elapsed time so far: 7.5 s
33.9 % 1.4e+03 s Elapsed time so far: 7.5 s
34.0 % 1.4e+03 s Elapsed time so far: 7.5 s
34.1 % 1.4e+03 s Elapsed time so far: 7.5 s
34.2 % 1.4e+03 s Elapsed time so far: 7.6 s
34.3 % 1.4e+03 s Elapsed time so far: 7.6 s
34.4 % 1.4e+03 s Elapsed time so far: 7.6 s
34.5 % 1.4e+03 s Elapsed time so far: 7.6 s
34.7 % 1.4e+03 s Elapsed time so far: 7.6 s
34.8 % 1.4e+03 s Elapsed time so far: 7.6 s
34.9 % 1.4e+03 s Elapsed time so far: 7.6 s
35.0 % 1.4e+03 s Elapsed time so far: 7.6 s
35.1 % 1.4e+03 s Elapsed time so far: 7.6 s
35.2 % 1.4e+03 s Elapsed time so far: 7.6 s
35.3 % 1.4e+03 s Elapsed time so far: 7.6 s
35.4 % 1.4e+03 s Elapsed time so far: 7.7 s
35.5 % 1.4e+03 s Elapsed time so far: 7.7 s
35.6 % 1.4e+03 s Elapsed time so far: 7.7 s
35.7 % 1.4e+03 s Elapsed time so far: 7.7 s
35.8 % 1.4e+03 s Elapsed time so far: 7.7 s
35.9 % 1.4e+03 s Elapsed time so far: 7.7 s
36.0 % 1.4e+03 s Elapsed time so far: 7.7 s
36.1 % 1.4e+03 s Elapsed time so far: 7.7 s
36.2 % 1.4e+03 s Elapsed time so far: 7.7 s
36.3 % 1.5e+03 s Elapsed time so far: 7.7 s
36.5 % 1.5e+03 s Elapsed time so far: 7.7 s
36.6 % 1.5e+03 s Elapsed time so far: 7.8 s
36.7 % 1.5e+03 s Elapsed time so far: 7.8 s
36.8 % 1.5e+03 s Elapsed time so far: 7.8 s
36.9 % 1.5e+03 s Elapsed time so far: 7.8 s
37.0 % 1.5e+03 s Elapsed time so far: 7.8 s
37.1 % 1.5e+03 s Elapsed time so far: 7.8 s
37.2 % 1.5e+03 s Elapsed time so far: 7.8 s
37.3 % 1.5e+03 s Elapsed time so far: 7.8 s
37.4 % 1.5e+03 s Elapsed time so far: 7.8 s
37.5 % 1.5e+03 s Elapsed time so far: 7.8 s
37.6 % 1.5e+03 s Elapsed time so far: 7.8 s
37.7 % 1.5e+03 s Elapsed time so far: 7.9 s
37.8 % 1.5e+03 s Elapsed time so far: 7.9 s
37.9 % 1.5e+03 s Elapsed time so far: 7.9 s
38.0 % 1.5e+03 s Elapsed time so far: 7.9 s
38.1 % 1.5e+03 s Elapsed time so far: 7.9 s
38.2 % 1.5e+03 s Elapsed time so far: 7.9 s
38.4 % 1.5e+03 s Elapsed time so far: 7.9 s
38.5 % 1.5e+03 s Elapsed time so far: 7.9 s
38.6 % 1.5e+03 s Elapsed time so far: 7.9 s
38.7 % 1.5e+03 s Elapsed time so far: 7.9 s
38.8 % 1.6e+03 s Elapsed time so far: 7.9 s
38.9 % 1.6e+03 s Elapsed time so far: 8.0 s
39.0 % 1.6e+03 s Elapsed time so far: 8.0 s
39.1 % 1.6e+03 s Elapsed time so far: 8.0 s
39.1 % 1.6e+03 s Elapsed time so far: 8.0 s
39.2 % 1.6e+03 s Elapsed time so far: 8.0 s
39.3 % 1.6e+03 s Elapsed time so far: 8.0 s
39.5 % 1.6e+03 s Elapsed time so far: 8.0 s
39.5 % 1.6e+03 s Elapsed time so far: 8.0 s
39.6 % 1.6e+03 s Elapsed time so far: 8.0 s
39.7 % 1.6e+03 s Elapsed time so far: 8.0 s
39.9 % 1.6e+03 s Elapsed time so far: 8.0 s
40.0 % 1.6e+03 s Elapsed time so far: 8.0 s
40.1 % 1.6e+03 s Elapsed time so far: 8.1 s
40.2 % 1.6e+03 s Elapsed time so far: 8.1 s
40.3 % 1.6e+03 s Elapsed time so far: 8.1 s
40.4 % 1.6e+03 s Elapsed time so far: 8.1 s
40.5 % 1.6e+03 s Elapsed time so far: 8.1 s
40.6 % 1.6e+03 s Elapsed time so far: 8.1 s
40.7 % 1.6e+03 s Elapsed time so far: 8.1 s
40.8 % 1.6e+03 s Elapsed time so far: 8.1 s
40.9 % 1.6e+03 s Elapsed time so far: 8.1 s
41.0 % 1.6e+03 s Elapsed time so far: 8.1 s
41.2 % 1.6e+03 s Elapsed time so far: 8.1 s
41.2 % 1.7e+03 s Elapsed time so far: 8.2 s
41.4 % 1.7e+03 s Elapsed time so far: 8.2 s
41.5 % 1.7e+03 s Elapsed time so far: 8.2 s
41.6 % 1.7e+03 s Elapsed time so far: 8.2 s
41.7 % 1.7e+03 s Elapsed time so far: 8.2 s
41.8 % 1.7e+03 s Elapsed time so far: 8.2 s
41.9 % 1.7e+03 s Elapsed time so far: 8.2 s
42.1 % 1.7e+03 s Elapsed time so far: 8.2 s
42.2 % 1.7e+03 s Elapsed time so far: 8.2 s
42.3 % 1.7e+03 s Elapsed time so far: 8.2 s
42.4 % 1.7e+03 s Elapsed time so far: 8.2 s
42.5 % 1.7e+03 s Elapsed time so far: 8.2 s
42.7 % 1.7e+03 s Elapsed time so far: 8.2 s
42.8 % 1.7e+03 s Elapsed time so far: 8.3 s
42.9 % 1.7e+03 s Elapsed time so far: 8.3 s
43.0 % 1.7e+03 s Elapsed time so far: 8.3 s
43.1 % 1.7e+03 s Elapsed time so far: 8.3 s
43.3 % 1.7e+03 s Elapsed time so far: 8.3 s
43.4 % 1.7e+03 s Elapsed time so far: 8.3 s
43.5 % 1.7e+03 s Elapsed time so far: 8.3 s
43.6 % 1.7e+03 s Elapsed time so far: 8.3 s
43.7 % 1.7e+03 s Elapsed time so far: 8.3 s
43.8 % 1.8e+03 s Elapsed time so far: 8.3 s
43.9 % 1.8e+03 s Elapsed time so far: 8.3 s
44.0 % 1.8e+03 s Elapsed time so far: 8.4 s
44.2 % 1.8e+03 s Elapsed time so far: 8.4 s
44.3 % 1.8e+03 s Elapsed time so far: 8.4 s
44.4 % 1.8e+03 s Elapsed time so far: 8.4 s
44.5 % 1.8e+03 s Elapsed time so far: 8.4 s
44.6 % 1.8e+03 s Elapsed time so far: 8.4 s
44.8 % 1.8e+03 s Elapsed time so far: 8.4 s
44.9 % 1.8e+03 s Elapsed time so far: 8.4 s
45.0 % 1.8e+03 s Elapsed time so far: 8.4 s
45.1 % 1.8e+03 s Elapsed time so far: 8.4 s
45.2 % 1.8e+03 s Elapsed time so far: 8.5 s
45.3 % 1.8e+03 s Elapsed time so far: 8.5 s
45.4 % 1.8e+03 s Elapsed time so far: 8.5 s
45.5 % 1.8e+03 s Elapsed time so far: 8.5 s
45.6 % 1.8e+03 s Elapsed time so far: 8.5 s
45.8 % 1.8e+03 s Elapsed time so far: 8.5 s
45.9 % 1.8e+03 s Elapsed time so far: 8.5 s
46.0 % 1.8e+03 s Elapsed time so far: 8.5 s
46.1 % 1.8e+03 s Elapsed time so far: 8.5 s
46.3 % 1.9e+03 s Elapsed time so far: 8.5 s
46.4 % 1.9e+03 s Elapsed time so far: 8.5 s
46.5 % 1.9e+03 s Elapsed time so far: 8.6 s
46.6 % 1.9e+03 s Elapsed time so far: 8.6 s
46.7 % 1.9e+03 s Elapsed time so far: 8.6 s
46.8 % 1.9e+03 s Elapsed time so far: 8.6 s
46.9 % 1.9e+03 s Elapsed time so far: 8.6 s
47.0 % 1.9e+03 s Elapsed time so far: 8.6 s
47.1 % 1.9e+03 s Elapsed time so far: 8.6 s
47.2 % 1.9e+03 s Elapsed time so far: 8.6 s
47.3 % 1.9e+03 s Elapsed time so far: 8.6 s
47.5 % 1.9e+03 s Elapsed time so far: 8.6 s
47.6 % 1.9e+03 s Elapsed time so far: 8.6 s
47.7 % 1.9e+03 s Elapsed time so far: 8.7 s
47.8 % 1.9e+03 s Elapsed time so far: 8.7 s
47.9 % 1.9e+03 s Elapsed time so far: 8.7 s
48.0 % 1.9e+03 s Elapsed time so far: 8.7 s
48.1 % 1.9e+03 s Elapsed time so far: 8.7 s
48.3 % 1.9e+03 s Elapsed time so far: 8.7 s
48.4 % 1.9e+03 s Elapsed time so far: 8.7 s
48.5 % 1.9e+03 s Elapsed time so far: 8.7 s
48.6 % 1.9e+03 s Elapsed time so far: 8.7 s
48.7 % 1.9e+03 s Elapsed time so far: 8.7 s
48.9 % 2.0e+03 s Elapsed time so far: 8.7 s
49.0 % 2.0e+03 s Elapsed time so far: 8.7 s
49.1 % 2.0e+03 s Elapsed time so far: 8.8 s
49.3 % 2.0e+03 s Elapsed time so far: 8.8 s
49.4 % 2.0e+03 s Elapsed time so far: 8.8 s
49.5 % 2.0e+03 s Elapsed time so far: 8.8 s
49.7 % 2.0e+03 s Elapsed time so far: 8.8 s
49.8 % 2.0e+03 s Elapsed time so far: 8.8 s
49.9 % 2.0e+03 s Elapsed time so far: 8.8 s
50.1 % 2.0e+03 s Elapsed time so far: 8.8 s
50.2 % 2.0e+03 s Elapsed time so far: 8.8 s
50.3 % 2.0e+03 s Elapsed time so far: 8.8 s
50.5 % 2.0e+03 s Elapsed time so far: 8.8 s
50.6 % 2.0e+03 s Elapsed time so far: 8.9 s
50.7 % 2.0e+03 s Elapsed time so far: 8.9 s
50.8 % 2.0e+03 s Elapsed time so far: 8.9 s
50.9 % 2.0e+03 s Elapsed time so far: 8.9 s
51.0 % 2.0e+03 s Elapsed time so far: 8.9 s
51.2 % 2.0e+03 s Elapsed time so far: 8.9 s
51.3 % 2.1e+03 s Elapsed time so far: 8.9 s
51.5 % 2.1e+03 s Elapsed time so far: 8.9 s
51.6 % 2.1e+03 s Elapsed time so far: 8.9 s
51.7 % 2.1e+03 s Elapsed time so far: 8.9 s
51.8 % 2.1e+03 s Elapsed time so far: 8.9 s
52.0 % 2.1e+03 s Elapsed time so far: 8.9 s
52.1 % 2.1e+03 s Elapsed time so far: 9.0 s
52.2 % 2.1e+03 s Elapsed time so far: 9.0 s
52.4 % 2.1e+03 s Elapsed time so far: 9.0 s
52.5 % 2.1e+03 s Elapsed time so far: 9.0 s
52.6 % 2.1e+03 s Elapsed time so far: 9.0 s
52.8 % 2.1e+03 s Elapsed time so far: 9.0 s
52.9 % 2.1e+03 s Elapsed time so far: 9.0 s
53.0 % 2.1e+03 s Elapsed time so far: 9.0 s
53.1 % 2.1e+03 s Elapsed time so far: 9.0 s
53.3 % 2.1e+03 s Elapsed time so far: 9.0 s
53.4 % 2.1e+03 s Elapsed time so far: 9.0 s
53.5 % 2.1e+03 s Elapsed time so far: 9.1 s
53.6 % 2.1e+03 s Elapsed time so far: 9.1 s
53.8 % 2.2e+03 s Elapsed time so far: 9.1 s
53.9 % 2.2e+03 s Elapsed time so far: 9.1 s
54.0 % 2.2e+03 s Elapsed time so far: 9.1 s
54.1 % 2.2e+03 s Elapsed time so far: 9.1 s
54.3 % 2.2e+03 s Elapsed time so far: 9.1 s
54.4 % 2.2e+03 s Elapsed time so far: 9.1 s
54.5 % 2.2e+03 s Elapsed time so far: 9.1 s
54.7 % 2.2e+03 s Elapsed time so far: 9.1 s
54.8 % 2.2e+03 s Elapsed time so far: 9.1 s
54.9 % 2.2e+03 s Elapsed time so far: 9.2 s
55.0 % 2.2e+03 s Elapsed time so far: 9.2 s
55.1 % 2.2e+03 s Elapsed time so far: 9.2 s
55.3 % 2.2e+03 s Elapsed time so far: 9.2 s
55.4 % 2.2e+03 s Elapsed time so far: 9.2 s
55.5 % 2.2e+03 s Elapsed time so far: 9.2 s
55.7 % 2.2e+03 s Elapsed time so far: 9.2 s
55.8 % 2.2e+03 s Elapsed time so far: 9.2 s
55.9 % 2.2e+03 s Elapsed time so far: 9.2 s
56.1 % 2.2e+03 s Elapsed time so far: 9.2 s
56.2 % 2.2e+03 s Elapsed time so far: 9.2 s
56.3 % 2.3e+03 s Elapsed time so far: 9.2 s
56.4 % 2.3e+03 s Elapsed time so far: 9.3 s
56.6 % 2.3e+03 s Elapsed time so far: 9.3 s
56.7 % 2.3e+03 s Elapsed time so far: 9.3 s
56.8 % 2.3e+03 s Elapsed time so far: 9.3 s
57.0 % 2.3e+03 s Elapsed time so far: 9.3 s
57.1 % 2.3e+03 s Elapsed time so far: 9.3 s
57.2 % 2.3e+03 s Elapsed time so far: 9.3 s
57.4 % 2.3e+03 s Elapsed time so far: 9.3 s
57.5 % 2.3e+03 s Elapsed time so far: 9.3 s
57.6 % 2.3e+03 s Elapsed time so far: 9.3 s
57.8 % 2.3e+03 s Elapsed time so far: 9.4 s
57.9 % 2.3e+03 s Elapsed time so far: 9.4 s
58.1 % 2.3e+03 s Elapsed time so far: 9.4 s
58.2 % 2.3e+03 s Elapsed time so far: 9.4 s
58.4 % 2.3e+03 s Elapsed time so far: 9.4 s
58.5 % 2.3e+03 s Elapsed time so far: 9.4 s
58.6 % 2.3e+03 s Elapsed time so far: 9.4 s
58.8 % 2.4e+03 s Elapsed time so far: 9.4 s
58.9 % 2.4e+03 s Elapsed time so far: 9.4 s
59.1 % 2.4e+03 s Elapsed time so far: 9.4 s
59.2 % 2.4e+03 s Elapsed time so far: 9.4 s
59.4 % 2.4e+03 s Elapsed time so far: 9.5 s
59.5 % 2.4e+03 s Elapsed time so far: 9.5 s
59.7 % 2.4e+03 s Elapsed time so far: 9.5 s
59.8 % 2.4e+03 s Elapsed time so far: 9.5 s
60.0 % 2.4e+03 s Elapsed time so far: 9.5 s
60.1 % 2.4e+03 s Elapsed time so far: 9.5 s
60.2 % 2.4e+03 s Elapsed time so far: 9.5 s
60.4 % 2.4e+03 s Elapsed time so far: 9.5 s
60.6 % 2.4e+03 s Elapsed time so far: 9.5 s
60.7 % 2.4e+03 s Elapsed time so far: 9.5 s
60.8 % 2.4e+03 s Elapsed time so far: 9.5 s
60.9 % 2.4e+03 s Elapsed time so far: 9.6 s
61.1 % 2.4e+03 s Elapsed time so far: 9.6 s
61.2 % 2.4e+03 s Elapsed time so far: 9.6 s
61.3 % 2.5e+03 s Elapsed time so far: 9.6 s
61.5 % 2.5e+03 s Elapsed time so far: 9.6 s
61.6 % 2.5e+03 s Elapsed time so far: 9.6 s
61.8 % 2.5e+03 s Elapsed time so far: 9.6 s
61.9 % 2.5e+03 s Elapsed time so far: 9.6 s
62.1 % 2.5e+03 s Elapsed time so far: 9.6 s
62.2 % 2.5e+03 s Elapsed time so far: 9.6 s
62.4 % 2.5e+03 s Elapsed time so far: 9.7 s
62.5 % 2.5e+03 s Elapsed time so far: 9.7 s
62.6 % 2.5e+03 s Elapsed time so far: 9.7 s
62.8 % 2.5e+03 s Elapsed time so far: 9.7 s
63.0 % 2.5e+03 s Elapsed time so far: 9.7 s
63.1 % 2.5e+03 s Elapsed time so far: 9.7 s
63.2 % 2.5e+03 s Elapsed time so far: 9.7 s
63.4 % 2.5e+03 s Elapsed time so far: 9.7 s
63.5 % 2.5e+03 s Elapsed time so far: 9.7 s
63.6 % 2.5e+03 s Elapsed time so far: 9.7 s
63.8 % 2.6e+03 s Elapsed time so far: 9.7 s
63.9 % 2.6e+03 s Elapsed time so far: 9.8 s
64.0 % 2.6e+03 s Elapsed time so far: 9.8 s
64.2 % 2.6e+03 s Elapsed time so far: 9.8 s
64.3 % 2.6e+03 s Elapsed time so far: 9.8 s
64.5 % 2.6e+03 s Elapsed time so far: 9.8 s
64.6 % 2.6e+03 s Elapsed time so far: 9.8 s
64.7 % 2.6e+03 s Elapsed time so far: 9.8 s
64.8 % 2.6e+03 s Elapsed time so far: 9.8 s
65.0 % 2.6e+03 s Elapsed time so far: 9.8 s
65.1 % 2.6e+03 s Elapsed time so far: 9.8 s
65.2 % 2.6e+03 s Elapsed time so far: 9.9 s
65.2 % 2.6e+03 s Elapsed time so far: 9.9 s
65.3 % 2.6e+03 s Elapsed time so far: 9.9 s
65.4 % 2.6e+03 s Elapsed time so far: 9.9 s
65.5 % 2.6e+03 s Elapsed time so far: 9.9 s
65.6 % 2.6e+03 s Elapsed time so far: 9.9 s
65.6 % 2.6e+03 s Elapsed time so far: 9.9 s
65.7 % 2.6e+03 s Elapsed time so far: 9.9 s
65.8 % 2.6e+03 s Elapsed time so far: 9.9 s
65.8 % 2.6e+03 s Elapsed time so far: 9.9 s
65.9 % 2.6e+03 s Elapsed time so far: 9.9 s
66.0 % 2.6e+03 s Elapsed time so far: 10.0 s
66.0 % 2.6e+03 s Elapsed time so far: 10.0 s
66.1 % 2.6e+03 s Elapsed time so far: 10.0 s
66.2 % 2.6e+03 s Elapsed time so far: 10.0 s
66.3 % 2.7e+03 s Elapsed time so far: 10.0 s
66.3 % 2.7e+03 s Elapsed time so far: 10.0 s
66.4 % 2.7e+03 s Elapsed time so far: 10.0 s
66.5 % 2.7e+03 s Elapsed time so far: 10.0 s
66.6 % 2.7e+03 s Elapsed time so far: 10.0 s
66.6 % 2.7e+03 s Elapsed time so far: 10.0 s
66.7 % 2.7e+03 s Elapsed time so far: 10.0 s
66.8 % 2.7e+03 s Elapsed time so far: 10.1 s
66.9 % 2.7e+03 s Elapsed time so far: 10.1 s
66.9 % 2.7e+03 s Elapsed time so far: 10.1 s
67.0 % 2.7e+03 s Elapsed time so far: 10.1 s
67.1 % 2.7e+03 s Elapsed time so far: 10.1 s
67.2 % 2.7e+03 s Elapsed time so far: 10.1 s
67.2 % 2.7e+03 s Elapsed time so far: 10.1 s
67.3 % 2.7e+03 s Elapsed time so far: 10.1 s
67.4 % 2.7e+03 s Elapsed time so far: 10.1 s
67.5 % 2.7e+03 s Elapsed time so far: 10.1 s
67.5 % 2.7e+03 s Elapsed time so far: 10.1 s
67.6 % 2.7e+03 s Elapsed time so far: 10.2 s
67.7 % 2.7e+03 s Elapsed time so far: 10.2 s
67.8 % 2.7e+03 s Elapsed time so far: 10.2 s
67.8 % 2.7e+03 s Elapsed time so far: 10.2 s
67.9 % 2.7e+03 s Elapsed time so far: 10.2 s
68.0 % 2.7e+03 s Elapsed time so far: 10.2 s
68.1 % 2.7e+03 s Elapsed time so far: 10.2 s
68.2 % 2.7e+03 s Elapsed time so far: 10.2 s
68.2 % 2.7e+03 s Elapsed time so far: 10.2 s
68.3 % 2.7e+03 s Elapsed time so far: 10.2 s
68.4 % 2.7e+03 s Elapsed time so far: 10.2 s
68.5 % 2.7e+03 s Elapsed time so far: 10.2 s
68.6 % 2.7e+03 s Elapsed time so far: 10.3 s
68.7 % 2.7e+03 s Elapsed time so far: 10.3 s
68.7 % 2.7e+03 s Elapsed time so far: 10.3 s
68.8 % 2.8e+03 s Elapsed time so far: 10.3 s
68.9 % 2.8e+03 s Elapsed time so far: 10.3 s
69.0 % 2.8e+03 s Elapsed time so far: 10.3 s
69.0 % 2.8e+03 s Elapsed time so far: 10.3 s
69.1 % 2.8e+03 s Elapsed time so far: 10.3 s
69.2 % 2.8e+03 s Elapsed time so far: 10.3 s
69.3 % 2.8e+03 s Elapsed time so far: 10.4 s
69.4 % 2.8e+03 s Elapsed time so far: 10.4 s
69.5 % 2.8e+03 s Elapsed time so far: 10.4 s
69.5 % 2.8e+03 s Elapsed time so far: 10.4 s
69.6 % 2.8e+03 s Elapsed time so far: 10.4 s
69.7 % 2.8e+03 s Elapsed time so far: 10.4 s
69.8 % 2.8e+03 s Elapsed time so far: 10.4 s
69.8 % 2.8e+03 s Elapsed time so far: 10.4 s
69.9 % 2.8e+03 s Elapsed time so far: 10.4 s
70.0 % 2.8e+03 s Elapsed time so far: 10.4 s
70.1 % 2.8e+03 s Elapsed time so far: 10.5 s
70.2 % 2.8e+03 s Elapsed time so far: 10.5 s
70.2 % 2.8e+03 s Elapsed time so far: 10.5 s
70.3 % 2.8e+03 s Elapsed time so far: 10.5 s
70.4 % 2.8e+03 s Elapsed time so far: 10.5 s
70.5 % 2.8e+03 s Elapsed time so far: 10.5 s
70.6 % 2.8e+03 s Elapsed time so far: 10.5 s
70.7 % 2.8e+03 s Elapsed time so far: 10.5 s
70.8 % 2.8e+03 s Elapsed time so far: 10.5 s
70.8 % 2.8e+03 s Elapsed time so far: 10.5 s
70.9 % 2.8e+03 s Elapsed time so far: 10.5 s
71.0 % 2.8e+03 s Elapsed time so far: 10.6 s
71.1 % 2.8e+03 s Elapsed time so far: 10.6 s
71.2 % 2.8e+03 s Elapsed time so far: 10.6 s
71.2 % 2.8e+03 s Elapsed time so far: 10.6 s
71.3 % 2.9e+03 s Elapsed time so far: 10.6 s
71.4 % 2.9e+03 s Elapsed time so far: 10.6 s
71.5 % 2.9e+03 s Elapsed time so far: 10.6 s
71.6 % 2.9e+03 s Elapsed time so far: 10.6 s
71.6 % 2.9e+03 s Elapsed time so far: 10.6 s
71.7 % 2.9e+03 s Elapsed time so far: 10.6 s
71.8 % 2.9e+03 s Elapsed time so far: 10.7 s
71.9 % 2.9e+03 s Elapsed time so far: 10.7 s
72.0 % 2.9e+03 s Elapsed time so far: 10.7 s
72.0 % 2.9e+03 s Elapsed time so far: 10.7 s
72.1 % 2.9e+03 s Elapsed time so far: 10.7 s
72.2 % 2.9e+03 s Elapsed time so far: 10.7 s
72.3 % 2.9e+03 s Elapsed time so far: 10.7 s
72.3 % 2.9e+03 s Elapsed time so far: 10.7 s
72.4 % 2.9e+03 s Elapsed time so far: 10.7 s
72.5 % 2.9e+03 s Elapsed time so far: 10.7 s
72.6 % 2.9e+03 s Elapsed time so far: 10.7 s
72.7 % 2.9e+03 s Elapsed time so far: 10.8 s
72.8 % 2.9e+03 s Elapsed time so far: 10.8 s
72.8 % 2.9e+03 s Elapsed time so far: 10.8 s
72.9 % 2.9e+03 s Elapsed time so far: 10.8 s
73.0 % 2.9e+03 s Elapsed time so far: 10.8 s
73.1 % 2.9e+03 s Elapsed time so far: 10.8 s
73.2 % 2.9e+03 s Elapsed time so far: 10.8 s
73.3 % 2.9e+03 s Elapsed time so far: 10.8 s
73.3 % 2.9e+03 s Elapsed time so far: 10.8 s
73.5 % 2.9e+03 s Elapsed time so far: 10.8 s
73.5 % 2.9e+03 s Elapsed time so far: 10.8 s
73.6 % 2.9e+03 s Elapsed time so far: 10.9 s
73.7 % 2.9e+03 s Elapsed time so far: 10.9 s
73.8 % 3.0e+03 s Elapsed time so far: 10.9 s
73.8 % 3.0e+03 s Elapsed time so far: 10.9 s
73.9 % 3.0e+03 s Elapsed time so far: 10.9 s
74.0 % 3.0e+03 s Elapsed time so far: 10.9 s
74.1 % 3.0e+03 s Elapsed time so far: 10.9 s
74.2 % 3.0e+03 s Elapsed time so far: 10.9 s
74.2 % 3.0e+03 s Elapsed time so far: 10.9 s
74.3 % 3.0e+03 s Elapsed time so far: 10.9 s
74.4 % 3.0e+03 s Elapsed time so far: 10.9 s
74.5 % 3.0e+03 s Elapsed time so far: 11.0 s
74.5 % 3.0e+03 s Elapsed time so far: 11.0 s
74.6 % 3.0e+03 s Elapsed time so far: 11.0 s
74.7 % 3.0e+03 s Elapsed time so far: 11.0 s
74.8 % 3.0e+03 s Elapsed time so far: 11.0 s
74.9 % 3.0e+03 s Elapsed time so far: 11.0 s
74.9 % 3.0e+03 s Elapsed time so far: 11.0 s
75.0 % 3.0e+03 s Elapsed time so far: 11.0 s
75.1 % 3.0e+03 s Elapsed time so far: 11.0 s
75.2 % 3.0e+03 s Elapsed time so far: 11.0 s
75.3 % 3.0e+03 s Elapsed time so far: 11.0 s
75.3 % 3.0e+03 s Elapsed time so far: 11.1 s
75.4 % 3.0e+03 s Elapsed time so far: 11.1 s
75.5 % 3.0e+03 s Elapsed time so far: 11.1 s
75.6 % 3.0e+03 s Elapsed time so far: 11.1 s
75.7 % 3.0e+03 s Elapsed time so far: 11.1 s
75.7 % 3.0e+03 s Elapsed time so far: 11.1 s
75.8 % 3.0e+03 s Elapsed time so far: 11.1 s
75.9 % 3.0e+03 s Elapsed time so far: 11.1 s
76.0 % 3.0e+03 s Elapsed time so far: 11.1 s
76.0 % 3.0e+03 s Elapsed time so far: 11.1 s
76.1 % 3.0e+03 s Elapsed time so far: 11.1 s
76.2 % 3.0e+03 s Elapsed time so far: 11.2 s
76.3 % 3.1e+03 s Elapsed time so far: 11.2 s
76.4 % 3.1e+03 s Elapsed time so far: 11.2 s
76.4 % 3.1e+03 s Elapsed time so far: 11.2 s
76.5 % 3.1e+03 s Elapsed time so far: 11.2 s
76.6 % 3.1e+03 s Elapsed time so far: 11.2 s
76.7 % 3.1e+03 s Elapsed time so far: 11.2 s
76.8 % 3.1e+03 s Elapsed time so far: 11.2 s
76.8 % 3.1e+03 s Elapsed time so far: 11.2 s
76.9 % 3.1e+03 s Elapsed time so far: 11.2 s
77.0 % 3.1e+03 s Elapsed time so far: 11.2 s
77.1 % 3.1e+03 s Elapsed time so far: 11.3 s
77.2 % 3.1e+03 s Elapsed time so far: 11.3 s
77.2 % 3.1e+03 s Elapsed time so far: 11.3 s
77.3 % 3.1e+03 s Elapsed time so far: 11.3 s
77.4 % 3.1e+03 s Elapsed time so far: 11.3 s
77.5 % 3.1e+03 s Elapsed time so far: 11.3 s
77.5 % 3.1e+03 s Elapsed time so far: 11.3 s
77.6 % 3.1e+03 s Elapsed time so far: 11.3 s
77.6 % 3.1e+03 s Elapsed time so far: 11.3 s
77.6 % 3.1e+03 s Elapsed time so far: 11.3 s
77.7 % 3.1e+03 s Elapsed time so far: 11.4 s
77.7 % 3.1e+03 s Elapsed time so far: 11.4 s
77.7 % 3.1e+03 s Elapsed time so far: 11.4 s
77.7 % 3.1e+03 s Elapsed time so far: 11.4 s
77.8 % 3.1e+03 s Elapsed time so far: 11.4 s
77.8 % 3.1e+03 s Elapsed time so far: 11.4 s
77.8 % 3.1e+03 s Elapsed time so far: 11.4 s
77.8 % 3.1e+03 s Elapsed time so far: 11.4 s
77.8 % 3.1e+03 s Elapsed time so far: 11.4 s
77.9 % 3.1e+03 s Elapsed time so far: 11.4 s
77.9 % 3.1e+03 s Elapsed time so far: 11.4 s
77.9 % 3.1e+03 s Elapsed time so far: 11.5 s
78.0 % 3.1e+03 s Elapsed time so far: 11.5 s
78.0 % 3.1e+03 s Elapsed time so far: 11.5 s
78.0 % 3.1e+03 s Elapsed time so far: 11.5 s
78.0 % 3.1e+03 s Elapsed time so far: 11.5 s
78.0 % 3.1e+03 s Elapsed time so far: 11.5 s
78.1 % 3.1e+03 s Elapsed time so far: 11.5 s
78.1 % 3.1e+03 s Elapsed time so far: 11.5 s
78.1 % 3.1e+03 s Elapsed time so far: 11.5 s
78.2 % 3.1e+03 s Elapsed time so far: 11.5 s
78.2 % 3.1e+03 s Elapsed time so far: 11.5 s
78.2 % 3.1e+03 s Elapsed time so far: 11.6 s
78.2 % 3.1e+03 s Elapsed time so far: 11.6 s
78.2 % 3.1e+03 s Elapsed time so far: 11.6 s
78.3 % 3.1e+03 s Elapsed time so far: 11.6 s
78.3 % 3.1e+03 s Elapsed time so far: 11.6 s
78.3 % 3.1e+03 s Elapsed time so far: 11.6 s
78.3 % 3.1e+03 s Elapsed time so far: 11.6 s
78.4 % 3.1e+03 s Elapsed time so far: 11.6 s
78.4 % 3.1e+03 s Elapsed time so far: 11.6 s
78.4 % 3.1e+03 s Elapsed time so far: 11.6 s
78.5 % 3.1e+03 s Elapsed time so far: 11.6 s
78.5 % 3.1e+03 s Elapsed time so far: 11.7 s
78.5 % 3.1e+03 s Elapsed time so far: 11.7 s
78.5 % 3.1e+03 s Elapsed time so far: 11.7 s
78.5 % 3.1e+03 s Elapsed time so far: 11.7 s
78.6 % 3.1e+03 s Elapsed time so far: 11.7 s
78.6 % 3.1e+03 s Elapsed time so far: 11.7 s
78.6 % 3.1e+03 s Elapsed time so far: 11.7 s
78.7 % 3.1e+03 s Elapsed time so far: 11.7 s
78.7 % 3.1e+03 s Elapsed time so far: 11.7 s
78.7 % 3.1e+03 s Elapsed time so far: 11.7 s
78.7 % 3.1e+03 s Elapsed time so far: 11.7 s
78.8 % 3.2e+03 s Elapsed time so far: 11.8 s
78.8 % 3.2e+03 s Elapsed time so far: 11.8 s
78.8 % 3.2e+03 s Elapsed time so far: 11.8 s
78.8 % 3.2e+03 s Elapsed time so far: 11.8 s
78.8 % 3.2e+03 s Elapsed time so far: 11.8 s
78.9 % 3.2e+03 s Elapsed time so far: 11.8 s
78.9 % 3.2e+03 s Elapsed time so far: 11.8 s
78.9 % 3.2e+03 s Elapsed time so far: 11.8 s
79.0 % 3.2e+03 s Elapsed time so far: 11.8 s
79.0 % 3.2e+03 s Elapsed time so far: 11.8 s
79.0 % 3.2e+03 s Elapsed time so far: 11.8 s
79.0 % 3.2e+03 s Elapsed time so far: 11.9 s
79.0 % 3.2e+03 s Elapsed time so far: 11.9 s
79.1 % 3.2e+03 s Elapsed time so far: 11.9 s
79.1 % 3.2e+03 s Elapsed time so far: 11.9 s
79.1 % 3.2e+03 s Elapsed time so far: 11.9 s
79.2 % 3.2e+03 s Elapsed time so far: 11.9 s
79.2 % 3.2e+03 s Elapsed time so far: 11.9 s
79.2 % 3.2e+03 s Elapsed time so far: 11.9 s
79.2 % 3.2e+03 s Elapsed time so far: 11.9 s
79.2 % 3.2e+03 s Elapsed time so far: 11.9 s
79.3 % 3.2e+03 s Elapsed time so far: 11.9 s
79.3 % 3.2e+03 s Elapsed time so far: 12.0 s
79.3 % 3.2e+03 s Elapsed time so far: 12.0 s
79.3 % 3.2e+03 s Elapsed time so far: 12.0 s
79.4 % 3.2e+03 s Elapsed time so far: 12.0 s
79.4 % 3.2e+03 s Elapsed time so far: 12.0 s
79.4 % 3.2e+03 s Elapsed time so far: 12.0 s
79.5 % 3.2e+03 s Elapsed time so far: 12.0 s
79.5 % 3.2e+03 s Elapsed time so far: 12.0 s
79.5 % 3.2e+03 s Elapsed time so far: 12.0 s
79.5 % 3.2e+03 s Elapsed time so far: 12.0 s
79.5 % 3.2e+03 s Elapsed time so far: 12.0 s
79.6 % 3.2e+03 s Elapsed time so far: 12.1 s
79.6 % 3.2e+03 s Elapsed time so far: 12.1 s
79.6 % 3.2e+03 s Elapsed time so far: 12.1 s
79.7 % 3.2e+03 s Elapsed time so far: 12.1 s
79.7 % 3.2e+03 s Elapsed time so far: 12.1 s
79.7 % 3.2e+03 s Elapsed time so far: 12.1 s
79.7 % 3.2e+03 s Elapsed time so far: 12.1 s
79.8 % 3.2e+03 s Elapsed time so far: 12.1 s
79.8 % 3.2e+03 s Elapsed time so far: 12.1 s
79.8 % 3.2e+03 s Elapsed time so far: 12.1 s
79.8 % 3.2e+03 s Elapsed time so far: 12.1 s
79.8 % 3.2e+03 s Elapsed time so far: 12.1 s
79.9 % 3.2e+03 s Elapsed time so far: 12.2 s
79.9 % 3.2e+03 s Elapsed time so far: 12.2 s
79.9 % 3.2e+03 s Elapsed time so far: 12.2 s
80.0 % 3.2e+03 s Elapsed time so far: 12.2 s
80.0 % 3.2e+03 s Elapsed time so far: 12.2 s
80.0 % 3.2e+03 s Elapsed time so far: 12.2 s
80.0 % 3.2e+03 s Elapsed time so far: 12.2 s
80.0 % 3.2e+03 s Elapsed time so far: 12.2 s
80.1 % 3.2e+03 s Elapsed time so far: 12.2 s
80.1 % 3.2e+03 s Elapsed time so far: 12.2 s
80.1 % 3.2e+03 s Elapsed time so far: 12.2 s
80.2 % 3.2e+03 s Elapsed time so far: 12.2 s
80.2 % 3.2e+03 s Elapsed time so far: 12.2 s
80.2 % 3.2e+03 s Elapsed time so far: 12.3 s
80.2 % 3.2e+03 s Elapsed time so far: 12.3 s
80.2 % 3.2e+03 s Elapsed time so far: 12.3 s
80.3 % 3.2e+03 s Elapsed time so far: 12.3 s
80.3 % 3.2e+03 s Elapsed time so far: 12.3 s
80.3 % 3.2e+03 s Elapsed time so far: 12.3 s
80.3 % 3.2e+03 s Elapsed time so far: 12.3 s
80.4 % 3.2e+03 s Elapsed time so far: 12.3 s
80.4 % 3.2e+03 s Elapsed time so far: 12.3 s
80.4 % 3.2e+03 s Elapsed time so far: 12.3 s
80.5 % 3.2e+03 s Elapsed time so far: 12.3 s
80.5 % 3.2e+03 s Elapsed time so far: 12.3 s
80.5 % 3.2e+03 s Elapsed time so far: 12.4 s
80.5 % 3.2e+03 s Elapsed time so far: 12.4 s
80.5 % 3.2e+03 s Elapsed time so far: 12.4 s
80.6 % 3.2e+03 s Elapsed time so far: 12.4 s
80.6 % 3.2e+03 s Elapsed time so far: 12.4 s
80.6 % 3.2e+03 s Elapsed time so far: 12.4 s
80.7 % 3.2e+03 s Elapsed time so far: 12.4 s
80.7 % 3.2e+03 s Elapsed time so far: 12.4 s
80.7 % 3.2e+03 s Elapsed time so far: 12.4 s
80.7 % 3.2e+03 s Elapsed time so far: 12.4 s
80.8 % 3.2e+03 s Elapsed time so far: 12.4 s
80.8 % 3.2e+03 s Elapsed time so far: 12.4 s
80.8 % 3.2e+03 s Elapsed time so far: 12.4 s
80.8 % 3.2e+03 s Elapsed time so far: 12.4 s
80.8 % 3.2e+03 s Elapsed time so far: 12.4 s
80.9 % 3.2e+03 s Elapsed time so far: 12.5 s
80.9 % 3.2e+03 s Elapsed time so far: 12.5 s
80.9 % 3.2e+03 s Elapsed time so far: 12.5 s
81.0 % 3.2e+03 s Elapsed time so far: 12.5 s
81.0 % 3.2e+03 s Elapsed time so far: 12.5 s
81.0 % 3.2e+03 s Elapsed time so far: 12.5 s
81.0 % 3.2e+03 s Elapsed time so far: 12.5 s
81.0 % 3.2e+03 s Elapsed time so far: 12.5 s
81.1 % 3.2e+03 s Elapsed time so far: 12.5 s
81.1 % 3.2e+03 s Elapsed time so far: 12.5 s
81.1 % 3.2e+03 s Elapsed time so far: 12.5 s
81.2 % 3.2e+03 s Elapsed time so far: 12.5 s
81.2 % 3.2e+03 s Elapsed time so far: 12.5 s
81.2 % 3.2e+03 s Elapsed time so far: 12.5 s
81.2 % 3.2e+03 s Elapsed time so far: 12.5 s
81.2 % 3.3e+03 s Elapsed time so far: 12.6 s
81.3 % 3.3e+03 s Elapsed time so far: 12.6 s
81.3 % 3.3e+03 s Elapsed time so far: 12.6 s
81.3 % 3.3e+03 s Elapsed time so far: 12.6 s
81.4 % 3.3e+03 s Elapsed time so far: 12.6 s
81.4 % 3.3e+03 s Elapsed time so far: 12.6 s
81.5 % 3.3e+03 s Elapsed time so far: 12.6 s
81.5 % 3.3e+03 s Elapsed time so far: 12.6 s
81.6 % 3.3e+03 s Elapsed time so far: 12.6 s
81.6 % 3.3e+03 s Elapsed time so far: 12.6 s
81.7 % 3.3e+03 s Elapsed time so far: 12.6 s
81.8 % 3.3e+03 s Elapsed time so far: 12.6 s
81.8 % 3.3e+03 s Elapsed time so far: 12.6 s
81.9 % 3.3e+03 s Elapsed time so far: 12.6 s
82.0 % 3.3e+03 s Elapsed time so far: 12.6 s
82.1 % 3.3e+03 s Elapsed time so far: 12.6 s
82.2 % 3.3e+03 s Elapsed time so far: 12.6 s
82.4 % 3.3e+03 s Elapsed time so far: 12.7 s
82.5 % 3.3e+03 s Elapsed time so far: 12.7 s
82.7 % 3.3e+03 s Elapsed time so far: 12.7 s
82.8 % 3.3e+03 s Elapsed time so far: 12.7 s
83.0 % 3.3e+03 s Elapsed time so far: 12.7 s
83.2 % 3.3e+03 s Elapsed time so far: 12.7 s
83.4 % 3.3e+03 s Elapsed time so far: 12.7 s
83.7 % 3.3e+03 s Elapsed time so far: 12.7 s
84.0 % 3.4e+03 s Elapsed time so far: 12.7 s
84.3 % 3.4e+03 s Elapsed time so far: 12.7 s
84.6 % 3.4e+03 s Elapsed time so far: 12.7 s
85.0 % 3.4e+03 s Elapsed time so far: 12.7 s
85.3 % 3.4e+03 s Elapsed time so far: 12.7 s
85.8 % 3.4e+03 s Elapsed time so far: 12.7 s
86.3 % 3.5e+03 s Elapsed time so far: 12.7 s
86.8 % 3.5e+03 s Elapsed time so far: 12.7 s
87.4 % 3.5e+03 s Elapsed time so far: 12.7 s
88.0 % 3.5e+03 s Elapsed time so far: 12.8 s
88.7 % 3.5e+03 s Elapsed time so far: 12.8 s
89.5 % 3.6e+03 s Elapsed time so far: 12.8 s
90.3 % 3.6e+03 s Elapsed time so far: 12.8 s
91.3 % 3.7e+03 s Elapsed time so far: 12.8 s
92.3 % 3.7e+03 s Elapsed time so far: 12.8 s
93.4 % 3.7e+03 s Elapsed time so far: 12.8 s
94.7 % 3.8e+03 s Elapsed time so far: 12.8 s
96.0 % 3.8e+03 s Elapsed time so far: 12.8 s
97.5 % 3.9e+03 s Elapsed time so far: 12.8 s
99.2 % 4.0e+03 s Elapsed time so far: 12.8 s
100.0 % 4.0e+03 s Elapsed time so far: 12.8 s
Comparison with exact solution#
Show code cell source
times = derived_quantities.t
computed_flux = derived_quantities.filter(surfaces=2).data
plt.plot(times, np.abs(computed_flux) / 2, label="FESTIM")
D_eff = D_0 * np.exp(-0.2 / F.k_B / T)
S = 2.9e-5 * np.exp(-1 / F.k_B / T)
c0m = np.sqrt(1e5) * S * 1.0525e5
time_exact = l**2 * n_t / (2 * c0m * D_eff) * w_atom_density / N_A
plt.axvline(x=time_exact, color="r", label="analytical")
plt.ylim(bottom=0)
plt.xlabel("Time (s)")
plt.ylabel("Downstream flux (H2/m2/s)")
# plt.ylim([1e-6, 0.5e17])
plt.xlim([3000, 3500])
plt.legend()
plt.show()
