Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | Signal | 596.752 | 596.951 |
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 | SAT |
Best value of the objective obtained on this benchmark | 17863355069035520 |
Best CPU time to get the best result obtained on this benchmark | 1804.91 |
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 c Parsing PB file... 4.40 c Converting 3282 PB-constraints to clauses... 4.42 c -- Unit propagations: (none) 4.44 c -- Detecting intervals from adjacent constraints: #################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################### 4.50 c -- Clauses(.)/Splits(s): ssssssss 4.72 c ---[3288]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 4.72 c ---[3286]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 4.73 c ---[3284]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 4.74 c ---[3282]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 4.75 c ---[3280]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 4.76 c ---[3278]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 4.76 c ---[3276]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 4.77 c ---[3274]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 4.77 c ---[3272]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 4.78 c ---[3270]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 4.79 c ---[3268]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 4.80 c ---[3266]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 4.81 c ---[3264]---> Sorter-cost: 983 Base: 2 2 2 2 2 2 2 2 2 2 7 4.82 c ---[3262]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 4.82 c ---[3260]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 4.84 c ---[3258]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 4.85 c ---[3256]---> Sorter-cost: 628 Base: 2 2 2 2 2 2 2 2 2 2 7 4.85 c ---[3254]---> Sorter-cost: 686 Base: 2 2 2 2 2 2 2 2 2 2 7 4.86 c ---[3252]---> Sorter-cost: 1085 Base: 2 2 2 2 2 2 2 2 2 2 7 4.87 c ---[3250]---> Sorter-cost: 865 Base: 2 2 2 2 2 2 2 2 2 2 7 4.88 c ---[3248]---> Sorter-cost: 727 Base: 2 2 2 2 2 2 2 2 2 2 7 4.88 c ---[3246]---> Sorter-cost: 765 Base: 2 2 2 2 2 2 2 2 2 2 7 4.89 c ---[3244]---> Adder-cost: 176 maxlim: 87040 bits: 18/17 4.91 c ---[3242]---> Adder-cost: 66 maxlim: 87040 bits: 18/17 4.94 c ---[3240]---> Adder-cost: 112 maxlim: 59392 bits: 17/16 4.95 c ---[3238]---> Adder-cost: 96 maxlim: 51200 bits: 17/16 4.96 c ---[3236]---> Adder-cost: 148 maxlim: 71680 bits: 18/17 4.98 c ---[3234]---> Adder-cost: 142 maxlim: 70656 bits: 18/17 5.00 c ---[3232]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 5.01 c ---[3230]---> Sorter-cost: 741 Base: 2 2 2 2 2 2 2 2 2 2 7 5.02 c ---[3228]---> Sorter-cost: 674 Base: 2 2 2 2 2 2 2 2 2 2 7 5.02 c ---[3226]---> Sorter-cost: 428 Base: 2 2 2 2 2 2 2 2 2 2 7 5.03 c ---[3224]---> Sorter-cost: 645 Base: 2 2 2 2 2 2 2 2 2 2 7 5.04 c ---[3222]---> Sorter-cost: 678 Base: 2 2 2 2 2 2 2 2 2 2 7 5.04 c ---[3220]---> Sorter-cost: 1188 Base: 2 2 2 2 2 2 2 2 2 2 7 5.06 c ---[3218]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 5.07 c ---[3216]---> Sorter-cost: 1034 Base: 2 2 2 2 2 2 2 2 2 2 7 5.08 c ---[3214]---> Sorter-cost: 1046 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09 c ---[3212]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 5.09 c ---[3210]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 5.10 c ---[3208]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 5.11 c ---[3206]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 5.12 c ---[3204]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 5.13 c ---[3202]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 5.14 c ---[3200]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 5.15 c ---[3198]---> Sorter-cost: 1225 Base: 2 2 2 2 2 2 2 2 2 2 7 5.16 c ---[3196]---> Sorter-cost: 1076 Base: 2 2 2 2 2 2 2 2 2 2 7 5.17 c ---[3194]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 5.18 c ---[3192]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 5.19 c ---[3190]---> Adder-cost: 76 maxlim: 51200 bits: 17/16 5.20 c ---[3188]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 5.21 c ---[3186]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 5.22 c ---[3184]---> Sorter-cost: 641 Base: 2 2 2 2 2 2 2 2 2 2 7 5.22 c ---[3182]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 5.23 c ---[3180]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 5.24 c ---[3178]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 5.24 c ---[3176]---> Sorter-cost: 1215 Base: 2 2 2 2 2 2 2 2 2 2 7 5.25 c ---[3174]---> Sorter-cost: 1065 Base: 2 2 2 2 2 2 2 2 2 2 7 5.26 c ---[3172]---> Sorter-cost: 955 Base: 2 2 2 2 2 2 2 2 2 2 7 5.27 c ---[3170]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29 c ---[3168]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29 c ---[3166]---> Sorter-cost: 660 Base: 2 2 2 2 2 2 2 2 2 2 7 5.30 c ---[3164]---> Sorter-cost: 761 Base: 2 2 2 2 2 2 2 2 2 2 7 5.31 c ---[3162]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 5.32 c ---[3160]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 5.33 c ---[3158]---> Sorter-cost: 923 Base: 2 2 2 2 2 2 2 2 2 2 7 5.34 c ---[3156]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 5.34 c ---[3154]---> Sorter-cost: 583 Base: 2 2 2 2 2 2 2 2 2 2 7 5.35 c ---[3152]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 5.36 c ---[3150]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 5.36 c ---[3148]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 5.36 c ---[3146]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 5.38 c ---[3144]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39 c ---[3142]---> Sorter-cost: 688 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39 c ---[3140]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 5.40 c ---[3138]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 5.41 c ---[3136]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 5.42 c ---[3134]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 5.42 c ---[3132]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 5.43 c ---[3130]---> Adder-cost: 146 maxlim: 70656 bits: 18/17 5.45 c ---[3128]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 5.46 c ---[3126]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 5.47 c ---[3124]---> Adder-cost: 120 maxlim: 62464 bits: 17/16 5.49 c ---[3122]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 5.50 c ---[3120]---> Adder-cost: 132 maxlim: 67584 bits: 18/17 5.52 c ---[3118]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 5.54 c ---[3116]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 5.55 c ---[3114]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 5.56 c ---[3112]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 5.57 c ---[3110]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 5.57 c ---[3108]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 5.58 c ---[3106]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 5.58 c ---[3104]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59 c ---[3102]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 5.60 c ---[3100]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 5.61 c ---[3098]---> Sorter-cost: 645 Base: 2 2 2 2 2 2 2 2 2 2 7 5.61 c ---[3096]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 5.62 c ---[3094]---> Adder-cost: 178 maxlim: 88064 bits: 18/17 5.64 c ---[3092]---> Adder-cost: 68 maxlim: 88064 bits: 18/17 5.66 c ---[3090]---> Adder-cost: 138 maxlim: 86016 bits: 18/17 5.69 c ---[3088]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 5.71 c ---[3086]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 5.72 c ---[3084]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 5.73 c ---[3082]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 5.74 c ---[3080]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 5.75 c ---[3078]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 5.76 c ---[3076]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 5.77 c ---[3074]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79 c ---[3072]---> Sorter-cost: 1181 Base: 2 2 2 2 2 2 2 2 2 2 7 5.80 c ---[3070]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 5.81 c ---[3068]---> Adder-cost: 120 maxlim: 60416 bits: 17/16 5.82 c ---[3066]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 5.84 c ---[3064]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 5.85 c ---[3062]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 5.86 c ---[3060]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 5.87 c ---[3058]---> Sorter-cost: 943 Base: 2 2 2 2 2 2 2 2 2 2 7 5.88 c ---[3056]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89 c ---[3054]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 5.90 c ---[3052]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 5.91 c ---[3050]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 5.92 c ---[3048]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 5.93 c ---[3046]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 5.93 c ---[3044]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 5.94 c ---[3042]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 5.94 c ---[3040]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 5.95 c ---[3038]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 5.96 c ---[3036]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 5.97 c ---[3034]---> Sorter-cost: 1081 Base: 2 2 2 2 2 2 2 2 2 2 7 6.00 c ---[3032]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 6.01 c ---[3030]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 6.03 c ---[3028]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 6.04 c ---[3026]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 6.05 c ---[3024]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 6.06 c ---[3022]---> Sorter-cost: 1171 Base: 2 2 2 2 2 2 2 2 2 2 7 6.07 c ---[3020]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 6.08 c ---[3018]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 6.09 c ---[3016]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 6.11 c ---[3014]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 6.12 c ---[3012]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 6.13 c ---[3010]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 6.15 c ---[3008]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 6.16 c ---[3006]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 6.17 c ---[3004]---> Sorter-cost: 1236 Base: 2 2 2 2 2 2 2 2 2 2 7 6.18 c ---[3002]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19 c ---[3000]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 6.20 c ---[2998]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 6.22 c ---[2996]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 6.23 c ---[2994]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 6.24 c ---[2992]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 6.25 c ---[2990]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 6.26 c ---[2988]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 6.26 c ---[2986]---> Sorter-cost: 917 Base: 2 2 2 2 2 2 2 2 2 2 7 6.27 c ---[2984]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 6.28 c ---[2982]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 6.29 c ---[2980]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 6.29 c ---[2978]---> Sorter-cost: 589 Base: 2 2 2 2 2 2 2 2 2 2 7 6.30 c ---[2976]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 6.30 c ---[2974]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 6.32 c ---[2972]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 6.32 c ---[2970]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 6.33 c ---[2968]---> Sorter-cost: 253 Base: 2 2 2 2 2 2 2 2 2 2 2 6.33 c ---[2966]---> Adder-cost: 156 maxlim: 76800 bits: 18/17 6.35 c ---[2964]---> Adder-cost: 62 maxlim: 76800 bits: 18/17 6.37 c ---[2962]---> Adder-cost: 198 maxlim: 109568 bits: 18/17 6.40 c ---[2960]---> Adder-cost: 132 maxlim: 66560 bits: 18/17 6.42 c ---[2958]---> Adder-cost: 78 maxlim: 109568 bits: 18/17 6.44 c ---[2956]---> Adder-cost: 396 maxlim: 205824 bits: 19/18 6.49 c ---[2954]---> Adder-cost: 116 maxlim: 205824 bits: 19/18 6.54 c ---[2952]---> Adder-cost: 396 maxlim: 209920 bits: 19/18 6.59 c ---[2950]---> Adder-cost: 112 maxlim: 209920 bits: 19/18 6.64 c ---[2948]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 6.66 c ---[2946]---> Adder-cost: 276 maxlim: 161792 bits: 19/18 6.70 c ---[2944]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 6.74 c ---[2942]---> Adder-cost: 334 maxlim: 190464 bits: 19/18 6.79 c ---[2940]---> Adder-cost: 106 maxlim: 190464 bits: 19/18 6.83 c ---[2938]---> Adder-cost: 414 maxlim: 236544 bits: 19/18 6.89 c ---[2936]---> Adder-cost: 90 maxlim: 58368 bits: 17/16 6.90 c ---[2934]---> Adder-cost: 124 maxlim: 236544 bits: 19/18 6.96 c ---[2932]---> Adder-cost: 452 maxlim: 246784 bits: 19/18 7.02 c ---[2930]---> Adder-cost: 576 maxlim: 314368 bits: 20/19 7.10 c ---[2928]---> Adder-cost: 586 maxlim: 324608 bits: 20/19 7.18 c ---[2926]---> Adder-cost: 518 maxlim: 265216 bits: 20/19 7.25 c ---[2924]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 7.27 c ---[2922]---> Adder-cost: 482 maxlim: 253952 bits: 19/18 7.33 c ---[2920]---> Adder-cost: 558 maxlim: 300032 bits: 20/19 7.40 c ---[2918]---> Adder-cost: 410 maxlim: 228352 bits: 19/18 7.46 c ---[2916]---> Adder-cost: 368 maxlim: 203776 bits: 19/18 7.51 c ---[2914]---> Adder-cost: 110 maxlim: 203776 bits: 19/18 7.56 c ---[2912]---> Adder-cost: 334 maxlim: 201728 bits: 19/18 7.61 c ---[2910]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 7.61 c ---[2908]---> Adder-cost: 114 maxlim: 201728 bits: 19/18 7.66 c ---[2906]---> Adder-cost: 340 maxlim: 189440 bits: 19/18 7.71 c ---[2904]---> Adder-cost: 104 maxlim: 189440 bits: 19/18 7.75 c ---[2902]---> Adder-cost: 374 maxlim: 209920 bits: 19/18 7.80 c ---[2900]---> Adder-cost: 112 maxlim: 209920 bits: 19/18 7.86 c ---[2898]---> Adder-cost: 404 maxlim: 218112 bits: 19/18 7.91 c ---[2896]---> Adder-cost: 328 maxlim: 182272 bits: 19/18 7.95 c ---[2894]---> Adder-cost: 106 maxlim: 182272 bits: 19/18 8.00 c ---[2892]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 8.01 c ---[2890]---> Adder-cost: 182 maxlim: 95232 bits: 18/17 8.03 c ---[2888]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 8.05 c ---[2886]---> Adder-cost: 216 maxlim: 116736 bits: 18/17 8.08 c ---[2884]---> Adder-cost: 78 maxlim: 116736 bits: 18/17 8.11 c ---[2882]---> Adder-cost: 192 maxlim: 102400 bits: 18/17 8.14 c ---[2880]---> Sorter-cost: 1049 Base: 2 2 2 2 2 2 2 2 2 2 7 8.15 c ---[2878]---> Adder-cost: 76 maxlim: 102400 bits: 18/17 8.17 c ---[2876]---> Adder-cost: 226 maxlim: 122880 bits: 18/17 8.21 c ---[2874]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 8.24 c ---[2872]---> Adder-cost: 264 maxlim: 142336 bits: 19/18 8.27 c ---[2870]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 8.31 c ---[2868]---> Adder-cost: 120 maxlim: 68608 bits: 18/17 8.33 c ---[2866]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 8.34 c ---[2864]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 8.36 c ---[2862]---> Adder-cost: 108 maxlim: 58368 bits: 17/16 8.37 c ---[2860]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 8.39 c ---[2858]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39 c ---[2856]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 8.40 c ---[2854]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 8.41 c ---[2852]---> Sorter-cost: 351 Base: 2 2 2 2 2 2 2 2 2 2 7 8.41 c ---[2850]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 8.42 c ---[2848]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 8.42 c ---[2846]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 8.44 c ---[2844]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 8.45 c ---[2842]---> Adder-cost: 86 maxlim: 67584 bits: 18/17 8.47 c ---[2840]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 8.49 c ---[2838]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 8.50 c ---[2836]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 8.51 c ---[2834]---> Adder-cost: 134 maxlim: 72704 bits: 18/17 8.53 c ---[2832]---> Adder-cost: 138 maxlim: 67584 bits: 18/17 8.55 c ---[2830]---> Adder-cost: 90 maxlim: 63488 bits: 17/16 8.57 c ---[2828]---> Adder-cost: 108 maxlim: 56320 bits: 17/16 8.58 c ---[2826]---> Adder-cost: 102 maxlim: 52224 bits: 17/16 8.60 c ---[2824]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 8.60 c ---[2822]---> Sorter-cost: 1033 Base: 2 2 2 2 2 2 2 2 2 2 7 8.62 c ---[2820]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 8.62 c ---[2818]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 8.64 c ---[2816]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 8.64 c ---[2814]---> Adder-cost: 108 maxlim: 59392 bits: 17/16 8.66 c ---[2812]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 8.67 c ---[2810]---> Adder-cost: 120 maxlim: 60416 bits: 17/16 8.69 c ---[2808]---> Adder-cost: 114 maxlim: 62464 bits: 17/16 8.70 c ---[2806]---> Adder-cost: 96 maxlim: 51200 bits: 17/16 8.71 c ---[2804]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 8.72 c ---[2802]---> Sorter-cost: 1080 Base: 2 2 2 2 2 2 2 2 2 2 7 8.73 c ---[2800]---> Sorter-cost: 966 Base: 2 2 2 2 2 2 2 2 2 2 7 8.74 c ---[2798]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 8.75 c ---[2796]---> Sorter-cost: 1175 Base: 2 2 2 2 2 2 2 2 2 2 7 8.76 c ---[2794]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 8.77 c ---[2792]---> Sorter-cost: 1158 Base: 2 2 2 2 2 2 2 2 2 2 7 8.78 c ---[2790]---> Sorter-cost: 813 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79 c ---[2788]---> Sorter-cost: 935 Base: 2 2 2 2 2 2 2 2 2 2 7 8.80 c ---[2786]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 8.81 c ---[2784]---> Sorter-cost: 899 Base: 2 2 2 2 2 2 2 2 2 2 7 8.82 c ---[2782]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 8.83 c ---[2780]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 8.85 c ---[2778]---> Adder-cost: 62 maxlim: 69632 bits: 18/17 8.87 c ---[2776]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 8.88 c ---[2774]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 8.89 c ---[2772]---> Sorter-cost: 460 Base: 2 2 2 2 2 2 2 2 2 2 7 8.90 c ---[2770]---> Adder-cost: 138 maxlim: 66560 bits: 18/17 8.92 c ---[2768]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 8.94 c ---[2766]---> Adder-cost: 106 maxlim: 54272 bits: 17/16 8.95 c ---[2764]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 8.96 c ---[2762]---> Adder-cost: 122 maxlim: 62464 bits: 17/16 8.98 c ---[2760]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 8.99 c ---[2758]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 9.01 c ---[2756]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 9.02 c ---[2754]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 9.03 c ---[2752]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 9.05 c ---[2750]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 9.05 c ---[2748]---> Adder-cost: 106 maxlim: 56320 bits: 17/16 9.07 c ---[2746]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 9.08 c ---[2744]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 9.09 c ---[2742]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 9.10 c ---[2740]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 9.11 c ---[2738]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 9.11 c ---[2736]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 9.12 c ---[2734]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 9.14 c ---[2732]---> Sorter-cost: 1039 Base: 2 2 2 2 2 2 2 2 2 2 7 9.14 c ---[2730]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 9.15 c ---[2728]---> Sorter-cost: 420 Base: 2 2 2 2 2 2 2 2 2 2 7 9.16 c ---[2726]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 9.17 c ---[2724]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 9.19 c ---[2722]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 9.20 c ---[2720]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 9.21 c ---[2718]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 9.22 c ---[2716]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 9.22 c ---[2714]---> Sorter-cost: 783 Base: 2 2 2 2 2 2 2 2 2 2 7 9.23 c ---[2712]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 9.24 c ---[2710]---> Sorter-cost: 935 Base: 2 2 2 2 2 2 2 2 2 2 7 9.25 c ---[2708]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 9.26 c ---[2706]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 9.26 c ---[2704]---> Sorter-cost: 1069 Base: 2 2 2 2 2 2 2 2 2 2 7 9.27 c ---[2702]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 9.28 c ---[2700]---> Sorter-cost: 935 Base: 2 2 2 2 2 2 2 2 2 2 7 9.29 c ---[2698]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 9.30 c ---[2696]---> Sorter-cost: 687 Base: 2 2 2 2 2 2 2 2 2 2 7 9.36 c ---[2694]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 9.37 c ---[2692]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 9.38 c ---[2690]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 9.40 c ---[2688]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 9.41 c ---[2686]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 9.42 c ---[2684]---> Sorter-cost: 428 Base: 2 2 2 2 2 2 2 2 2 2 7 9.42 c ---[2682]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 9.43 c ---[2680]---> Sorter-cost: 1016 Base: 2 2 2 2 2 2 2 2 2 2 7 9.44 c ---[2678]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 9.45 c ---[2676]---> Adder-cost: 124 maxlim: 61440 bits: 17/16 9.46 c ---[2674]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 9.48 c ---[2672]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49 c ---[2670]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 9.50 c ---[2668]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 9.51 c ---[2666]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 9.52 c ---[2664]---> Sorter-cost: 470 Base: 2 2 2 2 2 2 2 2 2 2 7 9.53 c ---[2662]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 9.54 c ---[2660]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 9.54 c ---[2658]---> Sorter-cost: 655 Base: 2 2 2 2 2 2 2 2 2 2 7 9.55 c ---[2656]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 9.55 c ---[2654]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 9.56 c ---[2652]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 9.57 c ---[2650]---> Sorter-cost: 566 Base: 2 2 2 2 2 2 2 2 2 2 7 9.57 c ---[2648]---> Sorter-cost: 1089 Base: 2 2 2 2 2 2 2 2 2 2 7 9.58 c ---[2646]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 9.59 c ---[2644]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 9.60 c ---[2642]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 9.61 c ---[2640]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 9.62 c ---[2638]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 9.62 c ---[2636]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 9.63 c ---[2634]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 9.64 c ---[2632]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 9.66 c ---[2630]---> Adder-cost: 62 maxlim: 69632 bits: 18/17 9.68 c ---[2628]---> Adder-cost: 126 maxlim: 63488 bits: 17/16 9.69 c ---[2626]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 9.71 c ---[2624]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 9.72 c ---[2622]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 9.72 c ---[2620]---> Sorter-cost: 313 Base: 2 2 2 2 2 2 2 2 2 2 2 9.73 c ---[2618]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 9.73 c ---[2616]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 9.74 c ---[2614]---> Sorter-cost: 420 Base: 2 2 2 2 2 2 2 2 2 2 7 9.74 c ---[2612]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 9.75 c ---[2610]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 9.76 c ---[2608]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 9.77 c ---[2606]---> Sorter-cost: 1053 Base: 2 2 2 2 2 2 2 2 2 2 7 9.78 c ---[2604]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 9.79 c ---[2602]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 9.80 c ---[2600]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 9.82 c ---[2598]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 9.82 c ---[2596]---> Sorter-cost: 678 Base: 2 2 2 2 2 2 2 2 2 2 7 9.83 c ---[2594]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 9.83 c ---[2592]---> Sorter-cost: 961 Base: 2 2 2 2 2 2 2 2 2 2 7 9.84 c ---[2590]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 9.85 c ---[2588]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 9.86 c ---[2586]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 9.87 c ---[2584]---> Sorter-cost: 462 Base: 2 2 2 2 2 2 2 2 2 2 7 9.87 c ---[2582]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 9.88 c ---[2580]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 9.89 c ---[2578]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 9.90 c ---[2576]---> Adder-cost: 98 maxlim: 52224 bits: 17/16 9.92 c ---[2574]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 9.93 c ---[2572]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 9.94 c ---[2570]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 9.94 c ---[2568]---> Sorter-cost: 1190 Base: 2 2 2 2 2 2 2 2 2 2 7 9.95 c ---[2566]---> Sorter-cost: 1073 Base: 2 2 2 2 2 2 2 2 2 2 7 9.97 c ---[2564]---> Sorter-cost: 931 Base: 2 2 2 2 2 2 2 2 2 2 7 9.98 c ---[2562]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 9.98 c ---[2560]---> Sorter-cost: 1188 Base: 2 2 2 2 2 2 2 2 2 2 7 10.00 c ---[2558]---> Sorter-cost: 1175 Base: 2 2 2 2 2 2 2 2 2 2 7 10.01 c ---[2556]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 10.01 c ---[2554]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 10.02 c ---[2552]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 10.02 c ---[2550]---> Sorter-cost: 720 Base: 2 2 2 2 2 2 2 2 2 2 7 10.03 c ---[2548]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 10.03 c ---[2546]---> Sorter-cost: 585 Base: 2 2 2 2 2 2 2 2 2 2 7 10.04 c ---[2544]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 10.05 c ---[2542]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 10.05 c ---[2540]---> Sorter-cost: 295 Base: 2 2 2 2 2 2 2 2 2 2 2 10.06 c ---[2538]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 10.06 c ---[2536]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 10.07 c ---[2534]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 10.08 c ---[2532]---> Sorter-cost: 458 Base: 2 2 2 2 2 2 2 2 2 2 7 10.08 c ---[2530]---> Sorter-cost: 365 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09 c ---[2528]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 10.09 c ---[2526]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 10.10 c ---[2524]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 10.10 c ---[2522]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 10.11 c ---[2520]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 10.12 c ---[2518]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 10.13 c ---[2516]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 10.14 c ---[2514]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 10.16 c ---[2512]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 10.16 c ---[2510]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 10.17 c ---[2508]---> Sorter-cost: 470 Base: 2 2 2 2 2 2 2 2 2 2 7 10.17 c ---[2506]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 10.18 c ---[2504]---> Sorter-cost: 1311 Base: 2 2 2 2 2 2 2 2 2 2 7 10.19 c ---[2502]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 10.20 c ---[2500]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 10.21 c ---[2498]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 10.22 c ---[2496]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 10.22 c ---[2494]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 10.23 c ---[2492]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 10.24 c ---[2490]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 10.25 c ---[2488]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 10.26 c ---[2486]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 10.27 c ---[2484]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 10.27 c ---[2482]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 10.28 c ---[2480]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 10.29 c ---[2478]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 10.30 c ---[2476]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 10.31 c ---[2474]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 10.32 c ---[2472]---> Sorter-cost: 953 Base: 2 2 2 2 2 2 2 2 2 2 7 10.33 c ---[2470]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 10.33 c ---[2468]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 10.35 c ---[2466]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 10.36 c ---[2464]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 10.38 c ---[2462]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 10.39 c ---[2460]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 10.40 c ---[2458]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 10.41 c ---[2456]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 10.42 c ---[2454]---> Adder-cost: 154 maxlim: 74752 bits: 18/17 10.44 c ---[2452]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 10.46 c ---[2450]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 10.47 c ---[2448]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 10.48 c ---[2446]---> Sorter-cost: 896 Base: 2 2 2 2 2 2 2 2 2 2 7 10.49 c ---[2444]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 10.50 c ---[2442]---> Sorter-cost: 597 Base: 2 2 2 2 2 2 2 2 2 2 7 10.50 c ---[2440]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 10.51 c ---[2438]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 10.52 c ---[2436]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 10.54 c ---[2434]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 10.54 c ---[2432]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 10.55 c ---[2430]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 10.55 c ---[2428]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 10.56 c ---[2426]---> Sorter-cost: 470 Base: 2 2 2 2 2 2 2 2 2 2 7 10.57 c ---[2424]---> Sorter-cost: 679 Base: 2 2 2 2 2 2 2 2 2 2 7 10.57 c ---[2422]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 10.58 c ---[2420]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 10.59 c ---[2418]---> Adder-cost: 112 maxlim: 58368 bits: 17/16 10.61 c ---[2416]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 10.62 c ---[2414]---> Adder-cost: 112 maxlim: 63488 bits: 17/16 10.64 c ---[2412]---> Adder-cost: 158 maxlim: 78848 bits: 18/17 10.66 c ---[2410]---> Adder-cost: 144 maxlim: 77824 bits: 18/17 10.68 c ---[2408]---> Sorter-cost: 967 Base: 2 2 2 2 2 2 2 2 2 2 7 10.69 c ---[2406]---> Sorter-cost: 1068 Base: 2 2 2 2 2 2 2 2 2 2 7 10.70 c ---[2404]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 10.71 c ---[2402]---> Adder-cost: 130 maxlim: 67584 bits: 18/17 10.73 c ---[2400]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 10.74 c ---[2398]---> Adder-cost: 158 maxlim: 78848 bits: 18/17 10.76 c ---[2396]---> Adder-cost: 104 maxlim: 79872 bits: 18/17 10.78 c ---[2394]---> Adder-cost: 174 maxlim: 88064 bits: 18/17 10.80 c ---[2392]---> Adder-cost: 68 maxlim: 88064 bits: 18/17 10.83 c ---[2390]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 10.84 c ---[2388]---> Sorter-cost: 891 Base: 2 2 2 2 2 2 2 2 2 2 7 10.85 c ---[2386]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 10.86 c ---[2384]---> Adder-cost: 134 maxlim: 65536 bits: 18/17 10.88 c ---[2382]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 10.89 c ---[2380]---> Sorter-cost: 996 Base: 2 2 2 2 2 2 2 2 2 2 7 10.90 c ---[2378]---> Adder-cost: 322 maxlim: 165888 bits: 19/18 10.94 c ---[2376]---> Sorter-cost: 961 Base: 2 2 2 2 2 2 2 2 2 2 7 10.95 c ---[2374]---> Sorter-cost: 579 Base: 2 2 2 2 2 2 2 2 2 2 7 10.96 c ---[2372]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 10.97 c ---[2370]---> Sorter-cost: 546 Base: 2 2 2 2 2 2 2 2 2 2 7 10.97 c ---[2368]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 10.98 c ---[2366]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 10.99 c ---[2364]---> Sorter-cost: 371 Base: 2 2 2 2 2 2 2 2 2 2 7 10.99 c ---[2362]---> Sorter-cost: 257 Base: 2 2 2 2 2 2 2 2 2 2 2 11.00 c ---[2360]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 11.00 c ---[2358]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 11.01 c ---[2356]---> Adder-cost: 102 maxlim: 165888 bits: 19/18 11.06 c ---[2354]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 11.07 c ---[2352]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 11.08 c ---[2350]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09 c ---[2348]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09 c ---[2346]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 11.11 c ---[2344]---> Adder-cost: 112 maxlim: 57344 bits: 17/16 11.12 c ---[2342]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 11.13 c ---[2340]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 11.13 c ---[2338]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 11.14 c ---[2336]---> Sorter-cost: 588 Base: 2 2 2 2 2 2 2 2 2 2 7 11.15 c ---[2334]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 11.15 c ---[2332]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 11.16 c ---[2330]---> Sorter-cost: 1127 Base: 2 2 2 2 2 2 2 2 2 2 7 11.17 c ---[2328]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 11.18 c ---[2326]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 11.18 c ---[2324]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 11.19 c ---[2322]---> Sorter-cost: 1082 Base: 2 2 2 2 2 2 2 2 2 2 7 11.20 c ---[2320]---> Sorter-cost: 1168 Base: 2 2 2 2 2 2 2 2 2 2 7 11.21 c ---[2318]---> Sorter-cost: 908 Base: 2 2 2 2 2 2 2 2 2 2 7 11.22 c ---[2316]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 11.22 c ---[2314]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 11.23 c ---[2312]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 11.24 c ---[2310]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 11.25 c ---[2308]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 11.26 c ---[2306]---> Sorter-cost: 674 Base: 2 2 2 2 2 2 2 2 2 2 7 11.27 c ---[2304]---> Sorter-cost: 632 Base: 2 2 2 2 2 2 2 2 2 2 7 11.27 c ---[2302]---> Sorter-cost: 556 Base: 2 2 2 2 2 2 2 2 2 2 7 11.28 c ---[2300]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 11.29 c ---[2298]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 11.29 c ---[2296]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 11.30 c ---[2294]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 11.31 c ---[2292]---> Sorter-cost: 957 Base: 2 2 2 2 2 2 2 2 2 2 7 11.32 c ---[2290]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 11.33 c ---[2288]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 11.33 c ---[2286]---> Sorter-cost: 986 Base: 2 2 2 2 2 2 2 2 2 2 7 11.34 c ---[2284]---> Sorter-cost: 611 Base: 2 2 2 2 2 2 2 2 2 2 7 11.35 c ---[2282]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 11.36 c ---[2280]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 11.36 c ---[2278]---> Sorter-cost: 577 Base: 2 2 2 2 2 2 2 2 2 2 7 11.37 c ---[2276]---> Sorter-cost: 460 Base: 2 2 2 2 2 2 2 2 2 2 7 11.37 c ---[2274]---> Adder-cost: 102 maxlim: 165888 bits: 19/18 11.42 c ---[2272]---> Sorter-cost: 439 Base: 2 2 2 2 2 2 2 2 2 2 7 11.42 c ---[2270]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 11.44 c ---[2268]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 11.45 c ---[2266]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 11.47 c ---[2264]---> Adder-cost: 92 maxlim: 54272 bits: 17/16 11.48 c ---[2262]---> Sorter-cost: 1082 Base: 2 2 2 2 2 2 2 2 2 2 7 11.49 c ---[2260]---> Sorter-cost: 951 Base: 2 2 2 2 2 2 2 2 2 2 7 11.50 c ---[2258]---> Sorter-cost: 1121 Base: 2 2 2 2 2 2 2 2 2 2 7 11.51 c ---[2256]---> Sorter-cost: 1022 Base: 2 2 2 2 2 2 2 2 2 2 7 11.52 c ---[2254]---> Adder-cost: 270 maxlim: 145408 bits: 19/18 11.56 c ---[2252]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 11.56 c ---[2250]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 11.57 c ---[2248]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 11.57 c ---[2246]---> Sorter-cost: 313 Base: 2 2 2 2 2 2 2 2 2 2 2 11.58 c ---[2244]---> Sorter-cost: 1183 Base: 2 2 2 2 2 2 2 2 2 2 7 11.59 c ---[2242]---> Sorter-cost: 943 Base: 2 2 2 2 2 2 2 2 2 2 7 11.60 c ---[2240]---> Sorter-cost: 1057 Base: 2 2 2 2 2 2 2 2 2 2 7 11.61 c ---[2238]---> Sorter-cost: 1058 Base: 2 2 2 2 2 2 2 2 2 2 7 11.62 c ---[2236]---> Sorter-cost: 895 Base: 2 2 2 2 2 2 2 2 2 2 7 11.63 c ---[2234]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 11.64 c ---[2232]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 11.67 c ---[2230]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 11.69 c ---[2228]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 11.70 c ---[2226]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 11.71 c ---[2224]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 11.72 c ---[2222]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 11.73 c ---[2220]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 11.74 c ---[2218]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 11.76 c ---[2216]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 11.77 c ---[2214]---> Adder-cost: 126 maxlim: 63488 bits: 17/16 11.78 c ---[2212]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 11.80 c ---[2210]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 11.84 c ---[2208]---> Adder-cost: 122 maxlim: 61440 bits: 17/16 11.85 c ---[2206]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 11.87 c ---[2204]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 11.89 c ---[2202]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 11.91 c ---[2200]---> Adder-cost: 106 maxlim: 55296 bits: 17/16 11.92 c ---[2198]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 11.93 c ---[2196]---> Sorter-cost: 1089 Base: 2 2 2 2 2 2 2 2 2 2 7 11.94 c ---[2194]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 11.95 c ---[2192]---> Sorter-cost: 1251 Base: 2 2 2 2 2 2 2 2 2 2 7 11.97 c ---[2190]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 11.98 c ---[2188]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 12.02 c ---[2186]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 12.03 c ---[2184]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 12.04 c ---[2182]---> Adder-cost: 146 maxlim: 71680 bits: 18/17 12.06 c ---[2180]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 12.08 c ---[2178]---> Adder-cost: 172 maxlim: 83968 bits: 18/17 12.11 c ---[2176]---> Adder-cost: 68 maxlim: 83968 bits: 18/17 12.13 c ---[2174]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 12.14 c ---[2172]---> Sorter-cost: 931 Base: 2 2 2 2 2 2 2 2 2 2 7 12.15 c ---[2170]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 12.16 c ---[2168]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 12.18 c ---[2166]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 12.21 c ---[2164]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 12.22 c ---[2162]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 12.23 c ---[2160]---> Sorter-cost: 380 Base: 2 2 2 2 2 2 2 2 2 2 7 12.24 c ---[2158]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 12.24 c ---[2156]---> Sorter-cost: 609 Base: 2 2 2 2 2 2 2 2 2 2 7 12.25 c ---[2154]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 12.26 c ---[2152]---> Sorter-cost: 647 Base: 2 2 2 2 2 2 2 2 2 2 7 12.26 c ---[2150]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 12.27 c ---[2148]---> Sorter-cost: 1248 Base: 2 2 2 2 2 2 2 2 2 2 7 12.28 c ---[2146]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 12.29 c ---[2144]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 12.33 c ---[2142]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 12.35 c ---[2140]---> Sorter-cost: 1267 Base: 2 2 2 2 2 2 2 2 2 2 7 12.36 c ---[2138]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 12.37 c ---[2136]---> Sorter-cost: 1183 Base: 2 2 2 2 2 2 2 2 2 2 7 12.38 c ---[2134]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 12.39 c ---[2132]---> Adder-cost: 176 maxlim: 86016 bits: 18/17 12.41 c ---[2130]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 12.44 c ---[2128]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 12.45 c ---[2126]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 12.46 c ---[2124]---> Sorter-cost: 1157 Base: 2 2 2 2 2 2 2 2 2 2 7 12.47 c ---[2122]---> Adder-cost: 254 maxlim: 140288 bits: 19/18 12.51 c ---[2120]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 12.52 c ---[2118]---> Sorter-cost: 1059 Base: 2 2 2 2 2 2 2 2 2 2 7 12.53 c ---[2116]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 12.54 c ---[2114]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 12.55 c ---[2112]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 12.56 c ---[2110]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 12.56 c ---[2108]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 12.57 c ---[2106]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 12.68 c ---[2104]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 12.69 c ---[2102]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 12.70 c ---[2100]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 12.73 c ---[2098]---> Sorter-cost: 1157 Base: 2 2 2 2 2 2 2 2 2 2 7 12.74 c ---[2096]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 12.75 c ---[2094]---> Sorter-cost: 1311 Base: 2 2 2 2 2 2 2 2 2 2 7 12.77 c ---[2092]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 12.78 c ---[2090]---> Sorter-cost: 1082 Base: 2 2 2 2 2 2 2 2 2 2 7 12.79 c ---[2088]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 12.80 c ---[2086]---> Sorter-cost: 1127 Base: 2 2 2 2 2 2 2 2 2 2 7 12.81 c ---[2084]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 12.82 c ---[2082]---> Adder-cost: 124 maxlim: 61440 bits: 17/16 12.83 c ---[2080]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 12.85 c ---[2078]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 12.88 c ---[2076]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89 c ---[2074]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 12.90 c ---[2072]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 12.91 c ---[2070]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 12.92 c ---[2068]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 12.93 c ---[2066]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 12.93 c ---[2064]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 12.94 c ---[2062]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 12.95 c ---[2060]---> Adder-cost: 162 maxlim: 79872 bits: 18/17 12.97 c ---[2058]---> Adder-cost: 98 maxlim: 86016 bits: 18/17 12.99 c ---[2056]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 13.03 c ---[2054]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 13.05 c ---[2052]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 13.06 c ---[2050]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 13.08 c ---[2048]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09 c ---[2046]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 13.09 c ---[2044]---> Adder-cost: 154 maxlim: 76800 bits: 18/17 13.11 c ---[2042]---> Adder-cost: 62 maxlim: 76800 bits: 18/17 13.13 c ---[2040]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 13.15 c ---[2038]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 13.16 c ---[2036]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 13.18 c ---[2034]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 13.21 c ---[2032]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 13.23 c ---[2030]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 13.24 c ---[2028]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 13.26 c ---[2026]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 13.27 c ---[2024]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 13.28 c ---[2022]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 13.28 c ---[2020]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 13.29 c ---[2018]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 13.29 c ---[2016]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 13.30 c ---[2014]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 13.31 c ---[2012]---> Adder-cost: 94 maxlim: 140288 bits: 19/18 13.34 c ---[2010]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 13.35 c ---[2008]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 13.36 c ---[2006]---> Sorter-cost: 597 Base: 2 2 2 2 2 2 2 2 2 2 7 13.37 c ---[2004]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 13.38 c ---[2002]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 13.39 c ---[2000]---> Sorter-cost: 1138 Base: 2 2 2 2 2 2 2 2 2 2 7 13.40 c ---[1998]---> Sorter-cost: 1311 Base: 2 2 2 2 2 2 2 2 2 2 7 13.41 c ---[1996]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 13.42 c ---[1994]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 13.44 c ---[1992]---> Adder-cost: 88 maxlim: 53248 bits: 17/16 13.45 c ---[1990]---> Adder-cost: 264 maxlim: 145408 bits: 19/18 13.49 c ---[1988]---> Sorter-cost: 443 Base: 2 2 2 2 2 2 2 2 2 2 7 13.49 c ---[1986]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 13.50 c ---[1984]---> Sorter-cost: 263 Base: 2 2 2 2 2 2 2 2 2 2 2 13.50 c ---[1982]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 13.51 c ---[1980]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 13.53 c ---[1978]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 13.54 c ---[1976]---> Sorter-cost: 980 Base: 2 2 2 2 2 2 2 2 2 2 7 13.55 c ---[1974]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 13.58 c ---[1972]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 13.59 c ---[1970]---> Sorter-cost: 1137 Base: 2 2 2 2 2 2 2 2 2 2 7 13.60 c ---[1968]---> Sorter-cost: 605 Base: 2 2 2 2 2 2 2 2 2 2 7 13.61 c ---[1966]---> Sorter-cost: 708 Base: 2 2 2 2 2 2 2 2 2 2 7 13.62 c ---[1964]---> Sorter-cost: 1077 Base: 2 2 2 2 2 2 2 2 2 2 7 13.63 c ---[1962]---> Sorter-cost: 734 Base: 2 2 2 2 2 2 2 2 2 2 7 13.64 c ---[1960]---> Sorter-cost: 731 Base: 2 2 2 2 2 2 2 2 2 2 7 13.64 c ---[1958]---> Sorter-cost: 585 Base: 2 2 2 2 2 2 2 2 2 2 7 13.65 c ---[1956]---> Sorter-cost: 582 Base: 2 2 2 2 2 2 2 2 2 2 7 13.66 c ---[1954]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 13.66 c ---[1952]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 13.70 c ---[1950]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 13.70 c ---[1948]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 13.71 c ---[1946]---> Sorter-cost: 1049 Base: 2 2 2 2 2 2 2 2 2 2 7 13.72 c ---[1944]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 13.73 c ---[1942]---> Sorter-cost: 1246 Base: 2 2 2 2 2 2 2 2 2 2 7 13.74 c ---[1940]---> Sorter-cost: 1247 Base: 2 2 2 2 2 2 2 2 2 2 7 13.75 c ---[1938]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 13.76 c ---[1936]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 13.77 c ---[1934]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 13.78 c ---[1932]---> Adder-cost: 116 maxlim: 58368 bits: 17/16 13.79 c ---[1930]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 13.83 c ---[1928]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 13.84 c ---[1926]---> Sorter-cost: 1063 Base: 2 2 2 2 2 2 2 2 2 2 7 13.85 c ---[1924]---> Sorter-cost: 1131 Base: 2 2 2 2 2 2 2 2 2 2 7 13.86 c ---[1922]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 13.87 c ---[1920]---> Sorter-cost: 1020 Base: 2 2 2 2 2 2 2 2 2 2 7 13.88 c ---[1918]---> Sorter-cost: 993 Base: 2 2 2 2 2 2 2 2 2 2 7 13.89 c ---[1916]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 13.90 c ---[1914]---> Adder-cost: 102 maxlim: 51200 bits: 17/16 13.92 c ---[1912]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 13.93 c ---[1910]---> Sorter-cost: 1043 Base: 2 2 2 2 2 2 2 2 2 2 7 13.94 c ---[1908]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 13.98 c ---[1906]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 13.99 c ---[1904]---> Sorter-cost: 1215 Base: 2 2 2 2 2 2 2 2 2 2 7 14.00 c ---[1902]---> Sorter-cost: 615 Base: 2 2 2 2 2 2 2 2 2 2 7 14.01 c ---[1900]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 14.01 c ---[1898]---> Sorter-cost: 615 Base: 2 2 2 2 2 2 2 2 2 2 7 14.02 c ---[1896]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 14.03 c ---[1894]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 2 2 2 2 7 14.03 c ---[1892]---> Sorter-cost: 340 Base: 2 2 2 2 2 2 2 2 2 2 7 14.04 c ---[1890]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 14.04 c ---[1888]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 14.04 c ---[1886]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 14.08 c ---[1884]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 14.09 c ---[1882]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 14.10 c ---[1880]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 14.10 c ---[1878]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 14.11 c ---[1876]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 14.13 c ---[1874]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 14.14 c ---[1872]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 14.16 c ---[1870]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 14.17 c ---[1868]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 14.18 c ---[1866]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 14.19 c ---[1864]---> Adder-cost: 160 maxlim: 84992 bits: 18/17 14.21 c ---[1862]---> Sorter-cost: 601 Base: 2 2 2 2 2 2 2 2 2 2 7 14.22 c ---[1860]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 14.23 c ---[1858]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 14.23 c ---[1856]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 14.24 c ---[1854]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 14.25 c ---[1852]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 14.26 c ---[1850]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 14.27 c ---[1848]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 14.28 c ---[1846]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 14.29 c ---[1844]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 14.30 c ---[1842]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 14.32 c ---[1840]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 14.33 c ---[1838]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 14.33 c ---[1836]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 14.34 c ---[1834]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 14.35 c ---[1832]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 14.35 c ---[1830]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 14.35 c ---[1828]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 14.36 c ---[1826]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 14.36 c ---[1824]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 14.36 c ---[1822]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 14.37 c ---[1820]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 14.38 c ---[1818]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 14.39 c ---[1816]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 14.40 c ---[1814]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 14.40 c ---[1812]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 14.41 c ---[1810]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 14.41 c ---[1808]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 14.42 c ---[1806]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 14.43 c ---[1804]---> Adder-cost: 142 maxlim: 68608 bits: 18/17 14.45 c ---[1802]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 14.46 c ---[1800]---> Sorter-cost: 1188 Base: 2 2 2 2 2 2 2 2 2 2 7 14.47 c ---[1798]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 14.49 c ---[1796]---> Sorter-cost: 1076 Base: 2 2 2 2 2 2 2 2 2 2 7 14.50 c ---[1794]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 14.51 c ---[1792]---> Sorter-cost: 1033 Base: 2 2 2 2 2 2 2 2 2 2 7 14.52 c ---[1790]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 14.53 c ---[1788]---> Sorter-cost: 981 Base: 2 2 2 2 2 2 2 2 2 2 7 14.53 c ---[1786]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 14.54 c ---[1784]---> Sorter-cost: 1151 Base: 2 2 2 2 2 2 2 2 2 2 7 14.55 c ---[1782]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 14.57 c ---[1780]---> Sorter-cost: 1179 Base: 2 2 2 2 2 2 2 2 2 2 7 14.58 c ---[1778]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 14.59 c ---[1776]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 14.59 c ---[1774]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 14.60 c ---[1772]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 14.60 c ---[1770]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 14.61 c ---[1768]---> Sorter-cost: 617 Base: 2 2 2 2 2 2 2 2 2 2 7 14.61 c ---[1766]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 14.62 c ---[1764]---> Sorter-cost: 1077 Base: 2 2 2 2 2 2 2 2 2 2 7 14.63 c ---[1762]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 14.64 c ---[1760]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 14.66 c ---[1758]---> Sorter-cost: 997 Base: 2 2 2 2 2 2 2 2 2 2 7 14.67 c ---[1756]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 14.68 c ---[1754]---> Sorter-cost: 711 Base: 2 2 2 2 2 2 2 2 2 2 7 14.69 c ---[1752]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 14.70 c ---[1750]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 14.72 c ---[1748]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 14.73 c ---[1746]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 14.74 c ---[1744]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 14.75 c ---[1742]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 14.76 c ---[1740]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 14.77 c ---[1738]---> Adder-cost: 138 maxlim: 67584 bits: 18/17 14.78 c ---[1736]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 14.79 c ---[1734]---> Sorter-cost: 652 Base: 2 2 2 2 2 2 2 2 2 2 7 14.80 c ---[1732]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 14.81 c ---[1730]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 14.82 c ---[1728]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 14.83 c ---[1726]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 14.85 c ---[1724]---> Sorter-cost: 1305 Base: 2 2 2 2 2 2 2 2 2 2 7 14.86 c ---[1722]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 14.87 c ---[1720]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 14.88 c ---[1718]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 14.89 c ---[1716]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 14.91 c ---[1714]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 14.92 c ---[1712]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 14.93 c ---[1710]---> Sorter-cost: 947 Base: 2 2 2 2 2 2 2 2 2 2 7 14.94 c ---[1708]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 14.95 c ---[1706]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 14.95 c ---[1704]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 14.96 c ---[1702]---> Sorter-cost: 1248 Base: 2 2 2 2 2 2 2 2 2 2 7 14.97 c ---[1700]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 14.98 c ---[1698]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 14.98 c ---[1696]---> Sorter-cost: 334 Base: 2 2 2 2 2 2 2 2 2 2 7 14.99 c ---[1694]---> Sorter-cost: 660 Base: 2 2 2 2 2 2 2 2 2 2 7 15.00 c ---[1692]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 15.00 c ---[1690]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 15.01 c ---[1688]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 15.02 c ---[1686]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 15.02 c ---[1684]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 15.03 c ---[1682]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 15.04 c ---[1680]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 15.05 c ---[1678]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 15.07 c ---[1676]---> Adder-cost: 124 maxlim: 62464 bits: 17/16 15.08 c ---[1674]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 15.10 c ---[1672]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 15.10 c ---[1670]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 15.10 c ---[1668]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 15.11 c ---[1666]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 15.11 c ---[1664]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 15.11 c ---[1662]---> Sorter-cost: 1080 Base: 2 2 2 2 2 2 2 2 2 2 7 15.12 c ---[1660]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 15.13 c ---[1658]---> Sorter-cost: 616 Base: 2 2 2 2 2 2 2 2 2 2 7 15.14 c ---[1656]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 15.15 c ---[1654]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 15.15 c ---[1652]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 15.16 c ---[1650]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 15.16 c ---[1648]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 15.17 c ---[1646]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 15.18 c ---[1644]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 15.18 c ---[1642]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 15.19 c ---[1640]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 15.19 c ---[1638]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 15.20 c ---[1636]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 15.20 c ---[1634]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 15.22 c ---[1632]---> Sorter-cost: 265 Base: 2 2 2 2 2 2 2 2 2 2 2 15.23 c ---[1630]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 15.23 c ---[1628]---> Sorter-cost: 363 Base: 2 2 2 2 2 2 2 2 2 2 7 15.24 c ---[1626]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 15.24 c ---[1624]---> Adder-cost: 126 maxlim: 63488 bits: 17/16 15.26 c ---[1622]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 15.27 c ---[1620]---> Adder-cost: 136 maxlim: 65536 bits: 18/17 15.29 c ---[1618]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 15.31 c ---[1616]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 15.32 c ---[1614]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 15.33 c ---[1612]---> Adder-cost: 116 maxlim: 59392 bits: 17/16 15.34 c ---[1610]---> Sorter-cost: 1137 Base: 2 2 2 2 2 2 2 2 2 2 7 15.36 c ---[1608]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 15.37 c ---[1606]---> Sorter-cost: 1238 Base: 2 2 2 2 2 2 2 2 2 2 7 15.38 c ---[1604]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 15.39 c ---[1602]---> Sorter-cost: 645 Base: 2 2 2 2 2 2 2 2 2 2 7 15.39 c ---[1600]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 15.40 c ---[1598]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 15.42 c ---[1596]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 15.43 c ---[1594]---> Sorter-cost: 470 Base: 2 2 2 2 2 2 2 2 2 2 7 15.44 c ---[1592]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 15.44 c ---[1590]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 15.46 c ---[1588]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 15.46 c ---[1586]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 15.46 c ---[1584]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 15.47 c ---[1582]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 15.48 c ---[1580]---> Sorter-cost: 305 Base: 2 2 2 2 2 2 2 2 2 2 2 15.48 c ---[1578]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 15.48 c ---[1576]---> Sorter-cost: 458 Base: 2 2 2 2 2 2 2 2 2 2 7 15.49 c ---[1574]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 15.49 c ---[1572]---> Sorter-cost: 259 Base: 2 2 2 2 2 2 2 2 2 2 2 15.50 c ---[1570]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 15.50 c ---[1568]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 15.52 c ---[1566]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 15.52 c ---[1564]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 15.52 c ---[1562]---> Adder-cost: 106 maxlim: 53248 bits: 17/16 15.54 c ---[1560]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 15.55 c ---[1558]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 15.56 c ---[1556]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 15.56 c ---[1554]---> Sorter-cost: 626 Base: 2 2 2 2 2 2 2 2 2 2 7 15.57 c ---[1552]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 15.58 c ---[1550]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 15.59 c ---[1548]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 15.60 c ---[1546]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 15.62 c ---[1544]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 15.63 c ---[1542]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 15.64 c ---[1540]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 15.65 c ---[1538]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 15.66 c ---[1536]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 15.66 c ---[1534]---> Sorter-cost: 434 Base: 2 2 2 2 2 2 2 2 2 2 7 15.67 c ---[1532]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 15.67 c ---[1530]---> Sorter-cost: 327 Base: 2 2 2 2 2 2 2 2 2 2 7 15.68 c ---[1528]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 15.68 c ---[1526]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 15.69 c ---[1524]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 15.70 c ---[1522]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 15.71 c ---[1520]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 15.71 c ---[1518]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 15.72 c ---[1516]---> Sorter-cost: 526 Base: 2 2 2 2 2 2 2 2 2 2 7 15.73 c ---[1514]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 15.73 c ---[1512]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 15.74 c ---[1510]---> Sorter-cost: 355 Base: 2 2 2 2 2 2 2 2 2 2 7 15.74 c ---[1508]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 15.75 c ---[1506]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 15.76 c ---[1504]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 15.77 c ---[1502]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 15.79 c ---[1500]---> Adder-cost: 102 maxlim: 56320 bits: 17/16 15.80 c ---[1498]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 15.81 c ---[1496]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 15.83 c ---[1494]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 15.84 c ---[1492]---> Sorter-cost: 1303 Base: 2 2 2 2 2 2 2 2 2 2 7 15.85 c ---[1490]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 15.86 c ---[1488]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 15.87 c ---[1486]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 15.88 c ---[1484]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 15.89 c ---[1482]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 15.90 c ---[1480]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 15.91 c ---[1478]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 15.91 c ---[1476]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 15.92 c ---[1474]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 15.93 c ---[1472]---> Adder-cost: 126 maxlim: 63488 bits: 17/16 15.94 c ---[1470]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 15.96 c ---[1468]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 15.96 c ---[1466]---> Sorter-cost: 409 Base: 2 2 2 2 2 2 2 2 2 2 7 15.97 c ---[1464]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 15.97 c ---[1462]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 15.99 c ---[1460]---> Adder-cost: 118 maxlim: 61440 bits: 17/16 16.00 c ---[1458]---> Adder-cost: 104 maxlim: 61440 bits: 17/16 16.02 c ---[1456]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 16.03 c ---[1454]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 16.04 c ---[1452]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 16.05 c ---[1450]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 16.06 c ---[1448]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 16.06 c ---[1446]---> Sorter-cost: 583 Base: 2 2 2 2 2 2 2 2 2 2 7 16.07 c ---[1444]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 16.07 c ---[1442]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 16.08 c ---[1440]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 16.08 c ---[1438]---> Sorter-cost: 718 Base: 2 2 2 2 2 2 2 2 2 2 7 16.09 c ---[1436]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 16.10 c ---[1434]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 16.11 c ---[1432]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 16.11 c ---[1430]---> Adder-cost: 116 maxlim: 57344 bits: 17/16 16.13 c ---[1428]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 16.14 c ---[1426]---> Adder-cost: 98 maxlim: 51200 bits: 17/16 16.15 c ---[1424]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 16.17 c ---[1422]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 16.18 c ---[1420]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 16.19 c ---[1418]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 16.20 c ---[1416]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 16.21 c ---[1414]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 16.22 c ---[1412]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 16.23 c ---[1410]---> Sorter-cost: 733 Base: 2 2 2 2 2 2 2 2 2 2 7 16.24 c ---[1408]---> Sorter-cost: 581 Base: 2 2 2 2 2 2 2 2 2 2 7 16.25 c ---[1406]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 16.25 c ---[1404]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 16.26 c ---[1402]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 16.27 c ---[1400]---> Sorter-cost: 658 Base: 2 2 2 2 2 2 2 2 2 2 7 16.27 c ---[1398]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 16.28 c ---[1396]---> Sorter-cost: 1143 Base: 2 2 2 2 2 2 2 2 2 2 7 16.29 c ---[1394]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 16.30 c ---[1392]---> Sorter-cost: 715 Base: 2 2 2 2 2 2 2 2 2 2 7 16.31 c ---[1390]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 16.32 c ---[1388]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 16.34 c ---[1386]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 16.35 c ---[1384]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 16.36 c ---[1382]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 16.37 c ---[1380]---> Adder-cost: 224 maxlim: 125952 bits: 18/17 16.40 c ---[1378]---> Adder-cost: 78 maxlim: 125952 bits: 18/17 16.43 c ---[1376]---> Adder-cost: 78 maxlim: 125952 bits: 18/17 16.47 c ---[1374]---> Adder-cost: 238 maxlim: 129024 bits: 18/17 16.50 c ---[1372]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 16.53 c ---[1370]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 16.56 c ---[1368]---> Adder-cost: 156 maxlim: 93184 bits: 18/17 16.59 c ---[1366]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 16.61 c ---[1364]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 16.63 c ---[1362]---> Adder-cost: 310 maxlim: 162816 bits: 19/18 16.68 c ---[1360]---> Adder-cost: 92 maxlim: 162816 bits: 19/18 16.72 c ---[1358]---> Adder-cost: 12031 maxlim: 6023167 bits: 24/23 18.95 c ---[1355]---> Adder-cost: 3128 maxlim: 1788928 bits: 22/21 19.41 c ---[1347]---> Adder-cost: 92 maxlim: 162816 bits: 19/18 19.45 c ---[1345]---> Adder-cost: 202 maxlim: 120832 bits: 18/17 19.48 c ---[1343]---> Adder-cost: 80 maxlim: 120832 bits: 18/17 19.51 c ---[1341]---> Adder-cost: 80 maxlim: 120832 bits: 18/17 19.54 c ---[1339]---> Adder-cost: 148 maxlim: 77824 bits: 18/17 19.56 c ---[1337]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 19.59 c ---[1335]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 19.61 c ---[1333]---> Sorter-cost: 638 Base: 2 2 2 2 2 2 2 2 2 2 7 19.61 c ---[1331]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 19.62 c ---[1329]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 19.63 c ---[1327]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 19.63 c ---[1325]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 19.64 c ---[1323]---> Sorter-cost: 404 Base: 2 2 2 2 2 2 2 2 2 2 7 19.64 c ---[1321]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 19.65 c ---[1319]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 7 19.66 c ---[1317]---> Sorter-cost: 1154 Base: 2 2 2 2 2 2 2 2 2 2 7 19.67 c ---[1315]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 19.68 c ---[1313]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 19.70 c ---[1311]---> Adder-cost: 142 maxlim: 71680 bits: 18/17 19.72 c ---[1309]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 19.74 c ---[1307]---> Adder-cost: 92 maxlim: 54272 bits: 17/16 19.75 c ---[1305]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 19.76 c ---[1303]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 19.77 c ---[1301]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 19.78 c ---[1299]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 19.78 c ---[1297]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 19.79 c ---[1295]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 19.81 c ---[1293]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 19.83 c ---[1291]---> Adder-cost: 106 maxlim: 57344 bits: 17/16 19.84 c ---[1289]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 19.86 c ---[1287]---> Sorter-cost: 1181 Base: 2 2 2 2 2 2 2 2 2 2 7 19.87 c ---[1285]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 19.88 c ---[1283]---> Sorter-cost: 1226 Base: 2 2 2 2 2 2 2 2 2 2 7 19.89 c ---[1281]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 19.90 c ---[1279]---> Adder-cost: 148 maxlim: 71680 bits: 18/17 19.92 c ---[1277]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 19.94 c ---[1275]---> Adder-cost: 142 maxlim: 72704 bits: 18/17 19.96 c ---[1273]---> Adder-cost: 56 maxlim: 72704 bits: 18/17 19.98 c ---[1271]---> Sorter-cost: 1263 Base: 2 2 2 2 2 2 2 2 2 2 7 19.99 c ---[1269]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 20.00 c ---[1267]---> Sorter-cost: 1181 Base: 2 2 2 2 2 2 2 2 2 2 7 20.01 c ---[1265]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 20.02 c ---[1263]---> Sorter-cost: 622 Base: 2 2 2 2 2 2 2 2 2 2 7 20.03 c ---[1261]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 20.04 c ---[1259]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 20.04 c ---[1257]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 20.05 c ---[1255]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 20.05 c ---[1253]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 20.06 c ---[1251]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 20.07 c ---[1249]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 20.08 c ---[1247]---> Sorter-cost: 1261 Base: 2 2 2 2 2 2 2 2 2 2 7 20.09 c ---[1245]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 20.11 c ---[1243]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 20.13 c ---[1241]---> Adder-cost: 150 maxlim: 78848 bits: 18/17 20.15 c ---[1239]---> Adder-cost: 138 maxlim: 75776 bits: 18/17 20.17 c ---[1237]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 20.18 c ---[1235]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 20.19 c ---[1233]---> Sorter-cost: 854 Base: 2 2 2 2 2 2 2 2 2 2 7 20.20 c ---[1231]---> Sorter-cost: 1082 Base: 2 2 2 2 2 2 2 2 2 2 7 20.21 c ---[1229]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 20.22 c ---[1227]---> Sorter-cost: 617 Base: 2 2 2 2 2 2 2 2 2 2 7 20.22 c ---[1225]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 20.23 c ---[1223]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 20.24 c ---[1221]---> Adder-cost: 240 maxlim: 139264 bits: 19/18 20.27 c ---[1219]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 20.31 c ---[1217]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 20.35 c ---[1215]---> Adder-cost: 326 maxlim: 186368 bits: 19/18 20.39 c ---[1213]---> Adder-cost: 106 maxlim: 186368 bits: 19/18 20.44 c ---[1211]---> Adder-cost: 106 maxlim: 186368 bits: 19/18 20.48 c ---[1209]---> Adder-cost: 290 maxlim: 168960 bits: 19/18 20.53 c ---[1207]---> Adder-cost: 100 maxlim: 168960 bits: 19/18 20.57 c ---[1205]---> Adder-cost: 100 maxlim: 168960 bits: 19/18 20.61 c ---[1203]---> Adder-cost: 276 maxlim: 161792 bits: 19/18 20.65 c ---[1201]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 20.70 c ---[1199]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 20.74 c ---[1197]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 20.78 c ---[1195]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 20.82 c ---[1193]---> Adder-cost: 92 maxlim: 161792 bits: 19/18 20.86 c ---[1191]---> Adder-cost: 216 maxlim: 122880 bits: 18/17 20.89 c ---[1189]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 20.92 c ---[1187]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 20.96 c ---[1185]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 20.99 c ---[1183]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 21.02 c ---[1181]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 21.05 c ---[1179]---> Adder-cost: 166 maxlim: 92160 bits: 18/17 21.08 c ---[1177]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 21.10 c ---[1175]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 21.13 c ---[1173]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 21.15 c ---[1171]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 21.17 c ---[1169]---> Adder-cost: 66 maxlim: 92160 bits: 18/17 21.20 c ---[1167]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 21.20 c ---[1165]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 21.20 c ---[1163]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 21.21 c ---[1161]---> Sorter-cost: 305 Base: 2 2 2 2 2 2 2 2 2 2 2 21.21 c ---[1159]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 21.22 c ---[1157]---> Sorter-cost: 454 Base: 2 2 2 2 2 2 2 2 2 2 7 21.22 c ---[1155]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 21.23 c ---[1153]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 21.24 c ---[1151]---> Sorter-cost: 1265 Base: 2 2 2 2 2 2 2 2 2 2 7 21.25 c ---[1149]---> Adder-cost: 98 maxlim: 57344 bits: 17/16 21.27 c ---[1147]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 21.28 c ---[1145]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 21.30 c ---[1143]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 21.31 c ---[1141]---> Sorter-cost: 1087 Base: 2 2 2 2 2 2 2 2 2 2 7 21.32 c ---[1139]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 21.33 c ---[1137]---> Sorter-cost: 261 Base: 2 2 2 2 2 2 2 2 2 2 2 21.34 c ---[1135]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 21.34 c ---[1133]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 21.34 c ---[1131]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 21.35 c ---[1129]---> Sorter-cost: 438 Base: 2 2 2 2 2 2 2 2 2 2 7 21.35 c ---[1127]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 21.36 c ---[1125]---> Sorter-cost: 979 Base: 2 2 2 2 2 2 2 2 2 2 7 21.37 c ---[1123]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 21.38 c ---[1121]---> Adder-cost: 138 maxlim: 65536 bits: 18/17 21.40 c ---[1119]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 21.41 c ---[1117]---> Adder-cost: 118 maxlim: 63488 bits: 17/16 21.43 c ---[1115]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 21.44 c ---[1113]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 21.45 c ---[1111]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 21.46 c ---[1109]---> Sorter-cost: 1267 Base: 2 2 2 2 2 2 2 2 2 2 7 21.47 c ---[1107]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 21.48 c ---[1105]---> Sorter-cost: 908 Base: 2 2 2 2 2 2 2 2 2 2 7 21.49 c ---[1103]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 21.50 c ---[1101]---> Sorter-cost: 572 Base: 2 2 2 2 2 2 2 2 2 2 7 21.51 c ---[1099]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 21.51 c ---[1097]---> Sorter-cost: 733 Base: 2 2 2 2 2 2 2 2 2 2 7 21.52 c ---[1095]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 21.53 c ---[1093]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 21.53 c ---[1091]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 21.54 c ---[1089]---> Sorter-cost: 412 Base: 2 2 2 2 2 2 2 2 2 2 7 21.54 c ---[1087]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 21.55 c ---[1085]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 21.56 c ---[1083]---> Sorter-cost: 602 Base: 2 2 2 2 2 2 2 2 2 2 7 21.56 c ---[1081]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 21.57 c ---[1079]---> Sorter-cost: 1246 Base: 2 2 2 2 2 2 2 2 2 2 7 21.58 c ---[1077]---> Sorter-cost: 1095 Base: 2 2 2 2 2 2 2 2 2 2 7 21.59 c ---[1075]---> Adder-cost: 106 maxlim: 53248 bits: 17/16 21.60 c ---[1073]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 21.62 c ---[1071]---> Sorter-cost: 1213 Base: 2 2 2 2 2 2 2 2 2 2 7 21.63 c ---[1069]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 21.64 c ---[1067]---> Sorter-cost: 1077 Base: 2 2 2 2 2 2 2 2 2 2 7 21.65 c ---[1065]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 21.66 c ---[1063]---> Adder-cost: 148 maxlim: 74752 bits: 18/17 21.68 c ---[1061]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 21.70 c ---[1059]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 21.72 c ---[1057]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 21.73 c ---[1055]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 21.74 c ---[1053]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 21.76 c ---[1051]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 21.77 c ---[1049]---> Adder-cost: 138 maxlim: 67584 bits: 18/17 21.79 c ---[1047]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 21.81 c ---[1045]---> Sorter-cost: 1057 Base: 2 2 2 2 2 2 2 2 2 2 7 21.82 c ---[1043]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 21.83 c ---[1041]---> Sorter-cost: 1257 Base: 2 2 2 2 2 2 2 2 2 2 7 21.84 c ---[1039]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 21.85 c ---[1037]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 21.86 c ---[1035]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 21.86 c ---[1033]---> Sorter-cost: 438 Base: 2 2 2 2 2 2 2 2 2 2 7 21.87 c ---[1031]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 21.87 c ---[1029]---> Sorter-cost: 456 Base: 2 2 2 2 2 2 2 2 2 2 7 21.88 c ---[1027]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 21.88 c ---[1025]---> Sorter-cost: 395 Base: 2 2 2 2 2 2 2 2 2 2 7 21.89 c ---[1023]---> Sorter-cost: 735 Base: 2 2 2 2 2 2 2 2 2 2 7 21.90 c ---[1021]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 21.90 c ---[1019]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 21.91 c ---[1017]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 21.92 c ---[1015]---> Sorter-cost: 933 Base: 2 2 2 2 2 2 2 2 2 2 7 21.93 c ---[1013]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 21.94 c ---[1011]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 21.96 c ---[1009]---> Adder-cost: 136 maxlim: 68608 bits: 18/17 21.98 c ---[1007]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 22.00 c ---[1005]---> Sorter-cost: 659 Base: 2 2 2 2 2 2 2 2 2 2 7 22.00 c ---[1003]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 22.01 c ---[1001]---> Adder-cost: 122 maxlim: 61440 bits: 17/16 22.02 c ---[ 999]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 22.04 c ---[ 997]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 22.04 c ---[ 995]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 22.05 c ---[ 993]---> Sorter-cost: 583 Base: 2 2 2 2 2 2 2 2 2 2 7 22.06 c ---[ 991]---> Sorter-cost: 650 Base: 2 2 2 2 2 2 2 2 2 2 7 22.06 c ---[ 989]---> Sorter-cost: 1115 Base: 2 2 2 2 2 2 2 2 2 2 7 22.07 c ---[ 987]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 22.08 c ---[ 985]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 22.10 c ---[ 983]---> Sorter-cost: 1259 Base: 2 2 2 2 2 2 2 2 2 2 7 22.11 c ---[ 981]---> Sorter-cost: 1059 Base: 2 2 2 2 2 2 2 2 2 2 7 22.12 c ---[ 979]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 22.13 c ---[ 977]---> Sorter-cost: 648 Base: 2 2 2 2 2 2 2 2 2 2 7 22.13 c ---[ 975]---> Sorter-cost: 530 Base: 2 2 2 2 2 2 2 2 2 2 7 22.14 c ---[ 973]---> Sorter-cost: 674 Base: 2 2 2 2 2 2 2 2 2 2 7 22.15 c ---[ 971]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 22.16 c ---[ 969]---> Sorter-cost: 1057 Base: 2 2 2 2 2 2 2 2 2 2 7 22.16 c ---[ 967]---> Sorter-cost: 929 Base: 2 2 2 2 2 2 2 2 2 2 7 22.17 c ---[ 965]---> Sorter-cost: 943 Base: 2 2 2 2 2 2 2 2 2 2 7 22.18 c ---[ 963]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 22.19 c ---[ 961]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 22.20 c ---[ 959]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 22.21 c ---[ 957]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 22.22 c ---[ 955]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 22.23 c ---[ 953]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 22.24 c ---[ 951]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 22.25 c ---[ 949]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 22.26 c ---[ 947]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 22.26 c ---[ 945]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 22.27 c ---[ 943]---> Sorter-cost: 1240 Base: 2 2 2 2 2 2 2 2 2 2 7 22.28 c ---[ 941]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 22.29 c ---[ 939]---> Adder-cost: 118 maxlim: 59392 bits: 17/16 22.31 c ---[ 937]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 22.32 c ---[ 935]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 22.33 c ---[ 933]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 22.34 c ---[ 931]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 22.34 c ---[ 929]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 22.35 c ---[ 927]---> Sorter-cost: 700 Base: 2 2 2 2 2 2 2 2 2 2 7 22.36 c ---[ 925]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 22.36 c ---[ 923]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 22.37 c ---[ 921]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 22.38 c ---[ 919]---> Sorter-cost: 390 Base: 2 2 2 2 2 2 2 2 2 2 7 22.38 c ---[ 917]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 22.39 c ---[ 915]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 22.40 c ---[ 913]---> Sorter-cost: 977 Base: 2 2 2 2 2 2 2 2 2 2 7 22.41 c ---[ 911]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 22.42 c ---[ 909]---> Sorter-cost: 1089 Base: 2 2 2 2 2 2 2 2 2 2 7 22.43 c ---[ 907]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 22.44 c ---[ 905]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 22.45 c ---[ 903]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 22.46 c ---[ 901]---> Sorter-cost: 690 Base: 2 2 2 2 2 2 2 2 2 2 7 22.47 c ---[ 899]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 22.48 c ---[ 897]---> Sorter-cost: 718 Base: 2 2 2 2 2 2 2 2 2 2 7 22.48 c ---[ 895]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 22.49 c ---[ 893]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 22.50 c ---[ 891]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 22.52 c ---[ 889]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 22.53 c ---[ 887]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 22.54 c ---[ 885]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 22.55 c ---[ 883]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 22.55 c ---[ 881]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 22.56 c ---[ 879]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 22.57 c ---[ 877]---> Sorter-cost: 729 Base: 2 2 2 2 2 2 2 2 2 2 7 22.57 c ---[ 875]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 22.58 c ---[ 873]---> Sorter-cost: 670 Base: 2 2 2 2 2 2 2 2 2 2 7 22.59 c ---[ 871]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 22.59 c ---[ 869]---> Sorter-cost: 546 Base: 2 2 2 2 2 2 2 2 2 2 7 22.60 c ---[ 867]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 22.61 c ---[ 865]---> Adder-cost: 108 maxlim: 53248 bits: 17/16 22.62 c ---[ 863]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 22.63 c ---[ 861]---> Adder-cost: 102 maxlim: 56320 bits: 17/16 22.65 c ---[ 859]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 22.66 c ---[ 857]---> Adder-cost: 166 maxlim: 82944 bits: 18/17 22.68 c ---[ 855]---> Adder-cost: 174 maxlim: 88064 bits: 18/17 22.70 c ---[ 853]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 22.71 c ---[ 851]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 22.72 c ---[ 849]---> Sorter-cost: 692 Base: 2 2 2 2 2 2 2 2 2 2 7 22.73 c ---[ 847]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 22.73 c ---[ 845]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 22.74 c ---[ 843]---> Sorter-cost: 641 Base: 2 2 2 2 2 2 2 2 2 2 7 22.75 c ---[ 841]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 22.76 c ---[ 839]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 22.77 c ---[ 837]---> Sorter-cost: 1305 Base: 2 2 2 2 2 2 2 2 2 2 7 22.79 c ---[ 835]---> Sorter-cost: 1247 Base: 2 2 2 2 2 2 2 2 2 2 7 22.80 c ---[ 833]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 22.81 c ---[ 831]---> Sorter-cost: 1255 Base: 2 2 2 2 2 2 2 2 2 2 7 22.82 c ---[ 829]---> Sorter-cost: 688 Base: 2 2 2 2 2 2 2 2 2 2 7 22.83 c ---[ 827]---> Sorter-cost: 771 Base: 2 2 2 2 2 2 2 2 2 2 7 22.84 c ---[ 825]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 22.85 c ---[ 823]---> Sorter-cost: 747 Base: 2 2 2 2 2 2 2 2 2 2 7 22.85 c ---[ 821]---> Sorter-cost: 697 Base: 2 2 2 2 2 2 2 2 2 2 7 22.86 c ---[ 819]---> Sorter-cost: 879 Base: 2 2 2 2 2 2 2 2 2 2 7 22.87 c ---[ 817]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 22.88 c ---[ 815]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 22.88 c ---[ 813]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 22.89 c ---[ 811]---> Sorter-cost: 408 Base: 2 2 2 2 2 2 2 2 2 2 7 22.89 c ---[ 809]---> Sorter-cost: 405 Base: 2 2 2 2 2 2 2 2 2 2 7 22.90 c ---[ 807]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 22.91 c ---[ 805]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 22.92 c ---[ 803]---> Adder-cost: 108 maxlim: 53248 bits: 17/16 22.93 c ---[ 801]---> Sorter-cost: 735 Base: 2 2 2 2 2 2 2 2 2 2 7 22.94 c ---[ 799]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 22.95 c ---[ 797]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 22.96 c ---[ 795]---> Sorter-cost: 781 Base: 2 2 2 2 2 2 2 2 2 2 7 22.96 c ---[ 793]---> Sorter-cost: 1245 Base: 2 2 2 2 2 2 2 2 2 2 7 22.97 c ---[ 791]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 22.99 c ---[ 789]---> Sorter-cost: 422 Base: 2 2 2 2 2 2 2 2 2 2 7 22.99 c ---[ 787]---> Sorter-cost: 468 Base: 2 2 2 2 2 2 2 2 2 2 7 23.00 c ---[ 785]---> Adder-cost: 124 maxlim: 63488 bits: 17/16 23.01 c ---[ 783]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 23.03 c ---[ 781]---> Sorter-cost: 692 Base: 2 2 2 2 2 2 2 2 2 2 7 23.03 c ---[ 779]---> Sorter-cost: 646 Base: 2 2 2 2 2 2 2 2 2 2 7 23.04 c ---[ 777]---> Sorter-cost: 775 Base: 2 2 2 2 2 2 2 2 2 2 7 23.05 c ---[ 775]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 23.06 c ---[ 773]---> Sorter-cost: 1123 Base: 2 2 2 2 2 2 2 2 2 2 7 23.07 c ---[ 771]---> Sorter-cost: 1048 Base: 2 2 2 2 2 2 2 2 2 2 7 23.08 c ---[ 769]---> Sorter-cost: 591 Base: 2 2 2 2 2 2 2 2 2 2 7 23.08 c ---[ 767]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 23.09 c ---[ 765]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 23.10 c ---[ 763]---> Sorter-cost: 1050 Base: 2 2 2 2 2 2 2 2 2 2 7 23.11 c ---[ 761]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 23.12 c ---[ 759]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 23.12 c ---[ 757]---> Sorter-cost: 969 Base: 2 2 2 2 2 2 2 2 2 2 7 23.13 c ---[ 755]---> Sorter-cost: 649 Base: 2 2 2 2 2 2 2 2 2 2 7 23.14 c ---[ 753]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 23.15 c ---[ 751]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 23.15 c ---[ 749]---> Sorter-cost: 369 Base: 2 2 2 2 2 2 2 2 2 2 7 23.16 c ---[ 747]---> Adder-cost: 132 maxlim: 67584 bits: 18/17 23.18 c ---[ 745]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 23.20 c ---[ 743]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 23.21 c ---[ 741]---> Sorter-cost: 1024 Base: 2 2 2 2 2 2 2 2 2 2 7 23.22 c ---[ 739]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 23.23 c ---[ 737]---> Sorter-cost: 1279 Base: 2 2 2 2 2 2 2 2 2 2 7 23.25 c ---[ 735]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 23.26 c ---[ 733]---> Sorter-cost: 1149 Base: 2 2 2 2 2 2 2 2 2 2 7 23.27 c ---[ 731]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 23.28 c ---[ 729]---> Sorter-cost: 1219 Base: 2 2 2 2 2 2 2 2 2 2 7 23.29 c ---[ 727]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 23.30 c ---[ 725]---> Sorter-cost: 1180 Base: 2 2 2 2 2 2 2 2 2 2 7 23.31 c ---[ 723]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 23.32 c ---[ 721]---> Adder-cost: 150 maxlim: 75776 bits: 18/17 23.34 c ---[ 719]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 23.36 c ---[ 717]---> Adder-cost: 156 maxlim: 78848 bits: 18/17 23.38 c ---[ 715]---> Adder-cost: 60 maxlim: 78848 bits: 18/17 23.40 c ---[ 713]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 23.41 c ---[ 711]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 23.42 c ---[ 709]---> Sorter-cost: 1263 Base: 2 2 2 2 2 2 2 2 2 2 7 23.43 c ---[ 707]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 23.45 c ---[ 705]---> Adder-cost: 118 maxlim: 61440 bits: 17/16 23.46 c ---[ 703]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 23.48 c ---[ 701]---> Sorter-cost: 1307 Base: 2 2 2 2 2 2 2 2 2 2 7 23.49 c ---[ 699]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 23.50 c ---[ 697]---> Sorter-cost: 1265 Base: 2 2 2 2 2 2 2 2 2 2 7 23.51 c ---[ 695]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 23.52 c ---[ 693]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 23.53 c ---[ 691]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 23.54 c ---[ 689]---> Sorter-cost: 688 Base: 2 2 2 2 2 2 2 2 2 2 7 23.55 c ---[ 687]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 23.56 c ---[ 685]---> Sorter-cost: 668 Base: 2 2 2 2 2 2 2 2 2 2 7 23.56 c ---[ 683]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 23.57 c ---[ 681]---> Sorter-cost: 775 Base: 2 2 2 2 2 2 2 2 2 2 7 23.58 c ---[ 679]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 23.59 c ---[ 677]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 23.59 c ---[ 675]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 23.60 c ---[ 673]---> Sorter-cost: 935 Base: 2 2 2 2 2 2 2 2 2 2 7 23.61 c ---[ 671]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 23.62 c ---[ 669]---> Sorter-cost: 686 Base: 2 2 2 2 2 2 2 2 2 2 7 23.62 c ---[ 667]---> Sorter-cost: 559 Base: 2 2 2 2 2 2 2 2 2 2 7 23.63 c ---[ 665]---> Adder-cost: 174 maxlim: 91136 bits: 18/17 23.65 c ---[ 663]---> Adder-cost: 72 maxlim: 91136 bits: 18/17 23.68 c ---[ 661]---> Adder-cost: 190 maxlim: 101376 bits: 18/17 23.70 c ---[ 659]---> Adder-cost: 348 maxlim: 198656 bits: 19/18 23.75 c ---[ 657]---> Adder-cost: 116 maxlim: 198656 bits: 19/18 23.80 c ---[ 655]---> Adder-cost: 332 maxlim: 191488 bits: 19/18 23.85 c ---[ 653]---> Adder-cost: 104 maxlim: 191488 bits: 19/18 23.90 c ---[ 651]---> Adder-cost: 334 maxlim: 198656 bits: 19/18 23.95 c ---[ 649]---> Adder-cost: 116 maxlim: 198656 bits: 19/18 24.00 c ---[ 647]---> Adder-cost: 350 maxlim: 237568 bits: 19/18 24.05 c ---[ 645]---> Adder-cost: 128 maxlim: 237568 bits: 19/18 24.11 c ---[ 643]---> Adder-cost: 352 maxlim: 195584 bits: 19/18 24.16 c ---[ 641]---> Adder-cost: 108 maxlim: 195584 bits: 19/18 24.21 c ---[ 639]---> Adder-cost: 314 maxlim: 197632 bits: 19/18 24.26 c ---[ 637]---> Adder-cost: 330 maxlim: 196608 bits: 19/18 24.30 c ---[ 635]---> Adder-cost: 522 maxlim: 296960 bits: 20/19 24.38 c ---[ 633]---> Adder-cost: 512 maxlim: 292864 bits: 20/19 24.46 c ---[ 631]---> Adder-cost: 390 maxlim: 226304 bits: 19/18 24.51 c ---[ 629]---> Adder-cost: 498 maxlim: 291840 bits: 20/19 24.59 c ---[ 627]---> Adder-cost: 426 maxlim: 252928 bits: 19/18 24.66 c ---[ 625]---> Adder-cost: 434 maxlim: 259072 bits: 19/18 24.72 c ---[ 623]---> Adder-cost: 390 maxlim: 233472 bits: 19/18 24.78 c ---[ 621]---> Adder-cost: 320 maxlim: 200704 bits: 19/18 24.83 c ---[ 619]---> Adder-cost: 346 maxlim: 201728 bits: 19/18 24.88 c ---[ 617]---> Adder-cost: 114 maxlim: 201728 bits: 19/18 24.93 c ---[ 615]---> Adder-cost: 432 maxlim: 266240 bits: 20/19 25.00 c ---[ 613]---> Adder-cost: 142 maxlim: 266240 bits: 20/19 25.07 c ---[ 611]---> Adder-cost: 398 maxlim: 259072 bits: 19/18 25.13 c ---[ 609]---> Adder-cost: 124 maxlim: 259072 bits: 19/18 25.20 c ---[ 607]---> Adder-cost: 360 maxlim: 216064 bits: 19/18 25.25 c ---[ 605]---> Adder-cost: 116 maxlim: 216064 bits: 19/18 25.30 c ---[ 603]---> Adder-cost: 248 maxlim: 149504 bits: 19/18 25.34 c ---[ 601]---> Adder-cost: 92 maxlim: 149504 bits: 19/18 25.38 c ---[ 599]---> Adder-cost: 92 maxlim: 149504 bits: 19/18 25.42 c ---[ 597]---> Adder-cost: 92 maxlim: 149504 bits: 19/18 25.46 c ---[ 595]---> Adder-cost: 160 maxlim: 90112 bits: 18/17 25.48 c ---[ 593]---> Adder-cost: 72 maxlim: 90112 bits: 18/17 25.51 c ---[ 591]---> Adder-cost: 138 maxlim: 84992 bits: 18/17 25.53 c ---[ 589]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 25.55 c ---[ 587]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 25.58 c ---[ 585]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 25.60 c ---[ 583]---> Adder-cost: 104 maxlim: 77824 bits: 18/17 25.62 c ---[ 581]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 25.64 c ---[ 579]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 25.66 c ---[ 577]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 25.68 c ---[ 575]---> Adder-cost: 104 maxlim: 62464 bits: 17/16 25.70 c ---[ 573]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 25.71 c ---[ 571]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 25.73 c ---[ 569]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 25.74 c ---[ 567]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 25.75 c ---[ 565]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 25.76 c ---[ 563]---> Sorter-cost: 933 Base: 2 2 2 2 2 2 2 2 2 2 7 25.77 c ---[ 561]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 25.78 c ---[ 559]---> Sorter-cost: 572 Base: 2 2 2 2 2 2 2 2 2 2 7 25.79 c ---[ 557]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 25.79 c ---[ 555]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 25.80 c ---[ 553]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 25.81 c ---[ 551]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 25.81 c ---[ 549]---> Sorter-cost: 690 Base: 2 2 2 2 2 2 2 2 2 2 7 25.82 c ---[ 547]---> Sorter-cost: 704 Base: 2 2 2 2 2 2 2 2 2 2 7 25.83 c ---[ 545]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 25.83 c ---[ 543]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 25.84 c ---[ 541]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 25.85 c ---[ 539]---> Sorter-cost: 877 Base: 2 2 2 2 2 2 2 2 2 2 7 25.86 c ---[ 537]---> Sorter-cost: 1080 Base: 2 2 2 2 2 2 2 2 2 2 7 25.87 c ---[ 535]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 25.88 c ---[ 533]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 25.89 c ---[ 531]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 25.91 c ---[ 529]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 25.92 c ---[ 527]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 25.93 c ---[ 525]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 25.94 c ---[ 523]---> Adder-cost: 102 maxlim: 54272 bits: 17/16 25.95 c ---[ 521]---> Adder-cost: 170 maxlim: 86016 bits: 18/17 25.98 c ---[ 519]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 26.00 c ---[ 517]---> Adder-cost: 164 maxlim: 83968 bits: 18/17 26.02 c ---[ 515]---> Adder-cost: 144 maxlim: 79872 bits: 18/17 26.04 c ---[ 513]---> Adder-cost: 122 maxlim: 62464 bits: 17/16 26.06 c ---[ 511]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 26.07 c ---[ 509]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 26.08 c ---[ 507]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 26.08 c ---[ 505]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 26.08 c ---[ 503]---> Sorter-cost: 1183 Base: 2 2 2 2 2 2 2 2 2 2 7 26.09 c ---[ 501]---> Sorter-cost: 1023 Base: 2 2 2 2 2 2 2 2 2 2 7 26.10 c ---[ 499]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 26.12 c ---[ 497]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 26.13 c ---[ 495]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 26.14 c ---[ 493]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 26.15 c ---[ 491]---> Sorter-cost: 568 Base: 2 2 2 2 2 2 2 2 2 2 7 26.16 c ---[ 489]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 26.17 c ---[ 487]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 26.17 c ---[ 485]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 26.18 c ---[ 483]---> Sorter-cost: 654 Base: 2 2 2 2 2 2 2 2 2 2 7 26.19 c ---[ 481]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 26.19 c ---[ 479]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 26.20 c ---[ 477]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 26.21 c ---[ 475]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 7 26.23 c ---[ 473]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 26.24 c ---[ 471]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 26.25 c ---[ 469]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 26.26 c ---[ 467]---> Adder-cost: 118 maxlim: 59392 bits: 17/16 26.28 c ---[ 465]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 26.29 c ---[ 463]---> Adder-cost: 134 maxlim: 66560 bits: 18/17 26.31 c ---[ 461]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 26.33 c ---[ 459]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 26.34 c ---[ 457]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 26.35 c ---[ 455]---> Sorter-cost: 1153 Base: 2 2 2 2 2 2 2 2 2 2 7 26.36 c ---[ 453]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 26.37 c ---[ 451]---> Adder-cost: 154 maxlim: 75776 bits: 18/17 26.39 c ---[ 449]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 26.41 c ---[ 447]---> Adder-cost: 154 maxlim: 80896 bits: 18/17 26.44 c ---[ 445]---> Adder-cost: 62 maxlim: 80896 bits: 18/17 26.46 c ---[ 443]---> Adder-cost: 140 maxlim: 65536 bits: 18/17 26.48 c ---[ 441]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 26.49 c ---[ 439]---> Adder-cost: 160 maxlim: 80896 bits: 18/17 26.52 c ---[ 437]---> Adder-cost: 62 maxlim: 80896 bits: 18/17 26.54 c ---[ 435]---> Sorter-cost: 993 Base: 2 2 2 2 2 2 2 2 2 2 7 26.55 c ---[ 433]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 26.56 c ---[ 431]---> Sorter-cost: 305 Base: 2 2 2 2 2 2 2 2 2 2 2 26.56 c ---[ 429]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 26.56 c ---[ 427]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 26.57 c ---[ 425]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 26.58 c ---[ 423]---> Sorter-cost: 985 Base: 2 2 2 2 2 2 2 2 2 2 7 26.59 c ---[ 421]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 26.60 c ---[ 419]---> Sorter-cost: 947 Base: 2 2 2 2 2 2 2 2 2 2 7 26.61 c ---[ 417]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 26.61 c ---[ 415]---> Sorter-cost: 921 Base: 2 2 2 2 2 2 2 2 2 2 7 26.62 c ---[ 413]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 26.63 c ---[ 411]---> Adder-cost: 140 maxlim: 65536 bits: 18/17 26.65 c ---[ 409]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 26.67 c ---[ 407]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 26.69 c ---[ 405]---> Sorter-cost: 632 Base: 2 2 2 2 2 2 2 2 2 2 7 26.69 c ---[ 403]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 26.70 c ---[ 401]---> Sorter-cost: 676 Base: 2 2 2 2 2 2 2 2 2 2 7 26.71 c ---[ 399]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 26.71 c ---[ 397]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 26.73 c ---[ 395]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 26.74 c ---[ 393]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 26.75 c ---[ 391]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 26.77 c ---[ 389]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 26.78 c ---[ 387]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 26.79 c ---[ 385]---> Adder-cost: 142 maxlim: 67584 bits: 18/17 26.81 c ---[ 383]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 26.83 c ---[ 381]---> Adder-cost: 138 maxlim: 71680 bits: 18/17 26.85 c ---[ 379]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 26.87 c ---[ 377]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 26.88 c ---[ 375]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 26.88 c ---[ 373]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 26.89 c ---[ 371]---> Adder-cost: 114 maxlim: 63488 bits: 17/16 26.90 c ---[ 369]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 26.92 c ---[ 367]---> Sorter-cost: 1303 Base: 2 2 2 2 2 2 2 2 2 2 7 26.93 c ---[ 365]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 26.94 c ---[ 363]---> Sorter-cost: 464 Base: 2 2 2 2 2 2 2 2 2 2 7 26.95 c ---[ 361]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 26.95 c ---[ 359]---> Sorter-cost: 609 Base: 2 2 2 2 2 2 2 2 2 2 7 26.96 c ---[ 357]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 26.96 c ---[ 355]---> Adder-cost: 108 maxlim: 53248 bits: 17/16 26.98 c ---[ 353]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 26.99 c ---[ 351]---> Adder-cost: 116 maxlim: 57344 bits: 17/16 27.01 c ---[ 349]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 27.02 c ---[ 347]---> Adder-cost: 138 maxlim: 66560 bits: 18/17 27.04 c ---[ 345]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 27.06 c ---[ 343]---> Sorter-cost: 1251 Base: 2 2 2 2 2 2 2 2 2 2 7 27.07 c ---[ 341]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 27.08 c ---[ 339]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 27.09 c ---[ 337]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 27.11 c ---[ 335]---> Adder-cost: 164 maxlim: 82944 bits: 18/17 27.13 c ---[ 333]---> Adder-cost: 68 maxlim: 82944 bits: 18/17 27.15 c ---[ 331]---> Adder-cost: 146 maxlim: 76800 bits: 18/17 27.17 c ---[ 329]---> Adder-cost: 62 maxlim: 76800 bits: 18/17 27.19 c ---[ 327]---> Adder-cost: 108 maxlim: 53248 bits: 17/16 27.21 c ---[ 325]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 27.22 c ---[ 323]---> Adder-cost: 114 maxlim: 57344 bits: 17/16 27.24 c ---[ 321]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 27.25 c ---[ 319]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 27.26 c ---[ 317]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 27.28 c ---[ 315]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 27.29 c ---[ 313]---> Sorter-cost: 602 Base: 2 2 2 2 2 2 2 2 2 2 7 27.29 c ---[ 311]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 27.30 c ---[ 309]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 27.31 c ---[ 307]---> Sorter-cost: 649 Base: 2 2 2 2 2 2 2 2 2 2 7 27.31 c ---[ 305]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 27.32 c ---[ 303]---> Sorter-cost: 630 Base: 2 2 2 2 2 2 2 2 2 2 7 27.33 c ---[ 301]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 27.33 c ---[ 299]---> Sorter-cost: 714 Base: 2 2 2 2 2 2 2 2 2 2 7 27.34 c ---[ 297]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 27.35 c ---[ 295]---> Sorter-cost: 860 Base: 2 2 2 2 2 2 2 2 2 2 7 27.36 c ---[ 293]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 27.37 c ---[ 291]---> Adder-cost: 228 maxlim: 117760 bits: 18/17 27.40 c ---[ 289]---> Adder-cost: 76 maxlim: 117760 bits: 18/17 27.43 c ---[ 287]---> Adder-cost: 76 maxlim: 117760 bits: 18/17 27.46 c ---[ 285]---> Sorter-cost: 1085 Base: 2 2 2 2 2 2 2 2 2 2 7 27.47 c ---[ 283]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 27.48 c ---[ 281]---> Sorter-cost: 662 Base: 2 2 2 2 2 2 2 2 2 2 7 27.49 c ---[ 279]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 27.50 c ---[ 277]---> Sorter-cost: 1186 Base: 2 2 2 2 2 2 2 2 2 2 7 27.51 c ---[ 275]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 27.52 c ---[ 273]---> Adder-cost: 116 maxlim: 60416 bits: 17/16 27.53 c ---[ 271]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 27.55 c ---[ 269]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 27.56 c ---[ 267]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 27.57 c ---[ 265]---> Sorter-cost: 917 Base: 2 2 2 2 2 2 2 2 2 2 7 27.58 c ---[ 263]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 27.59 c ---[ 261]---> Sorter-cost: 1153 Base: 2 2 2 2 2 2 2 2 2 2 7 27.60 c ---[ 259]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 27.61 c ---[ 257]---> Sorter-cost: 959 Base: 2 2 2 2 2 2 2 2 2 2 7 27.62 c ---[ 255]---> Sorter-cost: 1238 Base: 2 2 2 2 2 2 2 2 2 2 7 27.63 c ---[ 253]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 27.64 c ---[ 251]---> Adder-cost: 138 maxlim: 68608 bits: 18/17 27.66 c ---[ 249]---> Adder-cost: 126 maxlim: 69632 bits: 18/17 27.68 c ---[ 247]---> Adder-cost: 130 maxlim: 71680 bits: 18/17 27.70 c ---[ 245]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 27.72 c ---[ 243]---> Sorter-cost: 632 Base: 2 2 2 2 2 2 2 2 2 2 7 27.73 c ---[ 241]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 27.73 c ---[ 239]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 27.74 c ---[ 237]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 27.75 c ---[ 235]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 27.76 c ---[ 233]---> Adder-cost: 92 maxlim: 55296 bits: 17/16 27.78 c ---[ 231]---> Sorter-cost: 1307 Base: 2 2 2 2 2 2 2 2 2 2 7 27.79 c ---[ 229]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 27.80 c ---[ 227]---> Sorter-cost: 1149 Base: 2 2 2 2 2 2 2 2 2 2 7 27.81 c ---[ 225]---> Sorter-cost: 1123 Base: 2 2 2 2 2 2 2 2 2 2 7 27.82 c ---[ 223]---> Sorter-cost: 1136 Base: 2 2 2 2 2 2 2 2 2 2 7 27.83 c ---[ 221]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 27.85 c ---[ 219]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 27.86 c ---[ 217]---> Adder-cost: 82 maxlim: 54272 bits: 17/16 27.87 c ---[ 215]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 27.88 c ---[ 213]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 27.89 c ---[ 211]---> Sorter-cost: 904 Base: 2 2 2 2 2 2 2 2 2 2 7 27.90 c ---[ 209]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 27.90 c ---[ 207]---> Sorter-cost: 945 Base: 2 2 2 2 2 2 2 2 2 2 7 27.91 c ---[ 205]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 27.92 c ---[ 203]---> Sorter-cost: 1024 Base: 2 2 2 2 2 2 2 2 2 2 7 27.93 c ---[ 201]---> Sorter-cost: 945 Base: 2 2 2 2 2 2 2 2 2 2 7 27.94 c ---[ 199]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 27.95 c ---[ 197]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 27.96 c ---[ 195]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 27.96 c ---[ 193]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 27.97 c ---[ 191]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 27.97 c ---[ 189]---> Adder-cost: 176 maxlim: 90112 bits: 18/17 28.00 c ---[ 187]---> Adder-cost: 104 maxlim: 91136 bits: 18/17 28.02 c ---[ 185]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 28.03 c ---[ 183]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 28.04 c ---[ 181]---> Sorter-cost: 464 Base: 2 2 2 2 2 2 2 2 2 2 7 28.04 c ---[ 179]---> Sorter-cost: 438 Base: 2 2 2 2 2 2 2 2 2 2 7 28.05 c ---[ 177]---> Sorter-cost: 1074 Base: 2 2 2 2 2 2 2 2 2 2 7 28.06 c ---[ 175]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 28.07 c ---[ 173]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 28.08 c ---[ 171]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 28.10 c ---[ 169]---> Adder-cost: 140 maxlim: 71680 bits: 18/17 28.12 c ---[ 167]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 28.14 c ---[ 165]---> Adder-cost: 110 maxlim: 57344 bits: 17/16 28.15 c ---[ 163]---> Adder-cost: 86 maxlim: 58368 bits: 17/16 28.17 c ---[ 161]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 28.18 c ---[ 159]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 28.19 c ---[ 157]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 28.21 c ---[ 155]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 7 28.22 c ---[ 153]---> Sorter-cost: 659 Base: 2 2 2 2 2 2 2 2 2 2 7 28.23 c ---[ 151]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 28.23 c ---[ 149]---> Sorter-cost: 572 Base: 2 2 2 2 2 2 2 2 2 2 7 28.24 c ---[ 147]---> Sorter-cost: 416 Base: 2 2 2 2 2 2 2 2 2 2 7 28.25 c ---[ 145]---> Sorter-cost: 435 Base: 2 2 2 2 2 2 2 2 2 2 7 28.25 c ---[ 143]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 28.26 c ---[ 141]---> Sorter-cost: 674 Base: 2 2 2 2 2 2 2 2 2 2 7 28.26 c ---[ 139]---> Sorter-cost: 611 Base: 2 2 2 2 2 2 2 2 2 2 7 28.27 c ---[ 137]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 28.28 c ---[ 135]---> Sorter-cost: 955 Base: 2 2 2 2 2 2 2 2 2 2 7 28.29 c ---[ 133]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 28.30 c ---[ 131]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 28.31 c ---[ 129]---> Sorter-cost: 659 Base: 2 2 2 2 2 2 2 2 2 2 7 28.31 c ---[ 127]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 28.32 c ---[ 125]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 28.33 c ---[ 123]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 28.35 c ---[ 121]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 28.36 c ---[ 119]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 28.37 c ---[ 117]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 28.37 c ---[ 115]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 28.38 c ---[ 113]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 28.40 c ---[ 111]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 28.41 c ---[ 109]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 28.42 c ---[ 107]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 28.43 c ---[ 105]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 28.44 c ---[ 103]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 28.45 c ---[ 101]---> Sorter-cost: 933 Base: 2 2 2 2 2 2 2 2 2 2 7 28.46 c ---[ 99]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 28.47 c ---[ 97]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 28.48 c ---[ 95]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 28.49 c ---[ 93]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 28.50 c ---[ 91]---> Sorter-cost: 443 Base: 2 2 2 2 2 2 2 2 2 2 7 28.50 c ---[ 89]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 28.51 c ---[ 87]---> Sorter-cost: 405 Base: 2 2 2 2 2 2 2 2 2 2 7 28.51 c ---[ 85]---> Adder-cost: 110 maxlim: 55296 bits: 17/16 28.53 c ---[ 83]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 28.54 c ---[ 81]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 28.55 c ---[ 79]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 28.56 c ---[ 77]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 28.57 c ---[ 75]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 28.59 c ---[ 73]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 28.60 c ---[ 71]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 28.60 c ---[ 69]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 28.61 c ---[ 67]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 28.61 c ---[ 65]---> Sorter-cost: 735 Base: 2 2 2 2 2 2 2 2 2 2 7 28.62 c ---[ 63]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 28.63 c ---[ 61]---> Adder-cost: 112 maxlim: 58368 bits: 17/16 28.64 c ---[ 59]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 28.66 c ---[ 57]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 28.67 c ---[ 55]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 28.69 c ---[ 53]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 28.70 c ---[ 51]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 28.71 c ---[ 49]---> Sorter-cost: 647 Base: 2 2 2 2 2 2 2 2 2 2 7 28.71 c ---[ 47]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 28.72 c ---[ 45]---> Sorter-cost: 638 Base: 2 2 2 2 2 2 2 2 2 2 7 28.73 c ---[ 43]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 28.73 c ---[ 41]---> Sorter-cost: 731 Base: 2 2 2 2 2 2 2 2 2 2 7 28.74 c ---[ 39]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 28.75 c ---[ 37]---> Adder-cost: 136 maxlim: 65536 bits: 18/17 28.77 c ---[ 35]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 28.79 c ---[ 33]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 28.81 c ---[ 31]---> Sorter-cost: 653 Base: 2 2 2 2 2 2 2 2 2 2 7 28.81 c ---[ 29]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 28.82 c ---[ 27]---> Sorter-cost: 1246 Base: 2 2 2 2 2 2 2 2 2 2 7 28.83 c ---[ 25]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 28.84 c ---[ 23]---> Sorter-cost: 1248 Base: 2 2 2 2 2 2 2 2 2 2 7 28.86 c ---[ 21]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 28.87 c ---[ 19]---> Sorter-cost: 997 Base: 2 2 2 2 2 2 2 2 2 2 7 28.88 c ---[ 17]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 28.89 c ---[ 15]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 28.90 c ---[ 13]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 28.91 c ---[ 11]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 28.92 c ---[ 9]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 28.92 c ---[ 8]---> minisat+: ADTs/Global.h:107: T* xmalloc(size_t) [with T = VecAlloc
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-35731-1149308362 -o ROOT/results/node33/solver-35731-1149308362 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node33/35731-1149308362/instance-35731-1149308362.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.95 2/64 18490 /proc/meminfo: memFree=1569248/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=1048 CPUtime=0 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 108 0 0 0 0 0 0 0 18 0 1 0 196500037 1073152 93 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 262 93 67 215 0 44 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.98 0.95 2/64 18490 /proc/meminfo: memFree=1532384/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=38848 CPUtime=9.99 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 12162 0 0 0 993 6 0 0 19 0 1 0 196500037 39780352 9297 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 9712 9297 109 215 0 9494 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 38848 [startup+20.009 s] /proc/loadavg: 0.94 0.98 0.95 2/64 18490 /proc/meminfo: memFree=1493536/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=77884 CPUtime=20 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 23907 0 0 0 1986 14 0 0 25 0 1 0 196500037 79753216 19023 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808955 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 19471 19023 109 215 0 19253 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 77884 [startup+30.0153 s] /proc/loadavg: 0.95 0.98 0.95 2/64 18490 /proc/meminfo: memFree=1482016/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=89576 CPUtime=29.97 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 26855 0 0 0 2981 16 0 0 25 0 1 0 196500037 91725824 21971 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134665153 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 22394 21971 109 215 0 22176 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 89576 [startup+40.0216 s] /proc/loadavg: 0.96 0.98 0.95 2/64 18490 /proc/meminfo: memFree=1419488/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=156560 CPUtime=39.98 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 44981 0 0 0 3974 24 0 0 25 0 1 0 196500037 160317440 37500 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134665767 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 39140 37500 109 215 0 38922 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 156560 [startup+50.0279 s] /proc/loadavg: 0.96 0.98 0.95 2/64 18490 /proc/meminfo: memFree=1376864/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=199180 CPUtime=49.98 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 58270 0 0 0 4969 29 0 0 25 0 1 0 196500037 203960320 48152 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 49795 48152 109 215 0 49577 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 199180 [startup+60.0342 s] /proc/loadavg: 0.97 0.98 0.95 2/64 18490 /proc/meminfo: memFree=1341088/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=233896 CPUtime=59.98 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 67191 0 0 0 5965 33 0 0 25 0 1 0 196500037 239509504 57073 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134662868 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 58474 57073 109 215 0 58256 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 233896 [startup+70.0405 s] /proc/loadavg: 0.97 0.98 0.95 2/64 18490 /proc/meminfo: memFree=1293216/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=281256 CPUtime=69.99 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 84405 0 0 0 6959 40 0 0 25 0 1 0 196500037 288006144 69014 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 70314 69014 109 215 0 70096 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 281256 [startup+80.0468 s] /proc/loadavg: 0.98 0.98 0.95 2/64 18490 /proc/meminfo: memFree=1261024/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=312672 CPUtime=79.99 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 92444 0 0 0 7955 44 0 0 25 0 1 0 196500037 320176128 77053 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134662796 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 78168 77053 109 215 0 77950 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 312672 [startup+90.053 s] /proc/loadavg: 0.98 0.98 0.95 2/64 18490 /proc/meminfo: memFree=1218336/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=354764 CPUtime=90 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 105723 0 0 0 8951 49 0 0 25 0 1 0 196500037 363278336 87695 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134665692 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 88691 87695 109 215 0 88473 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 354764 [startup+100.059 s] /proc/loadavg: 0.98 0.98 0.95 2/64 18490 /proc/meminfo: memFree=1181728/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=390404 CPUtime=100 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 114869 0 0 0 9948 52 0 0 25 0 1 0 196500037 399773696 96841 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134665767 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 97601 96841 109 215 0 97383 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 390404 [startup+110.066 s] /proc/loadavg: 0.98 0.98 0.95 2/64 18490 /proc/meminfo: memFree=1107040/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=472568 CPUtime=109.99 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 144028 0 0 0 10934 65 0 0 25 0 1 0 196500037 483909632 115454 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 118142 115454 109 215 0 117924 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 472568 [startup+120.072 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=1064288/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=515204 CPUtime=120 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 154685 0 0 0 11930 70 0 0 25 0 1 0 196500037 527568896 126111 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 128801 126111 109 215 0 128583 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 515204 [startup+130.078 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=1033120/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=546356 CPUtime=130.01 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 162462 0 0 0 12927 74 0 0 25 0 1 0 196500037 559468544 133888 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 136589 133888 109 215 0 136371 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 546356 [startup+140.084 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=1002976/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=576320 CPUtime=140.01 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 169976 0 0 0 13923 78 0 0 25 0 1 0 196500037 590151680 141402 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808989 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 144080 141402 109 215 0 143862 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 576320 [startup+150.091 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=971680/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=607604 CPUtime=150.01 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 177788 0 0 0 14921 80 0 0 25 0 1 0 196500037 622186496 149214 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 151901 149214 109 215 0 151683 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 607604 [startup+160.097 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=944288/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=634928 CPUtime=160.01 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 184629 0 0 0 15917 84 0 0 25 0 1 0 196500037 650166272 156055 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 158732 156055 109 215 0 158514 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 634928 [startup+170.102 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=914144/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=665024 CPUtime=170.02 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 192144 0 0 0 16915 87 0 0 25 0 1 0 196500037 680984576 163570 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006822 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 166256 163570 109 215 0 166038 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 665024 [startup+180.109 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=885728/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=693536 CPUtime=180.03 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 199255 0 0 0 17912 91 0 0 25 0 1 0 196500037 710180864 170681 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005282 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 173384 170681 109 215 0 173166 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 693536 [startup+190.115 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=689888/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=888928 CPUtime=190.03 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 248121 0 0 0 18892 111 0 0 25 0 1 0 196500037 910262272 219547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134667432 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 222232 219547 109 215 0 222014 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 888928 [startup+200.121 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=757024/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=821724 CPUtime=200.03 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 252422 0 0 0 19889 114 0 0 25 0 1 0 196500037 841445376 202757 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 205431 202757 109 215 0 205213 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 821724 [startup+210.128 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=718112/2055920 swapFree=4181332/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 380.09 Current children cumulated vsize (Kb) 1297056 [startup+390.239 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=16352/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=1650612 CPUtime=390.09 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 459736 0 0 0 38809 200 0 0 25 0 1 0 196500037 1690226688 410071 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005274 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 412653 410071 109 215 0 412435 0 Current children cumulated CPU time (s) 390.09 Current children cumulated vsize (Kb) 1650612 [startup+400.246 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=16352/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=1650612 CPUtime=400.1 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 459736 0 0 0 39810 200 0 0 25 0 1 0 196500037 1690226688 410071 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134667318 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 412653 410071 109 215 0 412435 0 Current children cumulated CPU time (s) 400.1 Current children cumulated vsize (Kb) 1650612 [startup+410.252 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=176288/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=1490728 CPUtime=410.1 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 461943 0 0 0 40806 204 0 0 25 0 1 0 196500037 1526505472 370096 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 372682 370096 109 215 0 372464 0 Current children cumulated CPU time (s) 410.1 Current children cumulated vsize (Kb) 1490728 [startup+420.259 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=158496/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=1508548 CPUtime=420.1 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 466376 0 0 0 41805 205 0 0 25 0 1 0 196500037 1544753152 374529 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006925 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 377137 374529 109 215 0 376919 0 Current children cumulated CPU time (s) 420.1 Current children cumulated vsize (Kb) 1508548 [startup+430.265 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=132128/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=1534288 CPUtime=430.11 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 472957 0 0 0 42803 208 0 0 25 0 1 0 196500037 1571110912 381110 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 383572 381110 109 215 0 383354 0 Current children cumulated CPU time (s) 430.11 Current children cumulated vsize (Kb) 1534288 [startup+440.271 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=110880/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=1555408 CPUtime=440.12 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 478265 0 0 0 43802 210 0 0 25 0 1 0 196500037 1592737792 386418 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005850 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 388852 386418 109 215 0 388634 0 Current children cumulated CPU time (s) 440.12 Current children cumulated vsize (Kb) 1555408 [startup+450.277 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=84064/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=1581808 CPUtime=450.12 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 484979 0 0 0 44799 213 0 0 25 0 1 0 196500037 1619771392 393132 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 395452 393133 109 215 0 395234 0 Current children cumulated CPU time (s) 450.12 Current children cumulated vsize (Kb) 1581808 [startup+460.285 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=58976/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=1606756 CPUtime=460.12 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 491230 0 0 0 45797 215 0 0 25 0 1 0 196500037 1645318144 399383 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 401689 399383 109 215 0 401471 0 Current children cumulated CPU time (s) 460.12 Current children cumulated vsize (Kb) 1606756 [startup+470.29 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=28384/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=1636060 CPUtime=470.12 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 498869 0 0 0 46793 219 0 0 25 0 1 0 196500037 1675325440 407022 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 409015 407022 109 215 0 408797 0 Current children cumulated CPU time (s) 470.12 Current children cumulated vsize (Kb) 1636060 [startup+480.296 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=15136/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=1661932 CPUtime=480.13 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 505638 0 0 0 47790 223 0 0 25 0 1 0 196500037 1701818368 413791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 415483 413791 109 215 0 415265 0 Current children cumulated CPU time (s) 480.13 Current children cumulated vsize (Kb) 1661932 [startup+490.303 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=15264/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=1677112 CPUtime=490.13 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 509435 0 0 0 48788 225 0 0 25 0 1 0 196500037 1717362688 417588 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006367 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 419278 417588 109 215 0 419060 0 Current children cumulated CPU time (s) 490.13 Current children cumulated vsize (Kb) 1677112 [startup+500.309 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=15456/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=1698364 CPUtime=500.13 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 514768 0 0 0 49785 228 0 0 25 0 1 0 196500037 1739124736 422921 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 424591 422921 109 215 0 424373 0 Current children cumulated CPU time (s) 500.13 Current children cumulated vsize (Kb) 1698364 [startup+510.315 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=16032/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=1720540 CPUtime=510.14 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 520445 0 0 0 50784 230 0 0 25 0 1 0 196500037 1761832960 428598 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134666931 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 430135 428598 109 215 0 429917 0 Current children cumulated CPU time (s) 510.14 Current children cumulated vsize (Kb) 1720540 [startup+520.321 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=15648/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=1736512 CPUtime=520.14 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 524436 0 0 0 51782 232 0 0 25 0 1 0 196500037 1778188288 432589 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 434128 432589 109 215 0 433910 0 Current children cumulated CPU time (s) 520.14 Current children cumulated vsize (Kb) 1736512 [startup+530.328 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=15712/2055920 swapFree=4181332/4192956 [pid=18490] ppid=18488 vsize=1752088 CPUtime=530.14 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 528314 0 0 0 52781 233 0 0 25 0 1 0 196500037 1794138112 436467 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 438022 436467 109 215 0 437804 0 Current children cumulated CPU time (s) 530.14 Current children cumulated vsize (Kb) 1752088 [startup+540.334 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=14816/2055920 swapFree=4181356/4192956 [pid=18490] ppid=18488 vsize=1768720 CPUtime=540.15 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 532479 0 0 0 53780 235 0 0 25 0 1 0 196500037 1811169280 440632 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134666974 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 442180 440632 109 215 0 441962 0 Current children cumulated CPU time (s) 540.15 Current children cumulated vsize (Kb) 1768720 [startup+550.34 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=15584/2055920 swapFree=4181356/4192956 [pid=18490] ppid=18488 vsize=1782448 CPUtime=550.15 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 535909 0 0 0 54778 237 0 0 25 0 1 0 196500037 1825226752 444062 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 445612 444062 109 215 0 445394 0 Current children cumulated CPU time (s) 550.15 Current children cumulated vsize (Kb) 1782448 [startup+560.347 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=15264/2055920 swapFree=4181356/4192956 [pid=18490] ppid=18488 vsize=1797100 CPUtime=560.15 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 539575 0 0 0 55777 238 0 0 25 0 1 0 196500037 1840230400 447728 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 449275 447728 109 215 0 449057 0 Current children cumulated CPU time (s) 560.15 Current children cumulated vsize (Kb) 1797100 [startup+570.353 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=15328/2055920 swapFree=4181356/4192956 [pid=18490] ppid=18488 vsize=1809904 CPUtime=570.16 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 542784 0 0 0 56776 240 0 0 25 0 1 0 196500037 1853341696 450937 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 452476 450937 109 215 0 452258 0 Current children cumulated CPU time (s) 570.16 Current children cumulated vsize (Kb) 1809904 [startup+580.36 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=16288/2055920 swapFree=4181356/4192956 [pid=18490] ppid=18488 vsize=1823236 CPUtime=580.16 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 546128 0 0 0 57775 241 0 0 25 0 1 0 196500037 1866993664 454281 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012086 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 455809 454281 109 215 0 455591 0 Current children cumulated CPU time (s) 580.16 Current children cumulated vsize (Kb) 1823236 [startup+590.366 s] /proc/loadavg: 0.99 0.98 0.95 2/64 18490 /proc/meminfo: memFree=15904/2055920 swapFree=4181356/4192956 [pid=18490] ppid=18488 vsize=1834984 CPUtime=590.17 /proc/18490/stat : 18490 (minisat+) R 18488 18490 18444 0 -1 4194304 549042 0 0 0 58774 243 0 0 25 0 1 0 196500037 1879023616 457195 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134666974 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18490/statm: 458746 457195 109 215 0 458528 0 Current children cumulated CPU time (s) 590.17 Current children cumulated vsize (Kb) 1834984 Child ended because it received signal 6 (SIGABRT) Real time (s): 596.951 CPU time (s): 596.752 CPU user time (s): 594.023 CPU system time (s): 2.72958 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (Kb): 1834984 The end
Begin job on node33 on Sat Jun 3 04:19:22 UTC 2006 FILE ID= 35731-1149308362 PBS_JOBID= 307756 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1c.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node33/35731-1149308362/instance-35731-1149308362.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-35731-1149308362 -o ROOT/results/node33/solver-35731-1149308362 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node33/35731-1149308362/instance-35731-1149308362.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= aae7296985adde1f17776b4f5ad45572 RANDOM SEED= 596159740 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1569456 kB Buffers: 31036 kB Cached: 382056 kB SwapCached: 3544 kB Active: 81036 kB Inactive: 341000 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1569456 kB SwapTotal: 4192956 kB SwapFree: 4181332 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14912 kB Slab: 50512 kB Committed_AS: 304584 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node33 on Sat Jun 3 04:29:19 UTC 2006