__step=000094
__cmd_run=LD_PRELOAD=../../setbench/lib/libjemalloc.so timeout 180 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_abtree_tm_auto.debra.hybridnorec -nwork 144 -nprefill 144 -prefill-hybrid -prefill-hybrid-min-ms 1000 -prefill-hybrid-max-ms 5000 -insdel 5.0 5.0 -k 20000000 -t 10000 -pin 0-23,96-119,24-47,120-143,48-71,144-167,72-95,168-191
__file_data=data000094.txt
__path_data=data/data000094.txt
__hostname=jax
REALTIME_MAIN_START_PERF_FORMAT=6994497.736901992
binary=./brown_abtree_tm_auto.debra.hybridnorec
parsed custom binding: 0-23,96-119,24-47,120-143,48-71,144-167,72-95,168-191
DS_TYPENAME=brown_abtree_tm_auto
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=20000000
PREFILL_THREADS=144
DESIRED_PREFILL_SIZE=-1
TOTAL_THREADS=144
WORK_THREADS=144
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
sizes: node=200
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,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167
Hybrid noREC system ready
Info: prefilling using hybrid approach; mixed then insert-only if needed.
prefilling initialization took 0.037s
prefilling_size=252119 prefilling_elapsed_millis=1.001s
prefilling_size=276969 prefilling_elapsed_millis=1.101s
prefilling_size=301710 prefilling_elapsed_millis=1.201s
prefilling_size=326439 prefilling_elapsed_millis=1.301s
prefilling_size=351285 prefilling_elapsed_millis=1.402s
prefilling_size=375820 prefilling_elapsed_millis=1.502s
prefilling_size=400271 prefilling_elapsed_millis=1.602s
prefilling_size=424789 prefilling_elapsed_millis=1.702s
prefilling_size=449229 prefilling_elapsed_millis=1.802s
prefilling_size=473619 prefilling_elapsed_millis=1.903s
prefilling_size=497922 prefilling_elapsed_millis=2.003s
prefilling_size=522057 prefilling_elapsed_millis=2.103s
prefilling_size=546233 prefilling_elapsed_millis=2.203s
prefilling_size=570430 prefilling_elapsed_millis=2.303s
prefilling_size=594490 prefilling_elapsed_millis=2.403s
prefilling_size=618407 prefilling_elapsed_millis=2.504s
prefilling_size=642251 prefilling_elapsed_millis=2.604s
prefilling_size=665998 prefilling_elapsed_millis=2.704s
prefilling_size=689714 prefilling_elapsed_millis=2.804s
prefilling_size=713518 prefilling_elapsed_millis=2.904s
prefilling_size=737152 prefilling_elapsed_millis=3.004s
prefilling_size=760591 prefilling_elapsed_millis=3.105s
prefilling_size=784042 prefilling_elapsed_millis=3.205s
prefilling_size=807220 prefilling_elapsed_millis=3.305s
prefilling_size=830435 prefilling_elapsed_millis=3.405s
prefilling_size=853818 prefilling_elapsed_millis=3.505s
prefilling_size=877046 prefilling_elapsed_millis=3.606s
prefilling_size=900111 prefilling_elapsed_millis=3.706s
prefilling_size=923257 prefilling_elapsed_millis=3.806s
prefilling_size=946246 prefilling_elapsed_millis=3.906s
prefilling_size=969187 prefilling_elapsed_millis=4.006s
prefilling_size=992271 prefilling_elapsed_millis=4.107s
prefilling_size=1015042 prefilling_elapsed_millis=4.207s
prefilling_size=1037755 prefilling_elapsed_millis=4.307s
prefilling_size=1060403 prefilling_elapsed_millis=4.407s
prefilling_size=1083111 prefilling_elapsed_millis=4.507s
prefilling_size=1105839 prefilling_elapsed_millis=4.608s
prefilling_size=1128529 prefilling_elapsed_millis=4.708s
prefilling_size=1150901 prefilling_elapsed_millis=4.808s
prefilling_size=1173324 prefilling_elapsed_millis=4.908s
prefilling_size=1195894 prefilling_elapsed_millis=5.008s
Info: prefilling requires an additional insert phase to complete.
Info: prefilling using INSERTION ONLY.
timing_start inserting 8803962 keys with 144 threads...
tid=0 thread_prefill_amount=11104 percent_done_estimate=18.2 elapsed_s=6 est_remaining_s=58 / 63
tid=0 thread_prefill_amount=12492 percent_done_estimate=20.4 elapsed_s=6 est_remaining_s=55 / 61
tid=0 thread_prefill_amount=13880 percent_done_estimate=22.7 elapsed_s=7 est_remaining_s=53 / 60
tid=0 thread_prefill_amount=15268 percent_done_estimate=25.0 elapsed_s=8 est_remaining_s=51 / 58
tid=0 thread_prefill_amount=16656 percent_done_estimate=27.2 elapsed_s=8 est_remaining_s=49 / 57
tid=0 thread_prefill_amount=18044 percent_done_estimate=29.5 elapsed_s=9 est_remaining_s=47 / 56
tid=0 thread_prefill_amount=19432 percent_done_estimate=31.8 elapsed_s=9 est_remaining_s=45 / 54
tid=0 thread_prefill_amount=20820 percent_done_estimate=34.1 elapsed_s=10 est_remaining_s=43 / 53
tid=0 thread_prefill_amount=22208 percent_done_estimate=36.3 elapsed_s=11 est_remaining_s=42 / 52
tid=0 thread_prefill_amount=23596 percent_done_estimate=38.6 elapsed_s=11 est_remaining_s=40 / 51
tid=0 thread_prefill_amount=24984 percent_done_estimate=40.9 elapsed_s=12 est_remaining_s=38 / 50
tid=0 thread_prefill_amount=26372 percent_done_estimate=43.1 elapsed_s=12 est_remaining_s=37 / 49
tid=0 thread_prefill_amount=27760 percent_done_estimate=45.4 elapsed_s=13 est_remaining_s=35 / 48
tid=0 thread_prefill_amount=29148 percent_done_estimate=47.7 elapsed_s=14 est_remaining_s=34 / 47
tid=0 thread_prefill_amount=30536 percent_done_estimate=49.9 elapsed_s=14 est_remaining_s=32 / 46
tid=0 thread_prefill_amount=31924 percent_done_estimate=52.2 elapsed_s=15 est_remaining_s=31 / 45
tid=0 thread_prefill_amount=33312 percent_done_estimate=54.5 elapsed_s=15 est_remaining_s=29 / 45
tid=0 thread_prefill_amount=34700 percent_done_estimate=56.8 elapsed_s=16 est_remaining_s=28 / 44
tid=0 thread_prefill_amount=36088 percent_done_estimate=59.0 elapsed_s=17 est_remaining_s=26 / 43
tid=0 thread_prefill_amount=37476 percent_done_estimate=61.3 elapsed_s=17 est_remaining_s=25 / 42
tid=0 thread_prefill_amount=38864 percent_done_estimate=63.6 elapsed_s=18 est_remaining_s=23 / 41
tid=0 thread_prefill_amount=40252 percent_done_estimate=65.8 elapsed_s=19 est_remaining_s=22 / 40
tid=0 thread_prefill_amount=41640 percent_done_estimate=68.1 elapsed_s=19 est_remaining_s=20 / 39
tid=0 thread_prefill_amount=43028 percent_done_estimate=70.4 elapsed_s=20 est_remaining_s=19 / 38
tid=0 thread_prefill_amount=44416 percent_done_estimate=72.6 elapsed_s=20 est_remaining_s=17 / 37
tid=0 thread_prefill_amount=45804 percent_done_estimate=74.9 elapsed_s=21 est_remaining_s=16 / 37
tid=0 thread_prefill_amount=47192 percent_done_estimate=77.2 elapsed_s=21 est_remaining_s=14 / 36
tid=0 thread_prefill_amount=48580 percent_done_estimate=79.5 elapsed_s=22 est_remaining_s=13 / 35
tid=0 thread_prefill_amount=49968 percent_done_estimate=81.7 elapsed_s=23 est_remaining_s=11 / 34
tid=0 thread_prefill_amount=51356 percent_done_estimate=84.0 elapsed_s=23 est_remaining_s=10 / 33
tid=0 thread_prefill_amount=52744 percent_done_estimate=86.3 elapsed_s=24 est_remaining_s=9 / 32
tid=0 thread_prefill_amount=54132 percent_done_estimate=88.5 elapsed_s=25 est_remaining_s=7 / 32
tid=0 thread_prefill_amount=55520 percent_done_estimate=90.8 elapsed_s=25 est_remaining_s=6 / 31
tid=0 thread_prefill_amount=56908 percent_done_estimate=93.1 elapsed_s=26 est_remaining_s=4 / 30
tid=0 thread_prefill_amount=58296 percent_done_estimate=95.4 elapsed_s=26 est_remaining_s=3 / 29
tid=0 thread_prefill_amount=59684 percent_done_estimate=97.6 elapsed_s=27 est_remaining_s=1 / 28
tid=0 thread_prefill_amount=61072 percent_done_estimate=99.9 elapsed_s=28 est_remaining_s=0 / 28
tid=0 thread_prefill_amount=62460 percent_done_estimate=102.2 elapsed_s=28 est_remaining_s=-1 / 27
tid=0 thread_prefill_amount=63848 percent_done_estimate=104.4 elapsed_s=29 est_remaining_s=-3 / 26
tid=0 thread_prefill_amount=65236 percent_done_estimate=106.7 elapsed_s=29 est_remaining_s=-4 / 25
tid=0 thread_prefill_amount=66624 percent_done_estimate=109.0 elapsed_s=30 est_remaining_s=-6 / 24
tid=0 thread_prefill_amount=68012 percent_done_estimate=111.2 elapsed_s=31 est_remaining_s=-7 / 24
tid=0 thread_prefill_amount=69400 percent_done_estimate=113.5 elapsed_s=31 est_remaining_s=-8 / 23
tid=0 thread_prefill_amount=70788 percent_done_estimate=115.8 elapsed_s=32 est_remaining_s=-10 / 22
timing_elapsed 30.6341s
prefilling_size=10000000 prefilling_elapsed_millis=30.707s
finished prefilling to size 10000000 for expected size 10000000 keysum=99996884350090, performing 15177325 updates; total_prefilling_elapsed_ms=30707 ms)
pref_size=10000000
pref_millis=30707
prefill_elapsed_ms=30707
main thread: starting timer...
###############################################################################
################################ BEGIN RUNNING ################################
###############################################################################
REALTIME_START_PERF_FORMAT=6994533.844164398
REALTIME_END_PERF_FORMAT=6994543.844281177
###############################################################################
################################## 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 (144 threads)...
partitioned into 2946 subtrees; running parallel for...
computing stats for the top of the tree (above the partitions)...
tree_stats_computeWalltime=0.042s
tree_stats_numInternalsAtDepth=1 1 8 53 397 2946 22493 174663 0
tree_stats_numLeavesAtDepth=0 0 0 0 0 0 0 0 1378079
tree_stats_numNodesAtDepth=1 1 8 53 397 2946 22493 174663 1378079
tree_stats_numKeysAtDepth=0 0 0 0 0 0 0 0 10001706
tree_stats_avgDegreeAtDepth=1 8 6.625 7.49057 7.42065 7.6351 7.76522 7.88993 7.25772
tree_stats_height=9
tree_stats_numInternals=200562
tree_stats_numLeaves=1378079
tree_stats_numNodes=1578641
tree_stats_numKeys=10001706
tree_stats_avgDegreeInternal=7.87109
tree_stats_avgDegreeLeaves=7.25772
tree_stats_avgDegree=7.33564
tree_stats_avgKeyDepth=8
log_histogram_of_none_limbo_reclamation_event_size_full_data=1:0
[2^00, 2^01]: 0
sum_limbo_reclamation_event_size_total=
count_limbo_reclamation_event_size_by_thread=
count_limbo_reclamation_event_size_total=
sum_limbo_reclamation_event_count_total=56431
first_thread_announced_epoch_by_thread=1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1046 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1046 1048 1048 1048 1048 1048 1048 1046 1048 1048 1048 1046 1048 1048 1046 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1046 1046 1048 1046 1046 1048 1048 1048 1048 1048 1048 1046 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1046 1048 1048 1048 1048 1048 1048 1048 1048 1048 1046 1048 1048 1048 1048 1048 1048 1046 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1048 1046
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=
sum_abtree_erase_repeat_total=
sum_abtree_search_repeat_total=
sum_abtree_search_complete_total=
sum_abtree_fix_weight_viol_attempt_total=
sum_abtree_fix_degree_viol_attempt_total=
sum_abtree_rebalancing_kcas_attempt_total=
sum_abtree_update_kcas_attempt_total=
sum_abtree_internal_complex_search_while_iters_total=
sum_abtree_internal_basic_search_while_iters_total=
sum_kcas_desc_new_total=
sum_num_inserts_by_thread=19782 18938 18806 18941 18829 18607 20471 18831 19254 19475 18278 19068 20146 19088 19169 18718 18732 18999 20098 18978 18319 18868 18575 18386 20101 19076 18656 18836 18779 18589 20553 18873 18755 19201 18236 18547 20607 18962 18895 18578 19178 19166 19598 18830 18501 18760 18567 18548 13091 12360 12321 12068 12110 12268 13467 12468 12537 12666 12287 12532 13351 12329 12646 12350 12135 11999 13045 12483 12433 12437 12163 12388 13285 12594 12648 12425 12223 12155 13175 12410 12347 12267 12105 12388 13347 12531 12418 12458 12345 11894 13070 12415 12221 12509 12310 12292 22730 20944 20810 20545 20746 20557 22720 20805 20809 20992 20682 20661 22629 21108 20996 20833 20657 20466 22225 20823 20476 20646 20619 20340 22061 20488 20977 20568 20724 20304 22529 20880 20580 21043 20660 20743 22488 20903 21041 20561 20247 20214 22015 20713 20245 20596 20385 20138
sum_num_inserts_total=2519436
sum_num_deletes_by_thread=19460 18984 18997 18779 18770 18549 20356 18938 18533 19348 18432 19009 20166 18825 19317 18744 18991 19066 19770 19014 18236 18965 18612 18364 20402 19113 18646 18748 18614 18713 20594 18935 18724 19243 18312 18631 20688 18960 19272 18819 19269 19046 19823 19010 18520 18763 18601 18680 13030 12210 12515 12311 12233 12228 13410 12452 12616 12527 12247 12381 13143 12744 12591 12263 12337 12130 12953 12439 12302 12284 12163 12228 13300 12478 12270 12339 12270 12227 13305 12259 12388 12513 11965 12421 13114 12547 12338 12326 12289 12063 13113 12538 12334 12124 12362 12201 22727 21026 20873 20620 20559 20094 22564 20840 20602 21092 20537 20861 22621 21328 20950 20766 20625 20823 22201 21182 20192 20830 20577 20236 22473 20537 20607 20309 20601 20113 22589 21040 20815 20753 20687 20484 22476 21191 21079 20716 20376 20316 22210 20387 20082 20425 20549 20250
sum_num_deletes_total=2518963
sum_num_searches_by_thread=351953 345390 340808 339682 335145 337378 366165 340955 339914 348605 332479 344245 363392 339557 344996 337656 341991 343740 362196 342292 331624 338865 335848 329590 361092 344070 333780 338683 335778 334853 369880 338390 339074 345055 328280 335618 371701 345016 343598 335475 349364 345578 355503 341952 331244 341083 335406 334441 232921 221712 222519 220692 220410 218895 240960 225570 226740 227906 221068 224582 237734 227255 229558 218222 221827 217340 233286 225165 223922 221890 220529 222554 240429 226734 224608 223965 221049 221662 241036 221640 223843 223312 217962 224112 238359 225283 223153 224640 222152 213913 233378 221657 220553 221067 220303 219433 411739 374896 372659 370259 370773 367412 408006 376779 371890 377673 371379 373427 405998 380830 375529 374091 370257 372064 401312 377841 364326 374587 370438 368428 403581 368393 372154 368519 370826 364657 408382 378531 373058 379372 372967 374370 402739 380020 374682 372468 365400 365810 399348 371781 363615 366594 369913 366474
sum_num_searches_total=45383127
sum_num_rq_by_thread=
sum_num_rq_total=
sum_num_operations_by_thread=391195 383312 378611 377402 372744 374534 406992 378724 377701 387428 369189 382322 403704 377470 383482 375118 379714 381805 402064 380284 368179 376698 373035 366340 401595 382259 371082 376267 373171 372155 411027 376198 376553 383499 364828 372796 412996 382938 381765 372872 387811 383790 394924 379792 368265 378606 372574 371669 259042 246282 247355 245071 244753 243391 267837 250490 251893 253099 245602 249495 264228 252328 254795 242835 246299 241469 259284 250087 248657 246611 244855 247170 267014 251806 249526 248729 245542 246044 267516 246309 248578 248092 242032 248921 264820 250361 247909 249424 246786 237870 259561 246610 245108 245700 244975 243926 457196 416866 414342 411424 412078 408063 453290 418424 413301 419757 412598 414949 451248 423266 417475 415690 411539 413353 445738 419846 404994 416063 411634 409004 448115 409418 413738 409396 412151 405074 453500 420451 414453 421168 414314 415597 447703 422114 416802 413745 406023 406340 443573 412881 403942 407615 410847 406862
average_num_operations_total=350149
stdev_num_operations_total=6164
sum_num_operations_total=50421526
min_num_operations_total=237870
max_num_operations_total=457196
first_time_thread_terminate_by_thread=10000412 10000116 10000313 10000353 10000363 10000315 10000153 10000303 10000120 10000369 10000168 10000355 10000289 10000244 10000402 10000177 10000414 10000218 10000404 10003196 10000293 10000305 10000422 10000370 10000117 10000417 10000201 10000415 10000344 10000349 10000376 10000365 10000345 10000158 10000294 10000354 10000180 10000297 10000418 10000251 10000377 10000350 10000301 10000186 10000348 10000147 10000421 10000165 10000400 10000285 10000275 10000252 10000237 10000119 10000391 10000420 10000190 10000406 10000398 10000375 10000194 10000145 10000394 10000207 10000360 10000325 10000119 10001851 10000387 10000357 10000423 10000426 10000175 10000282 10000324 10000328 10000278 10000364 10000390 10000424 10000247 10000411 10000399 10000424 10003215 10000225 10000183 10000397 10000240 10000396 10000405 10003212 10000234 10000198 10000427 10000120 10000121 10000133 10000117 10003212 10000138 10000258 10000125 10000311 10000118 10000382 10000320 10000117 10000138 10000117 10000386 10000271 10001852 10000380 10000372 10000227 10000262 10000128 10000367 10000134 10000384 10000263 10000339 10000117 10000342 10000332 10000117 10000410 10000408 10000268 10000270 10000335 10000215 10000333 10000213 10000117 10000131 10000117 10000340 10000211 10000337 10000116 10000223 10001854
min_time_thread_terminate_total=10000116
max_time_thread_terminate_total=10003215
first_time_thread_start_by_thread=10 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5
min_time_thread_start_total=4
max_time_thread_start_total=10
sum_duration_all_ops_total=
threads_final_keysum=99995701739094
threads_final_size=10001706
final_keysum=99995701739094
final_size=10001706
validate_result=success
Validation OK.
Structural validation OK.
total_find=45383127
total_rq=0
total_inserts=2519436
total_deletes=2518963
total_updates=5038399
total_queries=45383127
total_ops=50421526
find_throughput=4538312
rq_throughput=0
update_throughput=503839
query_throughput=4538312
total_throughput=5042152
total find : 45383127
total rq : 0
total inserts : 2519436
total deletes : 2518963
total updates : 5038399
total queries : 45383127
total ops : 50421526
find throughput : 4538312
rq throughput : 0
update throughput : 503839
query throughput : 4538312
total throughput : 5042152
elapsed milliseconds : 10000
napping milliseconds overtime : 100
PAPI_L2_TCM=32.4422
PAPI_L3_TCM=9.50378
PAPI_TOT_CYC=79186.6
PAPI_TOT_INS=7971.76
garbage=201121596992426
total_execution_walltime=46.263s
REALTIME_MAIN_END_PERF_FORMAT=6994544.11825902
Hybrid noREC system shutdown:
HTM_ATTEMPT_THRESH=40
[fast htm]
total fast htm commit : 55250236
[slow htm]
[fallback]
total fallback commit : 10348616
seconds global lock is held : 1.96485
[time_cmd_output] time_elapsed_sec=46.51, faults_major=0, faults_minor=434596, mem_maxresident_kb=1733356, user_cputime=6391.51, sys_cputime=12.80, percent_cpu=13769%
timeout=false
algorithm=brown_abtree_tm_auto.debra.hybridnorec
thread_pinning=-pin 0-23,96-119,24-47,120-143,48-71,144-167,72-95,168-191
millis=10000
__trials=2