-
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.
1 parent
aee3773
commit 49ff336
Showing
123 changed files
with
5,253 additions
and
0 deletions.
There are no files selected for viewing
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
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
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
82 changes: 82 additions & 0 deletions
82
sorting-output/10315-2025-01-15T05:49:02,351164482+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-15T05:49:03.735767Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu' | ||
[2m2025-01-15T05:49:04.196401Z[0m [32m INFO[0m vk verification: true | ||
n: 10315 | ||
[2m2025-01-15T05:49:06.530825Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
stdout: WARNING: Using insecure random number generator. | ||
[2m2025-01-15T05:49:06.629421Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
stdout: WARNING: Using insecure random number generator. | ||
[2m2025-01-15T05:49:07.098971Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records | ||
[2m2025-01-15T05:49:07.271587Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=54 | ||
[2m2025-01-15T05:49:07.271610Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:49:07.271613Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10 | ||
[2m2025-01-15T05:49:07.271616Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:49:07.271617Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 18 -> 18 | ||
[2m2025-01-15T05:49:07.271619Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 11 -> 17 | ||
[2m2025-01-15T05:49:07.271620Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 17 -> 17 | ||
[2m2025-01-15T05:49:07.271622Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:49:07.271623Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19 | ||
[2m2025-01-15T05:49:07.271624Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 | ||
[2m2025-01-15T05:49:07.271625Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:49:07.271627Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18 | ||
[2m2025-01-15T05:49:07.271628Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18 | ||
[2m2025-01-15T05:49:07.271629Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 18 | ||
[2m2025-01-15T05:49:07.271630Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 | ||
[2m2025-01-15T05:49:07.271631Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10 | ||
[2m2025-01-15T05:49:07.271633Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10 | ||
[2m2025-01-15T05:49:07.271873Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=61 | ||
[2m2025-01-15T05:49:07.271877Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:49:07.271878Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 20 -> 21 | ||
[2m2025-01-15T05:49:07.271880Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 17 | ||
[2m2025-01-15T05:49:07.271881Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
[2m2025-01-15T05:49:07.271882Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 11 -> 17 | ||
[2m2025-01-15T05:49:07.271883Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17 -> 17 | ||
[2m2025-01-15T05:49:07.271884Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19 | ||
[2m2025-01-15T05:49:07.271886Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 18 | ||
[2m2025-01-15T05:49:07.271887Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19 -> 19 | ||
[2m2025-01-15T05:49:07.271888Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18 | ||
[2m2025-01-15T05:49:07.271889Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18 | ||
[2m2025-01-15T05:49:07.271890Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 | ||
[2m2025-01-15T05:49:07.271892Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 17 | ||
[2m2025-01-15T05:49:07.271893Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 18 | ||
[2m2025-01-15T05:49:07.271894Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 18 | ||
[2m2025-01-15T05:49:07.454328Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m182ms [3mtime.idle[0m[2m=[0m4.13µs [2m[3mindex[0m[2m=[0m0[0m | ||
[2m2025-01-15T05:49:37.599260Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=3242296, total_syscall_cycles=20, touched_memory_addresses=41308 | ||
[2m2025-01-15T05:49:37.599288Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts): | ||
[2m2025-01-15T05:49:37.599298Z[0m [32m INFO[0m [1mprove_core[0m: 1000154 add | ||
[2m2025-01-15T05:49:37.599303Z[0m [32m INFO[0m [1mprove_core[0m: 565146 lw | ||
[2m2025-01-15T05:49:37.599304Z[0m [32m INFO[0m [1mprove_core[0m: 528722 sw | ||
[2m2025-01-15T05:49:37.599306Z[0m [32m INFO[0m [1mprove_core[0m: 272895 sll | ||
[2m2025-01-15T05:49:37.599307Z[0m [32m INFO[0m [1mprove_core[0m: 167751 bltu | ||
[2m2025-01-15T05:49:37.599308Z[0m [32m INFO[0m [1mprove_core[0m: 135951 xor | ||
[2m2025-01-15T05:49:37.599310Z[0m [32m INFO[0m [1mprove_core[0m: 129568 srl | ||
[2m2025-01-15T05:49:37.599311Z[0m [32m INFO[0m [1mprove_core[0m: 127079 or | ||
[2m2025-01-15T05:49:37.599312Z[0m [32m INFO[0m [1mprove_core[0m: 125287 sltu | ||
[2m2025-01-15T05:49:37.599313Z[0m [32m INFO[0m [1mprove_core[0m: 57601 bne | ||
[2m2025-01-15T05:49:37.599315Z[0m [32m INFO[0m [1mprove_core[0m: 40830 beq | ||
[2m2025-01-15T05:49:37.599316Z[0m [32m INFO[0m [1mprove_core[0m: 39551 bgeu | ||
[2m2025-01-15T05:49:37.599318Z[0m [32m INFO[0m [1mprove_core[0m: 22383 jal | ||
[2m2025-01-15T05:49:37.599319Z[0m [32m INFO[0m [1mprove_core[0m: 10918 sub | ||
[2m2025-01-15T05:49:37.599320Z[0m [32m INFO[0m [1mprove_core[0m: 6676 jalr | ||
[2m2025-01-15T05:49:37.599321Z[0m [32m INFO[0m [1mprove_core[0m: 5902 and | ||
[2m2025-01-15T05:49:37.599323Z[0m [32m INFO[0m [1mprove_core[0m: 3341 auipc | ||
[2m2025-01-15T05:49:37.599324Z[0m [32m INFO[0m [1mprove_core[0m: 1421 mul | ||
[2m2025-01-15T05:49:37.599325Z[0m [32m INFO[0m [1mprove_core[0m: 449 sb | ||
[2m2025-01-15T05:49:37.599326Z[0m [32m INFO[0m [1mprove_core[0m: 279 lbu | ||
[2m2025-01-15T05:49:37.599328Z[0m [32m INFO[0m [1mprove_core[0m: 200 mulhu | ||
[2m2025-01-15T05:49:37.599329Z[0m [32m INFO[0m [1mprove_core[0m: 164 blt | ||
[2m2025-01-15T05:49:37.599330Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall | ||
[2m2025-01-15T05:49:37.599332Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb | ||
[2m2025-01-15T05:49:37.599333Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu | ||
[2m2025-01-15T05:49:37.599334Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge | ||
[2m2025-01-15T05:49:37.599337Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts): | ||
[2m2025-01-15T05:49:37.599342Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit | ||
[2m2025-01-15T05:49:37.599344Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs | ||
[2m2025-01-15T05:49:37.599346Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt | ||
[2m2025-01-15T05:49:37.599347Z[0m [32m INFO[0m [1mprove_core[0m: 1 write | ||
[2m2025-01-15T05:49:37.599349Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len | ||
[2m2025-01-15T05:49:37.599350Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read | ||
[2m2025-01-15T05:49:37.599358Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=3242296, e2e=31.069213783s, khz=104.36 | ||
[2m2025-01-15T05:49:37.602481Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m30.2s [3mtime.idle[0m[2m=[0m831ms | ||
Successfully generated proof! | ||
[2m2025-01-15T05:49:38.123228Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m515ms [3mtime.idle[0m[2m=[0m2.23µs | ||
Successfully verified proof! |
23 changes: 23 additions & 0 deletions
23
sorting-output/10315-2025-01-15T05:49:02,351164482+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=10315 --prove" | ||
User time (seconds): 1271.33 | ||
System time (seconds): 52.68 | ||
Percent of CPU this job got: 3731% | ||
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:35.48 | ||
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): 22077280 | ||
Average resident set size (kbytes): 0 | ||
Major (requiring I/O) page faults: 7 | ||
Minor (reclaiming a frame) page faults: 12079759 | ||
Voluntary context switches: 397995 | ||
Involuntary context switches: 84580 | ||
Swaps: 0 | ||
File system inputs: 0 | ||
File system outputs: 880 | ||
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/10315-2025-01-15T05:49:38,828861790+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/10315-2025-01-15T05:49:38,828861790+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" | ||
User time (seconds): 712.16 | ||
System time (seconds): 45.75 | ||
Percent of CPU this job got: 3275% | ||
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:23.13 | ||
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): 7564664 | ||
Average resident set size (kbytes): 0 | ||
Major (requiring I/O) page faults: 0 | ||
Minor (reclaiming a frame) page faults: 4299335 | ||
Voluntary context switches: 954022 | ||
Involuntary context switches: 155208 | ||
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 |
96 changes: 96 additions & 0 deletions
96
sorting-output/14596-2025-01-15T05:24:34,703129828+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,96 @@ | ||
[2m2025-01-15T05:24:36.041489Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu' | ||
[2m2025-01-15T05:24:36.493699Z[0m [32m INFO[0m vk verification: true | ||
n: 14596 | ||
[2m2025-01-15T05:24:38.791588Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
stdout: WARNING: Using insecure random number generator. | ||
[2m2025-01-15T05:24:38.943025Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
stdout: WARNING: Using insecure random number generator. | ||
[2m2025-01-15T05:24:39.642693Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records | ||
[2m2025-01-15T05:24:39.897794Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=210 | ||
[2m2025-01-15T05:24:39.897824Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:24:39.897827Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10 | ||
[2m2025-01-15T05:24:39.897829Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:24:39.897830Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 19 -> 19 | ||
[2m2025-01-15T05:24:39.897833Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
[2m2025-01-15T05:24:39.897835Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 18 -> 18 | ||
[2m2025-01-15T05:24:39.897836Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:24:39.897838Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 18 -> 18 | ||
[2m2025-01-15T05:24:39.897839Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 | ||
[2m2025-01-15T05:24:39.897840Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:24:39.897841Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 9 -> 18 | ||
[2m2025-01-15T05:24:39.897842Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 17 -> 18 | ||
[2m2025-01-15T05:24:39.897844Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 13 -> 18 | ||
[2m2025-01-15T05:24:39.897845Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 | ||
[2m2025-01-15T05:24:39.897846Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10 | ||
[2m2025-01-15T05:24:39.897847Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10 | ||
[2m2025-01-15T05:24:39.898067Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=179 | ||
[2m2025-01-15T05:24:39.898071Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:24:39.898073Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:24:39.898074Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 15 -> 17 | ||
[2m2025-01-15T05:24:39.898075Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
[2m2025-01-15T05:24:39.898076Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 12 -> 17 | ||
[2m2025-01-15T05:24:39.898078Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:24:39.898079Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 20 -> 20 | ||
[2m2025-01-15T05:24:39.898080Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 | ||
[2m2025-01-15T05:24:39.898081Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:24:39.898082Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12 -> 18 | ||
[2m2025-01-15T05:24:39.898084Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 19 -> 19 | ||
[2m2025-01-15T05:24:39.898085Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 | ||
[2m2025-01-15T05:24:39.898086Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 | ||
[2m2025-01-15T05:24:39.899973Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=3, Cluster=248 | ||
[2m2025-01-15T05:24:39.899982Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 19 -> 19 | ||
[2m2025-01-15T05:24:39.899984Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 19 -> 19 | ||
[2m2025-01-15T05:24:39.899985Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 13 -> 15 | ||
[2m2025-01-15T05:24:39.899986Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 8 -> 10 | ||
[2m2025-01-15T05:24:39.899988Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 11 -> 15 | ||
[2m2025-01-15T05:24:39.899989Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 15 -> 15 | ||
[2m2025-01-15T05:24:39.899991Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 18 -> 18 | ||
[2m2025-01-15T05:24:39.899992Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 11 -> 16 | ||
[2m2025-01-15T05:24:39.899993Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 18 -> 18 | ||
[2m2025-01-15T05:24:39.899994Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 10 -> 10 | ||
[2m2025-01-15T05:24:39.899995Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 17 -> 17 | ||
[2m2025-01-15T05:24:39.899996Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 13 -> 16 | ||
[2m2025-01-15T05:24:39.899998Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 14 -> 15 | ||
[2m2025-01-15T05:24:39.899999Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 10 | ||
[2m2025-01-15T05:24:39.900000Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 10 | ||
[2m2025-01-15T05:24:40.098880Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m199ms [3mtime.idle[0m[2m=[0m1.88µs [2m[3mindex[0m[2m=[0m0[0m | ||
[2m2025-01-15T05:25:13.956196Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=4664317, total_syscall_cycles=20, touched_memory_addresses=49887 | ||
[2m2025-01-15T05:25:13.956220Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts): | ||
[2m2025-01-15T05:25:13.956228Z[0m [32m INFO[0m [1mprove_core[0m: 1449108 add | ||
[2m2025-01-15T05:25:13.956231Z[0m [32m INFO[0m [1mprove_core[0m: 811048 lw | ||
[2m2025-01-15T05:25:13.956233Z[0m [32m INFO[0m [1mprove_core[0m: 759547 sw | ||
[2m2025-01-15T05:25:13.956234Z[0m [32m INFO[0m [1mprove_core[0m: 391461 sll | ||
[2m2025-01-15T05:25:13.956236Z[0m [32m INFO[0m [1mprove_core[0m: 244131 bltu | ||
[2m2025-01-15T05:25:13.956237Z[0m [32m INFO[0m [1mprove_core[0m: 191665 xor | ||
[2m2025-01-15T05:25:13.956238Z[0m [32m INFO[0m [1mprove_core[0m: 183467 sltu | ||
[2m2025-01-15T05:25:13.956240Z[0m [32m INFO[0m [1mprove_core[0m: 182103 srl | ||
[2m2025-01-15T05:25:13.956241Z[0m [32m INFO[0m [1mprove_core[0m: 178869 or | ||
[2m2025-01-15T05:25:13.956242Z[0m [32m INFO[0m [1mprove_core[0m: 84351 bne | ||
[2m2025-01-15T05:25:13.956243Z[0m [32m INFO[0m [1mprove_core[0m: 57961 beq | ||
[2m2025-01-15T05:25:13.956245Z[0m [32m INFO[0m [1mprove_core[0m: 57585 bgeu | ||
[2m2025-01-15T05:25:13.956246Z[0m [32m INFO[0m [1mprove_core[0m: 32288 jal | ||
[2m2025-01-15T05:25:13.956247Z[0m [32m INFO[0m [1mprove_core[0m: 15400 sub | ||
[2m2025-01-15T05:25:13.956249Z[0m [32m INFO[0m [1mprove_core[0m: 9484 jalr | ||
[2m2025-01-15T05:25:13.956250Z[0m [32m INFO[0m [1mprove_core[0m: 7917 and | ||
[2m2025-01-15T05:25:13.956251Z[0m [32m INFO[0m [1mprove_core[0m: 4745 auipc | ||
[2m2025-01-15T05:25:13.956252Z[0m [32m INFO[0m [1mprove_core[0m: 1895 mul | ||
[2m2025-01-15T05:25:13.956254Z[0m [32m INFO[0m [1mprove_core[0m: 470 sb | ||
[2m2025-01-15T05:25:13.956255Z[0m [32m INFO[0m [1mprove_core[0m: 321 lbu | ||
[2m2025-01-15T05:25:13.956256Z[0m [32m INFO[0m [1mprove_core[0m: 242 mulhu | ||
[2m2025-01-15T05:25:13.956258Z[0m [32m INFO[0m [1mprove_core[0m: 231 blt | ||
[2m2025-01-15T05:25:13.956259Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall | ||
[2m2025-01-15T05:25:13.956260Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb | ||
[2m2025-01-15T05:25:13.956262Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu | ||
[2m2025-01-15T05:25:13.956263Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge | ||
[2m2025-01-15T05:25:13.956265Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts): | ||
[2m2025-01-15T05:25:13.956270Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit | ||
[2m2025-01-15T05:25:13.956273Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs | ||
[2m2025-01-15T05:25:13.956274Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt | ||
[2m2025-01-15T05:25:13.956276Z[0m [32m INFO[0m [1mprove_core[0m: 1 write | ||
[2m2025-01-15T05:25:13.956277Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len | ||
[2m2025-01-15T05:25:13.956279Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read | ||
[2m2025-01-15T05:25:13.956286Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=4664317, e2e=35.165348636s, khz=132.64 | ||
[2m2025-01-15T05:25:13.958184Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m34.0s [3mtime.idle[0m[2m=[0m1.16s | ||
Successfully generated proof! | ||
[2m2025-01-15T05:25:14.670133Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m696ms [3mtime.idle[0m[2m=[0m1.49µs | ||
Successfully verified proof! |
23 changes: 23 additions & 0 deletions
23
sorting-output/14596-2025-01-15T05:24:34,703129828+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=14596 --prove" | ||
User time (seconds): 1536.29 | ||
System time (seconds): 71.30 | ||
Percent of CPU this job got: 4046% | ||
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:39.73 | ||
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): 21049948 | ||
Average resident set size (kbytes): 0 | ||
Major (requiring I/O) page faults: 0 | ||
Minor (reclaiming a frame) page faults: 14952684 | ||
Voluntary context switches: 647862 | ||
Involuntary context switches: 112453 | ||
Swaps: 0 | ||
File system inputs: 0 | ||
File system outputs: 944 | ||
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/14596-2025-01-15T05:25:15,414340710+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/14596-2025-01-15T05:25:15,414340710+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" | ||
User time (seconds): 841.50 | ||
System time (seconds): 56.00 | ||
Percent of CPU this job got: 3453% | ||
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:25.99 | ||
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): 8620148 | ||
Average resident set size (kbytes): 0 | ||
Major (requiring I/O) page faults: 0 | ||
Minor (reclaiming a frame) page faults: 5285109 | ||
Voluntary context switches: 1020070 | ||
Involuntary context switches: 166811 | ||
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 |
96 changes: 96 additions & 0 deletions
96
sorting-output/15460-2025-01-15T05:23:26,604532927+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,96 @@ | ||
[2m2025-01-15T05:23:27.946390Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu' | ||
[2m2025-01-15T05:23:28.411244Z[0m [32m INFO[0m vk verification: true | ||
n: 15460 | ||
[2m2025-01-15T05:23:30.745449Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
stdout: WARNING: Using insecure random number generator. | ||
[2m2025-01-15T05:23:30.904864Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
stdout: WARNING: Using insecure random number generator. | ||
[2m2025-01-15T05:23:31.648057Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records | ||
[2m2025-01-15T05:23:31.901814Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=210 | ||
[2m2025-01-15T05:23:31.901840Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:23:31.901842Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10 | ||
[2m2025-01-15T05:23:31.901844Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:23:31.901845Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 19 -> 19 | ||
[2m2025-01-15T05:23:31.901848Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
[2m2025-01-15T05:23:31.901850Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 18 -> 18 | ||
[2m2025-01-15T05:23:31.901851Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:23:31.901852Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 17 -> 18 | ||
[2m2025-01-15T05:23:31.901854Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 | ||
[2m2025-01-15T05:23:31.901855Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:23:31.901856Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 9 -> 18 | ||
[2m2025-01-15T05:23:31.901857Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 16 -> 18 | ||
[2m2025-01-15T05:23:31.901858Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 13 -> 18 | ||
[2m2025-01-15T05:23:31.901859Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 | ||
[2m2025-01-15T05:23:31.901861Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10 | ||
[2m2025-01-15T05:23:31.901862Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10 | ||
[2m2025-01-15T05:23:31.902079Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=179 | ||
[2m2025-01-15T05:23:31.902083Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:23:31.902085Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:23:31.902086Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 17 | ||
[2m2025-01-15T05:23:31.902087Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
[2m2025-01-15T05:23:31.902088Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 12 -> 17 | ||
[2m2025-01-15T05:23:31.902089Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:23:31.902090Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 20 -> 20 | ||
[2m2025-01-15T05:23:31.902092Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 | ||
[2m2025-01-15T05:23:31.902093Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:23:31.902094Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12 -> 18 | ||
[2m2025-01-15T05:23:31.902095Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 19 -> 19 | ||
[2m2025-01-15T05:23:31.902096Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 | ||
[2m2025-01-15T05:23:31.902097Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 | ||
[2m2025-01-15T05:23:31.902692Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=3, Cluster=207 | ||
[2m2025-01-15T05:23:31.902697Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 20 -> 20 | ||
[2m2025-01-15T05:23:31.902698Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 20 -> 20 | ||
[2m2025-01-15T05:23:31.902699Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 16 | ||
[2m2025-01-15T05:23:31.902700Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 9 -> 16 | ||
[2m2025-01-15T05:23:31.902702Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 11 -> 16 | ||
[2m2025-01-15T05:23:31.902703Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 16 -> 16 | ||
[2m2025-01-15T05:23:31.902704Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19 | ||
[2m2025-01-15T05:23:31.902705Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 17 | ||
[2m2025-01-15T05:23:31.902706Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 18 -> 18 | ||
[2m2025-01-15T05:23:31.902707Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 17 | ||
[2m2025-01-15T05:23:31.902709Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 17 -> 17 | ||
[2m2025-01-15T05:23:31.902710Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 17 | ||
[2m2025-01-15T05:23:31.902711Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 16 | ||
[2m2025-01-15T05:23:31.902712Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 10 | ||
[2m2025-01-15T05:23:31.902713Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 10 | ||
[2m2025-01-15T05:23:32.097921Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m195ms [3mtime.idle[0m[2m=[0m1.24µs [2m[3mindex[0m[2m=[0m0[0m | ||
[2m2025-01-15T05:24:06.426602Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=4974924, total_syscall_cycles=20, touched_memory_addresses=51649 | ||
[2m2025-01-15T05:24:06.426634Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts): | ||
[2m2025-01-15T05:24:06.426643Z[0m [32m INFO[0m [1mprove_core[0m: 1557939 add | ||
[2m2025-01-15T05:24:06.426646Z[0m [32m INFO[0m [1mprove_core[0m: 860644 lw | ||
[2m2025-01-15T05:24:06.426648Z[0m [32m INFO[0m [1mprove_core[0m: 806976 sw | ||
[2m2025-01-15T05:24:06.426650Z[0m [32m INFO[0m [1mprove_core[0m: 415036 sll | ||
[2m2025-01-15T05:24:06.426652Z[0m [32m INFO[0m [1mprove_core[0m: 259294 bltu | ||
[2m2025-01-15T05:24:06.426653Z[0m [32m INFO[0m [1mprove_core[0m: 202195 xor | ||
[2m2025-01-15T05:24:06.426657Z[0m [32m INFO[0m [1mprove_core[0m: 195293 sltu | ||
[2m2025-01-15T05:24:06.426659Z[0m [32m INFO[0m [1mprove_core[0m: 192305 srl | ||
[2m2025-01-15T05:24:06.426660Z[0m [32m INFO[0m [1mprove_core[0m: 188922 or | ||
[2m2025-01-15T05:24:06.426662Z[0m [32m INFO[0m [1mprove_core[0m: 94475 bne | ||
[2m2025-01-15T05:24:06.426664Z[0m [32m INFO[0m [1mprove_core[0m: 62424 beq | ||
[2m2025-01-15T05:24:06.426666Z[0m [32m INFO[0m [1mprove_core[0m: 61264 bgeu | ||
[2m2025-01-15T05:24:06.426667Z[0m [32m INFO[0m [1mprove_core[0m: 35538 jal | ||
[2m2025-01-15T05:24:06.426669Z[0m [32m INFO[0m [1mprove_core[0m: 16096 sub | ||
[2m2025-01-15T05:24:06.426671Z[0m [32m INFO[0m [1mprove_core[0m: 9902 jalr | ||
[2m2025-01-15T05:24:06.426672Z[0m [32m INFO[0m [1mprove_core[0m: 8355 and | ||
[2m2025-01-15T05:24:06.426674Z[0m [32m INFO[0m [1mprove_core[0m: 4954 auipc | ||
[2m2025-01-15T05:24:06.426676Z[0m [32m INFO[0m [1mprove_core[0m: 1987 mul | ||
[2m2025-01-15T05:24:06.426677Z[0m [32m INFO[0m [1mprove_core[0m: 474 sb | ||
[2m2025-01-15T05:24:06.426679Z[0m [32m INFO[0m [1mprove_core[0m: 329 lbu | ||
[2m2025-01-15T05:24:06.426681Z[0m [32m INFO[0m [1mprove_core[0m: 250 mulhu | ||
[2m2025-01-15T05:24:06.426682Z[0m [32m INFO[0m [1mprove_core[0m: 244 blt | ||
[2m2025-01-15T05:24:06.426684Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall | ||
[2m2025-01-15T05:24:06.426686Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb | ||
[2m2025-01-15T05:24:06.426688Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu | ||
[2m2025-01-15T05:24:06.426689Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge | ||
[2m2025-01-15T05:24:06.426692Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts): | ||
[2m2025-01-15T05:24:06.426699Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit | ||
[2m2025-01-15T05:24:06.426701Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs | ||
[2m2025-01-15T05:24:06.426703Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt | ||
[2m2025-01-15T05:24:06.426705Z[0m [32m INFO[0m [1mprove_core[0m: 1 write | ||
[2m2025-01-15T05:24:06.426707Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len | ||
[2m2025-01-15T05:24:06.426708Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read | ||
[2m2025-01-15T05:24:06.426716Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=4974924, e2e=35.681903316s, khz=139.42 | ||
[2m2025-01-15T05:24:06.429869Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m34.5s [3mtime.idle[0m[2m=[0m1.20s | ||
Successfully generated proof! | ||
[2m2025-01-15T05:24:07.135443Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m688ms [3mtime.idle[0m[2m=[0m2.42µs | ||
Successfully verified proof! |
23 changes: 23 additions & 0 deletions
23
sorting-output/15460-2025-01-15T05:23:26,604532927+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=15460 --prove" | ||
User time (seconds): 1679.60 | ||
System time (seconds): 73.23 | ||
Percent of CPU this job got: 4335% | ||
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:40.42 | ||
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): 24350800 | ||
Average resident set size (kbytes): 0 | ||
Major (requiring I/O) page faults: 12 | ||
Minor (reclaiming a frame) page faults: 16208054 | ||
Voluntary context switches: 625025 | ||
Involuntary context switches: 124982 | ||
Swaps: 0 | ||
File system inputs: 0 | ||
File system outputs: 944 | ||
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/15460-2025-01-15T05:24:07,980634794+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/15460-2025-01-15T05:24:07,980634794+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" | ||
User time (seconds): 833.06 | ||
System time (seconds): 58.01 | ||
Percent of CPU this job got: 3421% | ||
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:26.04 | ||
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): 8837024 | ||
Average resident set size (kbytes): 0 | ||
Major (requiring I/O) page faults: 6 | ||
Minor (reclaiming a frame) page faults: 5227880 | ||
Voluntary context switches: 1041673 | ||
Involuntary context switches: 150781 | ||
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 |
96 changes: 96 additions & 0 deletions
96
sorting-output/16511-2025-01-15T05:47:49,927918112+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,96 @@ | ||
[2m2025-01-15T05:47:51.308136Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu' | ||
[2m2025-01-15T05:47:51.762186Z[0m [32m INFO[0m vk verification: true | ||
n: 16511 | ||
[2m2025-01-15T05:47:54.073937Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
stdout: WARNING: Using insecure random number generator. | ||
[2m2025-01-15T05:47:54.242894Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
stdout: WARNING: Using insecure random number generator. | ||
[2m2025-01-15T05:47:55.033368Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records | ||
[2m2025-01-15T05:47:55.306312Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=210 | ||
[2m2025-01-15T05:47:55.306337Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:47:55.306340Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10 | ||
[2m2025-01-15T05:47:55.306342Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:47:55.306343Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 19 -> 19 | ||
[2m2025-01-15T05:47:55.306344Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
[2m2025-01-15T05:47:55.306346Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 18 -> 18 | ||
[2m2025-01-15T05:47:55.306347Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:47:55.306348Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 17 -> 18 | ||
[2m2025-01-15T05:47:55.306350Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 | ||
[2m2025-01-15T05:47:55.306351Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:47:55.306352Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 9 -> 18 | ||
[2m2025-01-15T05:47:55.306353Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 16 -> 18 | ||
[2m2025-01-15T05:47:55.306354Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 12 -> 18 | ||
[2m2025-01-15T05:47:55.306356Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 | ||
[2m2025-01-15T05:47:55.306357Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10 | ||
[2m2025-01-15T05:47:55.306358Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10 | ||
[2m2025-01-15T05:47:55.306576Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=179 | ||
[2m2025-01-15T05:47:55.306580Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:47:55.306582Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:47:55.306583Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 17 | ||
[2m2025-01-15T05:47:55.306584Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
[2m2025-01-15T05:47:55.306585Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 11 -> 17 | ||
[2m2025-01-15T05:47:55.306586Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:47:55.306588Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 20 -> 20 | ||
[2m2025-01-15T05:47:55.306589Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 14 -> 18 | ||
[2m2025-01-15T05:47:55.306590Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:47:55.306592Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12 -> 18 | ||
[2m2025-01-15T05:47:55.306593Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 19 -> 19 | ||
[2m2025-01-15T05:47:55.306594Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 | ||
[2m2025-01-15T05:47:55.306595Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 17 -> 17 | ||
[2m2025-01-15T05:47:55.306826Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=3, Cluster=61 | ||
[2m2025-01-15T05:47:55.306830Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:47:55.306831Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 20 -> 21 | ||
[2m2025-01-15T05:47:55.306832Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 17 | ||
[2m2025-01-15T05:47:55.306833Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
[2m2025-01-15T05:47:55.306835Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 11 -> 17 | ||
[2m2025-01-15T05:47:55.306836Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17 -> 17 | ||
[2m2025-01-15T05:47:55.306837Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19 | ||
[2m2025-01-15T05:47:55.306838Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 18 | ||
[2m2025-01-15T05:47:55.306839Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19 -> 19 | ||
[2m2025-01-15T05:47:55.306841Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18 | ||
[2m2025-01-15T05:47:55.306842Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18 | ||
[2m2025-01-15T05:47:55.306843Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 | ||
[2m2025-01-15T05:47:55.306844Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 17 | ||
[2m2025-01-15T05:47:55.306845Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 18 | ||
[2m2025-01-15T05:47:55.306847Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 18 | ||
[2m2025-01-15T05:47:55.519639Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m213ms [3mtime.idle[0m[2m=[0m1.52µs [2m[3mindex[0m[2m=[0m0[0m | ||
[2m2025-01-15T05:48:31.999475Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=5300699, total_syscall_cycles=20, touched_memory_addresses=53717 | ||
[2m2025-01-15T05:48:31.999499Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts): | ||
[2m2025-01-15T05:48:31.999507Z[0m [32m INFO[0m [1mprove_core[0m: 1654512 add | ||
[2m2025-01-15T05:48:31.999510Z[0m [32m INFO[0m [1mprove_core[0m: 919750 lw | ||
[2m2025-01-15T05:48:31.999512Z[0m [32m INFO[0m [1mprove_core[0m: 861555 sw | ||
[2m2025-01-15T05:48:31.999514Z[0m [32m INFO[0m [1mprove_core[0m: 443818 sll | ||
[2m2025-01-15T05:48:31.999517Z[0m [32m INFO[0m [1mprove_core[0m: 278399 bltu | ||
[2m2025-01-15T05:48:31.999519Z[0m [32m INFO[0m [1mprove_core[0m: 215689 xor | ||
[2m2025-01-15T05:48:31.999520Z[0m [32m INFO[0m [1mprove_core[0m: 209657 sltu | ||
[2m2025-01-15T05:48:31.999522Z[0m [32m INFO[0m [1mprove_core[0m: 204861 srl | ||
[2m2025-01-15T05:48:31.999524Z[0m [32m INFO[0m [1mprove_core[0m: 201290 or | ||
[2m2025-01-15T05:48:31.999525Z[0m [32m INFO[0m [1mprove_core[0m: 97854 bne | ||
[2m2025-01-15T05:48:31.999527Z[0m [32m INFO[0m [1mprove_core[0m: 65345 bgeu | ||
[2m2025-01-15T05:48:31.999529Z[0m [32m INFO[0m [1mprove_core[0m: 65272 beq | ||
[2m2025-01-15T05:48:31.999530Z[0m [32m INFO[0m [1mprove_core[0m: 36968 jal | ||
[2m2025-01-15T05:48:31.999532Z[0m [32m INFO[0m [1mprove_core[0m: 17300 sub | ||
[2m2025-01-15T05:48:31.999534Z[0m [32m INFO[0m [1mprove_core[0m: 10691 jalr | ||
[2m2025-01-15T05:48:31.999535Z[0m [32m INFO[0m [1mprove_core[0m: 8884 and | ||
[2m2025-01-15T05:48:31.999536Z[0m [32m INFO[0m [1mprove_core[0m: 5349 auipc | ||
[2m2025-01-15T05:48:31.999538Z[0m [32m INFO[0m [1mprove_core[0m: 2107 mul | ||
[2m2025-01-15T05:48:31.999539Z[0m [32m INFO[0m [1mprove_core[0m: 513 sb | ||
[2m2025-01-15T05:48:31.999540Z[0m [32m INFO[0m [1mprove_core[0m: 340 lbu | ||
[2m2025-01-15T05:48:31.999541Z[0m [32m INFO[0m [1mprove_core[0m: 259 blt | ||
[2m2025-01-15T05:48:31.999543Z[0m [32m INFO[0m [1mprove_core[0m: 258 mulhu | ||
[2m2025-01-15T05:48:31.999544Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall | ||
[2m2025-01-15T05:48:31.999545Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb | ||
[2m2025-01-15T05:48:31.999547Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu | ||
[2m2025-01-15T05:48:31.999548Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge | ||
[2m2025-01-15T05:48:31.999550Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts): | ||
[2m2025-01-15T05:48:31.999555Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit | ||
[2m2025-01-15T05:48:31.999557Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs | ||
[2m2025-01-15T05:48:31.999558Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt | ||
[2m2025-01-15T05:48:31.999560Z[0m [32m INFO[0m [1mprove_core[0m: 1 write | ||
[2m2025-01-15T05:48:31.999561Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len | ||
[2m2025-01-15T05:48:31.999563Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read | ||
[2m2025-01-15T05:48:31.999570Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=5300699, e2e=37.926290034s, khz=139.76 | ||
[2m2025-01-15T05:48:32.002633Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m36.6s [3mtime.idle[0m[2m=[0m1.28s | ||
Successfully generated proof! | ||
[2m2025-01-15T05:48:32.718652Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m697ms [3mtime.idle[0m[2m=[0m1.83µs | ||
Successfully verified proof! |
23 changes: 23 additions & 0 deletions
23
sorting-output/16511-2025-01-15T05:47:49,927918112+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=16511 --prove" | ||
User time (seconds): 1914.73 | ||
System time (seconds): 90.13 | ||
Percent of CPU this job got: 4694% | ||
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:42.71 | ||
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): 27693128 | ||
Average resident set size (kbytes): 0 | ||
Major (requiring I/O) page faults: 45 | ||
Minor (reclaiming a frame) page faults: 18851381 | ||
Voluntary context switches: 569963 | ||
Involuntary context switches: 112239 | ||
Swaps: 0 | ||
File system inputs: 0 | ||
File system outputs: 944 | ||
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/16511-2025-01-15T05:48:33,614881478+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/16511-2025-01-15T05:48:33,614881478+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" | ||
User time (seconds): 903.05 | ||
System time (seconds): 66.19 | ||
Percent of CPU this job got: 3449% | ||
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:28.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): 10988944 | ||
Average resident set size (kbytes): 0 | ||
Major (requiring I/O) page faults: 0 | ||
Minor (reclaiming a frame) page faults: 6484936 | ||
Voluntary context switches: 1092345 | ||
Involuntary context switches: 170287 | ||
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 |
96 changes: 96 additions & 0 deletions
96
sorting-output/17488-2025-01-15T05:31:30,057171318+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,96 @@ | ||
[2m2025-01-15T05:31:31.405763Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu' | ||
[2m2025-01-15T05:31:31.863925Z[0m [32m INFO[0m vk verification: true | ||
n: 17488 | ||
[2m2025-01-15T05:31:34.239069Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
stdout: WARNING: Using insecure random number generator. | ||
[2m2025-01-15T05:31:34.420805Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
stdout: WARNING: Using insecure random number generator. | ||
[2m2025-01-15T05:31:35.292244Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records | ||
[2m2025-01-15T05:31:35.572072Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=210 | ||
[2m2025-01-15T05:31:35.572115Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:31:35.572118Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:31:35.572121Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 19 -> 19 | ||
[2m2025-01-15T05:31:35.572122Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 2 -> 17 | ||
[2m2025-01-15T05:31:35.572124Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 18 -> 18 | ||
[2m2025-01-15T05:31:35.572125Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:31:35.572127Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 17 -> 18 | ||
[2m2025-01-15T05:31:35.572128Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 | ||
[2m2025-01-15T05:31:35.572129Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:31:35.572131Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 9 -> 18 | ||
[2m2025-01-15T05:31:35.572132Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 16 -> 18 | ||
[2m2025-01-15T05:31:35.572133Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 12 -> 18 | ||
[2m2025-01-15T05:31:35.572134Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 | ||
[2m2025-01-15T05:31:35.572135Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10 | ||
[2m2025-01-15T05:31:35.572137Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10 | ||
[2m2025-01-15T05:31:35.572381Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=179 | ||
[2m2025-01-15T05:31:35.572385Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:31:35.572386Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10 | ||
[2m2025-01-15T05:31:35.572387Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:31:35.572388Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 15 -> 17 | ||
[2m2025-01-15T05:31:35.572390Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 11 -> 17 | ||
[2m2025-01-15T05:31:35.572391Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 14 -> 17 | ||
[2m2025-01-15T05:31:35.572392Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:31:35.572393Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 20 -> 20 | ||
[2m2025-01-15T05:31:35.572395Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 14 -> 18 | ||
[2m2025-01-15T05:31:35.572397Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:31:35.572398Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12 -> 18 | ||
[2m2025-01-15T05:31:35.572399Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 19 -> 19 | ||
[2m2025-01-15T05:31:35.572400Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 | ||
[2m2025-01-15T05:31:35.572401Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 17 -> 17 | ||
[2m2025-01-15T05:31:35.572570Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=3, Cluster=180 | ||
[2m2025-01-15T05:31:35.572574Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:31:35.572575Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:31:35.572577Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 17 | ||
[2m2025-01-15T05:31:35.572578Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
[2m2025-01-15T05:31:35.572579Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 12 -> 17 | ||
[2m2025-01-15T05:31:35.572580Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17 -> 17 | ||
[2m2025-01-15T05:31:35.572581Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 20 -> 20 | ||
[2m2025-01-15T05:31:35.572583Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 18 | ||
[2m2025-01-15T05:31:35.572584Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19 -> 19 | ||
[2m2025-01-15T05:31:35.572585Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12 -> 18 | ||
[2m2025-01-15T05:31:35.572586Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 19 | ||
[2m2025-01-15T05:31:35.572587Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 | ||
[2m2025-01-15T05:31:35.572588Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 17 | ||
[2m2025-01-15T05:31:35.572590Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 10 | ||
[2m2025-01-15T05:31:35.572591Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 10 | ||
[2m2025-01-15T05:31:35.804215Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m232ms [3mtime.idle[0m[2m=[0m2.79µs [2m[3mindex[0m[2m=[0m0[0m | ||
[2m2025-01-15T05:32:13.752922Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=5672464, total_syscall_cycles=20, touched_memory_addresses=55688 | ||
[2m2025-01-15T05:32:13.752950Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts): | ||
[2m2025-01-15T05:32:13.752958Z[0m [32m INFO[0m [1mprove_core[0m: 1778391 add | ||
[2m2025-01-15T05:32:13.752961Z[0m [32m INFO[0m [1mprove_core[0m: 981646 lw | ||
[2m2025-01-15T05:32:13.752963Z[0m [32m INFO[0m [1mprove_core[0m: 920356 sw | ||
[2m2025-01-15T05:32:13.752965Z[0m [32m INFO[0m [1mprove_core[0m: 473435 sll | ||
[2m2025-01-15T05:32:13.752967Z[0m [32m INFO[0m [1mprove_core[0m: 298212 bltu | ||
[2m2025-01-15T05:32:13.752969Z[0m [32m INFO[0m [1mprove_core[0m: 228843 xor | ||
[2m2025-01-15T05:32:13.752970Z[0m [32m INFO[0m [1mprove_core[0m: 224980 sltu | ||
[2m2025-01-15T05:32:13.752972Z[0m [32m INFO[0m [1mprove_core[0m: 217407 srl | ||
[2m2025-01-15T05:32:13.752973Z[0m [32m INFO[0m [1mprove_core[0m: 213656 or | ||
[2m2025-01-15T05:32:13.752974Z[0m [32m INFO[0m [1mprove_core[0m: 107009 bne | ||
[2m2025-01-15T05:32:13.752976Z[0m [32m INFO[0m [1mprove_core[0m: 70000 bgeu | ||
[2m2025-01-15T05:32:13.752977Z[0m [32m INFO[0m [1mprove_core[0m: 69959 beq | ||
[2m2025-01-15T05:32:13.752978Z[0m [32m INFO[0m [1mprove_core[0m: 40238 jal | ||
[2m2025-01-15T05:32:13.752979Z[0m [32m INFO[0m [1mprove_core[0m: 18261 sub | ||
[2m2025-01-15T05:32:13.752981Z[0m [32m INFO[0m [1mprove_core[0m: 11343 jalr | ||
[2m2025-01-15T05:32:13.752982Z[0m [32m INFO[0m [1mprove_core[0m: 9398 and | ||
[2m2025-01-15T05:32:13.752983Z[0m [32m INFO[0m [1mprove_core[0m: 5675 auipc | ||
[2m2025-01-15T05:32:13.752984Z[0m [32m INFO[0m [1mprove_core[0m: 2221 mul | ||
[2m2025-01-15T05:32:13.752986Z[0m [32m INFO[0m [1mprove_core[0m: 517 sb | ||
[2m2025-01-15T05:32:13.752987Z[0m [32m INFO[0m [1mprove_core[0m: 348 lbu | ||
[2m2025-01-15T05:32:13.752988Z[0m [32m INFO[0m [1mprove_core[0m: 275 blt | ||
[2m2025-01-15T05:32:13.752990Z[0m [32m INFO[0m [1mprove_core[0m: 266 mulhu | ||
[2m2025-01-15T05:32:13.752991Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall | ||
[2m2025-01-15T05:32:13.752992Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb | ||
[2m2025-01-15T05:32:13.752993Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu | ||
[2m2025-01-15T05:32:13.752995Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge | ||
[2m2025-01-15T05:32:13.752997Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts): | ||
[2m2025-01-15T05:32:13.753003Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit | ||
[2m2025-01-15T05:32:13.753006Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs | ||
[2m2025-01-15T05:32:13.753007Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt | ||
[2m2025-01-15T05:32:13.753009Z[0m [32m INFO[0m [1mprove_core[0m: 1 write | ||
[2m2025-01-15T05:32:13.753010Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len | ||
[2m2025-01-15T05:32:13.753011Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read | ||
[2m2025-01-15T05:32:13.753020Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=5672464, e2e=39.514601189s, khz=143.55 | ||
[2m2025-01-15T05:32:13.756596Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m38.1s [3mtime.idle[0m[2m=[0m1.39s | ||
Successfully generated proof! | ||
[2m2025-01-15T05:32:14.476903Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m703ms [3mtime.idle[0m[2m=[0m1.54µs | ||
Successfully verified proof! |
23 changes: 23 additions & 0 deletions
23
sorting-output/17488-2025-01-15T05:31:30,057171318+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=17488 --prove" | ||
User time (seconds): 1925.73 | ||
System time (seconds): 80.13 | ||
Percent of CPU this job got: 4526% | ||
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:44.31 | ||
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): 32909208 | ||
Average resident set size (kbytes): 0 | ||
Major (requiring I/O) page faults: 0 | ||
Minor (reclaiming a frame) page faults: 19221682 | ||
Voluntary context switches: 503310 | ||
Involuntary context switches: 91281 | ||
Swaps: 0 | ||
File system inputs: 0 | ||
File system outputs: 944 | ||
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/17488-2025-01-15T05:32:15,329923319+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/17488-2025-01-15T05:32:15,329923319+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" | ||
User time (seconds): 946.07 | ||
System time (seconds): 63.52 | ||
Percent of CPU this job got: 3447% | ||
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:29.28 | ||
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): 11087856 | ||
Average resident set size (kbytes): 0 | ||
Major (requiring I/O) page faults: 0 | ||
Minor (reclaiming a frame) page faults: 6776453 | ||
Voluntary context switches: 1014648 | ||
Involuntary context switches: 165203 | ||
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 |
96 changes: 96 additions & 0 deletions
96
sorting-output/19125-2025-01-15T05:30:10,782901257+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,96 @@ | ||
[2m2025-01-15T05:30:12.141986Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu' | ||
[2m2025-01-15T05:30:12.597598Z[0m [32m INFO[0m vk verification: true | ||
n: 19125 | ||
[2m2025-01-15T05:30:14.897189Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
stdout: WARNING: Using insecure random number generator. | ||
[2m2025-01-15T05:30:15.095806Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
stdout: WARNING: Using insecure random number generator. | ||
[2m2025-01-15T05:30:16.044925Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records | ||
[2m2025-01-15T05:30:16.348406Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=210 | ||
[2m2025-01-15T05:30:16.348431Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:30:16.348434Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:30:16.348435Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 19 -> 19 | ||
[2m2025-01-15T05:30:16.348438Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 2 -> 17 | ||
[2m2025-01-15T05:30:16.348439Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 18 -> 18 | ||
[2m2025-01-15T05:30:16.348440Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:30:16.348441Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 17 -> 18 | ||
[2m2025-01-15T05:30:16.348443Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 | ||
[2m2025-01-15T05:30:16.348444Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:30:16.348445Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 9 -> 18 | ||
[2m2025-01-15T05:30:16.348446Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 16 -> 18 | ||
[2m2025-01-15T05:30:16.348447Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 12 -> 18 | ||
[2m2025-01-15T05:30:16.348448Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 | ||
[2m2025-01-15T05:30:16.348450Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10 | ||
[2m2025-01-15T05:30:16.348451Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10 | ||
[2m2025-01-15T05:30:16.348770Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=179 | ||
[2m2025-01-15T05:30:16.348774Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:30:16.348776Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10 | ||
[2m2025-01-15T05:30:16.348777Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:30:16.348778Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 17 -> 17 | ||
[2m2025-01-15T05:30:16.348779Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 11 -> 17 | ||
[2m2025-01-15T05:30:16.348781Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 15 -> 17 | ||
[2m2025-01-15T05:30:16.348782Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:30:16.348783Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 20 -> 20 | ||
[2m2025-01-15T05:30:16.348784Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 14 -> 18 | ||
[2m2025-01-15T05:30:16.348785Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:30:16.348786Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12 -> 18 | ||
[2m2025-01-15T05:30:16.348788Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 19 -> 19 | ||
[2m2025-01-15T05:30:16.348789Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 | ||
[2m2025-01-15T05:30:16.348790Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 17 -> 17 | ||
[2m2025-01-15T05:30:16.348965Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=3, Cluster=179 | ||
[2m2025-01-15T05:30:16.348969Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:30:16.348970Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:30:16.348971Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 15 -> 17 | ||
[2m2025-01-15T05:30:16.348973Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
[2m2025-01-15T05:30:16.348974Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 12 -> 17 | ||
[2m2025-01-15T05:30:16.348975Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:30:16.348976Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 20 -> 20 | ||
[2m2025-01-15T05:30:16.348978Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 | ||
[2m2025-01-15T05:30:16.348979Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:30:16.348980Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12 -> 18 | ||
[2m2025-01-15T05:30:16.348981Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 19 -> 19 | ||
[2m2025-01-15T05:30:16.348982Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 | ||
[2m2025-01-15T05:30:16.348983Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 | ||
[2m2025-01-15T05:30:16.348984Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 10 | ||
[2m2025-01-15T05:30:16.348986Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 10 | ||
[2m2025-01-15T05:30:16.576630Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m228ms [3mtime.idle[0m[2m=[0m2.19µs [2m[3mindex[0m[2m=[0m0[0m | ||
[2m2025-01-15T05:30:56.590464Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=6243210, total_syscall_cycles=20, touched_memory_addresses=58975 | ||
[2m2025-01-15T05:30:56.590498Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts): | ||
[2m2025-01-15T05:30:56.590507Z[0m [32m INFO[0m [1mprove_core[0m: 1966576 add | ||
[2m2025-01-15T05:30:56.590510Z[0m [32m INFO[0m [1mprove_core[0m: 1077447 lw | ||
[2m2025-01-15T05:30:56.590511Z[0m [32m INFO[0m [1mprove_core[0m: 1010755 sw | ||
[2m2025-01-15T05:30:56.590513Z[0m [32m INFO[0m [1mprove_core[0m: 519691 sll | ||
[2m2025-01-15T05:30:56.590515Z[0m [32m INFO[0m [1mprove_core[0m: 328537 bltu | ||
[2m2025-01-15T05:30:56.590516Z[0m [32m INFO[0m [1mprove_core[0m: 249571 xor | ||
[2m2025-01-15T05:30:56.590518Z[0m [32m INFO[0m [1mprove_core[0m: 248569 sltu | ||
[2m2025-01-15T05:30:56.590519Z[0m [32m INFO[0m [1mprove_core[0m: 236987 srl | ||
[2m2025-01-15T05:30:56.590521Z[0m [32m INFO[0m [1mprove_core[0m: 232973 or | ||
[2m2025-01-15T05:30:56.590522Z[0m [32m INFO[0m [1mprove_core[0m: 120461 bne | ||
[2m2025-01-15T05:30:56.590523Z[0m [32m INFO[0m [1mprove_core[0m: 77301 bgeu | ||
[2m2025-01-15T05:30:56.590524Z[0m [32m INFO[0m [1mprove_core[0m: 76844 beq | ||
[2m2025-01-15T05:30:56.590526Z[0m [32m INFO[0m [1mprove_core[0m: 45064 jal | ||
[2m2025-01-15T05:30:56.590527Z[0m [32m INFO[0m [1mprove_core[0m: 19913 sub | ||
[2m2025-01-15T05:30:56.590528Z[0m [32m INFO[0m [1mprove_core[0m: 12315 jalr | ||
[2m2025-01-15T05:30:56.590529Z[0m [32m INFO[0m [1mprove_core[0m: 10171 and | ||
[2m2025-01-15T05:30:56.590531Z[0m [32m INFO[0m [1mprove_core[0m: 6161 auipc | ||
[2m2025-01-15T05:30:56.590532Z[0m [32m INFO[0m [1mprove_core[0m: 2385 mul | ||
[2m2025-01-15T05:30:56.590533Z[0m [32m INFO[0m [1mprove_core[0m: 523 sb | ||
[2m2025-01-15T05:30:56.590534Z[0m [32m INFO[0m [1mprove_core[0m: 360 lbu | ||
[2m2025-01-15T05:30:56.590536Z[0m [32m INFO[0m [1mprove_core[0m: 300 blt | ||
[2m2025-01-15T05:30:56.590537Z[0m [32m INFO[0m [1mprove_core[0m: 278 mulhu | ||
[2m2025-01-15T05:30:56.590538Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall | ||
[2m2025-01-15T05:30:56.590540Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb | ||
[2m2025-01-15T05:30:56.590541Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu | ||
[2m2025-01-15T05:30:56.590542Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge | ||
[2m2025-01-15T05:30:56.590545Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts): | ||
[2m2025-01-15T05:30:56.590550Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit | ||
[2m2025-01-15T05:30:56.590553Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs | ||
[2m2025-01-15T05:30:56.590554Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt | ||
[2m2025-01-15T05:30:56.590555Z[0m [32m INFO[0m [1mprove_core[0m: 1 write | ||
[2m2025-01-15T05:30:56.590557Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len | ||
[2m2025-01-15T05:30:56.590558Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read | ||
[2m2025-01-15T05:30:56.590567Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=6243210, e2e=41.694057674s, khz=149.74 | ||
[2m2025-01-15T05:30:56.593937Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m40.2s [3mtime.idle[0m[2m=[0m1.49s | ||
Successfully generated proof! | ||
[2m2025-01-15T05:30:57.340586Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m706ms [3mtime.idle[0m[2m=[0m1.90µs | ||
Successfully verified proof! |
23 changes: 23 additions & 0 deletions
23
sorting-output/19125-2025-01-15T05:30:10,782901257+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=19125 --prove" | ||
User time (seconds): 1997.29 | ||
System time (seconds): 81.48 | ||
Percent of CPU this job got: 4471% | ||
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:46.48 | ||
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): 31725932 | ||
Average resident set size (kbytes): 0 | ||
Major (requiring I/O) page faults: 0 | ||
Minor (reclaiming a frame) page faults: 19591275 | ||
Voluntary context switches: 544696 | ||
Involuntary context switches: 119968 | ||
Swaps: 0 | ||
File system inputs: 0 | ||
File system outputs: 944 | ||
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/19125-2025-01-15T05:30:58,247570618+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/19125-2025-01-15T05:30:58,247570618+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" | ||
User time (seconds): 1021.80 | ||
System time (seconds): 73.19 | ||
Percent of CPU this job got: 3518% | ||
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:31.11 | ||
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): 12195960 | ||
Average resident set size (kbytes): 0 | ||
Major (requiring I/O) page faults: 0 | ||
Minor (reclaiming a frame) page faults: 8473121 | ||
Voluntary context switches: 1062068 | ||
Involuntary context switches: 182836 | ||
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 |
110 changes: 110 additions & 0 deletions
110
sorting-output/21879-2025-01-15T05:43:37,652471252+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,110 @@ | ||
[2m2025-01-15T05:43:39.036520Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu' | ||
[2m2025-01-15T05:43:39.492802Z[0m [32m INFO[0m vk verification: true | ||
n: 21879 | ||
[2m2025-01-15T05:43:41.831328Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
stdout: WARNING: Using insecure random number generator. | ||
[2m2025-01-15T05:43:42.054852Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
stdout: WARNING: Using insecure random number generator. | ||
[2m2025-01-15T05:43:43.115510Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records | ||
[2m2025-01-15T05:43:43.470302Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=210 | ||
[2m2025-01-15T05:43:43.470323Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:43:43.470326Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:43:43.470329Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 19 -> 19 | ||
[2m2025-01-15T05:43:43.470330Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 2 -> 17 | ||
[2m2025-01-15T05:43:43.470332Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 18 -> 18 | ||
[2m2025-01-15T05:43:43.470334Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:43:43.470335Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 17 -> 18 | ||
[2m2025-01-15T05:43:43.470337Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 | ||
[2m2025-01-15T05:43:43.470338Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:43:43.470340Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 9 -> 18 | ||
[2m2025-01-15T05:43:43.470341Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 16 -> 18 | ||
[2m2025-01-15T05:43:43.470343Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 12 -> 18 | ||
[2m2025-01-15T05:43:43.470344Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 | ||
[2m2025-01-15T05:43:43.470346Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10 | ||
[2m2025-01-15T05:43:43.470347Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10 | ||
[2m2025-01-15T05:43:43.470626Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=197 | ||
[2m2025-01-15T05:43:43.470630Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:43:43.470632Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10 | ||
[2m2025-01-15T05:43:43.470633Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:43:43.470634Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 17 -> 17 | ||
[2m2025-01-15T05:43:43.470636Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 11 -> 17 | ||
[2m2025-01-15T05:43:43.470637Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 16 -> 17 | ||
[2m2025-01-15T05:43:43.470638Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:43:43.470639Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 20 -> 20 | ||
[2m2025-01-15T05:43:43.470640Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 14 -> 18 | ||
[2m2025-01-15T05:43:43.470641Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:43:43.470643Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18 | ||
[2m2025-01-15T05:43:43.470644Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18 | ||
[2m2025-01-15T05:43:43.470645Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 | ||
[2m2025-01-15T05:43:43.470646Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 17 -> 17 | ||
[2m2025-01-15T05:43:43.470825Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=3, Cluster=179 | ||
[2m2025-01-15T05:43:43.470828Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:43:43.470830Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:43:43.470831Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 15 -> 17 | ||
[2m2025-01-15T05:43:43.470832Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
[2m2025-01-15T05:43:43.470833Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 12 -> 17 | ||
[2m2025-01-15T05:43:43.470835Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:43:43.470836Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 20 -> 20 | ||
[2m2025-01-15T05:43:43.470837Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 | ||
[2m2025-01-15T05:43:43.470838Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:43:43.470839Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12 -> 18 | ||
[2m2025-01-15T05:43:43.470840Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 19 -> 19 | ||
[2m2025-01-15T05:43:43.470842Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 | ||
[2m2025-01-15T05:43:43.470843Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 | ||
[2m2025-01-15T05:43:43.471451Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=4, Cluster=207 | ||
[2m2025-01-15T05:43:43.471457Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 20 -> 20 | ||
[2m2025-01-15T05:43:43.471458Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 20 -> 20 | ||
[2m2025-01-15T05:43:43.471459Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 16 | ||
[2m2025-01-15T05:43:43.471460Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 9 -> 16 | ||
[2m2025-01-15T05:43:43.471462Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 11 -> 16 | ||
[2m2025-01-15T05:43:43.471463Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 16 -> 16 | ||
[2m2025-01-15T05:43:43.471464Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19 | ||
[2m2025-01-15T05:43:43.471465Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 17 | ||
[2m2025-01-15T05:43:43.471466Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 18 -> 18 | ||
[2m2025-01-15T05:43:43.471467Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 17 | ||
[2m2025-01-15T05:43:43.471469Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 17 -> 17 | ||
[2m2025-01-15T05:43:43.471470Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 17 | ||
[2m2025-01-15T05:43:43.471471Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 16 | ||
[2m2025-01-15T05:43:43.471473Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 10 | ||
[2m2025-01-15T05:43:43.471474Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 10 | ||
[2m2025-01-15T05:43:43.731223Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m260ms [3mtime.idle[0m[2m=[0m2.52µs [2m[3mindex[0m[2m=[0m0[0m | ||
[2m2025-01-15T05:44:24.504133Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=7174691, total_syscall_cycles=20, touched_memory_addresses=64483 | ||
[2m2025-01-15T05:44:24.504155Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts): | ||
[2m2025-01-15T05:44:24.504163Z[0m [32m INFO[0m [1mprove_core[0m: 2259274 add | ||
[2m2025-01-15T05:44:24.504166Z[0m [32m INFO[0m [1mprove_core[0m: 1239607 lw | ||
[2m2025-01-15T05:44:24.504168Z[0m [32m INFO[0m [1mprove_core[0m: 1162589 sw | ||
[2m2025-01-15T05:44:24.504170Z[0m [32m INFO[0m [1mprove_core[0m: 598130 sll | ||
[2m2025-01-15T05:44:24.504173Z[0m [32m INFO[0m [1mprove_core[0m: 379875 bltu | ||
[2m2025-01-15T05:44:24.504174Z[0m [32m INFO[0m [1mprove_core[0m: 288373 sltu | ||
[2m2025-01-15T05:44:24.504176Z[0m [32m INFO[0m [1mprove_core[0m: 285417 xor | ||
[2m2025-01-15T05:44:24.504178Z[0m [32m INFO[0m [1mprove_core[0m: 270718 srl | ||
[2m2025-01-15T05:44:24.504179Z[0m [32m INFO[0m [1mprove_core[0m: 266203 or | ||
[2m2025-01-15T05:44:24.504181Z[0m [32m INFO[0m [1mprove_core[0m: 136769 bne | ||
[2m2025-01-15T05:44:24.504183Z[0m [32m INFO[0m [1mprove_core[0m: 89510 bgeu | ||
[2m2025-01-15T05:44:24.504184Z[0m [32m INFO[0m [1mprove_core[0m: 86993 beq | ||
[2m2025-01-15T05:44:24.504186Z[0m [32m INFO[0m [1mprove_core[0m: 50833 jal | ||
[2m2025-01-15T05:44:24.504188Z[0m [32m INFO[0m [1mprove_core[0m: 22934 sub | ||
[2m2025-01-15T05:44:24.504189Z[0m [32m INFO[0m [1mprove_core[0m: 14361 jalr | ||
[2m2025-01-15T05:44:24.504191Z[0m [32m INFO[0m [1mprove_core[0m: 11645 and | ||
[2m2025-01-15T05:44:24.504192Z[0m [32m INFO[0m [1mprove_core[0m: 7184 auipc | ||
[2m2025-01-15T05:44:24.504194Z[0m [32m INFO[0m [1mprove_core[0m: 2704 mul | ||
[2m2025-01-15T05:44:24.504196Z[0m [32m INFO[0m [1mprove_core[0m: 531 sb | ||
[2m2025-01-15T05:44:24.504197Z[0m [32m INFO[0m [1mprove_core[0m: 376 lbu | ||
[2m2025-01-15T05:44:24.504199Z[0m [32m INFO[0m [1mprove_core[0m: 343 blt | ||
[2m2025-01-15T05:44:24.504201Z[0m [32m INFO[0m [1mprove_core[0m: 294 mulhu | ||
[2m2025-01-15T05:44:24.504203Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall | ||
[2m2025-01-15T05:44:24.504204Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb | ||
[2m2025-01-15T05:44:24.504206Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu | ||
[2m2025-01-15T05:44:24.504208Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge | ||
[2m2025-01-15T05:44:24.504211Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts): | ||
[2m2025-01-15T05:44:24.504216Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit | ||
[2m2025-01-15T05:44:24.504219Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs | ||
[2m2025-01-15T05:44:24.504220Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt | ||
[2m2025-01-15T05:44:24.504221Z[0m [32m INFO[0m [1mprove_core[0m: 1 write | ||
[2m2025-01-15T05:44:24.504223Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len | ||
[2m2025-01-15T05:44:24.504224Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read | ||
[2m2025-01-15T05:44:24.504231Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=7174691, e2e=42.673545274s, khz=168.13 | ||
[2m2025-01-15T05:44:24.509734Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m41.0s [3mtime.idle[0m[2m=[0m1.68s | ||
Successfully generated proof! | ||
[2m2025-01-15T05:44:25.434456Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m916ms [3mtime.idle[0m[2m=[0m2.24µs | ||
Successfully verified proof! |
23 changes: 23 additions & 0 deletions
23
sorting-output/21879-2025-01-15T05:43:37,652471252+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=21879 --prove" | ||
User time (seconds): 2288.65 | ||
System time (seconds): 81.97 | ||
Percent of CPU this job got: 4929% | ||
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:48.08 | ||
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): 34409044 | ||
Average resident set size (kbytes): 0 | ||
Major (requiring I/O) page faults: 0 | ||
Minor (reclaiming a frame) page faults: 20676389 | ||
Voluntary context switches: 1091785 | ||
Involuntary context switches: 116536 | ||
Swaps: 0 | ||
File system inputs: 0 | ||
File system outputs: 976 | ||
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/21879-2025-01-15T05:44:26,736543849+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/21879-2025-01-15T05:44:26,736543849+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" | ||
User time (seconds): 1181.89 | ||
System time (seconds): 78.06 | ||
Percent of CPU this job got: 3630% | ||
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:34.70 | ||
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): 13946584 | ||
Average resident set size (kbytes): 0 | ||
Major (requiring I/O) page faults: 0 | ||
Minor (reclaiming a frame) page faults: 9445704 | ||
Voluntary context switches: 1159770 | ||
Involuntary context switches: 178261 | ||
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 |
110 changes: 110 additions & 0 deletions
110
sorting-output/22162-2025-01-15T05:45:02,137817406+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,110 @@ | ||
[2m2025-01-15T05:45:03.484807Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu' | ||
[2m2025-01-15T05:45:03.941798Z[0m [32m INFO[0m vk verification: true | ||
n: 22162 | ||
[2m2025-01-15T05:45:06.291993Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
stdout: WARNING: Using insecure random number generator. | ||
[2m2025-01-15T05:45:06.517606Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
stdout: WARNING: Using insecure random number generator. | ||
[2m2025-01-15T05:45:07.615256Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records | ||
[2m2025-01-15T05:45:07.983697Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=210 | ||
[2m2025-01-15T05:45:07.983722Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:45:07.983726Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:45:07.983728Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 19 -> 19 | ||
[2m2025-01-15T05:45:07.983730Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 2 -> 17 | ||
[2m2025-01-15T05:45:07.983732Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 18 -> 18 | ||
[2m2025-01-15T05:45:07.983733Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:45:07.983735Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 17 -> 18 | ||
[2m2025-01-15T05:45:07.983737Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 | ||
[2m2025-01-15T05:45:07.983738Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:45:07.983740Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 9 -> 18 | ||
[2m2025-01-15T05:45:07.983741Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 16 -> 18 | ||
[2m2025-01-15T05:45:07.983743Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 12 -> 18 | ||
[2m2025-01-15T05:45:07.983744Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 | ||
[2m2025-01-15T05:45:07.983746Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10 | ||
[2m2025-01-15T05:45:07.983748Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10 | ||
[2m2025-01-15T05:45:07.984096Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=197 | ||
[2m2025-01-15T05:45:07.984100Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:45:07.984101Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10 | ||
[2m2025-01-15T05:45:07.984102Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:45:07.984104Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 18 -> 18 | ||
[2m2025-01-15T05:45:07.984105Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 11 -> 17 | ||
[2m2025-01-15T05:45:07.984106Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 17 -> 17 | ||
[2m2025-01-15T05:45:07.984107Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:45:07.984108Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 20 -> 20 | ||
[2m2025-01-15T05:45:07.984110Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 14 -> 18 | ||
[2m2025-01-15T05:45:07.984111Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:45:07.984112Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18 | ||
[2m2025-01-15T05:45:07.984113Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18 | ||
[2m2025-01-15T05:45:07.984114Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 | ||
[2m2025-01-15T05:45:07.984115Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 17 -> 17 | ||
[2m2025-01-15T05:45:07.984298Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=3, Cluster=179 | ||
[2m2025-01-15T05:45:07.984301Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:45:07.984303Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:45:07.984304Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 17 | ||
[2m2025-01-15T05:45:07.984305Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
[2m2025-01-15T05:45:07.984306Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 12 -> 17 | ||
[2m2025-01-15T05:45:07.984308Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:45:07.984309Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 20 -> 20 | ||
[2m2025-01-15T05:45:07.984310Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 | ||
[2m2025-01-15T05:45:07.984312Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:45:07.984313Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12 -> 18 | ||
[2m2025-01-15T05:45:07.984314Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 19 -> 19 | ||
[2m2025-01-15T05:45:07.984315Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 | ||
[2m2025-01-15T05:45:07.984316Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 | ||
[2m2025-01-15T05:45:07.984928Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=4, Cluster=165 | ||
[2m2025-01-15T05:45:07.984934Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 20 -> 20 | ||
[2m2025-01-15T05:45:07.984935Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 20 -> 20 | ||
[2m2025-01-15T05:45:07.984936Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 16 | ||
[2m2025-01-15T05:45:07.984937Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 9 -> 16 | ||
[2m2025-01-15T05:45:07.984939Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 11 -> 16 | ||
[2m2025-01-15T05:45:07.984940Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17 -> 17 | ||
[2m2025-01-15T05:45:07.984941Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19 | ||
[2m2025-01-15T05:45:07.984942Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 17 | ||
[2m2025-01-15T05:45:07.984943Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19 -> 19 | ||
[2m2025-01-15T05:45:07.984945Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 17 | ||
[2m2025-01-15T05:45:07.984946Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18 | ||
[2m2025-01-15T05:45:07.984947Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 17 | ||
[2m2025-01-15T05:45:07.984948Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 16 | ||
[2m2025-01-15T05:45:07.984950Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 10 | ||
[2m2025-01-15T05:45:07.984951Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 10 | ||
[2m2025-01-15T05:45:08.313449Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m328ms [3mtime.idle[0m[2m=[0m1.76µs [2m[3mindex[0m[2m=[0m0[0m | ||
[2m2025-01-15T05:45:48.424512Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=7276222, total_syscall_cycles=20, touched_memory_addresses=65034 | ||
[2m2025-01-15T05:45:48.424538Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts): | ||
[2m2025-01-15T05:45:48.424546Z[0m [32m INFO[0m [1mprove_core[0m: 2297911 add | ||
[2m2025-01-15T05:45:48.424550Z[0m [32m INFO[0m [1mprove_core[0m: 1254093 lw | ||
[2m2025-01-15T05:45:48.424552Z[0m [32m INFO[0m [1mprove_core[0m: 1176939 sw | ||
[2m2025-01-15T05:45:48.424554Z[0m [32m INFO[0m [1mprove_core[0m: 605532 sll | ||
[2m2025-01-15T05:45:48.424555Z[0m [32m INFO[0m [1mprove_core[0m: 383423 bltu | ||
[2m2025-01-15T05:45:48.424557Z[0m [32m INFO[0m [1mprove_core[0m: 291186 sltu | ||
[2m2025-01-15T05:45:48.424558Z[0m [32m INFO[0m [1mprove_core[0m: 289316 xor | ||
[2m2025-01-15T05:45:48.424560Z[0m [32m INFO[0m [1mprove_core[0m: 274601 srl | ||
[2m2025-01-15T05:45:48.424561Z[0m [32m INFO[0m [1mprove_core[0m: 270067 or | ||
[2m2025-01-15T05:45:48.424562Z[0m [32m INFO[0m [1mprove_core[0m: 141807 bne | ||
[2m2025-01-15T05:45:48.424563Z[0m [32m INFO[0m [1mprove_core[0m: 90287 bgeu | ||
[2m2025-01-15T05:45:48.424565Z[0m [32m INFO[0m [1mprove_core[0m: 88211 beq | ||
[2m2025-01-15T05:45:48.424566Z[0m [32m INFO[0m [1mprove_core[0m: 52344 jal | ||
[2m2025-01-15T05:45:48.424567Z[0m [32m INFO[0m [1mprove_core[0m: 23058 sub | ||
[2m2025-01-15T05:45:48.424568Z[0m [32m INFO[0m [1mprove_core[0m: 14231 jalr | ||
[2m2025-01-15T05:45:48.424570Z[0m [32m INFO[0m [1mprove_core[0m: 11813 and | ||
[2m2025-01-15T05:45:48.424571Z[0m [32m INFO[0m [1mprove_core[0m: 7119 auipc | ||
[2m2025-01-15T05:45:48.424572Z[0m [32m INFO[0m [1mprove_core[0m: 2702 mul | ||
[2m2025-01-15T05:45:48.424574Z[0m [32m INFO[0m [1mprove_core[0m: 532 sb | ||
[2m2025-01-15T05:45:48.424575Z[0m [32m INFO[0m [1mprove_core[0m: 378 lbu | ||
[2m2025-01-15T05:45:48.424576Z[0m [32m INFO[0m [1mprove_core[0m: 348 blt | ||
[2m2025-01-15T05:45:48.424578Z[0m [32m INFO[0m [1mprove_core[0m: 296 mulhu | ||
[2m2025-01-15T05:45:48.424579Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall | ||
[2m2025-01-15T05:45:48.424580Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb | ||
[2m2025-01-15T05:45:48.424581Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu | ||
[2m2025-01-15T05:45:48.424584Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge | ||
[2m2025-01-15T05:45:48.424586Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts): | ||
[2m2025-01-15T05:45:48.424591Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit | ||
[2m2025-01-15T05:45:48.424593Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs | ||
[2m2025-01-15T05:45:48.424594Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt | ||
[2m2025-01-15T05:45:48.424595Z[0m [32m INFO[0m [1mprove_core[0m: 1 write | ||
[2m2025-01-15T05:45:48.424597Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len | ||
[2m2025-01-15T05:45:48.424598Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read | ||
[2m2025-01-15T05:45:48.424606Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=7276222, e2e=42.13326163s, khz=172.70 | ||
[2m2025-01-15T05:45:48.428053Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m40.3s [3mtime.idle[0m[2m=[0m1.80s | ||
Successfully generated proof! | ||
[2m2025-01-15T05:45:49.322572Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m875ms [3mtime.idle[0m[2m=[0m1.64µs | ||
Successfully verified proof! |
23 changes: 23 additions & 0 deletions
23
sorting-output/22162-2025-01-15T05:45:02,137817406+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=22162 --prove" | ||
User time (seconds): 2304.51 | ||
System time (seconds): 102.43 | ||
Percent of CPU this job got: 5102% | ||
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:47.16 | ||
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): 35519156 | ||
Average resident set size (kbytes): 0 | ||
Major (requiring I/O) page faults: 38 | ||
Minor (reclaiming a frame) page faults: 22358013 | ||
Voluntary context switches: 572146 | ||
Involuntary context switches: 114599 | ||
Swaps: 0 | ||
File system inputs: 0 | ||
File system outputs: 976 | ||
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/22162-2025-01-15T05:45:50,256275752+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/22162-2025-01-15T05:45:50,256275752+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" | ||
User time (seconds): 1190.19 | ||
System time (seconds): 78.52 | ||
Percent of CPU this job got: 3663% | ||
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:34.63 | ||
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): 13996776 | ||
Average resident set size (kbytes): 0 | ||
Major (requiring I/O) page faults: 1 | ||
Minor (reclaiming a frame) page faults: 9617091 | ||
Voluntary context switches: 1115090 | ||
Involuntary context switches: 178415 | ||
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 |
110 changes: 110 additions & 0 deletions
110
sorting-output/22406-2025-01-15T05:25:42,040021070+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,110 @@ | ||
[2m2025-01-15T05:25:43.373712Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu' | ||
[2m2025-01-15T05:25:43.831062Z[0m [32m INFO[0m vk verification: true | ||
n: 22406 | ||
[2m2025-01-15T05:25:46.179800Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
stdout: WARNING: Using insecure random number generator. | ||
[2m2025-01-15T05:25:46.408671Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
stdout: WARNING: Using insecure random number generator. | ||
[2m2025-01-15T05:25:47.499018Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records | ||
[2m2025-01-15T05:25:47.859137Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=210 | ||
[2m2025-01-15T05:25:47.859160Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:25:47.859162Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:25:47.859164Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 19 -> 19 | ||
[2m2025-01-15T05:25:47.859167Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 2 -> 17 | ||
[2m2025-01-15T05:25:47.859168Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 18 -> 18 | ||
[2m2025-01-15T05:25:47.859170Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:25:47.859171Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 17 -> 18 | ||
[2m2025-01-15T05:25:47.859172Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 | ||
[2m2025-01-15T05:25:47.859173Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:25:47.859174Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 9 -> 18 | ||
[2m2025-01-15T05:25:47.859176Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 16 -> 18 | ||
[2m2025-01-15T05:25:47.859177Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 12 -> 18 | ||
[2m2025-01-15T05:25:47.859178Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 | ||
[2m2025-01-15T05:25:47.859179Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10 | ||
[2m2025-01-15T05:25:47.859180Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10 | ||
[2m2025-01-15T05:25:47.859554Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=54 | ||
[2m2025-01-15T05:25:47.859558Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:25:47.859559Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10 | ||
[2m2025-01-15T05:25:47.859561Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:25:47.859562Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 18 -> 18 | ||
[2m2025-01-15T05:25:47.859563Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 11 -> 17 | ||
[2m2025-01-15T05:25:47.859564Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 17 -> 17 | ||
[2m2025-01-15T05:25:47.859566Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:25:47.859567Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19 | ||
[2m2025-01-15T05:25:47.859568Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 14 -> 18 | ||
[2m2025-01-15T05:25:47.859569Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:25:47.859570Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18 | ||
[2m2025-01-15T05:25:47.859572Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18 | ||
[2m2025-01-15T05:25:47.859573Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 | ||
[2m2025-01-15T05:25:47.859574Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 17 -> 17 | ||
[2m2025-01-15T05:25:47.859762Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=3, Cluster=179 | ||
[2m2025-01-15T05:25:47.859766Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:25:47.859767Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
[2m2025-01-15T05:25:47.859768Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 17 | ||
[2m2025-01-15T05:25:47.859769Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
[2m2025-01-15T05:25:47.859770Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 12 -> 17 | ||
[2m2025-01-15T05:25:47.859772Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
[2m2025-01-15T05:25:47.859773Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 20 -> 20 | ||
[2m2025-01-15T05:25:47.859774Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 | ||
[2m2025-01-15T05:25:47.859776Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
[2m2025-01-15T05:25:47.859777Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12 -> 18 | ||
[2m2025-01-15T05:25:47.859778Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 19 -> 19 | ||
[2m2025-01-15T05:25:47.859779Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 | ||
[2m2025-01-15T05:25:47.859780Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 | ||
[2m2025-01-15T05:25:47.860010Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=4, Cluster=61 | ||
[2m2025-01-15T05:25:47.860014Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
[2m2025-01-15T05:25:47.860015Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 20 -> 21 | ||
[2m2025-01-15T05:25:47.860016Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 17 | ||
[2m2025-01-15T05:25:47.860017Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
[2m2025-01-15T05:25:47.860018Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 11 -> 17 | ||
[2m2025-01-15T05:25:47.860020Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17 -> 17 | ||
[2m2025-01-15T05:25:47.860021Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19 | ||
[2m2025-01-15T05:25:47.860022Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 18 | ||
[2m2025-01-15T05:25:47.860023Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19 -> 19 | ||
[2m2025-01-15T05:25:47.860024Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18 | ||
[2m2025-01-15T05:25:47.860026Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18 | ||
[2m2025-01-15T05:25:47.860027Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 18 | ||
[2m2025-01-15T05:25:47.860028Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 17 | ||
[2m2025-01-15T05:25:47.860029Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 18 | ||
[2m2025-01-15T05:25:47.860030Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 18 | ||
[2m2025-01-15T05:25:48.131792Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m272ms [3mtime.idle[0m[2m=[0m1.73µs [2m[3mindex[0m[2m=[0m0[0m | ||
[2m2025-01-15T05:26:30.347547Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=7364550, total_syscall_cycles=20, touched_memory_addresses=65524 | ||
[2m2025-01-15T05:26:30.347581Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts): | ||
[2m2025-01-15T05:26:30.347591Z[0m [32m INFO[0m [1mprove_core[0m: 2314539 add | ||
[2m2025-01-15T05:26:30.347594Z[0m [32m INFO[0m [1mprove_core[0m: 1274647 lw | ||
[2m2025-01-15T05:26:30.347596Z[0m [32m INFO[0m [1mprove_core[0m: 1195952 sw | ||
[2m2025-01-15T05:26:30.347599Z[0m [32m INFO[0m [1mprove_core[0m: 615145 sll | ||
[2m2025-01-15T05:26:30.347601Z[0m [32m INFO[0m [1mprove_core[0m: 392267 bltu | ||
[2m2025-01-15T05:26:30.347603Z[0m [32m INFO[0m [1mprove_core[0m: 297523 sltu | ||
[2m2025-01-15T05:26:30.347604Z[0m [32m INFO[0m [1mprove_core[0m: 292753 xor | ||
[2m2025-01-15T05:26:30.347606Z[0m [32m INFO[0m [1mprove_core[0m: 277750 srl | ||
[2m2025-01-15T05:26:30.347608Z[0m [32m INFO[0m [1mprove_core[0m: 273148 or | ||
[2m2025-01-15T05:26:30.347609Z[0m [32m INFO[0m [1mprove_core[0m: 137303 bne | ||
[2m2025-01-15T05:26:30.347611Z[0m [32m INFO[0m [1mprove_core[0m: 91900 bgeu | ||
[2m2025-01-15T05:26:30.347613Z[0m [32m INFO[0m [1mprove_core[0m: 88631 beq | ||
[2m2025-01-15T05:26:30.347615Z[0m [32m INFO[0m [1mprove_core[0m: 51335 jal | ||
[2m2025-01-15T05:26:30.347616Z[0m [32m INFO[0m [1mprove_core[0m: 23382 sub | ||
[2m2025-01-15T05:26:30.347617Z[0m [32m INFO[0m [1mprove_core[0m: 14711 jalr | ||
[2m2025-01-15T05:26:30.347618Z[0m [32m INFO[0m [1mprove_core[0m: 11850 and | ||
[2m2025-01-15T05:26:30.347620Z[0m [32m INFO[0m [1mprove_core[0m: 7359 auipc | ||
[2m2025-01-15T05:26:30.347621Z[0m [32m INFO[0m [1mprove_core[0m: 2764 mul | ||
[2m2025-01-15T05:26:30.347622Z[0m [32m INFO[0m [1mprove_core[0m: 533 sb | ||
[2m2025-01-15T05:26:30.347624Z[0m [32m INFO[0m [1mprove_core[0m: 380 lbu | ||
[2m2025-01-15T05:26:30.347625Z[0m [32m INFO[0m [1mprove_core[0m: 352 blt | ||
[2m2025-01-15T05:26:30.347626Z[0m [32m INFO[0m [1mprove_core[0m: 298 mulhu | ||
[2m2025-01-15T05:26:30.347628Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall | ||
[2m2025-01-15T05:26:30.347629Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb | ||
[2m2025-01-15T05:26:30.347630Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu | ||
[2m2025-01-15T05:26:30.347631Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge | ||
[2m2025-01-15T05:26:30.347634Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts): | ||
[2m2025-01-15T05:26:30.347640Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit | ||
[2m2025-01-15T05:26:30.347642Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs | ||
[2m2025-01-15T05:26:30.347644Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt | ||
[2m2025-01-15T05:26:30.347645Z[0m [32m INFO[0m [1mprove_core[0m: 1 write | ||
[2m2025-01-15T05:26:30.347646Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len | ||
[2m2025-01-15T05:26:30.347648Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read | ||
[2m2025-01-15T05:26:30.347655Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=7364550, e2e=44.16852777s, khz=166.74 | ||
[2m2025-01-15T05:26:30.352878Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m42.4s [3mtime.idle[0m[2m=[0m1.73s | ||
Successfully generated proof! | ||
[2m2025-01-15T05:26:31.281313Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m904ms [3mtime.idle[0m[2m=[0m1.76µs | ||
Successfully verified proof! |
23 changes: 23 additions & 0 deletions
23
sorting-output/22406-2025-01-15T05:25:42,040021070+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=22406 --prove" | ||
User time (seconds): 2530.64 | ||
System time (seconds): 91.09 | ||
Percent of CPU this job got: 5297% | ||
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:49.49 | ||
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): 40688588 | ||
Average resident set size (kbytes): 0 | ||
Major (requiring I/O) page faults: 9 | ||
Minor (reclaiming a frame) page faults: 22934182 | ||
Voluntary context switches: 589980 | ||
Involuntary context switches: 125275 | ||
Swaps: 0 | ||
File system inputs: 0 | ||
File system outputs: 976 | ||
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/22406-2025-01-15T05:26:32,476560654+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/22406-2025-01-15T05:26:32,476560654+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" | ||
User time (seconds): 1217.67 | ||
System time (seconds): 79.05 | ||
Percent of CPU this job got: 3633% | ||
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:35.69 | ||
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): 13903040 | ||
Average resident set size (kbytes): 0 | ||
Major (requiring I/O) page faults: 0 | ||
Minor (reclaiming a frame) page faults: 9716510 | ||
Voluntary context switches: 1142592 | ||
Involuntary context switches: 191157 | ||
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.