__step=000024
__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=data000024.txt
__path_data=data/data000024.txt
__hostname=nasus
sizeof(kcasdesc_t)=1920
sizeof(rdcssdesc_t)=192
addrof(kcasDescriptors[0])=0x5584d60ff440
addrof(kcasDescriptors[1])=0x5584d60ffbc0
addrof(rdcssDescriptors[0])=0x5584d61ef440
addrof(rdcssDescriptors[1])=0x5584d61ef500
sizeof(validationSet)=1608
REALTIME_MAIN_START_PERF_FORMAT=207054.800607946
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.048s
prefilling_size=9912707 prefilling_elapsed_millis=1s
finished prefilling to size 9912845 for expected size 10000000 keysum=99144389891984, performing 95365541 updates; total_prefilling_elapsed_ms=1104 ms)
pref_size=9912845
pref_millis=1104
prefill_elapsed_ms=1116
main thread: starting timer...

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

REALTIME_START_PERF_FORMAT=207056.47006167
REALTIME_END_PERF_FORMAT=207066.47125829

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

tree_stats_computeWalltime=0.156s

tree_stats_numInternalsAtDepth=1 1 8 63 483 3670 27479 214020 0
tree_stats_numLeavesAtDepth=0 0 0 0 0 0 0 0 1686468
tree_stats_numNodesAtDepth=1 1 8 63 483 3670 27479 214020 1686468
tree_stats_numKeysAtDepth=0 0 0 0 0 0 0 0 9952275
tree_stats_avgDegreeAtDepth=1 8 7.875 7.66667 7.59834 7.48747 7.78849 7.87996 5.90125

tree_stats_height=9
tree_stats_numInternals=245725
tree_stats_numLeaves=1686468
tree_stats_numNodes=1932193
tree_stats_numKeys=9952275

tree_stats_avgDegreeInternal=7.86323
tree_stats_avgDegreeLeaves=5.90125
tree_stats_avgDegree=6.15077
tree_stats_avgKeyDepth=8


log_histogram_of_none_limbo_reclamation_event_size_full_data=1:57649 2:58857 4:6984 8:158
    [2^00, 2^01]: 57649
    (2^01, 2^02]: 58857
    (2^02, 2^03]: 6984
    (2^03, 2^04]: 158
