__step=000456
__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 2000000 -t 10000 -pin 0-63,128-191,64-127,192-255
__file_data=data000456.txt
__path_data=data/data000456.txt
__hostname=nasus
REALTIME_MAIN_START_PERF_FORMAT=212376.913503948
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=2000000
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.072s
prefilling_size=998428 prefilling_elapsed_millis=1s
finished prefilling to size 998425 for expected size 1000000 keysum=997318223684, performing 67759592 updates; total_prefilling_elapsed_ms=1103 ms)
pref_size=998425
pref_millis=1103
prefill_elapsed_ms=1112
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=289

main thread: starting timer...

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

REALTIME_START_PERF_FORMAT=212378.187029545
REALTIME_END_PERF_FORMAT=212388.187109131

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

tree_stats_computeWalltime=0.3s

tree_stats_numInternalsAtDepth=1 1 10 69 499 3844 29621 0
tree_stats_numLeavesAtDepth=0 0 0 0 0 0 0 195008
tree_stats_numNodesAtDepth=1 1 10 69 499 3844 29621 195008
tree_stats_numKeysAtDepth=0 0 0 0 0 0 0 999414
tree_stats_avgDegreeAtDepth=1 10 6.9 7.23188 7.70341 7.70578 6.58344 5.12499

tree_stats_height=8
tree_stats_numInternals=34045
tree_stats_numLeaves=195008
tree_stats_numNodes=229053
tree_stats_numKeys=999414

tree_stats_avgDegreeInternal=6.72795
tree_stats_avgDegreeLeaves=5.12499
tree_stats_avgDegree=5.36324
tree_stats_avgKeyDepth=7

tree_stats_bytesAtDepth=208 208 2080 14352 103792 799552 6161168 40561664
tree_stats_sizeInBytes=47643024

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


log_histogram_of_none_limbo_reclamation_event_size_full_data=1:70 2:59 4:112 8:221 16:461 32:1371 64:566488 128:538722 256:3264 512:323
    [2^00, 2^01]: 70
    (2^01, 2^02]: 59
    (2^02, 2^03]: 112
    (2^03, 2^04]: 221
    (2^04, 2^05]: 461
    (2^05, 2^06]: 1371
    (2^06, 2^07]: 566488
    (2^07, 2^08]: 538722
    (2^08, 2^09]: 3264
    (2^09, 2^10]: 323
