← curl URL Parser (CURLU API)

790a219284-7490

done curl @ 790a219284 run #7490 libFuzzer + AddressSanitizer

Progress

1,000,000 / 1,000,000 iterations (100.0%) — 2597 exec/s

Corpus: 10,133 entries · Started: 2026-10-29T11:15:23+00:00 · Finished: 2026-10-29 11:21:52 · Updated: 2026-10-29 11:21:52

Result

0 total crashes, 0 unique.

Parameters Used

ccclang
cflags-fsanitize=address -fsanitize-coverage=trace-pc-guard,indirect-calls -g -O1
configure_flags--disable-shared --without-ssl --disable-docs --disable-manual --without-libpsl
burst_size50000
target_execs1000000
harness_cmd./fuzz_url -runs=$BURST -artifact_prefix=crashes/ fuzz_corpus
fuzzerlibFuzzer + AddressSanitizer
clang_versionUbuntu clang version 14.0.0-1ubuntu1.1
build_okTrue

Run Log (last lines)

INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 3199544812
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5a5932238440, 0x5a593223f076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5a593223f078,0x5a59322ab3d8), 
INFO:    10133 files found in fuzz_corpus
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: seed corpus: files: 10133 min: 1b max: 3705b total: 3384173b rss: 40Mb
#4096	pulse  cov: 860 ft: 1954 corp: 611/8541b exec/s: 2048 rss: 89Mb
#8192	pulse  cov: 864 ft: 2061 corp: 660/19Kb exec/s: 1638 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 665/25Kb exec/s: 1447 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 665/25Kb lim: 2114 exec/s: 1820 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 665/25Kb lim: 2279 exec/s: 2730 rss: 205Mb
#50000	DONE   cov: 864 ft: 2076 corp: 665/25Kb lim: 2455 exec/s: 3125 rss: 219Mb
Done 50000 runs in 16 second(s)

No crashes found so far.

All Checkpoints (clean passes + crashes)

