__step=000567
__cmd_run=LD_PRELOAD=../../setbench/lib/libjemalloc.so timeout 60 numactl -i all /usr/bin/time -f "[time_cmd_output] time_elapsed_sec=%e, faults_major=%F, faults_minor=%R, mem_maxresident_kb=%M, user_cputime=%U, sys_cputime=%S, percent_cpu=%P" ./brown_ext_abtree_lf.debra -nwork 256 -nprefill 256 -prefill-hybrid -prefill-hybrid-min-ms 1000 -prefill-hybrid-max-ms 5000 -insdel 5.0 5.0 -k 200000 -t 10000 -pin 0-63,128-191,64-127,192-255
__file_data=data000567.txt
__path_data=data/data000567.txt
__hostname=nasus
REALTIME_MAIN_START_PERF_FORMAT=213665.708824234
binary=./brown_ext_abtree_lf.debra
parsed custom binding: 0-63,128-191,64-127,192-255
DS_TYPENAME=brown_ext_abtree_lf
FIND_FUNC=FIND_FUNC
INSERT_FUNC=insertIfAbsent
ERASE_FUNC=ERASE_FUNC
RQ_FUNC=RQ_FUNC
RECLAIM=reclaimer_debra
ALLOC=allocator_new
POOL=pool_none
MAX_THREADS_POW2=512
CPU_FREQ_GHZ=2.1
MILLIS_TO_RUN=10000
INS_FRAC=5
DEL_FRAC=5
RQ=0
RQSIZE=0
MAXKEY=200000
PREFILL_THREADS=256
DESIRED_PREFILL_SIZE=-1
TOTAL_THREADS=256
WORK_THREADS=256
RQ_THREADS=0
distribution=0
INS_DEL_FRAC=5.0 5.0
PREFILL_TYPE=PREFILL_HYBRID
PREFILL_HYBRID_MIN_MS=1000
PREFILL_HYBRID_MAX_MS=5000
size_node=208
ACTUAL_THREAD_BINDINGS=0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255


Info: prefilling using hybrid approach; mixed then insert-only if needed.
prefilling initialization took 0.06s
prefilling_size=99665 prefilling_elapsed_millis=1s
finished prefilling to size 99732 for expected size 100000 keysum=9974661767, performing 70021538 updates; total_prefilling_elapsed_ms=1103 ms)
pref_size=99732
pref_millis=1103
prefill_elapsed_ms=1117
N9abtree_ns4NodeILi11ExEE_object_size=208
N9abtree_ns4NodeILi11ExEE_allocated_count=0
N9abtree_ns4NodeILi11ExEE_allocated_size=0MB
N9abtree_ns4NodeILi11ExEE_get_from_pool=0
N9abtree_ns4NodeILi11ExEE_deallocated=0
N9abtree_ns4NodeILi11ExEE_limbo_count=0
N9abtree_ns4NodeILi11ExEE_limbo_details=0 0 0 

global_epoch_counter=349

main thread: starting timer...

###############################################################################
################################ BEGIN RUNNING ################################
###############################################################################

REALTIME_START_PERF_FORMAT=213666.955816702
REALTIME_END_PERF_FORMAT=213676.955891260

###############################################################################
################################## TIME IS UP #################################
###############################################################################

joining threads...
###############################################################################
################################# END RUNNING #################################
###############################################################################

10.1s
PRODUCING OUTPUT
computing tree_stats in PARALLEL...
bounded depth BFS to partition into subtrees for parallel computation (256 threads)...
partitioned into 3230 subtrees; running parallel for...
computing stats for the top of the tree (above the partitions)...

tree_stats_computeWalltime=0.246s

tree_stats_numInternalsAtDepth=1 1 8 56 417 3230 0
tree_stats_numLeavesAtDepth=0 0 0 0 0 0 19441
tree_stats_numNodesAtDepth=1 1 8 56 417 3230 19441
tree_stats_numKeysAtDepth=0 0 0 0 0 0 99846
tree_stats_avgDegreeAtDepth=1 8 7 7.44643 7.7458 6.01889 5.13585

tree_stats_height=7
tree_stats_numInternals=3713
tree_stats_numLeaves=19441
tree_stats_numNodes=23154
tree_stats_numKeys=99846

tree_stats_avgDegreeInternal=6.23593
tree_stats_avgDegreeLeaves=5.13585
tree_stats_avgDegree=5.31226
tree_stats_avgKeyDepth=6

tree_stats_bytesAtDepth=208 208 1664 11648 86736 671840 4043728
tree_stats_sizeInBytes=4816032

