-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
e9891d3
commit ac6450a
Showing
1,097 changed files
with
50,177 additions
and
1 deletion.
There are no files selected for viewing
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file not shown.
23 changes: 23 additions & 0 deletions
23
sorting-output/10668-2025-01-14T16:01:30,799845074+00:00/ceno/output_time
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,23 @@ | ||
| Command being timed: "cargo run --package=ceno_zkvm --bin=e2e --profile=release -- --hints=/home/matthias/scroll/prog/zkVM-benchmarks/sorting-output/10668-2025-01-14T16:01:30,799845074+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" | ||
| User time (seconds): 727.29 | ||
| System time (seconds): 52.78 | ||
| Percent of CPU this job got: 3237% | ||
| Elapsed (wall clock) time (h:mm:ss or m:ss): 0:24.09 | ||
| Average shared text size (kbytes): 0 | ||
| Average unshared data size (kbytes): 0 | ||
| Average stack size (kbytes): 0 | ||
| Average total size (kbytes): 0 | ||
| Maximum resident set size (kbytes): 7532992 | ||
| Average resident set size (kbytes): 0 | ||
| Major (requiring I/O) page faults: 0 | ||
| Minor (reclaiming a frame) page faults: 4264591 | ||
| Voluntary context switches: 1005452 | ||
| Involuntary context switches: 165179 | ||
| Swaps: 0 | ||
| File system inputs: 0 | ||
| File system outputs: 32 | ||
| Socket messages sent: 0 | ||
| Socket messages received: 0 | ||
| Signals delivered: 0 | ||
| Page size (bytes): 4096 | ||
| Exit status: 0 |
82 changes: 82 additions & 0 deletions
82
sorting-output/10668-2025-01-14T16:01:55,561592575+00:00/sp1/log
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,82 @@ | ||
| [2m2025-01-14T16:01:56.888401Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu' | ||
| [2m2025-01-14T16:01:57.338893Z[0m [32m INFO[0m vk verification: true | ||
| n: 10668 | ||
| [2m2025-01-14T16:01:59.660123Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
| stdout: WARNING: Using insecure random number generator. | ||
| [2m2025-01-14T16:01:59.767251Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
| stdout: WARNING: Using insecure random number generator. | ||
| [2m2025-01-14T16:02:00.267076Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records | ||
| [2m2025-01-14T16:02:00.448363Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=54 | ||
| [2m2025-01-14T16:02:00.448395Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
| [2m2025-01-14T16:02:00.448400Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10 | ||
| [2m2025-01-14T16:02:00.448401Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
| [2m2025-01-14T16:02:00.448403Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 19 -> 19 | ||
| [2m2025-01-14T16:02:00.448404Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 11 -> 17 | ||
| [2m2025-01-14T16:02:00.448405Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 18 -> 18 | ||
| [2m2025-01-14T16:02:00.448407Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
| [2m2025-01-14T16:02:00.448408Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19 | ||
| [2m2025-01-14T16:02:00.448409Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 | ||
| [2m2025-01-14T16:02:00.448411Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
| [2m2025-01-14T16:02:00.448412Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18 | ||
| [2m2025-01-14T16:02:00.448413Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18 | ||
| [2m2025-01-14T16:02:00.448414Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 18 | ||
| [2m2025-01-14T16:02:00.448415Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 | ||
| [2m2025-01-14T16:02:00.448417Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10 | ||
| [2m2025-01-14T16:02:00.448418Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10 | ||
| [2m2025-01-14T16:02:00.448734Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=61 | ||
| [2m2025-01-14T16:02:00.448740Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
| [2m2025-01-14T16:02:00.448742Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 20 -> 21 | ||
| [2m2025-01-14T16:02:00.448744Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 17 | ||
| [2m2025-01-14T16:02:00.448745Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
| [2m2025-01-14T16:02:00.448746Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 12 -> 17 | ||
| [2m2025-01-14T16:02:00.448747Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17 -> 17 | ||
| [2m2025-01-14T16:02:00.448748Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19 | ||
| [2m2025-01-14T16:02:00.448750Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 18 | ||
| [2m2025-01-14T16:02:00.448751Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19 -> 19 | ||
| [2m2025-01-14T16:02:00.448752Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12 -> 18 | ||
| [2m2025-01-14T16:02:00.448753Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18 | ||
| [2m2025-01-14T16:02:00.448755Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 | ||
| [2m2025-01-14T16:02:00.448756Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 17 | ||
| [2m2025-01-14T16:02:00.448757Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 18 | ||
| [2m2025-01-14T16:02:00.448759Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 18 | ||
| [2m2025-01-14T16:02:00.609539Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m161ms [3mtime.idle[0m[2m=[0m2.08µs [2m[3mindex[0m[2m=[0m0[0m | ||
| [2m2025-01-14T16:02:31.800757Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=3348812, total_syscall_cycles=20, touched_memory_addresses=42031 | ||
| [2m2025-01-14T16:02:31.800780Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts): | ||
| [2m2025-01-14T16:02:31.800788Z[0m [32m INFO[0m [1mprove_core[0m: 1034561 add | ||
| [2m2025-01-14T16:02:31.800791Z[0m [32m INFO[0m [1mprove_core[0m: 583264 lw | ||
| [2m2025-01-14T16:02:31.800792Z[0m [32m INFO[0m [1mprove_core[0m: 545864 sw | ||
| [2m2025-01-14T16:02:31.800793Z[0m [32m INFO[0m [1mprove_core[0m: 280838 sll | ||
| [2m2025-01-14T16:02:31.800795Z[0m [32m INFO[0m [1mprove_core[0m: 173259 bltu | ||
| [2m2025-01-14T16:02:31.800797Z[0m [32m INFO[0m [1mprove_core[0m: 140106 xor | ||
| [2m2025-01-14T16:02:31.800798Z[0m [32m INFO[0m [1mprove_core[0m: 133454 srl | ||
| [2m2025-01-14T16:02:31.800800Z[0m [32m INFO[0m [1mprove_core[0m: 130930 or | ||
| [2m2025-01-14T16:02:31.800801Z[0m [32m INFO[0m [1mprove_core[0m: 128684 sltu | ||
| [2m2025-01-14T16:02:31.800803Z[0m [32m INFO[0m [1mprove_core[0m: 60128 bne | ||
| [2m2025-01-14T16:02:31.800804Z[0m [32m INFO[0m [1mprove_core[0m: 43601 beq | ||
| [2m2025-01-14T16:02:31.800805Z[0m [32m INFO[0m [1mprove_core[0m: 40750 bgeu | ||
| [2m2025-01-14T16:02:31.800807Z[0m [32m INFO[0m [1mprove_core[0m: 23315 jal | ||
| [2m2025-01-14T16:02:31.800808Z[0m [32m INFO[0m [1mprove_core[0m: 11208 sub | ||
| [2m2025-01-14T16:02:31.800809Z[0m [32m INFO[0m [1mprove_core[0m: 6902 jalr | ||
| [2m2025-01-14T16:02:31.800810Z[0m [32m INFO[0m [1mprove_core[0m: 5908 and | ||
| [2m2025-01-14T16:02:31.800812Z[0m [32m INFO[0m [1mprove_core[0m: 3454 auipc | ||
| [2m2025-01-14T16:02:31.800813Z[0m [32m INFO[0m [1mprove_core[0m: 1451 mul | ||
| [2m2025-01-14T16:02:31.800814Z[0m [32m INFO[0m [1mprove_core[0m: 451 sb | ||
| [2m2025-01-14T16:02:31.800816Z[0m [32m INFO[0m [1mprove_core[0m: 283 lbu | ||
| [2m2025-01-14T16:02:31.800817Z[0m [32m INFO[0m [1mprove_core[0m: 204 mulhu | ||
| [2m2025-01-14T16:02:31.800818Z[0m [32m INFO[0m [1mprove_core[0m: 169 blt | ||
| [2m2025-01-14T16:02:31.800820Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall | ||
| [2m2025-01-14T16:02:31.800821Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb | ||
| [2m2025-01-14T16:02:31.800822Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu | ||
| [2m2025-01-14T16:02:31.800824Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge | ||
| [2m2025-01-14T16:02:31.800826Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts): | ||
| [2m2025-01-14T16:02:31.800831Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit | ||
| [2m2025-01-14T16:02:31.800833Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs | ||
| [2m2025-01-14T16:02:31.800834Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt | ||
| [2m2025-01-14T16:02:31.800836Z[0m [32m INFO[0m [1mprove_core[0m: 1 write | ||
| [2m2025-01-14T16:02:31.800837Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len | ||
| [2m2025-01-14T16:02:31.800839Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read | ||
| [2m2025-01-14T16:02:31.800846Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=3348812, e2e=32.141384405s, khz=104.19 | ||
| [2m2025-01-14T16:02:31.807044Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m31.3s [3mtime.idle[0m[2m=[0m848ms | ||
| Successfully generated proof! | ||
| [2m2025-01-14T16:02:32.335369Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m516ms [3mtime.idle[0m[2m=[0m1.98µs | ||
| Successfully verified proof! |
23 changes: 23 additions & 0 deletions
23
sorting-output/10668-2025-01-14T16:01:55,561592575+00:00/sp1/output_time
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,23 @@ | ||
| Command being timed: "cargo run --release -- --n=10668 --prove" | ||
| User time (seconds): 1309.94 | ||
| System time (seconds): 61.10 | ||
| Percent of CPU this job got: 3747% | ||
| Elapsed (wall clock) time (h:mm:ss or m:ss): 0:36.58 | ||
| Average shared text size (kbytes): 0 | ||
| Average unshared data size (kbytes): 0 | ||
| Average stack size (kbytes): 0 | ||
| Average total size (kbytes): 0 | ||
| Maximum resident set size (kbytes): 21024108 | ||
| Average resident set size (kbytes): 0 | ||
| Major (requiring I/O) page faults: 0 | ||
| Minor (reclaiming a frame) page faults: 13521191 | ||
| Voluntary context switches: 418261 | ||
| Involuntary context switches: 94524 | ||
| Swaps: 0 | ||
| File system inputs: 0 | ||
| File system outputs: 912 | ||
| Socket messages sent: 0 | ||
| Socket messages received: 0 | ||
| Signals delivered: 0 | ||
| Page size (bytes): 4096 | ||
| Exit status: 0 |
Binary file not shown.
23 changes: 23 additions & 0 deletions
23
sorting-output/10852-2025-01-14T15:49:19,058851137+00:00/ceno/output_time
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,23 @@ | ||
| Command being timed: "cargo run --package=ceno_zkvm --bin=e2e --profile=release -- --hints=/home/matthias/scroll/prog/zkVM-benchmarks/sorting-output/10852-2025-01-14T15:49:19,058851137+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" | ||
| User time (seconds): 755.17 | ||
| System time (seconds): 49.94 | ||
| Percent of CPU this job got: 3265% | ||
| Elapsed (wall clock) time (h:mm:ss or m:ss): 0:24.65 | ||
| Average shared text size (kbytes): 0 | ||
| Average unshared data size (kbytes): 0 | ||
| Average stack size (kbytes): 0 | ||
| Average total size (kbytes): 0 | ||
| Maximum resident set size (kbytes): 7599192 | ||
| Average resident set size (kbytes): 0 | ||
| Major (requiring I/O) page faults: 0 | ||
| Minor (reclaiming a frame) page faults: 4226704 | ||
| Voluntary context switches: 998248 | ||
| Involuntary context switches: 150237 | ||
| Swaps: 0 | ||
| File system inputs: 0 | ||
| File system outputs: 32 | ||
| Socket messages sent: 0 | ||
| Socket messages received: 0 | ||
| Signals delivered: 0 | ||
| Page size (bytes): 4096 | ||
| Exit status: 0 |
82 changes: 82 additions & 0 deletions
82
sorting-output/10852-2025-01-14T15:49:44,361182276+00:00/sp1/log
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,82 @@ | ||
| [2m2025-01-14T15:49:45.708228Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu' | ||
| [2m2025-01-14T15:49:46.168814Z[0m [32m INFO[0m vk verification: true | ||
| n: 10852 | ||
| [2m2025-01-14T15:49:48.493913Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
| stdout: WARNING: Using insecure random number generator. | ||
| [2m2025-01-14T15:49:48.605690Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
| stdout: WARNING: Using insecure random number generator. | ||
| [2m2025-01-14T15:49:49.119030Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records | ||
| [2m2025-01-14T15:49:49.303991Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=54 | ||
| [2m2025-01-14T15:49:49.304018Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
| [2m2025-01-14T15:49:49.304021Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10 | ||
| [2m2025-01-14T15:49:49.304023Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
| [2m2025-01-14T15:49:49.304025Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 19 -> 19 | ||
| [2m2025-01-14T15:49:49.304027Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
| [2m2025-01-14T15:49:49.304028Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 18 -> 18 | ||
| [2m2025-01-14T15:49:49.304029Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
| [2m2025-01-14T15:49:49.304031Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19 | ||
| [2m2025-01-14T15:49:49.304032Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 | ||
| [2m2025-01-14T15:49:49.304033Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
| [2m2025-01-14T15:49:49.304034Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18 | ||
| [2m2025-01-14T15:49:49.304036Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 17 -> 18 | ||
| [2m2025-01-14T15:49:49.304037Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 18 | ||
| [2m2025-01-14T15:49:49.304038Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 | ||
| [2m2025-01-14T15:49:49.304039Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10 | ||
| [2m2025-01-14T15:49:49.304040Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10 | ||
| [2m2025-01-14T15:49:49.304335Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=61 | ||
| [2m2025-01-14T15:49:49.304340Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
| [2m2025-01-14T15:49:49.304341Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 20 -> 21 | ||
| [2m2025-01-14T15:49:49.304343Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 17 | ||
| [2m2025-01-14T15:49:49.304344Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
| [2m2025-01-14T15:49:49.304345Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 12 -> 17 | ||
| [2m2025-01-14T15:49:49.304346Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17 -> 17 | ||
| [2m2025-01-14T15:49:49.304347Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19 | ||
| [2m2025-01-14T15:49:49.304348Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 18 | ||
| [2m2025-01-14T15:49:49.304350Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19 -> 19 | ||
| [2m2025-01-14T15:49:49.304351Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12 -> 18 | ||
| [2m2025-01-14T15:49:49.304352Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18 | ||
| [2m2025-01-14T15:49:49.304354Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 | ||
| [2m2025-01-14T15:49:49.304355Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 17 | ||
| [2m2025-01-14T15:49:49.304356Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 18 | ||
| [2m2025-01-14T15:49:49.304357Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 18 | ||
| [2m2025-01-14T15:49:49.446938Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m142ms [3mtime.idle[0m[2m=[0m2.24µs [2m[3mindex[0m[2m=[0m0[0m | ||
| [2m2025-01-14T15:50:20.996976Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=3430344, total_syscall_cycles=20, touched_memory_addresses=42397 | ||
| [2m2025-01-14T15:50:20.996999Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts): | ||
| [2m2025-01-14T15:50:20.997009Z[0m [32m INFO[0m [1mprove_core[0m: 1066831 add | ||
| [2m2025-01-14T15:50:20.997012Z[0m [32m INFO[0m [1mprove_core[0m: 594881 lw | ||
| [2m2025-01-14T15:50:20.997015Z[0m [32m INFO[0m [1mprove_core[0m: 556782 sw | ||
| [2m2025-01-14T15:50:20.997017Z[0m [32m INFO[0m [1mprove_core[0m: 287089 sll | ||
| [2m2025-01-14T15:50:20.997019Z[0m [32m INFO[0m [1mprove_core[0m: 176728 bltu | ||
| [2m2025-01-14T15:50:20.997021Z[0m [32m INFO[0m [1mprove_core[0m: 142631 xor | ||
| [2m2025-01-14T15:50:20.997023Z[0m [32m INFO[0m [1mprove_core[0m: 135785 srl | ||
| [2m2025-01-14T15:50:20.997026Z[0m [32m INFO[0m [1mprove_core[0m: 133250 or | ||
| [2m2025-01-14T15:50:20.997028Z[0m [32m INFO[0m [1mprove_core[0m: 132084 sltu | ||
| [2m2025-01-14T15:50:20.997030Z[0m [32m INFO[0m [1mprove_core[0m: 64337 bne | ||
| [2m2025-01-14T15:50:20.997032Z[0m [32m INFO[0m [1mprove_core[0m: 43642 beq | ||
| [2m2025-01-14T15:50:20.997034Z[0m [32m INFO[0m [1mprove_core[0m: 41595 bgeu | ||
| [2m2025-01-14T15:50:20.997036Z[0m [32m INFO[0m [1mprove_core[0m: 24362 jal | ||
| [2m2025-01-14T15:50:20.997038Z[0m [32m INFO[0m [1mprove_core[0m: 11434 sub | ||
| [2m2025-01-14T15:50:20.997040Z[0m [32m INFO[0m [1mprove_core[0m: 6876 jalr | ||
| [2m2025-01-14T15:50:20.997042Z[0m [32m INFO[0m [1mprove_core[0m: 6004 and | ||
| [2m2025-01-14T15:50:20.997044Z[0m [32m INFO[0m [1mprove_core[0m: 3441 auipc | ||
| [2m2025-01-14T15:50:20.997046Z[0m [32m INFO[0m [1mprove_core[0m: 1449 mul | ||
| [2m2025-01-14T15:50:20.997048Z[0m [32m INFO[0m [1mprove_core[0m: 452 sb | ||
| [2m2025-01-14T15:50:20.997050Z[0m [32m INFO[0m [1mprove_core[0m: 285 lbu | ||
| [2m2025-01-14T15:50:20.997052Z[0m [32m INFO[0m [1mprove_core[0m: 206 mulhu | ||
| [2m2025-01-14T15:50:20.997054Z[0m [32m INFO[0m [1mprove_core[0m: 172 blt | ||
| [2m2025-01-14T15:50:20.997055Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall | ||
| [2m2025-01-14T15:50:20.997058Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb | ||
| [2m2025-01-14T15:50:20.997060Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu | ||
| [2m2025-01-14T15:50:20.997062Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge | ||
| [2m2025-01-14T15:50:20.997065Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts): | ||
| [2m2025-01-14T15:50:20.997073Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit | ||
| [2m2025-01-14T15:50:20.997076Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs | ||
| [2m2025-01-14T15:50:20.997078Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt | ||
| [2m2025-01-14T15:50:20.997080Z[0m [32m INFO[0m [1mprove_core[0m: 1 write | ||
| [2m2025-01-14T15:50:20.997082Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len | ||
| [2m2025-01-14T15:50:20.997084Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read | ||
| [2m2025-01-14T15:50:20.997094Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=3430344, e2e=32.503811594s, khz=105.54 | ||
| [2m2025-01-14T15:50:20.999582Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m31.7s [3mtime.idle[0m[2m=[0m847ms | ||
| Successfully generated proof! | ||
| [2m2025-01-14T15:50:21.529160Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m516ms [3mtime.idle[0m[2m=[0m1.93µs | ||
| Successfully verified proof! |
23 changes: 23 additions & 0 deletions
23
sorting-output/10852-2025-01-14T15:49:44,361182276+00:00/sp1/output_time
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,23 @@ | ||
| Command being timed: "cargo run --release -- --n=10852 --prove" | ||
| User time (seconds): 1313.68 | ||
| System time (seconds): 59.35 | ||
| Percent of CPU this job got: 3707% | ||
| Elapsed (wall clock) time (h:mm:ss or m:ss): 0:37.03 | ||
| Average shared text size (kbytes): 0 | ||
| Average unshared data size (kbytes): 0 | ||
| Average stack size (kbytes): 0 | ||
| Average total size (kbytes): 0 | ||
| Maximum resident set size (kbytes): 19301564 | ||
| Average resident set size (kbytes): 0 | ||
| Major (requiring I/O) page faults: 5 | ||
| Minor (reclaiming a frame) page faults: 13277626 | ||
| Voluntary context switches: 415916 | ||
| Involuntary context switches: 94918 | ||
| Swaps: 0 | ||
| File system inputs: 0 | ||
| File system outputs: 912 | ||
| Socket messages sent: 0 | ||
| Socket messages received: 0 | ||
| Signals delivered: 0 | ||
| Page size (bytes): 4096 | ||
| Exit status: 0 |
Binary file not shown.
23 changes: 23 additions & 0 deletions
23
sorting-output/11085-2025-01-14T18:12:21,451917410+00:00/ceno/output_time
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,23 @@ | ||
| Command being timed: "cargo run --package=ceno_zkvm --bin=e2e --profile=release -- --hints=/home/matthias/scroll/prog/zkVM-benchmarks/sorting-output/11085-2025-01-14T18:12:21,451917410+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" | ||
| User time (seconds): 761.83 | ||
| System time (seconds): 49.45 | ||
| Percent of CPU this job got: 3350% | ||
| Elapsed (wall clock) time (h:mm:ss or m:ss): 0:24.21 | ||
| Average shared text size (kbytes): 0 | ||
| Average unshared data size (kbytes): 0 | ||
| Average stack size (kbytes): 0 | ||
| Average total size (kbytes): 0 | ||
| Maximum resident set size (kbytes): 8053996 | ||
| Average resident set size (kbytes): 0 | ||
| Major (requiring I/O) page faults: 0 | ||
| Minor (reclaiming a frame) page faults: 4315086 | ||
| Voluntary context switches: 975606 | ||
| Involuntary context switches: 152678 | ||
| Swaps: 0 | ||
| File system inputs: 0 | ||
| File system outputs: 32 | ||
| Socket messages sent: 0 | ||
| Socket messages received: 0 | ||
| Signals delivered: 0 | ||
| Page size (bytes): 4096 | ||
| Exit status: 0 |
Oops, something went wrong.