#Execs so farStatusTimeLog / Artifact
150,000clean2026-10-29 11:15:42
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 2600157705
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x578e2e862440, 0x578e2e869076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x578e2e869078,0x578e2e8d53d8), 
INFO:    10133 files found in fuzz_corpus
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: seed corpus: files: 10133 min: 1b max: 3705b total: 3384173b rss: 40Mb
#8192	pulse  cov: 864 ft: 2061 corp: 663/19Kb exec/s: 2730 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 668/25Kb exec/s: 2026 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 668/25Kb lim: 2114 exec/s: 2730 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 668/25Kb lim: 2279 exec/s: 3640 rss: 205Mb
#50000	DONE   cov: 864 ft: 2076 corp: 668/25Kb lim: 2455 exec/s: 3846 rss: 219Mb
Done 50000 runs in 13 second(s)
2100,000clean2026-10-29 11:16:01
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 209048465
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5b8395587440, 0x5b839558e076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5b839558e078,0x5b83955fa3d8), 
INFO:    10133 files found in fuzz_corpus
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: seed corpus: files: 10133 min: 1b max: 3705b total: 3384173b rss: 40Mb
#8192	pulse  cov: 864 ft: 2061 corp: 662/19Kb exec/s: 2048 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 667/25Kb exec/s: 1689 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 667/25Kb lim: 2114 exec/s: 2730 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 667/25Kb lim: 2279 exec/s: 3640 rss: 205Mb
#50000	DONE   cov: 864 ft: 2076 corp: 667/25Kb lim: 2455 exec/s: 4545 rss: 220Mb
Done 50000 runs in 11 second(s)
3150,000clean2026-10-29 11:16:22
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 2133346293
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x57dc17818440, 0x57dc1781f076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x57dc1781f078,0x57dc1788b3d8), 
INFO:    10133 files found in fuzz_corpus
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: seed corpus: files: 10133 min: 1b max: 3705b total: 3384173b rss: 40Mb
#8192	pulse  cov: 864 ft: 2061 corp: 664/19Kb exec/s: 2730 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 669/25Kb exec/s: 2026 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 669/25Kb lim: 2114 exec/s: 2730 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 669/25Kb lim: 2279 exec/s: 3640 rss: 204Mb
#50000	DONE   cov: 864 ft: 2076 corp: 669/25Kb lim: 2455 exec/s: 3846 rss: 218Mb
Done 50000 runs in 13 second(s)
4200,000clean2026-10-29 11:16:46
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 846277236
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5670f7bf9440, 0x5670f7c00076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5670f7c00078,0x5670f7c6c3d8), 
INFO:    10133 files found in fuzz_corpus
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: seed corpus: files: 10133 min: 1b max: 3705b total: 3384173b rss: 40Mb
#4096	pulse  cov: 860 ft: 1954 corp: 610/8513b exec/s: 2048 rss: 89Mb
#8192	pulse  cov: 864 ft: 2061 corp: 661/19Kb exec/s: 2048 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 666/25Kb exec/s: 2026 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 666/25Kb lim: 2114 exec/s: 2730 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 666/25Kb lim: 2279 exec/s: 3640 rss: 204Mb
#50000	DONE   cov: 864 ft: 2076 corp: 666/25Kb lim: 2455 exec/s: 3846 rss: 218Mb
Done 50000 runs in 13 second(s)
5250,000clean2026-10-29 11:17:08
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 184801160
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5f0694df9440, 0x5f0694e00076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5f0694e00078,0x5f0694e6c3d8), 
INFO:    10133 files found in fuzz_corpus
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: seed corpus: files: 10133 min: 1b max: 3705b total: 3384173b rss: 40Mb
#8192	pulse  cov: 864 ft: 2061 corp: 660/19Kb exec/s: 2730 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 665/25Kb exec/s: 2026 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 665/25Kb lim: 2114 exec/s: 2730 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 665/25Kb lim: 2279 exec/s: 3640 rss: 205Mb
#50000	DONE   cov: 864 ft: 2076 corp: 665/25Kb lim: 2455 exec/s: 3846 rss: 219Mb
Done 50000 runs in 13 second(s)
6300,000clean2026-10-29 11:17:29
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 811224474
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5bfc00012440, 0x5bfc00019076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5bfc00019078,0x5bfc000853d8), 
INFO:    10133 files found in fuzz_corpus
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: seed corpus: files: 10133 min: 1b max: 3705b total: 3384173b rss: 40Mb
#8192	pulse  cov: 864 ft: 2061 corp: 669/19Kb exec/s: 2730 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 674/25Kb exec/s: 2026 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 674/25Kb lim: 2114 exec/s: 2730 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 674/25Kb lim: 2279 exec/s: 3640 rss: 204Mb
#50000	DONE   cov: 864 ft: 2076 corp: 674/25Kb lim: 2455 exec/s: 4166 rss: 219Mb
Done 50000 runs in 12 second(s)
7350,000clean2026-10-29 11:17:37
log
8400,000clean2026-10-29 11:17:59
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 4234632212
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5c8f73ea5440, 0x5c8f73eac076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5c8f73eac078,0x5c8f73f183d8), 
INFO:    10133 files found in fuzz_corpus
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: seed corpus: files: 10133 min: 1b max: 3705b total: 3384173b rss: 40Mb
#4096	pulse  cov: 860 ft: 1954 corp: 615/8674b exec/s: 2048 rss: 89Mb
#8192	pulse  cov: 864 ft: 2061 corp: 665/19Kb exec/s: 2048 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 670/25Kb exec/s: 1689 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 670/25Kb lim: 2114 exec/s: 2730 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 670/25Kb lim: 2279 exec/s: 3640 rss: 205Mb
#50000	DONE   cov: 864 ft: 2076 corp: 670/25Kb lim: 2455 exec/s: 3846 rss: 219Mb
Done 50000 runs in 13 second(s)
9450,000clean2026-10-29 11:18:21
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 56610388
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5b5fabf59440, 0x5b5fabf60076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5b5fabf60078,0x5b5fabfcc3d8), 
INFO:    10133 files found in fuzz_corpus
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: seed corpus: files: 10133 min: 1b max: 3705b total: 3384173b rss: 40Mb
#8192	pulse  cov: 864 ft: 2061 corp: 655/19Kb exec/s: 2730 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 660/25Kb exec/s: 2533 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 660/25Kb lim: 2114 exec/s: 3276 rss: 190Mb
#32768	pulse  cov: 864 ft: 2076 corp: 660/25Kb lim: 2279 exec/s: 4096 rss: 203Mb
#50000	DONE   cov: 864 ft: 2076 corp: 660/25Kb lim: 2455 exec/s: 4545 rss: 218Mb
Done 50000 runs in 11 second(s)
10500,000clean2026-10-29 11:18:34
log
11550,000clean2026-10-29 11:18:56
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 1898109945
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5d886c366440, 0x5d886c36d076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5d886c36d078,0x5d886c3d93d8), 
INFO:    10133 files found in fuzz_corpus
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: seed corpus: files: 10133 min: 1b max: 3705b total: 3384173b rss: 40Mb
#8192	pulse  cov: 864 ft: 2061 corp: 667/19Kb exec/s: 2730 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 672/25Kb exec/s: 2026 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 672/25Kb lim: 2114 exec/s: 2730 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 672/25Kb lim: 2279 exec/s: 3640 rss: 206Mb
#50000	DONE   cov: 864 ft: 2076 corp: 672/25Kb lim: 2455 exec/s: 4166 rss: 220Mb
Done 50000 runs in 12 second(s)
12600,000clean2026-10-29 11:19:15
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 437469891
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5c747c60c440, 0x5c747c613076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5c747c613078,0x5c747c67f3d8), 
INFO:    10133 files found in fuzz_corpus
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: seed corpus: files: 10133 min: 1b max: 3705b total: 3384173b rss: 40Mb
#8192	pulse  cov: 864 ft: 2061 corp: 664/19Kb exec/s: 2730 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 669/25Kb exec/s: 2026 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 669/25Kb lim: 2114 exec/s: 2730 rss: 190Mb
#32768	pulse  cov: 864 ft: 2076 corp: 669/25Kb lim: 2279 exec/s: 3640 rss: 205Mb
#50000	DONE   cov: 864 ft: 2076 corp: 669/25Kb lim: 2455 exec/s: 3846 rss: 219Mb
Done 50000 runs in 13 second(s)
13650,000clean2026-10-29 11:19:34
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 2656606229
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5afd46ddb440, 0x5afd46de2076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5afd46de2078,0x5afd46e4e3d8), 
INFO:    10133 files found in fuzz_corpus
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: seed corpus: files: 10133 min: 1b max: 3705b total: 3384173b rss: 40Mb
#8192	pulse  cov: 864 ft: 2061 corp: 662/19Kb exec/s: 2730 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 667/25Kb exec/s: 2026 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 667/25Kb lim: 2114 exec/s: 2730 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 667/25Kb lim: 2279 exec/s: 3640 rss: 204Mb
#50000	DONE   cov: 864 ft: 2076 corp: 667/25Kb lim: 2455 exec/s: 4166 rss: 219Mb
Done 50000 runs in 12 second(s)
14700,000clean2026-10-29 11:19:40
log
15750,000clean2026-10-29 11:19:59
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 1784054810
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5ddda9b3e440, 0x5ddda9b45076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5ddda9b45078,0x5ddda9bb13d8), 
INFO:    10133 files found in fuzz_corpus
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: seed corpus: files: 10133 min: 1b max: 3705b total: 3384173b rss: 40Mb
#8192	pulse  cov: 864 ft: 2061 corp: 664/19Kb exec/s: 2730 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 669/25Kb exec/s: 2026 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 669/25Kb lim: 2114 exec/s: 2730 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 669/25Kb lim: 2279 exec/s: 4096 rss: 206Mb
#50000	DONE   cov: 864 ft: 2076 corp: 669/25Kb lim: 2455 exec/s: 4166 rss: 220Mb
Done 50000 runs in 12 second(s)
16800,000clean2026-10-29 11:20:20
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 3500823729
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5f52e4c8d440, 0x5f52e4c94076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5f52e4c94078,0x5f52e4d003d8), 
INFO:    10133 files found in fuzz_corpus
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: seed corpus: files: 10133 min: 1b max: 3705b total: 3384173b rss: 40Mb
#8192	pulse  cov: 864 ft: 2061 corp: 663/19Kb exec/s: 2730 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 668/25Kb exec/s: 2026 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 668/25Kb lim: 2114 exec/s: 2730 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 668/25Kb lim: 2279 exec/s: 3640 rss: 205Mb
#50000	DONE   cov: 864 ft: 2076 corp: 668/25Kb lim: 2455 exec/s: 3846 rss: 219Mb
Done 50000 runs in 13 second(s)
17850,000clean2026-10-29 11:20:40
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 3935424460
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5977a75d0440, 0x5977a75d7076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5977a75d7078,0x5977a76433d8), 
INFO:    10133 files found in fuzz_corpus
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: seed corpus: files: 10133 min: 1b max: 3705b total: 3384173b rss: 40Mb
#8192	pulse  cov: 864 ft: 2061 corp: 661/19Kb exec/s: 2730 rss: 143Mb
#10134	INITED cov: 864 ft: 2076 corp: 666/25Kb exec/s: 2026 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 666/25Kb lim: 2114 exec/s: 2730 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 666/25Kb lim: 2279 exec/s: 4096 rss: 204Mb
#50000	DONE   cov: 864 ft: 2076 corp: 666/25Kb lim: 2455 exec/s: 4166 rss: 218Mb
Done 50000 runs in 12 second(s)
18900,000clean2026-10-29 11:20:59
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 2147156303
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x58f7258ef440, 0x58f7258f6076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x58f7258f6078,0x58f7259623d8), 
INFO:    10133 files found in fuzz_corpus
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: seed corpus: files: 10133 min: 1b max: 3705b total: 3384173b rss: 40Mb
#8192	pulse  cov: 864 ft: 2061 corp: 662/19Kb exec/s: 2730 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 667/25Kb exec/s: 2026 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 667/25Kb lim: 2114 exec/s: 2730 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 667/25Kb lim: 2279 exec/s: 4096 rss: 205Mb
#50000	DONE   cov: 864 ft: 2076 corp: 667/25Kb lim: 2455 exec/s: 5000 rss: 219Mb
Done 50000 runs in 10 second(s)
19950,000clean2026-10-29 11:21:19
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 469950438
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x59f55745f440, 0x59f557466076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x59f557466078,0x59f5574d23d8), 
INFO:    10133 files found in fuzz_corpus
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: seed corpus: files: 10133 min: 1b max: 3705b total: 3384173b rss: 40Mb
#8192	pulse  cov: 864 ft: 2061 corp: 659/19Kb exec/s: 2730 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 664/25Kb exec/s: 2026 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 664/25Kb lim: 2114 exec/s: 2730 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 664/25Kb lim: 2279 exec/s: 3640 rss: 204Mb
#50000	DONE   cov: 864 ft: 2076 corp: 664/25Kb lim: 2455 exec/s: 4166 rss: 218Mb
Done 50000 runs in 12 second(s)
201,000,000clean2026-10-29 11:21:44
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 3199544812
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5a5932238440, 0x5a593223f076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5a593223f078,0x5a59322ab3d8), 
INFO:    10133 files found in fuzz_corpus
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: seed corpus: files: 10133 min: 1b max: 3705b total: 3384173b rss: 40Mb
#4096	pulse  cov: 860 ft: 1954 corp: 611/8541b exec/s: 2048 rss: 89Mb
#8192	pulse  cov: 864 ft: 2061 corp: 660/19Kb exec/s: 1638 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 665/25Kb exec/s: 1447 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 665/25Kb lim: 2114 exec/s: 1820 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 665/25Kb lim: 2279 exec/s: 2730 rss: 205Mb
#50000	DONE   cov: 864 ft: 2076 corp: 665/25Kb lim: 2455 exec/s: 3125 rss: 219Mb
Done 50000 runs in 16 second(s)