N9abtree_ns4NodeILi11ExEE_object_size=208
N9abtree_ns4NodeILi11ExEE_allocated_count=0
N9abtree_ns4NodeILi11ExEE_allocated_size=0MB
N9abtree_ns4NodeILi11ExEE_get_from_pool=0
N9abtree_ns4NodeILi11ExEE_deallocated=0
N9abtree_ns4NodeILi11ExEE_limbo_count=0
N9abtree_ns4NodeILi11ExEE_limbo_details=0 0 0 

global_epoch_counter=5733


log_histogram_of_none_limbo_reclamation_event_size_full_data=1:197 2:77 4:148 8:303 16:614 32:1388 64:808431 128:557287 256:2124 512:1493 1024:255
    [2^00, 2^01]: 197
    (2^01, 2^02]: 77
    (2^02, 2^03]: 148
    (2^03, 2^04]: 303
    (2^04, 2^05]: 614
    (2^05, 2^06]: 1388
    (2^06, 2^07]: 808431
    (2^07, 2^08]: 557287
    (2^08, 2^09]: 2124
    (2^09, 2^10]: 1493
    (2^10, 2^11]: 255
sum_limbo_reclamation_event_size_total=173051888
count_limbo_reclamation_event_size_by_thread=5359 5361 5360 5371 5361 5362 5359 5363 5360 5366 5363 5364 5362 5360 5357 5359 5358 5360 5362 5361 5362 5361 5360 5359 5358 5363 5362 5366 5364 5364 5360 5362 5358 5361 5365 5363 5356 5358 5362 5362 5361 5357 5360 5364 5362 5359 5359 5358 5362 5361 5360 5362 5360 5361 5362 5358 5362 5359 5356 5362 5354 5358 5362 5365 5360 5357 5360 5359 5361 5363 5365 5362 5360 5357 5363 5357 5363 5360 5361 5361 5359 5357 5356 5359 5361 5365 5357 5357 5362 5361 5357 5359 5362 5358 5364 5361 5360 5361 5363 5362 5358 5359 5358 5359 5363 5359 5357 5362 5357 5360 5361 5361 5359 5357 5359 5358 5364 5357 5362 5357 5360 5356 5361 5360 5363 5360 5360 5361 5361 5359 5364 5358 5358 5361 5363 5361 5363 5361 5362 5361 5361 5358 5361 5360 5361 5362 5356 5358 5358 5360 5358 5360 5359 5356 5363 5358 5368 5362 5364 5363 5361 5357 5363 5365 5363 5362 5358 5359 5356 5358 5359 5360 5358 5361 5361 5362 5363 5359 5365 5358 5358 5365 5359 5366 5359 5358 5361 5360 5359 5357 5362 5366 5357 5358 5357 5365 5367 5362 5363 5359 5361 5361 5358 5363 5358 5361 5368 5366 5361 5361 5362 5363 5361 5362 5363 5365 5362 5360 5361 5357 5365 5365 5364 5360 5357 5358 5363 5364 5361 5361 5360 5362 5358 5358 5359 5360 5357 5359 5359 5363 5363 5361 5355 5361 5364 5360 5362 5363 5361 5360 5356 5362 5360 5360 5360 5362
count_limbo_reclamation_event_size_total=1372317
sum_limbo_reclamation_event_count_total=1375766
first_thread_announced_epoch_by_thread=11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466 11466
sum_num_inserts_by_thread=646219 648380 642090 639145 651023 649619 639953 648908 644374 652037 652346 659522 648496 645068 647522 643921 665816 660237 662850 658664 668131 662835 663602 661928 659770 657863 653851 656224 655326 655443 658930 653804 666468 659632 664374 663017 662080 659959 662190 656563 658204 653038 656616 653802 662265 661371 659044 654992 653108 654085 657369 653060 660249 652198 654811 652466 654469 655397 653168 655433 651872 655453 655579 650791 640263 639295 637453 632392 637130 636394 637673 639581 635341 644540 647318 656609 645053 642001 641810 637832 656813 656542 652510 648814 654139 650504 653519 652848 658422 654034 653149 652522 650792 656579 651552 646498 655100 655659 647918 651248 650688 662117 656389 650568 655549 652978 652236 647794 647824 651674 653239 648687 647399 652371 648646 644737 645731 648108 649037 646229 654311 646019 649039 639518 638919 647449 648058 646200 646746 647054 632481 636556 639492 641543 630668 637082 629658 644991 632579 637206 642705 641828 638027 642724 633759 637679 635234 634899 638272 640561 631795 642014 633937 635663 629693 640661 637790 639800 634333 638193 639688 642830 640046 641666 637046 648052 642923 646217 635431 640906 637549 643485 636478 637345 635893 639509 632028 639501 639790 634461 642864 642796 636070 636509 638018 642846 637720 640533 628925 638912 635397 652289 639411 634053 642299 646334 644211 638262 632539 641721 642047 641762 639168 639563 638901 635061 628994 637562 639214 639231 633929 634897 637539 643001 640843 639845 629633 630874 628803 630786 631221 635875 634293 631248 637049 638911 638872 627120 637247 645619 633022 637914 640408 647848 640766 636375 645003 654486 645621 645109 649164 650345 646938 650284 648282 660344 650343 662805 644437 658848 652276 651745 640572 666979 657821 679917
sum_num_inserts_total=165403317
sum_num_deletes_by_thread=646561 647450 643157 639231 649347 648236 642257 646932 644049 651485 651064 660426 646986 648096 648475 643002 666017 661995 660694 659127 668829 661928 664444 662936 662256 658375 654544 654840 653325 654308 658154 655343 668318 659980 662499 662979 661583 661250 660937 656351 657260 652540 655131 654160 661573 662133 659252 656295 654024 654127 658581 653837 658710 652972 656152 650613 653602 656049 652538 655682 651721 654234 654299 652239 640881 638047 638573 634359 638053 636994 636346 637757 634394 645437 648018 656717 644055 643210 641940 637527 656015 655529 652289 646401 655292 651283 652748 653028 657721 653782 652277 652438 650035 655273 651536 646815 656852 655166 648355 651271 648343 661722 658243 651103 655761 652577 652213 648039 647845 650414 652797 648485 646636 651360 647722 646040 647585 650260 649019 645536 653415 645276 646968 638184 640901 648134 647695 646648 647102 647060 630555 637089 640500 641937 630607 637502 630655 644598 633437 639220 643744 640548 638153 641894 632159 638659 635608 631823 639870 639092 631441 642424 633488 635228 630202 638329 636198 640630 634735 637823 639690 642594 638620 640347 636219 647633 640241 644089 635034 640886 636595 641583 636502 635538 635813 638077 632793 641182 640765 634749 641650 641835 636434 637158 637795 645623 638165 639379 631557 638346 634821 653666 638783 634717 642701 647262 642585 637519 635643 641116 639485 642757 638565 639497 639126 634647 630023 638781 640587 640947 633313 634682 637783 643767 640557 640565 629510 631031 627738 629592 629435 636442 632943 632314 638868 639324 637559 627332 637023 645152 635047 638092 639057 646806 638644 638115 645448 653843 646133 645379 648985 650092 646540 651153 648168 659002 651030 660600 644880 658227 653306 652205 641540 666700 657618 677933
sum_num_deletes_total=165382728
sum_num_searches_by_thread=11651443 11667028 11571501 11499394 11700994 11662008 11542876 11675362 11595963 11738160 11741439 11876556 11661848 11641500 11666916 11578524 11978286 11905427 11914601 11863054 12022416 11913523 11945935 11930194 11894288 11852074 11775059 11811189 11785312 11787587 11871360 11795532 12020075 11899180 11945817 11919826 11919580 11897735 11929337 11815356 11839397 11765773 11816261 11774182 11906390 11924535 11828214 11804688 11747424 11782382 11827380 11759797 11842362 11743728 11804625 11719726 11768558 11797661 11750964 11806639 11734934 11783477 11794230 11731099 11525509 11498072 11498779 11398342 11482015 11455158 11450420 11499684 11429431 11625004 11650336 11828996 11596296 11558143 11551848 11475541 11826682 11801245 11741768 11661439 11794012 11710106 11735747 11761973 11850424 11794754 11761725 11738317 11702525 11797039 11718103 11645937 11811979 11803275 11662344 11731946 11683511 11910018 11824593 11718596 11800923 11727957 11715593 11660085 11656117 11719321 11761931 11672315 11622487 11729204 11668973 11604851 11649218 11680842 11686828 11621695 11749992 11642880 11653362 11527062 11514946 11661501 11663915 11625663 11636506 11636853 11370661 11458711 11527169 11569746 11348166 11477768 11347838 11603617 11381582 11484924 11571758 11551148 11499104 11561894 11402377 11491362 11439978 11406951 11503824 11521653 11361784 11580989 11418315 11437049 11348658 11514658 11461447 11518748 11432513 11473006 11524174 11572985 11505373 11536592 11454291 11667180 11536001 11623018 11437804 11515396 11464912 11571049 11460706 11467463 11457306 11484892 11381329 11519357 11532345 11422488 11564167 11557759 11439300 11458536 11488023 11582004 11485983 11502059 11373646 11506672 11428124 11777322 11515912 11408333 11558529 11620754 11582803 11489414 11404210 11548612 11536888 11548397 11495753 11503180 11512812 11421867 11328729 11488738 11500659 11512401 11401954 11433716 11487557 11587918 11524121 11537026 11326018 11361088 11316937 11330682 11339134 11446550 11388283 11375653 11474402 11496544 11485235 11286362 11470051 11599090 11422707 11489492 11508288 11656535 11527002 11488660 11614028 11775044 11619095 11605775 11683422 11698428 11619432 11729176 11660261 11883851 11711512 11906275 11599621 11861720 11764490 11732012 11526878 11997427 11852885 12207773
sum_num_searches_total=2977075088
sum_num_rq_by_thread=
sum_num_rq_total=
sum_num_operations_by_thread=12944223 12962858 12856748 12777770 13001364 12959863 12825086 12971202 12884386 13041682 13044849 13196504 12957330 12934664 12962913 12865447 13310119 13227659 13238145 13180845 13359376 13238286 13273981 13255058 13216314 13168312 13083454 13122253 13093963 13097338 13188444 13104679 13354861 13218792 13272690 13245822 13243243 13218944 13252464 13128270 13154861 13071351 13128008 13082144 13230228 13248039 13146510 13115975 13054556 13090594 13143330 13066694 13161321 13048898 13115588 13022805 13076629 13109107 13056670 13117754 13038527 13093164 13104108 13034129 12806653 12775414 12774805 12665093 12757198 12728546 12724439 12777022 12699166 12914981 12945672 13142322 12885404 12843354 12835598 12750900 13139510 13113316 13046567 12956654 13103443 13011893 13042014 13067849 13166567 13102570 13067151 13043277 13003352 13108891 13021191 12939250 13123931 13114100 12958617 13034465 12982542 13233857 13139225 13020267 13112233 13033512 13020042 12955918 12951786 13021409 13067967 12969487 12916522 13032935 12965341 12895628 12942534 12979210 12984884 12913460 13057718 12934175 12949369 12804764 12794766 12957084 12959668 12918511 12930354 12930967 12633697 12732356 12807161 12853226 12609441 12752352 12608151 12893206 12647598 12761350 12858207 12833524 12775284 12846512 12668295 12767700 12710820 12673673 12781966 12801306 12625020 12865427 12685740 12707940 12608553 12793648 12735435 12799178 12701581 12749022 12803552 12858409 12784039 12818605 12727556 12962865 12819165 12913324 12708269 12797188 12739056 12856117 12733686 12740346 12729012 12762478 12646150 12800040 12812900 12691698 12848681 12842390 12711804 12732203 12763836 12870473 12761868 12781971 12634128 12783930 12698342 13083277 12794106 12677103 12843529 12914350 12869599 12765195 12672392 12831449 12818420 12832916 12773486 12782240 12790839 12691575 12587746 12765081 12780460 12792579 12669196 12703295 12762879 12874686 12805521 12817436 12585161 12622993 12573478 12591060 12599790 12718867 12655519 12639215 12750319 12774779 12761666 12540814 12744321 12889861 12690776 12765498 12787753 12951189 12806412 12763150 12904479 13083373 12910849 12896263 12981571 12998865 12912910 13030613 12956711 13203197 13012885 13229680 12888938 13178795 13070072 13035962 12808990 13331106 13168324 13565623
average_num_operations_total=12921332
stdev_num_operations_total=11837
sum_num_operations_total=3307861133
min_num_operations_total=12540814
max_num_operations_total=13565623
first_time_thread_terminate_by_thread=10000076 10000076 10000076 10000076 10000077 10000077 10000077 10000077 10000074 10000075 10000074 10000074 10000076 10000076 10000076 10000076 10000074 10000074 10000074 10000074 10000074 10000074 10000074 10000080 10000075 10000075 10000075 10000075 10000081 10000081 10000081 10000081 10000075 10000075 10000075 10000076 10000077 10000077 10000077 10000077 10000079 10000079 10000079 10000079 10000076 10000076 10000076 10000076 10000076 10000076 10000076 10000077 10000075 10000075 10000075 10000075 10000080 10000080 10000080 10000080 10000076 10000076 10000076 10000076 10000076 10000076 10000081 10000076 10000077 10000077 10000077 10000077 10000074 10000075 10000074 10000074 10000076 10000076 10000076 10000076 10000079 10000074 10000079 10000074 10000074 10000080 10000074 10000080 10000075 10000075 10000075 10000075 10000081 10000081 10000081 10000081 10000075 10000075 10000075 10000076 10000077 10000077 10000077 10000077 10000079 10000079 10000079 10000079 10000076 10000076 10000076 10000076 10000076 10000076 10000076 10000077 10000075 10000075 10000075 10000075 10000080 10000081 10000080 10000081 10000076 10000076 10000076 10000076 10000079 10000079 10000079 10000079 10000077 10000077 10000077 10000077 10000080 10000079 10000079 10000079 10000078 10000078 10000078 10000078 10000080 10000080 10000080 10000080 10000078 10000078 10000078 10000078 10000079 10000079 10000079 10000079 10000080 10000080 10000080 10000080 10000078 10000078 10000078 10000078 10000081 10000081 10000081 10000080 10000078 10000078 10000078 10000078 10000080 10000080 10000080 10000080 10000080 10000080 10000081 10000080 10000080 10000080 10000080 10000080 10000074 10000074 10000074 10000074 10000079 10000079 10000079 10000079 10000079 10000079 10000079 10000079 10000077 10000077 10000077 10000077 10000080 10000079 10000079 10000079 10000078 10000078 10000078 10000078 10000080 10000080 10000080 10000080 10000078 10000078 10000078 10000078 10000079 10000079 10000079 10000079 10000080 10000080 10000080 10000080 10000078 10000078 10000078 10000078 10000081 10000081 10000081 10000080 10000078 10000078 10000078 10000078 10000080 10000080 10000080 10000080 10000081 10000081 10000081 10000080 10000080 10000080 10000080 10000080 10000074 10000074 10000074 10000125 10000079 10000079 10000079 10000079
min_time_thread_terminate_total=10000074
max_time_thread_terminate_total=10000125
first_time_thread_start_by_thread=6 6 6 6 7 7 7 7 8 8 8 8 7 7 7 7 6 6 6 6 6 6 6 6 7 7 7 7 8 8 8 8 10 10 10 11 8 8 8 8 9 9 9 10 10 10 10 10 7 7 7 7 9 9 9 9 8 8 8 8 14 14 14 14 6 6 6 6 7 7 7 7 8 8 8 8 7 7 7 7 6 6 6 6 6 6 6 6 7 7 7 7 8 8 8 8 10 10 10 11 8 8 8 8 9 9 9 10 10 10 10 10 7 7 7 7 9 9 9 9 8 8 8 8 14 14 14 14 10 10 10 10 12 11 12 11 13 13 13 13 14 14 14 14 12 13 12 13 13 13 13 13 12 12 12 12 12 12 12 12 9 9 9 9 11 11 11 11 10 10 10 10 9 9 9 9 12 12 12 12 11 11 11 11 5 5 5 5 11 11 11 11 10 10 10 10 12 11 12 11 13 13 13 13 14 14 14 14 13 13 12 13 13 13 13 13 12 12 12 12 12 12 12 12 9 9 9 9 11 11 11 11 10 10 10 10 10 10 10 9 12 12 12 12 11 11 11 11 5 5 5 9 11 11 11 11
min_time_thread_start_total=5
max_time_thread_start_total=14
sum_duration_all_ops_total=

