← curl URL Parser (CURLU API)

790a219284-7498

done curl @ 790a219284 run #7498 libFuzzer + AddressSanitizer

Progress

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

Corpus: 10,133 entries · Started: 2026-10-29T12:05:39+00:00 · Finished: 2026-10-29 12:12:49 · Updated: 2026-10-29 12:12:49

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: 3598808008
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x6411785f3440, 0x6411785fa076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x6411785fa078,0x6411786663d8), 
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: 665/19Kb exec/s: 2730 rss: 143Mb
#10134	INITED cov: 864 ft: 2076 corp: 670/25Kb exec/s: 2026 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: 220Mb
Done 50000 runs in 13 second(s)

No crashes found so far.

All Checkpoints (clean passes + crashes)

#Execs so farStatusTimeLog / Artifact
150,000clean2026-10-29 12:06:00
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 128985561
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5f3064cfb440, 0x5f3064d02076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5f3064d02078,0x5f3064d6e3d8), 
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: 657/19Kb exec/s: 2730 rss: 143Mb
#10134	INITED cov: 864 ft: 2076 corp: 662/25Kb exec/s: 2026 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 662/25Kb lim: 2114 exec/s: 2730 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 662/25Kb lim: 2279 exec/s: 3640 rss: 205Mb
#50000	DONE   cov: 864 ft: 2076 corp: 662/25Kb lim: 2455 exec/s: 4166 rss: 219Mb
Done 50000 runs in 12 second(s)
2100,000clean2026-10-29 12:06:23
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 550264488
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5cc3cdfe9440, 0x5cc3cdff0076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5cc3cdff0078,0x5cc3ce05c3d8), 
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: 665/19Kb exec/s: 2730 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 670/25Kb exec/s: 2026 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)
3150,000clean2026-10-29 12:06:32
log
4200,000clean2026-10-29 12:06:57
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 2579516270
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5c2b9b025440, 0x5c2b9b02c076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5c2b9b02c078,0x5c2b9b0983d8), 
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: 143Mb
#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: 190Mb
#32768	pulse  cov: 864 ft: 2076 corp: 672/25Kb lim: 2279 exec/s: 3640 rss: 204Mb
#50000	DONE   cov: 864 ft: 2076 corp: 672/25Kb lim: 2455 exec/s: 3846 rss: 219Mb
Done 50000 runs in 13 second(s)
5250,000clean2026-10-29 12:07:31
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 3226308580
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5deaf1dcd440, 0x5deaf1dd4076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5deaf1dd4078,0x5deaf1e403d8), 
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: 658/19Kb exec/s: 2730 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 663/25Kb exec/s: 2026 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 663/25Kb lim: 2114 exec/s: 2730 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 663/25Kb lim: 2279 exec/s: 3640 rss: 205Mb
#50000	DONE   cov: 864 ft: 2076 corp: 663/25Kb lim: 2455 exec/s: 4166 rss: 220Mb
Done 50000 runs in 12 second(s)
6300,000clean2026-10-29 12:08:04
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 664722734
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x59d2763d4440, 0x59d2763db076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x59d2763db078,0x59d2764473d8), 
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: 143Mb
#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: 205Mb
#50000	DONE   cov: 864 ft: 2076 corp: 672/25Kb lim: 2455 exec/s: 3846 rss: 220Mb
Done 50000 runs in 13 second(s)
7350,000clean2026-10-29 12:08:26
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 3991614710
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5d80f0c6b440, 0x5d80f0c72076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5d80f0c72078,0x5d80f0cde3d8), 
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: 3276 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 664/25Kb lim: 2279 exec/s: 4096 rss: 205Mb
#50000	DONE   cov: 864 ft: 2076 corp: 664/25Kb lim: 2455 exec/s: 4166 rss: 219Mb
Done 50000 runs in 12 second(s)
8400,000clean2026-10-29 12:08:48
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 504177942
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5b3123c33440, 0x5b3123c3a076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5b3123c3a078,0x5b3123ca63d8), 
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: 143Mb
#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: 205Mb
#50000	DONE   cov: 864 ft: 2076 corp: 669/25Kb lim: 2455 exec/s: 4166 rss: 220Mb
Done 50000 runs in 12 second(s)
9450,000clean2026-10-29 12:08:56
log
10500,000clean2026-10-29 12:09:16
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 3651251528
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5ed2cbe04440, 0x5ed2cbe0b076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5ed2cbe0b078,0x5ed2cbe773d8), 
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: 668/19Kb exec/s: 2730 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 673/25Kb exec/s: 2026 rss: 185Mb
#16384	pulse  cov: 864 ft: 2076 corp: 673/25Kb lim: 2114 exec/s: 3276 rss: 191Mb
#32768	pulse  cov: 864 ft: 2076 corp: 673/25Kb lim: 2279 exec/s: 4096 rss: 204Mb
#50000	DONE   cov: 864 ft: 2076 corp: 673/25Kb lim: 2455 exec/s: 4545 rss: 219Mb
Done 50000 runs in 11 second(s)
11550,000clean2026-10-29 12:09:37
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 3568400577
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x6508357e5440, 0x6508357ec076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x6508357ec078,0x6508358583d8), 
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: 665/19Kb exec/s: 2730 rss: 142Mb
#10134	INITED cov: 864 ft: 2076 corp: 670/25Kb exec/s: 2026 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: 4166 rss: 219Mb
Done 50000 runs in 12 second(s)
12600,000clean2026-10-29 12:10:00
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 2913261049
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5c3dfae71440, 0x5c3dfae78076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5c3dfae78078,0x5c3dfaee43d8), 
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: 220Mb
Done 50000 runs in 13 second(s)
13650,000clean2026-10-29 12:10:20
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 2810806585
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x65156c012440, 0x65156c019076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x65156c019078,0x65156c0853d8), 
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: 205Mb
#50000	DONE   cov: 864 ft: 2076 corp: 669/25Kb lim: 2455 exec/s: 4166 rss: 219Mb
Done 50000 runs in 12 second(s)
14700,000clean2026-10-29 12:10:39
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 352503978
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5de81499e440, 0x5de8149a5076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5de8149a5078,0x5de814a113d8), 
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: 204Mb
#50000	DONE   cov: 864 ft: 2076 corp: 665/25Kb lim: 2455 exec/s: 3846 rss: 218Mb
Done 50000 runs in 13 second(s)
15750,000clean2026-10-29 12:11:00
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 2766842388
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x569821075440, 0x56982107c076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x56982107c078,0x5698210e83d8), 
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: 143Mb
#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: 219Mb
Done 50000 runs in 13 second(s)
16800,000clean2026-10-29 12:11:24
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 286901997
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5f9d73f7a440, 0x5f9d73f81076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5f9d73f81078,0x5f9d73fed3d8), 
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: 613/8659b 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: 2340 rss: 190Mb
#32768	pulse  cov: 864 ft: 2076 corp: 670/25Kb lim: 2279 exec/s: 3640 rss: 204Mb
#50000	DONE   cov: 864 ft: 2076 corp: 670/25Kb lim: 2455 exec/s: 3846 rss: 219Mb
Done 50000 runs in 13 second(s)
17850,000clean2026-10-29 12:11:32
log
18900,000clean2026-10-29 12:11:55
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 734640941
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x5c3afe221440, 0x5c3afe228076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x5c3afe228078,0x5c3afe2943d8), 
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: 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: 190Mb
#32768	pulse  cov: 864 ft: 2076 corp: 666/25Kb lim: 2279 exec/s: 3276 rss: 204Mb
#50000	DONE   cov: 864 ft: 2076 corp: 666/25Kb lim: 2455 exec/s: 3846 rss: 219Mb
Done 50000 runs in 13 second(s)
19950,000clean2026-10-29 12:12:18
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 3761170622
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x59a10fee1440, 0x59a10fee8076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x59a10fee8078,0x59a10ff543d8), 
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: 190Mb
#32768	pulse  cov: 864 ft: 2076 corp: 664/25Kb lim: 2279 exec/s: 4096 rss: 205Mb
#50000	DONE   cov: 864 ft: 2076 corp: 664/25Kb lim: 2455 exec/s: 4166 rss: 220Mb
Done 50000 runs in 12 second(s)
201,000,000clean2026-10-29 12:12:40
log
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 3598808008
INFO: Loaded 1 modules   (27702 inline 8-bit counters): 27702 [0x6411785f3440, 0x6411785fa076), 
INFO: Loaded 1 PC tables (27702 PCs): 27702 [0x6411785fa078,0x6411786663d8), 
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: 665/19Kb exec/s: 2730 rss: 143Mb
#10134	INITED cov: 864 ft: 2076 corp: 670/25Kb exec/s: 2026 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: 220Mb
Done 50000 runs in 13 second(s)