sum_limbo_reclamation_event_size_total=142236706
count_limbo_reclamation_event_size_by_thread=4340 4339 4341 4340 4339 4340 4342 4341 4341 4340 4342 4338 4340 4341 4341 4341 4338 4341 4340 4339 4340 4340 4341 4342 4340 4342 4340 4341 4340 4338 4338 4338 4340 4338 4340 4341 4340 4340 4341 4343 4340 4341 4341 4340 4340 4340 4340 4341 4338 4341 4340 4339 4341 4339 4341 4341 4341 4339 4342 4341 4339 4339 4341 4341 4341 4340 4341 4342 4343 4340 4343 4341 4340 4341 4340 4340 4339 4341 4342 4340 4338 4342 4344 4339 4340 4341 4341 4341 4341 4338 4340 4339 4341 4340 4343 4339 4340 4340 4338 4342 4341 4339 4339 4340 4341 4342 4342 4341 4339 4341 4340 4342 4338 4341 4339 4337 4341 4338 4341 4340 4343 4342 4340 4342 4341 4340 4340 4341 4336 4341 4338 4339 4340 4341 4341 4341 4342 4337 4342 4340 4339 4342 4340 4339 4341 4336 4341 4338 4340 4338 4342 4339 4339 4341 4341 4341 4340 4339 4340 4342 4339 4340 4341 4339 4342 4340 4339 4341 4340 4339 4341 4338 4342 4339 4340 4339 4342 4341 4340 4339 4338 4342 4339 4340 4339 4341 4340 4342 4342 4338 4338 4343 4339 4340 4341 4339 4341 4337 4340 4341 4341 4341 4344 4341 4340 4339 4342 4340 4339 4341 4339 4340 4340 4341 4340 4339 4339 4341 4340 4343 4342 4338 4337 4338 4339 4341 4343 4341 4338 4340 4339 4339 4340 4340 4340 4339 4340 4341 4340 4341 4340 4340 4339 4341 4340 4342 4341 4340 4343 4339 4342 4340 4337 4339 4339 4341
count_limbo_reclamation_event_size_total=1111091
sum_limbo_reclamation_event_count_total=1112428
first_thread_announced_epoch_by_thread=9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270 9270
sum_num_inserts_by_thread=539031 531980 540043 529535 535009 536848 529519 532346 536887 534563 531275 533836 529732 535569 532843 534433 532616 535371 534894 532109 532024 534751 525830 535399 531153 530149 528285 541805 532499 530932 529738 530900 536455 534867 532773 535641 538174 535938 535494 531260 535032 540882 533956 541080 537175 536193 533405 534687 532150 530731 531333 531581 528142 527724 527074 526583 530517 532382 527826 531104 526157 537214 525122 526461 529522 529916 529059 528751 519924 530355 523284 533253 522860 529214 527923 527128 531101 527759 526883 525365 530284 529633 529021 530956 540074 539427 533536 525222 535785 534951 532770 528302 529491 529212 529565 524185 537451 531129 536771 536694 530443 534199 536921 540018 531147 540285 532737 527376 520652 533582 526519 534837 529655 531713 530171 534001 528132 531770 534552 528587 531745 530096 530401 533195 530812 532999 533541 533668 530141 530154 531277 529836 534922 530342 534325 529432 534214 527261 531820 529048 531513 528353 532196 528282 525834 524228 529721 519790 529560 527660 526016 526820 526371 523698 530803 526111 522265 521784 524787 519911 533005 525565 530242 525926 537371 525441 534361 526245 530292 528198 528446 525806 530851 527840 527932 524276 528499 530596 527924 522587 530087 528619 524729 513340 531711 522227 525114 516310 528863 523899 520435 525238 535763 531224 534241 527605 536011 532506 534628 528433 525446 522879 529701 524434 523453 526856 529429 519711 529812 527010 529936 528797 531319 526042 519037 523606 523991 523311 523763 519757 532125 524060 529568 525966 538817 533719 531605 527329 526442 527000 531840 530791 527315 531345 537582 530141 536709 531761 531298 535110 531138 530091 530185 531920 535128 529603 540234 536199 542631 530658 543755 539307 540179 535671 545276 539787
sum_num_inserts_total=135818963
sum_num_deletes_by_thread=538698 530658 539475 529406 533922 536072 530545 532796 536856 534744 531259 534942 527503 536358 531932 534372 532968 533444 534452 532279 531755 533416 524193 534896 530139 529259 527696 541582 532311 531765 529192 532088 536645 535914 532930 535316 537837 536505 536053 530831 534062 540969 533128 540207 536454 536271 532889 535330 530069 529491 530977 531529 528250 527273 527438 527911 530271 533438 528156 531420 525728 536286 525239 527221 529815 530031 530333 528493 520964 529030 524303 529934 523469 530201 527620 527182 532437 527541 527374 526631 530336 528405 527049 530517 539528 538416 534504 526636 535530 538035 533770 528323 530720 528495 529524 524309 535899 530804 534477 537623 528771 536190 535678 540608 532049 538635 531370 527470 521520 532084 527702 533505 528487 533998 529479 531988 528345 531706 535149 527577 533629 528639 529029 533147 531455 532615 532738 535081 528977 528699 531843 528350 536059 531146 533661 530714 535461 528121 533361 529710 533019 528174 532943 529995 527506 524503 528104 520142 529062 527974 527525 528961 526288 523695 530593 526881 523962 522545 525835 520042 532030 526628 529419 528531 537067 526587 533653 525798 529522 528571 527627 525629 532199 528200 526836 524298 528574 530105 529319 522751 530189 526893 524769 512548 531346 524759 524332 515776 528979 525914 521821 526335 535868 531612 532143 527596 535973 532070 535764 526911 526217 524856 530321 525268 525097 527690 529172 520872 530922 525684 529540 527930 531897 524974 520083 523426 522786 522397 522921 520431 531338 522973 530131 524388 539700 535473 531245 527620 526286 528697 532751 529703 526153 532005 537981 528299 537297 530739 530723 535414 530982 529407 530749 531685 533717 527902 541117 536326 544811 530741 543630 538471 540192 535003 546052 538792
sum_num_deletes_total=135819683
sum_num_searches_by_thread=9716678 9548904 9724242 9536786 9626797 9674273 9540090 9585639 9664258 9611400 9567179 9617216 9523877 9662135 9581652 9614096 9601204 9630769 9628762 9576689 9573004 9626718 9442617 9637393 9550571 9531474 9515546 9743412 9589852 9565501 9519432 9556113 9649431 9651571 9585200 9630203 9666778 9648415 9635354 9565927 9617078 9739522 9621124 9735011 9666796 9670788 9596670 9637552 9550172 9560899 9565135 9574204 9502564 9507476 9500305 9481516 9547919 9584168 9503730 9556351 9475506 9653120 9448043 9489049 9558183 9539058 9545080 9528388 9366792 9534436 9432901 9551178 9427543 9521329 9509867 9479128 9564010 9495647 9472641 9472998 9551829 9538052 9504897 9565201 9703810 9694954 9626648 9481926 9644750 9641888 9603872 9510716 9543184 9493251 9537201 9439473 9673978 9566438 9635495 9656074 9537814 9642924 9659365 9721165 9556904 9710826 9554273 9491315 9392593 9581637 9511122 9589166 9510461 9587898 9539283 9580017 9496540 9567557 9630316 9499248 9600787 9531220 9527494 9595224 9565765 9583081 9603086 9622896 9545366 9526168 9565381 9525423 9630193 9549889 9606192 9526253 9644967 9492508 9589014 9535372 9587862 9501264 9579556 9520414 9477940 9419862 9513882 9365955 9529626 9492633 9481635 9498252 9470922 9426926 9568533 9477564 9417476 9406637 9473630 9363434 9585803 9473785 9520142 9481098 9681589 9462657 9599351 9454439 9523406 9518490 9509319 9467932 9566659 9513551 9498700 9437960 9509285 9537853 9505315 9405480 9539868 9499417 9442336 9235609 9562326 9414100 9451671 9274146 9526322 9448451 9369189 9469031 9641897 9571444 9604036 9497314 9654328 9565110 9628308 9505288 9465386 9426506 9541926 9458762 9428322 9477275 9525642 9352758 9536868 9466816 9548531 9505763 9550526 9447334 9346430 9424013 9424586 9412240 9413877 9360326 9587846 9409619 9523299 9445524 9712291 9635300 9577274 9501020 9467983 9509251 9576396 9530569 9484460 9560039 9664222 9533170 9660568 9570677 9552692 9637177 9576720 9529726 9560450 9568125 9611825 9514091 9719871 9652137 9784523 9561756 9776845 9704202 9709243 9627005 9837785 9697115
sum_num_searches_total=2444653066
sum_num_rq_by_thread=
sum_num_rq_total=
sum_num_operations_by_thread=10794407 10611542 10803760 10595727 10695728 10747193 10600154 10650781 10738001 10680707 10629713 10685994 10581112 10734062 10646427 10682901 10666788 10699584 10698108 10641077 10636783 10694885 10492640 10707688 10611863 10590882 10571527 10826799 10654662 10628198 10578362 10619101 10722531 10722352 10650903 10701160 10742789 10720858 10706901 10628018 10686172 10821373 10688208 10816298 10740425 10743252 10662964 10707569 10612391 10621121 10627445 10637314 10558956 10562473 10554817 10536010 10608707 10649988 10559712 10618875 10527391 10726620 10498404 10542731 10617520 10599005 10604472 10585632 10407680 10593821 10480488 10614365 10473872 10580744 10565410 10533438 10627548 10550947 10526898 10524994 10612449 10596090 10560967 10626674 10783412 10772797 10694688 10533784 10716065 10714874 10670412 10567341 10603395 10550958 10596290 10487967 10747328 10628371 10706743 10730391 10597028 10713313 10731964 10801791 10620100 10789746 10618380 10546161 10434765 10647303 10565343 10657508 10568603 10653609 10598933 10646006 10553017 10631033 10700017 10555412 10666161 10589955 10586924 10661566 10628032 10648695 10669365 10691645 10604484 10585021 10628501 10583609 10701174 10611377 10674178 10586399 10714642 10547890 10654195 10594130 10652394 10557791 10644695 10578691 10531280 10468593 10571707 10405887 10588248 10548267 10535176 10554033 10523581 10474319 10629929 10530556 10463703 10450966 10524252 10403387 10650838 10525978 10579803 10535555 10756027 10514685 10667365 10506482 10583220 10575259 10565392 10519367 10629709 10569591 10553468 10486534 10566358 10598554 10562558 10450818 10600144 10554929 10491834 10261497 10625383 10461086 10501117 10306232 10584164 10498264 10411445 10520604 10713528 10634280 10670420 10552515 10726312 10629686 10698700 10560632 10517049 10474241 10601948 10508464 10476872 10531821 10584243 10393341 10597602 10519510 10608007 10562490 10613742 10498350 10385550 10471045 10471363 10457948 10460561 10400514 10651309 10456652 10582998 10495878 10790808 10704492 10640124 10555969 10520711 10564948 10640987 10591063 10537928 10623389 10739785 10591610 10734574 10633177 10614713 10707701 10638840 10589224 10621384 10631730 10680670 10571596 10801222 10724662 10871965 10623155 10864230 10781980 10789614 10697679 10929113 10775694
average_num_operations_total=10610514
stdev_num_operations_total=6268
sum_num_operations_total=2716291712
min_num_operations_total=10261497
max_num_operations_total=10929113
first_time_thread_terminate_by_thread=10000088 10000082 10000082 10000082 10000085 10000085 10000085 10000085 10000085 10000085 10000085 10000085 10000084 10000084 10000084 10000084 10000084 10000084 10000084 10000084 10000083 10000083 10000083 10000083 10000083 10000083 10000083 10000083 10000085 10000085 10000084 10000084 10000083 10000083 10000083 10000083 10000084 10000084 10000084 10000084 10000083 10000083 10000083 10000083 10000081 10000081 10000081 10000081 10000081 10000081 10000081 10000081 10000082 10000082 10000082 10000082 10000082 10000082 10000082 10000082 10000084 10000084 10000084 10000084 10000082 10000082 10000082 10000082 10000085 10000085 10000085 10000085 10000085 10000085 10000085 10000085 10000084 10000084 10000084 10000084 10000084 10000084 10000084 10000084 10000083 10000083 10000083 10000083 10000083 10000083 10000083 10000083 10000085 10000085 10000084 10000084 10000083 10000083 10000083 10000083 10000084 10000084 10000084 10000084 10000083 10000083 10000083 10000083 10000081 10000081 10000081 10000081 10000081 10000081 10000081 10000081 10000082 10000082 10000082 10000082 10000082 10000082 10000082 10000082 10000084 10000084 10000084 10000084 10000081 10000081 10000081 10000081 10000079 10000079 10000084 10000084 10000079 10000079 10000083 10000079 10000083 10000079 10000079 10000083 10000080 10000084 10000083 10000087 10000079 10000079 10000079 10000079 10000083 10000083 10000084 10000083 10000085 10000085 10000085 10000085 10000081 10000084 10000081 10000081 10000086 10000086 10000086 10000086 10000080 10000080 10000084 10000080 10000085 10000085 10000085 10000085 10000080 10000080 10000085 10000080 10000082 10000082 10000082 10000085 10000082 10000082 10000082 10000082 10000085 10000081 10000081 10000081 10000081 10000081 10000081 10000081 10000079 10000079 10000079 10000084 10000083 10000079 10000079 10000079 10000079 10000079 10000079 10000079 10000080 10000084 10000080 10000084 10000079 10000079 10000079 10000133 10000083 10000084 10000083 10000083 10000085 10000085 10000085 10000085 10000081 10000081 10000081 10000081 10000086 10000086 10000086 10000086 10000081 10000080 10000081 10000080 10000085 10000085 10000085 10000085 10000080 10000080 10000080 10000080 10000082 10000082 10000082 10000082 10000082 10000082 10000082 10000084 10000081 10000080 10000081 10000081
min_time_thread_terminate_total=10000079
max_time_thread_terminate_total=10000133
first_time_thread_start_by_thread=10 10 10 10 14 14 14 14 15 15 15 15 16 16 16 16 11 11 11 10 11 11 9 11 16 16 16 16 15 15 15 15 14 14 14 14 14 14 14 14 13 13 13 13 9 9 9 9 15 15 15 15 9 9 9 9 15 15 15 15 9 9 11 11 10 10 10 10 14 14 14 14 15 15 15 15 16 16 16 16 11 11 11 10 11 9 9 11 16 16 16 16 15 15 15 15 14 14 14 14 14 14 14 14 13 13 13 13 9 9 9 9 15 15 15 15 9 9 9 9 15 15 15 15 9 9 11 11 11 11 11 11 10 10 10 10 12 12 12 12 12 12 12 12 10 11 11 10 8 8 8 8 11 11 12 12 9 9 9 9 14 14 14 14 13 13 13 13 12 12 12 12 13 13 13 13 13 13 13 13 11 11 11 11 16 16 16 16 11 11 11 11 11 11 11 11 10 10 10 10 12 12 12 12 12 12 12 12 10 11 10 10 8 8 8 13 12 11 12 12 9 9 9 9 14 14 14 14 13 13 13 13 12 12 12 12 13 13 13 13 13 13 13 13 11 11 11 11 16 16 16 16 11 11 11 11
min_time_thread_start_total=8
max_time_thread_start_total=16
sum_duration_all_ops_total=

