__step=000568
__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=data000568.txt
__path_data=data/data000568.txt
__hostname=nasus
REALTIME_MAIN_START_PERF_FORMAT=213677.570371726
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.063s
prefilling_size=100002 prefilling_elapsed_millis=1s
finished prefilling to size 99966 for expected size 100000 keysum=10004740019, performing 71037415 updates; total_prefilling_elapsed_ms=1103 ms)
pref_size=99966
pref_millis=1103
prefill_elapsed_ms=1115
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=342

main thread: starting timer...

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

REALTIME_START_PERF_FORMAT=213678.809870222
REALTIME_END_PERF_FORMAT=213688.809952380

###############################################################################
################################## 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 3187 subtrees; running parallel for...
computing stats for the top of the tree (above the partitions)...

tree_stats_computeWalltime=0.249s

tree_stats_numInternalsAtDepth=1 1 8 53 405 3187 0
tree_stats_numLeavesAtDepth=0 0 0 0 0 0 19452
tree_stats_numNodesAtDepth=1 1 8 53 405 3187 19452
tree_stats_numKeysAtDepth=0 0 0 0 0 0 99464
tree_stats_avgDegreeAtDepth=1 8 6.625 7.64151 7.86914 6.10355 5.1133

tree_stats_height=7
tree_stats_numInternals=3655
tree_stats_numLeaves=19452
tree_stats_numNodes=23107
tree_stats_numKeys=99464

tree_stats_avgDegreeInternal=6.32202
tree_stats_avgDegreeLeaves=5.1133
tree_stats_avgDegree=5.3045
tree_stats_avgKeyDepth=6

tree_stats_bytesAtDepth=208 208 1664 11024 84240 662896 4046016
tree_stats_sizeInBytes=4806256

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=5771


log_histogram_of_none_limbo_reclamation_event_size_full_data=1:234 2:77 4:186 8:365 16:617 32:1290 64:848264 128:528019 256:1868 512:1460 1024:255
    [2^00, 2^01]: 234
    (2^01, 2^02]: 77
    (2^02, 2^03]: 186
    (2^03, 2^04]: 365
    (2^04, 2^05]: 617
    (2^05, 2^06]: 1290
    (2^06, 2^07]: 848264
    (2^07, 2^08]: 528019
    (2^08, 2^09]: 1868
    (2^09, 2^10]: 1460
    (2^10, 2^11]: 255
