| 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 |
<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