threads_final_keysum=999056210979
threads_final_size=999414
final_keysum=999056210979
final_size=999414
validate_result=success
Validation OK.
Structural validation OK.

total_find=2444653066
total_rq=0
total_inserts=135818963
total_deletes=135819683
total_updates=271638646
total_queries=2444653066
total_ops=2716291712
find_throughput=244465306
rq_throughput=0
update_throughput=27163864
query_throughput=244465306
total_throughput=271629171


total find                    : 2444653066
total rq                      : 0
total inserts                 : 135818963
total deletes                 : 135819683
total updates                 : 271638646
total queries                 : 2444653066
total ops                     : 2716291712
find throughput               : 244465306
rq throughput                 : 0
update throughput             : 27163864
query throughput              : 244465306
total throughput              : 271629171

elapsed milliseconds          : 10000
napping milliseconds overtime : 100

garbage=1222391620953039
total_execution_walltime=11.751s
REALTIME_MAIN_END_PERF_FORMAT=212388.665712653
[time_cmd_output] time_elapsed_sec=11.86, faults_major=0, faults_minor=166756, mem_maxresident_kb=595456, user_cputime=2840.45, sys_cputime=30.41, percent_cpu=24198%
timeout=false
algorithm=brown_ext_abtree_lf.debra
thread_pinning=-pin 0-63,128-191,64-127,192-255
millis=10000
__trials=2