sum_limbo_reclamation_event_size_total=173325781
count_limbo_reclamation_event_size_by_thread=5404 5402 5402 5410 5397 5404 5398 5400 5399 5399 5396 5400 5400 5402 5400 5399 5402 5399 5404 5398 5400 5402 5402 5399 5398 5401 5405 5401 5401 5404 5399 5400 5398 5398 5398 5397 5401 5402 5401 5399 5398 5399 5399 5395 5396 5405 5402 5402 5399 5401 5401 5398 5401 5399 5403 5400 5403 5400 5401 5402 5398 5399 5398 5402 5399 5404 5401 5400 5401 5399 5401 5400 5401 5402 5403 5400 5398 5403 5400 5400 5398 5400 5398 5399 5403 5399 5403 5400 5399 5405 5400 5398 5399 5402 5398 5403 5395 5401 5403 5402 5403 5402 5398 5399 5400 5401 5401 5401 5401 5402 5404 5402 5399 5395 5401 5402 5401 5404 5397 5402 5399 5398 5395 5400 5399 5400 5398 5400 5398 5400 5401 5400 5398 5404 5401 5404 5400 5402 5399 5398 5406 5404 5401 5400 5401 5404 5400 5398 5397 5400 5404 5406 5404 5400 5401 5406 5400 5405 5404 5401 5401 5404 5399 5399 5396 5406 5404 5401 5397 5396 5399 5402 5404 5400 5399 5401 5399 5401 5400 5401 5403 5402 5402 5400 5402 5399 5400 5401 5402 5403 5397 5399 5398 5404 5398 5403 5398 5399 5405 5398 5401 5403 5404 5398 5401 5402 5405 5401 5398 5399 5400 5402 5404 5396 5401 5408 5398 5407 5405 5404 5401 5407 5407 5402 5408 5400 5403 5405 5403 5403 5399 5402 5406 5404 5400 5398 5404 5401 5401 5401 5405 5401 5404 5402 5400 5406 5404 5400 5399 5403 5403 5400 5401 5398 5400 5405
count_limbo_reclamation_event_size_total=1382635
sum_limbo_reclamation_event_count_total=1386341
first_thread_announced_epoch_by_thread=11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542 11542
sum_num_inserts_by_thread=653676 650285 644114 649123 651173 648008 645865 646775 648363 647193 647004 650706 647120 644023 648075 647654 652680 649639 653490 651145 655671 652461 652796 648918 650132 649471 660725 646053 653632 646300 647756 648761 657146 657225 668826 655177 659183 667799 669009 665699 664135 651618 664265 658756 666690 662607 666997 661634 660454 660494 661186 657818 659030 658155 658421 653348 656830 654133 659842 658365 660952 655865 656607 649673 645520 637924 641381 635193 642864 638741 640426 635846 640853 637537 641314 646457 644785 644092 644023 638991 651440 647284 648893 634949 645114 640215 643463 639802 640874 638016 657070 638762 649213 643287 642612 640060 651130 640717 653203 641560 644968 658120 662808 660700 663494 646943 658656 655343 665790 663232 665453 658295 651732 655002 650930 652650 654103 662080 658153 659239 657609 663394 662751 656377 660382 656525 657740 652122 642569 643671 638924 642149 637606 643137 637411 639134 641147 639566 636995 644890 639638 643343 643470 640600 640576 638938 637910 637931 636792 637024 636294 639316 636177 641619 634751 641652 634877 642042 635168 641232 643251 644830 640580 643266 638996 642030 639811 647709 642013 643580 640491 642508 642751 640167 640460 641909 632985 639995 633587 636306 635701 641890 637156 638980 636500 637876 634449 636326 635420 661061 632753 640985 634526 638398 634421 637477 639101 642184 637439 646128 642419 641656 636304 641232 633447 639110 635667 634040 629764 632127 633765 639799 633190 633881 632044 638899 636422 639095 629261 630524 626055 634057 627887 633447 641613 641765 641400 644359 640219 642321 636639 645527 641285 643627 645094 648948 646802 652740 657644 654568 647569 654991 651985 653595 656534 663097 654655 660020 655403 661017 655459 653005 663521 685959 653432 671952
sum_num_inserts_total=165628310
sum_num_deletes_by_thread=652723 648460 644742 649508 650858 647815 646250 646425 648644 647245 647299 650273 647275 644194 649755 648016 652514 649457 655482 651603 657388 651541 653298 650098 650123 651831 658907 646193 651444 645331 648074 645619 658012 656453 668738 654603 659192 667218 670118 667074 664426 651382 665295 659277 667041 664919 664799 662793 661649 660218 661674 653973 658981 658955 656473 653766 656559 656262 660298 657173 662023 656692 656335 649960 646133 639069 643790 634059 644794 640976 639837 635266 640147 634971 639846 645556 644120 644429 642737 639856 651898 647640 649128 636485 644370 639843 642647 639726 638251 637997 658309 640212 649055 643719 641446 640607 650711 641812 651669 640746 645827 656664 662767 661621 663916 648824 658018 655908 667059 663037 667038 657409 650021 655461 651632 652784 652781 660901 658561 658736 658258 664203 662714 656890 659655 657390 659815 650977 642173 644518 639684 641891 636369 642282 637139 639639 640760 638505 638849 643669 639923 643270 642587 642415 639720 638816 635968 636250 637748 636453 638064 639371 637501 641567 634406 640306 634597 643062 635209 640872 641536 645792 641825 643682 638061 641971 638831 649419 643219 643724 639190 642407 643293 639665 641603 639497 633119 640927 634141 636507 636873 640271 635938 638259 634415 638284 635312 635979 635482 661880 634327 642092 633308 639114 634485 639240 638569 642824 638641 645832 639916 642506 635599 641649 634276 636087 636342 635819 630395 633204 635229 638432 634433 632133 631792 637768 634740 638745 631587 630291 626171 634407 627044 635569 645293 642503 641037 643459 642169 643012 637441 643667 640503 643146 644593 646325 648451 652646 655791 652176 647468 653587 651233 655107 655901 662245 655256 658892 653829 661102 655236 652742 665347 686288 651749 670403
sum_num_deletes_total=165627288
sum_num_searches_by_thread=11753406 11700585 11626455 11680872 11709540 11653789 11638005 11663170 11692497 11644648 11659957 11740613 11651362 11607012 11668524 11642739 11746640 11689932 11786531 11708212 11786993 11736115 11745773 11688867 11697978 11727952 11889976 11630565 11740204 11630046 11651975 11644806 11829086 11823458 12028572 11780445 11857787 12017403 12055988 11979049 11961653 11718092 11959103 11888389 12000410 11955070 11978046 11928203 11913094 11874631 11895971 11809893 11876645 11868004 11817558 11750527 11828358 11802923 11874592 11827015 11898423 11803350 11818352 11683496 11612943 11474320 11576119 11418508 11586716 11506286 11513514 11458063 11509495 11462565 11536994 11632175 11602259 11586923 11593086 11508221 11724005 11656854 11658020 11435475 11606730 11510248 11574359 11516003 11496390 11491849 11839912 11531903 11690001 11576542 11551770 11533490 11716293 11530688 11738452 11517925 11637538 11831680 11944545 11888312 11930583 11648582 11844602 11795785 11996095 11931966 12018558 11851867 11729676 11779879 11718771 11758970 11762186 11915351 11845001 11872566 11839453 11949635 11912110 11835983 11873510 11825559 11849805 11720161 11560998 11612065 11491108 11558948 11471252 11587830 11479059 11516080 11530717 11510728 11486868 11590645 11501417 11569850 11581119 11538373 11525753 11505757 11461257 11464541 11458732 11457914 11464373 11492896 11452728 11548437 11431355 11533057 11444264 11555573 11430344 11545134 11568050 11592805 11536174 11580038 11501026 11577987 11519585 11674365 11570989 11595425 11512344 11564245 11564133 11533251 11552165 11503887 11411712 11526321 11414392 11453859 11462793 11555613 11450777 11508143 11428155 11501070 11406058 11463146 11461019 11904638 11407605 11555532 11411371 11520522 11440776 11493698 11491323 11566110 11472851 11633662 11529694 11547234 11443878 11539148 11433999 11474335 11433186 11432220 11342807 11389726 11428553 11499469 11421339 11391334 11382508 11490632 11432209 11485376 11348779 11362819 11277795 11415384 11302175 11429526 11579420 11579803 11525146 11602349 11553654 11572788 11474205 11608701 11545341 11591765 11609689 11644239 11642830 11752547 11807987 11761475 11644893 11786906 11735342 11774131 11811230 11906513 11793271 11865422 11790499 11897615 11802303 11756804 11956917 12352073 11744270 12069006
sum_num_searches_total=2981343196
sum_num_rq_by_thread=
sum_num_rq_total=
sum_num_operations_by_thread=13059805 12999330 12915311 12979503 13011571 12949612 12930120 12956370 12989504 12939086 12954260 13041592 12945757 12895229 12966354 12938409 13051834 12989028 13095503 13010960 13100052 13040117 13051867 12987883 12998233 13029254 13209608 12922811 13045280 12921677 12947805 12939186 13144244 13137136 13366136 13090225 13176162 13352420 13395115 13311822 13290214 13021092 13288663 13206422 13334141 13282596 13309842 13252630 13235197 13195343 13218831 13121684 13194656 13185114 13132452 13057641 13141747 13113318 13194732 13142553 13221398 13115907 13131294 12983129 12904596 12751313 12861290 12687760 12874374 12786003 12793777 12729175 12790495 12735073 12818154 12924188 12891164 12875444 12879846 12787068 13027343 12951778 12956041 12706909 12896214 12790306 12860469 12795531 12775515 12767862 13155291 12810877 12988269 12863548 12835828 12814157 13018134 12813217 13043324 12800231 12928333 13146464 13270120 13210633 13257993 12944349 13161276 13107036 13328944 13258235 13351049 13167571 13031429 13090342 13021333 13064404 13069070 13238332 13161715 13190541 13155320 13277232 13237575 13149250 13193547 13139474 13167360 13023260 12845740 12900254 12769716 12842988 12745227 12873249 12753609 12794853 12812624 12788799 12762712 12879204 12780978 12856463 12867176 12821388 12806049 12783511 12735135 12738722 12733272 12731391 12738731 12771583 12726406 12831623 12700512 12815015 12713738 12840677 12700721 12827238 12852837 12883427 12818579 12866986 12778083 12861988 12798227 12971493 12856221 12882729 12792025 12849160 12850177 12813083 12834228 12785293 12677816 12807243 12682120 12726672 12735367 12837774 12723871 12785382 12699070 12777230 12675819 12735451 12731921 13227579 12674685 12838609 12679205 12798034 12709682 12770415 12768993 12851118 12748931 12925622 12812029 12831396 12715781 12822029 12701722 12749532 12705195 12702079 12602966 12655057 12697547 12777700 12688962 12657348 12646344 12767299 12703371 12763216 12609627 12623634 12530021 12683848 12557106 12698542 12866326 12864071 12807583 12890167 12836042 12858121 12748285 12897895 12827129 12878538 12899376 12939512 12938083 13057933 13121422 13068219 12939930 13095484 13038560 13082833 13123665 13231855 13103182 13184334 13099731 13219734 13112998 13062551 13285785 13724320 13049451 13411361
average_num_operations_total=12939839
stdev_num_operations_total=12401
sum_num_operations_total=3312598794
min_num_operations_total=12530021
max_num_operations_total=13724320
first_time_thread_terminate_by_thread=10000083 10000083 10000084 10000083 10000083 10000083 10000083 10000083 10000083 10000083 10000083 10000083 10000082 10000088 10000082 10000082 10000082 10000082 10000082 10000082 10000085 10000085 10000085 10000085 10000083 10000083 10000083 10000083 10000081 10000081 10000081 10000081 10000082 10000082 10000082 10000082 10000082 10000082 10000082 10000082 10000081 10000082 10000087 10000081 10000082 10000082 10000082 10000082 10000082 10000082 10000082 10000082 10000080 10000080 10000080 10000080 10000082 10000082 10000082 10000082 10000084 10000084 10000084 10000084 10000083 10000083 10000083 10000083 10000083 10000083 10000083 10000083 10000083 10000083 10000083 10000083 10000082 10000082 10000082 10000088 10000082 10000082 10000082 10000082 10000085 10000085 10000085 10000085 10000083 10000083 10000083 10000083 10000081 10000081 10000081 10000081 10000082 10000082 10000082 10000082 10000082 10000082 10000082 10000082 10000081 10000087 10000082 10000082 10000082 10000082 10000082 10000082 10000082 10000082 10000082 10000082 10000080 10000080 10000080 10000080 10000087 10000082 10000082 10000082 10000084 10000084 10000084 10000084 10000087 10000087 10000087 10000087 10000087 10000087 10000087 10000087 10000085 10000085 10000085 10000085 10000080 10000080 10000080 10000080 10000084 10000084 10000084 10000084 10000086 10000086 10000086 10000086 10000085 10000085 10000085 10000085 10000085 10000085 10000086 10000085 10000085 10000085 10000085 10000085 10000085 10000086 10000086 10000086 10000085 10000085 10000085 10000085 10000086 10000086 10000086 10000086 10000086 10000086 10000086 10000086 10000085 10000085 10000085 10000085 10000087 10000087 10000087 10000087 10000087 10000088 10000088 10000087 10000087 10000087 10000087 10000087 10000087 10000087 10000087 10000087 10000085 10000085 10000085 10000085 10000080 10000080 10000133 10000085 10000084 10000084 10000084 10000084 10000086 10000088 10000086 10000086 10000085 10000085 10000085 10000085 10000085 10000085 10000086 10000085 10000085 10000085 10000085 10000085 10000085 10000086 10000086 10000086 10000085 10000085 10000085 10000085 10000086 10000086 10000086 10000086 10000086 10000086 10000086 10000086 10000085 10000085 10000085 10000085 10000087 10000087 10000087 10000087 10000087 10000088 10000088 10000087
min_time_thread_terminate_total=10000080
max_time_thread_terminate_total=10000133
first_time_thread_start_by_thread=14 14 14 14 12 12 12 12 11 11 11 11 10 9 9 9 12 12 12 12 11 10 10 10 17 16 16 16 10 10 10 10 10 10 10 10 16 16 16 16 17 17 17 17 17 17 17 17 10 10 10 10 12 13 13 13 16 16 16 16 16 16 16 16 14 14 14 14 12 12 12 12 11 11 11 11 10 9 9 9 12 12 12 12 11 10 10 10 16 16 16 16 10 10 10 10 10 10 10 10 16 16 16 16 17 17 17 17 17 17 17 17 10 10 10 10 12 13 12 13 16 16 16 16 16 16 16 16 13 13 13 13 12 12 12 12 13 13 13 13 8 8 8 8 11 11 11 11 14 14 14 14 11 11 11 11 13 13 13 13 14 14 14 14 17 17 17 17 14 14 14 14 10 10 10 10 15 15 15 15 15 15 15 15 15 15 15 15 12 12 12 12 13 13 13 13 12 12 12 12 13 13 13 13 8 8 12 8 11 11 11 11 14 14 14 14 11 11 11 11 13 13 13 13 14 14 14 14 17 17 17 17 14 14 14 14 10 10 10 10 15 15 15 15 15 15 15 15 15 15 15 15 12 12 12 12
min_time_thread_start_total=8
max_time_thread_start_total=17
sum_duration_all_ops_total=