threads_final_keysum=9987735470
threads_final_size=99846
final_keysum=9987735470
final_size=99846
validate_result=success
Validation OK.
Structural validation OK.

total_find=2977075088
total_rq=0
total_inserts=165403317
total_deletes=165382728
total_updates=330786045
total_queries=2977075088
total_ops=3307861133
find_throughput=297707508
rq_throughput=0
update_throughput=33078604
query_throughput=297707508
total_throughput=330786113


total find                    : 2977075088
total rq                      : 0
total inserts                 : 165403317
total deletes                 : 165382728
total updates                 : 330786045
total queries                 : 2977075088
total ops                     : 3307861133
find throughput               : 297707508
rq throughput                 : 0
update throughput             : 33078604
query throughput              : 297707508
total throughput              : 330786113

elapsed milliseconds          : 10000
napping milliseconds overtime : 100

garbage=148280023896596
total_execution_walltime=11.69s
REALTIME_MAIN_END_PERF_FORMAT=213677.399239533
[time_cmd_output] time_elapsed_sec=11.79, faults_major=0, faults_minor=136006, mem_maxresident_kb=475432, user_cputime=2818.78, sys_cputime=27.05, percent_cpu=24119%
timeout=false
algorithm=brown_ext_abtree_lf.debra
thread_pinning=-pin 0-63,128-191,64-127,192-255
millis=10000
__trials=1