sum_limbo_reclamation_event_size_total=210484
count_limbo_reclamation_event_size_by_thread=514 480 450 436 438 474 474 490 542 448 478 508 472 452 488 482 480 456 500 458 518 452 512 474 472 510 438 504 470 464 556 518 432 432 444 428 476 486 492 498 566 478 484 468 428 508 498 498 478 480 498 488 498 478 498 472 538 450 504 492 490 434 472 520 462 452 482 482 444 504 448 422 466 438 464 432 530 472 500 486 472 486 522 478 498 432 464 484 508 478 448 538 492 512 506 496 484 490 436 494 422 452 442 468 476 510 488 400 436 528 462 420 472 488 522 474 468 508 528 508 464 504 530 452 490 570 474 480 462 538 472 488 422 474 502 530 486 500 492 480 456 474 416 480 486 462 492 504 496 522 476 474 478 470 508 454 496 482 498 540 476 460 476 512 520 494 482 520 506 522 448 468 498 508 510 444 478 532 482 502 434 464 518 492 478 482 568 422 546 468 510 448 458 498 520 402 498 464 478 476 470 496 488 490 486 516 514 452 458 484 500 478 432 478 492 488 486 500 480 482 456 472 484 496 482 464 472 498 496 552 528 458 552 472 510 470 452 452 496 442 496 442 534 512 506 480 510 458 528 528 444 474 470 420 504 544
count_limbo_reclamation_event_size_total=123648
sum_limbo_reclamation_event_count_total=939006
first_thread_announced_epoch_by_thread=3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998 3998
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=6
sum_abtree_erase_repeat_total=1
sum_abtree_search_repeat_total=
sum_abtree_search_complete_total=11154638
sum_abtree_fix_weight_viol_attempt_total=46402
sum_abtree_fix_degree_viol_attempt_total=25842
sum_abtree_rebalancing_kcas_attempt_total=72243
sum_abtree_update_kcas_attempt_total=5540153
sum_abtree_internal_complex_search_while_iters_total=11154638
sum_abtree_internal_basic_search_while_iters_total=1097402470
sum_kcas_desc_new_total=
sum_num_inserts_by_thread=21700 21204 21514 21571 21736 21878 21613 21317 21729 21666 21829 21862 21952 21876 21726 21738 21810 21757 21933 21921 21993 21715 21672 21755 21492 21744 21876 21760 21918 21854 21874 21830 21624 21627 21777 21631 21645 21836 21842 22001 21655 21633 21357 21503 21632 21655 21738 21604 21535 21463 21566 21936 21835 21240 21592 21622 21779 22011 21786 21753 21774 21600 21928 21582 21351 21631 21720 21445 21430 21559 21512 21253 21496 21526 21599 21253 21608 21620 21661 21864 21580 21715 21965 21576 21846 21446 21564 21834 21469 21818 21660 21612 21564 21654 21609 21566 21598 21688 21704 21610 21798 21593 21633 21436 21718 21595 21628 21640 21580 21485 21545 21608 21820 21971 21486 21750 21915 21908 21746 21641 21550 21504 21558 21635 21523 21611 21982 21776 21544 21560 21693 21585 21706 21591 21578 21717 21631 21387 21447 21426 21533 21884 21552 21736 21781 21315 21625 21357 21696 21569 21902 21708 21567 21322 21425 21642 21355 21549 21536 21615 21503 21419 21664 21586 21839 21544 21741 21586 21730 21585 21670 21496 21482 21468 21319 21766 21611 21615 21589 21685 21722 21711 21743 21659 21623 21623 21374 21647 21984 21467 21472 21559 21511 21422 21427 21745 21547 21526 21448 21528 21321 21553 21435 21432 21347 21493 21553 21502 21497 21600 21832 21730 21496 21557 21633 21638 21457 21251 21266 21368 21839 21662 21648 21628 21490 21690 21562 21625 21833 21606 21890 21816 21981 22017 21797 21455 21623 21571 21726 21694 21937 21849 21735 22029 22070 21897 21930 21859 22075 22010 22060 21781 22077 21993 21998 21723
sum_num_inserts_total=5543125
sum_num_deletes_by_thread=21641 21855 21624 21589 21418 21879 21262 21622 21588 21578 21627 22019 21771 21505 21577 21623 21855 21929 21848 21782 21888 21718 21737 21718 21941 21563 21548 21764 21859 21652 21966 21879 21485 21491 21838 21475 21702 21753 21861 21714 21568 21576 21661 21636 21726 21301 21683 21670 21695 21496 21392 21714 21604 21608 21673 21682 21918 21645 21633 21982 21655 21667 21805 21421 21483 21478 21511 21545 21746 21646 21601 21540 21481 21703 21619 21444 21639 21659 21263 21849 21757 21721 21656 21527 21352 21453 21850 21688 21909 21713 21699 21489 21743 21570 21659 21409 21694 21494 21624 21659 21798 21593 21822 21676 21655 21370 21710 21624 21389 21729 21577 21759 21889 22058 21625 21988 21620 21680 21523 21570 21684 21476 21560 21833 21366 21510 21840 21604 21474 21292 21580 21754 21799 21534 21051 21694 21412 21469 21449 21337 21676 21495 21345 21043 21726 21541 21732 21725 21945 21487 21648 21695 21842 21632 21721 21511 21668 21468 21509 21564 21642 21803 21534 21460 21375 21467 21857 21582 21352 21785 21558 21459 21382 21398 21270 21732 21516 21520 21583 21700 21551 21812 22008 21492 21713 21418 21420 21336 21629 21721 21937 21785 21736 21767 21810 21423 21558 21343 21644 21657 21342 21515 21748 21521 21649 21536 21396 21597 21578 21757 21546 21674 21524 21645 21249 21309 21537 21194 21082 21429 21878 21569 21333 21403 21676 21573 21697 21711 21808 21929 21776 21825 21826 21741 21632 21610 21851 21757 21605 21838 21812 21798 21823 21834 22233 21738 22113 21414 21852 21895 21449 22132 22107 21753 21664 22259
sum_num_deletes_total=5539251
sum_num_searches_by_thread=4295890 4292305 4295683 4263475 4296084 4278485 4283997 4277379 4275258 4285707 4290575 4291317 4299041 4307242 4296928 4306687 4332690 4327572 4323057 4326955 4313096 4301674 4299875 4300428 4304561 4302830 4291692 4303111 4306918 4310938 4299958 4302464 4306142 4294909 4293592 4291967 4269795 4304301 4297422 4300483 4286500 4303528 4288068 4296260 4296222 4295230 4289235 4289903 4304267 4297400 4292692 4291231 4303344 4295513 4285113 4301217 4308560 4294302 4303478 4293989 4312616 4312400 4290197 4274101 4258603 4257088 4261716 4257495 4256405 4258665 4262480 4251302 4250916 4262819 4266911 4270841 4282958 4267333 4263562 4269579 4294027 4296673 4285142 4291398 4292978 4281120 4284112 4286477 4287435 4288815 4283970 4277155 4280797 4279707 4273401 4274745 4278743 4267517 4283644 4284628 4335642 4298567 4291362 4295047 4298282 4274390 4270360 4272996 4272301 4276309 4270583 4266980 4300486 4299891 4299913 4299386 4301826 4300410 4286680 4272260 4286903 4278576 4286811 4273938 4289859 4295330 4300846 4307036 4283167 4269119 4274539 4273274 4281253 4269499 4278119 4270373 4271404 4269401 4262773 4263245 4271494 4265769 4262329 4263284 4289952 4267161 4292415 4285628 4300862 4294769 4290724 4280906 4293128 4270664 4285177 4268618 4280748 4261130 4270895 4261681 4276370 4269589 4270457 4270818 4298376 4275860 4278198 4279265 4261327 4256959 4262590 4260361 4261467 4258365 4254183 4259337 4281263 4268051 4285038 4275758 4301025 4290623 4297136 4273704 4284856 4269885 4261487 4264106 4289210 4274660 4295517 4304533 4282034 4264472 4271976 4270880 4279922 4254469 4266869 4255497 4255262 4254882 4247869 4253273 4264051 4246573 4253823 4256540 4280510 4278804 4279760 4283164 4269166 4259740 4263453 4252386 4258762 4241931 4250127 4279904 4293777 4280261 4286848 4277538 4299712 4281670 4287837 4290964 4319106 4299385 4314440 4308610 4295109 4295860 4300447 4302650 4303918 4301914 4299446 4307866 4325628 4314419 4329751 4323757 4355972 4345556 4354076 4332565 4345507 4336092 4327782 4334013 4362508 4344622 4349024 4340804
sum_num_searches_total=1097401383
sum_num_rq_by_thread=
sum_num_rq_total=
sum_num_operations_by_thread=4339231 4335364 4338821 4306635 4339238 4322242 4326872 4320318 4318575 4328951 4334031 4335198 4342764 4350623 4340231 4350048 4376355 4371258 4366838 4370658 4356977 4345107 4343284 4343901 4347994 4346137 4335116 4346635 4350695 4354444 4343798 4346173 4349251 4338027 4337207 4335073 4313142 4347890 4341125 4344198 4329723 4346737 4331086 4339399 4339580 4338186 4332656 4333177 4347497 4340359 4335650 4334881 4346783 4338361 4328378 4344521 4352257 4337958 4346897 4337724 4356045 4355667 4333930 4317104 4301437 4300197 4304947 4300485 4299581 4301870 4305593 4294095 4293893 4306048 4310129 4313538 4326205 4310612 4306486 4313292 4337364 4340109 4328763 4334501 4336176 4324019 4327526 4329999 4330813 4332346 4327329 4320256 4324104 4322931 4316669 4317720 4322035 4310699 4326972 4327897 4379238 4341753 4334817 4338159 4341655 4317355 4313698 4316260 4315270 4319523 4313705 4310347 4344195 4343920 4343024 4343124 4345361 4343998 4329949 4315471 4330137 4321556 4329929 4317406 4332748 4338451 4344668 4350416 4326185 4311971 4317812 4316613 4324758 4312624 4320748 4313784 4314447 4312257 4305669 4306008 4314703 4309148 4305226 4306063 4333459 4310017 4335772 4328710 4344503 4337825 4334274 4324309 4336537 4313618 4328323 4311771 4323771 4304147 4313940 4304860 4319515 4312811 4313655 4313864 4341590 4318871 4321796 4322433 4304409 4300329 4305818 4303316 4304331 4301231 4296772 4302835 4324390 4311186 4328210 4319143 4344298 4334146 4340887 4316855 4328192 4312926 4304281 4307089 4332823 4317848 4338926 4347877 4325281 4307661 4315213 4314048 4323027 4297338 4309961 4298682 4297925 4297950 4291052 4296226 4307047 4289602 4296772 4299639 4323585 4322161 4323138 4326568 4312186 4302942 4306335 4295333 4301756 4284376 4292475 4322701 4337494 4323492 4329829 4320569 4342878 4324933 4331096 4334300 4362747 4342920 4358106 4352251 4338916 4339618 4343876 4345715 4347392 4345242 4342777 4351398 4369377 4358066 4373309 4367620 4400275 4389191 4398119 4375838 4389434 4379997 4371291 4377926 4406692 4388368 4392686 4384786
average_num_operations_total=4330014
stdev_num_operations_total=1395
sum_num_operations_total=1108483759
min_num_operations_total=4284376
max_num_operations_total=4406692
first_time_thread_terminate_by_thread=10000128 10000128 10000128 10000128 10000124 10000122 10000122 10000122 10000125 10000125 10000125 10000125 10000121 10000121 10000121 10000121 10000119 10000119 10000119 10000122 10000124 10000124 10000122 10000121 10000122 10000122 10000122 10000122 10000121 10000120 10000128 10000120 10000124 10000122 10000121 10000121 10000123 10000120 10000123 10000121 10000122 10000123 10000123 10000122 10000119 10000123 10000119 10000119 10000127 10000126 10000126 10000126 10000126 10000126 10000126 10000126 10000123 10000123 10000123 10000123 10000123 10000123 10000123 10000123 10000128 10000128 10000128 10000128 10000122 10000122 10000122 10000122 10000125 10000125 10000125 10000127 10000123 10000121 10000123 10000123 10000119 10000119 10000119 10000119 10000122 10000124 10000122 10000122 10000122 10000122 10000123 10000122 10000124 10000124 10000121 10000120 10000121 10000121 10000124 10000121 10000120 10000123 10000120 10000120 10000124 10000124 10000124 10000123 10000119 10000119 10000123 10000119 10000126 10000126 10000126 10000126 10000126 10000126 10000126 10000126 10000123 10000123 10000123 10000123 10000123 10000123 10000123 10000123 10000125 10000123 10000123 10000123 10000122 10000122 10000122 10000122 10000124 10000126 10000124 10000126 10000119 10000119 10000118 10000119 10000127 10000126 10000127 10000126 10000126 10000126 10000126 10000126 10000128 10000128 10000128 10000128 10000125 10000125 10000125 10000125 10000124 10000124 10000124 10000124 10000125 10000125 10000125 10000126 10000127 10000127 10000127 10000127 10000124 10000124 10000124 10000124 10000127 10000127 10000127 10000127 10000127 10000128 10000127 10000127 10000128 10000127 10000133 10000127 10000124 10000124 10000124 10000124 10000123 10000125 10000125 10000123 10000122 10000122 10000125 10000122 10000124 10000124 10000124 10000124 10000118 10000119 10000118 10000224 10000126 10000127 10000126 10000126 10000126 10000126 10000126 10000126 10000128 10000128 10000128 10000128 10000125 10000125 10000125 10000125 10000124 10000124 10000124 10000124 10000125 10000125 10000126 10000125 10000127 10000130 10000127 10000127 10000124 10000124 10000124 10000124 10000127 10000127 10000127 10000127 10000127 10000128 10000127 10000127 10000127 10000128 10000127 10000127 10000124 10000124 10000124 10000124
min_time_thread_terminate_total=10000118
max_time_thread_terminate_total=10000224
first_time_thread_start_by_thread=9 9 9 9 14 14 15 14 8 8 8 8 14 14 14 14 11 10 10 10 8 8 8 8 9 9 9 9 8 8 8 8 11 11 12 11 15 15 15 15 15 15 15 15 13 13 13 13 15 15 15 15 13 13 13 13 10 10 10 10 11 11 11 11 9 9 9 9 14 14 15 14 8 8 8 8 14 14 14 14 11 10 10 10 8 8 8 8 9 9 9 9 8 8 8 8 11 11 12 11 15 15 15 15 15 15 15 15 13 13 13 12 15 15 15 15 13 13 13 13 10 10 10 10 11 11 11 11 14 14 14 14 16 16 16 16 13 13 13 13 7 7 7 7 12 12 12 12 12 12 12 12 12 12 12 12 14 14 14 14 13 13 13 13 9 9 9 9 9 9 9 9 11 11 11 11 10 10 11 10 11 11 11 11 10 10 10 10 10 10 10 10 14 14 14 14 16 16 16 16 13 13 13 13 7 7 7 9 12 12 12 12 12 12 12 12 12 12 12 12 14 14 14 14 13 13 13 13 9 9 9 9 9 9 9 9 11 11 11 11 10 10 11 10 11 11 11 11 10 10 10 10 10 10 10 10
min_time_thread_start_total=7
max_time_thread_start_total=16
sum_duration_all_ops_total=

