Created
October 23, 2020 11:53
-
-
Save Sudha247/865e895f8169b6b789b324fb3ddb9925 to your computer and use it in GitHub Desktop.
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
| {"name":"menhir.ocamly","command":"taskset --cpu-list 5 menhir benchmarks/menhir/ocaml.mly --list-errors -la 2 --no-stdlib --lalr","time_secs":255.25621914863586,"user_time_secs":251.729447,"sys_time_secs":3.523964,"maxrss_kB":3488920,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":3224810688,"minor_words":2504422218,"promoted_words":427841373,"major_words":1148229843,"minor_collections":9586,"major_collections":37,"heap_words":358232903,"top_heap_words":444154632,"mean_space_overhead":22.530961},"codesize":955072.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"yojson_ydump.sample.json","command":"taskset --cpu-list 5 ./ydump.exe -c sample.json","time_secs":0.7880899906158447,"user_time_secs":0.771821,"sys_time_secs":0.015996,"maxrss_kB":11916,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":11948077,"minor_words":9737529,"promoted_words":904366,"major_words":3114914,"minor_collections":53,"major_collections":18,"heap_words":463912,"top_heap_words":554476,"mean_space_overhead":117.008943},"codesize":533416.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"mandelbrot6.16_000","command":"taskset --cpu-list 5 ./mandelbrot6.exe 16_000","time_secs":40.87311601638794,"user_time_secs":40.872665,"sys_time_secs":0.0,"maxrss_kB":5484,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":5206,"minor_words":5112,"promoted_words":0,"major_words":94,"minor_collections":0,"major_collections":0,"heap_words":8192,"top_heap_words":8192,"mean_space_overhead":0.0},"codesize":275212.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"cpdf.squeeze","command":"taskset --cpu-list 5 cpdf -squeeze benchmarks/cpdf/PDFReference16.pdf_toobig -o /dev/null","time_secs":16.582642078399658,"user_time_secs":16.382144,"sys_time_secs":0.199977,"maxrss_kB":372640,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":437796088,"minor_words":422125361,"promoted_words":124458579,"major_words":140129306,"minor_collections":1655,"major_collections":32,"heap_words":29792126,"top_heap_words":45884394,"mean_space_overhead":28.540122},"codesize":1131464.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"test_decompress.64_524_288","command":"taskset --cpu-list 5 ./test_decompress.exe 64 524_288","time_secs":4.256294012069702,"user_time_secs":4.236019,"sys_time_secs":0.02,"maxrss_kB":13588,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":408511873,"minor_words":302818876,"promoted_words":79045,"major_words":105772042,"minor_collections":1592,"major_collections":455,"heap_words":601773,"top_heap_words":943449,"mean_space_overhead":83.169037},"codesize":340426.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"evolutionary_algorithm.10000_10000","command":"taskset --cpu-list 5 ./evolutionary_algorithm.exe 10000 10000","time_secs":73.58970403671265,"user_time_secs":71.70069599999999,"sys_time_secs":1.888018,"maxrss_kB":3338856,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":5031096620,"minor_words":3730836521,"promoted_words":715302,"major_words":1300975401,"minor_collections":14266,"major_collections":30,"heap_words":396708758,"top_heap_words":426637734,"mean_space_overhead":14.020578},"codesize":167227.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"knucleotide3.","command":"taskset --cpu-list 5 ./knucleotide3.exe","time_secs":46.64733099937439,"user_time_secs":46.510756,"sys_time_secs":0.135996,"maxrss_kB":267412,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":101822321,"minor_words":69422933,"promoted_words":1541995,"major_words":33941383,"minor_collections":267,"major_collections":6,"heap_words":33997001,"top_heap_words":33997001,"mean_space_overhead":2366.523076},"codesize":280448.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"cubicle.szymanski_at.cub","command":"taskset --cpu-list 5 cubicle benchmarks/cubicle/szymanski_at.cub","time_secs":559.9695508480072,"user_time_secs":559.730303,"sys_time_secs":0.232655,"maxrss_kB":175404,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":106323726051,"minor_words":106101800949,"promoted_words":6195697705,"major_words":6417622807,"minor_collections":406198,"major_collections":1464,"heap_words":16777868,"top_heap_words":27718385,"mean_space_overhead":87.005241},"codesize":1216325.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"qr-decomposition.","command":"taskset --cpu-list 5 ./qr_decomposition.exe","time_secs":2.4519901275634766,"user_time_secs":2.447683,"sys_time_secs":0.003999,"maxrss_kB":8264,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":1712410175,"minor_words":1712410089,"promoted_words":2682877,"major_words":2682963,"minor_collections":6559,"major_collections":31,"heap_words":293179,"top_heap_words":371508,"mean_space_overhead":67.386151},"codesize":217351.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"cpdf.blacktext","command":"taskset --cpu-list 5 cpdf -blacktext benchmarks/cpdf/metro_geo.pdf -o /dev/null","time_secs":4.441092014312744,"user_time_secs":4.368675,"sys_time_secs":0.072077,"maxrss_kB":146136,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":58307610,"minor_words":56377583,"promoted_words":26026912,"major_words":27956939,"minor_collections":228,"major_collections":14,"heap_words":16222792,"top_heap_words":16322328,"mean_space_overhead":24.705256},"codesize":1131464.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"thread_ring_lwt_mvar.20_000","command":"taskset --cpu-list 5 ./thread_ring_lwt_mvar.exe 20_000","time_secs":3.4168992042541504,"user_time_secs":3.4126,"sys_time_secs":0.004,"maxrss_kB":8108,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":926797858,"minor_words":926796752,"promoted_words":69291460,"major_words":69292566,"minor_collections":4710,"major_collections":1178,"heap_words":218100,"top_heap_words":238580,"mean_space_overhead":136.59825},"codesize":396296.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"lu-decomposition.","command":"taskset --cpu-list 5 ./lu_decomposition.exe","time_secs":1.3781208992004395,"user_time_secs":1.341781,"sys_time_secs":0.036047,"maxrss_kB":66692,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":551063220,"minor_words":543585656,"promoted_words":298437,"major_words":7776001,"minor_collections":2076,"major_collections":7,"heap_words":7197219,"top_heap_words":7246371,"mean_space_overhead":10.181178},"codesize":336285.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"chameneos_redux_lwt.600000","command":"taskset --cpu-list 5 ./chameneos_redux_lwt.exe 600000","time_secs":2.2570619583129883,"user_time_secs":1.904645,"sys_time_secs":0.352119,"maxrss_kB":7024,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":548087973,"minor_words":548087875,"promoted_words":746079,"major_words":746177,"minor_collections":2149,"major_collections":62,"heap_words":98304,"top_heap_words":98304,"mean_space_overhead":397.31301},"codesize":402712.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"imrin_mem_rw.10_000_50_000_80_100_000_000","command":"taskset --cpu-list 5 ./irmin_mem_rw.exe 10_000 50_000 80 100_000_000","time_secs":8.692600965499878,"user_time_secs":8.688267,"sys_time_secs":0.004,"maxrss_kB":13820,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":6022775018,"minor_words":6022773895,"promoted_words":679643,"major_words":680766,"minor_collections":22984,"major_collections":16,"heap_words":214083,"top_heap_words":517187,"mean_space_overhead":112.60381},"codesize":1631588.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"zarith_pi.5000","command":"taskset --cpu-list 5 ./zarith_pi.exe 5000","time_secs":0.5885820388793945,"user_time_secs":0.5683,"sys_time_secs":0.02001,"maxrss_kB":16948,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":396117589,"minor_words":3413359,"promoted_words":10315,"major_words":392714545,"minor_collections":757,"major_collections":747,"heap_words":1120251,"top_heap_words":1397574,"mean_space_overhead":106.030539},"codesize":204079.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"matrix_multiplication.1024","command":"taskset --cpu-list 5 ./matrix_multiplication.exe 1024","time_secs":8.576860904693604,"user_time_secs":8.55254,"sys_time_secs":0.02399,"maxrss_kB":30008,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":5249381,"minor_words":2097420,"promoted_words":150,"major_words":3152111,"minor_collections":12,"major_collections":4,"heap_words":2665984,"top_heap_words":2665984,"mean_space_overhead":6.961085},"codesize":65882.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"cpdf.scale","command":"taskset --cpu-list 5 cpdf scale-to-fit a4landscape -twoup benchmarks/cpdf/PDFReference16.pdf_toobig -o /dev/null","time_secs":14.175793886184692,"user_time_secs":13.991312,"sys_time_secs":0.18399,"maxrss_kB":288828,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":603095157,"minor_words":592505655,"promoted_words":85188062,"major_words":95777564,"minor_collections":2286,"major_collections":28,"heap_words":32565181,"top_heap_words":34772410,"mean_space_overhead":27.238648},"codesize":1131464.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"game_of_life.256","command":"taskset --cpu-list 5 ./game_of_life.exe 256","time_secs":12.01279902458191,"user_time_secs":12.004509,"sys_time_secs":0.008,"maxrss_kB":19604,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":2102660,"minor_words":1324,"promoted_words":150,"major_words":2101486,"minor_collections":3,"major_collections":3,"heap_words":1610240,"top_heap_words":1610240,"mean_space_overhead":8.243542},"codesize":67135.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"nbody.50_000_000","command":"taskset --cpu-list 5 ./nbody.exe 50_000_000","time_secs":7.6924450397491455,"user_time_secs":7.68812,"sys_time_secs":0.004,"maxrss_kB":5600,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":5902,"minor_words":5808,"promoted_words":0,"major_words":94,"minor_collections":0,"major_collections":0,"heap_words":8192,"top_heap_words":8192,"mean_space_overhead":0.0},"codesize":276710.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"test_lwt.200","command":"taskset --cpu-list 5 ./test_lwt.exe 200","time_secs":22.716453075408936,"user_time_secs":22.704035,"sys_time_secs":0.012,"maxrss_kB":19360,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":1144992455,"minor_words":414823417,"promoted_words":7060969,"major_words":737230007,"minor_collections":2472,"major_collections":1236,"heap_words":1341695,"top_heap_words":1607339,"mean_space_overhead":110.574958},"codesize":519546.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"cubicle.german_pfs.cub","command":"taskset --cpu-list 5 cubicle benchmarks/cubicle/german_pfs.cub","time_secs":263.0617501735687,"user_time_secs":262.461655,"sys_time_secs":0.595991,"maxrss_kB":421820,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":23242775553,"minor_words":20164815388,"promoted_words":439110724,"major_words":3517070889,"minor_collections":77217,"major_collections":455,"heap_words":33795306,"top_heap_words":55887587,"mean_space_overhead":113.868458},"codesize":1216325.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"alt-ergo.fill.why","command":"taskset --cpu-list 5 alt-ergo benchmarks/alt-ergo/fill.why","time_secs":2.5648179054260254,"user_time_secs":2.332196,"sys_time_secs":0.232019,"maxrss_kB":428940,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":185667540,"minor_words":168491272,"promoted_words":43624650,"major_words":60800918,"minor_collections":653,"major_collections":17,"heap_words":46729195,"top_heap_words":46729195,"mean_space_overhead":5.676351},"codesize":2822317.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"setrip.-enc_-rseed_1067894368","command":"taskset --cpu-list 5 setrip -enc -rseed 1067894368","time_secs":1.6036601066589355,"user_time_secs":1.603434,"sys_time_secs":0.0,"maxrss_kB":6344,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":172406257,"minor_words":172397970,"promoted_words":5054,"major_words":13341,"minor_collections":663,"major_collections":13,"heap_words":65539,"top_heap_words":65539,"mean_space_overhead":622.454246},"codesize":292220.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"coq.AbstractInterpretation.v","command":"taskset --cpu-list 5 coqc benchmarks/coq/AbstractInterpretation.v","time_secs":324.2321810722351,"user_time_secs":323.481324,"sys_time_secs":0.747993,"maxrss_kB":1170248,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":71676242712,"minor_words":71361760885,"promoted_words":660606910,"major_words":975088737,"minor_collections":272372,"major_collections":78,"heap_words":61724725,"top_heap_words":118227163,"mean_space_overhead":44.384942},"codesize":5869690.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"grammatrix.","command":"taskset --cpu-list 5 ./grammatrix.exe","time_secs":94.68549799919128,"user_time_secs":94.27216,"sys_time_secs":0.411983,"maxrss_kB":507552,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":213874902,"minor_words":147154711,"promoted_words":1901484,"major_words":68621675,"minor_collections":573,"major_collections":15,"heap_words":61451504,"top_heap_words":62328048,"mean_space_overhead":4.706012},"codesize":242955.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"knucleotide.","command":"taskset --cpu-list 5 ./knucleotide.exe","time_secs":46.714375019073486,"user_time_secs":46.425763,"sys_time_secs":0.28801,"maxrss_kB":358864,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":137156945,"minor_words":88502172,"promoted_words":2355008,"major_words":51009781,"minor_collections":341,"major_collections":7,"heap_words":44628795,"top_heap_words":44628795,"mean_space_overhead":12.242106},"codesize":276859.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"revcomp2.","command":"taskset --cpu-list 5 ./revcomp2.exe","time_secs":3.090400218963623,"user_time_secs":2.950034,"sys_time_secs":0.140096,"maxrss_kB":202000,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":75195730,"minor_words":75195636,"promoted_words":49934318,"major_words":49934412,"minor_collections":303,"major_collections":17,"heap_words":21241856,"top_heap_words":24502272,"mean_space_overhead":24.643466},"codesize":275518.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"floyd_warshall.512","command":"taskset --cpu-list 5 ./floyd_warshall.exe 512","time_secs":3.718122959136963,"user_time_secs":3.697835,"sys_time_secs":0.020009,"maxrss_kB":18596,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":273840731,"minor_words":273577476,"promoted_words":6133775,"major_words":6397030,"minor_collections":1311,"major_collections":25,"heap_words":1710083,"top_heap_words":1710083,"mean_space_overhead":38.473389},"codesize":66961.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"lexifi-g2pp.","command":"taskset --cpu-list 5 ./main.exe","time_secs":17.395503044128418,"user_time_secs":17.391126,"sys_time_secs":0.004,"maxrss_kB":7000,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":1659521642,"minor_words":1659521556,"promoted_words":184128,"major_words":184214,"minor_collections":6338,"major_collections":12,"heap_words":132067,"top_heap_words":132067,"mean_space_overhead":93.33423500000001},"codesize":211361.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"LU_decomposition.1024","command":"taskset --cpu-list 5 ./LU_decomposition.exe 1024","time_secs":4.535211086273193,"user_time_secs":4.514907,"sys_time_secs":0.019995,"maxrss_kB":37920,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":2157967774,"minor_words":2153773380,"promoted_words":164,"major_words":4194558,"minor_collections":8217,"major_collections":2,"heap_words":3182601,"top_heap_words":3182601,"mean_space_overhead":3.491928},"codesize":66666.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"fannkuchredux2.12","command":"taskset --cpu-list 5 ./fannkuchredux2.exe 12","time_secs":89.36912488937378,"user_time_secs":89.36845700000001,"sys_time_secs":0.0,"maxrss_kB":5512,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":5662,"minor_words":5568,"promoted_words":0,"major_words":94,"minor_collections":0,"major_collections":0,"heap_words":8192,"top_heap_words":8192,"mean_space_overhead":0.0},"codesize":275875.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"menhir.sysver","command":"taskset --cpu-list 5 menhir -v --table benchmarks/menhir/sysver.mly","time_secs":86.01962494850159,"user_time_secs":85.362537,"sys_time_secs":0.655988,"maxrss_kB":843584,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":9319635066,"minor_words":9181509343,"promoted_words":328977471,"major_words":467103194,"minor_collections":35089,"major_collections":57,"heap_words":83845303,"top_heap_words":99194278,"mean_space_overhead":31.122596},"codesize":955072.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"binarytrees5.21","command":"taskset --cpu-list 5 ./binarytrees5.exe 21","time_secs":12.807836055755615,"user_time_secs":12.739484,"sys_time_secs":0.067997,"maxrss_kB":146964,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":916489750,"minor_words":916489656,"promoted_words":280583631,"major_words":280583725,"minor_collections":3565,"major_collections":69,"heap_words":17616896,"top_heap_words":18083840,"mean_space_overhead":38.695093},"codesize":275505.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"naive-multilayer.","command":"taskset --cpu-list 5 ./naive_multilayer.exe","time_secs":4.566939830780029,"user_time_secs":4.566602,"sys_time_secs":0.0,"maxrss_kB":6852,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":2171027943,"minor_words":2171027505,"promoted_words":1258844,"major_words":1259282,"minor_collections":8436,"major_collections":156,"heap_words":74082,"top_heap_words":74082,"mean_space_overhead":210.440656},"codesize":258119.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"pidigits5.10_000","command":"taskset --cpu-list 5 ./pidigits5.exe 10_000","time_secs":2.3468291759490967,"user_time_secs":2.266468,"sys_time_secs":0.08008700000000001,"maxrss_kB":19196,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":1667655651,"minor_words":3544712,"promoted_words":20465,"major_words":1664131404,"minor_collections":3156,"major_collections":3146,"heap_words":1163019,"top_heap_words":1455297,"mean_space_overhead":104.419892},"codesize":314984.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"durand-kerner-aberth.","command":"taskset --cpu-list 5 ./durand_kerner_aberth.exe","time_secs":0.15251517295837402,"user_time_secs":0.14823,"sys_time_secs":0.004006,"maxrss_kB":6352,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":77979144,"minor_words":77979058,"promoted_words":231832,"major_words":231918,"minor_collections":314,"major_collections":19,"heap_words":69632,"top_heap_words":69632,"mean_space_overhead":361.08219},"codesize":209461.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"thread_ring_lwt_stream.20_000","command":"taskset --cpu-list 5 ./thread_ring_lwt_stream.exe 20_000","time_secs":11.340169906616211,"user_time_secs":11.331846,"sys_time_secs":0.007998999999999999,"maxrss_kB":10628,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":1821157020,"minor_words":1821155914,"promoted_words":362286476,"major_words":362287582,"minor_collections":9265,"major_collections":2317,"heap_words":513012,"top_heap_words":529396,"mean_space_overhead":117.92782},"codesize":422678.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"fasta3.25_000_000","command":"taskset --cpu-list 5 ./fasta3.exe 25_000_000","time_secs":8.228768110275269,"user_time_secs":8.228453999999999,"sys_time_secs":0.0,"maxrss_kB":6264,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":401619692,"minor_words":401619598,"promoted_words":535,"major_words":629,"minor_collections":1526,"major_collections":1,"heap_words":65536,"top_heap_words":65536,"mean_space_overhead":0.0},"codesize":276997.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"levinson-durbin.","command":"taskset --cpu-list 5 ./levinson_durbin.exe","time_secs":3.058889150619507,"user_time_secs":3.038612,"sys_time_secs":0.01999,"maxrss_kB":9688,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":1251926047,"minor_words":1001902542,"promoted_words":35086,"major_words":250058591,"minor_collections":5564,"major_collections":1747,"heap_words":392280,"top_heap_words":539585,"mean_space_overhead":94.89532},"codesize":36284.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"spectralnorm2.5_500","command":"taskset --cpu-list 5 ./spectralnorm2.exe 5_500","time_secs":7.5409181118011475,"user_time_secs":7.53662,"sys_time_secs":0.004,"maxrss_kB":6796,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":2421167403,"minor_words":2421046287,"promoted_words":444,"major_words":121560,"minor_collections":9237,"major_collections":6,"heap_words":117877,"top_heap_words":128883,"mean_space_overhead":222.099942},"codesize":275803.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"fasta6.25_000_000","command":"taskset --cpu-list 5 ./fasta6.exe 25_000_000","time_secs":5.834025144577026,"user_time_secs":5.733729,"sys_time_secs":0.09995999999999999,"maxrss_kB":202736,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":25417544,"minor_words":780,"promoted_words":506,"major_words":25417270,"minor_collections":2,"major_collections":2,"heap_words":25478114,"top_heap_words":25478114,"mean_space_overhead":0.638386},"codesize":276871.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"menhir.sql-parser","command":"taskset --cpu-list 5 menhir -v -t benchmarks/menhir/keywords.mly benchmarks/menhir/sql-parser.mly --base sql-parser","time_secs":7.215360879898071,"user_time_secs":7.042988,"sys_time_secs":0.171975,"maxrss_kB":356212,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":1209664777,"minor_words":1199047236,"promoted_words":48797338,"major_words":59414879,"minor_collections":4598,"major_collections":21,"heap_words":40656791,"top_heap_words":40708178,"mean_space_overhead":11.048765},"codesize":955072.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"minilight.roomfront","command":"taskset --cpu-list 5 minilight-ocaml benchmarks/minilight/roomfront.ml.txt","time_secs":23.287510871887207,"user_time_secs":23.149208,"sys_time_secs":0.004,"maxrss_kB":13736,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":9747587125,"minor_words":9747570313,"promoted_words":10628679,"major_words":10645491,"minor_collections":37241,"major_collections":59,"heap_words":914010,"top_heap_words":914010,"mean_space_overhead":48.476583},"codesize":347395.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"kb_no_exc.","command":"taskset --cpu-list 5 ./kb_no_exc.exe","time_secs":2.6289830207824707,"user_time_secs":2.620709,"sys_time_secs":0.008002,"maxrss_kB":10060,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":187407609,"minor_words":187407523,"promoted_words":23262670,"major_words":23262756,"minor_collections":899,"major_collections":187,"heap_words":405504,"top_heap_words":581632,"mean_space_overhead":82.920633},"codesize":174371.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"fft.","command":"taskset --cpu-list 5 ./fft.exe","time_secs":3.705260992050171,"user_time_secs":3.648898,"sys_time_secs":0.056013,"maxrss_kB":189156,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":270833748,"minor_words":265590776,"promoted_words":135170018,"major_words":140412990,"minor_collections":1410,"major_collections":35,"heap_words":20758537,"top_heap_words":24440850,"mean_space_overhead":32.915403},"codesize":38914.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"regexredux2.","command":"taskset --cpu-list 5 ./regexredux2.exe","time_secs":18.537692070007324,"user_time_secs":18.01724,"sys_time_secs":0.520035,"maxrss_kB":811200,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":289205724,"minor_words":216764702,"promoted_words":167463954,"major_words":239904976,"minor_collections":847,"major_collections":23,"heap_words":98830658,"top_heap_words":109346962,"mean_space_overhead":20.667955},"codesize":275774.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"alt-ergo.yyll.why","command":"taskset --cpu-list 5 alt-ergo benchmarks/alt-ergo/yyll.why","time_secs":18.5101420879364,"user_time_secs":18.317658,"sys_time_secs":0.191975,"maxrss_kB":320088,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":2074812858,"minor_words":2045641385,"promoted_words":54756261,"major_words":83927734,"minor_collections":7828,"major_collections":27,"heap_words":37091040,"top_heap_words":37091040,"mean_space_overhead":23.453265},"codesize":2822317.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"sequence_cps.10000","command":"taskset --cpu-list 5 ./sequence_cps.exe 10000","time_secs":1.8637018203735352,"user_time_secs":1.859417,"sys_time_secs":0.003998,"maxrss_kB":5532,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":1502249024,"minor_words":1502248938,"promoted_words":209374,"major_words":209460,"minor_collections":6192,"major_collections":466,"heap_words":32768,"top_heap_words":32768,"mean_space_overhead":4982.80508},"codesize":142732.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"quicksort.4000000","command":"taskset --cpu-list 5 ./quicksort.exe 4000000","time_secs":3.1106112003326416,"user_time_secs":3.090335,"sys_time_secs":0.019989,"maxrss_kB":34388,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":4000352,"minor_words":265,"promoted_words":147,"major_words":4000234,"minor_collections":1,"major_collections":1,"heap_words":4032771,"top_heap_words":4032771,"mean_space_overhead":0.0},"codesize":66319.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"bdd.26","command":"taskset --cpu-list 5 ./bdd.exe 26","time_secs":5.491147994995117,"user_time_secs":5.482792,"sys_time_secs":0.007998,"maxrss_kB":22052,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":1230023628,"minor_words":1229491440,"promoted_words":1931244,"major_words":2463432,"minor_collections":4693,"major_collections":9,"heap_words":1752729,"top_heap_words":1752729,"mean_space_overhead":19.614688},"codesize":161020.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"fannkuchredux.12","command":"taskset --cpu-list 5 ./fannkuchredux.exe 12","time_secs":84.72576713562012,"user_time_secs":84.721141,"sys_time_secs":0.003999,"maxrss_kB":5456,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":5654,"minor_words":5560,"promoted_words":0,"major_words":94,"minor_collections":0,"major_collections":0,"heap_words":8192,"top_heap_words":8192,"mean_space_overhead":0.0},"codesize":275598.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"kb.","command":"taskset --cpu-list 5 ./kb.exe","time_secs":3.91271710395813,"user_time_secs":3.908411,"sys_time_secs":0.004,"maxrss_kB":10072,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":453343698,"minor_words":453343612,"promoted_words":24352413,"major_words":24352499,"minor_collections":1951,"major_collections":227,"heap_words":512000,"top_heap_words":557056,"mean_space_overhead":83.295834},"codesize":173591.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"coq.BasicSyntax.v","command":"taskset --cpu-list 5 coqc benchmarks/coq/BasicSyntax.v","time_secs":111.39042901992798,"user_time_secs":111.044751,"sys_time_secs":0.343989,"maxrss_kB":679164,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":23633602495,"minor_words":23620381200,"promoted_words":328079940,"major_words":341301235,"minor_collections":90207,"major_collections":42,"heap_words":52758551,"top_heap_words":54509787,"mean_space_overhead":37.457322},"codesize":5869690.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} | |
| {"name":"imrin_mem_rw.10_000_50_000_20_100_000_000","command":"taskset --cpu-list 5 ./irmin_mem_rw.exe 10_000 50_000 20 100_000_000","time_secs":7.652912139892578,"user_time_secs":7.648586,"sys_time_secs":0.004,"maxrss_kB":13892,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":4582592497,"minor_words":4582591374,"promoted_words":586253,"major_words":587376,"minor_collections":17486,"major_collections":11,"heap_words":209987,"top_heap_words":517187,"mean_space_overhead":106.367256},"codesize":1631588.0,"ocaml_url":"https://github.com/Sudha247/ocaml-multicore/archive/gc_colours_backport.tar.gz"} |
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
| {"name":"menhir.ocamly","command":"taskset --cpu-list 5 menhir benchmarks/menhir/ocaml.mly --list-errors -la 2 --no-stdlib --lalr","time_secs":258.8458390235901,"user_time_secs":255.358801,"sys_time_secs":3.483929,"maxrss_kB":3488004,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":3224810687,"minor_words":2504422217,"promoted_words":427841372,"major_words":1148229842,"minor_collections":9586,"major_collections":37,"heap_words":358216519,"top_heap_words":444134152,"mean_space_overhead":22.684764},"codesize":955072.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"yojson_ydump.sample.json","command":"taskset --cpu-list 5 ./ydump.exe -c sample.json","time_secs":0.7741708755493164,"user_time_secs":0.76194,"sys_time_secs":0.011967,"maxrss_kB":11996,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":11948075,"minor_words":9737527,"promoted_words":904364,"major_words":3114912,"minor_collections":53,"major_collections":18,"heap_words":463912,"top_heap_words":554476,"mean_space_overhead":117.011311},"codesize":533416.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"mandelbrot6.16_000","command":"taskset --cpu-list 5 ./mandelbrot6.exe 16_000","time_secs":40.89045214653015,"user_time_secs":40.890021,"sys_time_secs":0.0,"maxrss_kB":5564,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":5190,"minor_words":5096,"promoted_words":0,"major_words":94,"minor_collections":0,"major_collections":0,"heap_words":8192,"top_heap_words":8192,"mean_space_overhead":0.0},"codesize":275212.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"cpdf.squeeze","command":"taskset --cpu-list 5 cpdf -squeeze benchmarks/cpdf/PDFReference16.pdf_toobig -o /dev/null","time_secs":16.745661973953247,"user_time_secs":16.469218,"sys_time_secs":0.275953,"maxrss_kB":384192,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":437796087,"minor_words":422125360,"promoted_words":124458578,"major_words":140129305,"minor_collections":1655,"major_collections":32,"heap_words":28928115,"top_heap_words":47454916,"mean_space_overhead":32.708993},"codesize":1131464.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"test_decompress.64_524_288","command":"taskset --cpu-list 5 ./test_decompress.exe 64 524_288","time_secs":4.4311299324035645,"user_time_secs":4.3788,"sys_time_secs":0.052033,"maxrss_kB":13692,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":408511871,"minor_words":302818874,"promoted_words":79043,"major_words":105772040,"minor_collections":1592,"major_collections":455,"heap_words":605869,"top_heap_words":947545,"mean_space_overhead":84.39207399999999},"codesize":340426.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"evolutionary_algorithm.10000_10000","command":"taskset --cpu-list 5 ./evolutionary_algorithm.exe 10000 10000","time_secs":73.63837289810181,"user_time_secs":71.673528,"sys_time_secs":1.963932,"maxrss_kB":3345296,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":5029053457,"minor_words":3728793358,"promoted_words":715417,"major_words":1300975516,"minor_collections":14253,"major_collections":30,"heap_words":397959133,"top_heap_words":427487989,"mean_space_overhead":14.005137},"codesize":167227.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"knucleotide3.","command":"taskset --cpu-list 5 ./knucleotide3.exe","time_secs":51.26563501358032,"user_time_secs":51.065035,"sys_time_secs":0.199988,"maxrss_kB":267652,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":101822319,"minor_words":69422931,"promoted_words":1541993,"major_words":33941381,"minor_collections":267,"major_collections":6,"heap_words":34001097,"top_heap_words":34001097,"mean_space_overhead":2527.986907},"codesize":280448.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"cubicle.szymanski_at.cub","command":"taskset --cpu-list 5 cubicle benchmarks/cubicle/szymanski_at.cub","time_secs":579.3315291404724,"user_time_secs":579.157908,"sys_time_secs":0.167997,"maxrss_kB":209996,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":106323150566,"minor_words":106101282467,"promoted_words":6199745773,"major_words":6421613872,"minor_collections":406193,"major_collections":1466,"heap_words":16974476,"top_heap_words":26943143,"mean_space_overhead":86.587802},"codesize":1216325.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"qr-decomposition.","command":"taskset --cpu-list 5 ./qr_decomposition.exe","time_secs":2.1990549564361572,"user_time_secs":2.190779,"sys_time_secs":0.007995,"maxrss_kB":8232,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":1712410173,"minor_words":1712410087,"promoted_words":2682793,"major_words":2682879,"minor_collections":6559,"major_collections":31,"heap_words":293167,"top_heap_words":372388,"mean_space_overhead":67.389037},"codesize":217351.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"cpdf.blacktext","command":"taskset --cpu-list 5 cpdf -blacktext benchmarks/cpdf/metro_geo.pdf -o /dev/null","time_secs":4.003118991851807,"user_time_secs":3.914801,"sys_time_secs":0.087973,"maxrss_kB":149636,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":60066135,"minor_words":58136108,"promoted_words":25576320,"major_words":27506347,"minor_collections":227,"major_collections":13,"heap_words":16613378,"top_heap_words":17370904,"mean_space_overhead":24.078428},"codesize":1131464.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"thread_ring_lwt_mvar.20_000","command":"taskset --cpu-list 5 ./thread_ring_lwt_mvar.exe 20_000","time_secs":3.4383389949798584,"user_time_secs":3.438019,"sys_time_secs":0.0,"maxrss_kB":8188,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":926797857,"minor_words":926796751,"promoted_words":69291459,"major_words":69292565,"minor_collections":4710,"major_collections":1178,"heap_words":218100,"top_heap_words":238580,"mean_space_overhead":136.600778},"codesize":396296.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"lu-decomposition.","command":"taskset --cpu-list 5 ./lu_decomposition.exe","time_secs":1.3777978420257568,"user_time_secs":1.353504,"sys_time_secs":0.024026,"maxrss_kB":66592,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":551063218,"minor_words":543585654,"promoted_words":298435,"major_words":7775999,"minor_collections":2076,"major_collections":7,"heap_words":7197219,"top_heap_words":7246371,"mean_space_overhead":10.181692},"codesize":336285.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"chameneos_redux_lwt.600000","command":"taskset --cpu-list 5 ./chameneos_redux_lwt.exe 600000","time_secs":2.263176918029785,"user_time_secs":1.834338,"sys_time_secs":0.428546,"maxrss_kB":7020,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":548087972,"minor_words":548087874,"promoted_words":746078,"major_words":746176,"minor_collections":2149,"major_collections":62,"heap_words":98304,"top_heap_words":98304,"mean_space_overhead":397.338285},"codesize":402712.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"imrin_mem_rw.10_000_50_000_80_100_000_000","command":"taskset --cpu-list 5 ./irmin_mem_rw.exe 10_000 50_000 80 100_000_000","time_secs":8.69163703918457,"user_time_secs":8.687302000000001,"sys_time_secs":0.003999,"maxrss_kB":13864,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":6022775016,"minor_words":6022773893,"promoted_words":679647,"major_words":680770,"minor_collections":22984,"major_collections":16,"heap_words":214083,"top_heap_words":521283,"mean_space_overhead":113.648183},"codesize":1631588.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"zarith_pi.5000","command":"taskset --cpu-list 5 ./zarith_pi.exe 5000","time_secs":0.5903961658477783,"user_time_secs":0.578162,"sys_time_secs":0.011961,"maxrss_kB":17064,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":396117588,"minor_words":3413358,"promoted_words":10314,"major_words":392714544,"minor_collections":757,"major_collections":747,"heap_words":1116155,"top_heap_words":1393478,"mean_space_overhead":105.270723},"codesize":204079.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"matrix_multiplication.1024","command":"taskset --cpu-list 5 ./matrix_multiplication.exe 1024","time_secs":8.865731000900269,"user_time_secs":8.861416999999999,"sys_time_secs":0.004,"maxrss_kB":30020,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":5249380,"minor_words":2097419,"promoted_words":149,"major_words":3152110,"minor_collections":12,"major_collections":4,"heap_words":2665984,"top_heap_words":2665984,"mean_space_overhead":6.961295},"codesize":65882.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"cpdf.scale","command":"taskset --cpu-list 5 cpdf scale-to-fit a4landscape -twoup benchmarks/cpdf/PDFReference16.pdf_toobig -o /dev/null","time_secs":14.312677145004272,"user_time_secs":14.096203,"sys_time_secs":0.216003,"maxrss_kB":293668,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":603095156,"minor_words":592505654,"promoted_words":85188061,"major_words":95777563,"minor_collections":2285,"major_collections":27,"heap_words":33069119,"top_heap_words":33258995,"mean_space_overhead":27.535462},"codesize":1131464.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"game_of_life.256","command":"taskset --cpu-list 5 ./game_of_life.exe 256","time_secs":12.231307983398438,"user_time_secs":12.22701,"sys_time_secs":0.003999,"maxrss_kB":19612,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":2102659,"minor_words":1323,"promoted_words":149,"major_words":2101485,"minor_collections":3,"major_collections":3,"heap_words":1610240,"top_heap_words":1610240,"mean_space_overhead":8.243821000000001},"codesize":67135.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"nbody.50_000_000","command":"taskset --cpu-list 5 ./nbody.exe 50_000_000","time_secs":7.592741012573242,"user_time_secs":7.588433,"sys_time_secs":0.004,"maxrss_kB":5472,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":5886,"minor_words":5792,"promoted_words":0,"major_words":94,"minor_collections":0,"major_collections":0,"heap_words":8192,"top_heap_words":8192,"mean_space_overhead":0.0},"codesize":276710.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"test_lwt.200","command":"taskset --cpu-list 5 ./test_lwt.exe 200","time_secs":23.1757550239563,"user_time_secs":23.167301,"sys_time_secs":0.007998999999999999,"maxrss_kB":19432,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":1145547372,"minor_words":415378334,"promoted_words":7072250,"major_words":737241288,"minor_collections":2468,"major_collections":1234,"heap_words":1353983,"top_heap_words":1605229,"mean_space_overhead":110.693376},"codesize":519546.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"cubicle.german_pfs.cub","command":"taskset --cpu-list 5 cubicle benchmarks/cubicle/german_pfs.cub","time_secs":272.7173879146576,"user_time_secs":272.105032,"sys_time_secs":0.60799,"maxrss_kB":418260,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":23241418812,"minor_words":20163757411,"promoted_words":439183616,"major_words":3516845017,"minor_collections":77218,"major_collections":455,"heap_words":34360719,"top_heap_words":57564245,"mean_space_overhead":114.080019},"codesize":1216325.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"alt-ergo.fill.why","command":"taskset --cpu-list 5 alt-ergo benchmarks/alt-ergo/fill.why","time_secs":2.6253039836883545,"user_time_secs":2.376944,"sys_time_secs":0.248098,"maxrss_kB":430360,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":185667538,"minor_words":168491270,"promoted_words":43624648,"major_words":60800916,"minor_collections":653,"major_collections":17,"heap_words":46729195,"top_heap_words":46729195,"mean_space_overhead":5.676382},"codesize":2822317.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"setrip.-enc_-rseed_1067894368","command":"taskset --cpu-list 5 setrip -enc -rseed 1067894368","time_secs":1.5920708179473877,"user_time_secs":1.591773,"sys_time_secs":0.0,"maxrss_kB":6348,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":172406256,"minor_words":172397969,"promoted_words":5053,"major_words":13340,"minor_collections":663,"major_collections":13,"heap_words":61443,"top_heap_words":61443,"mean_space_overhead":578.104479},"codesize":292220.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"coq.AbstractInterpretation.v","command":"taskset --cpu-list 5 coqc benchmarks/coq/AbstractInterpretation.v","time_secs":323.4524779319763,"user_time_secs":322.757579,"sys_time_secs":0.691994,"maxrss_kB":1171740,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":71678021561,"minor_words":71363539742,"promoted_words":660051299,"major_words":974533118,"minor_collections":272371,"major_collections":78,"heap_words":70887477,"top_heap_words":117637749,"mean_space_overhead":44.613924},"codesize":5869690.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"grammatrix.","command":"taskset --cpu-list 5 ./grammatrix.exe","time_secs":95.21476602554321,"user_time_secs":94.80937900000001,"sys_time_secs":0.403988,"maxrss_kB":507768,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":213874901,"minor_words":147154710,"promoted_words":1901483,"major_words":68621674,"minor_collections":573,"major_collections":15,"heap_words":61455600,"top_heap_words":62332144,"mean_space_overhead":4.810096},"codesize":242955.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"knucleotide.","command":"taskset --cpu-list 5 ./knucleotide.exe","time_secs":47.849205017089844,"user_time_secs":47.620659,"sys_time_secs":0.227984,"maxrss_kB":358868,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":137156943,"minor_words":88502170,"promoted_words":2355006,"major_words":51009779,"minor_collections":341,"major_collections":7,"heap_words":44632891,"top_heap_words":44632891,"mean_space_overhead":12.715957},"codesize":276859.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"revcomp2.","command":"taskset --cpu-list 5 ./revcomp2.exe","time_secs":3.206058979034424,"user_time_secs":3.093808,"sys_time_secs":0.11192,"maxrss_kB":209756,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":75195729,"minor_words":75195635,"promoted_words":49934317,"major_words":49934411,"minor_collections":303,"major_collections":17,"heap_words":24571904,"top_heap_words":26103808,"mean_space_overhead":23.102186},"codesize":275518.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"floyd_warshall.512","command":"taskset --cpu-list 5 ./floyd_warshall.exe 512","time_secs":3.8118340969085693,"user_time_secs":3.807569,"sys_time_secs":0.003999,"maxrss_kB":18596,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":273840729,"minor_words":273577474,"promoted_words":6133773,"major_words":6397028,"minor_collections":1311,"major_collections":25,"heap_words":1710083,"top_heap_words":1710083,"mean_space_overhead":38.476503},"codesize":66961.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"lexifi-g2pp.","command":"taskset --cpu-list 5 ./main.exe","time_secs":17.41305708885193,"user_time_secs":17.412694,"sys_time_secs":0.0,"maxrss_kB":7052,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":1659521641,"minor_words":1659521555,"promoted_words":184127,"major_words":184213,"minor_collections":6338,"major_collections":12,"heap_words":132067,"top_heap_words":132067,"mean_space_overhead":92.264196},"codesize":211361.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"LU_decomposition.1024","command":"taskset --cpu-list 5 ./LU_decomposition.exe 1024","time_secs":4.146092891693115,"user_time_secs":4.137755,"sys_time_secs":0.008003,"maxrss_kB":38028,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":2157967772,"minor_words":2153773378,"promoted_words":162,"major_words":4194556,"minor_collections":8217,"major_collections":2,"heap_words":3182601,"top_heap_words":3182601,"mean_space_overhead":3.492125},"codesize":66666.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"fannkuchredux2.12","command":"taskset --cpu-list 5 ./fannkuchredux2.exe 12","time_secs":88.4520251750946,"user_time_secs":88.45131600000001,"sys_time_secs":0.0,"maxrss_kB":5500,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":5654,"minor_words":5560,"promoted_words":0,"major_words":94,"minor_collections":0,"major_collections":0,"heap_words":8192,"top_heap_words":8192,"mean_space_overhead":0.0},"codesize":275875.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"menhir.sysver","command":"taskset --cpu-list 5 menhir -v --table benchmarks/menhir/sysver.mly","time_secs":88.62452483177185,"user_time_secs":87.899415,"sys_time_secs":0.7239950000000001,"maxrss_kB":826048,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":9319383597,"minor_words":9181257874,"promoted_words":328729756,"major_words":466855479,"minor_collections":35089,"major_collections":57,"heap_words":83892758,"top_heap_words":95417766,"mean_space_overhead":30.670261},"codesize":955072.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"binarytrees5.21","command":"taskset --cpu-list 5 ./binarytrees5.exe 21","time_secs":12.638437986373901,"user_time_secs":12.52606,"sys_time_secs":0.112018,"maxrss_kB":167880,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":916489727,"minor_words":916489633,"promoted_words":280592080,"major_words":280592174,"minor_collections":3564,"major_collections":68,"heap_words":19189760,"top_heap_words":20766720,"mean_space_overhead":38.507751},"codesize":275505.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"naive-multilayer.","command":"taskset --cpu-list 5 ./naive_multilayer.exe","time_secs":4.710536956787109,"user_time_secs":4.706241,"sys_time_secs":0.003998,"maxrss_kB":6700,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":2171027941,"minor_words":2171027503,"promoted_words":1258844,"major_words":1259282,"minor_collections":8432,"major_collections":152,"heap_words":74082,"top_heap_words":74082,"mean_space_overhead":214.050559},"codesize":258119.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"pidigits5.10_000","command":"taskset --cpu-list 5 ./pidigits5.exe 10_000","time_secs":2.3507070541381836,"user_time_secs":2.286512,"sys_time_secs":0.063958,"maxrss_kB":19132,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":1667655650,"minor_words":3544711,"promoted_words":20464,"major_words":1664131403,"minor_collections":3156,"major_collections":3146,"heap_words":1163019,"top_heap_words":1455297,"mean_space_overhead":104.42025},"codesize":314984.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"durand-kerner-aberth.","command":"taskset --cpu-list 5 ./durand_kerner_aberth.exe","time_secs":0.1525888442993164,"user_time_secs":0.152353,"sys_time_secs":0.0,"maxrss_kB":6432,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":77979143,"minor_words":77979057,"promoted_words":231846,"major_words":231932,"minor_collections":313,"major_collections":18,"heap_words":69632,"top_heap_words":69632,"mean_space_overhead":357.178775},"codesize":209461.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"thread_ring_lwt_stream.20_000","command":"taskset --cpu-list 5 ./thread_ring_lwt_stream.exe 20_000","time_secs":11.132776021957397,"user_time_secs":11.124341,"sys_time_secs":0.008,"maxrss_kB":10452,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":1821157019,"minor_words":1821155913,"promoted_words":362286475,"major_words":362287581,"minor_collections":9265,"major_collections":2317,"heap_words":513012,"top_heap_words":529396,"mean_space_overhead":117.928758},"codesize":422678.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"fasta3.25_000_000","command":"taskset --cpu-list 5 ./fasta3.exe 25_000_000","time_secs":8.063783884048462,"user_time_secs":8.063478,"sys_time_secs":0.0,"maxrss_kB":6304,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":401619677,"minor_words":401619583,"promoted_words":534,"major_words":628,"minor_collections":1526,"major_collections":1,"heap_words":65536,"top_heap_words":65536,"mean_space_overhead":0.0},"codesize":276997.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"levinson-durbin.","command":"taskset --cpu-list 5 ./levinson_durbin.exe","time_secs":3.0860800743103027,"user_time_secs":3.07376,"sys_time_secs":0.011991,"maxrss_kB":9752,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":1251926045,"minor_words":1001902540,"promoted_words":35034,"major_words":250058539,"minor_collections":5564,"major_collections":1747,"heap_words":392280,"top_heap_words":539585,"mean_space_overhead":94.89752799999999},"codesize":36284.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"spectralnorm2.5_500","command":"taskset --cpu-list 5 ./spectralnorm2.exe 5_500","time_secs":7.542152166366577,"user_time_secs":7.541826,"sys_time_secs":0.0,"maxrss_kB":6680,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":2421167387,"minor_words":2421046271,"promoted_words":442,"major_words":121558,"minor_collections":9237,"major_collections":6,"heap_words":121973,"top_heap_words":132979,"mean_space_overhead":236.007025},"codesize":275803.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"fasta6.25_000_000","command":"taskset --cpu-list 5 ./fasta6.exe 25_000_000","time_secs":5.836881160736084,"user_time_secs":5.712639,"sys_time_secs":0.123927,"maxrss_kB":202752,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":25417543,"minor_words":779,"promoted_words":505,"major_words":25417269,"minor_collections":2,"major_collections":2,"heap_words":25478114,"top_heap_words":25478114,"mean_space_overhead":0.638397},"codesize":276871.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"menhir.sql-parser","command":"taskset --cpu-list 5 menhir -v -t benchmarks/menhir/keywords.mly benchmarks/menhir/sql-parser.mly --base sql-parser","time_secs":7.349609851837158,"user_time_secs":7.137239,"sys_time_secs":0.212036,"maxrss_kB":335244,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":1209664776,"minor_words":1199047235,"promoted_words":48800139,"major_words":59417680,"minor_collections":4598,"major_collections":21,"heap_words":36098007,"top_heap_words":38291538,"mean_space_overhead":15.14405},"codesize":955072.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"minilight.roomfront","command":"taskset --cpu-list 5 minilight-ocaml benchmarks/minilight/roomfront.ml.txt","time_secs":23.27351689338684,"user_time_secs":23.268627,"sys_time_secs":0.004,"maxrss_kB":13956,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":9747587124,"minor_words":9747570312,"promoted_words":10628678,"major_words":10645490,"minor_collections":37240,"major_collections":58,"heap_words":926298,"top_heap_words":926298,"mean_space_overhead":48.933722},"codesize":347395.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"kb_no_exc.","command":"taskset --cpu-list 5 ./kb_no_exc.exe","time_secs":2.607213020324707,"user_time_secs":2.602955,"sys_time_secs":0.003998,"maxrss_kB":10048,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":187407607,"minor_words":187407521,"promoted_words":23262668,"major_words":23262754,"minor_collections":899,"major_collections":187,"heap_words":413696,"top_heap_words":577536,"mean_space_overhead":80.513774},"codesize":174371.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"fft.","command":"taskset --cpu-list 5 ./fft.exe","time_secs":3.7551629543304443,"user_time_secs":3.642886,"sys_time_secs":0.111965,"maxrss_kB":196816,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":270833747,"minor_words":265590775,"promoted_words":135170022,"major_words":140412994,"minor_collections":1406,"major_collections":32,"heap_words":21741577,"top_heap_words":25350162,"mean_space_overhead":35.129545},"codesize":38914.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"regexredux2.","command":"taskset --cpu-list 5 ./regexredux2.exe","time_secs":18.13054609298706,"user_time_secs":17.534031,"sys_time_secs":0.596069,"maxrss_kB":866288,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":289205722,"minor_words":216764700,"promoted_words":167463952,"major_words":239904974,"minor_collections":846,"major_collections":22,"heap_words":99764546,"top_heap_words":115990674,"mean_space_overhead":20.28245},"codesize":275774.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"alt-ergo.yyll.why","command":"taskset --cpu-list 5 alt-ergo benchmarks/alt-ergo/yyll.why","time_secs":18.44300103187561,"user_time_secs":18.270835,"sys_time_secs":0.171653,"maxrss_kB":302644,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":2075386726,"minor_words":2046291500,"promoted_words":54860746,"major_words":83955972,"minor_collections":7830,"major_collections":26,"heap_words":32507607,"top_heap_words":32507607,"mean_space_overhead":26.30339},"codesize":2822317.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"sequence_cps.10000","command":"taskset --cpu-list 5 ./sequence_cps.exe 10000","time_secs":1.818504810333252,"user_time_secs":1.81425,"sys_time_secs":0.003996,"maxrss_kB":5656,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":1502249023,"minor_words":1502248937,"promoted_words":209373,"major_words":209459,"minor_collections":6192,"major_collections":466,"heap_words":32768,"top_heap_words":32768,"mean_space_overhead":4990.926605},"codesize":142732.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"quicksort.4000000","command":"taskset --cpu-list 5 ./quicksort.exe 4000000","time_secs":3.191697835922241,"user_time_secs":3.175445,"sys_time_secs":0.015997,"maxrss_kB":34308,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":4000351,"minor_words":264,"promoted_words":146,"major_words":4000233,"minor_collections":1,"major_collections":1,"heap_words":4032771,"top_heap_words":4032771,"mean_space_overhead":0.0},"codesize":66319.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"bdd.26","command":"taskset --cpu-list 5 ./bdd.exe 26","time_secs":5.616001844406128,"user_time_secs":5.611648,"sys_time_secs":0.003999,"maxrss_kB":22176,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":1228491691,"minor_words":1227959503,"promoted_words":1951971,"major_words":2484159,"minor_collections":4695,"major_collections":10,"heap_words":1707670,"top_heap_words":1773209,"mean_space_overhead":21.822364},"codesize":161020.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"fannkuchredux.12","command":"taskset --cpu-list 5 ./fannkuchredux.exe 12","time_secs":99.01736092567444,"user_time_secs":99.01659100000001,"sys_time_secs":0.0,"maxrss_kB":5564,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":5638,"minor_words":5544,"promoted_words":0,"major_words":94,"minor_collections":0,"major_collections":0,"heap_words":8192,"top_heap_words":8192,"mean_space_overhead":0.0},"codesize":275598.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"kb.","command":"taskset --cpu-list 5 ./kb.exe","time_secs":4.173249959945679,"user_time_secs":4.172858,"sys_time_secs":0.0,"maxrss_kB":10028,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":453343697,"minor_words":453343611,"promoted_words":24352412,"major_words":24352498,"minor_collections":1951,"major_collections":227,"heap_words":512000,"top_heap_words":557056,"mean_space_overhead":83.296868},"codesize":173591.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"coq.BasicSyntax.v","command":"taskset --cpu-list 5 coqc benchmarks/coq/BasicSyntax.v","time_secs":111.38527011871338,"user_time_secs":110.975635,"sys_time_secs":0.407998,"maxrss_kB":686520,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":23633510089,"minor_words":23620288788,"promoted_words":328323455,"major_words":341544756,"minor_collections":90207,"major_collections":42,"heap_words":54818839,"top_heap_words":56574581,"mean_space_overhead":37.577597},"codesize":5869690.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} | |
| {"name":"imrin_mem_rw.10_000_50_000_20_100_000_000","command":"taskset --cpu-list 5 ./irmin_mem_rw.exe 10_000 50_000 20 100_000_000","time_secs":7.6523308753967285,"user_time_secs":7.648018,"sys_time_secs":0.004,"maxrss_kB":13920,"ocaml":{"version":"4.10.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","stats":"false","function_sections":"true","supports_shared_libraries":"true"},"gc":{"allocated_words":4582592495,"minor_words":4582591372,"promoted_words":586257,"major_words":587380,"minor_collections":17486,"major_collections":11,"heap_words":209987,"top_heap_words":521283,"mean_space_overhead":108.216111},"codesize":1631588.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/parallel_minor_gc.tar.gz"} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment