Name Theory_2922-4817218-838_1
Workunit 240642311
Created 16 Apr 2026, 1:33:49 UTC
Sent 16 Apr 2026, 4:55:09 UTC
Report deadline 27 Apr 2026, 4:55:09 UTC
Received 16 Apr 2026, 14:31:31 UTC
Server state Over
Outcome Success
Client state Done
Exit status 0 (0x00000000)
Computer ID 10598252
Run time 9 hours 17 min 18 sec
CPU time 8 hours 45 min 47 sec
Priority 0
Validate state Valid
Credit 471.03
Device peak FLOPS 6.09 GFLOPS
Application version Theory Simulation v302.10 (docker)
x86_64-pc-linux-gnu
Peak working set size 54.83 MB
Peak swap size 1.94 GB
Peak disk usage 1.56 MB

Stderr output

<core_client_version>8.2.9</core_client_version>
<![CDATA[
<stderr_txt>
stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
invalid usage stats; using defaults
running docker command: logs boinc__lhcathome.cern.ch_lhcathome__theory_2922-4817218-838_1
program: podman
command output:
Got a wpad.dat from grid-wpad
Will use proxies from there for CVMFS and Frontier
Using CVMFS on the host.
Probing CVMFS repositories ...
Probing /cvmfs/alice.cern.ch... OK
Probing /cvmfs/cvmfs-config.cern.ch... OK
Probing /cvmfs/grid.cern.ch... OK
Probing /cvmfs/sft.cern.ch... OK
Excerpt from "cvmfs_config stat":
VERSION   HOST                            PROXY
2.12.3.3  http://s1cern-cvmfs.openhtc.io  http://192.0.2.183:7128
Environment HTTP proxy: http://192.0.2.183:3128
job: htmld=/var/www/lighttpd
job: unpack exitcode=0
job: run exitcode=0
job: diskusage=22620
job: logsize=68 k
job: times=
0m0.003s 0m0.010s
531m11.522s 6m7.514s
job: cpuusage=32239
===> [runRivet] Thu Apr 16 05:14:06 UTC 2026 [boinc pp jets 13000 860 - pythia8 8.301 CP2-CR2 100000 838]

Job Finished
boinc_shutdown called with exit code 0
sd_delay: 0

stderr from container:
Got a wpad.dat from grid-wpad
Will use proxies from there for CVMFS and Frontier
Using CVMFS on the host.
Probing CVMFS repositories ...
Probing /cvmfs/alice.cern.ch... OK
Probing /cvmfs/cvmfs-config.cern.ch... OK
Probing /cvmfs/grid.cern.ch... OK
Probing /cvmfs/sft.cern.ch... OK
Excerpt from "cvmfs_config stat":
VERSION   HOST                            PROXY
2.12.3.3  http://s1cern-cvmfs.openhtc.io  http://192.0.2.183:7128
Environment HTTP proxy: http://192.0.2.183:3128
job: htmld=/var/www/lighttpd
job: unpack exitcode=0
job: run exitcode=0
job: diskusage=22620
job: logsize=68 k
job: times=
0m0.003s 0m0.010s
531m11.522s 6m7.514s
job: cpuusage=32239
===> [runRivet] Thu Apr 16 05:14:06 UTC 2026 [boinc pp jets 13000 860 - pythia8 8.301 CP2-CR2 100000 838]

Job Finished
boinc_shutdown called with exit code 0
sd_delay: 0

stderr end
running docker command: container rm boinc__lhcathome.cern.ch_lhcathome__theory_2922-4817218-838_1
program: podman
command output:
boinc__lhcathome.cern.ch_lhcathome__theory_2922-4817218-838_1
running docker command: image rm boinc__lhcathome.cern.ch_lhcathome__theory_2922-4817218-838
program: podman
command output:
Untagged: localhost/boinc__lhcathome.cern.ch_lhcathome__theory_2922-4817218-838:latest
2026-04-16 16:31:17 (1192308): called boinc_finish(0)

</stderr_txt>
]]>


©2026 CERN