threads_final_keysum=9938359171
threads_final_size=99464
final_keysum=9938359171
final_size=99464
validate_result=success
Validation OK.
Structural validation OK.

total_find=2981343196
total_rq=0
total_inserts=165628310
total_deletes=165627288
total_updates=331255598
total_queries=2981343196
total_ops=3312598794
find_throughput=298134319
rq_throughput=0
update_throughput=33125559
query_throughput=298134319
total_throughput=331259879


total find                    : 2981343196
total rq                      : 0
total inserts                 : 165628310
total deletes                 : 165627288
total updates                 : 331255598
total queries                 : 2981343196
total ops                     : 3312598794
find throughput               : 298134319
rq throughput                 : 0
update throughput             : 33125559
query throughput              : 298134319
total throughput              : 331259879

elapsed milliseconds          : 10000
napping milliseconds overtime : 100

garbage=149066720831873
total_execution_walltime=11.681s
REALTIME_MAIN_END_PERF_FORMAT=213689.252008778
[time_cmd_output] time_elapsed_sec=11.78, faults_major=0, faults_minor=156662, mem_maxresident_kb=559012, user_cputime=2824.36, sys_cputime=26.41, percent_cpu=24181%
timeout=false
algorithm=brown_ext_abtree_lf.debra
thread_pinning=-pin 0-63,128-191,64-127,192-255
millis=10000
__trials=2