SPB Git

spb/wp34_uqo

Public
19.2 KB · 786 lines json
1{2 "experiment": "rho_engine throughput (laptop)",3 "timestamp_utc": "2026-11-01T06:24:59+00:00",4 "host": {5  "hostname": "MacBookPro-de-simon-pierre-2.local",6  "cpu": "Apple M5 Max",7  "cores": 18,8  "os": "27.0",9  "machine": "arm64",10  "rustc": "rustc 1.95.0 (59807616e 2026-04-14)"11 },12 "binary": "experiments/synthetic_ecdlp/rho_engine/target/release/rho_engine (cargo build --release, lto=fat)",13 "instances": "experiments/synthetic_ecdlp/rho_engine/bench/instances.json (seed 3434, gen_bench_instances.py)",14 "command_template": "rho_engine solve --p \u2026 --a \u2026 --b \u2026 --n \u2026 --gx \u2026 --gy \u2026 --qx \u2026 --qy \u2026 --expected-d \u2026 --seed S <args>",15 "note": "single runs (not \u2265 10 repetitions): engine validation / throughput only, not a scaling experiment; the scaling driver is written by another process",16 "runs_40b": [17  {18   "label": "40b",19   "args": "--alg rho --threads 1",20   "ok": true,21   "match": true,22   "iterations": 818560,23   "expected_iterations": 1071880.2501598836,24   "group_ops": 880054,25   "group_ops_per_cpu_s": 36339026.442245655,26   "group_ops_per_wall_s": 35447574.90428634,27   "cpu_s": 0.024217875,28   "wall_s": 0.024826917,29   "fruitless_cycles": 0,30   "lookahead_rejections": 0,31   "dp_count": 3289,32   "dp_bytes": 473088,33   "restarts": 3418,34   "peak_rss_bytes": 3211264,35   "ops": {36    "add": 879856,37    "dbl": 198,38    "inv": 67889,39    "mul": 508325040   }41  },42  {43   "label": "40b",44   "args": "--alg rho --threads 1",45   "ok": true,46   "match": true,47   "iterations": 2022272,48   "expected_iterations": 1071880.2501598836,49   "group_ops": 2168188,50   "group_ops_per_cpu_s": 36345529.1793001,51   "group_ops_per_wall_s": 35793396.5060618,52   "cpu_s": 0.059654875,53   "wall_s": 0.060575084,54   "fruitless_cycles": 0,55   "lookahead_rejections": 0,56   "dp_count": 8062,57   "dp_bytes": 473088,58   "restarts": 8191,59   "peak_rss_bytes": 3194880,60   "ops": {61    "add": 2167990,62    "dbl": 198,63    "inv": 161715,64    "mul": 1253998065   }66  },67  {68   "label": "40b",69   "args": "--alg rho --threads 1",70   "ok": true,71   "match": true,72   "iterations": 1116416,73   "expected_iterations": 1071880.2501598836,74   "group_ops": 1196474,75   "group_ops_per_cpu_s": 36079216.90627124,76   "group_ops_per_wall_s": 35574098.29445474,77   "cpu_s": 0.033162416,78   "wall_s": 0.033633291,79   "fruitless_cycles": 0,80   "lookahead_rejections": 0,81   "dp_count": 4348,82   "dp_bytes": 473088,83   "restarts": 4477,84   "peak_rss_bytes": 3211264,85   "ops": {86    "add": 1196276,87    "dbl": 198,88    "inv": 88780,89    "mul": 692142490   }91  },92  {93   "label": "40b",94   "args": "--alg rho --threads 1 --walks 256",95   "ok": true,96   "match": true,97   "iterations": 809728,98   "expected_iterations": 1071880.2501598836,99   "group_ops": 872957,100   "group_ops_per_cpu_s": 39081574.47139231,101   "group_ops_per_wall_s": 38520598.48161354,102   "cpu_s": 0.022336792,103   "wall_s": 0.022662083,104   "fruitless_cycles": 0,105   "lookahead_rejections": 0,106   "dp_count": 3258,107   "dp_bytes": 473088,108   "restarts": 3515,109   "peak_rss_bytes": 3244032,110   "ops": {111    "add": 872759,112    "dbl": 198,113    "inv": 66392,114    "mul": 5041927115   }116  },117  {118   "label": "40b",119   "args": "--alg rho --threads 1 --walks 512",120   "ok": true,121   "match": true,122   "iterations": 792576,123   "expected_iterations": 1071880.2501598836,124   "group_ops": 858682,125   "group_ops_per_cpu_s": 37146116.557500705,126   "group_ops_per_wall_s": 36367366.46761959,127   "cpu_s": 0.023116333000000003,128   "wall_s": 0.023611333,129   "fruitless_cycles": 0,130   "lookahead_rejections": 0,131   "dp_count": 3166,132   "dp_bytes": 473088,133   "restarts": 3679,134   "peak_rss_bytes": 3293184,135   "ops": {136    "add": 858484,137    "dbl": 198,138    "inv": 67654,139    "mul": 4950876140   }141  },142  {143   "label": "40b",144   "args": "--alg rho --threads 1 --neg",145   "ok": true,146   "match": true,147   "iterations": 604971,148   "expected_iterations": 757933.7935079867,149   "group_ops": 683128,150   "group_ops_per_cpu_s": 25548558.091528002,151   "group_ops_per_wall_s": 24967367.58828331,152   "cpu_s": 0.026738417000000004,153   "wall_s": 0.027360834,154   "fruitless_cycles": 522,155   "lookahead_rejections": 33553,156   "dp_count": 2336,157   "dp_bytes": 236544,158   "restarts": 2465,159   "peak_rss_bytes": 2949120,160   "ops": {161    "add": 682408,162    "dbl": 720,163    "inv": 52446,164    "mul": 4590459165   }166  },167  {168   "label": "40b",169   "args": "--alg rho --threads 1 --neg --r 128",170   "ok": true,171   "match": true,172   "iterations": 761951,173   "expected_iterations": 757933.7935079867,174   "group_ops": 828098,175   "group_ops_per_cpu_s": 25743646.07446687,176   "group_ops_per_wall_s": 25262454.38043048,177   "cpu_s": 0.032167083,178   "wall_s": 0.032779792,179   "fruitless_cycles": 15,180   "lookahead_rejections": 5998,181   "dp_count": 3104,182   "dp_bytes": 236544,183   "restarts": 3234,184   "peak_rss_bytes": 2932736,185   "ops": {186    "add": 827885,187    "dbl": 213,188    "inv": 66225,189    "mul": 5547370190   }191  },192  {193   "label": "40b-j0",194   "args": "--alg rho --threads 1 --neg --aut3 --r 128",195   "ok": true,196   "match": true,197   "iterations": 567331,198   "expected_iterations": 432419.3862024441,199   "group_ops": 617062,200   "group_ops_per_cpu_s": 19354203.5160702,201   "group_ops_per_wall_s": 18915106.61837147,202   "cpu_s": 0.031882583000000006,203   "wall_s": 0.032622708,204   "fruitless_cycles": 5,205   "lookahead_rejections": 4470,206   "dp_count": 2263,207   "dp_bytes": 236544,208   "restarts": 2392,209   "peak_rss_bytes": 2949120,210   "ops": {211    "add": 616858,212    "dbl": 204,213    "inv": 49753,214    "mul": 7002962215   }216  },217  {218   "label": "40b",219   "args": "--alg rho --threads 16",220   "ok": true,221   "match": true,222   "iterations": 3687168,223   "expected_iterations": 1071880.2501598836,224   "group_ops": 3982117,225   "group_ops_per_cpu_s": 28906611.80408115,226   "group_ops_per_wall_s": 329601109.12232417,227   "cpu_s": 0.13775799900000002,228   "wall_s": 0.012081625,229   "fruitless_cycles": 0,230   "lookahead_rejections": 0,231   "dp_count": 14576,232   "dp_bytes": 946176,233   "restarts": 16626,234   "peak_rss_bytes": 5079040,235   "ops": {236    "add": 3981919,237    "dbl": 198,238    "inv": 323755,239    "mul": 22950441240   }241  },242  {243   "label": "40b",244   "args": "--alg kangaroo --threads 1",245   "ok": true,246   "match": true,247   "iterations": 1274944,248   "expected_iterations": 1710473.4052641683,249   "group_ops": 1275756,250   "group_ops_per_cpu_s": 46646695.18631405,251   "group_ops_per_wall_s": 45885482.602946825,252   "cpu_s": 0.027349333000000003,253   "wall_s": 0.027803042,254   "fruitless_cycles": 0,255   "lookahead_rejections": null,256   "dp_count": 4865,257   "dp_bytes": 946176,258   "restarts": 0,259   "peak_rss_bytes": 3702784,260   "ops": {261    "add": 1275638,262    "dbl": 118,263    "inv": 20733,264    "mul": 7612376265   }266  },267  {268   "label": "40b",269   "args": "--alg kangaroo --threads 8",270   "ok": true,271   "match": true,272   "iterations": 1053504,273   "expected_iterations": 1710473.4052641683,274   "group_ops": 1057816,275   "group_ops_per_cpu_s": 34160653.6579991,276   "group_ops_per_wall_s": 238690359.3388616,277   "cpu_s": 0.030965918,278   "wall_s": 0.00443175,279   "fruitless_cycles": 0,280   "lookahead_rejections": null,281   "dp_count": 4025,282   "dp_bytes": 946176,283   "restarts": 0,284   "peak_rss_bytes": 3932160,285   "ops": {286    "add": 1057698,287    "dbl": 118,288    "inv": 20773,289    "mul": 6301156290   }291  },292  {293   "label": "40b",294   "args": "--alg bsgs --threads 1",295   "ok": true,296   "match": true,297   "iterations": 793702,298   "expected_iterations": null,299   "group_ops": 1652210,300   "group_ops_per_cpu_s": 38779455.819231465,301   "group_ops_per_wall_s": 38199878.719240405,302   "cpu_s": 0.042605291,303   "wall_s": 0.043251708,304   "fruitless_cycles": 0,305   "lookahead_rejections": null,306   "dp_count": 0,307   "dp_bytes": 0,308   "restarts": null,309   "peak_rss_bytes": 20463616,310   "ops": {311    "add": 1649906,312    "dbl": 2304,313    "inv": 29138,314    "mul": 9853920315   }316  },317  {318   "label": "40b",319   "args": "--alg rho --cycle brent",320   "ok": true,321   "match": true,322   "iterations": 820986,323   "expected_iterations": 1071880.2501598836,324   "group_ops": 821988,325   "group_ops_per_cpu_s": 9679286.524899945,326   "group_ops_per_wall_s": 9570631.007201364,327   "cpu_s": 0.08492237500000001,328   "wall_s": 0.0858865,329   "fruitless_cycles": 0,330   "lookahead_rejections": 0,331   "dp_count": 0,332   "dp_bytes": 0,333   "restarts": 1,334   "peak_rss_bytes": 2572288,335   "ops": {336    "add": 821790,337    "dbl": 198,338    "inv": 821988,339    "mul": 3287148340   }341  }342 ],343 "runs_48_62b": [344  {345   "label": "48b",346   "args": "--alg rho --threads 1",347   "seed": 1,348   "ok": true,349   "match": true,350   "iterations": 24591744,351   "expected_iterations": 15610924.350405136,352   "group_ops": 25109596,353   "group_ops_per_cpu_s": 45797340.440173544,354   "group_ops_per_wall_s": 45609497.136305064,355   "cpu_s": 0.548276292,356   "wall_s": 0.550534375,357   "fruitless_cycles": 0,358   "lookahead_rejections": 0,359   "dp_count": 24023,360   "dp_bytes": 1892352,361   "restarts": 24152,362   "peak_rss_bytes": 4816896,363   "threads": 1364  },365  {366   "label": "48b",367   "args": "--alg rho --threads 1",368   "seed": 2,369   "ok": true,370   "match": true,371   "iterations": 30817408,372   "expected_iterations": 15610924.350405136,373   "group_ops": 31466447,374   "group_ops_per_cpu_s": 45705472.893354565,375   "group_ops_per_wall_s": 45593400.721835315,376   "cpu_s": 0.68846125,377   "wall_s": 0.690153542,378   "fruitless_cycles": 0,379   "lookahead_rejections": 0,380   "dp_count": 30155,381   "dp_bytes": 1892352,382   "restarts": 30284,383   "peak_rss_bytes": 4816896,384   "threads": 1385  },386  {387   "label": "48b",388   "args": "--alg rho --threads 1",389   "seed": 3,390   "ok": true,391   "match": true,392   "iterations": 15180032,393   "expected_iterations": 15610924.350405136,394   "group_ops": 15497692,395   "group_ops_per_cpu_s": 45837180.37259068,396   "group_ops_per_wall_s": 45608840.2648612,397   "cpu_s": 0.338103083,398   "wall_s": 0.339795792,399   "fruitless_cycles": 0,400   "lookahead_rejections": 0,401   "dp_count": 14672,402   "dp_bytes": 1892352,403   "restarts": 14801,404   "peak_rss_bytes": 4816896,405   "threads": 1406  },407  {408   "label": "48b",409   "args": "--alg rho --threads 1 --neg",410   "seed": 1,411   "ok": true,412   "match": true,413   "iterations": 3297585,414   "expected_iterations": 11038590.468761671,415   "group_ops": 3551141,416   "group_ops_per_cpu_s": 29883405.99203549,417   "group_ops_per_wall_s": 29829812.68159049,418   "cpu_s": 0.11883320800000001,419   "wall_s": 0.119046708,420   "fruitless_cycles": 2743,421   "lookahead_rejections": 181477,422   "dp_count": 3186,423   "dp_bytes": 946176,424   "restarts": 3315,425   "peak_rss_bytes": 3768320,426   "threads": 1427  },428  {429   "label": "48b",430   "args": "--alg rho --threads 1 --neg --r 128",431   "seed": 1,432   "ok": true,433   "match": true,434   "iterations": 10905345,435   "expected_iterations": 11038590.468761671,436   "group_ops": 11227077,437   "group_ops_per_cpu_s": 30703480.781911954,438   "group_ops_per_wall_s": 30590111.657691985,439   "cpu_s": 0.365661375,440   "wall_s": 0.367016542,441   "fruitless_cycles": 162,442   "lookahead_rejections": 86580,443   "dp_count": 10698,444   "dp_bytes": 946176,445   "restarts": 10827,446   "peak_rss_bytes": 3751936,447   "threads": 1448  },449  {450   "label": "48b",451   "args": "--alg rho --threads 1 --neg --r 512",452   "seed": 1,453   "ok": true,454   "match": true,455   "iterations": 7922105,456   "expected_iterations": 11038590.468761671,457   "group_ops": 8117552,458   "group_ops_per_cpu_s": 30637864.55357652,459   "group_ops_per_wall_s": 30312861.756528098,460   "cpu_s": 0.264951625,461   "wall_s": 0.267792334,462   "fruitless_cycles": 2,463   "lookahead_rejections": 15569,464   "dp_count": 7734,465   "dp_bytes": 946176,466   "restarts": 7863,467   "peak_rss_bytes": 3784704,468   "threads": 1469  },470  {471   "label": "48b",472   "args": "--alg kangaroo --threads 1",473   "seed": 1,474   "ok": true,475   "match": true,476   "iterations": 28446848,477   "expected_iterations": 24911431.038099516,478   "group_ops": 28447747,479   "group_ops_per_cpu_s": 48896072.148473635,480   "group_ops_per_wall_s": 48262243.41579228,481   "cpu_s": 0.58180025,482   "wall_s": 0.589441041,483   "fruitless_cycles": 0,484   "lookahead_rejections": null,485   "dp_count": 27717,486   "dp_bytes": 3784704,487   "restarts": 0,488   "peak_rss_bytes": 6963200,489   "threads": 1490  },491  {492   "label": "48b",493   "args": "--alg bsgs --threads 1",494   "seed": 1,495   "ok": true,496   "match": true,497   "iterations": 12369670,498   "expected_iterations": null,499   "group_ops": 24829561,500   "group_ops_per_cpu_s": 41085638.09829535,501   "group_ops_per_wall_s": 39174132.709165245,502   "cpu_s": 0.6043367500000001,503   "wall_s": 0.633825417,504   "fruitless_cycles": 0,505   "lookahead_rejections": null,506   "dp_count": 0,507   "dp_bytes": 0,508   "restarts": null,509   "peak_rss_bytes": 287850496,510   "threads": 1511  },512  {513   "label": "48b",514   "args": "--alg rho --cycle brent",515   "seed": 1,516   "ok": true,517   "match": true,518   "iterations": 33895682,519   "expected_iterations": 15610924.350405136,520   "group_ops": 33896766,521   "group_ops_per_cpu_s": 8970791.03771472,522   "group_ops_per_wall_s": 8918128.114160826,523   "cpu_s": 3.778570458,524   "wall_s": 3.8008835,525   "fruitless_cycles": 0,526   "lookahead_rejections": 0,527   "dp_count": 0,528   "dp_bytes": 0,529   "restarts": 1,530   "peak_rss_bytes": 2588672,531   "threads": 1532  },533  {534   "label": "56b",535   "args": "--alg rho --threads 1",536   "seed": 1,537   "ok": true,538   "match": true,539   "iterations": 125526528,540   "expected_iterations": 288129885.13395524,541   "group_ops": 126305165,542   "group_ops_per_cpu_s": 48496065.27925469,543   "group_ops_per_wall_s": 48366163.60382494,544   "cpu_s": 2.6044415,545   "wall_s": 2.6114365,546   "fruitless_cycles": 0,547   "lookahead_rejections": 0,548   "dp_count": 30709,549   "dp_bytes": 7569408,550   "restarts": 30838,551   "peak_rss_bytes": 11321344,552   "threads": 1553  },554  {555   "label": "56b",556   "args": "--alg rho --threads 1 --neg --r 128",557   "seed": 1,558   "ok": true,559   "match": true,560   "iterations": 186183000,561   "expected_iterations": 203738595.64072078,562   "group_ops": 188811477,563   "group_ops_per_cpu_s": 30523187.568696056,564   "group_ops_per_wall_s": 30119138.558060113,565   "cpu_s": 6.185837458,566   "wall_s": 6.268820625,567   "fruitless_cycles": 2995,568   "lookahead_rejections": 1471467,569   "dp_count": 45613,570   "dp_bytes": 3784704,571   "restarts": 45742,572   "peak_rss_bytes": 7012352,573   "threads": 1574  },575  {576   "label": "56b",577   "args": "--alg kangaroo --threads 1",578   "seed": 1,579   "ok": true,580   "match": true,581   "iterations": 756651712,582   "expected_iterations": 459788773.70857185,583   "group_ops": 756652689,584   "group_ops_per_cpu_s": 48364227.392447785,585   "group_ops_per_wall_s": 47840544.45652862,586   "cpu_s": 15.644883208,587   "wall_s": 15.81613875,588   "fruitless_cycles": 0,589   "lookahead_rejections": null,590   "dp_count": 182153,591   "dp_bytes": 15138816,592   "restarts": 0,593   "peak_rss_bytes": 19906560,594   "threads": 1595  },596  {597   "label": "56b",598   "args": "--alg rho --threads 2",599   "seed": 1,600   "ok": true,601   "match": true,602   "iterations": 251270912,603   "expected_iterations": 288129885.13395524,604   "group_ops": 252824474,605   "group_ops_per_cpu_s": 45921777.2005417,606   "group_ops_per_wall_s": 88971972.70610732,607   "cpu_s": 5.505546375,608   "wall_s": 2.8416192909999998,609   "fruitless_cycles": 0,610   "lookahead_rejections": 0,611   "dp_count": 61331,612   "dp_bytes": 7569408,613   "restarts": 61588,614   "peak_rss_bytes": 11354112,615   "threads": 2616  },617  {618   "label": "56b",619   "args": "--alg rho --threads 4",620   "seed": 1,621   "ok": true,622   "match": true,623   "iterations": 499844992,624   "expected_iterations": 288129885.13395524,625   "group_ops": 502928223,626   "group_ops_per_cpu_s": 45480647.45926857,627   "group_ops_per_wall_s": 178155622.63715833,628   "cpu_s": 11.058070874000002,629   "wall_s": 2.822971375,630   "fruitless_cycles": 0,631   "lookahead_rejections": 0,632   "dp_count": 121776,633   "dp_bytes": 7569408,634   "restarts": 122289,635   "peak_rss_bytes": 11386880,636   "threads": 4637  },638  {639   "label": "56b",640   "args": "--alg rho --threads 8",641   "seed": 1,642   "ok": true,643   "match": true,644   "iterations": 434961024,645   "expected_iterations": 288129885.13395524,646   "group_ops": 437667839,647   "group_ops_per_cpu_s": 41769378.9924586,648   "group_ops_per_wall_s": 327183963.1016182,649   "cpu_s": 10.478198373,650   "wall_s": 1.337681208,651   "fruitless_cycles": 0,652   "lookahead_rejections": 0,653   "dp_count": 106338,654   "dp_bytes": 7569408,655   "restarts": 107363,656   "peak_rss_bytes": 11730944,657   "threads": 8658  },659  {660   "label": "56b",661   "args": "--alg rho --threads 12",662   "seed": 1,663   "ok": true,664   "match": true,665   "iterations": 463601408,666   "expected_iterations": 288129885.13395524,667   "group_ops": 466485338,668   "group_ops_per_cpu_s": 40984058.136490576,669   "group_ops_per_wall_s": 482494755.22576857,670   "cpu_s": 11.382116833,671   "wall_s": 0.9668195,672   "fruitless_cycles": 0,673   "lookahead_rejections": 0,674   "dp_count": 112848,675   "dp_bytes": 7569408,676   "restarts": 114385,677   "peak_rss_bytes": 11911168,678   "threads": 12679  },680  {681   "label": "56b",682   "args": "--alg rho --threads 16",683   "seed": 1,684   "ok": true,685   "match": true,686   "iterations": 616153984,687   "expected_iterations": 288129885.13395524,688   "group_ops": 619991330,689   "group_ops_per_cpu_s": 40543836.02991315,690   "group_ops_per_wall_s": 613344186.6170815,691   "cpu_s": 15.291876416000001,692   "wall_s": 1.010837542,693   "fruitless_cycles": 0,694   "lookahead_rejections": 0,695   "dp_count": 150169,696   "dp_bytes": 7569408,697   "restarts": 152218,698   "peak_rss_bytes": 12140544,699   "threads": 16700  },701  {702   "label": "62b",703   "args": "--alg rho --threads 16",704   "seed": 1,705   "ok": true,706   "match": true,707   "iterations": 1814063360,708   "expected_iterations": 2115925189.2824397,709   "group_ops": 1820376671,710   "group_ops_per_cpu_s": 40322020.17090835,711   "group_ops_per_wall_s": 608172098.4482187,712   "cpu_s": 45.145968958999994,713   "wall_s": 2.993193334,714   "fruitless_cycles": 0,715   "lookahead_rejections": 0,716   "dp_count": 221103,717   "dp_bytes": 30277632,718   "restarts": 223152,719   "peak_rss_bytes": 37896192,720   "threads": 16721  },722  {723   "label": "62b",724   "args": "--alg rho --threads 16 --neg --r 128",725   "seed": 1,726   "ok": true,727   "match": true,728   "iterations": 1429178265,729   "expected_iterations": 1496185049.8250422,730   "group_ops": 1445488064,731   "group_ops_per_cpu_s": 26778682.072889388,732   "group_ops_per_wall_s": 396900933.9164604,733   "cpu_s": 53.979059166000006,734   "wall_s": 3.641936666,735   "fruitless_cycles": 23011,736   "lookahead_rejections": 11302681,737   "dp_count": 174798,738   "dp_bytes": 15138816,739   "restarts": 176847,740   "peak_rss_bytes": 20643840,741   "threads": 16742  },743  {744   "label": "62b-j0",745   "args": "--alg rho --threads 16 --neg --aut3 --r 128",746   "seed": 1,747   "ok": true,748   "match": true,749   "iterations": 693894612,750   "expected_iterations": 914413011.757568,751   "group_ops": 701837262,752   "group_ops_per_cpu_s": 18209079.79519132,753   "group_ops_per_wall_s": 274718868.38832784,754   "cpu_s": 38.543258083000005,755   "wall_s": 2.554747208,756   "fruitless_cycles": 1261,757   "lookahead_rejections": 5471740,758   "dp_count": 84822,759   "dp_bytes": 7569408,760   "restarts": 86871,761   "peak_rss_bytes": 12107776,762   "threads": 16763  },764  {765   "label": "62b",766   "args": "--alg kangaroo --threads 16",767   "seed": 1,768   "ok": true,769   "match": true,770   "iterations": 4614096512,771   "expected_iterations": 3376528080.684678,772   "group_ops": 4614108399,773   "group_ops_per_cpu_s": 39068604.55175319,774   "group_ops_per_wall_s": 579880668.1805246,775   "cpu_s": 118.10271833199998,776   "wall_s": 7.956996417,777   "fruitless_cycles": 0,778   "lookahead_rejections": null,779   "dp_count": 561610,780   "dp_bytes": 60555264,781   "restarts": 0,782   "peak_rss_bytes": 72302592,783   "threads": 16784  }785 ]786}
Files · main
Menu

Theme