__step=000023
__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_sigouin_abtree_kcas_validate.debra -nwork 256 -nprefill 256 -prefill-hybrid -prefill-hybrid-min-ms 1000 -prefill-hybrid-max-ms 5000 -insdel 0.5 0.5 -k 20000000 -t 10000 -pin 0-63,128-191,64-127,192-255
__file_data=data000023.txt
__path_data=data/data000023.txt
__hostname=nasus
sizeof(kcasdesc_t)=1920
sizeof(rdcssdesc_t)=192
addrof(kcasDescriptors[0])=0x55a08e766440
addrof(kcasDescriptors[1])=0x55a08e766bc0
addrof(rdcssDescriptors[0])=0x55a08e856440
addrof(rdcssDescriptors[1])=0x55a08e856500
sizeof(validationSet)=1608
REALTIME_MAIN_START_PERF_FORMAT=207043.40667062
binary=./brown_sigouin_abtree_kcas_validate.debra
parsed custom binding: 0-63,128-191,64-127,192-255
DS_TYPENAME=brown_sigouin_abtree_kcas_validate
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=0.5
DEL_FRAC=0.5
RQ=0
RQSIZE=0
MAXKEY=20000000
PREFILL_THREADS=256
DESIRED_PREFILL_SIZE=-1
TOTAL_THREADS=256
WORK_THREADS=256
RQ_THREADS=0
distribution=0
INS_DEL_FRAC=0.5 0.5
PREFILL_TYPE=PREFILL_HYBRID
PREFILL_HYBRID_MIN_MS=1000
PREFILL_HYBRID_MAX_MS=5000
sizes: node=40
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=9902479 prefilling_elapsed_millis=1.001s
finished prefilling to size 9902857 for expected size 10000000 keysum=99079875862447, performing 93360105 updates; total_prefilling_elapsed_ms=1105 ms)
pref_size=9902857
pref_millis=1105
prefill_elapsed_ms=1116
main thread: starting timer...
###############################################################################
################################ BEGIN RUNNING ################################
###############################################################################
REALTIME_START_PERF_FORMAT=207044.298882773
REALTIME_END_PERF_FORMAT=207054.298998471
###############################################################################
################################## 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 3599 subtrees; running parallel for...
computing stats for the top of the tree (above the partitions)...
tree_stats_computeWalltime=0.151s
tree_stats_numInternalsAtDepth=1 1 8 65 491 3599 27253 213025 0
tree_stats_numLeavesAtDepth=0 0 0 0 0 0 0 0 1680763
tree_stats_numNodesAtDepth=1 1 8 65 491 3599 27253 213025 1680763
tree_stats_numKeysAtDepth=0 0 0 0 0 0 0 0 9944958
tree_stats_avgDegreeAtDepth=1 8 8.125 7.55385 7.32994 7.57238 7.81657 7.88998 5.91693
tree_stats_height=9
tree_stats_numInternals=244443
tree_stats_numLeaves=1680763
tree_stats_numNodes=1925206
tree_stats_numKeys=9944958
tree_stats_avgDegreeInternal=7.87589
tree_stats_avgDegreeLeaves=5.91693
tree_stats_avgDegree=6.16566
tree_stats_avgKeyDepth=8
log_histogram_of_none_limbo_reclamation_event_size_full_data=1:58290 2:59607 4:7241 8:164
[2^00, 2^01]: 58290
(2^01, 2^02]: 59607
(2^02, 2^03]: 7241
(2^03, 2^04]: 164
sum_limbo_reclamation_event_size_total=213690
count_limbo_reclamation_event_size_by_thread=548 532 478 464 464 438 504 468 488 534 458 464 464 510 482 502 530 558 494 456 528 522 466 484 530 506 438 470 504 482 472 504 486 448 480 490 524 474 474 482 540 454 506 496 538 524 466 458 552 518 488 450 536 494 526 444 560 560 500 444 476 524 488 508 518 518 508 480 486 494 500 486 522 492 472 460 504 520 494 452 512 526 460 480 434 464 436 490 508 460 488 494 512 464 502 496 492 438 516 488 464 516 488 462 466 486 454 466 464 506 450 470 504 466 450 422 504 422 492 448 532 538 478 526 552 514 510 478 442 488 490 494 474 492 478 432 464 454 494 512 504 518 504 462 464 498 508 420 492 548 498 504 506 498 486 464 446 522 472 514 548 450 504 478 500 476 476 490 476 472 510 488 524 500 452 478 486 452 490 498 478 490 500 532 476 494 534 494 476 456 466 508 468 430 470 488 448 482 458 458 470 508 524 510 526 488 502 518 486 520 496 456 426 498 486 554 468 500 496 420 476 452 492 472 450 470 506 460 500 552 520 526 492 478 506 450 516 472 548 502 490 506 488 470 540 460 488 508 554 564 528 424 536 482 430 502
count_limbo_reclamation_event_size_total=125302
sum_limbo_reclamation_event_count_total=950268
first_thread_announced_epoch_by_thread=4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036 4036
sum_commit_tx_reader_total=
sum_commit_tx_reader_by_thread=
sum_commit_tx_writer_total=
sum_commit_tx_writer_by_thread=
sum_abort_tx_total=
sum_abort_tx_by_thread=
max_ht_capacity_by_thread=
linear_histogram_of_none_tx_rdset_size_full_data=
linear_histogram_of_none_tx_wrset_size_full_data=
sum_fasthtm_commit_total=
sum_fasthtm_abort_total=
sum_htmpostfix_commit_total=
sum_htmpostfix_abort_total=
sum_htmprefix_commit_total=
sum_htmprefix_abort_total=
sum_htmprefix_abort_explicit_total=
sum_htmprefix_abort_conflict_total=
sum_htmprefix_abort_capacity_total=
sum_htmprefix_abort_nesting_total=
sum_htmprefix_abort_illegal_total=
sum_htmprefix_abort_zero_total=
sum_stmprefix_abort_total=
sum_stmprefix_commit_total=
sum_slow_commit_total=
sum_abtree_insert_repeat_total=3
sum_abtree_erase_repeat_total=2
sum_abtree_search_repeat_total=1
sum_abtree_search_complete_total=11210606
sum_abtree_fix_weight_viol_attempt_total=48042
sum_abtree_fix_degree_viol_attempt_total=25286
sum_abtree_rebalancing_kcas_attempt_total=73328
sum_abtree_update_kcas_attempt_total=5568964
sum_abtree_internal_complex_search_while_iters_total=11210607
sum_abtree_internal_basic_search_while_iters_total=1102200134
sum_kcas_desc_new_total=
sum_num_inserts_by_thread=21553 21788 21739 21478 21914 21701 21643 21972 21605 21655 21899 21957 21800 21832 21750 21814 22208 21982 21799 21917 22115 22131 21817 21945 21861 21845 21753 21668 21706 21877 21862 21874 21727 21977 22027 22055 21926 21835 21655 21322 21794 21809 22059 21652 21935 21651 21804 21340 21859 21751 21909 21811 21844 21890 21751 21737 21693 21665 21699 21905 21927 21761 21688 21625 21536 21385 21591 21614 21685 21873 21553 21508 21868 21473 21652 21654 21619 21806 21523 21583 21853 21791 21632 21731 21677 21887 21988 21885 21849 21717 21861 21821 21693 21664 21795 21801 21748 21973 21915 22031 22096 21723 21776 21695 21597 21798 21565 21672 21634 21671 21578 21794 21875 21680 21928 21655 21881 21832 21922 21726 21785 21606 21904 21789 21634 21775 21910 22176 21475 21962 21637 21836 21819 21686 21591 21837 21649 21804 21792 21543 21856 21873 21743 21623 21672 21375 22074 21681 21908 21495 21602 21623 21823 21742 21725 21500 21614 21574 21800 21515 21560 21748 21759 21804 21786 21625 21859 21916 21714 21569 21575 21781 21537 21530 21261 21701 22108 21794 21425 21586 21745 21892 21621 21623 21812 21763 21685 21621 21513 21911 21973 22062 21593 21456 21682 21672 21536 21742 21244 21743 21412 21531 21294 21346 21433 21498 21550 21381 21684 21913 21734 21591 21632 21629 21940 21852 21866 21577 21791 21594 21721 21697 21584 21722 22186 21837 21751 21839 22177 21978 22084 21935 22139 21695 21805 21717 21896 21755 21746 21833 22094 21978 21909 22029 21961 22189 22217 21894 22206 22115 22094 22201 22194 21958 22082 21999
sum_num_inserts_total=5571896
sum_num_deletes_by_thread=21826 21607 21734 21569 21544 21645 21683 21717 21821 21946 21493 21843 21669 21710 21675 21655 21685 21945 22012 21792 21849 21939 21846 21878 21656 21809 21794 21870 21869 21778 21718 22115 21877 21771 21837 21803 21643 21488 21899 21779 22005 21780 21936 21795 21576 21867 21760 21425 22109 21642 21731 21729 21727 21863 21817 21920 21953 21775 22040 21680 22079 21742 21508 21816 21495 21514 21684 21691 21686 21643 21707 21725 21585 21686 21528 21495 21538 21429 21379 21538 21589 21832 21639 21770 21811 21966 21807 21474 21559 21765 21716 21781 22082 21683 21869 21765 21783 21645 21989 21915 21688 21701 21813 21563 21802 22082 21579 21493 21994 21807 21839 21594 21936 21577 21668 21759 21627 21902 22043 21899 21736 21593 21856 21622 21562 21640 21937 21617 21656 21496 21855 21730 21916 21868 21957 21778 21988 21545 21478 21570 21545 21669 21920 21823 21859 21530 21580 21642 21840 21747 21357 21763 21909 21620 21684 21624 21437 21549 21667 21650 21758 21701 21479 21809 21852 21738 21750 21569 21471 21497 21609 21636 21722 21435 21444 21515 21772 21649 21758 21655 21551 21647 21512 21365 21630 21329 21618 21472 21449 21866 21755 21470 21519 21618 21698 21504 21614 21614 21641 21468 21602 21568 21332 21773 21505 21713 21472 21656 21651 21831 21869 21836 21820 21676 21800 21539 21889 21502 21547 21539 21551 21509 21684 21632 21694 21963 21771 21857 22116 21946 21801 22309 21568 21992 21946 22028 21673 22060 21927 22052 21993 22044 21940 21931 22185 22028 21867 21944 22493 22140 22030 22246 21824 21896 22480 21963
sum_num_deletes_total=5565370
sum_num_searches_by_thread=4326224 4299166 4314739 4272582 4308887 4297228 4299336 4293143 4295797 4292821 4311208 4313661 4324530 4318042 4315887 4309479 4348142 4344636 4334944 4332464 4343784 4338947 4331043 4334738 4318369 4313391 4312089 4310674 4318393 4320979 4321218 4314427 4330848 4322710 4323195 4316433 4318582 4308688 4316674 4308649 4327930 4317607 4318800 4314509 4316989 4319027 4315314 4307926 4327306 4318372 4325415 4321072 4321710 4316775 4315836 4314969 4321662 4316889 4314262 4320594 4327467 4321803 4318869 4313992 4277325 4259928 4270836 4266169 4280247 4270118 4268124 4274630 4271206 4271403 4290884 4279056 4282293 4271409 4275109 4274782 4309535 4299102 4317374 4319301 4330806 4324868 4319589 4323633 4311037 4303939 4292498 4293436 4300841 4299964 4292923 4293819 4308146 4324738 4316944 4311627 4319315 4310798 4307645 4308454 4299175 4294579 4287807 4289769 4298943 4288555 4288247 4287542 4306051 4303417 4303255 4296391 4301635 4304292 4308595 4301906 4307246 4300147 4308225 4303909 4324019 4320769 4321027 4316714 4301617 4302055 4298367 4291224 4322666 4304182 4311418 4311608 4301763 4294281 4293347 4265991 4280767 4281840 4276205 4277853 4306795 4297851 4316874 4327134 4299435 4296002 4305287 4301887 4297946 4289142 4281562 4281627 4280893 4275123 4279393 4279384 4289330 4291679 4299697 4293698 4315876 4309917 4288962 4303893 4287481 4276747 4271963 4275240 4279571 4265837 4264174 4276192 4304708 4295733 4307386 4288477 4305162 4294646 4288328 4282595 4286239 4272341 4269665 4268867 4285336 4288302 4310194 4305423 4289676 4286062 4285064 4277311 4285447 4274286 4280022 4277834 4274392 4261470 4254903 4271542 4285038 4274824 4273565 4270519 4314349 4304118 4304871 4282253 4311176 4293413 4302094 4299152 4301807 4275223 4295887 4284411 4292015 4284482 4296529 4294604 4311016 4304896 4315010 4307191 4337261 4329075 4307620 4335880 4338337 4317169 4329517 4327794 4337601 4324702 4329977 4321329 4349517 4351155 4356753 4343926 4361816 4350697 4368549 4358392 4363333 4352940 4356324 4353510 4388540 4366212 4385039 4366850
sum_num_searches_total=1102199353
sum_num_rq_by_thread=
sum_num_rq_total=
sum_num_operations_by_thread=4369603 4342561 4358212 4315629 4352345 4340574 4342662 4336832 4339223 4336422 4354600 4357461 4367999 4361584 4359312 4352948 4392035 4388563 4378755 4376173 4387748 4383017 4374706 4378561 4361886 4357045 4355636 4354212 4361968 4364634 4364798 4358416 4374452 4366458 4367059 4360291 4362151 4352011 4360228 4351750 4371729 4361196 4362795 4357956 4360500 4362545 4358878 4350691 4371274 4361765 4369055 4364612 4365281 4360528 4359404 4358626 4365308 4360329 4358001 4364179 4371473 4365306 4362065 4357433 4320356 4302827 4314111 4309474 4323618 4313634 4311384 4317863 4314659 4314562 4334064 4322205 4325450 4314644 4318011 4317903 4352977 4342725 4360645 4362802 4374294 4368721 4363384 4366992 4354445 4347421 4336075 4337038 4344616 4343311 4336587 4337385 4351677 4368356 4360848 4355573 4363099 4354222 4351234 4351712 4342574 4338459 4330951 4332934 4342571 4332033 4331664 4330930 4349862 4346674 4346851 4339805 4345143 4348026 4352560 4345531 4350767 4343346 4351985 4347320 4367215 4364184 4364874 4360507 4344748 4345513 4341859 4334790 4366401 4347736 4354966 4355223 4345400 4337630 4336617 4309104 4324168 4325382 4319868 4321299 4350326 4340756 4360528 4370457 4343183 4339244 4348246 4345273 4341678 4332504 4324971 4324751 4323944 4318246 4322860 4322549 4332648 4335128 4342935 4337311 4359514 4353280 4332571 4347378 4330666 4319813 4315147 4318657 4322830 4308802 4306879 4319408 4348588 4339176 4350569 4331718 4348458 4338185 4331461 4325583 4329681 4315433 4312968 4311960 4328298 4332079 4353922 4348955 4332788 4329136 4328444 4320487 4328597 4317642 4322907 4321045 4317406 4304569 4297529 4314661 4327976 4318035 4316587 4313556 4357684 4347862 4348474 4325680 4354628 4336718 4345834 4342543 4345562 4318302 4339225 4327544 4335287 4327688 4339797 4337958 4354896 4348696 4358532 4350887 4381554 4372999 4351505 4380124 4382044 4360856 4373268 4371539 4381170 4368517 4373650 4365214 4393604 4395177 4400602 4387886 4405962 4394914 4412633 4402230 4408032 4397195 4400448 4397957 4432558 4410066 4429601 4410812
average_num_operations_total=4348971
stdev_num_operations_total=1506
sum_num_operations_total=1113336619
min_num_operations_total=4297529
max_num_operations_total=4432558
first_time_thread_terminate_by_thread=10000114 10000114 10000114 10000113 10000118 10000118 10000118 10000118 10000119 10000119 10000119 10000119 10000117 10000117 10000117 10000117 10000119 10000119 10000120 10000120 10000115 10000115 10000115 10000115 10000120 10000120 10000120 10000120 10000119 10000119 10000119 10000119 10000118 10000118 10000118 10000118 10000116 10000116 10000116 10000116 10000117 10000117 10000117 10000117 10000117 10000117 10000117 10000117 10000115 10000115 10000115 10000115 10000113 10000113 10000113 10000113 10000114 10000114 10000114 10000114 10000116 10000116 10000116 10000116 10000114 10000113 10000113 10000114 10000118 10000118 10000118 10000118 10000119 10000119 10000119 10000119 10000117 10000117 10000117 10000117 10000120 10000120 10000119 10000119 10000115 10000115 10000115 10000115 10000120 10000120 10000120 10000120 10000119 10000119 10000119 10000119 10000118 10000118 10000118 10000118 10000116 10000116 10000116 10000116 10000117 10000117 10000117 10000118 10000117 10000117 10000117 10000117 10000115 10000115 10000115 10000115 10000113 10000113 10000113 10000113 10000114 10000114 10000114 10000114 10000116 10000116 10000116 10000116 10000119 10000119 10000119 10000119 10000113 10000112 10000113 10000112 10000112 10000112 10000112 10000112 10000115 10000115 10000115 10000115 10000116 10000116 10000116 10000116 10000119 10000119 10000119 10000119 10000114 10000114 10000116 10000116 10000112 10000112 10000112 10000112 10000115 10000115 10000111 10000111 10000117 10000117 10000117 10000117 10000111 10000111 10000116 10000111 10000118 10000118 10000118 10000118 10000116 10000116 10000112 10000115 10000113 10000113 10000116 10000114 10000117 10000117 10000117 10000117 10000113 10000113 10000113 10000113 10000119 10000119 10000119 10000119 10000112 10000112 10000113 10000112 10000112 10000112 10000112 10000112 10000115 10000115 10000115 10000115 10000116 10000116 10000116 10000116 10000119 10000119 10000119 10000119 10000115 10000114 10000115 10000115 10000112 10000112 10000112 10000112 10000112 10000115 10000111 10000111 10000117 10000117 10000117 10000117 10000111 10000116 10000112 10000111 10000118 10000118 10000119 10000119 10000117 10000112 10000117 10000112 10000116 10000116 10000113 10000116 10000117 10000117 10000118 10000117 10000113 10000113 10000269 10000113
min_time_thread_terminate_total=10000111
max_time_thread_terminate_total=10000269
first_time_thread_start_by_thread=12 12 12 12 10 10 10 11 13 13 13 13 12 12 12 12 15 15 15 15 14 14 14 14 16 16 16 16 16 16 16 16 14 14 14 14 16 16 16 16 16 16 16 16 13 13 13 13 12 13 13 13 13 13 13 13 11 11 11 11 15 15 15 15 12 12 12 12 10 10 10 11 13 13 13 13 12 12 12 12 15 15 15 15 14 14 14 14 16 16 16 16 16 16 16 16 14 14 14 14 16 16 16 16 16 16 16 16 13 13 13 13 12 12 13 13 13 13 13 13 11 11 11 11 15 15 15 15 9 9 9 9 9 10 10 10 9 9 9 9 12 12 12 12 15 15 15 15 10 10 10 10 11 11 11 11 10 10 10 10 9 9 9 9 10 10 10 10 11 11 11 11 12 12 12 12 12 12 12 12 15 15 15 15 14 14 14 14 8 8 8 8 9 9 9 9 9 10 10 10 9 9 9 9 12 12 12 12 15 15 15 15 10 10 10 10 11 11 11 11 10 10 10 10 9 9 9 9 10 10 10 10 11 11 11 11 12 12 12 12 12 12 12 12 15 15 15 15 14 14 14 14 8 8 11 8
min_time_thread_start_total=8
max_time_thread_start_total=16
sum_duration_all_ops_total=
threads_final_keysum=99477163791091
threads_final_size=9944958
final_keysum=99477163791091
final_size=9944958
validate_result=success
Validation OK.
Structural validation OK.
total_find=1102199353
total_rq=0
total_inserts=5571896
total_deletes=5565370
total_updates=11137266
total_queries=1102199353
total_ops=1113336619
find_throughput=110219935
rq_throughput=0
update_throughput=1113726
query_throughput=110219935
total_throughput=111333661
total find : 1102199353
total rq : 0
total inserts : 5571896
total deletes : 5565370
total updates : 11137266
total queries : 1102199353
total ops : 1113336619
find throughput : 110219935
rq throughput : 0
update throughput : 1113726
query throughput : 110219935
total throughput : 111333661
elapsed milliseconds : 10000
napping milliseconds overtime : 100
garbage=299525900193611
total_execution_walltime=11.559s
REALTIME_MAIN_END_PERF_FORMAT=207054.600728249
[time_cmd_output] time_elapsed_sec=11.69, faults_major=0, faults_minor=187243, mem_maxresident_kb=733700, user_cputime=2873.81, sys_cputime=6.89, percent_cpu=24629%
timeout=false
algorithm=brown_sigouin_abtree_kcas_validate.debra
thread_pinning=-pin 0-63,128-191,64-127,192-255
millis=10000
__trials=1