Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (MO) | 596.152 | 596.491 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dc1c.opb |
MD5SUM | aae7296985adde1f17776b4f5ad45572 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 17863355069035520 |
Optimality of the best value was proved | NO |
Number of variables | 58150 |
Total number of constraints | 1648 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1648 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 58150 |
Number of terms in the objective function | 58150 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 6807821537690881562733 |
Number of bits of the sum of numbers in the objective function | 73 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 6808845537690881562733 |
Number of bits of the biggest sum of numbers | 73 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 4.40/4.43 c Converting 3282 PB-constraints to clauses... 4.40/4.45 c -- Unit propagations: (none) 4.40/4.47 c -- Detecting intervals from adjacent constraints: #################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################### 4.49/4.52 c -- Clauses(.)/Splits(s): ssssssss 4.69/4.74 c ---[3288]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.75 c ---[3286]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.76 c ---[3284]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.77 c ---[3282]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.78 c ---[3280]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.78 c ---[3278]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.79 c ---[3276]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.80 c ---[3274]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 4.79/4.80 c ---[3272]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.81 c ---[3270]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.81 c ---[3268]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.82 c ---[3266]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.83 c ---[3264]---> Sorter-cost: 983 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.84 c ---[3262]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.85 c ---[3260]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.86 c ---[3258]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.87 c ---[3256]---> Sorter-cost: 628 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.88 c ---[3254]---> Sorter-cost: 686 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.88 c ---[3252]---> Sorter-cost: 1085 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.89 c ---[3250]---> Sorter-cost: 865 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.90 c ---[3248]---> Sorter-cost: 727 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.91 c ---[3246]---> Sorter-cost: 765 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.92 c ---[3244]---> Adder-cost: 176 maxlim: 87040 bits: 18/17 4.89/4.94 c ---[3242]---> Adder-cost: 66 maxlim: 87040 bits: 18/17 4.89/4.96 c ---[3240]---> Adder-cost: 112 maxlim: 59392 bits: 17/16 4.89/4.98 c ---[3238]---> Adder-cost: 96 maxlim: 51200 bits: 17/16 4.89/4.99 c ---[3236]---> Adder-cost: 148 maxlim: 71680 bits: 18/17 4.99/5.01 c ---[3234]---> Adder-cost: 142 maxlim: 70656 bits: 18/17 4.99/5.03 c ---[3232]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.04 c ---[3230]---> Sorter-cost: 741 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.04 c ---[3228]---> Sorter-cost: 674 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.05 c ---[3226]---> Sorter-cost: 428 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.06 c ---[3224]---> Sorter-cost: 645 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.06 c ---[3222]---> Sorter-cost: 678 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.07 c ---[3220]---> Sorter-cost: 1188 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.08 c ---[3218]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.09 c ---[3216]---> Sorter-cost: 1034 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.10 c ---[3214]---> Sorter-cost: 1046 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.11 c ---[3212]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.12 c ---[3210]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.13 c ---[3208]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.14 c ---[3206]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.15 c ---[3204]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.16 c ---[3202]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.16 c ---[3200]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.17 c ---[3198]---> Sorter-cost: 1225 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.18 c ---[3196]---> Sorter-cost: 1076 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.19 c ---[3194]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.20 c ---[3192]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 5.19/5.22 c ---[3190]---> Adder-cost: 76 maxlim: 51200 bits: 17/16 5.19/5.23 c ---[3188]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.23 c ---[3186]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.24 c ---[3184]---> Sorter-cost: 641 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.25 c ---[3182]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.25 c ---[3180]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.26 c ---[3178]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.27 c ---[3176]---> Sorter-cost: 1215 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.28 c ---[3174]---> Sorter-cost: 1065 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.29 c ---[3172]---> Sorter-cost: 955 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.30 c ---[3170]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.31 c ---[3168]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.32 c ---[3166]---> Sorter-cost: 660 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.33 c ---[3164]---> Sorter-cost: 761 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.34 c ---[3162]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.35 c ---[3160]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.35 c ---[3158]---> Sorter-cost: 923 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.36 c ---[3156]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.37 c ---[3154]---> Sorter-cost: 583 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.38 c ---[3152]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.38 c ---[3150]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.39 c ---[3148]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 5.29/5.39 c ---[3146]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 5.40/5.40 c ---[3144]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 5.40/5.41 c ---[3142]---> Sorter-cost: 688 Base: 2 2 2 2 2 2 2 2 2 2 7 5.40/5.42 c ---[3140]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 5.40/5.43 c ---[3138]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 5.40/5.44 c ---[3136]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 5.40/5.44 c ---[3134]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 5.40/5.45 c ---[3132]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 5.40/5.46 c ---[3130]---> Adder-cost: 146 maxlim: 70656 bits: 18/17 5.40/5.48 c ---[3128]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 5.40/5.48 c ---[3126]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 5.50/5.50 c ---[3124]---> Adder-cost: 120 maxlim: 62464 bits: 17/16 5.50/5.52 c ---[3122]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 5.50/5.53 c ---[3120]---> Adder-cost: 132 maxlim: 67584 bits: 18/17 5.50/5.55 c ---[3118]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 5.50/5.57 c ---[3116]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.58 c ---[3114]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.59 c ---[3112]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.59 c ---[3110]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.60 c ---[3108]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.61 c ---[3106]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.61 c ---[3104]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.62 c ---[3102]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.63 c ---[3100]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.63 c ---[3098]---> Sorter-cost: 645 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.64 c ---[3096]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.65 c ---[3094]---> Adder-cost: 178 maxlim: 88064 bits: 18/17 5.59/5.67 c ---[3092]---> Adder-cost: 68 maxlim: 88064 bits: 18/17 5.59/5.69 c ---[3090]---> Adder-cost: 138 maxlim: 86016 bits: 18/17 5.69/5.71 c ---[3088]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 5.69/5.74 c ---[3086]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 5.69/5.75 c ---[3084]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.76 c ---[3082]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 5.69/5.77 c ---[3080]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.78 c ---[3078]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.79 c ---[3076]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.80 c ---[3074]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.81 c ---[3072]---> Sorter-cost: 1181 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.82 c ---[3070]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.83 c ---[3068]---> Adder-cost: 120 maxlim: 60416 bits: 17/16 5.79/5.85 c ---[3066]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 5.79/5.86 c ---[3064]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.87 c ---[3062]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.88 c ---[3060]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.90 c ---[3058]---> Sorter-cost: 943 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.91 c ---[3056]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.92 c ---[3054]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.93 c ---[3052]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.94 c ---[3050]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.95 c ---[3048]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.95 c ---[3046]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.96 c ---[3044]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.96 c ---[3042]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.97 c ---[3040]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.98 c ---[3038]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.99 c ---[3036]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.00 c ---[3034]---> Sorter-cost: 1081 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.03 c ---[3032]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.04 c ---[3030]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 5.99/6.05 c ---[3028]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 5.99/6.07 c ---[3026]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.08 c ---[3024]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.09 c ---[3022]---> Sorter-cost: 1171 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.10 c ---[3020]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.11 c ---[3018]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 6.09/6.12 c ---[3016]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 6.09/6.13 c ---[3014]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 6.09/6.15 c ---[3012]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 6.09/6.16 c ---[3010]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 6.09/6.17 c ---[3008]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.19 c ---[3006]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.20 c ---[3004]---> Sorter-cost: 1236 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.21 c ---[3002]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.22 c ---[3000]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 6.19/6.23 c ---[2998]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 6.19/6.25 c ---[2996]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 6.19/6.26 c ---[2994]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.27 c ---[2992]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.28 c ---[2990]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.28 c ---[2988]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.29 c ---[2986]---> Sorter-cost: 917 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.30 c ---[2984]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.31 c ---[2982]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 6.29/6.31 c ---[2980]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 6.29/6.32 c ---[2978]---> Sorter-cost: 589 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.32 c ---[2976]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.33 c ---[2974]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 6.29/6.34 c ---[2972]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.35 c ---[2970]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.35 c ---[2968]---> Sorter-cost: 253 Base: 2 2 2 2 2 2 2 2 2 2 2 6.29/6.36 c ---[2966]---> Adder-cost: 156 maxlim: 76800 bits: 18/17 6.29/6.38 c ---[2964]---> Adder-cost: 62 maxlim: 76800 bits: 18/17 6.39/6.40 c ---[2962]---> Adder-cost: 198 maxlim: 109568 bits: 18/17 6.39/6.42 c ---[2960]---> Adder-cost: 132 maxlim: 66560 bits: 18/17 6.39/6.44 c ---[2958]---> Adder-cost: 78 maxlim: 109568 bits: 18/17 6.39/6.47 c ---[2956]---> Adder-cost: 396 maxlim: 205824 bits: 19/18 6.49/6.52 c ---[2954]---> Adder-cost: 116 maxlim: 205824 bits: 19/18 6.49/6.57 c ---[2952]---> Adder-cost: 396 maxlim: 209920 bits: 19/18 6.59/6.62 c ---[2950]---> Adder-cost: 112 maxlim: 209920 bits: 19/18 6.59/6.67 c ---[2948]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 6.59/6.69 c ---[2946]---> Adder-cost: 276 maxlim: 161792 bits: 19/18 6.69/6.73 c ---[2944]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 6.69/6.77 c ---[2942]---> Adder-cost: 334 maxlim: 190464 bits: 19/18 6.79/6.82 c ---[2940]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 6.79/6.86 c ---[2938]---> Adder-cost: 414 maxlim: 236544 bits: 19/18 6.89/6.92 c ---[2936]---> Adder-cost: 90 maxlim: 58368 bits: 17/16 6.89/6.93 c ---[2934]---> Adder-cost: 124 maxlim: 236544 bits: 19/18 6.89/6.99 c ---[2932]---> Adder-cost: 452 maxlim: 246784 bits: 19/18 6.99/7.05 c ---[2930]---> Adder-cost: 576 maxlim: 314368 bits: 20/19 7.09/7.13 c ---[2928]---> Adder-cost: 586 maxlim: 324608 bits: 20/19 7.19/7.21 c ---[2926]---> Adder-cost: 518 maxlim: 265216 bits: 20/19 7.19/7.28 c ---[2924]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 7.19/7.29 c ---[2922]---> Adder-cost: 482 maxlim: 253952 bits: 19/18 7.29/7.36 c ---[2920]---> Adder-cost: 558 maxlim: 300032 bits: 20/19 7.39/7.43 c ---[2918]---> Adder-cost: 410 maxlim: 228352 bits: 19/18 7.39/7.49 c ---[2916]---> Adder-cost: 368 maxlim: 203776 bits: 19/18 7.49/7.54 c ---[2914]---> Adder-cost: 110 maxlim: 203776 bits: 19/18 7.49/7.59 c ---[2912]---> Adder-cost: 334 maxlim: 201728 bits: 19/18 7.59/7.64 c ---[2910]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.64 c ---[2908]---> Adder-cost: 114 maxlim: 201728 bits: 19/18 7.59/7.69 c ---[2906]---> Adder-cost: 340 maxlim: 189440 bits: 19/18 7.69/7.74 c ---[2904]---> Adder-cost: 104 maxlim: 189440 bits: 19/18 7.69/7.79 c ---[2902]---> Adder-cost: 374 maxlim: 209920 bits: 19/18 7.79/7.84 c ---[2900]---> Adder-cost: 112 maxlim: 209920 bits: 19/18 7.79/7.89 c ---[2898]---> Adder-cost: 404 maxlim: 218112 bits: 19/18 7.89/7.94 c ---[2896]---> Adder-cost: 328 maxlim: 182272 bits: 19/18 7.89/7.98 c ---[2894]---> Adder-cost: 106 maxlim: 182272 bits: 19/18 7.99/8.03 c ---[2892]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 7.99/8.04 c ---[2890]---> Adder-cost: 182 maxlim: 95232 bits: 18/17 7.99/8.06 c ---[2888]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 7.99/8.09 c ---[2886]---> Adder-cost: 216 maxlim: 116736 bits: 18/17 8.09/8.12 c ---[2884]---> Adder-cost: 78 maxlim: 116736 bits: 18/17 8.09/8.15 c ---[2882]---> Adder-cost: 192 maxlim: 102400 bits: 18/17 8.09/8.17 c ---[2880]---> Sorter-cost: 1049 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.18 c ---[2878]---> Adder-cost: 76 maxlim: 102400 bits: 18/17 8.19/8.21 c ---[2876]---> Adder-cost: 226 maxlim: 122880 bits: 18/17 8.19/8.24 c ---[2874]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 8.19/8.27 c ---[2872]---> Adder-cost: 264 maxlim: 142336 bits: 19/18 8.29/8.31 c ---[2870]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 8.29/8.34 c ---[2868]---> Adder-cost: 120 maxlim: 68608 bits: 18/17 8.29/8.36 c ---[2866]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 8.29/8.37 c ---[2864]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 8.29/8.39 c ---[2862]---> Adder-cost: 108 maxlim: 58368 bits: 17/16 8.39/8.41 c ---[2860]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 8.39/8.42 c ---[2858]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.43 c ---[2856]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.43 c ---[2854]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.44 c ---[2852]---> Sorter-cost: 351 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.45 c ---[2850]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.45 c ---[2848]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.46 c ---[2846]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 8.39/8.47 c ---[2844]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 8.39/8.48 c ---[2842]---> Adder-cost: 86 maxlim: 67584 bits: 18/17 8.49/8.50 c ---[2840]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 8.49/8.52 c ---[2838]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 8.49/8.53 c ---[2836]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 8.49/8.55 c ---[2834]---> Adder-cost: 134 maxlim: 72704 bits: 18/17 8.49/8.57 c ---[2832]---> Adder-cost: 138 maxlim: 67584 bits: 18/17 8.49/8.58 c ---[2830]---> Adder-cost: 90 maxlim: 63488 bits: 17/16 8.59/8.60 c ---[2828]---> Adder-cost: 108 maxlim: 56320 bits: 17/16 8.59/8.61 c ---[2826]---> Adder-cost: 102 maxlim: 52224 bits: 17/16 8.59/8.63 c ---[2824]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59/8.64 c ---[2822]---> Sorter-cost: 1033 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59/8.65 c ---[2820]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59/8.65 c ---[2818]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 8.59/8.67 c ---[2816]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59/8.67 c ---[2814]---> Adder-cost: 108 maxlim: 59392 bits: 17/16 8.59/8.69 c ---[2812]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 8.69/8.70 c ---[2810]---> Adder-cost: 120 maxlim: 60416 bits: 17/16 8.69/8.72 c ---[2808]---> Adder-cost: 114 maxlim: 62464 bits: 17/16 8.69/8.73 c ---[2806]---> Adder-cost: 96 maxlim: 51200 bits: 17/16 8.69/8.74 c ---[2804]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 8.69/8.76 c ---[2802]---> Sorter-cost: 1080 Base: 2 2 2 2 2 2 2 2 2 2 7 8.69/8.77 c ---[2800]---> Sorter-cost: 966 Base: 2 2 2 2 2 2 2 2 2 2 7 8.69/8.78 c ---[2798]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 8.69/8.78 c ---[2796]---> Sorter-cost: 1175 Base: 2 2 2 2 2 2 2 2 2 2 7 8.69/8.79 c ---[2794]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 8.69/8.80 c ---[2792]---> Sorter-cost: 1158 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79/8.81 c ---[2790]---> Sorter-cost: 813 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79/8.82 c ---[2788]---> Sorter-cost: 935 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79/8.83 c ---[2786]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79/8.84 c ---[2784]---> Sorter-cost: 899 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79/8.85 c ---[2782]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79/8.86 c ---[2780]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 8.79/8.88 c ---[2778]---> Adder-cost: 62 maxlim: 69632 bits: 18/17 8.79/8.90 c ---[2776]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 8.88/8.91 c ---[2774]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 8.88/8.92 c ---[2772]---> Sorter-cost: 460 Base: 2 2 2 2 2 2 2 2 2 2 7 8.88/8.93 c ---[2770]---> Adder-cost: 138 maxlim: 66560 bits: 18/17 8.88/8.95 c ---[2768]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 8.88/8.97 c ---[2766]---> Adder-cost: 106 maxlim: 54272 bits: 17/16 8.88/8.98 c ---[2764]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 8.88/8.99 c ---[2762]---> Adder-cost: 122 maxlim: 62464 bits: 17/16 8.98/9.01 c ---[2760]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 8.98/9.02 c ---[2758]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 8.98/9.03 c ---[2756]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 8.98/9.05 c ---[2754]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 8.98/9.06 c ---[2752]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 8.98/9.08 c ---[2750]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 8.98/9.08 c ---[2748]---> Adder-cost: 106 maxlim: 56320 bits: 17/16 8.98/9.10 c ---[2746]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 9.09/9.11 c ---[2744]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 9.09/9.12 c ---[2742]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 9.09/9.13 c ---[2740]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 9.09/9.14 c ---[2738]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 9.09/9.14 c ---[2736]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 9.09/9.15 c ---[2734]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 9.09/9.16 c ---[2732]---> Sorter-cost: 1039 Base: 2 2 2 2 2 2 2 2 2 2 7 9.09/9.17 c ---[2730]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 9.09/9.18 c ---[2728]---> Sorter-cost: 420 Base: 2 2 2 2 2 2 2 2 2 2 7 9.09/9.19 c ---[2726]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 9.19/9.20 c ---[2724]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 9.19/9.22 c ---[2722]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.23 c ---[2720]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.24 c ---[2718]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.24 c ---[2716]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.25 c ---[2714]---> Sorter-cost: 783 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.26 c ---[2712]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.27 c ---[2710]---> Sorter-cost: 935 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.27 c ---[2708]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.28 c ---[2706]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.29 c ---[2704]---> Sorter-cost: 1069 Base: 2 2 2 2 2 2 2 2 2 2 7 9.29/9.30 c ---[2702]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 9.29/9.31 c ---[2700]---> Sorter-cost: 935 Base: 2 2 2 2 2 2 2 2 2 2 7 9.29/9.32 c ---[2698]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 9.29/9.33 c ---[2696]---> Sorter-cost: 687 Base: 2 2 2 2 2 2 2 2 2 2 7 9.29/9.39 c ---[2694]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 9.29/9.39 c ---[2692]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 9.39/9.41 c ---[2690]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 9.39/9.42 c ---[2688]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 9.39/9.44 c ---[2686]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.44 c ---[2684]---> Sorter-cost: 428 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.45 c ---[2682]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.45 c ---[2680]---> Sorter-cost: 1016 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.46 c ---[2678]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.47 c ---[2676]---> Adder-cost: 124 maxlim: 61440 bits: 17/16 9.39/9.49 c ---[2674]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 9.49/9.50 c ---[2672]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.51 c ---[2670]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.52 c ---[2668]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 9.49/9.54 c ---[2666]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 9.49/9.55 c ---[2664]---> Sorter-cost: 470 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.56 c ---[2662]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.56 c ---[2660]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.57 c ---[2658]---> Sorter-cost: 655 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.57 c ---[2656]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.58 c ---[2654]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.59 c ---[2652]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.59 c ---[2650]---> Sorter-cost: 566 Base: 2 2 2 2 2 2 2 2 2 2 7 9.59/9.60 c ---[2648]---> Sorter-cost: 1089 Base: 2 2 2 2 2 2 2 2 2 2 7 9.59/9.61 c ---[2646]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 9.59/9.62 c ---[2644]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 9.59/9.63 c ---[2642]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 9.59/9.64 c ---[2640]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 9.59/9.64 c ---[2638]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 9.59/9.65 c ---[2636]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 9.59/9.66 c ---[2634]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 9.59/9.67 c ---[2632]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 9.59/9.68 c ---[2630]---> Adder-cost: 62 maxlim: 69632 bits: 18/17 9.68/9.70 c ---[2628]---> Adder-cost: 126 maxlim: 63488 bits: 17/16 9.68/9.72 c ---[2626]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 9.68/9.73 c ---[2624]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 9.68/9.74 c ---[2622]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 9.68/9.75 c ---[2620]---> Sorter-cost: 313 Base: 2 2 2 2 2 2 2 2 2 2 2 9.68/9.75 c ---[2618]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 9.68/9.76 c ---[2616]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 9.68/9.76 c ---[2614]---> Sorter-cost: 420 Base: 2 2 2 2 2 2 2 2 2 2 7 9.68/9.77 c ---[2612]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 9.68/9.77 c ---[2610]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 9.68/9.78 c ---[2608]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 9.68/9.80 c ---[2606]---> Sorter-cost: 1053 Base: 2 2 2 2 2 2 2 2 2 2 7 9.79/9.81 c ---[2604]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 9.79/9.82 c ---[2602]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 9.79/9.83 c ---[2600]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 9.79/9.84 c ---[2598]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 9.79/9.85 c ---[2596]---> Sorter-cost: 678 Base: 2 2 2 2 2 2 2 2 2 2 7 9.79/9.85 c ---[2594]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 9.79/9.86 c ---[2592]---> Sorter-cost: 961 Base: 2 2 2 2 2 2 2 2 2 2 7 9.79/9.87 c ---[2590]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 9.79/9.88 c ---[2588]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 9.79/9.89 c ---[2586]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 9.79/9.89 c ---[2584]---> Sorter-cost: 462 Base: 2 2 2 2 2 2 2 2 2 2 7 9.79/9.90 c ---[2582]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 9.89/9.90 c ---[2580]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 9.89/9.92 c ---[2578]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 9.89/9.93 c ---[2576]---> Adder-cost: 98 maxlim: 52224 bits: 17/16 9.89/9.94 c ---[2574]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 9.89/9.95 c ---[2572]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 9.89/9.96 c ---[2570]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 9.89/9.97 c ---[2568]---> Sorter-cost: 1190 Base: 2 2 2 2 2 2 2 2 2 2 7 9.89/9.98 c ---[2566]---> Sorter-cost: 1073 Base: 2 2 2 2 2 2 2 2 2 2 7 9.89/9.99 c ---[2564]---> Sorter-cost: 931 Base: 2 2 2 2 2 2 2 2 2 2 7 9.98/10.00 c ---[2562]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 9.98/10.01 c ---[2560]---> Sorter-cost: 1188 Base: 2 2 2 2 2 2 2 2 2 2 7 9.98/10.02 c ---[2558]---> Sorter-cost: 1175 Base: 2 2 2 2 2 2 2 2 2 2 7 9.98/10.03 c ---[2556]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 9.98/10.04 c ---[2554]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 9.98/10.04 c ---[2552]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 9.98/10.05 c ---[2550]---> Sorter-cost: 720 Base: 2 2 2 2 2 2 2 2 2 2 7 9.98/10.05 c ---[2548]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 9.98/10.06 c ---[2546]---> Sorter-cost: 585 Base: 2 2 2 2 2 2 2 2 2 2 7 9.98/10.07 c ---[2544]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 9.98/10.07 c ---[2542]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 9.98/10.08 c ---[2540]---> Sorter-cost: 295 Base: 2 2 2 2 2 2 2 2 2 2 2 9.98/10.08 c ---[2538]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 9.98/10.09 c ---[2536]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 10.08/10.10 c ---[2534]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 10.08/10.10 c ---[2532]---> Sorter-cost: 458 Base: 2 2 2 2 2 2 2 2 2 2 7 10.08/10.11 c ---[2530]---> Sorter-cost: 365 Base: 2 2 2 2 2 2 2 2 2 2 7 10.08/10.12 c ---[2528]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 10.08/10.12 c ---[2526]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 10.08/10.13 c ---[2524]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 10.08/10.13 c ---[2522]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 10.08/10.14 c ---[2520]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 10.08/10.14 c ---[2518]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 10.08/10.16 c ---[2516]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 10.08/10.17 c ---[2514]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 10.08/10.18 c ---[2512]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 10.08/10.19 c ---[2510]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 10.08/10.19 c ---[2508]---> Sorter-cost: 470 Base: 2 2 2 2 2 2 2 2 2 2 7 10.18/10.20 c ---[2506]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 10.18/10.21 c ---[2504]---> Sorter-cost: 1311 Base: 2 2 2 2 2 2 2 2 2 2 7 10.18/10.22 c ---[2502]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 10.18/10.23 c ---[2500]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 10.18/10.24 c ---[2498]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 10.18/10.24 c ---[2496]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 10.18/10.25 c ---[2494]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 10.18/10.26 c ---[2492]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 10.18/10.27 c ---[2490]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 10.18/10.28 c ---[2488]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 10.18/10.29 c ---[2486]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 10.18/10.29 c ---[2484]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.30 c ---[2482]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.31 c ---[2480]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.32 c ---[2478]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.33 c ---[2476]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.33 c ---[2474]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.34 c ---[2472]---> Sorter-cost: 953 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.35 c ---[2470]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.36 c ---[2468]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 10.29/10.38 c ---[2466]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 10.29/10.39 c ---[2464]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 10.39/10.41 c ---[2462]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.42 c ---[2460]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.43 c ---[2458]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.44 c ---[2456]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.45 c ---[2454]---> Adder-cost: 154 maxlim: 74752 bits: 18/17 10.39/10.47 c ---[2452]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 10.39/10.49 c ---[2450]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.50 c ---[2448]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.51 c ---[2446]---> Sorter-cost: 896 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.52 c ---[2444]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.52 c ---[2442]---> Sorter-cost: 597 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.53 c ---[2440]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.54 c ---[2438]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 10.49/10.55 c ---[2436]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 10.49/10.56 c ---[2434]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.57 c ---[2432]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.58 c ---[2430]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.58 c ---[2428]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.59 c ---[2426]---> Sorter-cost: 470 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.59 c ---[2424]---> Sorter-cost: 679 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.60 c ---[2422]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.61 c ---[2420]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 10.59/10.62 c ---[2418]---> Adder-cost: 112 maxlim: 58368 bits: 17/16 10.59/10.64 c ---[2416]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 10.59/10.65 c ---[2414]---> Adder-cost: 112 maxlim: 63488 bits: 17/16 10.59/10.67 c ---[2412]---> Adder-cost: 158 maxlim: 78848 bits: 18/17 10.59/10.69 c ---[2410]---> Adder-cost: 144 maxlim: 77824 bits: 18/17 10.69/10.71 c ---[2408]---> Sorter-cost: 967 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.72 c ---[2406]---> Sorter-cost: 1068 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.73 c ---[2404]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 10.69/10.74 c ---[2402]---> Adder-cost: 130 maxlim: 67584 bits: 18/17 10.69/10.76 c ---[2400]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.77 c ---[2398]---> Adder-cost: 158 maxlim: 78848 bits: 18/17 10.69/10.79 c ---[2396]---> Adder-cost: 104 maxlim: 79872 bits: 18/17 10.79/10.81 c ---[2394]---> Adder-cost: 174 maxlim: 88064 bits: 18/17 10.79/10.83 c ---[2392]---> Adder-cost: 68 maxlim: 88064 bits: 18/17 10.79/10.86 c ---[2390]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.87 c ---[2388]---> Sorter-cost: 891 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.88 c ---[2386]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 10.79/10.89 c ---[2384]---> Adder-cost: 134 maxlim: 65536 bits: 18/17 10.89/10.91 c ---[2382]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.92 c ---[2380]---> Sorter-cost: 996 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.93 c ---[2378]---> Adder-cost: 322 maxlim: 165888 bits: 19/18 10.89/10.97 c ---[2376]---> Sorter-cost: 961 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.98 c ---[2374]---> Sorter-cost: 579 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.99 c ---[2372]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.99 c ---[2370]---> Sorter-cost: 546 Base: 2 2 2 2 2 2 2 2 2 2 7 10.99/11.00 c ---[2368]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 10.99/11.01 c ---[2366]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 10.99/11.02 c ---[2364]---> Sorter-cost: 371 Base: 2 2 2 2 2 2 2 2 2 2 7 10.99/11.02 c ---[2362]---> Sorter-cost: 257 Base: 2 2 2 2 2 2 2 2 2 2 2 10.99/11.02 c ---[2360]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 10.99/11.03 c ---[2358]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 10.99/11.04 c ---[2356]---> Adder-cost: 102 maxlim: 165888 bits: 19/18 10.99/11.08 c ---[2354]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 10.99/11.10 c ---[2352]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.11 c ---[2350]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.11 c ---[2348]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.12 c ---[2346]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 11.09/11.14 c ---[2344]---> Adder-cost: 112 maxlim: 57344 bits: 17/16 11.09/11.15 c ---[2342]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.16 c ---[2340]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.16 c ---[2338]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.17 c ---[2336]---> Sorter-cost: 588 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.18 c ---[2334]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.18 c ---[2332]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.19 c ---[2330]---> Sorter-cost: 1127 Base: 2 2 2 2 2 2 2 2 2 2 7 11.19/11.20 c ---[2328]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 11.19/11.21 c ---[2326]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 11.19/11.21 c ---[2324]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 11.19/11.21 c ---[2322]---> Sorter-cost: 1082 Base: 2 2 2 2 2 2 2 2 2 2 7 11.19/11.22 c ---[2320]---> Sorter-cost: 1168 Base: 2 2 2 2 2 2 2 2 2 2 7 11.19/11.24 c ---[2318]---> Sorter-cost: 908 Base: 2 2 2 2 2 2 2 2 2 2 7 11.19/11.24 c ---[2316]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 11.19/11.25 c ---[2314]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 11.19/11.26 c ---[2312]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 11.19/11.27 c ---[2310]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 11.19/11.28 c ---[2308]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 11.19/11.29 c ---[2306]---> Sorter-cost: 674 Base: 2 2 2 2 2 2 2 2 2 2 7 11.19/11.30 c ---[2304]---> Sorter-cost: 632 Base: 2 2 2 2 2 2 2 2 2 2 7 11.29/11.30 c ---[2302]---> Sorter-cost: 556 Base: 2 2 2 2 2 2 2 2 2 2 7 11.29/11.31 c ---[2300]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 11.29/11.31 c ---[2298]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 11.29/11.32 c ---[2296]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 11.29/11.33 c ---[2294]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 11.29/11.34 c ---[2292]---> Sorter-cost: 957 Base: 2 2 2 2 2 2 2 2 2 2 7 11.29/11.35 c ---[2290]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 11.29/11.35 c ---[2288]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 11.29/11.36 c ---[2286]---> Sorter-cost: 986 Base: 2 2 2 2 2 2 2 2 2 2 7 11.29/11.37 c ---[2284]---> Sorter-cost: 611 Base: 2 2 2 2 2 2 2 2 2 2 7 11.29/11.38 c ---[2282]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 11.29/11.38 c ---[2280]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 11.29/11.39 c ---[2278]---> Sorter-cost: 577 Base: 2 2 2 2 2 2 2 2 2 2 7 11.39/11.40 c ---[2276]---> Sorter-cost: 460 Base: 2 2 2 2 2 2 2 2 2 2 7 11.39/11.40 c ---[2274]---> Adder-cost: 102 maxlim: 165888 bits: 19/18 11.39/11.45 c ---[2272]---> Sorter-cost: 439 Base: 2 2 2 2 2 2 2 2 2 2 7 11.39/11.45 c ---[2270]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 11.39/11.47 c ---[2268]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 11.39/11.48 c ---[2266]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 11.39/11.49 c ---[2264]---> Adder-cost: 92 maxlim: 54272 bits: 17/16 11.49/11.51 c ---[2262]---> Sorter-cost: 1082 Base: 2 2 2 2 2 2 2 2 2 2 7 11.49/11.52 c ---[2260]---> Sorter-cost: 951 Base: 2 2 2 2 2 2 2 2 2 2 7 11.49/11.53 c ---[2258]---> Sorter-cost: 1121 Base: 2 2 2 2 2 2 2 2 2 2 7 11.49/11.54 c ---[2256]---> Sorter-cost: 1022 Base: 2 2 2 2 2 2 2 2 2 2 7 11.49/11.55 c ---[2254]---> Adder-cost: 270 maxlim: 145408 bits: 19/18 11.49/11.59 c ---[2252]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 11.49/11.59 c ---[2250]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 11.49/11.60 c ---[2248]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 11.59/11.60 c ---[2246]---> Sorter-cost: 313 Base: 2 2 2 2 2 2 2 2 2 2 2 11.59/11.61 c ---[2244]---> Sorter-cost: 1183 Base: 2 2 2 2 2 2 2 2 2 2 7 11.59/11.62 c ---[2242]---> Sorter-cost: 943 Base: 2 2 2 2 2 2 2 2 2 2 7 11.59/11.63 c ---[2240]---> Sorter-cost: 1057 Base: 2 2 2 2 2 2 2 2 2 2 7 11.59/11.64 c ---[2238]---> Sorter-cost: 1058 Base: 2 2 2 2 2 2 2 2 2 2 7 11.59/11.65 c ---[2236]---> Sorter-cost: 895 Base: 2 2 2 2 2 2 2 2 2 2 7 11.59/11.66 c ---[2234]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 11.59/11.66 c ---[2232]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 11.69/11.70 c ---[2230]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 11.69/11.72 c ---[2228]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 11.69/11.73 c ---[2226]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 11.69/11.74 c ---[2224]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 11.69/11.75 c ---[2222]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 11.69/11.76 c ---[2220]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 11.69/11.77 c ---[2218]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 11.69/11.78 c ---[2216]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 11.79/11.80 c ---[2214]---> Adder-cost: 126 maxlim: 63488 bits: 17/16 11.79/11.81 c ---[2212]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 11.79/11.83 c ---[2210]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 11.79/11.87 c ---[2208]---> Adder-cost: 122 maxlim: 61440 bits: 17/16 11.79/11.88 c ---[2206]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 11.89/11.90 c ---[2204]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 11.89/11.92 c ---[2202]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 11.89/11.94 c ---[2200]---> Adder-cost: 106 maxlim: 55296 bits: 17/16 11.89/11.95 c ---[2198]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 11.89/11.96 c ---[2196]---> Sorter-cost: 1089 Base: 2 2 2 2 2 2 2 2 2 2 7 11.89/11.97 c ---[2194]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 11.89/11.98 c ---[2192]---> Sorter-cost: 1251 Base: 2 2 2 2 2 2 2 2 2 2 7 11.89/12.00 c ---[2190]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 11.99/12.01 c ---[2188]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 11.99/12.05 c ---[2186]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 11.99/12.06 c ---[2184]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 11.99/12.07 c ---[2182]---> Adder-cost: 146 maxlim: 71680 bits: 18/17 11.99/12.09 c ---[2180]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 12.09/12.11 c ---[2178]---> Adder-cost: 172 maxlim: 83968 bits: 18/17 12.09/12.14 c ---[2176]---> Adder-cost: 68 maxlim: 83968 bits: 18/17 12.09/12.16 c ---[2174]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.17 c ---[2172]---> Sorter-cost: 931 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.18 c ---[2170]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 12.09/12.19 c ---[2168]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 12.19/12.21 c ---[2166]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 12.19/12.24 c ---[2164]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.25 c ---[2162]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.26 c ---[2160]---> Sorter-cost: 380 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.27 c ---[2158]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.27 c ---[2156]---> Sorter-cost: 609 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.28 c ---[2154]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.29 c ---[2152]---> Sorter-cost: 647 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.29 c ---[2150]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 12.28/12.30 c ---[2148]---> Sorter-cost: 1248 Base: 2 2 2 2 2 2 2 2 2 2 7 12.28/12.31 c ---[2146]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 12.28/12.33 c ---[2144]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 12.28/12.36 c ---[2142]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 12.28/12.38 c ---[2140]---> Sorter-cost: 1267 Base: 2 2 2 2 2 2 2 2 2 2 7 12.28/12.39 c ---[2138]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 12.38/12.40 c ---[2136]---> Sorter-cost: 1183 Base: 2 2 2 2 2 2 2 2 2 2 7 12.38/12.41 c ---[2134]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 12.38/12.42 c ---[2132]---> Adder-cost: 176 maxlim: 86016 bits: 18/17 12.38/12.44 c ---[2130]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 12.38/12.47 c ---[2128]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 12.38/12.48 c ---[2126]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 12.38/12.49 c ---[2124]---> Sorter-cost: 1157 Base: 2 2 2 2 2 2 2 2 2 2 7 12.48/12.50 c ---[2122]---> Adder-cost: 254 maxlim: 140288 bits: 19/18 12.48/12.54 c ---[2120]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 12.48/12.55 c ---[2118]---> Sorter-cost: 1059 Base: 2 2 2 2 2 2 2 2 2 2 7 12.48/12.56 c ---[2116]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 12.48/12.57 c ---[2114]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 12.48/12.58 c ---[2112]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 12.48/12.59 c ---[2110]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 12.48/12.59 c ---[2108]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 12.58/12.60 c ---[2106]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 12.69/12.71 c ---[2104]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 12.69/12.72 c ---[2102]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 12.69/12.73 c ---[2100]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 12.69/12.77 c ---[2098]---> Sorter-cost: 1157 Base: 2 2 2 2 2 2 2 2 2 2 7 12.69/12.78 c ---[2096]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 12.69/12.79 c ---[2094]---> Sorter-cost: 1311 Base: 2 2 2 2 2 2 2 2 2 2 7 12.79/12.80 c ---[2092]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 12.79/12.81 c ---[2090]---> Sorter-cost: 1082 Base: 2 2 2 2 2 2 2 2 2 2 7 12.79/12.82 c ---[2088]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 12.79/12.83 c ---[2086]---> Sorter-cost: 1127 Base: 2 2 2 2 2 2 2 2 2 2 7 12.79/12.84 c ---[2084]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 12.79/12.85 c ---[2082]---> Adder-cost: 124 maxlim: 61440 bits: 17/16 12.79/12.87 c ---[2080]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 12.79/12.88 c ---[2078]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 12.89/12.92 c ---[2076]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.93 c ---[2074]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.93 c ---[2072]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.94 c ---[2070]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.95 c ---[2068]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.96 c ---[2066]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.97 c ---[2064]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.97 c ---[2062]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.98 c ---[2060]---> Adder-cost: 162 maxlim: 79872 bits: 18/17 12.99/13.00 c ---[2058]---> Adder-cost: 98 maxlim: 86016 bits: 18/17 12.99/13.02 c ---[2056]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 12.99/13.06 c ---[2054]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 12.99/13.08 c ---[2052]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 12.99/13.10 c ---[2050]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 13.09/13.11 c ---[2048]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.12 c ---[2046]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.12 c ---[2044]---> Adder-cost: 154 maxlim: 76800 bits: 18/17 13.09/13.15 c ---[2042]---> Adder-cost: 62 maxlim: 76800 bits: 18/17 13.09/13.17 c ---[2040]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.18 c ---[2038]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.19 c ---[2036]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 13.19/13.21 c ---[2034]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 13.19/13.24 c ---[2032]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 13.19/13.26 c ---[2030]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 13.19/13.28 c ---[2028]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 13.19/13.29 c ---[2026]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 13.28/13.30 c ---[2024]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 13.28/13.31 c ---[2022]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 13.28/13.32 c ---[2020]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 13.28/13.32 c ---[2018]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 13.28/13.33 c ---[2016]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 13.28/13.33 c ---[2014]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 13.28/13.34 c ---[2012]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 13.28/13.38 c ---[2010]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 13.28/13.38 c ---[2008]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 13.28/13.39 c ---[2006]---> Sorter-cost: 597 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.40 c ---[2004]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.41 c ---[2002]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.42 c ---[2000]---> Sorter-cost: 1138 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.43 c ---[1998]---> Sorter-cost: 1311 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.44 c ---[1996]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 13.38/13.45 c ---[1994]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 13.38/13.47 c ---[1992]---> Adder-cost: 88 maxlim: 53248 bits: 17/16 13.38/13.48 c ---[1990]---> Adder-cost: 264 maxlim: 145408 bits: 19/18 13.48/13.52 c ---[1988]---> Sorter-cost: 443 Base: 2 2 2 2 2 2 2 2 2 2 7 13.48/13.53 c ---[1986]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 13.48/13.53 c ---[1984]---> Sorter-cost: 263 Base: 2 2 2 2 2 2 2 2 2 2 2 13.48/13.53 c ---[1982]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 13.48/13.55 c ---[1980]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 13.48/13.56 c ---[1978]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 13.48/13.57 c ---[1976]---> Sorter-cost: 980 Base: 2 2 2 2 2 2 2 2 2 2 7 13.48/13.58 c ---[1974]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 13.58/13.62 c ---[1972]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.63 c ---[1970]---> Sorter-cost: 1137 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.64 c ---[1968]---> Sorter-cost: 605 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.64 c ---[1966]---> Sorter-cost: 708 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.65 c ---[1964]---> Sorter-cost: 1077 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.66 c ---[1962]---> Sorter-cost: 734 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.67 c ---[1960]---> Sorter-cost: 731 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.68 c ---[1958]---> Sorter-cost: 585 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.68 c ---[1956]---> Sorter-cost: 582 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.69 c ---[1954]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.70 c ---[1952]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 13.68/13.73 c ---[1950]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 13.68/13.74 c ---[1948]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 13.68/13.74 c ---[1946]---> Sorter-cost: 1049 Base: 2 2 2 2 2 2 2 2 2 2 7 13.68/13.75 c ---[1944]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 13.68/13.76 c ---[1942]---> Sorter-cost: 1246 Base: 2 2 2 2 2 2 2 2 2 2 7 13.68/13.77 c ---[1940]---> Sorter-cost: 1247 Base: 2 2 2 2 2 2 2 2 2 2 7 13.68/13.78 c ---[1938]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 13.68/13.79 c ---[1936]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 13.78/13.80 c ---[1934]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 13.78/13.81 c ---[1932]---> Adder-cost: 116 maxlim: 58368 bits: 17/16 13.78/13.82 c ---[1930]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 13.78/13.86 c ---[1928]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 13.78/13.87 c ---[1926]---> Sorter-cost: 1063 Base: 2 2 2 2 2 2 2 2 2 2 7 13.78/13.88 c ---[1924]---> Sorter-cost: 1131 Base: 2 2 2 2 2 2 2 2 2 2 7 13.78/13.89 c ---[1922]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 13.88/13.90 c ---[1920]---> Sorter-cost: 1020 Base: 2 2 2 2 2 2 2 2 2 2 7 13.88/13.91 c ---[1918]---> Sorter-cost: 993 Base: 2 2 2 2 2 2 2 2 2 2 7 13.88/13.92 c ---[1916]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 13.88/13.94 c ---[1914]---> Adder-cost: 102 maxlim: 51200 bits: 17/16 13.88/13.95 c ---[1912]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 13.88/13.96 c ---[1910]---> Sorter-cost: 1043 Base: 2 2 2 2 2 2 2 2 2 2 7 13.88/13.97 c ---[1908]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 13.98/14.01 c ---[1906]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 13.98/14.02 c ---[1904]---> Sorter-cost: 1215 Base: 2 2 2 2 2 2 2 2 2 2 7 13.98/14.03 c ---[1902]---> Sorter-cost: 615 Base: 2 2 2 2 2 2 2 2 2 2 7 13.98/14.04 c ---[1900]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 13.98/14.05 c ---[1898]---> Sorter-cost: 615 Base: 2 2 2 2 2 2 2 2 2 2 7 13.98/14.05 c ---[1896]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 13.98/14.06 c ---[1894]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 2 2 2 2 7 13.98/14.06 c ---[1892]---> Sorter-cost: 340 Base: 2 2 2 2 2 2 2 2 2 2 7 13.98/14.07 c ---[1890]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 13.98/14.07 c ---[1888]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 13.98/14.08 c ---[1886]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 14.08/14.11 c ---[1884]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 14.08/14.12 c ---[1882]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 14.08/14.13 c ---[1880]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 14.08/14.14 c ---[1878]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 14.08/14.15 c ---[1876]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 14.08/14.16 c ---[1874]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 14.08/14.17 c ---[1872]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 14.08/14.19 c ---[1870]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 14.19/14.20 c ---[1868]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 14.19/14.21 c ---[1866]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 14.19/14.22 c ---[1864]---> Adder-cost: 160 maxlim: 84992 bits: 18/17 14.19/14.24 c ---[1862]---> Sorter-cost: 601 Base: 2 2 2 2 2 2 2 2 2 2 7 14.19/14.25 c ---[1860]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 14.19/14.26 c ---[1858]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 14.19/14.26 c ---[1856]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 14.19/14.27 c ---[1854]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 14.19/14.28 c ---[1852]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 14.19/14.29 c ---[1850]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 14.29/14.30 c ---[1848]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 14.29/14.31 c ---[1846]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 14.29/14.32 c ---[1844]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 14.29/14.33 c ---[1842]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 14.29/14.35 c ---[1840]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 14.29/14.36 c ---[1838]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 14.29/14.37 c ---[1836]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 14.29/14.37 c ---[1834]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 14.29/14.38 c ---[1832]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 14.29/14.38 c ---[1830]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 14.29/14.39 c ---[1828]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 14.29/14.39 c ---[1826]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 14.29/14.39 c ---[1824]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 14.38/14.40 c ---[1822]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 14.38/14.41 c ---[1820]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 14.38/14.42 c ---[1818]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 14.38/14.42 c ---[1816]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 14.38/14.43 c ---[1814]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 14.38/14.43 c ---[1812]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 14.38/14.44 c ---[1810]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 14.38/14.45 c ---[1808]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 14.38/14.45 c ---[1806]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 14.38/14.46 c ---[1804]---> Adder-cost: 142 maxlim: 68608 bits: 18/17 14.38/14.48 c ---[1802]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 14.38/14.50 c ---[1800]---> Sorter-cost: 1188 Base: 2 2 2 2 2 2 2 2 2 2 7 14.48/14.51 c ---[1798]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 14.48/14.52 c ---[1796]---> Sorter-cost: 1076 Base: 2 2 2 2 2 2 2 2 2 2 7 14.48/14.53 c ---[1794]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 14.48/14.54 c ---[1792]---> Sorter-cost: 1033 Base: 2 2 2 2 2 2 2 2 2 2 7 14.48/14.55 c ---[1790]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 14.48/14.56 c ---[1788]---> Sorter-cost: 981 Base: 2 2 2 2 2 2 2 2 2 2 7 14.48/14.57 c ---[1786]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 14.48/14.58 c ---[1784]---> Sorter-cost: 1151 Base: 2 2 2 2 2 2 2 2 2 2 7 14.48/14.59 c ---[1782]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 14.58/14.60 c ---[1780]---> Sorter-cost: 1179 Base: 2 2 2 2 2 2 2 2 2 2 7 14.58/14.61 c ---[1778]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 14.58/14.62 c ---[1776]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 14.58/14.62 c ---[1774]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 14.58/14.63 c ---[1772]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 14.58/14.63 c ---[1770]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 14.58/14.64 c ---[1768]---> Sorter-cost: 617 Base: 2 2 2 2 2 2 2 2 2 2 7 14.58/14.65 c ---[1766]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 14.58/14.65 c ---[1764]---> Sorter-cost: 1077 Base: 2 2 2 2 2 2 2 2 2 2 7 14.58/14.66 c ---[1762]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 14.58/14.67 c ---[1760]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 14.58/14.69 c ---[1758]---> Sorter-cost: 997 Base: 2 2 2 2 2 2 2 2 2 2 7 14.68/14.70 c ---[1756]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 14.68/14.71 c ---[1754]---> Sorter-cost: 711 Base: 2 2 2 2 2 2 2 2 2 2 7 14.68/14.72 c ---[1752]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 14.68/14.73 c ---[1750]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 14.68/14.75 c ---[1748]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 14.68/14.76 c ---[1746]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 14.68/14.77 c ---[1744]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 14.68/14.78 c ---[1742]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 14.68/14.79 c ---[1740]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 14.78/14.80 c ---[1738]---> Adder-cost: 138 maxlim: 67584 bits: 18/17 14.78/14.82 c ---[1736]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 14.78/14.83 c ---[1734]---> Sorter-cost: 652 Base: 2 2 2 2 2 2 2 2 2 2 7 14.78/14.83 c ---[1732]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 14.78/14.84 c ---[1730]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 14.78/14.85 c ---[1728]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 14.78/14.87 c ---[1726]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 14.78/14.88 c ---[1724]---> Sorter-cost: 1305 Base: 2 2 2 2 2 2 2 2 2 2 7 14.78/14.89 c ---[1722]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 14.88/14.90 c ---[1720]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 14.88/14.91 c ---[1718]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 14.88/14.92 c ---[1716]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 14.88/14.94 c ---[1714]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 14.88/14.95 c ---[1712]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 14.88/14.96 c ---[1710]---> Sorter-cost: 947 Base: 2 2 2 2 2 2 2 2 2 2 7 14.88/14.97 c ---[1708]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 14.88/14.98 c ---[1706]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 14.88/14.98 c ---[1704]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 14.88/14.99 c ---[1702]---> Sorter-cost: 1248 Base: 2 2 2 2 2 2 2 2 2 2 7 14.98/15.00 c ---[1700]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 14.98/15.01 c ---[1698]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 14.98/15.01 c ---[1696]---> Sorter-cost: 334 Base: 2 2 2 2 2 2 2 2 2 2 7 14.98/15.02 c ---[1694]---> Sorter-cost: 660 Base: 2 2 2 2 2 2 2 2 2 2 7 14.98/15.03 c ---[1692]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 14.98/15.03 c ---[1690]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 14.98/15.04 c ---[1688]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 14.98/15.05 c ---[1686]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 14.98/15.05 c ---[1684]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 14.98/15.06 c ---[1682]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 14.98/15.07 c ---[1680]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 14.98/15.08 c ---[1678]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 15.08/15.10 c ---[1676]---> Adder-cost: 124 maxlim: 62464 bits: 17/16 15.08/15.11 c ---[1674]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 15.08/15.13 c ---[1672]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 15.08/15.13 c ---[1670]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 15.08/15.13 c ---[1668]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 15.08/15.14 c ---[1666]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 15.08/15.14 c ---[1664]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 15.08/15.14 c ---[1662]---> Sorter-cost: 1080 Base: 2 2 2 2 2 2 2 2 2 2 7 15.08/15.15 c ---[1660]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 15.08/15.16 c ---[1658]---> Sorter-cost: 616 Base: 2 2 2 2 2 2 2 2 2 2 7 15.08/15.17 c ---[1656]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 15.08/15.18 c ---[1654]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 15.08/15.19 c ---[1652]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 15.08/15.19 c ---[1650]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 15.19/15.20 c ---[1648]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 15.19/15.20 c ---[1646]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 15.19/15.21 c ---[1644]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 15.19/15.21 c ---[1642]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 15.19/15.22 c ---[1640]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 15.19/15.23 c ---[1638]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 15.19/15.23 c ---[1636]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 15.19/15.24 c ---[1634]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 15.19/15.26 c ---[1632]---> Sorter-cost: 265 Base: 2 2 2 2 2 2 2 2 2 2 2 15.19/15.26 c ---[1630]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 15.19/15.26 c ---[1628]---> Sorter-cost: 363 Base: 2 2 2 2 2 2 2 2 2 2 7 15.19/15.27 c ---[1626]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 15.19/15.27 c ---[1624]---> Adder-cost: 126 maxlim: 63488 bits: 17/16 15.19/15.29 c ---[1622]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 15.29/15.30 c ---[1620]---> Adder-cost: 136 maxlim: 65536 bits: 18/17 15.29/15.32 c ---[1618]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 15.29/15.34 c ---[1616]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 15.29/15.35 c ---[1614]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 15.29/15.36 c ---[1612]---> Adder-cost: 116 maxlim: 59392 bits: 17/16 15.29/15.38 c ---[1610]---> Sorter-cost: 1137 Base: 2 2 2 2 2 2 2 2 2 2 7 15.29/15.39 c ---[1608]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 15.29/15.40 c ---[1606]---> Sorter-cost: 1238 Base: 2 2 2 2 2 2 2 2 2 2 7 15.39/15.41 c ---[1604]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 15.39/15.42 c ---[1602]---> Sorter-cost: 645 Base: 2 2 2 2 2 2 2 2 2 2 7 15.39/15.43 c ---[1600]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 15.39/15.43 c ---[1598]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 15.39/15.45 c ---[1596]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 15.39/15.46 c ---[1594]---> Sorter-cost: 470 Base: 2 2 2 2 2 2 2 2 2 2 7 15.39/15.47 c ---[1592]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 15.39/15.47 c ---[1590]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 15.39/15.49 c ---[1588]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 15.39/15.49 c ---[1586]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 15.39/15.49 c ---[1584]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 15.49/15.50 c ---[1582]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 15.49/15.51 c ---[1580]---> Sorter-cost: 305 Base: 2 2 2 2 2 2 2 2 2 2 2 15.49/15.51 c ---[1578]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 15.49/15.51 c ---[1576]---> Sorter-cost: 458 Base: 2 2 2 2 2 2 2 2 2 2 7 15.49/15.52 c ---[1574]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 15.49/15.53 c ---[1572]---> Sorter-cost: 259 Base: 2 2 2 2 2 2 2 2 2 2 2 15.49/15.53 c ---[1570]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 15.49/15.53 c ---[1568]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 15.49/15.55 c ---[1566]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 15.49/15.55 c ---[1564]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 15.49/15.56 c ---[1562]---> Adder-cost: 106 maxlim: 53248 bits: 17/16 15.49/15.57 c ---[1560]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 15.49/15.58 c ---[1558]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 15.49/15.59 c ---[1556]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 15.49/15.59 c ---[1554]---> Sorter-cost: 626 Base: 2 2 2 2 2 2 2 2 2 2 7 15.59/15.60 c ---[1552]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 15.59/15.61 c ---[1550]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 15.59/15.62 c ---[1548]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 15.59/15.63 c ---[1546]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 15.59/15.65 c ---[1544]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 15.59/15.66 c ---[1542]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 15.59/15.67 c ---[1540]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 15.59/15.68 c ---[1538]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 15.59/15.69 c ---[1536]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 15.69/15.70 c ---[1534]---> Sorter-cost: 434 Base: 2 2 2 2 2 2 2 2 2 2 7 15.69/15.70 c ---[1532]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 15.69/15.71 c ---[1530]---> Sorter-cost: 327 Base: 2 2 2 2 2 2 2 2 2 2 7 15.69/15.71 c ---[1528]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 15.69/15.72 c ---[1526]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 15.69/15.72 c ---[1524]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 15.69/15.74 c ---[1522]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 15.69/15.74 c ---[1520]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 15.69/15.75 c ---[1518]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 15.69/15.75 c ---[1516]---> Sorter-cost: 526 Base: 2 2 2 2 2 2 2 2 2 2 7 15.69/15.76 c ---[1514]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 15.69/15.77 c ---[1512]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 15.69/15.77 c ---[1510]---> Sorter-cost: 355 Base: 2 2 2 2 2 2 2 2 2 2 7 15.69/15.77 c ---[1508]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 15.69/15.78 c ---[1506]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 15.69/15.79 c ---[1504]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 15.79/15.80 c ---[1502]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 15.79/15.82 c ---[1500]---> Adder-cost: 102 maxlim: 56320 bits: 17/16 15.79/15.83 c ---[1498]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 15.79/15.85 c ---[1496]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 15.79/15.86 c ---[1494]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 15.79/15.87 c ---[1492]---> Sorter-cost: 1303 Base: 2 2 2 2 2 2 2 2 2 2 7 15.79/15.88 c ---[1490]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 15.79/15.90 c ---[1488]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 15.89/15.90 c ---[1486]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 15.89/15.91 c ---[1484]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 15.89/15.92 c ---[1482]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 15.89/15.93 c ---[1480]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 15.89/15.94 c ---[1478]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 15.89/15.95 c ---[1476]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 15.89/15.95 c ---[1474]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 15.89/15.96 c ---[1472]---> Adder-cost: 126 maxlim: 63488 bits: 17/16 15.89/15.97 c ---[1470]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 15.89/15.99 c ---[1468]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 15.89/15.99 c ---[1466]---> Sorter-cost: 409 Base: 2 2 2 2 2 2 2 2 2 2 7 15.99/16.00 c ---[1464]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 15.99/16.00 c ---[1462]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 15.99/16.02 c ---[1460]---> Adder-cost: 118 maxlim: 61440 bits: 17/16 15.99/16.04 c ---[1458]---> Adder-cost: 104 maxlim: 61440 bits: 17/16 15.99/16.05 c ---[1456]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 15.99/16.07 c ---[1454]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 15.99/16.07 c ---[1452]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 15.99/16.08 c ---[1450]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 15.99/16.09 c ---[1448]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 15.99/16.10 c ---[1446]---> Sorter-cost: 583 Base: 2 2 2 2 2 2 2 2 2 2 7 16.09/16.10 c ---[1444]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 16.09/16.11 c ---[1442]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 16.09/16.11 c ---[1440]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 16.09/16.12 c ---[1438]---> Sorter-cost: 718 Base: 2 2 2 2 2 2 2 2 2 2 7 16.09/16.12 c ---[1436]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 16.09/16.13 c ---[1434]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 16.09/16.14 c ---[1432]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 16.09/16.15 c ---[1430]---> Adder-cost: 116 maxlim: 57344 bits: 17/16 16.09/16.16 c ---[1428]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 16.09/16.17 c ---[1426]---> Adder-cost: 98 maxlim: 51200 bits: 17/16 16.09/16.19 c ---[1424]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 16.19/16.20 c ---[1422]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 16.19/16.21 c ---[1420]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 16.19/16.22 c ---[1418]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 16.19/16.23 c ---[1416]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 16.19/16.25 c ---[1414]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 16.19/16.26 c ---[1412]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 16.19/16.27 c ---[1410]---> Sorter-cost: 733 Base: 2 2 2 2 2 2 2 2 2 2 7 16.19/16.27 c ---[1408]---> Sorter-cost: 581 Base: 2 2 2 2 2 2 2 2 2 2 7 16.19/16.28 c ---[1406]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 16.19/16.29 c ---[1404]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 16.19/16.29 c ---[1402]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 16.29/16.30 c ---[1400]---> Sorter-cost: 658 Base: 2 2 2 2 2 2 2 2 2 2 7 16.29/16.31 c ---[1398]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 16.29/16.31 c ---[1396]---> Sorter-cost: 1143 Base: 2 2 2 2 2 2 2 2 2 2 7 16.29/16.32 c ---[1394]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 16.29/16.33 c ---[1392]---> Sorter-cost: 715 Base: 2 2 2 2 2 2 2 2 2 2 7 16.29/16.34 c ---[1390]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 16.29/16.36 c ---[1388]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 16.29/16.37 c ---[1386]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 16.29/16.38 c ---[1384]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 16.29/16.39 c ---[1382]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 16.39/16.40 c ---[1380]---> Adder-cost: 224 maxlim: 125952 bits: 18/17 16.39/16.43 c ---[1378]---> Adder-cost: 78 maxlim: 125952 bits: 18/17 16.39/16.47 c ---[1376]---> Adder-cost: 78 maxlim: 125952 bits: 18/17 16.39/16.50 c ---[1374]---> Adder-cost: 238 maxlim: 129024 bits: 18/17 16.49/16.53 c ---[1372]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 16.49/16.56 c ---[1370]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 16.49/16.59 c ---[1368]---> Adder-cost: 156 maxlim: 93184 bits: 18/17 16.59/16.62 c ---[1366]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 16.59/16.64 c ---[1364]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 16.59/16.67 c ---[1362]---> Adder-cost: 310 maxlim: 162816 bits: 19/18 16.69/16.71 c ---[1360]---> Adder-cost: 92 maxlim: 162816 bits: 19/18 16.69/16.75 c ---[1358]---> Adder-cost: 12031 maxlim: 6023167 bits: 24/23 18.99/19.02 c ---[1355]---> Adder-cost: 3128 maxlim: 1788928 bits: 22/21 19.39/19.49 c ---[1347]---> Adder-cost: 92 maxlim: 162816 bits: 19/18 19.49/19.53 c ---[1345]---> Adder-cost: 202 maxlim: 120832 bits: 18/17 19.49/19.56 c ---[1343]---> Adder-cost: 80 maxlim: 120832 bits: 18/17 19.49/19.59 c ---[1341]---> Adder-cost: 80 maxlim: 120832 bits: 18/17 19.59/19.62 c ---[1339]---> Adder-cost: 148 maxlim: 77824 bits: 18/17 19.59/19.64 c ---[1337]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 19.59/19.66 c ---[1335]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 19.59/19.69 c ---[1333]---> Sorter-cost: 638 Base: 2 2 2 2 2 2 2 2 2 2 7 19.59/19.69 c ---[1331]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 19.59/19.70 c ---[1329]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 19.69/19.71 c ---[1327]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 19.69/19.71 c ---[1325]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 19.69/19.72 c ---[1323]---> Sorter-cost: 404 Base: 2 2 2 2 2 2 2 2 2 2 7 19.69/19.72 c ---[1321]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 19.69/19.73 c ---[1319]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 7 19.69/19.74 c ---[1317]---> Sorter-cost: 1154 Base: 2 2 2 2 2 2 2 2 2 2 7 19.69/19.75 c ---[1315]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 19.69/19.77 c ---[1313]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 19.69/19.78 c ---[1311]---> Adder-cost: 142 maxlim: 71680 bits: 18/17 19.79/19.80 c ---[1309]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 19.79/19.82 c ---[1307]---> Adder-cost: 92 maxlim: 54272 bits: 17/16 19.79/19.83 c ---[1305]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 19.79/19.85 c ---[1303]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 19.79/19.85 c ---[1301]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 19.79/19.86 c ---[1299]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 19.79/19.87 c ---[1297]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 19.79/19.88 c ---[1295]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 19.79/19.90 c ---[1293]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 19.88/19.91 c ---[1291]---> Adder-cost: 106 maxlim: 57344 bits: 17/16 19.88/19.93 c ---[1289]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 19.88/19.94 c ---[1287]---> Sorter-cost: 1181 Base: 2 2 2 2 2 2 2 2 2 2 7 19.88/19.95 c ---[1285]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 19.88/19.97 c ---[1283]---> Sorter-cost: 1226 Base: 2 2 2 2 2 2 2 2 2 2 7 19.88/19.98 c ---[1281]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 19.88/19.99 c ---[1279]---> Adder-cost: 148 maxlim: 71680 bits: 18/17 19.98/20.01 c ---[1277]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 19.98/20.03 c ---[1275]---> Adder-cost: 142 maxlim: 72704 bits: 18/17 19.98/20.05 c ---[1273]---> Adder-cost: 56 maxlim: 72704 bits: 18/17 19.98/20.07 c ---[1271]---> Sorter-cost: 1263 Base: 2 2 2 2 2 2 2 2 2 2 7 19.98/20.08 c ---[1269]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 19.98/20.09 c ---[1267]---> Sorter-cost: 1181 Base: 2 2 2 2 2 2 2 2 2 2 7 20.08/20.10 c ---[1265]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 20.08/20.11 c ---[1263]---> Sorter-cost: 622 Base: 2 2 2 2 2 2 2 2 2 2 7 20.08/20.12 c ---[1261]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 20.08/20.13 c ---[1259]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 20.08/20.13 c ---[1257]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 20.08/20.14 c ---[1255]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 20.08/20.15 c ---[1253]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 20.08/20.15 c ---[1251]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 20.08/20.16 c ---[1249]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 20.08/20.17 c ---[1247]---> Sorter-cost: 1261 Base: 2 2 2 2 2 2 2 2 2 2 7 20.08/20.18 c ---[1245]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 20.18/20.20 c ---[1243]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 20.18/20.22 c ---[1241]---> Adder-cost: 150 maxlim: 78848 bits: 18/17 20.18/20.24 c ---[1239]---> Adder-cost: 138 maxlim: 75776 bits: 18/17 20.18/20.26 c ---[1237]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 20.18/20.27 c ---[1235]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 20.18/20.28 c ---[1233]---> Sorter-cost: 854 Base: 2 2 2 2 2 2 2 2 2 2 7 20.18/20.29 c ---[1231]---> Sorter-cost: 1082 Base: 2 2 2 2 2 2 2 2 2 2 7 20.28/20.30 c ---[1229]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 20.28/20.31 c ---[1227]---> Sorter-cost: 617 Base: 2 2 2 2 2 2 2 2 2 2 7 20.28/20.32 c ---[1225]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 20.28/20.33 c ---[1223]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 20.28/20.34 c ---[1221]---> Adder-cost: 240 maxlim: 139264 bits: 19/18 20.28/20.37 c ---[1219]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 20.37/20.41 c ---[1217]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 20.37/20.45 c ---[1215]---> Adder-cost: 326 maxlim: 186368 bits: 19/18 20.37/20.49 c ---[1213]---> Adder-cost: 106 maxlim: 186368 bits: 19/18 20.47/20.54 c ---[1211]---> Adder-cost: 106 maxlim: 186368 bits: 19/18 20.47/20.59 c ---[1209]---> Adder-cost: 290 maxlim: 168960 bits: 19/18 20.57/20.63 c ---[1207]---> Adder-cost: 100 maxlim: 168960 bits: 19/18 20.57/20.68 c ---[1205]---> Adder-cost: 100 maxlim: 168960 bits: 19/18 20.67/20.72 c ---[1203]---> Adder-cost: 276 maxlim: 161792 bits: 19/18 20.67/20.76 c ---[1201]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 20.78/20.80 c ---[1199]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 20.78/20.84 c ---[1197]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 20.78/20.89 c ---[1195]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 20.88/20.93 c ---[1193]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 20.88/20.97 c ---[1191]---> Adder-cost: 216 maxlim: 122880 bits: 18/17 20.97/21.00 c ---[1189]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 20.97/21.03 c ---[1187]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 20.97/21.06 c ---[1185]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 20.97/21.10 c ---[1183]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 21.07/21.13 c ---[1181]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 21.07/21.16 c ---[1179]---> Adder-cost: 166 maxlim: 92160 bits: 18/17 21.07/21.18 c ---[1177]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 21.17/21.21 c ---[1175]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 21.17/21.23 c ---[1173]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 21.17/21.26 c ---[1171]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 21.17/21.28 c ---[1169]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 21.27/21.31 c ---[1167]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 21.27/21.31 c ---[1165]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 21.27/21.31 c ---[1163]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 21.27/21.32 c ---[1161]---> Sorter-cost: 305 Base: 2 2 2 2 2 2 2 2 2 2 2 21.27/21.32 c ---[1159]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 21.27/21.33 c ---[1157]---> Sorter-cost: 454 Base: 2 2 2 2 2 2 2 2 2 2 7 21.27/21.34 c ---[1155]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 21.27/21.34 c ---[1153]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 21.27/21.36 c ---[1151]---> Sorter-cost: 1265 Base: 2 2 2 2 2 2 2 2 2 2 7 21.27/21.37 c ---[1149]---> Adder-cost: 98 maxlim: 57344 bits: 17/16 21.27/21.38 c ---[1147]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 21.37/21.40 c ---[1145]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 21.37/21.41 c ---[1143]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 21.37/21.43 c ---[1141]---> Sorter-cost: 1087 Base: 2 2 2 2 2 2 2 2 2 2 7 21.37/21.44 c ---[1139]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 21.37/21.45 c ---[1137]---> Sorter-cost: 261 Base: 2 2 2 2 2 2 2 2 2 2 2 21.37/21.45 c ---[1135]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 21.37/21.46 c ---[1133]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 21.37/21.46 c ---[1131]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 21.37/21.46 c ---[1129]---> Sorter-cost: 438 Base: 2 2 2 2 2 2 2 2 2 2 7 21.37/21.47 c ---[1127]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 21.37/21.48 c ---[1125]---> Sorter-cost: 979 Base: 2 2 2 2 2 2 2 2 2 2 7 21.37/21.49 c ---[1123]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 21.37/21.49 c ---[1121]---> Adder-cost: 138 maxlim: 65536 bits: 18/17 21.47/21.51 c ---[1119]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 21.47/21.53 c ---[1117]---> Adder-cost: 118 maxlim: 63488 bits: 17/16 21.47/21.55 c ---[1115]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 21.47/21.56 c ---[1113]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 21.47/21.57 c ---[1111]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 21.47/21.58 c ---[1109]---> Sorter-cost: 1267 Base: 2 2 2 2 2 2 2 2 2 2 7 21.47/21.59 c ---[1107]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 21.57/21.60 c ---[1105]---> Sorter-cost: 908 Base: 2 2 2 2 2 2 2 2 2 2 7 21.57/21.61 c ---[1103]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 21.57/21.62 c ---[1101]---> Sorter-cost: 572 Base: 2 2 2 2 2 2 2 2 2 2 7 21.57/21.63 c ---[1099]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 21.57/21.63 c ---[1097]---> Sorter-cost: 733 Base: 2 2 2 2 2 2 2 2 2 2 7 21.57/21.64 c ---[1095]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 21.57/21.65 c ---[1093]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 21.57/21.66 c ---[1091]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 21.57/21.66 c ---[1089]---> Sorter-cost: 412 Base: 2 2 2 2 2 2 2 2 2 2 7 21.57/21.67 c ---[1087]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 21.57/21.67 c ---[1085]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 21.57/21.68 c ---[1083]---> Sorter-cost: 602 Base: 2 2 2 2 2 2 2 2 2 2 7 21.57/21.69 c ---[1081]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 21.57/21.69 c ---[1079]---> Sorter-cost: 1246 Base: 2 2 2 2 2 2 2 2 2 2 7 21.66/21.70 c ---[1077]---> Sorter-cost: 1095 Base: 2 2 2 2 2 2 2 2 2 2 7 21.66/21.72 c ---[1075]---> Adder-cost: 106 maxlim: 53248 bits: 17/16 21.66/21.73 c ---[1073]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 21.66/21.74 c ---[1071]---> Sorter-cost: 1213 Base: 2 2 2 2 2 2 2 2 2 2 7 21.66/21.75 c ---[1069]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 21.66/21.77 c ---[1067]---> Sorter-cost: 1077 Base: 2 2 2 2 2 2 2 2 2 2 7 21.66/21.78 c ---[1065]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 21.66/21.79 c ---[1063]---> Adder-cost: 148 maxlim: 74752 bits: 18/17 21.76/21.81 c ---[1061]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 21.76/21.83 c ---[1059]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 21.76/21.85 c ---[1057]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 21.76/21.86 c ---[1055]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 21.76/21.87 c ---[1053]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 21.76/21.88 c ---[1051]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 21.76/21.90 c ---[1049]---> Adder-cost: 138 maxlim: 67584 bits: 18/17 21.86/21.92 c ---[1047]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 21.86/21.94 c ---[1045]---> Sorter-cost: 1057 Base: 2 2 2 2 2 2 2 2 2 2 7 21.86/21.95 c ---[1043]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 21.86/21.96 c ---[1041]---> Sorter-cost: 1257 Base: 2 2 2 2 2 2 2 2 2 2 7 21.86/21.97 c ---[1039]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 21.86/21.98 c ---[1037]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 21.86/21.99 c ---[1035]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 21.86/21.99 c ---[1033]---> Sorter-cost: 438 Base: 2 2 2 2 2 2 2 2 2 2 7 21.86/22.00 c ---[1031]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 21.96/22.00 c ---[1029]---> Sorter-cost: 456 Base: 2 2 2 2 2 2 2 2 2 2 7 21.96/22.01 c ---[1027]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 21.96/22.02 c ---[1025]---> Sorter-cost: 395 Base: 2 2 2 2 2 2 2 2 2 2 7 21.96/22.02 c ---[1023]---> Sorter-cost: 735 Base: 2 2 2 2 2 2 2 2 2 2 7 21.96/22.03 c ---[1021]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 21.96/22.04 c ---[1019]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 21.96/22.05 c ---[1017]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 21.96/22.06 c ---[1015]---> Sorter-cost: 933 Base: 2 2 2 2 2 2 2 2 2 2 7 21.96/22.07 c ---[1013]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 21.96/22.08 c ---[1011]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 21.96/22.09 c ---[1009]---> Adder-cost: 136 maxlim: 68608 bits: 18/17 22.05/22.11 c ---[1007]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 22.05/22.13 c ---[1005]---> Sorter-cost: 659 Base: 2 2 2 2 2 2 2 2 2 2 7 22.05/22.14 c ---[1003]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 22.05/22.15 c ---[1001]---> Adder-cost: 122 maxlim: 61440 bits: 17/16 22.05/22.16 c ---[ 999]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 22.05/22.18 c ---[ 997]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 22.05/22.18 c ---[ 995]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 22.05/22.19 c ---[ 993]---> Sorter-cost: 583 Base: 2 2 2 2 2 2 2 2 2 2 7 22.05/22.19 c ---[ 991]---> Sorter-cost: 650 Base: 2 2 2 2 2 2 2 2 2 2 7 22.15/22.20 c ---[ 989]---> Sorter-cost: 1115 Base: 2 2 2 2 2 2 2 2 2 2 7 22.15/22.21 c ---[ 987]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 22.15/22.22 c ---[ 985]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 22.15/22.24 c ---[ 983]---> Sorter-cost: 1259 Base: 2 2 2 2 2 2 2 2 2 2 7 22.15/22.25 c ---[ 981]---> Sorter-cost: 1059 Base: 2 2 2 2 2 2 2 2 2 2 7 22.15/22.26 c ---[ 979]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 22.15/22.27 c ---[ 977]---> Sorter-cost: 648 Base: 2 2 2 2 2 2 2 2 2 2 7 22.15/22.28 c ---[ 975]---> Sorter-cost: 530 Base: 2 2 2 2 2 2 2 2 2 2 7 22.15/22.28 c ---[ 973]---> Sorter-cost: 674 Base: 2 2 2 2 2 2 2 2 2 2 7 22.15/22.29 c ---[ 971]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 22.25/22.30 c ---[ 969]---> Sorter-cost: 1057 Base: 2 2 2 2 2 2 2 2 2 2 7 22.25/22.31 c ---[ 967]---> Sorter-cost: 929 Base: 2 2 2 2 2 2 2 2 2 2 7 22.25/22.32 c ---[ 965]---> Sorter-cost: 943 Base: 2 2 2 2 2 2 2 2 2 2 7 22.25/22.33 c ---[ 963]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 22.25/22.34 c ---[ 961]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 22.25/22.35 c ---[ 959]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 22.25/22.36 c ---[ 957]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 22.25/22.37 c ---[ 955]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 22.25/22.38 c ---[ 953]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 22.25/22.39 c ---[ 951]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 22.35/22.40 c ---[ 949]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 22.35/22.40 c ---[ 947]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 22.35/22.41 c ---[ 945]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 22.35/22.42 c ---[ 943]---> Sorter-cost: 1240 Base: 2 2 2 2 2 2 2 2 2 2 7 22.35/22.43 c ---[ 941]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 22.35/22.44 c ---[ 939]---> Adder-cost: 118 maxlim: 59392 bits: 17/16 22.35/22.46 c ---[ 937]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 22.35/22.47 c ---[ 935]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 22.35/22.48 c ---[ 933]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 22.35/22.49 c ---[ 931]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 22.35/22.49 c ---[ 929]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 22.45/22.50 c ---[ 927]---> Sorter-cost: 700 Base: 2 2 2 2 2 2 2 2 2 2 7 22.45/22.51 c ---[ 925]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 22.45/22.51 c ---[ 923]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 22.45/22.52 c ---[ 921]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 22.45/22.52 c ---[ 919]---> Sorter-cost: 390 Base: 2 2 2 2 2 2 2 2 2 2 7 22.45/22.53 c ---[ 917]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 22.45/22.54 c ---[ 915]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 22.45/22.55 c ---[ 913]---> Sorter-cost: 977 Base: 2 2 2 2 2 2 2 2 2 2 7 22.45/22.56 c ---[ 911]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 22.45/22.57 c ---[ 909]---> Sorter-cost: 1089 Base: 2 2 2 2 2 2 2 2 2 2 7 22.45/22.58 c ---[ 907]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 22.45/22.59 c ---[ 905]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 22.55/22.60 c ---[ 903]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 22.55/22.61 c ---[ 901]---> Sorter-cost: 690 Base: 2 2 2 2 2 2 2 2 2 2 7 22.55/22.62 c ---[ 899]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 22.55/22.62 c ---[ 897]---> Sorter-cost: 718 Base: 2 2 2 2 2 2 2 2 2 2 7 22.55/22.63 c ---[ 895]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 22.55/22.64 c ---[ 893]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 22.55/22.65 c ---[ 891]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 22.55/22.67 c ---[ 889]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 22.55/22.68 c ---[ 887]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 22.55/22.69 c ---[ 885]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 22.55/22.69 c ---[ 883]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 22.65/22.70 c ---[ 881]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 22.65/22.71 c ---[ 879]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 22.65/22.71 c ---[ 877]---> Sorter-cost: 729 Base: 2 2 2 2 2 2 2 2 2 2 7 22.65/22.72 c ---[ 875]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 22.65/22.73 c ---[ 873]---> Sorter-cost: 670 Base: 2 2 2 2 2 2 2 2 2 2 7 22.65/22.74 c ---[ 871]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 22.65/22.74 c ---[ 869]---> Sorter-cost: 546 Base: 2 2 2 2 2 2 2 2 2 2 7 22.65/22.75 c ---[ 867]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 22.65/22.76 c ---[ 865]---> Adder-cost: 108 maxlim: 53248 bits: 17/16 22.65/22.77 c ---[ 863]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 22.65/22.78 c ---[ 861]---> Adder-cost: 102 maxlim: 56320 bits: 17/16 22.65/22.80 c ---[ 859]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 22.75/22.81 c ---[ 857]---> Adder-cost: 166 maxlim: 82944 bits: 18/17 22.75/22.83 c ---[ 855]---> Adder-cost: 174 maxlim: 88064 bits: 18/17 22.75/22.85 c ---[ 853]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 22.75/22.86 c ---[ 851]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 22.75/22.87 c ---[ 849]---> Sorter-cost: 692 Base: 2 2 2 2 2 2 2 2 2 2 7 22.75/22.88 c ---[ 847]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 22.75/22.88 c ---[ 845]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 22.75/22.89 c ---[ 843]---> Sorter-cost: 641 Base: 2 2 2 2 2 2 2 2 2 2 7 22.75/22.89 c ---[ 841]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 22.85/22.91 c ---[ 839]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 22.85/22.92 c ---[ 837]---> Sorter-cost: 1305 Base: 2 2 2 2 2 2 2 2 2 2 7 22.85/22.93 c ---[ 835]---> Sorter-cost: 1247 Base: 2 2 2 2 2 2 2 2 2 2 7 22.85/22.95 c ---[ 833]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 22.85/22.96 c ---[ 831]---> Sorter-cost: 1255 Base: 2 2 2 2 2 2 2 2 2 2 7 22.85/22.97 c ---[ 829]---> Sorter-cost: 688 Base: 2 2 2 2 2 2 2 2 2 2 7 22.85/22.98 c ---[ 827]---> Sorter-cost: 771 Base: 2 2 2 2 2 2 2 2 2 2 7 22.85/22.98 c ---[ 825]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 22.85/22.99 c ---[ 823]---> Sorter-cost: 747 Base: 2 2 2 2 2 2 2 2 2 2 7 22.85/23.00 c ---[ 821]---> Sorter-cost: 697 Base: 2 2 2 2 2 2 2 2 2 2 7 22.95/23.01 c ---[ 819]---> Sorter-cost: 879 Base: 2 2 2 2 2 2 2 2 2 2 7 22.95/23.02 c ---[ 817]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 22.95/23.03 c ---[ 815]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 22.95/23.03 c ---[ 813]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 22.95/23.04 c ---[ 811]---> Sorter-cost: 408 Base: 2 2 2 2 2 2 2 2 2 2 7 22.95/23.04 c ---[ 809]---> Sorter-cost: 405 Base: 2 2 2 2 2 2 2 2 2 2 7 22.95/23.05 c ---[ 807]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 22.95/23.06 c ---[ 805]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 22.95/23.07 c ---[ 803]---> Adder-cost: 108 maxlim: 53248 bits: 17/16 22.95/23.09 c ---[ 801]---> Sorter-cost: 735 Base: 2 2 2 2 2 2 2 2 2 2 7 22.95/23.10 c ---[ 799]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 23.05/23.10 c ---[ 797]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 23.05/23.11 c ---[ 795]---> Sorter-cost: 781 Base: 2 2 2 2 2 2 2 2 2 2 7 23.05/23.12 c ---[ 793]---> Sorter-cost: 1245 Base: 2 2 2 2 2 2 2 2 2 2 7 23.05/23.13 c ---[ 791]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 23.05/23.14 c ---[ 789]---> Sorter-cost: 422 Base: 2 2 2 2 2 2 2 2 2 2 7 23.05/23.15 c ---[ 787]---> Sorter-cost: 468 Base: 2 2 2 2 2 2 2 2 2 2 7 23.05/23.15 c ---[ 785]---> Adder-cost: 124 maxlim: 63488 bits: 17/16 23.05/23.17 c ---[ 783]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 23.05/23.18 c ---[ 781]---> Sorter-cost: 692 Base: 2 2 2 2 2 2 2 2 2 2 7 23.05/23.19 c ---[ 779]---> Sorter-cost: 646 Base: 2 2 2 2 2 2 2 2 2 2 7 23.14/23.20 c ---[ 777]---> Sorter-cost: 775 Base: 2 2 2 2 2 2 2 2 2 2 7 23.14/23.21 c ---[ 775]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 23.14/23.22 c ---[ 773]---> Sorter-cost: 1123 Base: 2 2 2 2 2 2 2 2 2 2 7 23.14/23.23 c ---[ 771]---> Sorter-cost: 1048 Base: 2 2 2 2 2 2 2 2 2 2 7 23.14/23.24 c ---[ 769]---> Sorter-cost: 591 Base: 2 2 2 2 2 2 2 2 2 2 7 23.14/23.24 c ---[ 767]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 23.14/23.25 c ---[ 765]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 23.14/23.26 c ---[ 763]---> Sorter-cost: 1050 Base: 2 2 2 2 2 2 2 2 2 2 7 23.14/23.27 c ---[ 761]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 23.14/23.28 c ---[ 759]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 23.14/23.29 c ---[ 757]---> Sorter-cost: 969 Base: 2 2 2 2 2 2 2 2 2 2 7 23.14/23.30 c ---[ 755]---> Sorter-cost: 649 Base: 2 2 2 2 2 2 2 2 2 2 7 23.24/23.30 c ---[ 753]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 23.24/23.31 c ---[ 751]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 23.24/23.31 c ---[ 749]---> Sorter-cost: 369 Base: 2 2 2 2 2 2 2 2 2 2 7 23.24/23.32 c ---[ 747]---> Adder-cost: 132 maxlim: 67584 bits: 18/17 23.24/23.34 c ---[ 745]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 23.24/23.36 c ---[ 743]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 23.24/23.38 c ---[ 741]---> Sorter-cost: 1024 Base: 2 2 2 2 2 2 2 2 2 2 7 23.24/23.39 c ---[ 739]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 23.34/23.40 c ---[ 737]---> Sorter-cost: 1279 Base: 2 2 2 2 2 2 2 2 2 2 7 23.34/23.41 c ---[ 735]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 23.34/23.42 c ---[ 733]---> Sorter-cost: 1149 Base: 2 2 2 2 2 2 2 2 2 2 7 23.34/23.43 c ---[ 731]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 23.34/23.44 c ---[ 729]---> Sorter-cost: 1219 Base: 2 2 2 2 2 2 2 2 2 2 7 23.34/23.45 c ---[ 727]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 23.34/23.47 c ---[ 725]---> Sorter-cost: 1180 Base: 2 2 2 2 2 2 2 2 2 2 7 23.34/23.48 c ---[ 723]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 23.34/23.49 c ---[ 721]---> Adder-cost: 150 maxlim: 75776 bits: 18/17 23.44/23.51 c ---[ 719]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 23.44/23.53 c ---[ 717]---> Adder-cost: 156 maxlim: 78848 bits: 18/17 23.44/23.55 c ---[ 715]---> Adder-cost: 60 maxlim: 78848 bits: 18/17 23.44/23.57 c ---[ 713]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 23.44/23.58 c ---[ 711]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 23.44/23.59 c ---[ 709]---> Sorter-cost: 1263 Base: 2 2 2 2 2 2 2 2 2 2 7 23.54/23.61 c ---[ 707]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 23.54/23.62 c ---[ 705]---> Adder-cost: 118 maxlim: 61440 bits: 17/16 23.54/23.63 c ---[ 703]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 23.54/23.65 c ---[ 701]---> Sorter-cost: 1307 Base: 2 2 2 2 2 2 2 2 2 2 7 23.54/23.66 c ---[ 699]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 23.54/23.67 c ---[ 697]---> Sorter-cost: 1265 Base: 2 2 2 2 2 2 2 2 2 2 7 23.54/23.68 c ---[ 695]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 23.54/23.70 c ---[ 693]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 23.63/23.71 c ---[ 691]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 23.63/23.71 c ---[ 689]---> Sorter-cost: 688 Base: 2 2 2 2 2 2 2 2 2 2 7 23.63/23.72 c ---[ 687]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 23.63/23.73 c ---[ 685]---> Sorter-cost: 668 Base: 2 2 2 2 2 2 2 2 2 2 7 23.63/23.74 c ---[ 683]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 23.63/23.74 c ---[ 681]---> Sorter-cost: 775 Base: 2 2 2 2 2 2 2 2 2 2 7 23.63/23.75 c ---[ 679]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 23.63/23.76 c ---[ 677]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 23.63/23.77 c ---[ 675]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 23.63/23.77 c ---[ 673]---> Sorter-cost: 935 Base: 2 2 2 2 2 2 2 2 2 2 7 23.63/23.78 c ---[ 671]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 23.63/23.79 c ---[ 669]---> Sorter-cost: 686 Base: 2 2 2 2 2 2 2 2 2 2 7 23.73/23.80 c ---[ 667]---> Sorter-cost: 559 Base: 2 2 2 2 2 2 2 2 2 2 7 23.73/23.81 c ---[ 665]---> Adder-cost: 174 maxlim: 91136 bits: 18/17 23.73/23.83 c ---[ 663]---> Adder-cost: 72 maxlim: 91136 bits: 18/17 23.73/23.86 c ---[ 661]---> Adder-cost: 190 maxlim: 101376 bits: 18/17 23.73/23.88 c ---[ 659]---> Adder-cost: 348 maxlim: 198656 bits: 19/18 23.83/23.93 c ---[ 657]---> Adder-cost: 116 maxlim: 198656 bits: 19/18 23.83/23.98 c ---[ 655]---> Adder-cost: 332 maxlim: 191488 bits: 19/18 23.93/24.03 c ---[ 653]---> Adder-cost: 104 maxlim: 191488 bits: 19/18 23.93/24.08 c ---[ 651]---> Adder-cost: 334 maxlim: 198656 bits: 19/18 24.03/24.13 c ---[ 649]---> Adder-cost: 116 maxlim: 198656 bits: 19/18 24.03/24.18 c ---[ 647]---> Adder-cost: 350 maxlim: 237568 bits: 19/18 24.13/24.24 c ---[ 645]---> Adder-cost: 128 maxlim: 237568 bits: 19/18 24.13/24.30 c ---[ 643]---> Adder-cost: 352 maxlim: 195584 bits: 19/18 24.23/24.34 c ---[ 641]---> Adder-cost: 108 maxlim: 195584 bits: 19/18 24.23/24.39 c ---[ 639]---> Adder-cost: 314 maxlim: 197632 bits: 19/18 24.33/24.44 c ---[ 637]---> Adder-cost: 330 maxlim: 196608 bits: 19/18 24.33/24.49 c ---[ 635]---> Adder-cost: 522 maxlim: 296960 bits: 20/19 24.43/24.57 c ---[ 633]---> Adder-cost: 512 maxlim: 292864 bits: 20/19 24.53/24.65 c ---[ 631]---> Adder-cost: 390 maxlim: 226304 bits: 19/18 24.63/24.70 c ---[ 629]---> Adder-cost: 498 maxlim: 291840 bits: 20/19 24.63/24.78 c ---[ 627]---> Adder-cost: 426 maxlim: 252928 bits: 19/18 24.73/24.85 c ---[ 625]---> Adder-cost: 434 maxlim: 259072 bits: 19/18 24.83/24.91 c ---[ 623]---> Adder-cost: 390 maxlim: 233472 bits: 19/18 24.83/24.97 c ---[ 621]---> Adder-cost: 320 maxlim: 200704 bits: 19/18 24.93/25.02 c ---[ 619]---> Adder-cost: 346 maxlim: 201728 bits: 19/18 24.93/25.07 c ---[ 617]---> Adder-cost: 114 maxlim: 201728 bits: 19/18 25.03/25.12 c ---[ 615]---> Adder-cost: 432 maxlim: 266240 bits: 20/19 25.03/25.19 c ---[ 613]---> Adder-cost: 142 maxlim: 266240 bits: 20/19 25.14/25.26 c ---[ 611]---> Adder-cost: 398 maxlim: 259072 bits: 19/18 25.24/25.33 c ---[ 609]---> Adder-cost: 124 maxlim: 259072 bits: 19/18 25.24/25.39 c ---[ 607]---> Adder-cost: 360 maxlim: 216064 bits: 19/18 25.33/25.45 c ---[ 605]---> Adder-cost: 116 maxlim: 216064 bits: 19/18 25.43/25.50 c ---[ 603]---> Adder-cost: 248 maxlim: 149504 bits: 19/18 25.43/25.54 c ---[ 601]---> Adder-cost: 92 maxlim: 149504 bits: 19/18 25.43/25.58 c ---[ 599]---> Adder-cost: 92 maxlim: 149504 bits: 19/18 25.53/25.62 c ---[ 597]---> Adder-cost: 92 maxlim: 149504 bits: 19/18 25.53/25.65 c ---[ 595]---> Adder-cost: 160 maxlim: 90112 bits: 18/17 25.53/25.68 c ---[ 593]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 25.63/25.70 c ---[ 591]---> Adder-cost: 138 maxlim: 84992 bits: 18/17 25.63/25.72 c ---[ 589]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 25.63/25.75 c ---[ 587]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 25.63/25.77 c ---[ 585]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 25.63/25.79 c ---[ 583]---> Adder-cost: 104 maxlim: 77824 bits: 18/17 25.73/25.81 c ---[ 581]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 25.73/25.84 c ---[ 579]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 25.73/25.86 c ---[ 577]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 25.73/25.88 c ---[ 575]---> Adder-cost: 104 maxlim: 62464 bits: 17/16 25.73/25.89 c ---[ 573]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 25.83/25.91 c ---[ 571]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 25.83/25.92 c ---[ 569]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 25.83/25.94 c ---[ 567]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 25.83/25.95 c ---[ 565]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 25.83/25.96 c ---[ 563]---> Sorter-cost: 933 Base: 2 2 2 2 2 2 2 2 2 2 7 25.83/25.97 c ---[ 561]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 25.83/25.98 c ---[ 559]---> Sorter-cost: 572 Base: 2 2 2 2 2 2 2 2 2 2 7 25.83/25.99 c ---[ 557]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 25.83/25.99 c ---[ 555]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 25.93/26.00 c ---[ 553]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 25.93/26.00 c ---[ 551]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 25.93/26.01 c ---[ 549]---> Sorter-cost: 690 Base: 2 2 2 2 2 2 2 2 2 2 7 25.93/26.02 c ---[ 547]---> Sorter-cost: 704 Base: 2 2 2 2 2 2 2 2 2 2 7 25.93/26.03 c ---[ 545]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 25.93/26.03 c ---[ 543]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 25.93/26.04 c ---[ 541]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 25.93/26.05 c ---[ 539]---> Sorter-cost: 877 Base: 2 2 2 2 2 2 2 2 2 2 7 25.93/26.06 c ---[ 537]---> Sorter-cost: 1080 Base: 2 2 2 2 2 2 2 2 2 2 7 25.93/26.07 c ---[ 535]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 25.93/26.08 c ---[ 533]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 25.93/26.09 c ---[ 531]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 26.03/26.11 c ---[ 529]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 26.03/26.12 c ---[ 527]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 26.03/26.13 c ---[ 525]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 26.03/26.14 c ---[ 523]---> Adder-cost: 102 maxlim: 54272 bits: 17/16 26.03/26.16 c ---[ 521]---> Adder-cost: 170 maxlim: 86016 bits: 18/17 26.03/26.18 c ---[ 519]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 26.13/26.20 c ---[ 517]---> Adder-cost: 164 maxlim: 83968 bits: 18/17 26.13/26.23 c ---[ 515]---> Adder-cost: 144 maxlim: 79872 bits: 18/17 26.13/26.25 c ---[ 513]---> Adder-cost: 122 maxlim: 62464 bits: 17/16 26.13/26.26 c ---[ 511]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 26.13/26.28 c ---[ 509]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 26.13/26.28 c ---[ 507]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 26.13/26.29 c ---[ 505]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 26.13/26.29 c ---[ 503]---> Sorter-cost: 1183 Base: 2 2 2 2 2 2 2 2 2 2 7 26.23/26.30 c ---[ 501]---> Sorter-cost: 1023 Base: 2 2 2 2 2 2 2 2 2 2 7 26.23/26.31 c ---[ 499]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 26.23/26.32 c ---[ 497]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 26.23/26.33 c ---[ 495]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 26.23/26.35 c ---[ 493]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 26.23/26.36 c ---[ 491]---> Sorter-cost: 568 Base: 2 2 2 2 2 2 2 2 2 2 7 26.23/26.37 c ---[ 489]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 26.23/26.38 c ---[ 487]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 26.23/26.38 c ---[ 485]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 26.23/26.39 c ---[ 483]---> Sorter-cost: 654 Base: 2 2 2 2 2 2 2 2 2 2 7 26.23/26.40 c ---[ 481]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 26.33/26.41 c ---[ 479]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 26.33/26.42 c ---[ 477]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 26.33/26.43 c ---[ 475]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 7 26.33/26.44 c ---[ 473]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 26.33/26.45 c ---[ 471]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 26.33/26.46 c ---[ 469]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 26.33/26.48 c ---[ 467]---> Adder-cost: 118 maxlim: 59392 bits: 17/16 26.33/26.49 c ---[ 465]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 26.42/26.51 c ---[ 463]---> Adder-cost: 134 maxlim: 66560 bits: 18/17 26.42/26.53 c ---[ 461]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 26.42/26.54 c ---[ 459]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 26.42/26.56 c ---[ 457]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 26.42/26.57 c ---[ 455]---> Sorter-cost: 1153 Base: 2 2 2 2 2 2 2 2 2 2 7 26.42/26.58 c ---[ 453]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 26.42/26.59 c ---[ 451]---> Adder-cost: 154 maxlim: 75776 bits: 18/17 26.52/26.61 c ---[ 449]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 26.52/26.63 c ---[ 447]---> Adder-cost: 154 maxlim: 80896 bits: 18/17 26.52/26.65 c ---[ 445]---> Adder-cost: 62 maxlim: 80896 bits: 18/17 26.52/26.68 c ---[ 443]---> Adder-cost: 140 maxlim: 65536 bits: 18/17 26.52/26.69 c ---[ 441]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 26.62/26.71 c ---[ 439]---> Adder-cost: 160 maxlim: 80896 bits: 18/17 26.62/26.74 c ---[ 437]---> Adder-cost: 62 maxlim: 80896 bits: 18/17 26.62/26.76 c ---[ 435]---> Sorter-cost: 993 Base: 2 2 2 2 2 2 2 2 2 2 7 26.62/26.77 c ---[ 433]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 26.62/26.78 c ---[ 431]---> Sorter-cost: 305 Base: 2 2 2 2 2 2 2 2 2 2 2 26.62/26.78 c ---[ 429]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 26.62/26.79 c ---[ 427]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 26.62/26.79 c ---[ 425]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 26.72/26.80 c ---[ 423]---> Sorter-cost: 985 Base: 2 2 2 2 2 2 2 2 2 2 7 26.72/26.81 c ---[ 421]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 26.72/26.82 c ---[ 419]---> Sorter-cost: 947 Base: 2 2 2 2 2 2 2 2 2 2 7 26.72/26.83 c ---[ 417]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 26.72/26.84 c ---[ 415]---> Sorter-cost: 921 Base: 2 2 2 2 2 2 2 2 2 2 7 26.72/26.85 c ---[ 413]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 26.72/26.86 c ---[ 411]---> Adder-cost: 140 maxlim: 65536 bits: 18/17 26.72/26.88 c ---[ 409]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 26.72/26.89 c ---[ 407]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 26.81/26.91 c ---[ 405]---> Sorter-cost: 632 Base: 2 2 2 2 2 2 2 2 2 2 7 26.81/26.92 c ---[ 403]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 26.81/26.93 c ---[ 401]---> Sorter-cost: 676 Base: 2 2 2 2 2 2 2 2 2 2 7 26.81/26.93 c ---[ 399]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 26.81/26.94 c ---[ 397]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 26.81/26.95 c ---[ 395]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 26.81/26.97 c ---[ 393]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 26.81/26.98 c ---[ 391]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 26.81/26.99 c ---[ 389]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 26.91/27.00 c ---[ 387]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 26.91/27.01 c ---[ 385]---> Adder-cost: 142 maxlim: 67584 bits: 18/17 26.91/27.03 c ---[ 383]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 26.91/27.05 c ---[ 381]---> Adder-cost: 138 maxlim: 71680 bits: 18/17 26.91/27.07 c ---[ 379]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 26.91/27.08 c ---[ 377]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 26.91/27.09 c ---[ 375]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 26.91/27.09 c ---[ 373]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 27.01/27.10 c ---[ 371]---> Adder-cost: 114 maxlim: 63488 bits: 17/16 27.01/27.11 c ---[ 369]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 27.01/27.13 c ---[ 367]---> Sorter-cost: 1303 Base: 2 2 2 2 2 2 2 2 2 2 7 27.01/27.14 c ---[ 365]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 27.01/27.15 c ---[ 363]---> Sorter-cost: 464 Base: 2 2 2 2 2 2 2 2 2 2 7 27.01/27.15 c ---[ 361]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 27.01/27.16 c ---[ 359]---> Sorter-cost: 609 Base: 2 2 2 2 2 2 2 2 2 2 7 27.01/27.17 c ---[ 357]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 27.01/27.17 c ---[ 355]---> Adder-cost: 108 maxlim: 53248 bits: 17/16 27.01/27.18 c ---[ 353]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 27.01/27.20 c ---[ 351]---> Adder-cost: 116 maxlim: 57344 bits: 17/16 27.11/27.21 c ---[ 349]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 27.11/27.22 c ---[ 347]---> Adder-cost: 138 maxlim: 66560 bits: 18/17 27.11/27.24 c ---[ 345]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 27.11/27.26 c ---[ 343]---> Sorter-cost: 1251 Base: 2 2 2 2 2 2 2 2 2 2 7 27.11/27.27 c ---[ 341]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 27.11/27.28 c ---[ 339]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 27.11/27.29 c ---[ 337]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 27.21/27.31 c ---[ 335]---> Adder-cost: 164 maxlim: 82944 bits: 18/17 27.21/27.33 c ---[ 333]---> Adder-cost: 68 maxlim: 82944 bits: 18/17 27.21/27.35 c ---[ 331]---> Adder-cost: 146 maxlim: 76800 bits: 18/17 27.21/27.37 c ---[ 329]---> Adder-cost: 62 maxlim: 76800 bits: 18/17 27.21/27.38 c ---[ 327]---> Adder-cost: 108 maxlim: 53248 bits: 17/16 27.21/27.40 c ---[ 325]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 27.31/27.41 c ---[ 323]---> Adder-cost: 114 maxlim: 57344 bits: 17/16 27.31/27.43 c ---[ 321]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 27.31/27.44 c ---[ 319]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 27.31/27.46 c ---[ 317]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 27.31/27.47 c ---[ 315]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 27.31/27.48 c ---[ 313]---> Sorter-cost: 602 Base: 2 2 2 2 2 2 2 2 2 2 7 27.31/27.48 c ---[ 311]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 27.31/27.49 c ---[ 309]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 27.31/27.50 c ---[ 307]---> Sorter-cost: 649 Base: 2 2 2 2 2 2 2 2 2 2 7 27.41/27.50 c ---[ 305]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 27.41/27.51 c ---[ 303]---> Sorter-cost: 630 Base: 2 2 2 2 2 2 2 2 2 2 7 27.41/27.52 c ---[ 301]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 27.41/27.53 c ---[ 299]---> Sorter-cost: 714 Base: 2 2 2 2 2 2 2 2 2 2 7 27.41/27.53 c ---[ 297]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 27.41/27.54 c ---[ 295]---> Sorter-cost: 860 Base: 2 2 2 2 2 2 2 2 2 2 7 27.41/27.55 c ---[ 293]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 27.41/27.56 c ---[ 291]---> Adder-cost: 228 maxlim: 117760 bits: 18/17 27.41/27.59 c ---[ 289]---> Adder-cost: 76 maxlim: 117760 bits: 18/17 27.50/27.62 c ---[ 287]---> Adder-cost: 76 maxlim: 117760 bits: 18/17 27.50/27.65 c ---[ 285]---> Sorter-cost: 1085 Base: 2 2 2 2 2 2 2 2 2 2 7 27.50/27.66 c ---[ 283]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 27.50/27.67 c ---[ 281]---> Sorter-cost: 662 Base: 2 2 2 2 2 2 2 2 2 2 7 27.50/27.68 c ---[ 279]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 27.50/27.69 c ---[ 277]---> Sorter-cost: 1186 Base: 2 2 2 2 2 2 2 2 2 2 7 27.60/27.70 c ---[ 275]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 27.60/27.71 c ---[ 273]---> Adder-cost: 116 maxlim: 60416 bits: 17/16 27.60/27.73 c ---[ 271]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 27.60/27.74 c ---[ 269]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 27.60/27.75 c ---[ 267]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 27.60/27.76 c ---[ 265]---> Sorter-cost: 917 Base: 2 2 2 2 2 2 2 2 2 2 7 27.60/27.77 c ---[ 263]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 27.60/27.78 c ---[ 261]---> Sorter-cost: 1153 Base: 2 2 2 2 2 2 2 2 2 2 7 27.60/27.79 c ---[ 259]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 27.70/27.80 c ---[ 257]---> Sorter-cost: 959 Base: 2 2 2 2 2 2 2 2 2 2 7 27.70/27.81 c ---[ 255]---> Sorter-cost: 1238 Base: 2 2 2 2 2 2 2 2 2 2 7 27.70/27.82 c ---[ 253]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 27.70/27.83 c ---[ 251]---> Adder-cost: 138 maxlim: 68608 bits: 18/17 27.70/27.85 c ---[ 249]---> Adder-cost: 126 maxlim: 69632 bits: 18/17 27.70/27.87 c ---[ 247]---> Adder-cost: 130 maxlim: 71680 bits: 18/17 27.70/27.89 c ---[ 245]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 27.80/27.91 c ---[ 243]---> Sorter-cost: 632 Base: 2 2 2 2 2 2 2 2 2 2 7 27.80/27.92 c ---[ 241]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 27.80/27.93 c ---[ 239]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 27.80/27.93 c ---[ 237]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 27.80/27.94 c ---[ 235]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 27.80/27.96 c ---[ 233]---> Adder-cost: 92 maxlim: 55296 bits: 17/16 27.80/27.97 c ---[ 231]---> Sorter-cost: 1307 Base: 2 2 2 2 2 2 2 2 2 2 7 27.80/27.98 c ---[ 229]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 27.80/27.99 c ---[ 227]---> Sorter-cost: 1149 Base: 2 2 2 2 2 2 2 2 2 2 7 27.90/28.01 c ---[ 225]---> Sorter-cost: 1123 Base: 2 2 2 2 2 2 2 2 2 2 7 27.90/28.02 c ---[ 223]---> Sorter-cost: 1136 Base: 2 2 2 2 2 2 2 2 2 2 7 27.90/28.03 c ---[ 221]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 27.90/28.04 c ---[ 219]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 27.90/28.05 c ---[ 217]---> Adder-cost: 82 maxlim: 54272 bits: 17/16 27.90/28.07 c ---[ 215]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 27.90/28.07 c ---[ 213]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 27.90/28.08 c ---[ 211]---> Sorter-cost: 904 Base: 2 2 2 2 2 2 2 2 2 2 7 27.90/28.09 c ---[ 209]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 28.00/28.10 c ---[ 207]---> Sorter-cost: 945 Base: 2 2 2 2 2 2 2 2 2 2 7 28.00/28.11 c ---[ 205]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 28.00/28.12 c ---[ 203]---> Sorter-cost: 1024 Base: 2 2 2 2 2 2 2 2 2 2 7 28.00/28.13 c ---[ 201]---> Sorter-cost: 945 Base: 2 2 2 2 2 2 2 2 2 2 7 28.00/28.14 c ---[ 199]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 28.00/28.15 c ---[ 197]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 28.00/28.15 c ---[ 195]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 28.00/28.16 c ---[ 193]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 28.00/28.17 c ---[ 191]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 28.00/28.17 c ---[ 189]---> Adder-cost: 176 maxlim: 90112 bits: 18/17 28.00/28.19 c ---[ 187]---> Adder-cost: 104 maxlim: 91136 bits: 18/17 28.09/28.22 c ---[ 185]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 28.09/28.23 c ---[ 183]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 28.09/28.23 c ---[ 181]---> Sorter-cost: 464 Base: 2 2 2 2 2 2 2 2 2 2 7 28.09/28.24 c ---[ 179]---> Sorter-cost: 438 Base: 2 2 2 2 2 2 2 2 2 2 7 28.09/28.25 c ---[ 177]---> Sorter-cost: 1074 Base: 2 2 2 2 2 2 2 2 2 2 7 28.09/28.26 c ---[ 175]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 28.09/28.27 c ---[ 173]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 28.09/28.28 c ---[ 171]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 28.09/28.29 c ---[ 169]---> Adder-cost: 140 maxlim: 71680 bits: 18/17 28.19/28.31 c ---[ 167]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 28.19/28.33 c ---[ 165]---> Adder-cost: 110 maxlim: 57344 bits: 17/16 28.19/28.35 c ---[ 163]---> Adder-cost: 86 maxlim: 58368 bits: 17/16 28.19/28.36 c ---[ 161]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 28.19/28.37 c ---[ 159]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 28.19/28.39 c ---[ 157]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 28.29/28.40 c ---[ 155]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 7 28.29/28.41 c ---[ 153]---> Sorter-cost: 659 Base: 2 2 2 2 2 2 2 2 2 2 7 28.29/28.42 c ---[ 151]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 28.29/28.43 c ---[ 149]---> Sorter-cost: 572 Base: 2 2 2 2 2 2 2 2 2 2 7 28.29/28.44 c ---[ 147]---> Sorter-cost: 416 Base: 2 2 2 2 2 2 2 2 2 2 7 28.29/28.44 c ---[ 145]---> Sorter-cost: 435 Base: 2 2 2 2 2 2 2 2 2 2 7 28.29/28.45 c ---[ 143]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 28.29/28.45 c ---[ 141]---> Sorter-cost: 674 Base: 2 2 2 2 2 2 2 2 2 2 7 28.29/28.46 c ---[ 139]---> Sorter-cost: 611 Base: 2 2 2 2 2 2 2 2 2 2 7 28.29/28.47 c ---[ 137]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 28.29/28.47 c ---[ 135]---> Sorter-cost: 955 Base: 2 2 2 2 2 2 2 2 2 2 7 28.29/28.48 c ---[ 133]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 28.29/28.49 c ---[ 131]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 28.39/28.50 c ---[ 129]---> Sorter-cost: 659 Base: 2 2 2 2 2 2 2 2 2 2 7 28.39/28.51 c ---[ 127]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 28.39/28.52 c ---[ 125]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 28.39/28.53 c ---[ 123]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 28.39/28.54 c ---[ 121]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 28.39/28.55 c ---[ 119]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 28.39/28.56 c ---[ 117]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 28.39/28.57 c ---[ 115]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 28.39/28.58 c ---[ 113]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 28.39/28.59 c ---[ 111]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 28.49/28.61 c ---[ 109]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 28.49/28.62 c ---[ 107]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 28.49/28.63 c ---[ 105]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 28.49/28.63 c ---[ 103]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 28.49/28.64 c ---[ 101]---> Sorter-cost: 933 Base: 2 2 2 2 2 2 2 2 2 2 7 28.49/28.65 c ---[ 99]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 28.49/28.66 c ---[ 97]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 28.49/28.67 c ---[ 95]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 28.49/28.68 c ---[ 93]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 28.49/28.69 c ---[ 91]---> Sorter-cost: 443 Base: 2 2 2 2 2 2 2 2 2 2 7 28.49/28.70 c ---[ 89]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 28.58/28.70 c ---[ 87]---> Sorter-cost: 405 Base: 2 2 2 2 2 2 2 2 2 2 7 28.58/28.71 c ---[ 85]---> Adder-cost: 110 maxlim: 55296 bits: 17/16 28.58/28.72 c ---[ 83]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 28.58/28.73 c ---[ 81]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 28.58/28.75 c ---[ 79]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 28.58/28.76 c ---[ 77]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 28.58/28.77 c ---[ 75]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 28.58/28.78 c ---[ 73]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 28.58/28.79 c ---[ 71]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 28.67/28.80 c ---[ 69]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 28.67/28.80 c ---[ 67]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 28.67/28.81 c ---[ 65]---> Sorter-cost: 735 Base: 2 2 2 2 2 2 2 2 2 2 7 28.67/28.81 c ---[ 63]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 28.67/28.82 c ---[ 61]---> Adder-cost: 112 maxlim: 58368 bits: 17/16 28.67/28.84 c ---[ 59]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 28.67/28.85 c ---[ 57]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 28.67/28.86 c ---[ 55]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 28.67/28.88 c ---[ 53]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 28.67/28.89 c ---[ 51]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 28.77/28.90 c ---[ 49]---> Sorter-cost: 647 Base: 2 2 2 2 2 2 2 2 2 2 7 28.77/28.91 c ---[ 47]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 28.77/28.91 c ---[ 45]---> Sorter-cost: 638 Base: 2 2 2 2 2 2 2 2 2 2 7 28.77/28.92 c ---[ 43]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 28.77/28.93 c ---[ 41]---> Sorter-cost: 731 Base: 2 2 2 2 2 2 2 2 2 2 7 28.77/28.93 c ---[ 39]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 28.77/28.94 c ---[ 37]---> Adder-cost: 136 maxlim: 65536 bits: 18/17 28.77/28.96 c ---[ 35]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 28.77/28.98 c ---[ 33]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 28.87/29.00 c ---[ 31]---> Sorter-cost: 653 Base: 2 2 2 2 2 2 2 2 2 2 7 28.87/29.01 c ---[ 29]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 28.87/29.01 c ---[ 27]---> Sorter-cost: 1246 Base: 2 2 2 2 2 2 2 2 2 2 7 28.87/29.02 c ---[ 25]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 28.87/29.04 c ---[ 23]---> Sorter-cost: 1248 Base: 2 2 2 2 2 2 2 2 2 2 7 28.87/29.05 c ---[ 21]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 28.87/29.06 c ---[ 19]---> Sorter-cost: 997 Base: 2 2 2 2 2 2 2 2 2 2 7 28.87/29.07 c ---[ 17]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 28.87/29.08 c ---[ 15]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 28.87/29.09 c ---[ 13]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 28.97/29.10 c ---[ 11]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 28.97/29.11 c ---[ 9]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 28.97/29.12 c ---[ 8]---> 595.87/596.21 c *** TERMINATED *** 595.87/596.21 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/354152-1176696764/instance-354152-1176696764.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node3/watcher-354152-1176696764 -o ROOT/results/node3/solver-354152-1176696764 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354152-1176696764/minisat+ /tmp/evaluation/354152-1176696764/instance-354152-1176696764.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 18922 /proc/meminfo: memFree=1730520/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=1180 CPUtime=0 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 123 0 0 0 0 0 0 0 18 0 1 0 145714242 1208320 108 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 295 108 67 215 0 77 0 [startup+0.0598809 s] /proc/loadavg: 0.92 0.98 0.99 3/77 18922 /proc/meminfo: memFree=1730520/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=2852 CPUtime=0.05 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 502 0 0 0 5 0 0 0 18 0 1 0 145714242 2920448 487 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134614584 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 713 487 67 215 0 495 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2852 [startup+0.101887 s] /proc/loadavg: 0.92 0.98 0.99 3/77 18922 /proc/meminfo: memFree=1730520/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=3772 CPUtime=0.09 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 752 0 0 0 9 0 0 0 18 0 1 0 145714242 3862528 737 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 943 737 67 215 0 725 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3772 [startup+0.301918 s] /proc/loadavg: 0.92 0.98 0.99 3/77 18922 /proc/meminfo: memFree=1730520/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=9952 CPUtime=0.29 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 2242 0 0 0 28 1 0 0 19 0 1 0 145714242 10190848 2094 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 2488 2095 67 215 0 2270 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9952 [startup+0.701983 s] /proc/loadavg: 0.92 0.98 0.99 3/77 18922 /proc/meminfo: memFree=1730520/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=12860 CPUtime=0.69 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 3179 0 0 0 68 1 0 0 22 0 1 0 145714242 13168640 2917 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808978 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 3215 2917 75 215 0 2997 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12860 [startup+1.50111 s] /proc/loadavg: 0.92 0.98 0.99 2/78 18923 /proc/meminfo: memFree=1718288/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=16116 CPUtime=1.49 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 3988 0 0 0 147 2 0 0 25 0 1 0 145714242 16502784 3726 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 4029 3726 75 215 0 3811 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16116 [startup+3.10137 s] /proc/loadavg: 0.93 0.98 0.99 2/78 18923 /proc/meminfo: memFree=1711248/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=23888 CPUtime=3.09 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 6696 0 0 0 306 3 0 0 25 0 1 0 145714242 24461312 5551 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 5972 5551 75 215 0 5754 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23888 [startup+6.30189 s] /proc/loadavg: 0.93 0.98 0.99 2/78 18923 /proc/meminfo: memFree=1699216/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=35076 CPUtime=6.29 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 10805 0 0 0 623 6 0 0 24 0 1 0 145714242 35917824 8270 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530472 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 8769 8270 109 215 0 8551 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35076 [startup+12.7029 s] /proc/loadavg: 0.94 0.98 0.99 2/78 18923 /proc/meminfo: memFree=1689872/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=49788 CPUtime=12.69 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 14530 0 0 0 1260 9 0 0 25 0 1 0 145714242 50982912 11665 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134673965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 12447 11665 109 215 0 12229 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49788 [startup+25.502 s] /proc/loadavg: 0.95 0.98 0.99 2/78 18923 /proc/meminfo: memFree=1654480/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=77884 CPUtime=25.43 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 23904 0 0 0 2526 17 0 0 25 0 1 0 145714242 79753216 19020 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012086 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 19471 19020 109 215 0 19253 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 77884 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/78 18923 /proc/meminfo: memFree=1536912/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=201556 CPUtime=50.96 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 58877 0 0 0 5064 32 0 0 25 0 1 0 145714242 206393344 48759 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 50389 48759 109 215 0 50171 0 Current children cumulated CPU time (s) 50.96 Current children cumulated vsize (KiB) 201556 [startup+102.305 s] /proc/loadavg: 1.04 1.00 1.00 2/78 18923 /proc/meminfo: memFree=1334096/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=399116 CPUtime=102.15 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 117109 0 0 0 10159 56 0 0 25 0 1 0 145714242 408694784 99081 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134665767 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 99779 99081 109 215 0 99561 0 Current children cumulated CPU time (s) 102.15 Current children cumulated vsize (KiB) 399116 [startup+162.301 s] /proc/loadavg: 1.07 1.01 1.00 2/78 18923 /proc/meminfo: memFree=1100816/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=641264 CPUtime=162.12 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 186184 0 0 0 16128 84 0 0 25 0 1 0 145714242 656654336 157610 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 160316 157610 109 215 0 160098 0 Current children cumulated CPU time (s) 162.12 Current children cumulated vsize (KiB) 641264 [startup+222.302 s] /proc/loadavg: 1.02 1.01 1.00 2/78 18923 /proc/meminfo: memFree=836496/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=903432 CPUtime=222.1 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 272842 0 0 0 22087 123 0 0 25 0 1 0 145714242 925114368 223177 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005785 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 225858 223177 109 215 0 225640 0 Current children cumulated CPU time (s) 222.1 Current children cumulated vsize (KiB) 903432 [startup+282.302 s] /proc/loadavg: 1.01 1.00 1.00 2/78 18923 /proc/meminfo: memFree=660624/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=1080180 CPUtime=282.09 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 317034 0 0 0 28066 143 0 0 25 0 1 0 145714242 1106104320 267369 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006367 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 270045 267370 109 215 0 269827 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 1080180 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18923 /proc/meminfo: memFree=510416/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=1228548 CPUtime=342.06 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 354182 0 0 0 34047 159 0 0 25 0 1 0 145714242 1258033152 304517 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134648460 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 307137 304517 109 215 0 306919 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 1228548 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18923 /proc/meminfo: memFree=86736/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=1650612 CPUtime=402.04 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 459733 0 0 0 40003 201 0 0 25 0 1 0 145714242 1690226688 410068 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134667318 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 412653 410068 109 215 0 412435 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 1650612 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18923 /proc/meminfo: memFree=123664/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=1613092 CPUtime=462.03 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 492902 0 0 0 45984 219 0 0 25 0 1 0 145714242 1651806208 401055 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 403273 401055 109 215 0 403055 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 1613092 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18923 /proc/meminfo: memFree=15824/2055920 swapFree=4153684/4192956 [pid=18922] ppid=18920 vsize=1740208 CPUtime=521.98 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 525345 0 0 0 51964 234 0 0 25 0 1 0 145714242 1781972992 433498 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134666974 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 435052 433498 109 215 0 434834 0 Current children cumulated CPU time (s) 521.98 Current children cumulated vsize (KiB) 1740208 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18923 /proc/meminfo: memFree=15312/2055920 swapFree=4153660/4192956 [pid=18922] ppid=18920 vsize=1826140 CPUtime=581.96 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 546842 0 0 0 57951 245 0 0 25 0 1 0 145714242 1869967360 454995 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 456535 454995 109 215 0 456317 0 Current children cumulated CPU time (s) 581.96 Current children cumulated vsize (KiB) 1826140 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+596.206 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18923 /proc/meminfo: memFree=15568/2055920 swapFree=4153660/4192956 [pid=18922] ppid=18920 vsize=1843300 CPUtime=595.87 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194304 551122 0 0 0 59340 247 0 0 25 0 1 0 145714242 1887539200 459275 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 460825 459275 109 215 0 460607 0 Current children cumulated CPU time (s) 595.87 Current children cumulated vsize (KiB) 1843300 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+596.402 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18923 /proc/meminfo: memFree=15568/2055920 swapFree=4153660/4192956 [pid=18922] ppid=18920 vsize=0 CPUtime=596.06 /proc/18922/stat : 18922 (minisat+) R 18920 18922 18192 0 -1 4194308 551123 0 0 0 59340 266 0 0 25 0 1 0 145714242 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16386 0 0 0 17 1 0 0 /proc/18922/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 596.06 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 596.491 CPU time (s): 596.152 CPU user time (s): 593.402 CPU system time (s): 2.75058 CPU usage (%): 99.9433 Max. virtual memory (cumulated for all children) (KiB): 1843300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 593.402 system time used= 2.75058 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 551123 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18 involuntary context switches= 8570 runsolver used 0.752885 second user time and 1.56576 second system time The end
Begin job on node3 on Mon Apr 16 04:12:45 UTC 2007 IDJOB= 354152 IDBENCH= 2363 IDSOLVER= 156 FILE ID= node3/354152-1176696764 PBS_JOBID= 4559419 Free space on /tmp= 66501 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1c.opb COMMAND LINE= /tmp/evaluation/354152-1176696764/minisat+ /tmp/evaluation/354152-1176696764/instance-354152-1176696764.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node3/convwatcher-354152-1176696764 -o ROOT/results/node3/conversion-354152-1176696764 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/354152-1176696764/instance-354152-1176696764.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-354152-1176696764 -o ROOT/results/node3/solver-354152-1176696764 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354152-1176696764/minisat+ /tmp/evaluation/354152-1176696764/instance-354152-1176696764.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= aae7296985adde1f17776b4f5ad45572 RANDOM SEED= 600916706 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.270 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.270 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1730928 kB Buffers: 25872 kB Cached: 223756 kB SwapCached: 2244 kB Active: 195512 kB Inactive: 77976 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1730928 kB SwapTotal: 4192956 kB SwapFree: 4153684 kB Dirty: 6860 kB Writeback: 0 kB Mapped: 31724 kB Slab: 37040 kB Committed_AS: 5136000 kB PageTables: 1784 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66501 MiB End job on node3 on Mon Apr 16 04:22:43 UTC 2007