threads_final_keysum=99515757425304
threads_final_size=9952275
final_keysum=99515757425304
final_size=9952275
validate_result=success
Validation OK.
Structural validation OK.

total_find=1097401383
total_rq=0
total_inserts=5543125
total_deletes=5539251
total_updates=11082376
total_queries=1097401383
total_ops=1108483759
find_throughput=109740138
rq_throughput=0
update_throughput=1108237
query_throughput=109740138
total_throughput=110848375


total find                    : 1097401383
total rq                      : 0
total inserts                 : 5543125
total deletes                 : 5539251
total updates                 : 11082376
total queries                 : 1097401383
total ops                     : 1108483759
find throughput               : 109740138
rq throughput                 : 0
update throughput             : 1108237
query throughput              : 109740138
total throughput              : 110848375

elapsed milliseconds          : 10000
napping milliseconds overtime : 100

garbage=299187808321837
total_execution_walltime=11.552s
REALTIME_MAIN_END_PERF_FORMAT=207066.353167681
[time_cmd_output] time_elapsed_sec=11.68, faults_major=0, faults_minor=187528, mem_maxresident_kb=735116, user_cputime=2870.07, sys_cputime=6.50, percent_cpu=24613%
timeout=false
algorithm=brown_sigouin_abtree_kcas_validate.debra
thread_pinning=-pin 0-63,128-191,64-127,192-255
millis=10000
__trials=2