| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | ? (TO) | 1800.05 | 1800.33 |
| 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... 1.99/2.01 c Converting 3282 PB-constraints to clauses... 1.99/2.02 c -- Unit propagations: (none) 1.99/2.02 c -- Detecting intervals from adjacent constraints: #################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################### 1.99/2.05 c -- Clauses(.)/Splits(s): ssssssss 2.09/2.15 c ---[3288]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.16 c ---[3286]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.16 c ---[3284]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.16 c ---[3282]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.17 c ---[3280]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.17 c ---[3278]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.17 c ---[3276]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.18 c ---[3274]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 2.09/2.18 c ---[3272]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.18 c ---[3270]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.19 c ---[3268]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.19 c ---[3266]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.20 c ---[3264]---> Sorter-cost: 983 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.20 c ---[3262]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.20 c ---[3260]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.21 c ---[3258]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.22 c ---[3256]---> Sorter-cost: 628 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.22 c ---[3254]---> Sorter-cost: 686 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.22 c ---[3252]---> Sorter-cost: 1085 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.23 c ---[3250]---> Sorter-cost: 865 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.23 c ---[3248]---> Sorter-cost: 727 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.23 c ---[3246]---> Sorter-cost: 765 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.24 c ---[3244]---> Adder-cost: 176 maxlim: 87040 bits: 18/17 2.20/2.25 c ---[3242]---> Adder-cost: 66 maxlim: 87040 bits: 18/17 2.20/2.26 c ---[3240]---> Adder-cost: 112 maxlim: 59392 bits: 17/16 2.20/2.27 c ---[3238]---> Adder-cost: 96 maxlim: 51200 bits: 17/16 2.20/2.27 c ---[3236]---> Adder-cost: 148 maxlim: 71680 bits: 18/17 2.20/2.28 c ---[3234]---> Adder-cost: 142 maxlim: 70656 bits: 18/17 2.20/2.29 c ---[3232]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.30 c ---[3230]---> Sorter-cost: 741 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.30 c ---[3228]---> Sorter-cost: 674 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.30 c ---[3226]---> Sorter-cost: 428 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.31 c ---[3224]---> Sorter-cost: 645 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.31 c ---[3222]---> Sorter-cost: 678 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.31 c ---[3220]---> Sorter-cost: 1188 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.32 c ---[3218]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.32 c ---[3216]---> Sorter-cost: 1034 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.33 c ---[3214]---> Sorter-cost: 1046 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.33 c ---[3212]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.33 c ---[3210]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.34 c ---[3208]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.35 c ---[3206]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.35 c ---[3204]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.35 c ---[3202]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.36 c ---[3200]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.36 c ---[3198]---> Sorter-cost: 1225 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.37 c ---[3196]---> Sorter-cost: 1076 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.37 c ---[3194]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.38 c ---[3192]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 2.30/2.38 c ---[3190]---> Adder-cost: 76 maxlim: 51200 bits: 17/16 2.30/2.39 c ---[3188]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.39 c ---[3186]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.40 c ---[3184]---> Sorter-cost: 641 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.40 c ---[3182]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.40 c ---[3180]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.41 c ---[3178]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.41 c ---[3176]---> Sorter-cost: 1215 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.42 c ---[3174]---> Sorter-cost: 1065 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.42 c ---[3172]---> Sorter-cost: 955 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.42 c ---[3170]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.43 c ---[3168]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.43 c ---[3166]---> Sorter-cost: 660 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.44 c ---[3164]---> Sorter-cost: 761 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.44 c ---[3162]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.45 c ---[3160]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.45 c ---[3158]---> Sorter-cost: 923 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.46 c ---[3156]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.46 c ---[3154]---> Sorter-cost: 583 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.46 c ---[3152]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.46 c ---[3150]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.47 c ---[3148]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 2.39/2.47 c ---[3146]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.47 c ---[3144]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.48 c ---[3142]---> Sorter-cost: 688 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.48 c ---[3140]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.49 c ---[3138]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.49 c ---[3136]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.49 c ---[3134]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.50 c ---[3132]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.50 c ---[3130]---> Adder-cost: 146 maxlim: 70656 bits: 18/17 2.49/2.51 c ---[3128]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.51 c ---[3126]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 2.49/2.52 c ---[3124]---> Adder-cost: 120 maxlim: 62464 bits: 17/16 2.49/2.53 c ---[3122]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 2.49/2.54 c ---[3120]---> Adder-cost: 132 maxlim: 67584 bits: 18/17 2.49/2.55 c ---[3118]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 2.49/2.55 c ---[3116]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.56 c ---[3114]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.56 c ---[3112]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.57 c ---[3110]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.57 c ---[3108]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.57 c ---[3106]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.58 c ---[3104]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.58 c ---[3102]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.58 c ---[3100]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.59 c ---[3098]---> Sorter-cost: 645 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.59 c ---[3096]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.59 c ---[3094]---> Adder-cost: 178 maxlim: 88064 bits: 18/17 2.59/2.60 c ---[3092]---> Adder-cost: 68 maxlim: 88064 bits: 18/17 2.59/2.61 c ---[3090]---> Adder-cost: 138 maxlim: 86016 bits: 18/17 2.59/2.62 c ---[3088]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 2.59/2.64 c ---[3086]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 2.59/2.64 c ---[3084]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.65 c ---[3082]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 2.59/2.65 c ---[3080]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.66 c ---[3078]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.66 c ---[3076]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.67 c ---[3074]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.67 c ---[3072]---> Sorter-cost: 1181 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.68 c ---[3070]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.68 c ---[3068]---> Adder-cost: 120 maxlim: 60416 bits: 17/16 2.59/2.69 c ---[3066]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 2.69/2.70 c ---[3064]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 2.69/2.70 c ---[3062]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 2.69/2.71 c ---[3060]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 2.69/2.71 c ---[3058]---> Sorter-cost: 943 Base: 2 2 2 2 2 2 2 2 2 2 7 2.69/2.72 c ---[3056]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 2.69/2.72 c ---[3054]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 2.69/2.73 c ---[3052]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 2.69/2.73 c ---[3050]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[3048]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[3046]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[3044]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[3042]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[3040]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[3038]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[3036]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[3034]---> Sorter-cost: 1081 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[3032]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[3030]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 2.89/2.90 c ---[3028]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 2.89/2.90 c ---[3026]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[3024]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[3022]---> Sorter-cost: 1171 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[3020]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[3018]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 2.89/2.90 c ---[3016]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 2.89/2.90 c ---[3014]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 2.89/2.90 c ---[3012]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 2.89/2.90 c ---[3010]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 2.89/2.90 c ---[3008]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[3006]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[3004]---> Sorter-cost: 1236 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[3002]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[3000]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 2.89/2.90 c ---[2998]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 2.89/2.90 c ---[2996]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 2.89/2.90 c ---[2994]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[2992]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[2990]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[2988]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[2986]---> Sorter-cost: 917 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.90 c ---[2984]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.91 c ---[2982]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 2.89/2.91 c ---[2980]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 2.89/2.91 c ---[2978]---> Sorter-cost: 589 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.92 c ---[2976]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.92 c ---[2974]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 2.89/2.93 c ---[2972]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.93 c ---[2970]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.93 c ---[2968]---> Sorter-cost: 253 Base: 2 2 2 2 2 2 2 2 2 2 2 2.89/2.93 c ---[2966]---> Adder-cost: 156 maxlim: 76800 bits: 18/17 2.89/2.94 c ---[2964]---> Adder-cost: 62 maxlim: 76800 bits: 18/17 2.89/2.95 c ---[2962]---> Adder-cost: 198 maxlim: 109568 bits: 18/17 2.89/2.97 c ---[2960]---> Adder-cost: 132 maxlim: 66560 bits: 18/17 2.89/2.97 c ---[2958]---> Adder-cost: 78 maxlim: 109568 bits: 18/17 2.89/2.99 c ---[2956]---> Adder-cost: 396 maxlim: 205824 bits: 19/18 2.99/3.01 c ---[2954]---> Adder-cost: 116 maxlim: 205824 bits: 19/18 2.99/3.04 c ---[2952]---> Adder-cost: 396 maxlim: 209920 bits: 19/18 2.99/3.06 c ---[2950]---> Adder-cost: 112 maxlim: 209920 bits: 19/18 2.99/3.08 c ---[2948]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 2.99/3.09 c ---[2946]---> Adder-cost: 276 maxlim: 161792 bits: 19/18 3.09/3.11 c ---[2944]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 3.09/3.13 c ---[2942]---> Adder-cost: 334 maxlim: 190464 bits: 19/18 3.09/3.15 c ---[2940]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 3.09/3.18 c ---[2938]---> Adder-cost: 414 maxlim: 236544 bits: 19/18 3.19/3.20 c ---[2936]---> Adder-cost: 90 maxlim: 58368 bits: 17/16 3.19/3.21 c ---[2934]---> Adder-cost: 124 maxlim: 236544 bits: 19/18 3.19/3.24 c ---[2932]---> Adder-cost: 452 maxlim: 246784 bits: 19/18 3.19/3.27 c ---[2930]---> Adder-cost: 576 maxlim: 314368 bits: 20/19 3.29/3.30 c ---[2928]---> Adder-cost: 586 maxlim: 324608 bits: 20/19 3.29/3.34 c ---[2926]---> Adder-cost: 518 maxlim: 265216 bits: 20/19 3.29/3.38 c ---[2924]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 3.29/3.38 c ---[2922]---> Adder-cost: 482 maxlim: 253952 bits: 19/18 3.39/3.41 c ---[2920]---> Adder-cost: 558 maxlim: 300032 bits: 20/19 3.39/3.45 c ---[2918]---> Adder-cost: 410 maxlim: 228352 bits: 19/18 3.39/3.48 c ---[2916]---> Adder-cost: 368 maxlim: 203776 bits: 19/18 3.49/3.50 c ---[2914]---> Adder-cost: 110 maxlim: 203776 bits: 19/18 3.49/3.52 c ---[2912]---> Adder-cost: 334 maxlim: 201728 bits: 19/18 3.49/3.55 c ---[2910]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 3.49/3.55 c ---[2908]---> Adder-cost: 114 maxlim: 201728 bits: 19/18 3.49/3.57 c ---[2906]---> Adder-cost: 340 maxlim: 189440 bits: 19/18 3.59/3.60 c ---[2904]---> Adder-cost: 104 maxlim: 189440 bits: 19/18 3.59/3.62 c ---[2902]---> Adder-cost: 374 maxlim: 209920 bits: 19/18 3.59/3.64 c ---[2900]---> Adder-cost: 112 maxlim: 209920 bits: 19/18 3.59/3.67 c ---[2898]---> Adder-cost: 404 maxlim: 218112 bits: 19/18 3.59/3.69 c ---[2896]---> Adder-cost: 328 maxlim: 182272 bits: 19/18 3.69/3.71 c ---[2894]---> Adder-cost: 106 maxlim: 182272 bits: 19/18 3.69/3.73 c ---[2892]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 3.69/3.74 c ---[2890]---> Adder-cost: 182 maxlim: 95232 bits: 18/17 3.69/3.75 c ---[2888]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 3.69/3.76 c ---[2886]---> Adder-cost: 216 maxlim: 116736 bits: 18/17 3.69/3.78 c ---[2884]---> Adder-cost: 78 maxlim: 116736 bits: 18/17 3.69/3.79 c ---[2882]---> Adder-cost: 192 maxlim: 102400 bits: 18/17 3.79/3.80 c ---[2880]---> Sorter-cost: 1049 Base: 2 2 2 2 2 2 2 2 2 2 7 3.79/3.81 c ---[2878]---> Adder-cost: 76 maxlim: 102400 bits: 18/17 3.79/3.82 c ---[2876]---> Adder-cost: 226 maxlim: 122880 bits: 18/17 3.79/3.84 c ---[2874]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 3.79/3.85 c ---[2872]---> Adder-cost: 264 maxlim: 142336 bits: 19/18 3.79/3.87 c ---[2870]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 3.79/3.89 c ---[2868]---> Adder-cost: 120 maxlim: 68608 bits: 18/17 3.79/3.89 c ---[2866]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.90 c ---[2864]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 3.89/3.91 c ---[2862]---> Adder-cost: 108 maxlim: 58368 bits: 17/16 3.89/3.91 c ---[2860]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 3.89/3.92 c ---[2858]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.92 c ---[2856]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.93 c ---[2854]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.93 c ---[2852]---> Sorter-cost: 351 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.93 c ---[2850]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.94 c ---[2848]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.94 c ---[2846]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 3.89/3.95 c ---[2844]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 3.89/3.95 c ---[2842]---> Adder-cost: 86 maxlim: 67584 bits: 18/17 3.89/3.96 c ---[2840]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 3.89/3.97 c ---[2838]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.97 c ---[2836]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 3.89/3.98 c ---[2834]---> Adder-cost: 134 maxlim: 72704 bits: 18/17 3.89/3.99 c ---[2832]---> Adder-cost: 138 maxlim: 67584 bits: 18/17 3.99/4.00 c ---[2830]---> Adder-cost: 90 maxlim: 63488 bits: 17/16 3.99/4.01 c ---[2828]---> Adder-cost: 108 maxlim: 56320 bits: 17/16 3.99/4.01 c ---[2826]---> Adder-cost: 102 maxlim: 52224 bits: 17/16 3.99/4.02 c ---[2824]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 3.99/4.03 c ---[2822]---> Sorter-cost: 1033 Base: 2 2 2 2 2 2 2 2 2 2 7 3.99/4.03 c ---[2820]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 3.99/4.03 c ---[2818]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 3.99/4.04 c ---[2816]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 3.99/4.04 c ---[2814]---> Adder-cost: 108 maxlim: 59392 bits: 17/16 3.99/4.05 c ---[2812]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 3.99/4.06 c ---[2810]---> Adder-cost: 120 maxlim: 60416 bits: 17/16 3.99/4.06 c ---[2808]---> Adder-cost: 114 maxlim: 62464 bits: 17/16 3.99/4.07 c ---[2806]---> Adder-cost: 96 maxlim: 51200 bits: 17/16 3.99/4.08 c ---[2804]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 3.99/4.08 c ---[2802]---> Sorter-cost: 1080 Base: 2 2 2 2 2 2 2 2 2 2 7 3.99/4.09 c ---[2800]---> Sorter-cost: 966 Base: 2 2 2 2 2 2 2 2 2 2 7 3.99/4.09 c ---[2798]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 4.09/4.10 c ---[2796]---> Sorter-cost: 1175 Base: 2 2 2 2 2 2 2 2 2 2 7 4.09/4.10 c ---[2794]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 4.09/4.10 c ---[2792]---> Sorter-cost: 1158 Base: 2 2 2 2 2 2 2 2 2 2 7 4.09/4.11 c ---[2790]---> Sorter-cost: 813 Base: 2 2 2 2 2 2 2 2 2 2 7 4.09/4.11 c ---[2788]---> Sorter-cost: 935 Base: 2 2 2 2 2 2 2 2 2 2 7 4.09/4.12 c ---[2786]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 4.09/4.12 c ---[2784]---> Sorter-cost: 899 Base: 2 2 2 2 2 2 2 2 2 2 7 4.09/4.13 c ---[2782]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 4.09/4.13 c ---[2780]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 4.09/4.14 c ---[2778]---> Adder-cost: 62 maxlim: 69632 bits: 18/17 4.09/4.15 c ---[2776]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 4.09/4.16 c ---[2774]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 4.09/4.16 c ---[2772]---> Sorter-cost: 460 Base: 2 2 2 2 2 2 2 2 2 2 7 4.09/4.17 c ---[2770]---> Adder-cost: 138 maxlim: 66560 bits: 18/17 4.09/4.18 c ---[2768]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 4.09/4.18 c ---[2766]---> Adder-cost: 106 maxlim: 54272 bits: 17/16 4.09/4.19 c ---[2764]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 4.19/4.20 c ---[2762]---> Adder-cost: 122 maxlim: 62464 bits: 17/16 4.19/4.20 c ---[2760]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 4.19/4.21 c ---[2758]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 4.19/4.22 c ---[2756]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 4.19/4.22 c ---[2754]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 4.19/4.23 c ---[2752]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 4.19/4.24 c ---[2750]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.24 c ---[2748]---> Adder-cost: 106 maxlim: 56320 bits: 17/16 4.19/4.25 c ---[2746]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 4.19/4.25 c ---[2744]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.26 c ---[2742]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.26 c ---[2740]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.27 c ---[2738]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.27 c ---[2736]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.27 c ---[2734]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.28 c ---[2732]---> Sorter-cost: 1039 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.28 c ---[2730]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.29 c ---[2728]---> Sorter-cost: 420 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.29 c ---[2726]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 4.29/4.30 c ---[2724]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 4.29/4.30 c ---[2722]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.31 c ---[2720]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.32 c ---[2718]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.32 c ---[2716]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.32 c ---[2714]---> Sorter-cost: 783 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.33 c ---[2712]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.33 c ---[2710]---> Sorter-cost: 935 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.33 c ---[2708]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.34 c ---[2706]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.34 c ---[2704]---> Sorter-cost: 1069 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.35 c ---[2702]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.35 c ---[2700]---> Sorter-cost: 935 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.35 c ---[2698]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.36 c ---[2696]---> Sorter-cost: 687 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.38 c ---[2694]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.38 c ---[2692]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 4.29/4.39 c ---[2690]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 4.29/4.39 c ---[2688]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 4.29/4.40 c ---[2686]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.40 c ---[2684]---> Sorter-cost: 428 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.40 c ---[2682]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.41 c ---[2680]---> Sorter-cost: 1016 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.41 c ---[2678]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.42 c ---[2676]---> Adder-cost: 124 maxlim: 61440 bits: 17/16 4.39/4.42 c ---[2674]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 4.39/4.43 c ---[2672]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.44 c ---[2670]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.44 c ---[2668]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 4.39/4.45 c ---[2666]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 4.39/4.45 c ---[2664]---> Sorter-cost: 470 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.46 c ---[2662]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.46 c ---[2660]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.46 c ---[2658]---> Sorter-cost: 655 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.47 c ---[2656]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.47 c ---[2654]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.47 c ---[2652]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.47 c ---[2650]---> Sorter-cost: 566 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.48 c ---[2648]---> Sorter-cost: 1089 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.48 c ---[2646]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.49 c ---[2644]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.49 c ---[2642]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.50 c ---[2640]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.50 c ---[2638]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.50 c ---[2636]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.51 c ---[2634]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.51 c ---[2632]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 4.49/4.52 c ---[2630]---> Adder-cost: 62 maxlim: 69632 bits: 18/17 4.49/4.53 c ---[2628]---> Adder-cost: 126 maxlim: 63488 bits: 17/16 4.49/4.54 c ---[2626]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 4.49/4.54 c ---[2624]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.55 c ---[2622]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.55 c ---[2620]---> Sorter-cost: 313 Base: 2 2 2 2 2 2 2 2 2 2 2 4.49/4.55 c ---[2618]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.56 c ---[2616]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 4.49/4.56 c ---[2614]---> Sorter-cost: 420 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.56 c ---[2612]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.56 c ---[2610]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.57 c ---[2608]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.57 c ---[2606]---> Sorter-cost: 1053 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.58 c ---[2604]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.58 c ---[2602]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 4.49/4.59 c ---[2600]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 4.49/4.59 c ---[2598]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.60 c ---[2596]---> Sorter-cost: 678 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.60 c ---[2594]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.60 c ---[2592]---> Sorter-cost: 961 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.61 c ---[2590]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.61 c ---[2588]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.62 c ---[2586]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.62 c ---[2584]---> Sorter-cost: 462 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.62 c ---[2582]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.62 c ---[2580]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 4.59/4.63 c ---[2578]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 4.59/4.64 c ---[2576]---> Adder-cost: 98 maxlim: 52224 bits: 17/16 4.59/4.64 c ---[2574]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.65 c ---[2572]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.65 c ---[2570]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.66 c ---[2568]---> Sorter-cost: 1190 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.66 c ---[2566]---> Sorter-cost: 1073 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.67 c ---[2564]---> Sorter-cost: 931 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.67 c ---[2562]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.68 c ---[2560]---> Sorter-cost: 1188 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.68 c ---[2558]---> Sorter-cost: 1175 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.69 c ---[2556]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.69 c ---[2554]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 4.59/4.69 c ---[2552]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 4.59/4.69 c ---[2550]---> Sorter-cost: 720 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.70 c ---[2548]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.70 c ---[2546]---> Sorter-cost: 585 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.70 c ---[2544]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.71 c ---[2542]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.71 c ---[2540]---> Sorter-cost: 295 Base: 2 2 2 2 2 2 2 2 2 2 2 4.69/4.71 c ---[2538]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.71 c ---[2536]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.72 c ---[2534]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.72 c ---[2532]---> Sorter-cost: 458 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.72 c ---[2530]---> Sorter-cost: 365 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.73 c ---[2528]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.73 c ---[2526]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.73 c ---[2524]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.73 c ---[2522]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.74 c ---[2520]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.74 c ---[2518]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 4.69/4.75 c ---[2516]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 4.69/4.75 c ---[2514]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 4.69/4.76 c ---[2512]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.76 c ---[2510]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.76 c ---[2508]---> Sorter-cost: 470 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.77 c ---[2506]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.77 c ---[2504]---> Sorter-cost: 1311 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.78 c ---[2502]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.78 c ---[2500]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.78 c ---[2498]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.79 c ---[2496]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.79 c ---[2494]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 4.69/4.80 c ---[2492]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.80 c ---[2490]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.80 c ---[2488]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.81 c ---[2486]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.81 c ---[2484]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.82 c ---[2482]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.82 c ---[2480]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.82 c ---[2478]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.83 c ---[2476]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.83 c ---[2474]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.84 c ---[2472]---> Sorter-cost: 953 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.84 c ---[2470]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.85 c ---[2468]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 4.79/4.85 c ---[2466]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 4.79/4.86 c ---[2464]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 4.79/4.87 c ---[2462]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.87 c ---[2460]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.88 c ---[2458]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.88 c ---[2456]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79/4.89 c ---[2454]---> Adder-cost: 154 maxlim: 74752 bits: 18/17 4.89/4.90 c ---[2452]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 4.89/4.91 c ---[2450]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.91 c ---[2448]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.92 c ---[2446]---> Sorter-cost: 896 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.92 c ---[2444]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.92 c ---[2442]---> Sorter-cost: 597 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.93 c ---[2440]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.93 c ---[2438]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 4.89/4.94 c ---[2436]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 4.89/4.94 c ---[2434]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.95 c ---[2432]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.95 c ---[2430]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.95 c ---[2428]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.96 c ---[2426]---> Sorter-cost: 470 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.96 c ---[2424]---> Sorter-cost: 679 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.96 c ---[2422]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89/4.97 c ---[2420]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 4.89/4.97 c ---[2418]---> Adder-cost: 112 maxlim: 58368 bits: 17/16 4.89/4.98 c ---[2416]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 4.89/4.99 c ---[2414]---> Adder-cost: 112 maxlim: 63488 bits: 17/16 4.89/4.99 c ---[2412]---> Adder-cost: 158 maxlim: 78848 bits: 18/17 4.99/5.00 c ---[2410]---> Adder-cost: 144 maxlim: 77824 bits: 18/17 4.99/5.01 c ---[2408]---> Sorter-cost: 967 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.02 c ---[2406]---> Sorter-cost: 1068 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.02 c ---[2404]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 4.99/5.03 c ---[2402]---> Adder-cost: 130 maxlim: 67584 bits: 18/17 4.99/5.04 c ---[2400]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.04 c ---[2398]---> Adder-cost: 158 maxlim: 78848 bits: 18/17 4.99/5.05 c ---[2396]---> Adder-cost: 104 maxlim: 79872 bits: 18/17 4.99/5.06 c ---[2394]---> Adder-cost: 174 maxlim: 88064 bits: 18/17 4.99/5.07 c ---[2392]---> Adder-cost: 68 maxlim: 88064 bits: 18/17 4.99/5.09 c ---[2390]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.09 c ---[2388]---> Sorter-cost: 891 Base: 2 2 2 2 2 2 2 2 2 2 7 4.99/5.09 c ---[2386]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 5.09/5.10 c ---[2384]---> Adder-cost: 134 maxlim: 65536 bits: 18/17 5.09/5.11 c ---[2382]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.12 c ---[2380]---> Sorter-cost: 996 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.12 c ---[2378]---> Adder-cost: 322 maxlim: 165888 bits: 19/18 5.09/5.14 c ---[2376]---> Sorter-cost: 961 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.14 c ---[2374]---> Sorter-cost: 579 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.15 c ---[2372]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.15 c ---[2370]---> Sorter-cost: 546 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.16 c ---[2368]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.16 c ---[2366]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.16 c ---[2364]---> Sorter-cost: 371 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.16 c ---[2362]---> Sorter-cost: 257 Base: 2 2 2 2 2 2 2 2 2 2 2 5.09/5.17 c ---[2360]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.17 c ---[2358]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09/5.17 c ---[2356]---> Adder-cost: 102 maxlim: 165888 bits: 19/18 5.09/5.19 c ---[2354]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.20 c ---[2352]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.21 c ---[2350]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.21 c ---[2348]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.21 c ---[2346]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 5.19/5.22 c ---[2344]---> Adder-cost: 112 maxlim: 57344 bits: 17/16 5.19/5.23 c ---[2342]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.23 c ---[2340]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.23 c ---[2338]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.24 c ---[2336]---> Sorter-cost: 588 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.24 c ---[2334]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.24 c ---[2332]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.24 c ---[2330]---> Sorter-cost: 1127 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.25 c ---[2328]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.25 c ---[2326]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 5.19/5.26 c ---[2324]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 5.19/5.26 c ---[2322]---> Sorter-cost: 1082 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.26 c ---[2320]---> Sorter-cost: 1168 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.27 c ---[2318]---> Sorter-cost: 908 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.27 c ---[2316]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.28 c ---[2314]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.28 c ---[2312]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.29 c ---[2310]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.29 c ---[2308]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.29 c ---[2306]---> Sorter-cost: 674 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.30 c ---[2304]---> Sorter-cost: 632 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.30 c ---[2302]---> Sorter-cost: 556 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.30 c ---[2300]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.31 c ---[2298]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 5.29/5.31 c ---[2296]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.31 c ---[2294]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.32 c ---[2292]---> Sorter-cost: 957 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.32 c ---[2290]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.33 c ---[2288]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.33 c ---[2286]---> Sorter-cost: 986 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.33 c ---[2284]---> Sorter-cost: 611 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.34 c ---[2282]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.34 c ---[2280]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.34 c ---[2278]---> Sorter-cost: 577 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.35 c ---[2276]---> Sorter-cost: 460 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.35 c ---[2274]---> Adder-cost: 102 maxlim: 165888 bits: 19/18 5.29/5.37 c ---[2272]---> Sorter-cost: 439 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.37 c ---[2270]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 5.29/5.38 c ---[2268]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 5.29/5.39 c ---[2266]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 5.29/5.39 c ---[2264]---> Adder-cost: 92 maxlim: 54272 bits: 17/16 5.39/5.40 c ---[2262]---> Sorter-cost: 1082 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.40 c ---[2260]---> Sorter-cost: 951 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.41 c ---[2258]---> Sorter-cost: 1121 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.41 c ---[2256]---> Sorter-cost: 1022 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.42 c ---[2254]---> Adder-cost: 270 maxlim: 145408 bits: 19/18 5.39/5.44 c ---[2252]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.44 c ---[2250]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.44 c ---[2248]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.45 c ---[2246]---> Sorter-cost: 313 Base: 2 2 2 2 2 2 2 2 2 2 2 5.39/5.45 c ---[2244]---> Sorter-cost: 1183 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.45 c ---[2242]---> Sorter-cost: 943 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.46 c ---[2240]---> Sorter-cost: 1057 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.46 c ---[2238]---> Sorter-cost: 1058 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.47 c ---[2236]---> Sorter-cost: 895 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.47 c ---[2234]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.48 c ---[2232]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 5.39/5.49 c ---[2230]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.50 c ---[2228]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.51 c ---[2226]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.51 c ---[2224]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.52 c ---[2222]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.52 c ---[2220]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.53 c ---[2218]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 5.50/5.53 c ---[2216]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 5.50/5.54 c ---[2214]---> Adder-cost: 126 maxlim: 63488 bits: 17/16 5.50/5.55 c ---[2212]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 5.50/5.55 c ---[2210]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 5.50/5.57 c ---[2208]---> Adder-cost: 122 maxlim: 61440 bits: 17/16 5.50/5.58 c ---[2206]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 5.50/5.59 c ---[2204]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 5.50/5.60 c ---[2202]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 5.60/5.61 c ---[2200]---> Adder-cost: 106 maxlim: 55296 bits: 17/16 5.60/5.61 c ---[2198]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 5.60/5.62 c ---[2196]---> Sorter-cost: 1089 Base: 2 2 2 2 2 2 2 2 2 2 7 5.60/5.62 c ---[2194]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 5.60/5.63 c ---[2192]---> Sorter-cost: 1251 Base: 2 2 2 2 2 2 2 2 2 2 7 5.60/5.63 c ---[2190]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 5.60/5.64 c ---[2188]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 5.60/5.66 c ---[2186]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 5.60/5.66 c ---[2184]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 5.60/5.67 c ---[2182]---> Adder-cost: 146 maxlim: 71680 bits: 18/17 5.60/5.68 c ---[2180]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 5.60/5.69 c ---[2178]---> Adder-cost: 172 maxlim: 83968 bits: 18/17 5.69/5.70 c ---[2176]---> Adder-cost: 68 maxlim: 83968 bits: 18/17 5.69/5.71 c ---[2174]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.72 c ---[2172]---> Sorter-cost: 931 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.72 c ---[2170]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 5.69/5.73 c ---[2168]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 5.69/5.73 c ---[2166]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 5.69/5.75 c ---[2164]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.76 c ---[2162]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.76 c ---[2160]---> Sorter-cost: 380 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.76 c ---[2158]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.77 c ---[2156]---> Sorter-cost: 609 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.77 c ---[2154]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.77 c ---[2152]---> Sorter-cost: 647 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.78 c ---[2150]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.78 c ---[2148]---> Sorter-cost: 1248 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.79 c ---[2146]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 5.69/5.79 c ---[2144]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 5.79/5.81 c ---[2142]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 5.79/5.82 c ---[2140]---> Sorter-cost: 1267 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.82 c ---[2138]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.83 c ---[2136]---> Sorter-cost: 1183 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.83 c ---[2134]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.84 c ---[2132]---> Adder-cost: 176 maxlim: 86016 bits: 18/17 5.79/5.85 c ---[2130]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 5.79/5.86 c ---[2128]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.87 c ---[2126]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.87 c ---[2124]---> Sorter-cost: 1157 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.88 c ---[2122]---> Adder-cost: 254 maxlim: 140288 bits: 19/18 5.79/5.89 c ---[2120]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.90 c ---[2118]---> Sorter-cost: 1059 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.90 c ---[2116]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.91 c ---[2114]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.91 c ---[2112]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.92 c ---[2110]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.92 c ---[2108]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.92 c ---[2106]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.96 c ---[2104]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.97 c ---[2102]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.97 c ---[2100]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 5.89/5.99 c ---[2098]---> Sorter-cost: 1157 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.99 c ---[2096]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.00 c ---[2094]---> Sorter-cost: 1311 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.00 c ---[2092]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.01 c ---[2090]---> Sorter-cost: 1082 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.01 c ---[2088]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.02 c ---[2086]---> Sorter-cost: 1127 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.02 c ---[2084]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.03 c ---[2082]---> Adder-cost: 124 maxlim: 61440 bits: 17/16 5.99/6.04 c ---[2080]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 5.99/6.04 c ---[2078]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 5.99/6.06 c ---[2076]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.06 c ---[2074]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.07 c ---[2072]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.07 c ---[2070]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.08 c ---[2068]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.08 c ---[2066]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.08 c ---[2064]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.09 c ---[2062]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.09 c ---[2060]---> Adder-cost: 162 maxlim: 79872 bits: 18/17 6.09/6.10 c ---[2058]---> Adder-cost: 98 maxlim: 86016 bits: 18/17 6.09/6.11 c ---[2056]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 6.09/6.13 c ---[2054]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 6.09/6.14 c ---[2052]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 6.09/6.15 c ---[2050]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 6.09/6.15 c ---[2048]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.16 c ---[2046]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.16 c ---[2044]---> Adder-cost: 154 maxlim: 76800 bits: 18/17 6.09/6.17 c ---[2042]---> Adder-cost: 62 maxlim: 76800 bits: 18/17 6.09/6.18 c ---[2040]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.19 c ---[2038]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.19 c ---[2036]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 6.19/6.20 c ---[2034]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 6.19/6.22 c ---[2032]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 6.19/6.23 c ---[2030]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 6.19/6.23 c ---[2028]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 6.19/6.24 c ---[2026]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.24 c ---[2024]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.25 c ---[2022]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.25 c ---[2020]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.26 c ---[2018]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 6.19/6.26 c ---[2016]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 6.19/6.26 c ---[2014]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.26 c ---[2012]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 6.19/6.28 c ---[2010]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.29 c ---[2008]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.29 c ---[2006]---> Sorter-cost: 597 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.29 c ---[2004]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.30 c ---[2002]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.30 c ---[2000]---> Sorter-cost: 1138 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.31 c ---[1998]---> Sorter-cost: 1311 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.31 c ---[1996]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 6.29/6.32 c ---[1994]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 6.29/6.33 c ---[1992]---> Adder-cost: 88 maxlim: 53248 bits: 17/16 6.29/6.33 c ---[1990]---> Adder-cost: 264 maxlim: 145408 bits: 19/18 6.29/6.35 c ---[1988]---> Sorter-cost: 443 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.35 c ---[1986]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 6.29/6.35 c ---[1984]---> Sorter-cost: 263 Base: 2 2 2 2 2 2 2 2 2 2 2 6.29/6.36 c ---[1982]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 6.29/6.36 c ---[1980]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 6.29/6.37 c ---[1978]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.37 c ---[1976]---> Sorter-cost: 980 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.38 c ---[1974]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 6.39/6.40 c ---[1972]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.40 c ---[1970]---> Sorter-cost: 1137 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.41 c ---[1968]---> Sorter-cost: 605 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.41 c ---[1966]---> Sorter-cost: 708 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.41 c ---[1964]---> Sorter-cost: 1077 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.42 c ---[1962]---> Sorter-cost: 734 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.42 c ---[1960]---> Sorter-cost: 731 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.43 c ---[1958]---> Sorter-cost: 585 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.43 c ---[1956]---> Sorter-cost: 582 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.43 c ---[1954]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.43 c ---[1952]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 6.39/6.45 c ---[1950]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 6.39/6.45 c ---[1948]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.46 c ---[1946]---> Sorter-cost: 1049 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.46 c ---[1944]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.47 c ---[1942]---> Sorter-cost: 1246 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.47 c ---[1940]---> Sorter-cost: 1247 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.48 c ---[1938]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.48 c ---[1936]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.48 c ---[1934]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 6.39/6.49 c ---[1932]---> Adder-cost: 116 maxlim: 58368 bits: 17/16 6.49/6.50 c ---[1930]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 6.49/6.51 c ---[1928]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.52 c ---[1926]---> Sorter-cost: 1063 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.52 c ---[1924]---> Sorter-cost: 1131 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.53 c ---[1922]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.53 c ---[1920]---> Sorter-cost: 1020 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.54 c ---[1918]---> Sorter-cost: 993 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.54 c ---[1916]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 6.49/6.55 c ---[1914]---> Adder-cost: 102 maxlim: 51200 bits: 17/16 6.49/6.56 c ---[1912]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.56 c ---[1910]---> Sorter-cost: 1043 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.57 c ---[1908]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 6.49/6.58 c ---[1906]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 6.49/6.59 c ---[1904]---> Sorter-cost: 1215 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.60 c ---[1902]---> Sorter-cost: 615 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.60 c ---[1900]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.60 c ---[1898]---> Sorter-cost: 615 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.61 c ---[1896]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.61 c ---[1894]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.61 c ---[1892]---> Sorter-cost: 340 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.61 c ---[1890]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 6.59/6.62 c ---[1888]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 6.59/6.62 c ---[1886]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 6.59/6.64 c ---[1884]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.64 c ---[1882]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.64 c ---[1880]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.65 c ---[1878]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.65 c ---[1876]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 6.59/6.66 c ---[1874]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 6.59/6.66 c ---[1872]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 6.59/6.67 c ---[1870]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 6.59/6.68 c ---[1868]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.68 c ---[1866]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.69 c ---[1864]---> Adder-cost: 160 maxlim: 84992 bits: 18/17 6.59/6.70 c ---[1862]---> Sorter-cost: 601 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.70 c ---[1860]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.70 c ---[1858]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.71 c ---[1856]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.71 c ---[1854]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.72 c ---[1852]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.72 c ---[1850]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.73 c ---[1848]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.73 c ---[1846]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.74 c ---[1844]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.74 c ---[1842]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 6.69/6.75 c ---[1840]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.75 c ---[1838]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.76 c ---[1836]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.76 c ---[1834]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.76 c ---[1832]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 6.69/6.76 c ---[1830]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 6.69/6.77 c ---[1828]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 6.69/6.77 c ---[1826]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 6.69/6.77 c ---[1824]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 6.69/6.77 c ---[1822]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.78 c ---[1820]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.78 c ---[1818]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.78 c ---[1816]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.79 c ---[1814]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.79 c ---[1812]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.79 c ---[1810]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.80 c ---[1808]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.80 c ---[1806]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.80 c ---[1804]---> Adder-cost: 142 maxlim: 68608 bits: 18/17 6.78/6.81 c ---[1802]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 6.78/6.82 c ---[1800]---> Sorter-cost: 1188 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.82 c ---[1798]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.83 c ---[1796]---> Sorter-cost: 1076 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.83 c ---[1794]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.84 c ---[1792]---> Sorter-cost: 1033 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.84 c ---[1790]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.85 c ---[1788]---> Sorter-cost: 981 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.85 c ---[1786]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.86 c ---[1784]---> Sorter-cost: 1151 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.86 c ---[1782]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.87 c ---[1780]---> Sorter-cost: 1179 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.87 c ---[1778]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.88 c ---[1776]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.88 c ---[1774]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.88 c ---[1772]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.89 c ---[1770]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.89 c ---[1768]---> Sorter-cost: 617 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.89 c ---[1766]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.90 c ---[1764]---> Sorter-cost: 1077 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.90 c ---[1762]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.91 c ---[1760]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 6.88/6.92 c ---[1758]---> Sorter-cost: 997 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.92 c ---[1756]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.93 c ---[1754]---> Sorter-cost: 711 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.93 c ---[1752]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 6.88/6.94 c ---[1750]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 6.88/6.94 c ---[1748]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.95 c ---[1746]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.95 c ---[1744]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.96 c ---[1742]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.96 c ---[1740]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.97 c ---[1738]---> Adder-cost: 138 maxlim: 67584 bits: 18/17 6.88/6.97 c ---[1736]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.98 c ---[1734]---> Sorter-cost: 652 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.98 c ---[1732]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.99 c ---[1730]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 6.88/6.99 c ---[1728]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 6.98/7.00 c ---[1726]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 6.98/7.01 c ---[1724]---> Sorter-cost: 1305 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.01 c ---[1722]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.02 c ---[1720]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.02 c ---[1718]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.03 c ---[1716]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 6.98/7.04 c ---[1714]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.04 c ---[1712]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.05 c ---[1710]---> Sorter-cost: 947 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.05 c ---[1708]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.05 c ---[1706]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.06 c ---[1704]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.06 c ---[1702]---> Sorter-cost: 1248 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.06 c ---[1700]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.07 c ---[1698]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.07 c ---[1696]---> Sorter-cost: 334 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.07 c ---[1694]---> Sorter-cost: 660 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.08 c ---[1692]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.08 c ---[1690]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.08 c ---[1688]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.09 c ---[1686]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.09 c ---[1684]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.09 c ---[1682]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.10 c ---[1680]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.11 c ---[1678]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.11 c ---[1676]---> Adder-cost: 124 maxlim: 62464 bits: 17/16 7.09/7.12 c ---[1674]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 7.09/7.13 c ---[1672]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 7.09/7.13 c ---[1670]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 7.09/7.13 c ---[1668]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 7.09/7.13 c ---[1666]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 7.09/7.13 c ---[1664]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 7.09/7.13 c ---[1662]---> Sorter-cost: 1080 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.14 c ---[1660]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.14 c ---[1658]---> Sorter-cost: 616 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.15 c ---[1656]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.15 c ---[1654]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.15 c ---[1652]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.16 c ---[1650]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.16 c ---[1648]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.16 c ---[1646]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.16 c ---[1644]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.17 c ---[1642]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.17 c ---[1640]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.17 c ---[1638]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.18 c ---[1636]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.18 c ---[1634]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 7.09/7.19 c ---[1632]---> Sorter-cost: 265 Base: 2 2 2 2 2 2 2 2 2 2 2 7.09/7.19 c ---[1630]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 7.09/7.19 c ---[1628]---> Sorter-cost: 363 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.19 c ---[1626]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.20 c ---[1624]---> Adder-cost: 126 maxlim: 63488 bits: 17/16 7.19/7.20 c ---[1622]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 7.19/7.21 c ---[1620]---> Adder-cost: 136 maxlim: 65536 bits: 18/17 7.19/7.22 c ---[1618]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 7.19/7.23 c ---[1616]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.23 c ---[1614]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.24 c ---[1612]---> Adder-cost: 116 maxlim: 59392 bits: 17/16 7.19/7.25 c ---[1610]---> Sorter-cost: 1137 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.25 c ---[1608]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.26 c ---[1606]---> Sorter-cost: 1238 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.26 c ---[1604]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.27 c ---[1602]---> Sorter-cost: 645 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.27 c ---[1600]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.27 c ---[1598]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 7.19/7.28 c ---[1596]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 7.19/7.29 c ---[1594]---> Sorter-cost: 470 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.29 c ---[1592]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.29 c ---[1590]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 7.29/7.30 c ---[1588]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 7.29/7.30 c ---[1586]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 7.29/7.30 c ---[1584]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.31 c ---[1582]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.31 c ---[1580]---> Sorter-cost: 305 Base: 2 2 2 2 2 2 2 2 2 2 2 7.29/7.31 c ---[1578]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 7.29/7.31 c ---[1576]---> Sorter-cost: 458 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.32 c ---[1574]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.32 c ---[1572]---> Sorter-cost: 259 Base: 2 2 2 2 2 2 2 2 2 2 2 7.29/7.32 c ---[1570]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 7.29/7.32 c ---[1568]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 7.29/7.33 c ---[1566]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 7.29/7.33 c ---[1564]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 7.29/7.33 c ---[1562]---> Adder-cost: 106 maxlim: 53248 bits: 17/16 7.29/7.34 c ---[1560]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.35 c ---[1558]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.35 c ---[1556]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.35 c ---[1554]---> Sorter-cost: 626 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.36 c ---[1552]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.36 c ---[1550]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.36 c ---[1548]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 7.29/7.37 c ---[1546]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 7.29/7.38 c ---[1544]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 7.29/7.38 c ---[1542]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.39 c ---[1540]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.39 c ---[1538]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.40 c ---[1536]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.40 c ---[1534]---> Sorter-cost: 434 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.41 c ---[1532]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 7.39/7.41 c ---[1530]---> Sorter-cost: 327 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.41 c ---[1528]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.41 c ---[1526]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.41 c ---[1524]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 7.39/7.42 c ---[1522]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.42 c ---[1520]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.43 c ---[1518]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.43 c ---[1516]---> Sorter-cost: 526 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.43 c ---[1514]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.44 c ---[1512]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 7.39/7.44 c ---[1510]---> Sorter-cost: 355 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.44 c ---[1508]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.44 c ---[1506]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 7.39/7.45 c ---[1504]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.45 c ---[1502]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 7.39/7.46 c ---[1500]---> Adder-cost: 102 maxlim: 56320 bits: 17/16 7.39/7.47 c ---[1498]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 7.39/7.47 c ---[1496]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 7.39/7.48 c ---[1494]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 7.39/7.49 c ---[1492]---> Sorter-cost: 1303 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.49 c ---[1490]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.50 c ---[1488]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.50 c ---[1486]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.51 c ---[1484]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.51 c ---[1482]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.51 c ---[1480]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.52 c ---[1478]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.52 c ---[1476]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.53 c ---[1474]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.53 c ---[1472]---> Adder-cost: 126 maxlim: 63488 bits: 17/16 7.49/7.54 c ---[1470]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 7.49/7.54 c ---[1468]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 7.49/7.55 c ---[1466]---> Sorter-cost: 409 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.55 c ---[1464]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.55 c ---[1462]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 7.49/7.56 c ---[1460]---> Adder-cost: 118 maxlim: 61440 bits: 17/16 7.49/7.57 c ---[1458]---> Adder-cost: 104 maxlim: 61440 bits: 17/16 7.49/7.58 c ---[1456]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 7.49/7.58 c ---[1454]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.59 c ---[1452]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.59 c ---[1450]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.59 c ---[1448]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.60 c ---[1446]---> Sorter-cost: 583 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.60 c ---[1444]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.60 c ---[1442]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.60 c ---[1440]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.61 c ---[1438]---> Sorter-cost: 718 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.61 c ---[1436]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.61 c ---[1434]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.62 c ---[1432]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.62 c ---[1430]---> Adder-cost: 116 maxlim: 57344 bits: 17/16 7.59/7.63 c ---[1428]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 7.59/7.63 c ---[1426]---> Adder-cost: 98 maxlim: 51200 bits: 17/16 7.59/7.64 c ---[1424]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 7.59/7.65 c ---[1422]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.65 c ---[1420]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.66 c ---[1418]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 7.59/7.66 c ---[1416]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 7.59/7.67 c ---[1414]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.67 c ---[1412]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.68 c ---[1410]---> Sorter-cost: 733 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.68 c ---[1408]---> Sorter-cost: 581 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.69 c ---[1406]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.69 c ---[1404]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.69 c ---[1402]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.70 c ---[1400]---> Sorter-cost: 658 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.70 c ---[1398]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 7.70/7.70 c ---[1396]---> Sorter-cost: 1143 Base: 2 2 2 2 2 2 2 2 2 2 7 7.70/7.71 c ---[1394]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 7.70/7.71 c ---[1392]---> Sorter-cost: 715 Base: 2 2 2 2 2 2 2 2 2 2 7 7.70/7.72 c ---[1390]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 7.70/7.72 c ---[1388]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 7.70/7.73 c ---[1386]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 7.70/7.74 c ---[1384]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 7.70/7.74 c ---[1382]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 7.70/7.75 c ---[1380]---> Adder-cost: 224 maxlim: 125952 bits: 18/17 7.70/7.76 c ---[1378]---> Adder-cost: 78 maxlim: 125952 bits: 18/17 7.70/7.78 c ---[1376]---> Adder-cost: 78 maxlim: 125952 bits: 18/17 7.70/7.79 c ---[1374]---> Adder-cost: 238 maxlim: 129024 bits: 18/17 7.80/7.81 c ---[1372]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 7.80/7.82 c ---[1370]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 7.80/7.84 c ---[1368]---> Adder-cost: 156 maxlim: 93184 bits: 18/17 7.80/7.85 c ---[1366]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 7.80/7.86 c ---[1364]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 7.80/7.88 c ---[1362]---> Adder-cost: 310 maxlim: 162816 bits: 19/18 7.80/7.89 c ---[1360]---> Adder-cost: 92 maxlim: 162816 bits: 19/18 7.89/7.91 c ---[1358]---> Adder-cost: 12031 maxlim: 6023167 bits: 24/23 8.89/8.92 c ---[1355]---> Adder-cost: 3128 maxlim: 1788928 bits: 22/21 9.09/9.14 c ---[1347]---> Adder-cost: 92 maxlim: 162816 bits: 19/18 9.09/9.16 c ---[1345]---> Adder-cost: 202 maxlim: 120832 bits: 18/17 9.09/9.17 c ---[1343]---> Adder-cost: 80 maxlim: 120832 bits: 18/17 9.09/9.19 c ---[1341]---> Adder-cost: 80 maxlim: 120832 bits: 18/17 9.19/9.20 c ---[1339]---> Adder-cost: 148 maxlim: 77824 bits: 18/17 9.19/9.21 c ---[1337]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 9.19/9.22 c ---[1335]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 9.19/9.23 c ---[1333]---> Sorter-cost: 638 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.23 c ---[1331]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.24 c ---[1329]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.24 c ---[1327]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.24 c ---[1325]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.25 c ---[1323]---> Sorter-cost: 404 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.25 c ---[1321]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.25 c ---[1319]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.26 c ---[1317]---> Sorter-cost: 1154 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19/9.26 c ---[1315]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 9.19/9.27 c ---[1313]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 9.19/9.27 c ---[1311]---> Adder-cost: 142 maxlim: 71680 bits: 18/17 9.19/9.28 c ---[1309]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 9.19/9.29 c ---[1307]---> Adder-cost: 92 maxlim: 54272 bits: 17/16 9.29/9.30 c ---[1305]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 9.29/9.31 c ---[1303]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 9.29/9.31 c ---[1301]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 9.29/9.31 c ---[1299]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 9.29/9.32 c ---[1297]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 9.29/9.32 c ---[1295]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 9.29/9.33 c ---[1293]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 9.29/9.34 c ---[1291]---> Adder-cost: 106 maxlim: 57344 bits: 17/16 9.29/9.34 c ---[1289]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 9.29/9.35 c ---[1287]---> Sorter-cost: 1181 Base: 2 2 2 2 2 2 2 2 2 2 7 9.29/9.36 c ---[1285]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 9.29/9.36 c ---[1283]---> Sorter-cost: 1226 Base: 2 2 2 2 2 2 2 2 2 2 7 9.29/9.37 c ---[1281]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 9.29/9.37 c ---[1279]---> Adder-cost: 148 maxlim: 71680 bits: 18/17 9.29/9.38 c ---[1277]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 9.29/9.39 c ---[1275]---> Adder-cost: 142 maxlim: 72704 bits: 18/17 9.39/9.40 c ---[1273]---> Adder-cost: 56 maxlim: 72704 bits: 18/17 9.39/9.41 c ---[1271]---> Sorter-cost: 1263 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.41 c ---[1269]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.42 c ---[1267]---> Sorter-cost: 1181 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.43 c ---[1265]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.43 c ---[1263]---> Sorter-cost: 622 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.43 c ---[1261]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.44 c ---[1259]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.44 c ---[1257]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.44 c ---[1255]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.45 c ---[1253]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.45 c ---[1251]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.45 c ---[1249]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.46 c ---[1247]---> Sorter-cost: 1261 Base: 2 2 2 2 2 2 2 2 2 2 7 9.39/9.46 c ---[1245]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 9.39/9.47 c ---[1243]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 9.39/9.48 c ---[1241]---> Adder-cost: 150 maxlim: 78848 bits: 18/17 9.39/9.49 c ---[1239]---> Adder-cost: 138 maxlim: 75776 bits: 18/17 9.49/9.50 c ---[1237]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.50 c ---[1235]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.51 c ---[1233]---> Sorter-cost: 854 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.51 c ---[1231]---> Sorter-cost: 1082 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.52 c ---[1229]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.52 c ---[1227]---> Sorter-cost: 617 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.53 c ---[1225]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.53 c ---[1223]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49/9.53 c ---[1221]---> Adder-cost: 240 maxlim: 139264 bits: 19/18 9.49/9.55 c ---[1219]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 9.49/9.57 c ---[1217]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 9.49/9.59 c ---[1215]---> Adder-cost: 326 maxlim: 186368 bits: 19/18 9.59/9.61 c ---[1213]---> Adder-cost: 106 maxlim: 186368 bits: 19/18 9.59/9.63 c ---[1211]---> Adder-cost: 106 maxlim: 186368 bits: 19/18 9.59/9.65 c ---[1209]---> Adder-cost: 290 maxlim: 168960 bits: 19/18 9.59/9.67 c ---[1207]---> Adder-cost: 100 maxlim: 168960 bits: 19/18 9.59/9.69 c ---[1205]---> Adder-cost: 100 maxlim: 168960 bits: 19/18 9.69/9.71 c ---[1203]---> Adder-cost: 276 maxlim: 161792 bits: 19/18 9.69/9.73 c ---[1201]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 9.69/9.75 c ---[1199]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 9.69/9.77 c ---[1197]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 9.69/9.79 c ---[1195]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 9.79/9.81 c ---[1193]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 9.79/9.83 c ---[1191]---> Adder-cost: 216 maxlim: 122880 bits: 18/17 9.79/9.85 c ---[1189]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 9.79/9.86 c ---[1187]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 9.79/9.88 c ---[1185]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 9.79/9.89 c ---[1183]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 9.89/9.91 c ---[1181]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 9.89/9.92 c ---[1179]---> Adder-cost: 166 maxlim: 92160 bits: 18/17 9.89/9.93 c ---[1177]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 9.89/9.94 c ---[1175]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 9.89/9.96 c ---[1173]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 9.89/9.97 c ---[1171]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 9.89/9.98 c ---[1169]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 9.89/9.99 c ---[1167]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 9.89/9.99 c ---[1165]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 9.89/9.99 c ---[1163]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 9.89/10.00 c ---[1161]---> Sorter-cost: 305 Base: 2 2 2 2 2 2 2 2 2 2 2 9.89/10.00 c ---[1159]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 9.89/10.00 c ---[1157]---> Sorter-cost: 454 Base: 2 2 2 2 2 2 2 2 2 2 7 9.99/10.00 c ---[1155]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 9.99/10.01 c ---[1153]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 9.99/10.01 c ---[1151]---> Sorter-cost: 1265 Base: 2 2 2 2 2 2 2 2 2 2 7 9.99/10.02 c ---[1149]---> Adder-cost: 98 maxlim: 57344 bits: 17/16 9.99/10.03 c ---[1147]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 9.99/10.03 c ---[1145]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 9.99/10.04 c ---[1143]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 9.99/10.05 c ---[1141]---> Sorter-cost: 1087 Base: 2 2 2 2 2 2 2 2 2 2 7 9.99/10.05 c ---[1139]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 9.99/10.06 c ---[1137]---> Sorter-cost: 261 Base: 2 2 2 2 2 2 2 2 2 2 2 9.99/10.06 c ---[1135]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 9.99/10.06 c ---[1133]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 9.99/10.06 c ---[1131]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 9.99/10.06 c ---[1129]---> Sorter-cost: 438 Base: 2 2 2 2 2 2 2 2 2 2 7 9.99/10.07 c ---[1127]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 9.99/10.07 c ---[1125]---> Sorter-cost: 979 Base: 2 2 2 2 2 2 2 2 2 2 7 9.99/10.07 c ---[1123]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 9.99/10.08 c ---[1121]---> Adder-cost: 138 maxlim: 65536 bits: 18/17 9.99/10.09 c ---[1119]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 10.09/10.10 c ---[1117]---> Adder-cost: 118 maxlim: 63488 bits: 17/16 10.09/10.10 c ---[1115]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 10.09/10.11 c ---[1113]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.11 c ---[1111]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.12 c ---[1109]---> Sorter-cost: 1267 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.12 c ---[1107]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.13 c ---[1105]---> Sorter-cost: 908 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.13 c ---[1103]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.14 c ---[1101]---> Sorter-cost: 572 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.14 c ---[1099]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.14 c ---[1097]---> Sorter-cost: 733 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.15 c ---[1095]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.15 c ---[1093]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.15 c ---[1091]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.16 c ---[1089]---> Sorter-cost: 412 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.16 c ---[1087]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.16 c ---[1085]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.16 c ---[1083]---> Sorter-cost: 602 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.17 c ---[1081]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.17 c ---[1079]---> Sorter-cost: 1246 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.18 c ---[1077]---> Sorter-cost: 1095 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09/10.18 c ---[1075]---> Adder-cost: 106 maxlim: 53248 bits: 17/16 10.09/10.19 c ---[1073]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 10.09/10.19 c ---[1071]---> Sorter-cost: 1213 Base: 2 2 2 2 2 2 2 2 2 2 7 10.19/10.20 c ---[1069]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 10.19/10.20 c ---[1067]---> Sorter-cost: 1077 Base: 2 2 2 2 2 2 2 2 2 2 7 10.19/10.21 c ---[1065]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 10.19/10.21 c ---[1063]---> Adder-cost: 148 maxlim: 74752 bits: 18/17 10.19/10.22 c ---[1061]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 10.19/10.23 c ---[1059]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 10.19/10.24 c ---[1057]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 10.19/10.25 c ---[1055]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 10.19/10.25 c ---[1053]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 10.19/10.26 c ---[1051]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 10.19/10.27 c ---[1049]---> Adder-cost: 138 maxlim: 67584 bits: 18/17 10.19/10.27 c ---[1047]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 10.19/10.28 c ---[1045]---> Sorter-cost: 1057 Base: 2 2 2 2 2 2 2 2 2 2 7 10.19/10.29 c ---[1043]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 10.19/10.29 c ---[1041]---> Sorter-cost: 1257 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.30 c ---[1039]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.30 c ---[1037]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.31 c ---[1035]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.31 c ---[1033]---> Sorter-cost: 438 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.31 c ---[1031]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.32 c ---[1029]---> Sorter-cost: 456 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.32 c ---[1027]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.32 c ---[1025]---> Sorter-cost: 395 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.32 c ---[1023]---> Sorter-cost: 735 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.33 c ---[1021]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.33 c ---[1019]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.33 c ---[1017]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.34 c ---[1015]---> Sorter-cost: 933 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.34 c ---[1013]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 10.29/10.35 c ---[1011]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 10.29/10.36 c ---[1009]---> Adder-cost: 136 maxlim: 68608 bits: 18/17 10.29/10.37 c ---[1007]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 10.29/10.37 c ---[1005]---> Sorter-cost: 659 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.38 c ---[1003]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29/10.38 c ---[1001]---> Adder-cost: 122 maxlim: 61440 bits: 17/16 10.29/10.39 c ---[ 999]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 10.29/10.40 c ---[ 997]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.40 c ---[ 995]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.40 c ---[ 993]---> Sorter-cost: 583 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.40 c ---[ 991]---> Sorter-cost: 650 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.41 c ---[ 989]---> Sorter-cost: 1115 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.41 c ---[ 987]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.42 c ---[ 985]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 10.39/10.42 c ---[ 983]---> Sorter-cost: 1259 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.43 c ---[ 981]---> Sorter-cost: 1059 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.43 c ---[ 979]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.44 c ---[ 977]---> Sorter-cost: 648 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.44 c ---[ 975]---> Sorter-cost: 530 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.44 c ---[ 973]---> Sorter-cost: 674 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.45 c ---[ 971]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.45 c ---[ 969]---> Sorter-cost: 1057 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.46 c ---[ 967]---> Sorter-cost: 929 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.46 c ---[ 965]---> Sorter-cost: 943 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.47 c ---[ 963]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.47 c ---[ 961]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.47 c ---[ 959]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.48 c ---[ 957]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.48 c ---[ 955]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.49 c ---[ 953]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39/10.49 c ---[ 951]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.50 c ---[ 949]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.50 c ---[ 947]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.50 c ---[ 945]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.51 c ---[ 943]---> Sorter-cost: 1240 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.51 c ---[ 941]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.52 c ---[ 939]---> Adder-cost: 118 maxlim: 59392 bits: 17/16 10.49/10.52 c ---[ 937]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 10.49/10.53 c ---[ 935]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.54 c ---[ 933]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.54 c ---[ 931]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.54 c ---[ 929]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.54 c ---[ 927]---> Sorter-cost: 700 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.55 c ---[ 925]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.55 c ---[ 923]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.55 c ---[ 921]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.56 c ---[ 919]---> Sorter-cost: 390 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.56 c ---[ 917]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.56 c ---[ 915]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.57 c ---[ 913]---> Sorter-cost: 977 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.57 c ---[ 911]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.58 c ---[ 909]---> Sorter-cost: 1089 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.58 c ---[ 907]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.59 c ---[ 905]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49/10.59 c ---[ 903]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.60 c ---[ 901]---> Sorter-cost: 690 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.60 c ---[ 899]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.61 c ---[ 897]---> Sorter-cost: 718 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.61 c ---[ 895]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.61 c ---[ 893]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 10.59/10.62 c ---[ 891]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 10.59/10.63 c ---[ 889]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.63 c ---[ 887]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.64 c ---[ 885]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.64 c ---[ 883]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.64 c ---[ 881]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.65 c ---[ 879]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.65 c ---[ 877]---> Sorter-cost: 729 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.65 c ---[ 875]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.66 c ---[ 873]---> Sorter-cost: 670 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.66 c ---[ 871]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.66 c ---[ 869]---> Sorter-cost: 546 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.67 c ---[ 867]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.67 c ---[ 865]---> Adder-cost: 108 maxlim: 53248 bits: 17/16 10.59/10.68 c ---[ 863]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 10.59/10.68 c ---[ 861]---> Adder-cost: 102 maxlim: 56320 bits: 17/16 10.59/10.69 c ---[ 859]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.69 c ---[ 857]---> Adder-cost: 166 maxlim: 82944 bits: 18/17 10.69/10.71 c ---[ 855]---> Adder-cost: 174 maxlim: 88064 bits: 18/17 10.69/10.72 c ---[ 853]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.72 c ---[ 851]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.72 c ---[ 849]---> Sorter-cost: 692 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.73 c ---[ 847]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.73 c ---[ 845]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.73 c ---[ 843]---> Sorter-cost: 641 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.74 c ---[ 841]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 10.69/10.74 c ---[ 839]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 10.69/10.75 c ---[ 837]---> Sorter-cost: 1305 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.76 c ---[ 835]---> Sorter-cost: 1247 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.76 c ---[ 833]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.77 c ---[ 831]---> Sorter-cost: 1255 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.77 c ---[ 829]---> Sorter-cost: 688 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.78 c ---[ 827]---> Sorter-cost: 771 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.78 c ---[ 825]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.78 c ---[ 823]---> Sorter-cost: 747 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.79 c ---[ 821]---> Sorter-cost: 697 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69/10.79 c ---[ 819]---> Sorter-cost: 879 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.80 c ---[ 817]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.80 c ---[ 815]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.80 c ---[ 813]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.80 c ---[ 811]---> Sorter-cost: 408 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.81 c ---[ 809]---> Sorter-cost: 405 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.81 c ---[ 807]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.82 c ---[ 805]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.82 c ---[ 803]---> Adder-cost: 108 maxlim: 53248 bits: 17/16 10.79/10.83 c ---[ 801]---> Sorter-cost: 735 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.83 c ---[ 799]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.83 c ---[ 797]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.84 c ---[ 795]---> Sorter-cost: 781 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.84 c ---[ 793]---> Sorter-cost: 1245 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.85 c ---[ 791]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.85 c ---[ 789]---> Sorter-cost: 422 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.85 c ---[ 787]---> Sorter-cost: 468 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.86 c ---[ 785]---> Adder-cost: 124 maxlim: 63488 bits: 17/16 10.79/10.87 c ---[ 783]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 10.79/10.87 c ---[ 781]---> Sorter-cost: 692 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.88 c ---[ 779]---> Sorter-cost: 646 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.88 c ---[ 777]---> Sorter-cost: 775 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.88 c ---[ 775]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.89 c ---[ 773]---> Sorter-cost: 1123 Base: 2 2 2 2 2 2 2 2 2 2 7 10.79/10.89 c ---[ 771]---> Sorter-cost: 1048 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.90 c ---[ 769]---> Sorter-cost: 591 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.90 c ---[ 767]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.90 c ---[ 765]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.91 c ---[ 763]---> Sorter-cost: 1050 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.91 c ---[ 761]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.92 c ---[ 759]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.92 c ---[ 757]---> Sorter-cost: 969 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.92 c ---[ 755]---> Sorter-cost: 649 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.93 c ---[ 753]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.93 c ---[ 751]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.93 c ---[ 749]---> Sorter-cost: 369 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.93 c ---[ 747]---> Adder-cost: 132 maxlim: 67584 bits: 18/17 10.89/10.94 c ---[ 745]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 10.89/10.95 c ---[ 743]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 10.89/10.96 c ---[ 741]---> Sorter-cost: 1024 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.97 c ---[ 739]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.97 c ---[ 737]---> Sorter-cost: 1279 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.98 c ---[ 735]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.98 c ---[ 733]---> Sorter-cost: 1149 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.99 c ---[ 731]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/10.99 c ---[ 729]---> Sorter-cost: 1219 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89/11.00 c ---[ 727]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 10.99/11.00 c ---[ 725]---> Sorter-cost: 1180 Base: 2 2 2 2 2 2 2 2 2 2 7 10.99/11.01 c ---[ 723]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 10.99/11.01 c ---[ 721]---> Adder-cost: 150 maxlim: 75776 bits: 18/17 10.99/11.02 c ---[ 719]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 10.99/11.03 c ---[ 717]---> Adder-cost: 156 maxlim: 78848 bits: 18/17 10.99/11.04 c ---[ 715]---> Adder-cost: 60 maxlim: 78848 bits: 18/17 10.99/11.05 c ---[ 713]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 10.99/11.06 c ---[ 711]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 10.99/11.06 c ---[ 709]---> Sorter-cost: 1263 Base: 2 2 2 2 2 2 2 2 2 2 7 10.99/11.07 c ---[ 707]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 10.99/11.07 c ---[ 705]---> Adder-cost: 118 maxlim: 61440 bits: 17/16 10.99/11.08 c ---[ 703]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 10.99/11.09 c ---[ 701]---> Sorter-cost: 1307 Base: 2 2 2 2 2 2 2 2 2 2 7 10.99/11.09 c ---[ 699]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 10.99/11.10 c ---[ 697]---> Sorter-cost: 1265 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.10 c ---[ 695]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.11 c ---[ 693]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.11 c ---[ 691]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.12 c ---[ 689]---> Sorter-cost: 688 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.12 c ---[ 687]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.13 c ---[ 685]---> Sorter-cost: 668 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.13 c ---[ 683]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.13 c ---[ 681]---> Sorter-cost: 775 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.14 c ---[ 679]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.14 c ---[ 677]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.14 c ---[ 675]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.15 c ---[ 673]---> Sorter-cost: 935 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.15 c ---[ 671]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.16 c ---[ 669]---> Sorter-cost: 686 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.16 c ---[ 667]---> Sorter-cost: 559 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09/11.16 c ---[ 665]---> Adder-cost: 174 maxlim: 91136 bits: 18/17 11.09/11.17 c ---[ 663]---> Adder-cost: 72 maxlim: 91136 bits: 18/17 11.09/11.19 c ---[ 661]---> Adder-cost: 190 maxlim: 101376 bits: 18/17 11.19/11.20 c ---[ 659]---> Adder-cost: 348 maxlim: 198656 bits: 19/18 11.19/11.22 c ---[ 657]---> Adder-cost: 116 maxlim: 198656 bits: 19/18 11.19/11.25 c ---[ 655]---> Adder-cost: 332 maxlim: 191488 bits: 19/18 11.19/11.27 c ---[ 653]---> Adder-cost: 104 maxlim: 191488 bits: 19/18 11.19/11.29 c ---[ 651]---> Adder-cost: 334 maxlim: 198656 bits: 19/18 11.29/11.32 c ---[ 649]---> Adder-cost: 116 maxlim: 198656 bits: 19/18 11.29/11.34 c ---[ 647]---> Adder-cost: 350 maxlim: 237568 bits: 19/18 11.29/11.37 c ---[ 645]---> Adder-cost: 128 maxlim: 237568 bits: 19/18 11.29/11.39 c ---[ 643]---> Adder-cost: 352 maxlim: 195584 bits: 19/18 11.39/11.42 c ---[ 641]---> Adder-cost: 108 maxlim: 195584 bits: 19/18 11.39/11.44 c ---[ 639]---> Adder-cost: 314 maxlim: 197632 bits: 19/18 11.39/11.46 c ---[ 637]---> Adder-cost: 330 maxlim: 196608 bits: 19/18 11.39/11.49 c ---[ 635]---> Adder-cost: 522 maxlim: 296960 bits: 20/19 11.49/11.52 c ---[ 633]---> Adder-cost: 512 maxlim: 292864 bits: 20/19 11.49/11.56 c ---[ 631]---> Adder-cost: 390 maxlim: 226304 bits: 19/18 11.49/11.59 c ---[ 629]---> Adder-cost: 498 maxlim: 291840 bits: 20/19 11.59/11.62 c ---[ 627]---> Adder-cost: 426 maxlim: 252928 bits: 19/18 11.59/11.65 c ---[ 625]---> Adder-cost: 434 maxlim: 259072 bits: 19/18 11.59/11.68 c ---[ 623]---> Adder-cost: 390 maxlim: 233472 bits: 19/18 11.69/11.71 c ---[ 621]---> Adder-cost: 320 maxlim: 200704 bits: 19/18 11.69/11.74 c ---[ 619]---> Adder-cost: 346 maxlim: 201728 bits: 19/18 11.69/11.76 c ---[ 617]---> Adder-cost: 114 maxlim: 201728 bits: 19/18 11.69/11.78 c ---[ 615]---> Adder-cost: 432 maxlim: 266240 bits: 20/19 11.79/11.82 c ---[ 613]---> Adder-cost: 142 maxlim: 266240 bits: 20/19 11.79/11.85 c ---[ 611]---> Adder-cost: 398 maxlim: 259072 bits: 19/18 11.79/11.88 c ---[ 609]---> Adder-cost: 124 maxlim: 259072 bits: 19/18 11.89/11.91 c ---[ 607]---> Adder-cost: 360 maxlim: 216064 bits: 19/18 11.89/11.94 c ---[ 605]---> Adder-cost: 116 maxlim: 216064 bits: 19/18 11.89/11.96 c ---[ 603]---> Adder-cost: 248 maxlim: 149504 bits: 19/18 11.89/11.98 c ---[ 601]---> Adder-cost: 92 maxlim: 149504 bits: 19/18 11.99/12.00 c ---[ 599]---> Adder-cost: 92 maxlim: 149504 bits: 19/18 11.99/12.02 c ---[ 597]---> Adder-cost: 92 maxlim: 149504 bits: 19/18 11.99/12.04 c ---[ 595]---> Adder-cost: 160 maxlim: 90112 bits: 18/17 11.99/12.05 c ---[ 593]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 11.99/12.06 c ---[ 591]---> Adder-cost: 138 maxlim: 84992 bits: 18/17 11.99/12.07 c ---[ 589]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 11.99/12.08 c ---[ 587]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 11.99/12.10 c ---[ 585]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 12.09/12.11 c ---[ 583]---> Adder-cost: 104 maxlim: 77824 bits: 18/17 12.09/12.12 c ---[ 581]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 12.09/12.13 c ---[ 579]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 12.09/12.14 c ---[ 577]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 12.09/12.15 c ---[ 575]---> Adder-cost: 104 maxlim: 62464 bits: 17/16 12.09/12.15 c ---[ 573]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 12.09/12.16 c ---[ 571]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 12.09/12.17 c ---[ 569]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 12.09/12.18 c ---[ 567]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.18 c ---[ 565]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.18 c ---[ 563]---> Sorter-cost: 933 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.19 c ---[ 561]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.19 c ---[ 559]---> Sorter-cost: 572 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.20 c ---[ 557]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.20 c ---[ 555]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09/12.20 c ---[ 553]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.21 c ---[ 551]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.21 c ---[ 549]---> Sorter-cost: 690 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.21 c ---[ 547]---> Sorter-cost: 704 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.22 c ---[ 545]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.22 c ---[ 543]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.22 c ---[ 541]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.23 c ---[ 539]---> Sorter-cost: 877 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.23 c ---[ 537]---> Sorter-cost: 1080 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.24 c ---[ 535]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.24 c ---[ 533]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 12.19/12.25 c ---[ 531]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 12.19/12.25 c ---[ 529]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.26 c ---[ 527]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19/12.26 c ---[ 525]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 12.19/12.27 c ---[ 523]---> Adder-cost: 102 maxlim: 54272 bits: 17/16 12.19/12.28 c ---[ 521]---> Adder-cost: 170 maxlim: 86016 bits: 18/17 12.19/12.29 c ---[ 519]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 12.29/12.30 c ---[ 517]---> Adder-cost: 164 maxlim: 83968 bits: 18/17 12.29/12.31 c ---[ 515]---> Adder-cost: 144 maxlim: 79872 bits: 18/17 12.29/12.32 c ---[ 513]---> Adder-cost: 122 maxlim: 62464 bits: 17/16 12.29/12.33 c ---[ 511]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 12.29/12.33 c ---[ 509]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 12.29/12.34 c ---[ 507]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 12.29/12.34 c ---[ 505]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 12.29/12.34 c ---[ 503]---> Sorter-cost: 1183 Base: 2 2 2 2 2 2 2 2 2 2 7 12.29/12.34 c ---[ 501]---> Sorter-cost: 1023 Base: 2 2 2 2 2 2 2 2 2 2 7 12.29/12.35 c ---[ 499]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 12.29/12.35 c ---[ 497]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 12.29/12.36 c ---[ 495]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 12.29/12.37 c ---[ 493]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 12.29/12.37 c ---[ 491]---> Sorter-cost: 568 Base: 2 2 2 2 2 2 2 2 2 2 7 12.29/12.38 c ---[ 489]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 12.29/12.38 c ---[ 487]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 12.29/12.38 c ---[ 485]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 12.29/12.39 c ---[ 483]---> Sorter-cost: 654 Base: 2 2 2 2 2 2 2 2 2 2 7 12.29/12.39 c ---[ 481]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 12.29/12.39 c ---[ 479]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 12.39/12.40 c ---[ 477]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 12.39/12.40 c ---[ 475]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 7 12.39/12.41 c ---[ 473]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 12.39/12.41 c ---[ 471]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 12.39/12.42 c ---[ 469]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 12.39/12.43 c ---[ 467]---> Adder-cost: 118 maxlim: 59392 bits: 17/16 12.39/12.43 c ---[ 465]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 12.39/12.44 c ---[ 463]---> Adder-cost: 134 maxlim: 66560 bits: 18/17 12.39/12.45 c ---[ 461]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 12.39/12.46 c ---[ 459]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 12.39/12.46 c ---[ 457]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 12.39/12.47 c ---[ 455]---> Sorter-cost: 1153 Base: 2 2 2 2 2 2 2 2 2 2 7 12.39/12.47 c ---[ 453]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 12.39/12.48 c ---[ 451]---> Adder-cost: 154 maxlim: 75776 bits: 18/17 12.39/12.49 c ---[ 449]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 12.49/12.50 c ---[ 447]---> Adder-cost: 154 maxlim: 80896 bits: 18/17 12.49/12.51 c ---[ 445]---> Adder-cost: 62 maxlim: 80896 bits: 18/17 12.49/12.52 c ---[ 443]---> Adder-cost: 140 maxlim: 65536 bits: 18/17 12.49/12.53 c ---[ 441]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 12.49/12.54 c ---[ 439]---> Adder-cost: 160 maxlim: 80896 bits: 18/17 12.49/12.55 c ---[ 437]---> Adder-cost: 62 maxlim: 80896 bits: 18/17 12.49/12.56 c ---[ 435]---> Sorter-cost: 993 Base: 2 2 2 2 2 2 2 2 2 2 7 12.49/12.56 c ---[ 433]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 12.49/12.57 c ---[ 431]---> Sorter-cost: 305 Base: 2 2 2 2 2 2 2 2 2 2 2 12.49/12.57 c ---[ 429]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 12.49/12.57 c ---[ 427]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 12.49/12.57 c ---[ 425]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 12.49/12.58 c ---[ 423]---> Sorter-cost: 985 Base: 2 2 2 2 2 2 2 2 2 2 7 12.49/12.58 c ---[ 421]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 12.49/12.59 c ---[ 419]---> Sorter-cost: 947 Base: 2 2 2 2 2 2 2 2 2 2 7 12.49/12.59 c ---[ 417]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 12.49/12.60 c ---[ 415]---> Sorter-cost: 921 Base: 2 2 2 2 2 2 2 2 2 2 7 12.59/12.60 c ---[ 413]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 12.59/12.60 c ---[ 411]---> Adder-cost: 140 maxlim: 65536 bits: 18/17 12.59/12.61 c ---[ 409]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 12.59/12.62 c ---[ 407]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 12.59/12.63 c ---[ 405]---> Sorter-cost: 632 Base: 2 2 2 2 2 2 2 2 2 2 7 12.59/12.63 c ---[ 403]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 12.59/12.64 c ---[ 401]---> Sorter-cost: 676 Base: 2 2 2 2 2 2 2 2 2 2 7 12.59/12.64 c ---[ 399]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 12.59/12.64 c ---[ 397]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 12.59/12.65 c ---[ 395]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 12.59/12.66 c ---[ 393]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 12.59/12.66 c ---[ 391]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 12.59/12.67 c ---[ 389]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 12.59/12.67 c ---[ 387]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 12.59/12.68 c ---[ 385]---> Adder-cost: 142 maxlim: 67584 bits: 18/17 12.59/12.69 c ---[ 383]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 12.69/12.70 c ---[ 381]---> Adder-cost: 138 maxlim: 71680 bits: 18/17 12.69/12.71 c ---[ 379]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 12.69/12.72 c ---[ 377]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 12.69/12.72 c ---[ 375]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 12.69/12.72 c ---[ 373]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 12.69/12.73 c ---[ 371]---> Adder-cost: 114 maxlim: 63488 bits: 17/16 12.69/12.73 c ---[ 369]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 12.69/12.74 c ---[ 367]---> Sorter-cost: 1303 Base: 2 2 2 2 2 2 2 2 2 2 7 12.69/12.75 c ---[ 365]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 12.69/12.75 c ---[ 363]---> Sorter-cost: 464 Base: 2 2 2 2 2 2 2 2 2 2 7 12.69/12.75 c ---[ 361]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 12.69/12.76 c ---[ 359]---> Sorter-cost: 609 Base: 2 2 2 2 2 2 2 2 2 2 7 12.69/12.76 c ---[ 357]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 12.69/12.76 c ---[ 355]---> Adder-cost: 108 maxlim: 53248 bits: 17/16 12.69/12.77 c ---[ 353]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 12.69/12.78 c ---[ 351]---> Adder-cost: 116 maxlim: 57344 bits: 17/16 12.69/12.78 c ---[ 349]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 12.69/12.79 c ---[ 347]---> Adder-cost: 138 maxlim: 66560 bits: 18/17 12.79/12.80 c ---[ 345]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 12.79/12.81 c ---[ 343]---> Sorter-cost: 1251 Base: 2 2 2 2 2 2 2 2 2 2 7 12.79/12.81 c ---[ 341]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 12.79/12.82 c ---[ 339]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 12.79/12.83 c ---[ 337]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 12.79/12.83 c ---[ 335]---> Adder-cost: 164 maxlim: 82944 bits: 18/17 12.79/12.84 c ---[ 333]---> Adder-cost: 68 maxlim: 82944 bits: 18/17 12.79/12.85 c ---[ 331]---> Adder-cost: 146 maxlim: 76800 bits: 18/17 12.79/12.86 c ---[ 329]---> Adder-cost: 62 maxlim: 76800 bits: 18/17 12.79/12.87 c ---[ 327]---> Adder-cost: 108 maxlim: 53248 bits: 17/16 12.79/12.88 c ---[ 325]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 12.79/12.89 c ---[ 323]---> Adder-cost: 114 maxlim: 57344 bits: 17/16 12.79/12.89 c ---[ 321]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 12.89/12.90 c ---[ 319]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 12.89/12.91 c ---[ 317]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 12.89/12.91 c ---[ 315]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.92 c ---[ 313]---> Sorter-cost: 602 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.92 c ---[ 311]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.92 c ---[ 309]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.93 c ---[ 307]---> Sorter-cost: 649 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.93 c ---[ 305]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.93 c ---[ 303]---> Sorter-cost: 630 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.94 c ---[ 301]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.94 c ---[ 299]---> Sorter-cost: 714 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.94 c ---[ 297]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.95 c ---[ 295]---> Sorter-cost: 860 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.95 c ---[ 293]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89/12.95 c ---[ 291]---> Adder-cost: 228 maxlim: 117760 bits: 18/17 12.89/12.97 c ---[ 289]---> Adder-cost: 76 maxlim: 117760 bits: 18/17 12.89/12.98 c ---[ 287]---> Adder-cost: 76 maxlim: 117760 bits: 18/17 12.99/13.00 c ---[ 285]---> Sorter-cost: 1085 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.00 c ---[ 283]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.01 c ---[ 281]---> Sorter-cost: 662 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.01 c ---[ 279]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.01 c ---[ 277]---> Sorter-cost: 1186 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.02 c ---[ 275]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.03 c ---[ 273]---> Adder-cost: 116 maxlim: 60416 bits: 17/16 12.99/13.03 c ---[ 271]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 12.99/13.04 c ---[ 269]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.04 c ---[ 267]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.05 c ---[ 265]---> Sorter-cost: 917 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.05 c ---[ 263]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.06 c ---[ 261]---> Sorter-cost: 1153 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.06 c ---[ 259]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.07 c ---[ 257]---> Sorter-cost: 959 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.07 c ---[ 255]---> Sorter-cost: 1238 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.08 c ---[ 253]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99/13.08 c ---[ 251]---> Adder-cost: 138 maxlim: 68608 bits: 18/17 12.99/13.09 c ---[ 249]---> Adder-cost: 126 maxlim: 69632 bits: 18/17 13.09/13.10 c ---[ 247]---> Adder-cost: 130 maxlim: 71680 bits: 18/17 13.09/13.11 c ---[ 245]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 13.09/13.12 c ---[ 243]---> Sorter-cost: 632 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.12 c ---[ 241]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.13 c ---[ 239]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.13 c ---[ 237]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.13 c ---[ 235]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 13.09/13.14 c ---[ 233]---> Adder-cost: 92 maxlim: 55296 bits: 17/16 13.09/13.15 c ---[ 231]---> Sorter-cost: 1307 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.15 c ---[ 229]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.16 c ---[ 227]---> Sorter-cost: 1149 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.16 c ---[ 225]---> Sorter-cost: 1123 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.17 c ---[ 223]---> Sorter-cost: 1136 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.17 c ---[ 221]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.18 c ---[ 219]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 13.09/13.18 c ---[ 217]---> Adder-cost: 82 maxlim: 54272 bits: 17/16 13.09/13.19 c ---[ 215]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.19 c ---[ 213]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.20 c ---[ 211]---> Sorter-cost: 904 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09/13.20 c ---[ 209]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 13.19/13.21 c ---[ 207]---> Sorter-cost: 945 Base: 2 2 2 2 2 2 2 2 2 2 7 13.19/13.21 c ---[ 205]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 13.19/13.22 c ---[ 203]---> Sorter-cost: 1024 Base: 2 2 2 2 2 2 2 2 2 2 7 13.19/13.22 c ---[ 201]---> Sorter-cost: 945 Base: 2 2 2 2 2 2 2 2 2 2 7 13.19/13.22 c ---[ 199]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 13.19/13.23 c ---[ 197]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 13.19/13.23 c ---[ 195]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 13.19/13.23 c ---[ 193]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 13.19/13.24 c ---[ 191]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 13.19/13.24 c ---[ 189]---> Adder-cost: 176 maxlim: 90112 bits: 18/17 13.19/13.25 c ---[ 187]---> Adder-cost: 104 maxlim: 91136 bits: 18/17 13.19/13.26 c ---[ 185]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 13.19/13.27 c ---[ 183]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 13.19/13.27 c ---[ 181]---> Sorter-cost: 464 Base: 2 2 2 2 2 2 2 2 2 2 7 13.19/13.27 c ---[ 179]---> Sorter-cost: 438 Base: 2 2 2 2 2 2 2 2 2 2 7 13.19/13.27 c ---[ 177]---> Sorter-cost: 1074 Base: 2 2 2 2 2 2 2 2 2 2 7 13.19/13.28 c ---[ 175]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 13.19/13.28 c ---[ 173]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 13.19/13.29 c ---[ 171]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 13.19/13.30 c ---[ 169]---> Adder-cost: 140 maxlim: 71680 bits: 18/17 13.29/13.31 c ---[ 167]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 13.29/13.31 c ---[ 165]---> Adder-cost: 110 maxlim: 57344 bits: 17/16 13.29/13.32 c ---[ 163]---> Adder-cost: 86 maxlim: 58368 bits: 17/16 13.29/13.33 c ---[ 161]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 13.29/13.33 c ---[ 159]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 13.29/13.34 c ---[ 157]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 13.29/13.35 c ---[ 155]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 7 13.29/13.35 c ---[ 153]---> Sorter-cost: 659 Base: 2 2 2 2 2 2 2 2 2 2 7 13.29/13.36 c ---[ 151]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 13.29/13.36 c ---[ 149]---> Sorter-cost: 572 Base: 2 2 2 2 2 2 2 2 2 2 7 13.29/13.36 c ---[ 147]---> Sorter-cost: 416 Base: 2 2 2 2 2 2 2 2 2 2 7 13.29/13.37 c ---[ 145]---> Sorter-cost: 435 Base: 2 2 2 2 2 2 2 2 2 2 7 13.29/13.37 c ---[ 143]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 13.29/13.37 c ---[ 141]---> Sorter-cost: 674 Base: 2 2 2 2 2 2 2 2 2 2 7 13.29/13.37 c ---[ 139]---> Sorter-cost: 611 Base: 2 2 2 2 2 2 2 2 2 2 7 13.29/13.38 c ---[ 137]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 13.29/13.38 c ---[ 135]---> Sorter-cost: 955 Base: 2 2 2 2 2 2 2 2 2 2 7 13.29/13.39 c ---[ 133]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 13.29/13.39 c ---[ 131]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 13.29/13.39 c ---[ 129]---> Sorter-cost: 659 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.40 c ---[ 127]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.40 c ---[ 125]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 13.38/13.41 c ---[ 123]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 13.38/13.41 c ---[ 121]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.42 c ---[ 119]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.42 c ---[ 117]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.43 c ---[ 115]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.43 c ---[ 113]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 13.38/13.44 c ---[ 111]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 13.38/13.44 c ---[ 109]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.45 c ---[ 107]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.45 c ---[ 105]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.46 c ---[ 103]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.46 c ---[ 101]---> Sorter-cost: 933 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.46 c ---[ 99]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.47 c ---[ 97]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.47 c ---[ 95]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.48 c ---[ 93]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.48 c ---[ 91]---> Sorter-cost: 443 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.49 c ---[ 89]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.49 c ---[ 87]---> Sorter-cost: 405 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38/13.49 c ---[ 85]---> Adder-cost: 110 maxlim: 55296 bits: 17/16 13.48/13.50 c ---[ 83]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 13.48/13.50 c ---[ 81]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 13.48/13.51 c ---[ 79]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 13.48/13.51 c ---[ 77]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 13.48/13.52 c ---[ 75]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 13.48/13.52 c ---[ 73]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 13.48/13.53 c ---[ 71]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 13.48/13.53 c ---[ 69]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 13.48/13.54 c ---[ 67]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 13.48/13.54 c ---[ 65]---> Sorter-cost: 735 Base: 2 2 2 2 2 2 2 2 2 2 7 13.48/13.54 c ---[ 63]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 13.48/13.54 c ---[ 61]---> Adder-cost: 112 maxlim: 58368 bits: 17/16 13.48/13.55 c ---[ 59]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 13.48/13.56 c ---[ 57]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 13.48/13.56 c ---[ 55]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 13.48/13.57 c ---[ 53]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 13.48/13.58 c ---[ 51]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 13.48/13.58 c ---[ 49]---> Sorter-cost: 647 Base: 2 2 2 2 2 2 2 2 2 2 7 13.48/13.58 c ---[ 47]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 13.48/13.59 c ---[ 45]---> Sorter-cost: 638 Base: 2 2 2 2 2 2 2 2 2 2 7 13.48/13.59 c ---[ 43]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 13.48/13.59 c ---[ 41]---> Sorter-cost: 731 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.60 c ---[ 39]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.60 c ---[ 37]---> Adder-cost: 136 maxlim: 65536 bits: 18/17 13.58/13.61 c ---[ 35]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 13.58/13.62 c ---[ 33]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 13.58/13.63 c ---[ 31]---> Sorter-cost: 653 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.63 c ---[ 29]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.63 c ---[ 27]---> Sorter-cost: 1246 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.64 c ---[ 25]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.64 c ---[ 23]---> Sorter-cost: 1248 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.65 c ---[ 21]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.66 c ---[ 19]---> Sorter-cost: 997 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.66 c ---[ 17]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.67 c ---[ 15]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.67 c ---[ 13]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.67 c ---[ 11]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.68 c ---[ 9]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 13.58/13.68 c ---[ 8]---> 1800.01/1800.30 c *** TERMINATED *** 1800.01/1800.30 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4114362-1467020947/watcher-4114362-1467020947 -o /tmp/evaluation-result-4114362-1467020947/solver-4114362-1467020947 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467019389-27584 --watchdog 1960 -S 80 minisatp HOME/instance-4114362-1467020947.opb pid=27718 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing Stack size limit: 81920 KiB Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 81920 KiB [startup+0 s] /proc/loadavg: 5.44 4.27 2.69 3/177 27721 /proc/meminfo: memFree=24596540/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=6884 CPUtime=0 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 35133644 7049216 268 33554432000 4194304 5646918 140734042814224 140735185006632 4953072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 1721 268 84 355 0 1362 0 [startup+0.100165 s] /proc/loadavg: 5.44 4.27 2.69 3/177 27721 /proc/meminfo: memFree=24596540/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=15988 CPUtime=0.09 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 2674 0 0 0 9 0 0 0 20 0 1 0 35133644 16371712 2425 33554432000 4194304 5646918 140734042814224 140735185006632 4953072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 3997 2428 84 355 0 3638 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15988 [startup+0.200383 s] /proc/loadavg: 5.44 4.27 2.69 3/177 27721 /proc/meminfo: memFree=24596540/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=27516 CPUtime=0.19 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 5639 0 0 0 18 1 0 0 20 0 1 0 35133644 28176384 5083 33554432000 4194304 5646918 140734042814224 140735185006632 4953072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 6879 5083 97 355 0 6520 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 27516 [startup+0.30037 s] /proc/loadavg: 5.44 4.27 2.69 3/177 27721 /proc/meminfo: memFree=24596540/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=29236 CPUtime=0.29 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 5966 0 0 0 28 1 0 0 20 0 1 0 35133644 29937664 5410 33554432000 4194304 5646918 140734042814224 140734042813592 4829229 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 7309 5410 97 355 0 6950 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29236 [startup+0.70025 s] /proc/loadavg: 5.44 4.27 2.69 3/177 27721 /proc/meminfo: memFree=24596540/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=38460 CPUtime=0.69 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 7939 0 0 0 68 1 0 0 20 0 1 0 35133644 39383040 7383 33554432000 4194304 5646918 140734042814224 140734042813592 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 9615 7383 97 355 0 9256 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38460 [startup+1.50019 s] /proc/loadavg: 5.44 4.27 2.69 3/178 27722 /proc/meminfo: memFree=24556624/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=60356 CPUtime=1.49 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 14329 0 0 0 146 3 0 0 20 0 1 0 35133644 61804544 12409 33554432000 4194304 5646918 140734042814224 140734042813592 4953072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 15089 12409 97 355 0 14730 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 60356 [startup+3.10021 s] /proc/loadavg: 5.44 4.27 2.69 3/178 27722 /proc/meminfo: memFree=24532940/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=80856 CPUtime=3.09 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 21363 0 0 0 305 4 0 0 20 0 1 0 35133644 82796544 16771 33554432000 4194304 5646918 140734042814224 140734042812888 4832093 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 20214 16771 154 355 0 19855 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 80856 [startup+6.30025 s] /proc/loadavg: 5.24 4.25 2.69 3/178 27722 /proc/meminfo: memFree=24525096/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=97292 CPUtime=6.29 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 24653 0 0 0 624 5 0 0 20 0 1 0 35133644 99627008 20639 33554432000 4194304 5646918 140734042814224 140734042812888 4823258 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 24323 20639 154 355 0 23964 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 97292 [startup+12.7002 s] /proc/loadavg: 4.98 4.21 2.69 3/178 27722 /proc/meminfo: memFree=24477588/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=138080 CPUtime=12.69 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 31616 0 0 0 1262 7 0 0 20 0 1 0 35133644 141393920 31098 33554432000 4194304 5646918 140734042814224 140734042812888 4817397 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 34520 31098 154 355 0 34161 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 138080 [startup+25.5004 s] /proc/loadavg: 4.32 4.10 2.67 3/178 27722 /proc/meminfo: memFree=24229288/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=392736 CPUtime=25.49 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 81482 0 0 0 2533 16 0 0 20 0 1 0 35133644 402161664 93576 33554432000 4194304 5646918 140734042814224 140734030976648 4832065 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 98184 93576 154 355 0 97825 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 392736 [startup+51.1004 s] /proc/loadavg: 3.66 3.97 2.67 3/178 27722 /proc/meminfo: memFree=23705188/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=924480 CPUtime=51.09 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 177687 0 0 0 5072 37 0 0 20 0 1 0 35133644 946667520 225434 33554432000 4194304 5646918 140734042814224 140734030550648 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 231120 225434 154 355 0 230761 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 924480 [startup+102.3 s] /proc/loadavg: 2.83 3.69 2.64 3/178 27726 /proc/meminfo: memFree=22802376/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=1802176 CPUtime=102.28 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 355507 0 0 0 10156 72 0 0 20 0 1 0 35133644 1845428224 444876 33554432000 4194304 5646918 140734042814224 140734029123448 4823826 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 450544 444876 154 355 0 450185 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1802176 [startup+162.3 s] /proc/loadavg: 2.39 3.41 2.61 3/177 27727 /proc/meminfo: memFree=22124432/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=2475508 CPUtime=162.26 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 523920 0 0 0 16125 101 0 0 20 0 1 0 35133644 2534920192 613289 33554432000 4194304 5646918 140734042814224 140734030589448 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 618877 613289 154 355 0 618518 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 2475508 [startup+222.307 s] /proc/loadavg: 2.21 3.18 2.58 4/177 27728 /proc/meminfo: memFree=21249876/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3322744 CPUtime=222.26 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 652348 0 0 0 22090 136 0 0 20 0 1 0 35133644 3402489856 826495 33554432000 4194304 5646918 140734042814224 140734029652648 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 830686 826495 154 355 0 830327 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 3322744 [startup+282.3 s] /proc/loadavg: 2.23 3.01 2.55 3/177 27785 /proc/meminfo: memFree=25823804/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3683764 CPUtime=282.24 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742599 0 0 0 28069 155 0 0 20 0 1 0 35133644 3772174336 917654 33554432000 4194304 5646918 140734042814224 140734033849368 4832083 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 920941 917654 154 355 0 920582 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 3683764 [startup+342.3 s] /proc/loadavg: 2.24 2.87 2.53 3/177 27786 /proc/meminfo: memFree=26080656/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=342.23 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742599 0 0 0 34068 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4824670 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 3008860 [startup+402.3 s] /proc/loadavg: 2.13 2.72 2.50 4/177 27788 /proc/meminfo: memFree=26122524/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=402.22 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742599 0 0 0 40067 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4310114 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 3008860 [startup+462.3 s] /proc/loadavg: 2.18 2.63 2.48 3/177 27789 /proc/meminfo: memFree=26121708/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=462.21 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742600 0 0 0 46066 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4823232 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 3008860 [startup+522.3 s] /proc/loadavg: 2.24 2.56 2.46 3/177 27790 /proc/meminfo: memFree=26120368/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=522.2 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742600 0 0 0 52065 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4823374 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 3008860 [startup+582.3 s] /proc/loadavg: 2.21 2.50 2.45 4/177 27791 /proc/meminfo: memFree=26120408/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=582.2 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742600 0 0 0 58065 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4831247 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 3008860 ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.39 2.35 2.38 4/177 27824 /proc/meminfo: memFree=23406812/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=942.14 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742600 0 0 0 94059 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4831393 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 942.14 Current children cumulated vsize (KiB) 3008860 [startup+1002.3 s] /proc/loadavg: 2.28 2.33 2.36 3/177 27825 /proc/meminfo: memFree=23407144/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=1002.13 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742600 0 0 0 100058 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4817528 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 1002.13 Current children cumulated vsize (KiB) 3008860 [startup+1062.3 s] /proc/loadavg: 2.16 2.28 2.35 3/177 27827 /proc/meminfo: memFree=23063744/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=1062.12 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742600 0 0 0 106057 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4560688 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 3008860 [startup+1122.3 s] /proc/loadavg: 2.10 2.24 2.33 4/177 27828 /proc/meminfo: memFree=22163264/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=1122.11 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742600 0 0 0 112056 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4823315 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 3008860 [startup+1182.3 s] /proc/loadavg: 2.18 2.24 2.32 3/177 27829 /proc/meminfo: memFree=20340336/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=1182.1 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742600 0 0 0 118055 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4819040 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 3008860 [startup+1242.3 s] /proc/loadavg: 2.30 2.25 2.32 4/177 27830 /proc/meminfo: memFree=17653500/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=1242.09 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742600 0 0 0 124054 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4831241 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 3008860 [startup+1302.3 s] /proc/loadavg: 2.27 2.26 2.32 4/178 27834 /proc/meminfo: memFree=17073240/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=1302.09 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742600 0 0 0 130054 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4832125 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 3008860 [startup+1362.3 s] /proc/loadavg: 2.31 2.27 2.31 3/177 27836 /proc/meminfo: memFree=23023108/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=1362.08 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742600 0 0 0 136053 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4817614 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 3008860 [startup+1422.3 s] /proc/loadavg: 2.36 2.28 2.31 3/177 27837 /proc/meminfo: memFree=23022688/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=1422.07 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742600 0 0 0 142052 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4463254 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 3008860 [startup+1482.3 s] /proc/loadavg: 2.23 2.26 2.30 4/177 27838 /proc/meminfo: memFree=22846020/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=1482.06 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742600 0 0 0 148051 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4310938 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 3008860 [startup+1542.31 s] /proc/loadavg: 2.22 2.25 2.29 3/177 27839 /proc/meminfo: memFree=21821800/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=1542.06 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742600 0 0 0 154051 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4817546 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 3008860 [startup+1602.3 s] /proc/loadavg: 2.27 2.26 2.29 3/177 27840 /proc/meminfo: memFree=23050400/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=1602.04 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742600 0 0 0 160049 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4309377 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 3008860 [startup+1662.3 s] /proc/loadavg: 2.25 2.26 2.28 4/177 27842 /proc/meminfo: memFree=23050100/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=1662.03 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742601 0 0 0 166048 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4824645 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 3008860 [startup+1722.3 s] /proc/loadavg: 2.28 2.27 2.28 3/177 27843 /proc/meminfo: memFree=21937484/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=1722.02 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742601 0 0 0 172047 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4832129 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 3008860 [startup+1782.3 s] /proc/loadavg: 2.28 2.28 2.28 4/177 27844 /proc/meminfo: memFree=20224328/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=1782.01 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742601 0 0 0 178046 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4817360 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 3008860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.28 2.27 2.28 4/177 27844 /proc/meminfo: memFree=23023392/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=1800.01 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742601 0 0 0 179846 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4817614 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 3008860 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 27721 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.28 2.27 2.28 4/177 27844 /proc/meminfo: memFree=23023392/32872528 swapFree=1490384/1645728 [pid=27721] ppid=27718 vsize=3008860 CPUtime=1800.01 cores=1,3,5,7 /proc/27721/stat : 27721 (minisatp) R 27718 27721 27567 0 -1 4202496 742601 0 0 0 179846 155 0 0 20 0 1 0 35133644 3081072640 748928 33554432000 4194304 5646918 140734042814224 140734042812984 4817614 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/27721/statm: 752215 748928 154 355 0 751856 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 3008860 Child status: 0 Real time (s): 1800.33 CPU time (s): 1800.05 CPU user time (s): 1798.46 CPU system time (s): 1.58876 CPU usage (%): 99.9845 Max. virtual memory (cumulated for all children) (KiB): 3683764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.46 system time used= 1.58876 maximum resident set size= 3670616 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 742601 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= 7 involuntary context switches= 1860 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.47232 second user time and 7.05693 second system time The end
Begin job on node124 at 2016-06-27 11:49:07 IDJOB=4114362 IDBENCH=2363 IDSOLVER=2555 FILE ID=node124/4114362-1467020947 RUNJOBID= node124-1467019389-27584 PBS_JOBID= 19976968 Free space on /tmp= 71720 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1c.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114362-1467020947/watcher-4114362-1467020947 -o /tmp/evaluation-result-4114362-1467020947/solver-4114362-1467020947 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467019389-27584 --watchdog 1960 -S 80 minisatp HOME/instance-4114362-1467020947.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= aae7296985adde1f17776b4f5ad45572 RANDOM SEED=1381036699 node124.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 24597284 kB Buffers: 23828 kB Cached: 45828 kB SwapCached: 1144 kB Active: 5448744 kB Inactive: 411924 kB Active(anon): 5388600 kB Inactive(anon): 404436 kB Active(file): 60144 kB Inactive(file): 7488 kB Unevictable: 1645728 kB Mlocked: 1490384 kB SwapTotal: 67108856 kB SwapFree: 67099212 kB Dirty: 14980 kB Writeback: 0 kB AnonPages: 7445932 kB Mapped: 7788 kB Shmem: 0 kB Slab: 612892 kB SReclaimable: 56188 kB SUnreclaim: 556704 kB KernelStack: 1464 kB PageTables: 18284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 7617272 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2971648 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4114362-1467020947.opb Free space on /tmp at the end= 71436 MiB End job on node124 at 2016-06-27 12:19:08