| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | ? (TO) | 1800.02 | 1800.3 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dolom1.opb |
| MD5SUM | 0b7be4a8ca67db62b7397f891414d40c |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 18720440947643392 |
| Optimality of the best value was proved | NO |
| Number of variables | 66480 |
| Total number of constraints | 1802 |
| 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 | 1802 |
| Minimum length of a constraint | 40 |
| Maximum length of a constraint | 66480 |
| Number of terms in the objective function | 66480 |
| 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 | 35987090508169209146105 |
| Number of bits of the sum of numbers in the objective function | 75 |
| Biggest number in a constraint | 536870912000000000000 |
| Number of bits of the biggest number in a constraint | 69 |
| Biggest sum of numbers in a constraint | 35987192908169209146105 |
| Number of bits of the biggest sum of numbers | 75 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 2.69/2.72 c Converting 3495 PB-constraints to clauses... 2.69/2.73 c -- Unit propagations: (none) 2.69/2.74 c -- Detecting intervals from adjacent constraints: ############################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################# 2.69/2.78 c -- Clauses(.)/Splits(s): ssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssss 2.88/2.93 c ---[3562]---> Adder-cost: 192 maxlim: 97280 bits: 18/17 2.88/2.94 c ---[3560]---> Sorter-cost: 720 Base: 2 2 2 2 2 2 2 2 2 2 7 2.88/2.94 c ---[3558]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 2.88/2.95 c ---[3556]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 2.88/2.95 c ---[3554]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 2.88/2.96 c ---[3552]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 2.88/2.97 c ---[3550]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 2.88/2.97 c ---[3548]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 2.88/2.98 c ---[3546]---> Sorter-cost: 656 Base: 2 2 2 2 2 2 2 2 2 2 7 2.88/2.98 c ---[3544]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 2.88/2.99 c ---[3542]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 2.88/2.99 c ---[3540]---> Adder-cost: 136 maxlim: 68608 bits: 18/17 2.98/3.00 c ---[3538]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 2.98/3.01 c ---[3536]---> Adder-cost: 104 maxlim: 53248 bits: 17/16 2.98/3.02 c ---[3534]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 2.98/3.02 c ---[3532]---> Sorter-cost: 1077 Base: 2 2 2 2 2 2 2 2 2 2 7 2.98/3.03 c ---[3530]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 2.98/3.03 c ---[3528]---> Sorter-cost: 1164 Base: 2 2 2 2 2 2 2 2 2 2 7 2.98/3.04 c ---[3526]---> Adder-cost: 140 maxlim: 69632 bits: 18/17 2.98/3.05 c ---[3524]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 2.98/3.05 c ---[3522]---> Adder-cost: 128 maxlim: 87040 bits: 18/17 2.98/3.06 c ---[3520]---> Adder-cost: 66 maxlim: 87040 bits: 18/17 2.98/3.08 c ---[3518]---> Adder-cost: 152 maxlim: 81920 bits: 18/17 2.98/3.08 c ---[3516]---> Adder-cost: 68 maxlim: 81920 bits: 18/17 2.98/3.09 c ---[3514]---> Sorter-cost: 1152 Base: 2 2 2 2 2 2 2 2 2 2 7 3.08/3.10 c ---[3512]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 3.08/3.11 c ---[3510]---> Adder-cost: 108 maxlim: 54272 bits: 17/16 3.08/3.11 c ---[3508]---> Adder-cost: 102 maxlim: 52224 bits: 17/16 3.08/3.12 c ---[3506]---> Sorter-cost: 647 Base: 2 2 2 2 2 2 2 2 2 2 7 3.08/3.12 c ---[3504]---> Adder-cost: 124 maxlim: 61440 bits: 17/16 3.08/3.13 c ---[3502]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 3.08/3.14 c ---[3500]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 3.08/3.14 c ---[3498]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 3.08/3.15 c ---[3496]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 3.08/3.15 c ---[3494]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 3.08/3.16 c ---[3492]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 3.08/3.16 c ---[3490]---> Adder-cost: 128 maxlim: 70656 bits: 18/17 3.08/3.17 c ---[3488]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 3.08/3.18 c ---[3486]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 3.08/3.18 c ---[3484]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 3.08/3.19 c ---[3482]---> Sorter-cost: 623 Base: 2 2 2 2 2 2 2 2 2 2 7 3.08/3.19 c ---[3480]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 3.08/3.19 c ---[3478]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 3.18/3.20 c ---[3476]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 3.18/3.20 c ---[3474]---> Sorter-cost: 456 Base: 2 2 2 2 2 2 2 2 2 2 7 3.18/3.21 c ---[3472]---> Sorter-cost: 1059 Base: 2 2 2 2 2 2 2 2 2 2 7 3.18/3.21 c ---[3470]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 3.18/3.22 c ---[3468]---> Sorter-cost: 931 Base: 2 2 2 2 2 2 2 2 2 2 7 3.18/3.22 c ---[3466]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 3.18/3.23 c ---[3464]---> Adder-cost: 154 maxlim: 73728 bits: 18/17 3.18/3.24 c ---[3462]---> Adder-cost: 252 maxlim: 126976 bits: 18/17 3.18/3.25 c ---[3460]---> Adder-cost: 340 maxlim: 171008 bits: 19/18 3.18/3.27 c ---[3458]---> Adder-cost: 324 maxlim: 183296 bits: 19/18 3.18/3.29 c ---[3456]---> Adder-cost: 158 maxlim: 79872 bits: 18/17 3.29/3.30 c ---[3454]---> Sorter-cost: 886 Base: 2 2 2 2 2 2 2 2 2 2 7 3.29/3.31 c ---[3452]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 3.29/3.31 c ---[3450]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 3.29/3.32 c ---[3448]---> Adder-cost: 232 maxlim: 119808 bits: 18/17 3.29/3.33 c ---[3446]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 3.29/3.33 c ---[3444]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 3.29/3.34 c ---[3442]---> Sorter-cost: 1170 Base: 2 2 2 2 2 2 2 2 2 2 7 3.29/3.34 c ---[3440]---> Sorter-cost: 963 Base: 2 2 2 2 2 2 2 2 2 2 7 3.29/3.35 c ---[3438]---> Adder-cost: 84 maxlim: 51200 bits: 17/16 3.29/3.35 c ---[3436]---> Sorter-cost: 666 Base: 2 2 2 2 2 2 2 2 2 2 7 3.29/3.36 c ---[3434]---> Adder-cost: 112 maxlim: 117760 bits: 18/17 3.29/3.37 c ---[3432]---> Sorter-cost: 1153 Base: 2 2 2 2 2 2 2 2 2 2 7 3.29/3.38 c ---[3430]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 2 3.29/3.38 c ---[3428]---> Sorter-cost: 1002 Base: 2 2 2 2 2 2 2 2 2 2 7 3.29/3.38 c ---[3426]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 3.29/3.39 c ---[3424]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 3.29/3.40 c ---[3422]---> Adder-cost: 162 maxlim: 115712 bits: 18/17 3.39/3.41 c ---[3420]---> Adder-cost: 90 maxlim: 53248 bits: 17/16 3.39/3.42 c ---[3418]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 3.39/3.42 c ---[3416]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 3.39/3.43 c ---[3414]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 3.48/3.54 c ---[3412]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 3.48/3.54 c ---[3410]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 3.48/3.54 c ---[3408]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 3.48/3.54 c ---[3406]---> Adder-cost: 216 maxlim: 122880 bits: 18/17 3.48/3.54 c ---[3404]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 3.48/3.54 c ---[3402]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 3.48/3.54 c ---[3400]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 3.48/3.54 c ---[3398]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 3.48/3.54 c ---[3396]---> Sorter-cost: 1054 Base: 2 2 2 2 2 2 2 2 2 2 7 3.48/3.54 c ---[3394]---> Adder-cost: 524 maxlim: 264192 bits: 20/19 3.48/3.54 c ---[3392]---> Adder-cost: 138 maxlim: 264192 bits: 20/19 3.48/3.54 c ---[3390]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 3.48/3.56 c ---[3388]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 3.48/3.56 c ---[3386]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 3.48/3.57 c ---[3384]---> Adder-cost: 204 maxlim: 100352 bits: 18/17 3.48/3.58 c ---[3382]---> Sorter-cost: 720 Base: 2 2 2 2 2 2 2 2 2 2 7 3.48/3.58 c ---[3380]---> Sorter-cost: 600 Base: 2 2 2 2 2 2 2 2 2 2 7 3.48/3.59 c ---[3378]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 3.58/3.60 c ---[3376]---> Adder-cost: 210 maxlim: 105472 bits: 18/17 3.58/3.61 c ---[3374]---> Adder-cost: 74 maxlim: 105472 bits: 18/17 3.58/3.63 c ---[3372]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 3.58/3.63 c ---[3370]---> Adder-cost: 176 maxlim: 86016 bits: 18/17 3.58/3.64 c ---[3368]---> Adder-cost: 184 maxlim: 93184 bits: 18/17 3.58/3.65 c ---[3366]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 3.58/3.66 c ---[3364]---> Adder-cost: 134 maxlim: 68608 bits: 18/17 3.58/3.67 c ---[3362]---> Adder-cost: 142 maxlim: 78848 bits: 18/17 3.58/3.68 c ---[3360]---> Sorter-cost: 645 Base: 2 2 2 2 2 2 2 2 2 2 7 3.58/3.68 c ---[3358]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 3.58/3.68 c ---[3356]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 3.58/3.69 c ---[3354]---> Sorter-cost: 400 Base: 2 2 2 2 2 2 2 2 2 2 7 3.58/3.69 c ---[3352]---> Adder-cost: 176 maxlim: 86016 bits: 18/17 3.68/3.70 c ---[3350]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 3.68/3.71 c ---[3348]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 3.68/3.72 c ---[3346]---> Adder-cost: 68 maxlim: 59392 bits: 17/16 3.68/3.73 c ---[3344]---> Sorter-cost: 1214 Base: 2 2 2 2 2 2 2 2 2 2 7 3.68/3.73 c ---[3342]---> Adder-cost: 148 maxlim: 73728 bits: 18/17 3.68/3.74 c ---[3340]---> Adder-cost: 62 maxlim: 73728 bits: 18/17 3.68/3.75 c ---[3338]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 3.68/3.75 c ---[3336]---> Adder-cost: 66 maxlim: 59392 bits: 17/16 3.68/3.76 c ---[3334]---> Adder-cost: 122 maxlim: 62464 bits: 17/16 3.68/3.77 c ---[3332]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 3.68/3.77 c ---[3330]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 3.68/3.77 c ---[3328]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 3.68/3.78 c ---[3326]---> Adder-cost: 146 maxlim: 70656 bits: 18/17 3.68/3.79 c ---[3324]---> Adder-cost: 124 maxlim: 65536 bits: 18/17 3.68/3.80 c ---[3322]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 3.78/3.80 c ---[3320]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 3.78/3.81 c ---[3318]---> Adder-cost: 170 maxlim: 83968 bits: 18/17 3.78/3.82 c ---[3316]---> Adder-cost: 252 maxlim: 128000 bits: 18/17 3.78/3.83 c ---[3314]---> Adder-cost: 108 maxlim: 60416 bits: 17/16 3.78/3.84 c ---[3312]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 3.78/3.85 c ---[3310]---> Adder-cost: 236 maxlim: 124928 bits: 18/17 3.78/3.86 c ---[3308]---> Adder-cost: 92 maxlim: 52224 bits: 17/16 3.78/3.87 c ---[3306]---> Adder-cost: 274 maxlim: 136192 bits: 19/18 3.78/3.88 c ---[3304]---> Adder-cost: 198 maxlim: 102400 bits: 18/17 3.88/3.90 c ---[3302]---> Adder-cost: 122 maxlim: 63488 bits: 17/16 3.88/3.90 c ---[3300]---> Adder-cost: 190 maxlim: 94208 bits: 18/17 3.88/3.91 c ---[3298]---> Adder-cost: 192 maxlim: 96256 bits: 18/17 3.88/3.93 c ---[3296]---> Adder-cost: 168 maxlim: 97280 bits: 18/17 3.88/3.94 c ---[3294]---> Adder-cost: 140 maxlim: 65536 bits: 18/17 3.88/3.95 c ---[3292]---> Adder-cost: 94 maxlim: 54272 bits: 17/16 3.88/3.95 c ---[3290]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 3.88/3.96 c ---[3288]---> Sorter-cost: 547 Base: 2 2 2 2 2 2 2 2 2 2 7 3.88/3.96 c ---[3286]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 3.88/3.96 c ---[3284]---> Sorter-cost: 456 Base: 2 2 2 2 2 2 2 2 2 2 7 3.88/3.96 c ---[3282]---> Sorter-cost: 1221 Base: 2 2 2 2 2 2 2 2 2 2 7 3.88/3.97 c ---[3280]---> Adder-cost: 208 maxlim: 105472 bits: 18/17 3.88/3.98 c ---[3278]---> Adder-cost: 202 maxlim: 108544 bits: 18/17 3.88/4.00 c ---[3276]---> Adder-cost: 108 maxlim: 67584 bits: 18/17 3.98/4.00 c ---[3274]---> Adder-cost: 140 maxlim: 103424 bits: 18/17 3.98/4.02 c ---[3272]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 3.98/4.02 c ---[3270]---> Sorter-cost: 1169 Base: 2 2 2 2 2 2 2 2 2 2 7 3.98/4.03 c ---[3268]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 3.98/4.03 c ---[3266]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 3.98/4.03 c ---[3264]---> Adder-cost: 170 maxlim: 81920 bits: 18/17 3.98/4.04 c ---[3262]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 3.98/4.05 c ---[3260]---> Sorter-cost: 1131 Base: 2 2 2 2 2 2 2 2 2 2 7 3.98/4.05 c ---[3258]---> Sorter-cost: 1261 Base: 2 2 2 2 2 2 2 2 2 2 7 3.98/4.06 c ---[3256]---> Sorter-cost: 1089 Base: 2 2 2 2 2 2 2 2 2 2 7 3.98/4.06 c ---[3254]---> Sorter-cost: 966 Base: 2 2 2 2 2 2 2 2 2 2 7 3.98/4.07 c ---[3252]---> Sorter-cost: 933 Base: 2 2 2 2 2 2 2 2 2 2 7 3.98/4.08 c ---[3250]---> Sorter-cost: 710 Base: 2 2 2 2 2 2 2 2 2 2 7 3.98/4.08 c ---[3248]---> Adder-cost: 120 maxlim: 61440 bits: 17/16 3.98/4.09 c ---[3246]---> Adder-cost: 288 maxlim: 144384 bits: 19/18 4.08/4.10 c ---[3244]---> Adder-cost: 80 maxlim: 53248 bits: 17/16 4.08/4.11 c ---[3242]---> Sorter-cost: 1074 Base: 2 2 2 2 2 2 2 2 2 2 7 4.08/4.12 c ---[3240]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 4.08/4.12 c ---[3238]---> Sorter-cost: 638 Base: 2 2 2 2 2 2 2 2 2 2 7 4.08/4.12 c ---[3236]---> Sorter-cost: 725 Base: 2 2 2 2 2 2 2 2 2 2 7 4.08/4.12 c ---[3234]---> Sorter-cost: 564 Base: 2 2 2 2 2 2 2 2 2 2 7 4.08/4.13 c ---[3232]---> Sorter-cost: 702 Base: 2 2 2 2 2 2 2 2 2 2 7 4.08/4.13 c ---[3230]---> Sorter-cost: 610 Base: 2 2 2 2 2 2 2 2 2 2 7 4.08/4.13 c ---[3228]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 4.08/4.14 c ---[3226]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 4.08/4.14 c ---[3224]---> Sorter-cost: 1087 Base: 2 2 2 2 2 2 2 2 2 2 7 4.08/4.15 c ---[3222]---> Sorter-cost: 1070 Base: 2 2 2 2 2 2 2 2 2 2 7 4.08/4.15 c ---[3220]---> Sorter-cost: 1115 Base: 2 2 2 2 2 2 2 2 2 2 7 4.08/4.16 c ---[3218]---> Adder-cost: 156 maxlim: 75776 bits: 18/17 4.08/4.16 c ---[3216]---> Sorter-cost: 983 Base: 2 2 2 2 2 2 2 2 2 2 7 4.08/4.17 c ---[3214]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 4.08/4.17 c ---[3212]---> Adder-cost: 276 maxlim: 135168 bits: 19/18 4.08/4.19 c ---[3210]---> Adder-cost: 120 maxlim: 60416 bits: 17/16 4.18/4.20 c ---[3208]---> Adder-cost: 174 maxlim: 87040 bits: 18/17 4.18/4.21 c ---[3206]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 4.18/4.21 c ---[3204]---> Adder-cost: 90 maxlim: 54272 bits: 17/16 4.18/4.22 c ---[3202]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 4.18/4.23 c ---[3200]---> Sorter-cost: 1242 Base: 2 2 2 2 2 2 2 2 2 2 7 4.18/4.23 c ---[3198]---> Sorter-cost: 708 Base: 2 2 2 2 2 2 2 2 2 2 7 4.18/4.23 c ---[3196]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 4.18/4.24 c ---[3194]---> Sorter-cost: 516 Base: 2 2 2 2 2 2 2 2 2 2 7 4.18/4.24 c ---[3192]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 4.18/4.24 c ---[3190]---> Sorter-cost: 718 Base: 2 2 2 2 2 2 2 2 2 2 7 4.18/4.25 c ---[3188]---> Sorter-cost: 1181 Base: 2 2 2 2 2 2 2 2 2 2 7 4.18/4.25 c ---[3186]---> Adder-cost: 162 maxlim: 79872 bits: 18/17 4.18/4.26 c ---[3184]---> Adder-cost: 208 maxlim: 104448 bits: 18/17 4.18/4.28 c ---[3182]---> Adder-cost: 198 maxlim: 99328 bits: 18/17 4.18/4.29 c ---[3180]---> Adder-cost: 234 maxlim: 116736 bits: 18/17 4.28/4.30 c ---[3178]---> Adder-cost: 328 maxlim: 191488 bits: 19/18 4.28/4.33 c ---[3176]---> Adder-cost: 140 maxlim: 67584 bits: 18/17 4.28/4.33 c ---[3174]---> Adder-cost: 144 maxlim: 69632 bits: 18/17 4.28/4.34 c ---[3172]---> Adder-cost: 192 maxlim: 99328 bits: 18/17 4.28/4.36 c ---[3170]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 4.28/4.36 c ---[3168]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 4.28/4.37 c ---[3166]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 4.28/4.38 c ---[3164]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 4.28/4.39 c ---[3162]---> Adder-cost: 222 maxlim: 111616 bits: 18/17 4.28/4.40 c ---[3160]---> Adder-cost: 330 maxlim: 174080 bits: 19/18 4.39/4.42 c ---[3158]---> Sorter-cost: 470 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.42 c ---[3156]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 4.39/4.43 c ---[3154]---> Adder-cost: 92 maxlim: 53248 bits: 17/16 4.39/4.44 c ---[3152]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.44 c ---[3150]---> Adder-cost: 130 maxlim: 66560 bits: 18/17 4.39/4.45 c ---[3148]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.45 c ---[3146]---> Sorter-cost: 1238 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.46 c ---[3144]---> Sorter-cost: 992 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.46 c ---[3142]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.46 c ---[3140]---> Adder-cost: 186 maxlim: 93184 bits: 18/17 4.39/4.48 c ---[3138]---> Adder-cost: 120 maxlim: 60416 bits: 17/16 4.39/4.48 c ---[3136]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.49 c ---[3134]---> Sorter-cost: 785 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.49 c ---[3132]---> Adder-cost: 124 maxlim: 62464 bits: 17/16 4.39/4.50 c ---[3130]---> Adder-cost: 190 maxlim: 96256 bits: 18/17 4.49/4.51 c ---[3128]---> Adder-cost: 224 maxlim: 123904 bits: 18/17 4.49/4.53 c ---[3126]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.53 c ---[3124]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.54 c ---[3122]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 4.49/4.54 c ---[3120]---> Adder-cost: 116 maxlim: 60416 bits: 17/16 4.49/4.55 c ---[3118]---> Sorter-cost: 983 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.55 c ---[3116]---> Adder-cost: 186 maxlim: 92160 bits: 18/17 4.49/4.57 c ---[3114]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.57 c ---[3112]---> Adder-cost: 240 maxlim: 121856 bits: 18/17 4.49/4.58 c ---[3110]---> Sorter-cost: 583 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.59 c ---[3108]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.59 c ---[3106]---> Adder-cost: 186 maxlim: 92160 bits: 18/17 4.58/4.61 c ---[3104]---> Adder-cost: 122 maxlim: 61440 bits: 17/16 4.58/4.61 c ---[3102]---> Adder-cost: 244 maxlim: 124928 bits: 18/17 4.58/4.63 c ---[3100]---> Adder-cost: 120 maxlim: 62464 bits: 17/16 4.58/4.63 c ---[3098]---> Adder-cost: 112 maxlim: 60416 bits: 17/16 4.58/4.64 c ---[3096]---> Adder-cost: 230 maxlim: 116736 bits: 18/17 4.58/4.66 c ---[3094]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 4.58/4.66 c ---[3092]---> Adder-cost: 424 maxlim: 217088 bits: 19/18 4.58/4.69 c ---[3090]---> Adder-cost: 118 maxlim: 217088 bits: 19/18 4.68/4.71 c ---[3088]---> Adder-cost: 120 maxlim: 62464 bits: 17/16 4.68/4.72 c ---[3086]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 4.68/4.73 c ---[3084]---> Adder-cost: 96 maxlim: 61440 bits: 17/16 4.68/4.73 c ---[3082]---> Adder-cost: 308 maxlim: 162816 bits: 19/18 4.68/4.75 c ---[3080]---> Adder-cost: 230 maxlim: 118784 bits: 18/17 4.68/4.77 c ---[3078]---> Adder-cost: 140 maxlim: 69632 bits: 18/17 4.68/4.78 c ---[3076]---> Sorter-cost: 1240 Base: 2 2 2 2 2 2 2 2 2 2 7 4.68/4.78 c ---[3074]---> Adder-cost: 184 maxlim: 103424 bits: 18/17 4.68/4.79 c ---[3072]---> Adder-cost: 154 maxlim: 79872 bits: 18/17 4.78/4.80 c ---[3070]---> Adder-cost: 62 maxlim: 79872 bits: 18/17 4.78/4.81 c ---[3068]---> Sorter-cost: 422 Base: 2 2 2 2 2 2 2 2 2 2 7 4.78/4.82 c ---[3066]---> Adder-cost: 202 maxlim: 99328 bits: 18/17 4.78/4.83 c ---[3064]---> Adder-cost: 122 maxlim: 61440 bits: 17/16 4.78/4.84 c ---[3062]---> Adder-cost: 218 maxlim: 108544 bits: 18/17 4.78/4.85 c ---[3060]---> Adder-cost: 140 maxlim: 68608 bits: 18/17 4.78/4.86 c ---[3058]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 4.78/4.87 c ---[3056]---> Adder-cost: 148 maxlim: 82944 bits: 18/17 4.78/4.88 c ---[3054]---> Adder-cost: 126 maxlim: 72704 bits: 18/17 4.78/4.89 c ---[3052]---> Adder-cost: 258 maxlim: 138240 bits: 19/18 4.88/4.91 c ---[3050]---> Adder-cost: 92 maxlim: 66560 bits: 18/17 4.88/4.91 c ---[3048]---> Sorter-cost: 959 Base: 2 2 2 2 2 2 2 2 2 2 7 4.88/4.92 c ---[3046]---> Adder-cost: 144 maxlim: 83968 bits: 18/17 4.88/4.93 c ---[3044]---> Adder-cost: 106 maxlim: 80896 bits: 18/17 4.88/4.94 c ---[3042]---> Adder-cost: 136 maxlim: 98304 bits: 18/17 4.88/4.95 c ---[3040]---> Adder-cost: 100 maxlim: 60416 bits: 17/16 4.88/4.96 c ---[3038]---> Sorter-cost: 908 Base: 2 2 2 2 2 2 2 2 2 2 7 4.88/4.96 c ---[3036]---> Adder-cost: 248 maxlim: 126976 bits: 18/17 4.88/4.98 c ---[3034]---> Adder-cost: 138 maxlim: 68608 bits: 18/17 4.88/4.99 c ---[3032]---> Sorter-cost: 1171 Base: 2 2 2 2 2 2 2 2 2 2 7 4.88/4.99 c ---[3030]---> Adder-cost: 116 maxlim: 59392 bits: 17/16 4.98/5.00 c ---[3028]---> Sorter-cost: 1020 Base: 2 2 2 2 2 2 2 2 2 2 7 4.98/5.00 c ---[3026]---> Adder-cost: 126 maxlim: 68608 bits: 18/17 4.98/5.01 c ---[3024]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 4.98/5.02 c ---[3022]---> Adder-cost: 174 maxlim: 89088 bits: 18/17 4.98/5.03 c ---[3020]---> Adder-cost: 130 maxlim: 87040 bits: 18/17 4.98/5.04 c ---[3018]---> Adder-cost: 136 maxlim: 97280 bits: 18/17 4.98/5.06 c ---[3016]---> Adder-cost: 242 maxlim: 122880 bits: 18/17 4.98/5.07 c ---[3014]---> Adder-cost: 142 maxlim: 72704 bits: 18/17 4.98/5.08 c ---[3012]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 4.98/5.08 c ---[3010]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 4.98/5.09 c ---[3008]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 4.98/5.09 c ---[3006]---> Sorter-cost: 692 Base: 2 2 2 2 2 2 2 2 2 2 7 5.08/5.10 c ---[3004]---> Sorter-cost: 1244 Base: 2 2 2 2 2 2 2 2 2 2 7 5.08/5.10 c ---[3002]---> Adder-cost: 106 maxlim: 53248 bits: 17/16 5.08/5.11 c ---[3000]---> Adder-cost: 190 maxlim: 102400 bits: 18/17 5.08/5.12 c ---[2998]---> Adder-cost: 202 maxlim: 100352 bits: 18/17 5.08/5.13 c ---[2996]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 5.08/5.14 c ---[2994]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 5.08/5.14 c ---[2992]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 5.08/5.15 c ---[2990]---> Sorter-cost: 842 Base: 2 2 2 2 2 2 2 2 2 2 7 5.08/5.15 c ---[2988]---> Sorter-cost: 813 Base: 2 2 2 2 2 2 2 2 2 2 7 5.08/5.16 c ---[2986]---> Sorter-cost: 1164 Base: 2 2 2 2 2 2 2 2 2 2 7 5.08/5.16 c ---[2984]---> Sorter-cost: 948 Base: 2 2 2 2 2 2 2 2 2 2 7 5.08/5.17 c ---[2982]---> Adder-cost: 138 maxlim: 66560 bits: 18/17 5.08/5.17 c ---[2980]---> Adder-cost: 84 maxlim: 53248 bits: 17/16 5.08/5.18 c ---[2978]---> Adder-cost: 182 maxlim: 98304 bits: 18/17 5.08/5.19 c ---[2976]---> Adder-cost: 188 maxlim: 103424 bits: 18/17 5.19/5.21 c ---[2974]---> Adder-cost: 184 maxlim: 109568 bits: 18/17 5.19/5.22 c ---[2972]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 5.19/5.23 c ---[2970]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 5.19/5.23 c ---[2968]---> Adder-cost: 78 maxlim: 52224 bits: 17/16 5.19/5.24 c ---[2966]---> Adder-cost: 98 maxlim: 64512 bits: 17/16 5.19/5.25 c ---[2964]---> Adder-cost: 98 maxlim: 57344 bits: 17/16 5.19/5.25 c ---[2962]---> Adder-cost: 72 maxlim: 54272 bits: 17/16 5.19/5.26 c ---[2960]---> Adder-cost: 100 maxlim: 59392 bits: 17/16 5.19/5.27 c ---[2958]---> Adder-cost: 106 maxlim: 54272 bits: 17/16 5.19/5.27 c ---[2956]---> Adder-cost: 98 maxlim: 58368 bits: 17/16 5.19/5.28 c ---[2954]---> Adder-cost: 286 maxlim: 154624 bits: 19/18 5.29/5.30 c ---[2952]---> Adder-cost: 286 maxlim: 165888 bits: 19/18 5.29/5.32 c ---[2950]---> Adder-cost: 272 maxlim: 163840 bits: 19/18 5.29/5.34 c ---[2948]---> Sorter-cost: 1219 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.34 c ---[2946]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.35 c ---[2944]---> Adder-cost: 102 maxlim: 51200 bits: 17/16 5.29/5.35 c ---[2942]---> Sorter-cost: 1188 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.36 c ---[2940]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.36 c ---[2938]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.37 c ---[2936]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.38 c ---[2934]---> Sorter-cost: 1224 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.40 c ---[2932]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.40 c ---[2930]---> Adder-cost: 66 maxlim: 87040 bits: 18/17 5.39/5.41 c ---[2928]---> Adder-cost: 158 maxlim: 84992 bits: 18/17 5.39/5.42 c ---[2926]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 5.39/5.43 c ---[2924]---> Adder-cost: 184 maxlim: 95232 bits: 18/17 5.39/5.45 c ---[2922]---> Adder-cost: 132 maxlim: 66560 bits: 18/17 5.39/5.46 c ---[2920]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 5.39/5.47 c ---[2918]---> Adder-cost: 86 maxlim: 67584 bits: 18/17 5.39/5.47 c ---[2916]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 5.39/5.48 c ---[2914]---> Adder-cost: 142 maxlim: 67584 bits: 18/17 5.39/5.49 c ---[2912]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 5.39/5.50 c ---[2910]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 5.50/5.51 c ---[2908]---> Adder-cost: 248 maxlim: 133120 bits: 19/18 5.50/5.52 c ---[2906]---> Adder-cost: 234 maxlim: 125952 bits: 18/17 5.50/5.54 c ---[2904]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.54 c ---[2902]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.55 c ---[2900]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 5.50/5.56 c ---[2898]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.56 c ---[2896]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.57 c ---[2894]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.57 c ---[2892]---> Sorter-cost: 962 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.58 c ---[2890]---> Sorter-cost: 952 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.58 c ---[2888]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 5.50/5.59 c ---[2886]---> Adder-cost: 198 maxlim: 104448 bits: 18/17 5.50/5.60 c ---[2884]---> Adder-cost: 146 maxlim: 73728 bits: 18/17 5.60/5.61 c ---[2882]---> Sorter-cost: 1008 Base: 2 2 2 2 2 2 2 2 2 2 7 5.60/5.61 c ---[2880]---> Adder-cost: 90 maxlim: 61440 bits: 17/16 5.60/5.62 c ---[2878]---> Adder-cost: 198 maxlim: 107520 bits: 18/17 5.60/5.63 c ---[2876]---> Adder-cost: 118 maxlim: 59392 bits: 17/16 5.60/5.64 c ---[2874]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 5.60/5.65 c ---[2872]---> Sorter-cost: 1145 Base: 2 2 2 2 2 2 2 2 2 2 7 5.60/5.65 c ---[2870]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 5.60/5.66 c ---[2868]---> Sorter-cost: 434 Base: 2 2 2 2 2 2 2 2 2 2 7 5.60/5.66 c ---[2866]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 5.60/5.66 c ---[2864]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 5.60/5.67 c ---[2862]---> Adder-cost: 278 maxlim: 163840 bits: 19/18 5.60/5.69 c ---[2860]---> Adder-cost: 278 maxlim: 143360 bits: 19/18 5.69/5.71 c ---[2858]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.71 c ---[2856]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.72 c ---[2854]---> Adder-cost: 100 maxlim: 54272 bits: 17/16 5.69/5.72 c ---[2852]---> Adder-cost: 104 maxlim: 54272 bits: 17/16 5.69/5.73 c ---[2850]---> Adder-cost: 80 maxlim: 51200 bits: 17/16 5.69/5.73 c ---[2848]---> Sorter-cost: 1176 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.74 c ---[2846]---> Adder-cost: 194 maxlim: 105472 bits: 18/17 5.69/5.75 c ---[2844]---> Adder-cost: 88 maxlim: 54272 bits: 17/16 5.69/5.76 c ---[2842]---> Adder-cost: 274 maxlim: 160768 bits: 19/18 5.69/5.78 c ---[2840]---> Adder-cost: 226 maxlim: 136192 bits: 19/18 5.79/5.80 c ---[2838]---> Adder-cost: 124 maxlim: 64512 bits: 17/16 5.79/5.80 c ---[2836]---> Sorter-cost: 1275 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.81 c ---[2834]---> Sorter-cost: 860 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.81 c ---[2832]---> Sorter-cost: 913 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.82 c ---[2830]---> Adder-cost: 156 maxlim: 82944 bits: 18/17 5.79/5.83 c ---[2828]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.83 c ---[2826]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.83 c ---[2824]---> Sorter-cost: 862 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.84 c ---[2822]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.84 c ---[2820]---> Sorter-cost: 965 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.85 c ---[2818]---> Sorter-cost: 1039 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.85 c ---[2816]---> Adder-cost: 68 maxlim: 82944 bits: 18/17 5.79/5.86 c ---[2814]---> Sorter-cost: 666 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.87 c ---[2812]---> Sorter-cost: 699 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.87 c ---[2810]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.87 c ---[2808]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.88 c ---[2806]---> Adder-cost: 174 maxlim: 95232 bits: 18/17 5.79/5.89 c ---[2804]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.89 c ---[2802]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.89 c ---[2800]---> Sorter-cost: 550 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.90 c ---[2798]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.90 c ---[2796]---> Adder-cost: 126 maxlim: 64512 bits: 17/16 5.89/5.91 c ---[2794]---> Adder-cost: 76 maxlim: 61440 bits: 17/16 5.89/5.92 c ---[2792]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.92 c ---[2790]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.93 c ---[2788]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.93 c ---[2786]---> Adder-cost: 238 maxlim: 123904 bits: 18/17 5.89/5.95 c ---[2784]---> Adder-cost: 108 maxlim: 55296 bits: 17/16 5.89/5.95 c ---[2782]---> Adder-cost: 158 maxlim: 83968 bits: 18/17 5.89/5.96 c ---[2780]---> Adder-cost: 68 maxlim: 83968 bits: 18/17 5.89/5.97 c ---[2778]---> Adder-cost: 172 maxlim: 84992 bits: 18/17 5.89/5.99 c ---[2776]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 5.99/6.00 c ---[2774]---> Adder-cost: 186 maxlim: 94208 bits: 18/17 5.99/6.01 c ---[2772]---> Adder-cost: 70 maxlim: 94208 bits: 18/17 5.99/6.02 c ---[2770]---> Adder-cost: 120 maxlim: 97280 bits: 18/17 5.99/6.03 c ---[2768]---> Adder-cost: 174 maxlim: 96256 bits: 18/17 5.99/6.04 c ---[2766]---> Adder-cost: 244 maxlim: 122880 bits: 18/17 5.99/6.06 c ---[2764]---> Adder-cost: 104 maxlim: 99328 bits: 18/17 5.99/6.07 c ---[2762]---> Adder-cost: 70 maxlim: 99328 bits: 18/17 5.99/6.08 c ---[2760]---> Adder-cost: 146 maxlim: 87040 bits: 18/17 5.99/6.09 c ---[2758]---> Adder-cost: 122 maxlim: 78848 bits: 18/17 6.09/6.11 c ---[2756]---> Sorter-cost: 1277 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.11 c ---[2754]---> Adder-cost: 180 maxlim: 119808 bits: 18/17 6.09/6.13 c ---[2752]---> Adder-cost: 120 maxlim: 62464 bits: 17/16 6.09/6.13 c ---[2750]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 6.09/6.14 c ---[2748]---> Adder-cost: 108 maxlim: 61440 bits: 17/16 6.09/6.15 c ---[2746]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 6.09/6.15 c ---[2744]---> Adder-cost: 112 maxlim: 62464 bits: 17/16 6.09/6.16 c ---[2742]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 6.09/6.17 c ---[2740]---> Adder-cost: 104 maxlim: 56320 bits: 17/16 6.09/6.17 c ---[2738]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 6.09/6.18 c ---[2736]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 6.09/6.19 c ---[2734]---> Adder-cost: 218 maxlim: 118784 bits: 18/17 6.19/6.20 c ---[2732]---> Sorter-cost: 468 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.21 c ---[2730]---> Sorter-cost: 363 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.21 c ---[2728]---> Sorter-cost: 1073 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.21 c ---[2726]---> Sorter-cost: 301 Base: 2 2 2 2 2 2 2 2 2 2 2 6.19/6.21 c ---[2724]---> Sorter-cost: 1072 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.22 c ---[2722]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.22 c ---[2720]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.22 c ---[2718]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 6.19/6.24 c ---[2716]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.24 c ---[2714]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.25 c ---[2712]---> Sorter-cost: 301 Base: 2 2 2 2 2 2 2 2 2 2 2 6.19/6.25 c ---[2710]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.25 c ---[2708]---> Adder-cost: 106 maxlim: 54272 bits: 17/16 6.19/6.26 c ---[2706]---> Adder-cost: 238 maxlim: 120832 bits: 18/17 6.19/6.27 c ---[2704]---> Sorter-cost: 653 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.28 c ---[2702]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.28 c ---[2700]---> Sorter-cost: 613 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.28 c ---[2698]---> Sorter-cost: 456 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.29 c ---[2696]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.29 c ---[2694]---> Sorter-cost: 295 Base: 2 2 2 2 2 2 2 2 2 2 2 6.19/6.29 c ---[2692]---> Adder-cost: 80 maxlim: 120832 bits: 18/17 6.29/6.31 c ---[2690]---> Adder-cost: 120 maxlim: 64512 bits: 17/16 6.29/6.31 c ---[2688]---> Adder-cost: 50 maxlim: 64512 bits: 17/16 6.29/6.32 c ---[2686]---> Adder-cost: 94 maxlim: 52224 bits: 17/16 6.29/6.33 c ---[2684]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 6.29/6.33 c ---[2682]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 6.29/6.33 c ---[2680]---> Adder-cost: 116 maxlim: 60416 bits: 17/16 6.29/6.34 c ---[2678]---> Adder-cost: 190 maxlim: 98304 bits: 18/17 6.29/6.35 c ---[2676]---> Adder-cost: 98 maxlim: 53248 bits: 17/16 6.29/6.36 c ---[2674]---> Adder-cost: 152 maxlim: 117760 bits: 18/17 6.29/6.37 c ---[2672]---> Sorter-cost: 1012 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.38 c ---[2670]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.38 c ---[2668]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.38 c ---[2666]---> Sorter-cost: 835 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.39 c ---[2664]---> Adder-cost: 160 maxlim: 115712 bits: 18/17 6.39/6.40 c ---[2662]---> Adder-cost: 142 maxlim: 70656 bits: 18/17 6.39/6.41 c ---[2660]---> Adder-cost: 120 maxlim: 81920 bits: 18/17 6.39/6.42 c ---[2658]---> Adder-cost: 124 maxlim: 65536 bits: 18/17 6.39/6.43 c ---[2656]---> Adder-cost: 56 maxlim: 56320 bits: 17/16 6.39/6.44 c ---[2654]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 6.39/6.44 c ---[2652]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 6.39/6.44 c ---[2650]---> Adder-cost: 152 maxlim: 114688 bits: 18/17 6.39/6.46 c ---[2648]---> Adder-cost: 190 maxlim: 98304 bits: 18/17 6.39/6.47 c ---[2646]---> Adder-cost: 138 maxlim: 125952 bits: 18/17 6.39/6.48 c ---[2644]---> Adder-cost: 78 maxlim: 125952 bits: 18/17 6.49/6.50 c ---[2642]---> Adder-cost: 204 maxlim: 108544 bits: 18/17 6.49/6.51 c ---[2640]---> Adder-cost: 86 maxlim: 60416 bits: 17/16 6.49/6.52 c ---[2638]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.52 c ---[2636]---> Adder-cost: 156 maxlim: 104448 bits: 18/17 6.49/6.54 c ---[2634]---> Sorter-cost: 656 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.54 c ---[2632]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.54 c ---[2630]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.55 c ---[2628]---> Sorter-cost: 529 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.55 c ---[2626]---> Sorter-cost: 430 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.55 c ---[2624]---> Adder-cost: 128 maxlim: 71680 bits: 18/17 6.49/6.56 c ---[2622]---> Sorter-cost: 1053 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.57 c ---[2620]---> Sorter-cost: 628 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.57 c ---[2618]---> Sorter-cost: 581 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.57 c ---[2616]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.58 c ---[2614]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.58 c ---[2612]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.58 c ---[2610]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 6.49/6.59 c ---[2608]---> Sorter-cost: 568 Base: 2 2 2 2 2 2 2 2 2 2 7 6.49/6.59 c ---[2606]---> Adder-cost: 148 maxlim: 77824 bits: 18/17 6.49/6.60 c ---[2604]---> Adder-cost: 202 maxlim: 103424 bits: 18/17 6.60/6.61 c ---[2602]---> Adder-cost: 204 maxlim: 115712 bits: 18/17 6.60/6.63 c ---[2600]---> Sorter-cost: 1063 Base: 2 2 2 2 2 2 2 2 2 2 7 6.60/6.63 c ---[2598]---> Sorter-cost: 1232 Base: 2 2 2 2 2 2 2 2 2 2 7 6.60/6.64 c ---[2596]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 6.60/6.65 c ---[2594]---> Adder-cost: 384 maxlim: 210944 bits: 19/18 6.60/6.67 c ---[2592]---> Adder-cost: 130 maxlim: 66560 bits: 18/17 6.60/6.68 c ---[2590]---> Adder-cost: 200 maxlim: 100352 bits: 18/17 6.60/6.69 c ---[2588]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 6.69/6.70 c ---[2586]---> Adder-cost: 140 maxlim: 80896 bits: 18/17 6.69/6.72 c ---[2584]---> Adder-cost: 306 maxlim: 166912 bits: 19/18 6.69/6.74 c ---[2582]---> Adder-cost: 214 maxlim: 123904 bits: 18/17 6.69/6.75 c ---[2580]---> Adder-cost: 182 maxlim: 142336 bits: 19/18 6.69/6.77 c ---[2578]---> Sorter-cost: 1075 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.77 c ---[2576]---> Sorter-cost: 1004 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.78 c ---[2574]---> Adder-cost: 190 maxlim: 98304 bits: 18/17 6.69/6.79 c ---[2572]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 6.79/6.80 c ---[2570]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 6.79/6.80 c ---[2568]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 6.79/6.81 c ---[2566]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 6.79/6.81 c ---[2564]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 6.79/6.81 c ---[2562]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 6.79/6.82 c ---[2560]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 6.79/6.82 c ---[2558]---> Adder-cost: 70 maxlim: 98304 bits: 18/17 6.79/6.83 c ---[2556]---> Sorter-cost: 615 Base: 2 2 2 2 2 2 2 2 2 2 7 6.79/6.83 c ---[2554]---> Sorter-cost: 1184 Base: 2 2 2 2 2 2 2 2 2 2 7 6.79/6.84 c ---[2552]---> Adder-cost: 130 maxlim: 66560 bits: 18/17 6.79/6.85 c ---[2550]---> Sorter-cost: 1238 Base: 2 2 2 2 2 2 2 2 2 2 7 6.79/6.85 c ---[2548]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 6.79/6.86 c ---[2546]---> Adder-cost: 70 maxlim: 98304 bits: 18/17 6.79/6.87 c ---[2544]---> Sorter-cost: 259 Base: 2 2 2 2 2 2 2 2 2 2 2 6.79/6.87 c ---[2542]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 6.79/6.87 c ---[2540]---> Sorter-cost: 391 Base: 2 2 2 2 2 2 2 2 2 2 7 6.79/6.88 c ---[2538]---> Sorter-cost: 299 Base: 2 2 2 2 2 2 2 2 2 2 2 6.79/6.88 c ---[2536]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 6.79/6.88 c ---[2534]---> Sorter-cost: 531 Base: 2 2 2 2 2 2 2 2 2 2 7 6.79/6.88 c ---[2532]---> Adder-cost: 108 maxlim: 63488 bits: 17/16 6.79/6.89 c ---[2530]---> Adder-cost: 188 maxlim: 105472 bits: 18/17 6.89/6.90 c ---[2528]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 6.89/6.91 c ---[2526]---> Adder-cost: 180 maxlim: 96256 bits: 18/17 6.89/6.92 c ---[2524]---> Adder-cost: 110 maxlim: 58368 bits: 17/16 6.89/6.93 c ---[2522]---> Sorter-cost: 1074 Base: 2 2 2 2 2 2 2 2 2 2 7 6.89/6.93 c ---[2520]---> Adder-cost: 102 maxlim: 54272 bits: 17/16 6.89/6.94 c ---[2518]---> Sorter-cost: 955 Base: 2 2 2 2 2 2 2 2 2 2 7 6.89/6.95 c ---[2516]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 6.89/6.95 c ---[2514]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 6.89/6.96 c ---[2512]---> Adder-cost: 192 maxlim: 99328 bits: 18/17 6.89/6.97 c ---[2510]---> Adder-cost: 222 maxlim: 113664 bits: 18/17 6.89/6.98 c ---[2508]---> Adder-cost: 72 maxlim: 113664 bits: 18/17 6.99/7.00 c ---[2506]---> Adder-cost: 72 maxlim: 113664 bits: 18/17 6.99/7.01 c ---[2504]---> Adder-cost: 170 maxlim: 82944 bits: 18/17 6.99/7.02 c ---[2502]---> Adder-cost: 192 maxlim: 104448 bits: 18/17 6.99/7.03 c ---[2500]---> Sorter-cost: 1079 Base: 2 2 2 2 2 2 2 2 2 2 7 6.99/7.04 c ---[2498]---> Sorter-cost: 785 Base: 2 2 2 2 2 2 2 2 2 2 7 6.99/7.04 c ---[2496]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 6.99/7.05 c ---[2494]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 6.99/7.05 c ---[2492]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 6.99/7.06 c ---[2490]---> Sorter-cost: 1209 Base: 2 2 2 2 2 2 2 2 2 2 7 6.99/7.06 c ---[2488]---> Sorter-cost: 915 Base: 2 2 2 2 2 2 2 2 2 2 7 6.99/7.07 c ---[2486]---> Adder-cost: 170 maxlim: 91136 bits: 18/17 6.99/7.08 c ---[2484]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 6.99/7.08 c ---[2482]---> Sorter-cost: 1267 Base: 2 2 2 2 2 2 2 2 2 2 7 6.99/7.09 c ---[2480]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 6.99/7.09 c ---[2478]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 6.99/7.09 c ---[2476]---> Adder-cost: 136 maxlim: 65536 bits: 18/17 7.09/7.10 c ---[2474]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.11 c ---[2472]---> Adder-cost: 116 maxlim: 59392 bits: 17/16 7.09/7.11 c ---[2470]---> Adder-cost: 188 maxlim: 100352 bits: 18/17 7.09/7.13 c ---[2468]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 7.09/7.14 c ---[2466]---> Sorter-cost: 1127 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.14 c ---[2464]---> Adder-cost: 170 maxlim: 101376 bits: 18/17 7.09/7.16 c ---[2462]---> Sorter-cost: 1171 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.16 c ---[2460]---> Adder-cost: 214 maxlim: 112640 bits: 18/17 7.09/7.18 c ---[2458]---> Adder-cost: 186 maxlim: 96256 bits: 18/17 7.09/7.19 c ---[2456]---> Adder-cost: 118 maxlim: 102400 bits: 18/17 7.19/7.20 c ---[2454]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.21 c ---[2452]---> Adder-cost: 116 maxlim: 58368 bits: 17/16 7.19/7.21 c ---[2450]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.22 c ---[2448]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.22 c ---[2446]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.23 c ---[2444]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.23 c ---[2442]---> Sorter-cost: 1085 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.24 c ---[2440]---> Adder-cost: 166 maxlim: 82944 bits: 18/17 7.19/7.25 c ---[2438]---> Adder-cost: 144 maxlim: 70656 bits: 18/17 7.19/7.26 c ---[2436]---> Adder-cost: 288 maxlim: 175104 bits: 19/18 7.19/7.28 c ---[2434]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.28 c ---[2432]---> Adder-cost: 124 maxlim: 62464 bits: 17/16 7.19/7.29 c ---[2430]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 7.29/7.30 c ---[2428]---> Sorter-cost: 1024 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.30 c ---[2426]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.31 c ---[2424]---> Sorter-cost: 933 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.31 c ---[2422]---> Adder-cost: 202 maxlim: 98304 bits: 18/17 7.29/7.32 c ---[2420]---> Adder-cost: 136 maxlim: 71680 bits: 18/17 7.29/7.33 c ---[2418]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.34 c ---[2416]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.34 c ---[2414]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.35 c ---[2412]---> Sorter-cost: 703 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.35 c ---[2410]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.35 c ---[2408]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.36 c ---[2406]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.36 c ---[2404]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.36 c ---[2402]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.37 c ---[2400]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.37 c ---[2398]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.38 c ---[2396]---> Adder-cost: 162 maxlim: 79872 bits: 18/17 7.29/7.39 c ---[2394]---> Adder-cost: 214 maxlim: 106496 bits: 18/17 7.39/7.40 c ---[2392]---> Adder-cost: 78 maxlim: 106496 bits: 18/17 7.39/7.41 c ---[2390]---> Adder-cost: 270 maxlim: 134144 bits: 19/18 7.39/7.43 c ---[2388]---> Sorter-cost: 807 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.43 c ---[2386]---> Adder-cost: 232 maxlim: 114688 bits: 18/17 7.39/7.45 c ---[2384]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 7.39/7.45 c ---[2382]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 7.39/7.45 c ---[2380]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 7.39/7.45 c ---[2378]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 7.39/7.45 c ---[2376]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 7.39/7.46 c ---[2374]---> Adder-cost: 118 maxlim: 59392 bits: 17/16 7.39/7.46 c ---[2372]---> Adder-cost: 186 maxlim: 92160 bits: 18/17 7.39/7.48 c ---[2370]---> Adder-cost: 162 maxlim: 94208 bits: 18/17 7.39/7.49 c ---[2368]---> Adder-cost: 118 maxlim: 93184 bits: 18/17 7.49/7.50 c ---[2366]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.50 c ---[2364]---> Sorter-cost: 448 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.50 c ---[2362]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.51 c ---[2360]---> Adder-cost: 114 maxlim: 72704 bits: 18/17 7.49/7.52 c ---[2358]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.52 c ---[2356]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.52 c ---[2354]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.53 c ---[2352]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.53 c ---[2350]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.53 c ---[2348]---> Sorter-cost: 562 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.54 c ---[2346]---> Sorter-cost: 427 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.54 c ---[2344]---> Sorter-cost: 469 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.54 c ---[2342]---> Sorter-cost: 625 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.55 c ---[2340]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.55 c ---[2338]---> Sorter-cost: 947 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.55 c ---[2336]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.56 c ---[2334]---> Sorter-cost: 909 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.56 c ---[2332]---> Adder-cost: 190 maxlim: 94208 bits: 18/17 7.49/7.58 c ---[2330]---> Adder-cost: 172 maxlim: 84992 bits: 18/17 7.49/7.59 c ---[2328]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.59 c ---[2326]---> Adder-cost: 272 maxlim: 146432 bits: 19/18 7.58/7.61 c ---[2324]---> Adder-cost: 234 maxlim: 120832 bits: 18/17 7.58/7.62 c ---[2322]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 7.58/7.63 c ---[2320]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 7.58/7.63 c ---[2318]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 7.58/7.64 c ---[2316]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 7.58/7.64 c ---[2314]---> Adder-cost: 188 maxlim: 101376 bits: 18/17 7.58/7.65 c ---[2312]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 7.58/7.67 c ---[2310]---> Adder-cost: 190 maxlim: 100352 bits: 18/17 7.58/7.68 c ---[2308]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 7.58/7.69 c ---[2306]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 7.69/7.71 c ---[2304]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 7.69/7.72 c ---[2302]---> Adder-cost: 136 maxlim: 74752 bits: 18/17 7.69/7.73 c ---[2300]---> Adder-cost: 172 maxlim: 86016 bits: 18/17 7.69/7.74 c ---[2298]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 7.69/7.75 c ---[2296]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 7.69/7.76 c ---[2294]---> Adder-cost: 154 maxlim: 87040 bits: 18/17 7.69/7.77 c ---[2292]---> Adder-cost: 160 maxlim: 79872 bits: 18/17 7.69/7.78 c ---[2290]---> Adder-cost: 62 maxlim: 79872 bits: 18/17 7.69/7.79 c ---[2288]---> Adder-cost: 62 maxlim: 79872 bits: 18/17 7.79/7.80 c ---[2286]---> Adder-cost: 110 maxlim: 76800 bits: 18/17 7.79/7.82 c ---[2284]---> Adder-cost: 62 maxlim: 76800 bits: 18/17 7.79/7.83 c ---[2282]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 7.79/7.83 c ---[2280]---> Adder-cost: 62 maxlim: 79872 bits: 18/17 7.79/7.85 c ---[2278]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 7.79/7.85 c ---[2276]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 7.79/7.85 c ---[2274]---> Sorter-cost: 1248 Base: 2 2 2 2 2 2 2 2 2 2 7 7.79/7.86 c ---[2272]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 7.79/7.86 c ---[2270]---> Sorter-cost: 409 Base: 2 2 2 2 2 2 2 2 2 2 7 7.79/7.86 c ---[2268]---> Adder-cost: 140 maxlim: 68608 bits: 18/17 7.79/7.87 c ---[2266]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 7.79/7.88 c ---[2264]---> Adder-cost: 140 maxlim: 72704 bits: 18/17 7.79/7.89 c ---[2262]---> Sorter-cost: 908 Base: 2 2 2 2 2 2 2 2 2 2 7 7.88/7.90 c ---[2260]---> Sorter-cost: 720 Base: 2 2 2 2 2 2 2 2 2 2 7 7.88/7.90 c ---[2258]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 7.88/7.90 c ---[2256]---> Adder-cost: 160 maxlim: 77824 bits: 18/17 7.88/7.91 c ---[2254]---> Adder-cost: 92 maxlim: 53248 bits: 17/16 7.88/7.92 c ---[2252]---> Sorter-cost: 422 Base: 2 2 2 2 2 2 2 2 2 2 7 7.88/7.92 c ---[2250]---> Adder-cost: 334 maxlim: 168960 bits: 19/18 7.88/7.98 c ---[2248]---> Adder-cost: 56 maxlim: 72704 bits: 18/17 7.88/7.99 c ---[2246]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 7.88/7.99 c ---[2244]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 7.88/7.99 c ---[2242]---> Adder-cost: 168 maxlim: 86016 bits: 18/17 7.98/8.00 c ---[2240]---> Adder-cost: 108 maxlim: 55296 bits: 17/16 7.98/8.01 c ---[2238]---> Sorter-cost: 1267 Base: 2 2 2 2 2 2 2 2 2 2 7 7.98/8.01 c ---[2236]---> Sorter-cost: 725 Base: 2 2 2 2 2 2 2 2 2 2 7 7.98/8.02 c ---[2234]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 7.98/8.02 c ---[2232]---> Sorter-cost: 609 Base: 2 2 2 2 2 2 2 2 2 2 7 7.98/8.02 c ---[2230]---> Sorter-cost: 552 Base: 2 2 2 2 2 2 2 2 2 2 7 7.98/8.03 c ---[2228]---> Sorter-cost: 388 Base: 2 2 2 2 2 2 2 2 2 2 7 7.98/8.03 c ---[2226]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 7.98/8.03 c ---[2224]---> Sorter-cost: 614 Base: 2 2 2 2 2 2 2 2 2 2 7 7.98/8.04 c ---[2222]---> Sorter-cost: 436 Base: 2 2 2 2 2 2 2 2 2 2 7 7.98/8.04 c ---[2220]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 7.98/8.04 c ---[2218]---> Sorter-cost: 275 Base: 2 2 2 2 2 2 2 2 2 2 2 7.98/8.04 c ---[2216]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 7.98/8.04 c ---[2214]---> Sorter-cost: 507 Base: 2 2 2 2 2 2 2 2 2 2 7 7.98/8.05 c ---[2212]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 7.98/8.05 c ---[2210]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 7.98/8.05 c ---[2208]---> Sorter-cost: 359 Base: 2 2 2 2 2 2 2 2 2 2 7 7.98/8.06 c ---[2206]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 7.98/8.06 c ---[2204]---> Sorter-cost: 325 Base: 2 2 2 2 2 2 2 2 2 2 7 7.98/8.06 c ---[2202]---> Adder-cost: 248 maxlim: 126976 bits: 18/17 7.98/8.08 c ---[2200]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 7.98/8.08 c ---[2198]---> Adder-cost: 154 maxlim: 73728 bits: 18/17 7.98/8.09 c ---[2196]---> Adder-cost: 62 maxlim: 73728 bits: 18/17 8.08/8.10 c ---[2194]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 8.08/8.10 c ---[2192]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 8.08/8.11 c ---[2190]---> Adder-cost: 182 maxlim: 90112 bits: 18/17 8.08/8.12 c ---[2188]---> Adder-cost: 108 maxlim: 66560 bits: 18/17 8.08/8.13 c ---[2186]---> Adder-cost: 166 maxlim: 114688 bits: 18/17 8.08/8.14 c ---[2184]---> Adder-cost: 122 maxlim: 62464 bits: 17/16 8.08/8.15 c ---[2182]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 8.08/8.16 c ---[2180]---> Adder-cost: 148 maxlim: 72704 bits: 18/17 8.08/8.17 c ---[2178]---> Adder-cost: 56 maxlim: 72704 bits: 18/17 8.08/8.18 c ---[2176]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 8.08/8.18 c ---[2174]---> Adder-cost: 108 maxlim: 57344 bits: 17/16 8.08/8.19 c ---[2172]---> Adder-cost: 218 maxlim: 115712 bits: 18/17 8.18/8.20 c ---[2170]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 8.18/8.21 c ---[2168]---> Adder-cost: 162 maxlim: 80896 bits: 18/17 8.18/8.22 c ---[2166]---> Adder-cost: 154 maxlim: 78848 bits: 18/17 8.18/8.23 c ---[2164]---> Adder-cost: 60 maxlim: 78848 bits: 18/17 8.18/8.24 c ---[2162]---> Adder-cost: 190 maxlim: 114688 bits: 18/17 8.18/8.26 c ---[2160]---> Adder-cost: 76 maxlim: 114688 bits: 18/17 8.18/8.27 c ---[2158]---> Adder-cost: 176 maxlim: 112640 bits: 18/17 8.18/8.28 c ---[2156]---> Adder-cost: 74 maxlim: 112640 bits: 18/17 8.28/8.30 c ---[2154]---> Adder-cost: 76 maxlim: 115712 bits: 18/17 8.28/8.31 c ---[2152]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 8.28/8.32 c ---[2150]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 8.28/8.32 c ---[2148]---> Adder-cost: 168 maxlim: 82944 bits: 18/17 8.28/8.33 c ---[2146]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 8.28/8.34 c ---[2144]---> Adder-cost: 138 maxlim: 75776 bits: 18/17 8.28/8.35 c ---[2142]---> Adder-cost: 122 maxlim: 73728 bits: 18/17 8.28/8.36 c ---[2140]---> Adder-cost: 76 maxlim: 115712 bits: 18/17 8.28/8.37 c ---[2138]---> Adder-cost: 62 maxlim: 73728 bits: 18/17 8.28/8.38 c ---[2136]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 8.28/8.39 c ---[2134]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 8.28/8.39 c ---[2132]---> Adder-cost: 198 maxlim: 101376 bits: 18/17 8.38/8.40 c ---[2130]---> Adder-cost: 164 maxlim: 88064 bits: 18/17 8.38/8.42 c ---[2128]---> Adder-cost: 112 maxlim: 108544 bits: 18/17 8.38/8.43 c ---[2126]---> Adder-cost: 224 maxlim: 120832 bits: 18/17 8.38/8.44 c ---[2124]---> Adder-cost: 80 maxlim: 120832 bits: 18/17 8.38/8.46 c ---[2122]---> Adder-cost: 194 maxlim: 114688 bits: 18/17 8.38/8.47 c ---[2120]---> Adder-cost: 76 maxlim: 114688 bits: 18/17 8.38/8.49 c ---[2118]---> Adder-cost: 164 maxlim: 91136 bits: 18/17 8.48/8.50 c ---[2116]---> Adder-cost: 152 maxlim: 95232 bits: 18/17 8.48/8.51 c ---[2114]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 8.48/8.52 c ---[2112]---> Adder-cost: 126 maxlim: 65536 bits: 18/17 8.48/8.53 c ---[2110]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 8.48/8.54 c ---[2108]---> Adder-cost: 170 maxlim: 86016 bits: 18/17 8.48/8.55 c ---[2106]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 8.48/8.56 c ---[2104]---> Adder-cost: 138 maxlim: 82944 bits: 18/17 8.48/8.57 c ---[2102]---> Adder-cost: 68 maxlim: 82944 bits: 18/17 8.48/8.58 c ---[2100]---> Sorter-cost: 458 Base: 2 2 2 2 2 2 2 2 2 2 7 8.48/8.58 c ---[2098]---> Adder-cost: 304 maxlim: 160768 bits: 19/18 8.58/8.60 c ---[2096]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 8.58/8.61 c ---[2094]---> Adder-cost: 86 maxlim: 52224 bits: 17/16 8.58/8.62 c ---[2092]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 8.58/8.62 c ---[2090]---> Sorter-cost: 613 Base: 2 2 2 2 2 2 2 2 2 2 7 8.58/8.62 c ---[2088]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 8.58/8.63 c ---[2086]---> Sorter-cost: 552 Base: 2 2 2 2 2 2 2 2 2 2 7 8.58/8.63 c ---[2084]---> Sorter-cost: 1039 Base: 2 2 2 2 2 2 2 2 2 2 7 8.58/8.64 c ---[2082]---> Sorter-cost: 611 Base: 2 2 2 2 2 2 2 2 2 2 7 8.58/8.64 c ---[2080]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 8.58/8.64 c ---[2078]---> Adder-cost: 66 maxlim: 52224 bits: 17/16 8.58/8.65 c ---[2076]---> Adder-cost: 156 maxlim: 79872 bits: 18/17 8.58/8.66 c ---[2074]---> Adder-cost: 62 maxlim: 79872 bits: 18/17 8.58/8.67 c ---[2072]---> Adder-cost: 112 maxlim: 69632 bits: 18/17 8.58/8.68 c ---[2070]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 8.58/8.68 c ---[2068]---> Adder-cost: 110 maxlim: 69632 bits: 18/17 8.58/8.69 c ---[2066]---> Sorter-cost: 464 Base: 2 2 2 2 2 2 2 2 2 2 7 8.58/8.69 c ---[2064]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 8.68/8.70 c ---[2062]---> Sorter-cost: 562 Base: 2 2 2 2 2 2 2 2 2 2 7 8.68/8.70 c ---[2060]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 8.68/8.70 c ---[2058]---> Sorter-cost: 644 Base: 2 2 2 2 2 2 2 2 2 2 7 8.68/8.71 c ---[2056]---> Sorter-cost: 1175 Base: 2 2 2 2 2 2 2 2 2 2 7 8.68/8.71 c ---[2054]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 8.68/8.72 c ---[2052]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 8.68/8.72 c ---[2050]---> Adder-cost: 100 maxlim: 56320 bits: 17/16 8.68/8.73 c ---[2048]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 8.68/8.73 c ---[2046]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 8.68/8.74 c ---[2044]---> Adder-cost: 324 maxlim: 190464 bits: 19/18 8.68/8.76 c ---[2042]---> Adder-cost: 100 maxlim: 53248 bits: 17/16 8.68/8.77 c ---[2040]---> Adder-cost: 94 maxlim: 53248 bits: 17/16 8.68/8.77 c ---[2038]---> Sorter-cost: 1171 Base: 2 2 2 2 2 2 2 2 2 2 7 8.68/8.78 c ---[2036]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 8.68/8.78 c ---[2034]---> Adder-cost: 176 maxlim: 90112 bits: 18/17 8.68/8.80 c ---[2032]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 8.68/8.80 c ---[2030]---> Sorter-cost: 591 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79/8.80 c ---[2028]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79/8.81 c ---[2026]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79/8.82 c ---[2024]---> Sorter-cost: 572 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79/8.82 c ---[2022]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 8.79/8.82 c ---[2020]---> Sorter-cost: 437 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79/8.82 c ---[2018]---> Sorter-cost: 311 Base: 2 2 2 2 2 2 2 2 2 2 2 8.79/8.82 c ---[2016]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 8.79/8.83 c ---[2014]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 8.79/8.83 c ---[2012]---> Sorter-cost: 376 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79/8.83 c ---[2010]---> Adder-cost: 122 maxlim: 62464 bits: 17/16 8.79/8.84 c ---[2008]---> Sorter-cost: 395 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79/8.84 c ---[2006]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 8.79/8.85 c ---[2004]---> Sorter-cost: 1081 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79/8.85 c ---[2002]---> Sorter-cost: 729 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79/8.86 c ---[2000]---> Sorter-cost: 951 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79/8.86 c ---[1998]---> Adder-cost: 214 maxlim: 108544 bits: 18/17 8.79/8.87 c ---[1996]---> Adder-cost: 162 maxlim: 91136 bits: 18/17 8.79/8.89 c ---[1994]---> Sorter-cost: 655 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79/8.89 c ---[1992]---> Sorter-cost: 409 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79/8.89 c ---[1990]---> Adder-cost: 166 maxlim: 84992 bits: 18/17 8.89/8.90 c ---[1988]---> Sorter-cost: 1055 Base: 2 2 2 2 2 2 2 2 2 2 7 8.89/8.91 c ---[1986]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 8.89/8.91 c ---[1984]---> Adder-cost: 308 maxlim: 159744 bits: 19/18 8.89/8.93 c ---[1982]---> Adder-cost: 272 maxlim: 140288 bits: 19/18 8.89/8.95 c ---[1980]---> Adder-cost: 200 maxlim: 101376 bits: 18/17 8.89/8.96 c ---[1978]---> Adder-cost: 208 maxlim: 107520 bits: 18/17 8.89/8.98 c ---[1976]---> Adder-cost: 168 maxlim: 106496 bits: 18/17 8.89/8.99 c ---[1974]---> Adder-cost: 142 maxlim: 112640 bits: 18/17 8.98/9.00 c ---[1972]---> Sorter-cost: 638 Base: 2 2 2 2 2 2 2 2 2 2 7 8.98/9.01 c ---[1970]---> Adder-cost: 146 maxlim: 76800 bits: 18/17 8.98/9.02 c ---[1968]---> Adder-cost: 120 maxlim: 67584 bits: 18/17 8.98/9.03 c ---[1966]---> Sorter-cost: 1248 Base: 2 2 2 2 2 2 2 2 2 2 7 8.98/9.03 c ---[1964]---> Adder-cost: 106 maxlim: 55296 bits: 17/16 8.98/9.04 c ---[1962]---> Adder-cost: 218 maxlim: 117760 bits: 18/17 8.98/9.05 c ---[1960]---> Adder-cost: 164 maxlim: 97280 bits: 18/17 8.98/9.07 c ---[1958]---> Adder-cost: 168 maxlim: 84992 bits: 18/17 8.98/9.08 c ---[1956]---> Adder-cost: 174 maxlim: 90112 bits: 18/17 8.98/9.09 c ---[1954]---> Adder-cost: 112 maxlim: 60416 bits: 17/16 8.98/9.09 c ---[1952]---> Adder-cost: 222 maxlim: 139264 bits: 19/18 9.08/9.11 c ---[1950]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 9.08/9.13 c ---[1948]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 9.08/9.15 c ---[1946]---> Adder-cost: 90 maxlim: 60416 bits: 17/16 9.08/9.15 c ---[1944]---> Adder-cost: 216 maxlim: 115712 bits: 18/17 9.08/9.17 c ---[1942]---> Adder-cost: 76 maxlim: 115712 bits: 18/17 9.08/9.18 c ---[1940]---> Adder-cost: 148 maxlim: 84992 bits: 18/17 9.08/9.19 c ---[1938]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 9.18/9.20 c ---[1936]---> Adder-cost: 120 maxlim: 61440 bits: 17/16 9.18/9.21 c ---[1934]---> Sorter-cost: 1219 Base: 2 2 2 2 2 2 2 2 2 2 7 9.18/9.22 c ---[1932]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 9.18/9.22 c ---[1930]---> Sorter-cost: 644 Base: 2 2 2 2 2 2 2 2 2 2 7 9.18/9.22 c ---[1928]---> Sorter-cost: 436 Base: 2 2 2 2 2 2 2 2 2 2 7 9.18/9.23 c ---[1926]---> Adder-cost: 176 maxlim: 93184 bits: 18/17 9.18/9.24 c ---[1924]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 9.18/9.24 c ---[1922]---> Sorter-cost: 1037 Base: 2 2 2 2 2 2 2 2 2 2 7 9.18/9.25 c ---[1920]---> Adder-cost: 122 maxlim: 86016 bits: 18/17 9.18/9.26 c ---[1918]---> Adder-cost: 218 maxlim: 114688 bits: 18/17 9.18/9.27 c ---[1916]---> Adder-cost: 76 maxlim: 114688 bits: 18/17 9.18/9.29 c ---[1914]---> Sorter-cost: 1020 Base: 2 2 2 2 2 2 2 2 2 2 7 9.18/9.29 c ---[1912]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 9.28/9.30 c ---[1910]---> Adder-cost: 200 maxlim: 98304 bits: 18/17 9.28/9.31 c ---[1908]---> Sorter-cost: 649 Base: 2 2 2 2 2 2 2 2 2 2 7 9.28/9.31 c ---[1906]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 9.28/9.32 c ---[1904]---> Sorter-cost: 1031 Base: 2 2 2 2 2 2 2 2 2 2 7 9.28/9.32 c ---[1902]---> Adder-cost: 240 maxlim: 124928 bits: 18/17 9.28/9.34 c ---[1900]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 9.28/9.34 c ---[1898]---> Sorter-cost: 1144 Base: 2 2 2 2 2 2 2 2 2 2 7 9.28/9.35 c ---[1896]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 9.28/9.35 c ---[1894]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 9.28/9.36 c ---[1892]---> Adder-cost: 140 maxlim: 72704 bits: 18/17 9.28/9.37 c ---[1890]---> Adder-cost: 56 maxlim: 72704 bits: 18/17 9.28/9.38 c ---[1888]---> Adder-cost: 102 maxlim: 51200 bits: 17/16 9.28/9.38 c ---[1886]---> Adder-cost: 154 maxlim: 123904 bits: 18/17 9.38/9.40 c ---[1884]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 9.38/9.40 c ---[1882]---> Adder-cost: 270 maxlim: 151552 bits: 19/18 9.38/9.42 c ---[1880]---> Adder-cost: 160 maxlim: 95232 bits: 18/17 9.38/9.43 c ---[1878]---> Adder-cost: 314 maxlim: 183296 bits: 19/18 9.38/9.45 c ---[1876]---> Adder-cost: 168 maxlim: 100352 bits: 18/17 9.38/9.47 c ---[1874]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 9.38/9.47 c ---[1872]---> Adder-cost: 172 maxlim: 117760 bits: 18/17 9.38/9.49 c ---[1870]---> Sorter-cost: 947 Base: 2 2 2 2 2 2 2 2 2 2 7 9.38/9.49 c ---[1868]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 9.48/9.50 c ---[1866]---> Sorter-cost: 733 Base: 2 2 2 2 2 2 2 2 2 2 7 9.48/9.50 c ---[1864]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 9.48/9.50 c ---[1862]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 9.48/9.51 c ---[1860]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 9.48/9.51 c ---[1858]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 9.48/9.51 c ---[1856]---> Adder-cost: 124 maxlim: 66560 bits: 18/17 9.48/9.52 c ---[1854]---> Adder-cost: 138 maxlim: 118784 bits: 18/17 9.48/9.54 c ---[1852]---> Adder-cost: 136 maxlim: 68608 bits: 18/17 9.48/9.55 c ---[1850]---> Adder-cost: 138 maxlim: 70656 bits: 18/17 9.48/9.56 c ---[1848]---> Sorter-cost: 688 Base: 2 2 2 2 2 2 2 2 2 2 7 9.48/9.56 c ---[1846]---> Adder-cost: 108 maxlim: 58368 bits: 17/16 9.48/9.57 c ---[1844]---> Sorter-cost: 443 Base: 2 2 2 2 2 2 2 2 2 2 7 9.48/9.57 c ---[1842]---> Adder-cost: 188 maxlim: 104448 bits: 18/17 9.48/9.58 c ---[1840]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 9.48/9.58 c ---[1838]---> Adder-cost: 122 maxlim: 62464 bits: 17/16 9.48/9.59 c ---[1836]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 7 9.58/9.60 c ---[1834]---> Adder-cost: 106 maxlim: 53248 bits: 17/16 9.58/9.60 c ---[1832]---> Sorter-cost: 315 Base: 2 2 2 2 2 2 2 2 2 2 2 9.58/9.60 c ---[1831]---> Adder-cost: 2746 maxlim: 1406975 bits: 22/21 9.68/9.77 c ---[1829]---> Adder-cost: 279 maxlim: 158719 bits: 19/18 9.79/9.80 c ---[1827]---> Adder-cost: 490 maxlim: 251903 bits: 19/18 9.79/9.83 c ---[1825]---> Adder-cost: 593 maxlim: 345087 bits: 20/19 9.79/9.88 c ---[1824]---> Adder-cost: 587 maxlim: 338943 bits: 20/19 9.90/9.92 c ---[1822]---> Adder-cost: 727 maxlim: 362495 bits: 20/19 9.90/9.97 c ---[1820]---> Adder-cost: 241 maxlim: 136191 bits: 19/18 9.90/9.99 c ---[1815]---> Sorter-cost: 405 Base: 2 2 2 2 2 2 2 2 2 2 7 9.90/9.99 c ---[1812]---> Adder-cost: 1742 maxlim: 931839 bits: 21/20 10.09/10.11 c ---[1810]---> Adder-cost: 763 maxlim: 477183 bits: 20/19 10.09/10.17 c ---[1809]---> Adder-cost: 3256 maxlim: 1724415 bits: 22/21 10.29/10.38 c ---[1808]---> Adder-cost: 915 maxlim: 497663 bits: 20/19 10.39/10.44 c ---[1807]---> Adder-cost: 374 maxlim: 189439 bits: 19/18 10.39/10.47 c ---[1805]---> Adder-cost: 2104 maxlim: 1154047 bits: 22/21 10.59/10.61 c ---[1803]---> Sorter-cost: 615 Base: 2 2 2 2 2 2 2 2 2 2 7 10.59/10.61 c ---[1802]---> Adder-cost: 410 maxlim: 205823 bits: 19/18 10.59/10.64 c ---[1800]---> Adder-cost: 408 maxlim: 239615 bits: 19/18 10.59/10.67 c ---[1795]---> Adder-cost: 829 maxlim: 413695 bits: 20/19 10.69/10.72 c ---[1792]---> Sorter-cost: 259 Base: 2 2 2 2 2 2 2 2 2 2 2 10.69/10.73 c ---[1790]---> Adder-cost: 802 maxlim: 404479 bits: 20/19 10.69/10.78 c ---[1788]---> Adder-cost: 75 maxlim: 37887 bits: 17/16 10.69/10.79 c ---[1786]---> Adder-cost: 184 maxlim: 27647 bits: 16/15 10.79/10.80 c ---[1784]---> Adder-cost: 162 maxlim: 37887 bits: 17/16 10.79/10.81 c ---[1783]---> Adder-cost: 253 maxlim: 121855 bits: 18/17 10.79/10.83 c ---[1781]---> Adder-cost: 149 maxlim: 29695 bits: 16/15 10.79/10.84 c ---[1780]---> Adder-cost: 132 maxlim: 51199 bits: 17/16 10.79/10.85 c ---[1779]---> Adder-cost: 119 maxlim: 38911 bits: 17/16 10.79/10.86 c ---[1776]---> Adder-cost: 347 maxlim: 77823 bits: 18/17 10.79/10.88 c ---[1774]---> Adder-cost: 1116 maxlim: 292863 bits: 20/19 10.89/10.95 c ---[1773]---> Adder-cost: 221 maxlim: 30719 bits: 16/15 10.89/10.96 c ---[1771]---> Adder-cost: 122 maxlim: 74752 bits: 18/17 10.89/10.97 c ---[1770]---> Adder-cost: 373 maxlim: 22527 bits: 16/15 10.89/10.99 c ---[1769]---> Adder-cost: 257 maxlim: 110591 bits: 18/17 11.00/11.01 c ---[1768]---> Adder-cost: 194 maxlim: 89087 bits: 18/17 11.00/11.02 c ---[1766]---> Adder-cost: 332 maxlim: 150527 bits: 19/18 11.00/11.05 c ---[1765]---> Adder-cost: 9443 maxlim: 3674111 bits: 23/22 11.88/11.90 c ---[1763]---> Adder-cost: 16374 maxlim: 9792511 bits: 24/24 13.29/13.37 c ---[1749]---> Sorter-cost: 653 Base: 2 2 2 2 2 2 2 2 2 2 7 13.29/13.38 c ---[1724]---> Sorter-cost: 421 Base: 2 2 2 2 2 2 2 2 2 2 7 13.29/13.38 c ---[1718]---> Adder-cost: 490 maxlim: 303104 bits: 20/19 13.39/13.42 c ---[1713]---> Adder-cost: 388 maxlim: 275456 bits: 20/19 13.39/13.45 c ---[1708]---> Adder-cost: 440 maxlim: 304128 bits: 20/19 13.39/13.49 c ---[1706]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 13.39/13.49 c ---[1704]---> Sorter-cost: 1251 Base: 2 2 2 2 2 2 2 2 2 2 7 13.49/13.50 c ---[1703]---> Adder-cost: 53509 maxlim: 320497663 bits: 30/29 47.68/47.73 c ---[1701]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 47.68/47.73 c ---[1699]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 47.68/47.74 c ---[1696]---> Sorter-cost: 871 Base: 2 2 2 2 2 2 2 2 2 2 7 47.68/47.74 c ---[1694]---> Sorter-cost: 666 Base: 2 2 2 2 2 2 2 2 2 2 7 47.68/47.74 c ---[1692]---> Sorter-cost: 591 Base: 2 2 2 2 2 2 2 2 2 2 7 47.68/47.75 c ---[1690]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 47.68/47.75 c ---[1688]---> Adder-cost: 472 maxlim: 249856 bits: 19/18 47.68/47.78 c ---[1686]---> Adder-cost: 286 maxlim: 251904 bits: 19/18 47.78/47.81 c ---[1684]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 47.78/47.81 c ---[1682]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 47.78/47.82 c ---[1680]---> Sorter-cost: 646 Base: 2 2 2 2 2 2 2 2 2 2 7 47.78/47.82 c ---[1678]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 47.78/47.83 c ---[1676]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 47.78/47.83 c ---[1674]---> Adder-cost: 176 maxlim: 88064 bits: 18/17 47.78/47.84 c ---[1672]---> Adder-cost: 202 maxlim: 102400 bits: 18/17 47.78/47.86 c ---[1670]---> Adder-cost: 214 maxlim: 109568 bits: 18/17 47.78/47.87 c ---[1668]---> Adder-cost: 214 maxlim: 133120 bits: 19/18 47.78/47.89 c ---[1666]---> Adder-cost: 88 maxlim: 133120 bits: 19/18 47.88/47.90 c ---[1664]---> Adder-cost: 468 maxlim: 259072 bits: 19/18 47.88/47.93 c ---[1662]---> Adder-cost: 124 maxlim: 259072 bits: 19/18 47.88/47.97 c ---[1660]---> Sorter-cost: 997 Base: 2 2 2 2 2 2 2 2 2 2 7 47.88/47.97 c ---[1658]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 47.88/47.97 c ---[1656]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 47.88/47.98 c ---[1654]---> Adder-cost: 106 maxlim: 55296 bits: 17/16 47.88/47.98 c ---[1652]---> Adder-cost: 144 maxlim: 89088 bits: 18/17 47.88/47.99 c ---[1650]---> Adder-cost: 274 maxlim: 152576 bits: 19/18 47.98/48.01 c ---[1648]---> Adder-cost: 138 maxlim: 71680 bits: 18/17 47.98/48.02 c ---[1646]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 47.98/48.03 c ---[1644]---> Adder-cost: 292 maxlim: 196608 bits: 19/18 47.98/48.05 c ---[1642]---> Adder-cost: 542 maxlim: 321536 bits: 20/19 47.98/48.09 c ---[1640]---> Adder-cost: 580 maxlim: 322560 bits: 20/19 48.08/48.13 c ---[1638]---> Adder-cost: 566 maxlim: 323584 bits: 20/19 48.08/48.17 c ---[1636]---> Adder-cost: 444 maxlim: 238592 bits: 19/18 48.18/48.20 c ---[1634]---> Adder-cost: 362 maxlim: 244736 bits: 19/18 48.18/48.23 c ---[1632]---> Adder-cost: 142 maxlim: 71680 bits: 18/17 48.18/48.24 c ---[1630]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 48.18/48.25 c ---[1628]---> Sorter-cost: 1148 Base: 2 2 2 2 2 2 2 2 2 2 7 48.18/48.25 c ---[1626]---> Adder-cost: 736 maxlim: 418816 bits: 20/19 48.28/48.30 c ---[1624]---> Adder-cost: 174 maxlim: 418816 bits: 20/19 48.28/48.35 c ---[1622]---> Adder-cost: 568 maxlim: 319488 bits: 20/19 48.28/48.39 c ---[1620]---> Adder-cost: 148 maxlim: 319488 bits: 20/19 48.38/48.43 c ---[1618]---> Adder-cost: 216 maxlim: 114688 bits: 18/17 48.38/48.44 c ---[1616]---> Adder-cost: 76 maxlim: 114688 bits: 18/17 48.38/48.46 c ---[1614]---> Adder-cost: 336 maxlim: 180224 bits: 19/18 48.38/48.48 c ---[1612]---> Adder-cost: 246 maxlim: 163840 bits: 19/18 48.38/48.50 c ---[1610]---> Adder-cost: 538 maxlim: 312320 bits: 20/19 48.48/48.54 c ---[1608]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 48.48/48.54 c ---[1606]---> Adder-cost: 154 maxlim: 312320 bits: 20/19 48.48/48.58 c ---[1604]---> Adder-cost: 164 maxlim: 86016 bits: 18/17 48.48/48.59 c ---[1602]---> Adder-cost: 110 maxlim: 59392 bits: 17/16 48.58/48.60 c ---[1600]---> Adder-cost: 584 maxlim: 385024 bits: 20/19 48.58/48.64 c ---[1598]---> Adder-cost: 164 maxlim: 385024 bits: 20/19 48.58/48.69 c ---[1596]---> Adder-cost: 238 maxlim: 132096 bits: 19/18 48.68/48.70 c ---[1594]---> Adder-cost: 90 maxlim: 132096 bits: 19/18 48.68/48.72 c ---[1592]---> Adder-cost: 234 maxlim: 152576 bits: 19/18 48.68/48.74 c ---[1590]---> Adder-cost: 94 maxlim: 152576 bits: 19/18 48.68/48.76 c ---[1588]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 48.68/48.76 c ---[1586]---> Adder-cost: 172 maxlim: 123904 bits: 18/17 48.68/48.78 c ---[1584]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 48.68/48.79 c ---[1582]---> Adder-cost: 170 maxlim: 113664 bits: 18/17 48.78/48.81 c ---[1580]---> Adder-cost: 220 maxlim: 142336 bits: 19/18 48.78/48.83 c ---[1578]---> Adder-cost: 172 maxlim: 130048 bits: 18/17 48.78/48.84 c ---[1576]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 48.78/48.86 c ---[1574]---> Adder-cost: 106 maxlim: 59392 bits: 17/16 48.78/48.86 c ---[1572]---> Adder-cost: 68 maxlim: 53248 bits: 17/16 48.78/48.87 c ---[1570]---> Adder-cost: 234 maxlim: 130048 bits: 18/17 48.78/48.89 c ---[1568]---> Adder-cost: 172 maxlim: 117760 bits: 18/17 48.88/48.90 c ---[1566]---> Adder-cost: 96 maxlim: 53248 bits: 17/16 48.88/48.91 c ---[1564]---> Adder-cost: 230 maxlim: 118784 bits: 18/17 48.88/48.92 c ---[1562]---> Adder-cost: 176 maxlim: 102400 bits: 18/17 48.88/48.94 c ---[1560]---> Adder-cost: 214 maxlim: 119808 bits: 18/17 48.88/48.95 c ---[1558]---> Adder-cost: 378 maxlim: 219136 bits: 19/18 48.88/48.98 c ---[1556]---> Sorter-cost: 1248 Base: 2 2 2 2 2 2 2 2 2 2 7 48.88/48.98 c ---[1554]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 48.88/48.99 c ---[1552]---> Sorter-cost: 626 Base: 2 2 2 2 2 2 2 2 2 2 7 48.88/48.99 c ---[1550]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 48.98/49.01 c ---[1548]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 48.98/49.01 c ---[1546]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 48.98/49.02 c ---[1544]---> Adder-cost: 234 maxlim: 134144 bits: 19/18 48.98/49.03 c ---[1542]---> Adder-cost: 230 maxlim: 128000 bits: 18/17 48.98/49.05 c ---[1540]---> Adder-cost: 98 maxlim: 63488 bits: 17/16 48.98/49.06 c ---[1538]---> Adder-cost: 108 maxlim: 78848 bits: 18/17 48.98/49.07 c ---[1536]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 48.98/49.07 c ---[1534]---> Sorter-cost: 303 Base: 2 2 2 2 2 2 2 2 2 2 2 48.98/49.07 c ---[1532]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 48.98/49.07 c ---[1530]---> Adder-cost: 472 maxlim: 264192 bits: 20/19 49.08/49.11 c ---[1528]---> Adder-cost: 138 maxlim: 264192 bits: 20/19 49.08/49.14 c ---[1526]---> Adder-cost: 338 maxlim: 212992 bits: 19/18 49.08/49.17 c ---[1524]---> Adder-cost: 274 maxlim: 172032 bits: 19/18 49.08/49.19 c ---[1522]---> Adder-cost: 248 maxlim: 179200 bits: 19/18 49.18/49.21 c ---[1520]---> Adder-cost: 290 maxlim: 219136 bits: 19/18 49.18/49.23 c ---[1518]---> Adder-cost: 94 maxlim: 58368 bits: 17/16 49.18/49.24 c ---[1516]---> Adder-cost: 158 maxlim: 98304 bits: 18/17 49.18/49.25 c ---[1514]---> Adder-cost: 130 maxlim: 73728 bits: 18/17 49.18/49.26 c ---[1512]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 49.18/49.26 c ---[1510]---> Sorter-cost: 441 Base: 2 2 2 2 2 2 2 2 2 2 7 49.18/49.27 c ---[1508]---> Sorter-cost: 442 Base: 2 2 2 2 2 2 2 2 2 2 7 49.18/49.27 c ---[1506]---> Sorter-cost: 277 Base: 2 2 2 2 2 2 2 2 2 2 2 49.18/49.27 c ---[1504]---> Sorter-cost: 579 Base: 2 2 2 2 2 2 2 2 2 2 7 49.18/49.27 c ---[1502]---> Adder-cost: 358 maxlim: 203776 bits: 19/18 49.28/49.30 c ---[1500]---> Adder-cost: 110 maxlim: 203776 bits: 19/18 49.28/49.32 c ---[1498]---> Adder-cost: 220 maxlim: 114688 bits: 18/17 49.28/49.34 c ---[1496]---> Adder-cost: 346 maxlim: 182272 bits: 19/18 49.28/49.36 c ---[1494]---> Adder-cost: 76 maxlim: 114688 bits: 18/17 49.28/49.37 c ---[1492]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 49.28/49.38 c ---[1490]---> Sorter-cost: 907 Base: 2 2 2 2 2 2 2 2 2 2 7 49.28/49.38 c ---[1488]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 49.28/49.38 c ---[1486]---> Sorter-cost: 301 Base: 2 2 2 2 2 2 2 2 2 2 2 49.28/49.39 c ---[1484]---> Adder-cost: 326 maxlim: 180224 bits: 19/18 49.38/49.41 c ---[1482]---> Adder-cost: 386 maxlim: 229376 bits: 19/18 49.38/49.43 c ---[1480]---> Adder-cost: 498 maxlim: 275456 bits: 20/19 49.38/49.47 c ---[1478]---> Adder-cost: 148 maxlim: 275456 bits: 20/19 49.48/49.50 c ---[1476]---> Adder-cost: 602 maxlim: 321536 bits: 20/19 49.48/49.54 c ---[1474]---> Adder-cost: 148 maxlim: 321536 bits: 20/19 49.48/49.58 c ---[1472]---> Adder-cost: 190 maxlim: 120832 bits: 18/17 49.48/49.60 c ---[1470]---> Adder-cost: 190 maxlim: 125952 bits: 18/17 49.58/49.61 c ---[1468]---> Sorter-cost: 233 Base: 2 2 2 2 2 2 2 2 2 2 2 49.58/49.61 c ---[1466]---> Sorter-cost: 369 Base: 2 2 2 2 2 2 2 2 2 2 7 49.58/49.62 c ---[1464]---> Sorter-cost: 1166 Base: 2 2 2 2 2 2 2 2 2 2 7 49.58/49.62 c ---[1462]---> Adder-cost: 174 maxlim: 110592 bits: 18/17 49.58/49.64 c ---[1460]---> Adder-cost: 74 maxlim: 110592 bits: 18/17 49.58/49.65 c ---[1458]---> Sorter-cost: 439 Base: 2 2 2 2 2 2 2 2 2 2 7 49.58/49.65 c ---[1456]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 49.58/49.66 c ---[1454]---> Sorter-cost: 405 Base: 2 2 2 2 2 2 2 2 2 2 7 49.58/49.66 c ---[1452]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 49.58/49.66 c ---[1450]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 49.58/49.66 c ---[1448]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 49.58/49.67 c ---[1446]---> Sorter-cost: 253 Base: 2 2 2 2 2 2 2 2 2 2 2 49.58/49.67 c ---[1444]---> Sorter-cost: 431 Base: 2 2 2 2 2 2 2 2 2 2 7 49.58/49.67 c ---[1442]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 49.58/49.67 c ---[1440]---> Sorter-cost: 436 Base: 2 2 2 2 2 2 2 2 2 2 7 49.58/49.68 c ---[1438]---> Sorter-cost: 583 Base: 2 2 2 2 2 2 2 2 2 2 7 49.58/49.68 c ---[1436]---> Adder-cost: 136 maxlim: 70656 bits: 18/17 49.58/49.69 c ---[1434]---> Sorter-cost: 371 Base: 2 2 2 2 2 2 2 2 2 2 7 49.58/49.69 c ---[1432]---> Sorter-cost: 573 Base: 2 2 2 2 2 2 2 2 2 2 7 49.58/49.69 c ---[1430]---> Sorter-cost: 382 Base: 2 2 2 2 2 2 2 2 2 2 7 49.58/49.70 c ---[1428]---> Sorter-cost: 670 Base: 2 2 2 2 2 2 2 2 2 2 7 49.68/49.70 c ---[1426]---> Sorter-cost: 448 Base: 2 2 2 2 2 2 2 2 2 2 7 49.68/49.70 c ---[1424]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 49.68/49.71 c ---[1422]---> Adder-cost: 216 maxlim: 130048 bits: 18/17 49.68/49.73 c ---[1420]---> Adder-cost: 82 maxlim: 63488 bits: 17/16 49.68/49.73 c ---[1418]---> Sorter-cost: 733 Base: 2 2 2 2 2 2 2 2 2 2 7 49.68/49.74 c ---[1416]---> Sorter-cost: 396 Base: 2 2 2 2 2 2 2 2 2 2 7 49.68/49.74 c ---[1414]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 49.68/49.74 c ---[1412]---> Adder-cost: 102 maxlim: 58368 bits: 17/16 49.68/49.75 c ---[1410]---> Sorter-cost: 418 Base: 2 2 2 2 2 2 2 2 2 2 7 49.68/49.75 c ---[1408]---> Sorter-cost: 561 Base: 2 2 2 2 2 2 2 2 2 2 7 49.68/49.76 c ---[1406]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 49.68/49.76 c ---[1404]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 49.68/49.76 c ---[1402]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 49.68/49.77 c ---[1400]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 49.68/49.77 c ---[1398]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 49.68/49.77 c ---[1396]---> Adder-cost: 82 maxlim: 56320 bits: 17/16 49.68/49.78 c ---[1394]---> Sorter-cost: 572 Base: 2 2 2 2 2 2 2 2 2 2 7 49.68/49.78 c ---[1392]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 49.68/49.79 c ---[1390]---> Sorter-cost: 412 Base: 2 2 2 2 2 2 2 2 2 2 7 49.68/49.79 c ---[1388]---> Sorter-cost: 690 Base: 2 2 2 2 2 2 2 2 2 2 7 49.68/49.79 c ---[1386]---> Adder-cost: 98 maxlim: 54272 bits: 17/16 49.78/49.80 c ---[1384]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 49.78/49.80 c ---[1382]---> Sorter-cost: 371 Base: 2 2 2 2 2 2 2 2 2 2 7 49.78/49.80 c ---[1380]---> Sorter-cost: 609 Base: 2 2 2 2 2 2 2 2 2 2 7 49.78/49.81 c ---[1378]---> Adder-cost: 234 maxlim: 133120 bits: 19/18 49.78/49.82 c ---[1376]---> Adder-cost: 116 maxlim: 79872 bits: 18/17 49.78/49.83 c ---[1374]---> Sorter-cost: 391 Base: 2 2 2 2 2 2 2 2 2 2 7 49.78/49.84 c ---[1372]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 49.78/49.84 c ---[1370]---> Adder-cost: 110 maxlim: 64512 bits: 17/16 49.78/49.85 c ---[1368]---> Sorter-cost: 622 Base: 2 2 2 2 2 2 2 2 2 2 7 49.78/49.85 c ---[1366]---> Adder-cost: 184 maxlim: 100352 bits: 18/17 49.78/49.86 c ---[1364]---> Sorter-cost: 401 Base: 2 2 2 2 2 2 2 2 2 2 7 49.78/49.86 c ---[1362]---> Sorter-cost: 1039 Base: 2 2 2 2 2 2 2 2 2 2 7 49.78/49.87 c ---[1360]---> Sorter-cost: 1221 Base: 2 2 2 2 2 2 2 2 2 2 7 49.78/49.87 c ---[1358]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 49.78/49.88 c ---[1356]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 49.78/49.88 c ---[1354]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 49.78/49.88 c ---[1352]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 49.78/49.89 c ---[1350]---> Adder-cost: 104 maxlim: 55296 bits: 17/16 49.78/49.89 c ---[1348]---> Adder-cost: 352 maxlim: 194560 bits: 19/18 49.88/49.92 c ---[1346]---> Adder-cost: 110 maxlim: 194560 bits: 19/18 49.88/49.94 c ---[1344]---> Adder-cost: 132 maxlim: 75776 bits: 18/17 49.88/49.95 c ---[1342]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 49.88/49.96 c ---[1340]---> Adder-cost: 256 maxlim: 166912 bits: 19/18 49.88/49.98 c ---[1338]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 49.88/49.98 c ---[1336]---> Sorter-cost: 427 Base: 2 2 2 2 2 2 2 2 2 2 7 49.88/49.99 c ---[1334]---> Sorter-cost: 1074 Base: 2 2 2 2 2 2 2 2 2 2 7 49.88/49.99 c ---[1332]---> Sorter-cost: 653 Base: 2 2 2 2 2 2 2 2 2 2 7 49.88/50.00 c ---[1330]---> Sorter-cost: 921 Base: 2 2 2 2 2 2 2 2 2 2 7 49.98/50.00 c ---[1328]---> Adder-cost: 110 maxlim: 58368 bits: 17/16 49.98/50.01 c ---[1326]---> Sorter-cost: 919 Base: 2 2 2 2 2 2 2 2 2 2 7 49.98/50.01 c ---[1324]---> Adder-cost: 114 maxlim: 60416 bits: 17/16 49.98/50.02 c ---[1322]---> Adder-cost: 110 maxlim: 60416 bits: 17/16 49.98/50.03 c ---[1320]---> Adder-cost: 150 maxlim: 73728 bits: 18/17 49.98/50.03 c ---[1318]---> Adder-cost: 102 maxlim: 64512 bits: 17/16 49.98/50.04 c ---[1316]---> Sorter-cost: 1303 Base: 2 2 2 2 2 2 2 2 2 2 7 49.98/50.05 c ---[1314]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 49.98/50.05 c ---[1312]---> Adder-cost: 288 maxlim: 151552 bits: 19/18 49.98/50.07 c ---[1310]---> Adder-cost: 252 maxlim: 143360 bits: 19/18 49.98/50.09 c ---[1308]---> Adder-cost: 252 maxlim: 137216 bits: 19/18 50.08/50.11 c ---[1306]---> Adder-cost: 194 maxlim: 137216 bits: 19/18 50.08/50.12 c ---[1304]---> Adder-cost: 176 maxlim: 97280 bits: 18/17 50.08/50.13 c ---[1302]---> Adder-cost: 114 maxlim: 68608 bits: 18/17 50.08/50.14 c ---[1300]---> Adder-cost: 146 maxlim: 88064 bits: 18/17 50.08/50.15 c ---[1298]---> Adder-cost: 152 maxlim: 102400 bits: 18/17 50.08/50.17 c ---[1296]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 50.08/50.17 c ---[1294]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 50.08/50.17 c ---[1292]---> Sorter-cost: 653 Base: 2 2 2 2 2 2 2 2 2 2 7 50.08/50.18 c ---[1290]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 50.08/50.18 c ---[1288]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 50.08/50.18 c ---[1286]---> Adder-cost: 564 maxlim: 310272 bits: 20/19 50.18/50.22 c ---[1284]---> Adder-cost: 424 maxlim: 314368 bits: 20/19 50.18/50.26 c ---[1282]---> Sorter-cost: 863 Base: 2 2 2 2 2 2 2 2 2 2 7 50.18/50.26 c ---[1280]---> Adder-cost: 280 maxlim: 171008 bits: 19/18 50.18/50.28 c ---[1278]---> Adder-cost: 232 maxlim: 149504 bits: 19/18 50.28/50.30 c ---[1276]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 50.28/50.30 c ---[1274]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 50.28/50.31 c ---[1272]---> Adder-cost: 182 maxlim: 98304 bits: 18/17 50.28/50.32 c ---[1270]---> Adder-cost: 100 maxlim: 53248 bits: 17/16 50.28/50.33 c ---[1268]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 50.28/50.33 c ---[1266]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 50.28/50.33 c ---[1264]---> Adder-cost: 90 maxlim: 59392 bits: 17/16 50.28/50.34 c ---[1262]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 50.28/50.35 c ---[1260]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 50.28/50.35 c ---[1258]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 50.28/50.35 c ---[1256]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 50.28/50.36 c ---[1254]---> Adder-cost: 174 maxlim: 96256 bits: 18/17 50.28/50.37 c ---[1252]---> Adder-cost: 68 maxlim: 96256 bits: 18/17 50.28/50.38 c ---[1250]---> Adder-cost: 196 maxlim: 102400 bits: 18/17 50.28/50.39 c ---[1248]---> Adder-cost: 76 maxlim: 102400 bits: 18/17 50.38/50.41 c ---[1246]---> Adder-cost: 254 maxlim: 136192 bits: 19/18 50.38/50.42 c ---[1244]---> Adder-cost: 88 maxlim: 136192 bits: 19/18 50.38/50.44 c ---[1242]---> Adder-cost: 198 maxlim: 113664 bits: 18/17 50.38/50.45 c ---[1240]---> Adder-cost: 72 maxlim: 113664 bits: 18/17 50.38/50.47 c ---[1238]---> Adder-cost: 72 maxlim: 113664 bits: 18/17 50.38/50.48 c ---[1236]---> Adder-cost: 72 maxlim: 113664 bits: 18/17 50.48/50.50 c ---[1234]---> Sorter-cost: 687 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.50 c ---[1232]---> Adder-cost: 212 maxlim: 126976 bits: 18/17 50.48/50.52 c ---[1230]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.52 c ---[1228]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.52 c ---[1226]---> Sorter-cost: 597 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.53 c ---[1224]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.53 c ---[1222]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.53 c ---[1220]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.53 c ---[1218]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.54 c ---[1216]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.54 c ---[1214]---> Adder-cost: 118 maxlim: 61440 bits: 17/16 50.48/50.55 c ---[1212]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.55 c ---[1210]---> Adder-cost: 102 maxlim: 58368 bits: 17/16 50.48/50.56 c ---[1208]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.56 c ---[1206]---> Sorter-cost: 959 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.57 c ---[1204]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 50.48/50.57 c ---[1202]---> Sorter-cost: 1083 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.58 c ---[1200]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.58 c ---[1198]---> Sorter-cost: 666 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.59 c ---[1196]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.59 c ---[1194]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.59 c ---[1192]---> Sorter-cost: 959 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.60 c ---[1190]---> Sorter-cost: 765 Base: 2 2 2 2 2 2 2 2 2 2 7 50.48/50.60 c ---[1188]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.60 c ---[1186]---> Sorter-cost: 941 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.61 c ---[1184]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.61 c ---[1182]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.62 c ---[1180]---> Adder-cost: 224 maxlim: 133120 bits: 19/18 50.58/50.64 c ---[1178]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.64 c ---[1176]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.64 c ---[1174]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.64 c ---[1172]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.65 c ---[1170]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 50.58/50.65 c ---[1168]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 50.58/50.65 c ---[1166]---> Sorter-cost: 1125 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.66 c ---[1164]---> Sorter-cost: 1040 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.66 c ---[1162]---> Sorter-cost: 941 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.66 c ---[1160]---> Sorter-cost: 921 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.67 c ---[1158]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.67 c ---[1156]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.68 c ---[1154]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.68 c ---[1152]---> Sorter-cost: 925 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.69 c ---[1150]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.69 c ---[1148]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.70 c ---[1146]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 50.58/50.70 c ---[1144]---> Sorter-cost: 303 Base: 2 2 2 2 2 2 2 2 2 2 2 50.58/50.70 c ---[1142]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 50.68/50.70 c ---[1140]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 50.68/50.70 c ---[1138]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 50.68/50.71 c ---[1136]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 50.68/50.71 c ---[1134]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 50.68/50.71 c ---[1132]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 50.68/50.72 c ---[1130]---> Sorter-cost: 1121 Base: 2 2 2 2 2 2 2 2 2 2 7 50.68/50.72 c ---[1128]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 50.68/50.73 c ---[1126]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 50.68/50.73 c ---[1124]---> Sorter-cost: 1145 Base: 2 2 2 2 2 2 2 2 2 2 7 50.68/50.74 c ---[1122]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 50.68/50.74 c ---[1120]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 50.68/50.75 c ---[1118]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 50.68/50.75 c ---[1116]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 50.68/50.75 c ---[1114]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 50.68/50.76 c ---[1112]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 50.68/50.76 c ---[1110]---> Adder-cost: 216 maxlim: 116736 bits: 18/17 50.68/50.77 c ---[1108]---> Adder-cost: 170 maxlim: 104448 bits: 18/17 50.68/50.79 c ---[1106]---> Adder-cost: 296 maxlim: 155648 bits: 19/18 50.78/50.81 c ---[1104]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 50.78/50.81 c ---[1102]---> Adder-cost: 166 maxlim: 87040 bits: 18/17 50.78/50.82 c ---[1100]---> Adder-cost: 66 maxlim: 87040 bits: 18/17 50.78/50.83 c ---[1098]---> Adder-cost: 186 maxlim: 95232 bits: 18/17 50.78/50.85 c ---[1096]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 50.78/50.86 c ---[1094]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 50.78/50.87 c ---[1092]---> Adder-cost: 130 maxlim: 66560 bits: 18/17 50.78/50.88 c ---[1090]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 50.78/50.88 c ---[1088]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 50.78/50.89 c ---[1086]---> Adder-cost: 130 maxlim: 79872 bits: 18/17 50.88/50.90 c ---[1084]---> Adder-cost: 132 maxlim: 75776 bits: 18/17 50.88/50.91 c ---[1082]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 50.88/50.92 c ---[1080]---> Sorter-cost: 1024 Base: 2 2 2 2 2 2 2 2 2 2 7 50.88/50.93 c ---[1078]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 50.88/50.93 c ---[1076]---> Sorter-cost: 913 Base: 2 2 2 2 2 2 2 2 2 2 7 50.88/50.94 c ---[1074]---> Sorter-cost: 410 Base: 2 2 2 2 2 2 2 2 2 2 7 50.88/50.94 c ---[1072]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 50.88/50.94 c ---[1070]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 50.88/50.94 c ---[1068]---> Sorter-cost: 333 Base: 2 2 2 2 2 2 2 2 2 2 7 50.88/50.95 c ---[1066]---> Sorter-cost: 395 Base: 2 2 2 2 2 2 2 2 2 2 7 50.88/50.95 c ---[1064]---> Sorter-cost: 634 Base: 2 2 2 2 2 2 2 2 2 2 7 50.88/50.95 c ---[1062]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 50.88/50.95 c ---[1060]---> Sorter-cost: 569 Base: 2 2 2 2 2 2 2 2 2 2 7 50.88/50.96 c ---[1058]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 50.88/50.96 c ---[1056]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 50.88/50.97 c ---[1054]---> Sorter-cost: 539 Base: 2 2 2 2 2 2 2 2 2 2 7 50.88/50.97 c ---[1052]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 50.88/50.97 c ---[1050]---> Sorter-cost: 422 Base: 2 2 2 2 2 2 2 2 2 2 7 50.88/50.97 c ---[1048]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 50.88/50.98 c ---[1046]---> Adder-cost: 222 maxlim: 114688 bits: 18/17 50.88/50.99 c ---[1044]---> Adder-cost: 76 maxlim: 114688 bits: 18/17 50.98/51.00 c ---[1042]---> Adder-cost: 180 maxlim: 112640 bits: 18/17 50.98/51.02 c ---[1040]---> Adder-cost: 74 maxlim: 112640 bits: 18/17 50.98/51.03 c ---[1038]---> Adder-cost: 182 maxlim: 96256 bits: 18/17 50.98/51.04 c ---[1036]---> Adder-cost: 216 maxlim: 116736 bits: 18/17 50.98/51.06 c ---[1034]---> Adder-cost: 162 maxlim: 115712 bits: 18/17 50.98/51.07 c ---[1032]---> Adder-cost: 148 maxlim: 78848 bits: 18/17 50.98/51.08 c ---[1030]---> Adder-cost: 136 maxlim: 71680 bits: 18/17 50.98/51.09 c ---[1028]---> Adder-cost: 170 maxlim: 83968 bits: 18/17 51.08/51.10 c ---[1026]---> Adder-cost: 68 maxlim: 83968 bits: 18/17 51.08/51.11 c ---[1024]---> Sorter-cost: 1081 Base: 2 2 2 2 2 2 2 2 2 2 7 51.08/51.12 c ---[1022]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 51.08/51.12 c ---[1020]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 51.08/51.13 c ---[1018]---> Sorter-cost: 386 Base: 2 2 2 2 2 2 2 2 2 2 7 51.08/51.13 c ---[1016]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 51.08/51.13 c ---[1014]---> Adder-cost: 148 maxlim: 74752 bits: 18/17 51.08/51.14 c ---[1012]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 51.08/51.15 c ---[1010]---> Sorter-cost: 630 Base: 2 2 2 2 2 2 2 2 2 2 7 51.08/51.15 c ---[1008]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 51.08/51.16 c ---[1006]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 51.08/51.16 c ---[1004]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 51.08/51.17 c ---[1002]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 51.08/51.17 c ---[1000]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 51.08/51.18 c ---[ 998]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 51.08/51.18 c ---[ 996]---> Sorter-cost: 1131 Base: 2 2 2 2 2 2 2 2 2 2 7 51.08/51.19 c ---[ 994]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 51.08/51.19 c ---[ 992]---> Sorter-cost: 428 Base: 2 2 2 2 2 2 2 2 2 2 7 51.08/51.19 c ---[ 990]---> Adder-cost: 170 maxlim: 86016 bits: 18/17 51.17/51.21 c ---[ 988]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 51.17/51.22 c ---[ 986]---> Sorter-cost: 1080 Base: 2 2 2 2 2 2 2 2 2 2 7 51.17/51.22 c ---[ 984]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 51.17/51.23 c ---[ 982]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 51.17/51.23 c ---[ 980]---> Sorter-cost: 863 Base: 2 2 2 2 2 2 2 2 2 2 7 51.17/51.24 c ---[ 978]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 51.17/51.24 c ---[ 976]---> Sorter-cost: 481 Base: 2 2 2 2 2 2 2 2 2 2 7 51.17/51.24 c ---[ 974]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 51.17/51.24 c ---[ 972]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 51.17/51.25 c ---[ 970]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 51.17/51.25 c ---[ 968]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 51.17/51.25 c ---[ 966]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 51.17/51.26 c ---[ 964]---> Sorter-cost: 340 Base: 2 2 2 2 2 2 2 2 2 2 7 51.17/51.26 c ---[ 962]---> Sorter-cost: 398 Base: 2 2 2 2 2 2 2 2 2 2 7 51.17/51.26 c ---[ 960]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 51.17/51.27 c ---[ 958]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 51.17/51.27 c ---[ 956]---> Adder-cost: 186 maxlim: 96256 bits: 18/17 51.17/51.28 c ---[ 954]---> Adder-cost: 68 maxlim: 96256 bits: 18/17 51.17/51.29 c ---[ 952]---> Adder-cost: 268 maxlim: 145408 bits: 19/18 51.27/51.31 c ---[ 950]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 51.27/51.33 c ---[ 948]---> Sorter-cost: 935 Base: 2 2 2 2 2 2 2 2 2 2 7 51.27/51.33 c ---[ 946]---> Sorter-cost: 949 Base: 2 2 2 2 2 2 2 2 2 2 7 51.27/51.34 c ---[ 944]---> Adder-cost: 116 maxlim: 63488 bits: 17/16 51.27/51.34 c ---[ 942]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 51.27/51.35 c ---[ 940]---> Adder-cost: 134 maxlim: 66560 bits: 18/17 51.27/51.36 c ---[ 938]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 51.27/51.37 c ---[ 936]---> Adder-cost: 124 maxlim: 70656 bits: 18/17 51.27/51.38 c ---[ 934]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 51.27/51.39 c ---[ 932]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 51.37/51.40 c ---[ 930]---> Adder-cost: 136 maxlim: 75776 bits: 18/17 51.37/51.41 c ---[ 928]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 51.37/51.42 c ---[ 926]---> Sorter-cost: 690 Base: 2 2 2 2 2 2 2 2 2 2 7 51.37/51.42 c ---[ 924]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 51.37/51.42 c ---[ 922]---> Sorter-cost: 683 Base: 2 2 2 2 2 2 2 2 2 2 7 51.37/51.43 c ---[ 920]---> Adder-cost: 252 maxlim: 140288 bits: 19/18 51.37/51.44 c ---[ 918]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 51.37/51.45 c ---[ 916]---> Adder-cost: 108 maxlim: 55296 bits: 17/16 51.37/51.46 c ---[ 914]---> Adder-cost: 84 maxlim: 52224 bits: 17/16 51.37/51.46 c ---[ 912]---> Adder-cost: 344 maxlim: 181248 bits: 19/18 51.37/51.48 c ---[ 910]---> Adder-cost: 194 maxlim: 107520 bits: 18/17 51.47/51.50 c ---[ 908]---> Adder-cost: 78 maxlim: 107520 bits: 18/17 51.47/51.51 c ---[ 906]---> Adder-cost: 120 maxlim: 63488 bits: 17/16 51.47/51.52 c ---[ 904]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 51.47/51.52 c ---[ 902]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 51.47/51.53 c ---[ 900]---> Adder-cost: 120 maxlim: 61440 bits: 17/16 51.47/51.54 c ---[ 898]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 51.47/51.55 c ---[ 896]---> Adder-cost: 170 maxlim: 97280 bits: 18/17 51.47/51.56 c ---[ 894]---> Adder-cost: 64 maxlim: 97280 bits: 18/17 51.47/51.57 c ---[ 892]---> Sorter-cost: 315 Base: 2 2 2 2 2 2 2 2 2 2 2 51.47/51.57 c ---[ 890]---> Adder-cost: 310 maxlim: 171008 bits: 19/18 51.47/51.59 c ---[ 888]---> Sorter-cost: 1184 Base: 2 2 2 2 2 2 2 2 2 2 7 51.57/51.60 c ---[ 886]---> Adder-cost: 114 maxlim: 60416 bits: 17/16 51.57/51.60 c ---[ 884]---> Adder-cost: 100 maxlim: 60416 bits: 17/16 51.57/51.61 c ---[ 882]---> Adder-cost: 206 maxlim: 113664 bits: 18/17 51.57/51.63 c ---[ 880]---> Adder-cost: 72 maxlim: 113664 bits: 18/17 51.57/51.64 c ---[ 878]---> Adder-cost: 142 maxlim: 71680 bits: 18/17 51.57/51.65 c ---[ 876]---> Adder-cost: 136 maxlim: 86016 bits: 18/17 51.57/51.66 c ---[ 874]---> Adder-cost: 180 maxlim: 103424 bits: 18/17 51.57/51.67 c ---[ 872]---> Adder-cost: 76 maxlim: 103424 bits: 18/17 51.57/51.69 c ---[ 870]---> Adder-cost: 76 maxlim: 103424 bits: 18/17 51.57/51.70 c ---[ 868]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 51.68/51.70 c ---[ 866]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 51.68/51.71 c ---[ 864]---> Sorter-cost: 1188 Base: 2 2 2 2 2 2 2 2 2 2 7 51.68/51.71 c ---[ 862]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 51.68/51.72 c ---[ 860]---> Sorter-cost: 1095 Base: 2 2 2 2 2 2 2 2 2 2 7 51.68/51.72 c ---[ 858]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 51.68/51.73 c ---[ 856]---> Adder-cost: 270 maxlim: 143360 bits: 19/18 51.68/51.75 c ---[ 854]---> Sorter-cost: 1190 Base: 2 2 2 2 2 2 2 2 2 2 7 51.68/51.75 c ---[ 852]---> Sorter-cost: 1068 Base: 2 2 2 2 2 2 2 2 2 2 7 51.68/51.76 c ---[ 850]---> Sorter-cost: 548 Base: 2 2 2 2 2 2 2 2 2 2 7 51.68/51.76 c ---[ 848]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 51.68/51.76 c ---[ 846]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 51.68/51.77 c ---[ 844]---> Sorter-cost: 1123 Base: 2 2 2 2 2 2 2 2 2 2 7 51.68/51.77 c ---[ 842]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 51.68/51.78 c ---[ 840]---> Adder-cost: 108 maxlim: 62464 bits: 17/16 51.68/51.79 c ---[ 838]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 51.68/51.79 c ---[ 836]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 51.68/51.79 c ---[ 834]---> Adder-cost: 154 maxlim: 95232 bits: 18/17 51.78/51.81 c ---[ 832]---> Sorter-cost: 1168 Base: 2 2 2 2 2 2 2 2 2 2 7 51.78/51.81 c ---[ 830]---> Sorter-cost: 950 Base: 2 2 2 2 2 2 2 2 2 2 7 51.78/51.82 c ---[ 828]---> Adder-cost: 190 maxlim: 103424 bits: 18/17 51.78/51.83 c ---[ 826]---> Adder-cost: 76 maxlim: 103424 bits: 18/17 51.78/51.84 c ---[ 824]---> Adder-cost: 76 maxlim: 103424 bits: 18/17 51.78/51.85 c ---[ 822]---> Sorter-cost: 1183 Base: 2 2 2 2 2 2 2 2 2 2 7 51.78/51.86 c ---[ 820]---> Sorter-cost: 588 Base: 2 2 2 2 2 2 2 2 2 2 7 51.78/51.86 c ---[ 818]---> Adder-cost: 176 maxlim: 90112 bits: 18/17 51.78/51.87 c ---[ 816]---> Adder-cost: 106 maxlim: 55296 bits: 17/16 51.78/51.88 c ---[ 814]---> Adder-cost: 100 maxlim: 60416 bits: 17/16 51.78/51.89 c ---[ 812]---> Adder-cost: 138 maxlim: 69632 bits: 18/17 51.87/51.90 c ---[ 810]---> Adder-cost: 62 maxlim: 69632 bits: 18/17 51.87/51.91 c ---[ 808]---> Adder-cost: 120 maxlim: 70656 bits: 18/17 51.87/51.92 c ---[ 806]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 51.87/51.92 c ---[ 804]---> Sorter-cost: 489 Base: 2 2 2 2 2 2 2 2 2 2 7 51.87/51.93 c ---[ 802]---> Sorter-cost: 1243 Base: 2 2 2 2 2 2 2 2 2 2 7 51.87/51.93 c ---[ 800]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 51.87/51.94 c ---[ 798]---> Adder-cost: 102 maxlim: 54272 bits: 17/16 51.87/51.94 c ---[ 796]---> Sorter-cost: 969 Base: 2 2 2 2 2 2 2 2 2 2 7 51.87/51.95 c ---[ 794]---> Sorter-cost: 1217 Base: 2 2 2 2 2 2 2 2 2 2 7 51.87/51.95 c ---[ 792]---> Adder-cost: 98 maxlim: 54272 bits: 17/16 51.87/51.96 c ---[ 790]---> Sorter-cost: 527 Base: 2 2 2 2 2 2 2 2 2 2 7 51.87/51.96 c ---[ 788]---> Adder-cost: 180 maxlim: 104448 bits: 18/17 51.87/51.98 c ---[ 786]---> Sorter-cost: 592 Base: 2 2 2 2 2 2 2 2 2 2 7 51.87/51.98 c ---[ 784]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 51.87/51.98 c ---[ 782]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 51.87/51.99 c ---[ 780]---> Adder-cost: 424 maxlim: 242688 bits: 19/18 51.97/52.02 c ---[ 778]---> Adder-cost: 316 maxlim: 239616 bits: 19/18 51.97/52.04 c ---[ 776]---> Adder-cost: 166 maxlim: 97280 bits: 18/17 51.97/52.06 c ---[ 774]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 51.97/52.06 c ---[ 772]---> Adder-cost: 138 maxlim: 86016 bits: 18/17 51.97/52.07 c ---[ 770]---> Adder-cost: 120 maxlim: 89088 bits: 18/17 51.97/52.08 c ---[ 768]---> Sorter-cost: 441 Base: 2 2 2 2 2 2 2 2 2 2 7 51.97/52.08 c ---[ 766]---> Sorter-cost: 257 Base: 2 2 2 2 2 2 2 2 2 2 2 51.97/52.09 c ---[ 764]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 51.97/52.09 c ---[ 762]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 51.97/52.09 c ---[ 760]---> Sorter-cost: 443 Base: 2 2 2 2 2 2 2 2 2 2 7 51.97/52.09 c ---[ 758]---> Sorter-cost: 655 Base: 2 2 2 2 2 2 2 2 2 2 7 51.97/52.10 c ---[ 756]---> Sorter-cost: 993 Base: 2 2 2 2 2 2 2 2 2 2 7 52.08/52.10 c ---[ 754]---> Sorter-cost: 540 Base: 2 2 2 2 2 2 2 2 2 2 7 52.08/52.10 c ---[ 752]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 52.08/52.11 c ---[ 750]---> Sorter-cost: 311 Base: 2 2 2 2 2 2 2 2 2 2 2 52.08/52.11 c ---[ 748]---> Adder-cost: 174 maxlim: 94208 bits: 18/17 52.08/52.12 c ---[ 746]---> Adder-cost: 142 maxlim: 77824 bits: 18/17 52.08/52.13 c ---[ 744]---> Adder-cost: 224 maxlim: 120832 bits: 18/17 52.08/52.14 c ---[ 742]---> Adder-cost: 214 maxlim: 123904 bits: 18/17 52.08/52.16 c ---[ 740]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 2 2 2 2 7 52.08/52.16 c ---[ 738]---> Adder-cost: 254 maxlim: 135168 bits: 19/18 52.08/52.18 c ---[ 736]---> Adder-cost: 112 maxlim: 63488 bits: 17/16 52.08/52.19 c ---[ 734]---> Adder-cost: 140 maxlim: 71680 bits: 18/17 52.18/52.20 c ---[ 732]---> Adder-cost: 88 maxlim: 80896 bits: 18/17 52.18/52.21 c ---[ 730]---> Adder-cost: 92 maxlim: 76800 bits: 18/17 52.18/52.22 c ---[ 728]---> Adder-cost: 202 maxlim: 131072 bits: 19/18 52.18/52.24 c ---[ 726]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 52.18/52.25 c ---[ 724]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 52.18/52.26 c ---[ 722]---> Adder-cost: 136 maxlim: 65536 bits: 18/17 52.18/52.27 c ---[ 720]---> Sorter-cost: 1177 Base: 2 2 2 2 2 2 2 2 2 2 7 52.18/52.27 c ---[ 718]---> Adder-cost: 146 maxlim: 73728 bits: 18/17 52.18/52.28 c ---[ 716]---> Adder-cost: 62 maxlim: 73728 bits: 18/17 52.18/52.29 c ---[ 714]---> Adder-cost: 62 maxlim: 73728 bits: 18/17 52.28/52.30 c ---[ 712]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 52.28/52.30 c ---[ 710]---> Adder-cost: 108 maxlim: 58368 bits: 17/16 52.28/52.31 c ---[ 708]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 52.28/52.32 c ---[ 706]---> Adder-cost: 110 maxlim: 62464 bits: 17/16 52.28/52.32 c ---[ 704]---> Sorter-cost: 313 Base: 2 2 2 2 2 2 2 2 2 2 2 52.28/52.33 c ---[ 702]---> Sorter-cost: 361 Base: 2 2 2 2 2 2 2 2 2 2 7 52.28/52.33 c ---[ 700]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 52.28/52.33 c ---[ 698]---> Adder-cost: 158 maxlim: 83968 bits: 18/17 52.28/52.34 c ---[ 696]---> Adder-cost: 162 maxlim: 97280 bits: 18/17 52.28/52.36 c ---[ 694]---> Adder-cost: 64 maxlim: 97280 bits: 18/17 52.28/52.37 c ---[ 692]---> Adder-cost: 64 maxlim: 97280 bits: 18/17 52.28/52.38 c ---[ 690]---> Adder-cost: 64 maxlim: 97280 bits: 18/17 52.28/52.39 c ---[ 688]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 52.38/52.40 c ---[ 686]---> Adder-cost: 132 maxlim: 70656 bits: 18/17 52.38/52.41 c ---[ 684]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 52.38/52.42 c ---[ 682]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 52.38/52.42 c ---[ 680]---> Adder-cost: 144 maxlim: 77824 bits: 18/17 52.38/52.43 c ---[ 678]---> Adder-cost: 108 maxlim: 63488 bits: 17/16 52.38/52.44 c ---[ 676]---> Sorter-cost: 401 Base: 2 2 2 2 2 2 2 2 2 2 7 52.38/52.44 c ---[ 674]---> Sorter-cost: 1067 Base: 2 2 2 2 2 2 2 2 2 2 7 52.38/52.45 c ---[ 672]---> Adder-cost: 144 maxlim: 76800 bits: 18/17 52.38/52.46 c ---[ 670]---> Adder-cost: 190 maxlim: 104448 bits: 18/17 52.38/52.47 c ---[ 668]---> Adder-cost: 74 maxlim: 104448 bits: 18/17 52.38/52.48 c ---[ 666]---> Adder-cost: 134 maxlim: 69632 bits: 18/17 52.38/52.49 c ---[ 664]---> Adder-cost: 160 maxlim: 82944 bits: 18/17 52.48/52.50 c ---[ 662]---> Adder-cost: 104 maxlim: 53248 bits: 17/16 52.48/52.51 c ---[ 660]---> Sorter-cost: 1046 Base: 2 2 2 2 2 2 2 2 2 2 7 52.48/52.51 c ---[ 658]---> Sorter-cost: 1254 Base: 2 2 2 2 2 2 2 2 2 2 7 52.48/52.52 c ---[ 656]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 52.48/52.52 c ---[ 654]---> Sorter-cost: 556 Base: 2 2 2 2 2 2 2 2 2 2 7 52.48/52.52 c ---[ 652]---> Sorter-cost: 1050 Base: 2 2 2 2 2 2 2 2 2 2 7 52.48/52.53 c ---[ 650]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 52.48/52.53 c ---[ 648]---> Adder-cost: 106 maxlim: 54272 bits: 17/16 52.48/52.54 c ---[ 646]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 52.48/52.55 c ---[ 644]---> Adder-cost: 160 maxlim: 93184 bits: 18/17 52.48/52.56 c ---[ 642]---> Adder-cost: 114 maxlim: 61440 bits: 17/16 52.48/52.56 c ---[ 640]---> Adder-cost: 156 maxlim: 130048 bits: 18/17 52.48/52.58 c ---[ 638]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 52.48/52.58 c ---[ 636]---> Adder-cost: 112 maxlim: 57344 bits: 17/16 52.48/52.59 c ---[ 634]---> Adder-cost: 146 maxlim: 78848 bits: 18/17 52.58/52.60 c ---[ 632]---> Adder-cost: 182 maxlim: 98304 bits: 18/17 52.58/52.61 c ---[ 630]---> Adder-cost: 144 maxlim: 98304 bits: 18/17 52.58/52.63 c ---[ 628]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 52.58/52.64 c ---[ 626]---> Adder-cost: 214 maxlim: 132096 bits: 19/18 52.58/52.65 c ---[ 624]---> Adder-cost: 200 maxlim: 121856 bits: 18/17 52.58/52.67 c ---[ 622]---> Sorter-cost: 906 Base: 2 2 2 2 2 2 2 2 2 2 7 52.58/52.67 c ---[ 620]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 52.58/52.68 c ---[ 618]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 52.58/52.68 c ---[ 616]---> Sorter-cost: 410 Base: 2 2 2 2 2 2 2 2 2 2 7 52.58/52.68 c ---[ 614]---> Sorter-cost: 961 Base: 2 2 2 2 2 2 2 2 2 2 7 52.58/52.69 c ---[ 612]---> Adder-cost: 132 maxlim: 73728 bits: 18/17 52.68/52.70 c ---[ 610]---> Adder-cost: 62 maxlim: 73728 bits: 18/17 52.68/52.71 c ---[ 608]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 52.68/52.72 c ---[ 606]---> Adder-cost: 190 maxlim: 104448 bits: 18/17 52.68/52.73 c ---[ 604]---> Adder-cost: 74 maxlim: 104448 bits: 18/17 52.68/52.75 c ---[ 602]---> Adder-cost: 74 maxlim: 104448 bits: 18/17 52.68/52.76 c ---[ 600]---> Adder-cost: 120 maxlim: 70656 bits: 18/17 52.68/52.77 c ---[ 598]---> Sorter-cost: 448 Base: 2 2 2 2 2 2 2 2 2 2 7 52.68/52.77 c ---[ 596]---> Sorter-cost: 365 Base: 2 2 2 2 2 2 2 2 2 2 7 52.68/52.77 c ---[ 594]---> Adder-cost: 104 maxlim: 95232 bits: 18/17 52.68/52.79 c ---[ 592]---> Sorter-cost: 426 Base: 2 2 2 2 2 2 2 2 2 2 7 52.68/52.79 c ---[ 590]---> Sorter-cost: 919 Base: 2 2 2 2 2 2 2 2 2 2 7 52.68/52.79 c ---[ 588]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 52.68/52.80 c ---[ 586]---> Adder-cost: 128 maxlim: 67584 bits: 18/17 52.79/52.81 c ---[ 584]---> Adder-cost: 122 maxlim: 65536 bits: 18/17 52.79/52.81 c ---[ 582]---> Adder-cost: 56 maxlim: 56320 bits: 17/16 52.79/52.82 c ---[ 580]---> Adder-cost: 98 maxlim: 56320 bits: 17/16 52.79/52.83 c ---[ 578]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 52.79/52.83 c ---[ 576]---> Adder-cost: 136 maxlim: 77824 bits: 18/17 52.79/52.84 c ---[ 574]---> Sorter-cost: 657 Base: 2 2 2 2 2 2 2 2 2 2 7 52.79/52.84 c ---[ 572]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 52.79/52.85 c ---[ 570]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 52.79/52.85 c ---[ 568]---> Adder-cost: 212 maxlim: 126976 bits: 18/17 52.79/52.87 c ---[ 566]---> Adder-cost: 114 maxlim: 58368 bits: 17/16 52.79/52.88 c ---[ 564]---> Adder-cost: 128 maxlim: 72704 bits: 18/17 52.79/52.89 c ---[ 562]---> Adder-cost: 134 maxlim: 68608 bits: 18/17 52.79/52.90 c ---[ 560]---> Adder-cost: 112 maxlim: 59392 bits: 17/16 52.89/52.90 c ---[ 558]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 52.89/52.91 c ---[ 556]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 52.89/52.92 c ---[ 554]---> Adder-cost: 164 maxlim: 95232 bits: 18/17 52.89/52.93 c ---[ 552]---> Adder-cost: 148 maxlim: 88064 bits: 18/17 52.89/52.94 c ---[ 550]---> Adder-cost: 186 maxlim: 128000 bits: 18/17 52.89/52.96 c ---[ 548]---> Adder-cost: 138 maxlim: 99328 bits: 18/17 52.89/52.97 c ---[ 546]---> Sorter-cost: 1020 Base: 2 2 2 2 2 2 2 2 2 2 7 52.89/52.97 c ---[ 544]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 52.89/52.98 c ---[ 542]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 52.89/52.98 c ---[ 540]---> Adder-cost: 150 maxlim: 79872 bits: 18/17 52.89/52.99 c ---[ 538]---> Adder-cost: 198 maxlim: 111616 bits: 18/17 52.98/53.01 c ---[ 536]---> Adder-cost: 196 maxlim: 109568 bits: 18/17 52.98/53.02 c ---[ 534]---> Adder-cost: 226 maxlim: 125952 bits: 18/17 52.98/53.04 c ---[ 532]---> Adder-cost: 156 maxlim: 100352 bits: 18/17 52.98/53.05 c ---[ 530]---> Adder-cost: 194 maxlim: 132096 bits: 19/18 52.98/53.07 c ---[ 528]---> Adder-cost: 132 maxlim: 71680 bits: 18/17 52.98/53.08 c ---[ 526]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 52.98/53.08 c ---[ 524]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 52.98/53.09 c ---[ 522]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 52.98/53.09 c ---[ 520]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 52.98/53.09 c ---[ 518]---> Adder-cost: 62 maxlim: 76800 bits: 18/17 53.08/53.10 c ---[ 516]---> Adder-cost: 110 maxlim: 109568 bits: 18/17 53.08/53.11 c ---[ 514]---> Sorter-cost: 315 Base: 2 2 2 2 2 2 2 2 2 2 2 53.08/53.11 c ---[ 512]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 53.08/53.12 c ---[ 510]---> Sorter-cost: 255 Base: 2 2 2 2 2 2 2 2 2 2 2 53.08/53.12 c ---[ 508]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 53.08/53.12 c ---[ 506]---> Sorter-cost: 263 Base: 2 2 2 2 2 2 2 2 2 2 2 53.08/53.12 c ---[ 504]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 53.08/53.12 c ---[ 502]---> Sorter-cost: 261 Base: 2 2 2 2 2 2 2 2 2 2 2 53.08/53.12 c ---[ 500]---> Adder-cost: 178 maxlim: 101376 bits: 18/17 53.08/53.14 c ---[ 498]---> Sorter-cost: 892 Base: 2 2 2 2 2 2 2 2 2 2 7 53.08/53.14 c ---[ 496]---> Sorter-cost: 678 Base: 2 2 2 2 2 2 2 2 2 2 7 53.08/53.15 c ---[ 494]---> Sorter-cost: 307 Base: 2 2 2 2 2 2 2 2 2 2 2 53.08/53.15 c ---[ 492]---> Adder-cost: 120 maxlim: 68608 bits: 18/17 53.08/53.16 c ---[ 490]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 53.08/53.17 c ---[ 488]---> Adder-cost: 228 maxlim: 135168 bits: 19/18 53.08/53.19 c ---[ 486]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 53.08/53.19 c ---[ 484]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 53.08/53.19 c ---[ 482]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 53.18/53.20 c ---[ 480]---> Sorter-cost: 908 Base: 2 2 2 2 2 2 2 2 2 2 7 53.18/53.20 c ---[ 478]---> Adder-cost: 104 maxlim: 58368 bits: 17/16 53.18/53.21 c ---[ 476]---> Adder-cost: 108 maxlim: 59392 bits: 17/16 53.18/53.22 c ---[ 474]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 53.18/53.22 c ---[ 472]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 53.18/53.24 c ---[ 470]---> Adder-cost: 68 maxlim: 60416 bits: 17/16 53.18/53.24 c ---[ 468]---> Adder-cost: 106 maxlim: 56320 bits: 17/16 53.18/53.25 c ---[ 466]---> Sorter-cost: 1299 Base: 2 2 2 2 2 2 2 2 2 2 7 53.18/53.25 c ---[ 464]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 53.18/53.26 c ---[ 462]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 53.18/53.27 c ---[ 460]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 53.18/53.27 c ---[ 458]---> Adder-cost: 136 maxlim: 81920 bits: 18/17 53.18/53.28 c ---[ 456]---> Adder-cost: 168 maxlim: 92160 bits: 18/17 53.18/53.30 c ---[ 454]---> Adder-cost: 180 maxlim: 96256 bits: 18/17 53.28/53.31 c ---[ 452]---> Adder-cost: 68 maxlim: 96256 bits: 18/17 53.28/53.32 c ---[ 450]---> Adder-cost: 100 maxlim: 52224 bits: 17/16 53.28/53.33 c ---[ 448]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 53.28/53.33 c ---[ 446]---> Adder-cost: 134 maxlim: 67584 bits: 18/17 53.28/53.34 c ---[ 444]---> Adder-cost: 328 maxlim: 181248 bits: 19/18 53.28/53.36 c ---[ 442]---> Adder-cost: 106 maxlim: 181248 bits: 19/18 53.28/53.39 c ---[ 440]---> Adder-cost: 136 maxlim: 80896 bits: 18/17 53.38/53.40 c ---[ 438]---> Sorter-cost: 961 Base: 2 2 2 2 2 2 2 2 2 2 7 53.38/53.40 c ---[ 436]---> Adder-cost: 114 maxlim: 61440 bits: 17/16 53.38/53.41 c ---[ 434]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 53.38/53.41 c ---[ 432]---> Sorter-cost: 1055 Base: 2 2 2 2 2 2 2 2 2 2 7 53.38/53.42 c ---[ 430]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 53.38/53.42 c ---[ 428]---> Adder-cost: 236 maxlim: 135168 bits: 19/18 53.38/53.44 c ---[ 426]---> Sorter-cost: 1016 Base: 2 2 2 2 2 2 2 2 2 2 7 53.38/53.45 c ---[ 424]---> Adder-cost: 394 maxlim: 253952 bits: 19/18 53.38/53.48 c ---[ 422]---> Adder-cost: 132 maxlim: 253952 bits: 19/18 53.48/53.51 c ---[ 420]---> Adder-cost: 96 maxlim: 55296 bits: 17/16 53.48/53.51 c ---[ 418]---> Sorter-cost: 311 Base: 2 2 2 2 2 2 2 2 2 2 2 53.48/53.51 c ---[ 416]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 53.48/53.52 c ---[ 414]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 53.48/53.52 c ---[ 412]---> Adder-cost: 174 maxlim: 110592 bits: 18/17 53.48/53.53 c ---[ 410]---> Adder-cost: 178 maxlim: 97280 bits: 18/17 53.48/53.54 c ---[ 408]---> Adder-cost: 122 maxlim: 61440 bits: 17/16 53.48/53.55 c ---[ 406]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 53.48/53.56 c ---[ 404]---> Adder-cost: 80 maxlim: 57344 bits: 17/16 53.48/53.57 c ---[ 402]---> Adder-cost: 64 maxlim: 58368 bits: 17/16 53.48/53.57 c ---[ 400]---> Sorter-cost: 1255 Base: 2 2 2 2 2 2 2 2 2 2 7 53.48/53.58 c ---[ 398]---> Sorter-cost: 864 Base: 2 2 2 2 2 2 2 2 2 2 7 53.48/53.58 c ---[ 396]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 53.48/53.59 c ---[ 394]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 53.48/53.59 c ---[ 392]---> Sorter-cost: 1047 Base: 2 2 2 2 2 2 2 2 2 2 7 53.58/53.60 c ---[ 390]---> Adder-cost: 208 maxlim: 107520 bits: 18/17 53.58/53.61 c ---[ 388]---> Adder-cost: 78 maxlim: 107520 bits: 18/17 53.58/53.62 c ---[ 386]---> Adder-cost: 142 maxlim: 106496 bits: 18/17 53.58/53.64 c ---[ 384]---> Sorter-cost: 591 Base: 2 2 2 2 2 2 2 2 2 2 7 53.58/53.64 c ---[ 382]---> Adder-cost: 106 maxlim: 54272 bits: 17/16 53.58/53.65 c ---[ 380]---> Adder-cost: 200 maxlim: 120832 bits: 18/17 53.58/53.66 c ---[ 378]---> Adder-cost: 146 maxlim: 94208 bits: 18/17 53.58/53.67 c ---[ 376]---> Adder-cost: 126 maxlim: 77824 bits: 18/17 53.58/53.68 c ---[ 374]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 53.58/53.69 c ---[ 372]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 53.58/53.69 c ---[ 370]---> Adder-cost: 138 maxlim: 66560 bits: 18/17 53.68/53.70 c ---[ 368]---> Adder-cost: 150 maxlim: 79872 bits: 18/17 53.68/53.71 c ---[ 366]---> Adder-cost: 112 maxlim: 73728 bits: 18/17 53.68/53.72 c ---[ 364]---> Adder-cost: 204 maxlim: 108544 bits: 18/17 53.68/53.74 c ---[ 362]---> Adder-cost: 104 maxlim: 57344 bits: 17/16 53.68/53.74 c ---[ 360]---> Adder-cost: 68 maxlim: 54272 bits: 17/16 53.68/53.75 c ---[ 358]---> Sorter-cost: 1012 Base: 2 2 2 2 2 2 2 2 2 2 7 53.68/53.76 c ---[ 356]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 53.68/53.76 c ---[ 354]---> Sorter-cost: 931 Base: 2 2 2 2 2 2 2 2 2 2 7 53.68/53.76 c ---[ 352]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 53.68/53.77 c ---[ 350]---> Adder-cost: 116 maxlim: 77824 bits: 18/17 53.68/53.78 c ---[ 348]---> Adder-cost: 114 maxlim: 57344 bits: 17/16 53.68/53.79 c ---[ 346]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 53.68/53.79 c ---[ 344]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 53.78/53.80 c ---[ 342]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 53.78/53.80 c ---[ 340]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 53.78/53.81 c ---[ 338]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 53.78/53.81 c ---[ 336]---> Adder-cost: 210 maxlim: 118784 bits: 18/17 53.78/53.83 c ---[ 334]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 53.78/53.84 c ---[ 332]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 53.78/53.85 c ---[ 330]---> Adder-cost: 206 maxlim: 117760 bits: 18/17 53.78/53.87 c ---[ 328]---> Adder-cost: 154 maxlim: 80896 bits: 18/17 53.78/53.88 c ---[ 326]---> Adder-cost: 250 maxlim: 135168 bits: 19/18 53.78/53.89 c ---[ 324]---> Adder-cost: 382 maxlim: 232448 bits: 19/18 53.89/53.92 c ---[ 322]---> Adder-cost: 124 maxlim: 232448 bits: 19/18 53.89/53.95 c ---[ 320]---> Adder-cost: 124 maxlim: 232448 bits: 19/18 53.89/53.98 c ---[ 318]---> Adder-cost: 124 maxlim: 232448 bits: 19/18 53.99/54.00 c ---[ 316]---> Adder-cost: 264 maxlim: 133120 bits: 19/18 53.99/54.02 c ---[ 314]---> Adder-cost: 116 maxlim: 61440 bits: 17/16 53.99/54.03 c ---[ 312]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 53.99/54.04 c ---[ 310]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 53.99/54.04 c ---[ 308]---> Sorter-cost: 927 Base: 2 2 2 2 2 2 2 2 2 2 7 53.99/54.04 c ---[ 306]---> Adder-cost: 184 maxlim: 92160 bits: 18/17 53.99/54.05 c ---[ 304]---> Sorter-cost: 690 Base: 2 2 2 2 2 2 2 2 2 2 7 53.99/54.06 c ---[ 302]---> Adder-cost: 186 maxlim: 104448 bits: 18/17 53.99/54.07 c ---[ 300]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 53.99/54.08 c ---[ 298]---> Sorter-cost: 1078 Base: 2 2 2 2 2 2 2 2 2 2 7 53.99/54.08 c ---[ 296]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 53.99/54.08 c ---[ 294]---> Adder-cost: 118 maxlim: 61440 bits: 17/16 53.99/54.09 c ---[ 292]---> Sorter-cost: 1131 Base: 2 2 2 2 2 2 2 2 2 2 7 54.08/54.10 c ---[ 290]---> Adder-cost: 422 maxlim: 248832 bits: 19/18 54.08/54.13 c ---[ 288]---> Adder-cost: 384 maxlim: 267264 bits: 20/19 54.08/54.16 c ---[ 286]---> Adder-cost: 142 maxlim: 267264 bits: 20/19 54.08/54.19 c ---[ 284]---> Adder-cost: 100 maxlim: 62464 bits: 17/16 54.18/54.20 c ---[ 282]---> Adder-cost: 84 maxlim: 61440 bits: 17/16 54.18/54.21 c ---[ 280]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 54.18/54.22 c ---[ 278]---> Adder-cost: 386 maxlim: 221184 bits: 19/18 54.18/54.24 c ---[ 276]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 54.18/54.25 c ---[ 274]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 54.18/54.25 c ---[ 272]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 54.18/54.25 c ---[ 270]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 54.18/54.26 c ---[ 268]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 54.18/54.26 c ---[ 266]---> Adder-cost: 272 maxlim: 144384 bits: 19/18 54.18/54.28 c ---[ 264]---> Sorter-cost: 393 Base: 2 2 2 2 2 2 2 2 2 2 7 54.18/54.28 c ---[ 262]---> Sorter-cost: 469 Base: 2 2 2 2 2 2 2 2 2 2 7 54.18/54.28 c ---[ 260]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 54.18/54.29 c ---[ 258]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 54.18/54.29 c ---[ 256]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 54.28/54.30 c ---[ 254]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 54.28/54.30 c ---[ 252]---> Adder-cost: 118 maxlim: 62464 bits: 17/16 54.28/54.31 c ---[ 250]---> Adder-cost: 236 maxlim: 142336 bits: 19/18 54.28/54.33 c ---[ 248]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 54.28/54.34 c ---[ 246]---> Sorter-cost: 638 Base: 2 2 2 2 2 2 2 2 2 2 7 54.28/54.34 c ---[ 244]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 54.28/54.34 c ---[ 242]---> Adder-cost: 182 maxlim: 101376 bits: 18/17 54.28/54.36 c ---[ 240]---> Adder-cost: 198 maxlim: 107520 bits: 18/17 54.28/54.37 c ---[ 238]---> Adder-cost: 252 maxlim: 152576 bits: 19/18 54.28/54.39 c ---[ 236]---> Adder-cost: 94 maxlim: 152576 bits: 19/18 54.38/54.41 c ---[ 234]---> Sorter-cost: 1026 Base: 2 2 2 2 2 2 2 2 2 2 7 54.38/54.41 c ---[ 232]---> Adder-cost: 160 maxlim: 100352 bits: 18/17 54.38/54.42 c ---[ 230]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 54.38/54.44 c ---[ 228]---> Adder-cost: 170 maxlim: 97280 bits: 18/17 54.38/54.45 c ---[ 226]---> Adder-cost: 64 maxlim: 97280 bits: 18/17 54.38/54.46 c ---[ 224]---> Adder-cost: 220 maxlim: 139264 bits: 19/18 54.38/54.48 c ---[ 222]---> Adder-cost: 142 maxlim: 79872 bits: 18/17 54.38/54.49 c ---[ 220]---> Sorter-cost: 1099 Base: 2 2 2 2 2 2 2 2 2 2 7 54.38/54.49 c ---[ 218]---> Adder-cost: 130 maxlim: 71680 bits: 18/17 54.48/54.50 c ---[ 216]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 54.48/54.51 c ---[ 214]---> Adder-cost: 222 maxlim: 120832 bits: 18/17 54.48/54.53 c ---[ 212]---> Adder-cost: 108 maxlim: 54272 bits: 17/16 54.48/54.53 c ---[ 210]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 54.48/54.54 c ---[ 208]---> Adder-cost: 170 maxlim: 86016 bits: 18/17 54.48/54.55 c ---[ 206]---> Adder-cost: 174 maxlim: 94208 bits: 18/17 54.48/54.56 c ---[ 204]---> Adder-cost: 162 maxlim: 84992 bits: 18/17 54.48/54.58 c ---[ 202]---> Adder-cost: 102 maxlim: 60416 bits: 17/16 54.48/54.58 c ---[ 200]---> Sorter-cost: 933 Base: 2 2 2 2 2 2 2 2 2 2 7 54.48/54.59 c ---[ 198]---> Sorter-cost: 744 Base: 2 2 2 2 2 2 2 2 2 2 7 54.48/54.59 c ---[ 196]---> Sorter-cost: 456 Base: 2 2 2 2 2 2 2 2 2 2 7 54.48/54.59 c ---[ 194]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 54.58/54.60 c ---[ 192]---> Sorter-cost: 1020 Base: 2 2 2 2 2 2 2 2 2 2 7 54.58/54.60 c ---[ 190]---> Sorter-cost: 859 Base: 2 2 2 2 2 2 2 2 2 2 7 54.58/54.61 c ---[ 188]---> Sorter-cost: 613 Base: 2 2 2 2 2 2 2 2 2 2 7 54.58/54.61 c ---[ 186]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 54.58/54.61 c ---[ 184]---> Adder-cost: 362 maxlim: 242688 bits: 19/18 54.58/54.64 c ---[ 182]---> Adder-cost: 366 maxlim: 229376 bits: 19/18 54.58/54.67 c ---[ 180]---> Adder-cost: 94 maxlim: 55296 bits: 17/16 54.58/54.68 c ---[ 178]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 54.58/54.68 c ---[ 176]---> Adder-cost: 198 maxlim: 117760 bits: 18/17 54.68/54.70 c ---[ 174]---> Sorter-cost: 1119 Base: 2 2 2 2 2 2 2 2 2 2 7 54.68/54.70 c ---[ 172]---> Sorter-cost: 699 Base: 2 2 2 2 2 2 2 2 2 2 7 54.68/54.70 c ---[ 170]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 54.68/54.71 c ---[ 168]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 54.68/54.71 c ---[ 166]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 54.68/54.71 c ---[ 164]---> Sorter-cost: 611 Base: 2 2 2 2 2 2 2 2 2 2 7 54.68/54.72 c ---[ 162]---> Adder-cost: 90 maxlim: 51200 bits: 17/16 54.68/54.72 c ---[ 160]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 54.68/54.73 c ---[ 158]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 54.68/54.74 c ---[ 156]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 54.68/54.74 c ---[ 154]---> Sorter-cost: 921 Base: 2 2 2 2 2 2 2 2 2 2 7 54.68/54.74 c ---[ 152]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 54.68/54.75 c ---[ 150]---> Sorter-cost: 597 Base: 2 2 2 2 2 2 2 2 2 2 7 54.68/54.75 c ---[ 148]---> Adder-cost: 132 maxlim: 75776 bits: 18/17 54.68/54.76 c ---[ 146]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 54.68/54.77 c ---[ 144]---> Adder-cost: 124 maxlim: 69632 bits: 18/17 54.68/54.78 c ---[ 142]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 54.68/54.78 c ---[ 140]---> Sorter-cost: 261 Base: 2 2 2 2 2 2 2 2 2 2 2 54.68/54.79 c ---[ 138]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 54.68/54.79 c ---[ 136]---> Sorter-cost: 657 Base: 2 2 2 2 2 2 2 2 2 2 7 54.68/54.79 c ---[ 134]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 54.68/54.79 c ---[ 132]---> Sorter-cost: 617 Base: 2 2 2 2 2 2 2 2 2 2 7 54.78/54.80 c ---[ 130]---> Adder-cost: 126 maxlim: 72704 bits: 18/17 54.78/54.81 c ---[ 128]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 54.78/54.81 c ---[ 126]---> Adder-cost: 56 maxlim: 72704 bits: 18/17 54.78/54.82 c ---[ 124]---> Adder-cost: 94 maxlim: 61440 bits: 17/16 54.78/54.83 c ---[ 122]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 54.78/54.83 c ---[ 120]---> Adder-cost: 114 maxlim: 63488 bits: 17/16 54.78/54.84 c ---[ 118]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 54.78/54.85 c ---[ 116]---> Sorter-cost: 1172 Base: 2 2 2 2 2 2 2 2 2 2 7 54.78/54.85 c ---[ 114]---> Adder-cost: 148 maxlim: 87040 bits: 18/17 54.78/54.86 c ---[ 112]---> Sorter-cost: 1011 Base: 2 2 2 2 2 2 2 2 2 2 7 54.78/54.87 c ---[ 110]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 54.78/54.87 c ---[ 108]---> Sorter-cost: 757 Base: 2 2 2 2 2 2 2 2 2 2 7 54.78/54.88 c ---[ 106]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 54.78/54.88 c ---[ 104]---> Sorter-cost: 736 Base: 2 2 2 2 2 2 2 2 2 2 7 54.78/54.89 c ---[ 102]---> Sorter-cost: 1275 Base: 2 2 2 2 2 2 2 2 2 2 7 54.78/54.89 c ---[ 100]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 54.88/54.90 c ---[ 98]---> Adder-cost: 158 maxlim: 83968 bits: 18/17 54.88/54.91 c ---[ 96]---> Sorter-cost: 1074 Base: 2 2 2 2 2 2 2 2 2 2 7 54.88/54.91 c ---[ 94]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 54.88/54.92 c ---[ 92]---> Adder-cost: 94 maxlim: 54272 bits: 17/16 54.88/54.92 c ---[ 90]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 54.88/54.93 c ---[ 88]---> Sorter-cost: 965 Base: 2 2 2 2 2 2 2 2 2 2 7 54.88/54.94 c ---[ 86]---> Adder-cost: 116 maxlim: 59392 bits: 17/16 54.88/54.94 c ---[ 84]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 54.88/54.95 c ---[ 82]---> Sorter-cost: 1242 Base: 2 2 2 2 2 2 2 2 2 2 7 54.88/54.95 c ---[ 80]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 54.88/54.96 c ---[ 78]---> Sorter-cost: 771 Base: 2 2 2 2 2 2 2 2 2 2 7 54.88/54.96 c ---[ 76]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 54.88/54.96 c ---[ 74]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 54.88/54.97 c ---[ 72]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 54.88/54.97 c ---[ 70]---> Sorter-cost: 1201 Base: 2 2 2 2 2 2 2 2 2 2 7 54.88/54.98 c ---[ 69]---> 1800.01/1800.30 c *** TERMINATED *** 1800.01/1800.30 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4114929-1467020436/watcher-4114929-1467020436 -o /tmp/evaluation-result-4114929-1467020436/solver-4114929-1467020436 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467019391-24019 --watchdog 1960 -S 80 minisatp HOME/instance-4114929-1467020436.opb pid=24253 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing Stack size limit: 81920 KiB Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 81920 KiB [startup+0 s] /proc/loadavg: 2.26 2.18 1.55 4/177 24256 /proc/meminfo: memFree=30052828/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=6608 CPUtime=0 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 35014695 6766592 204 33554432000 4194304 5646918 140733657529952 140733727183320 4953072 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 1652 204 84 355 0 1293 0 [startup+0.100168 s] /proc/loadavg: 2.26 2.18 1.55 4/177 24256 /proc/meminfo: memFree=30052828/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=15988 CPUtime=0.08 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 2711 0 0 0 8 0 0 0 20 0 1 0 35014695 16371712 2463 33554432000 4194304 5646918 140733657529952 140733727183320 4953072 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 3997 2463 84 355 0 3638 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 15988 [startup+0.20035 s] /proc/loadavg: 2.26 2.18 1.55 4/177 24256 /proc/meminfo: memFree=30052828/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=30544 CPUtime=0.19 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 6235 0 0 0 18 1 0 0 20 0 1 0 35014695 31277056 5664 33554432000 4194304 5646918 140733657529952 140733727183320 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 7636 5664 97 355 0 7277 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 30544 [startup+0.300339 s] /proc/loadavg: 2.26 2.18 1.55 4/177 24256 /proc/meminfo: memFree=30052828/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=32028 CPUtime=0.29 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 6518 0 0 0 28 1 0 0 20 0 1 0 35014695 32796672 5947 33554432000 4194304 5646918 140733657529952 140733657529320 4953072 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 8007 5947 97 355 0 7648 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32028 [startup+0.700272 s] /proc/loadavg: 2.26 2.18 1.55 4/177 24256 /proc/meminfo: memFree=30052828/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=40508 CPUtime=0.69 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 8206 0 0 0 68 1 0 0 20 0 1 0 35014695 41480192 7635 33554432000 4194304 5646918 140733657529952 140733657529320 4823326 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 10127 7635 97 355 0 9768 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40508 [startup+1.50028 s] /proc/loadavg: 2.26 2.18 1.55 4/177 24257 /proc/meminfo: memFree=30009328/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=60640 CPUtime=1.49 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 15584 0 0 0 147 2 0 0 20 0 1 0 35014695 62095360 11929 33554432000 4194304 5646918 140733657529952 140733657528152 4821510 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 15160 11929 97 355 0 14801 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 60640 [startup+3.10014 s] /proc/loadavg: 2.26 2.18 1.55 3/177 24257 /proc/meminfo: memFree=29986760/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=97560 CPUtime=3.08 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 27482 0 0 0 304 4 0 0 20 0 1 0 35014695 99901440 20376 33554432000 4194304 5646918 140733657529952 140733657528632 4953168 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 24390 20376 154 355 0 24031 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 97560 [startup+6.30022 s] /proc/loadavg: 2.24 2.18 1.55 4/177 24257 /proc/meminfo: memFree=29962528/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=108044 CPUtime=6.29 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 29517 0 0 0 624 5 0 0 20 0 1 0 35014695 110637056 22774 33554432000 4194304 5646918 140733657529952 140733657528616 4824637 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 27011 22774 154 355 0 26652 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 108044 [startup+12.7002 s] /proc/loadavg: 2.22 2.18 1.56 3/178 24258 /proc/meminfo: memFree=29910936/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=159708 CPUtime=12.69 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 38327 0 0 0 1262 7 0 0 20 0 1 0 35014695 163540992 35806 33554432000 4194304 5646918 140733657529952 140733657522904 4461012 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 39927 35806 154 355 0 39568 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 159708 [startup+25.5003 s] /proc/loadavg: 2.24 2.18 1.57 3/177 24258 /proc/meminfo: memFree=29865224/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=206516 CPUtime=25.48 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 44290 0 0 0 2540 8 0 0 20 0 1 0 35014695 211472384 47227 33554432000 4194304 5646918 140733657529952 140733654352376 4310898 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 51629 47227 154 355 0 51270 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 206516 [startup+51.1003 s] /proc/loadavg: 2.31 2.20 1.59 4/177 24258 /proc/meminfo: memFree=29865248/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=206516 CPUtime=51.08 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 44296 0 0 0 5100 8 0 0 20 0 1 0 35014695 211472384 47233 33554432000 4194304 5646918 140733657529952 140733657528616 4461005 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 51629 47233 154 355 0 51270 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 206516 [startup+102.3 s] /proc/loadavg: 2.21 2.18 1.61 3/177 24259 /proc/meminfo: memFree=29501292/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=102.27 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127387 0 0 0 10204 23 0 0 20 0 1 0 35014695 584118272 138035 33554432000 4194304 5646918 140733657529952 140733657528712 4309907 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 138035 154 355 0 142248 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 570428 [startup+162.3 s] /proc/loadavg: 2.29 2.21 1.66 3/177 24260 /proc/meminfo: memFree=29500932/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=162.26 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127387 0 0 0 16203 23 0 0 20 0 1 0 35014695 584118272 138035 33554432000 4194304 5646918 140733657529952 140733657528712 4462194 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 138035 154 355 0 142248 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 570428 [startup+222.307 s] /proc/loadavg: 2.38 2.26 1.71 4/177 24261 /proc/meminfo: memFree=29500756/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=222.26 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127387 0 0 0 22203 23 0 0 20 0 1 0 35014695 584118272 138035 33554432000 4194304 5646918 140733657529952 140733657528712 4311150 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 138035 154 355 0 142248 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 570428 [startup+282.3 s] /proc/loadavg: 2.40 2.28 1.75 3/177 24262 /proc/meminfo: memFree=29491400/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=282.24 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127387 0 0 0 28201 23 0 0 20 0 1 0 35014695 584118272 138035 33554432000 4194304 5646918 140733657529952 140733657528712 4460984 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 138035 154 355 0 142248 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 570428 [startup+342.3 s] /proc/loadavg: 2.36 2.29 1.78 3/177 24264 /proc/meminfo: memFree=29491028/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=342.23 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127387 0 0 0 34200 23 0 0 20 0 1 0 35014695 584118272 138035 33554432000 4194304 5646918 140733657529952 140733657528712 4480456 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 138035 154 355 0 142248 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 570428 [startup+402.3 s] /proc/loadavg: 2.22 2.26 1.80 3/177 24265 /proc/meminfo: memFree=29485832/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=402.22 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127387 0 0 0 40199 23 0 0 20 0 1 0 35014695 584118272 138035 33554432000 4194304 5646918 140733657529952 140733657528712 4817571 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 138035 154 355 0 142248 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 570428 [startup+462.3 s] /proc/loadavg: 2.34 2.30 1.84 3/177 24266 /proc/meminfo: memFree=29482964/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=462.21 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127387 0 0 0 46198 23 0 0 20 0 1 0 35014695 584118272 138035 33554432000 4194304 5646918 140733657529952 140733657528712 4831277 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 138035 154 355 0 142248 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 570428 [startup+522.3 s] /proc/loadavg: 2.34 2.32 1.87 4/177 24267 /proc/meminfo: memFree=29477184/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=522.2 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127387 0 0 0 52197 23 0 0 20 0 1 0 35014695 584118272 139271 33554432000 4194304 5646918 140733657529952 140733657528712 4817485 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139271 154 355 0 142248 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 570428 [startup+582.3 s] /proc/loadavg: 2.24 2.29 1.89 3/178 24271 /proc/meminfo: memFree=29475048/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=582.19 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127387 0 0 0 58196 23 0 0 20 0 1 0 35014695 584118272 139271 33554432000 4194304 5646918 140733657529952 140733657528712 4823326 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139271 154 355 0 142248 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 570428 ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.25 2.31 2.02 3/177 24279 /proc/meminfo: memFree=29041756/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=942.14 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127391 0 0 0 94191 23 0 0 20 0 1 0 35014695 584118272 139754 33554432000 4194304 5646918 140733657529952 140733657528712 4817705 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139754 154 355 0 142248 0 Current children cumulated CPU time (s) 942.14 Current children cumulated vsize (KiB) 570428 [startup+1002.3 s] /proc/loadavg: 2.28 2.31 2.04 3/177 24280 /proc/meminfo: memFree=29040276/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=1002.13 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127391 0 0 0 100190 23 0 0 20 0 1 0 35014695 584118272 139754 33554432000 4194304 5646918 140733657529952 140733657528712 4817703 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139754 154 355 0 142248 0 Current children cumulated CPU time (s) 1002.13 Current children cumulated vsize (KiB) 570428 [startup+1062.3 s] /proc/loadavg: 2.18 2.28 2.04 3/177 24281 /proc/meminfo: memFree=29037240/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=1062.12 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127391 0 0 0 106189 23 0 0 20 0 1 0 35014695 584118272 139754 33554432000 4194304 5646918 140733657529952 140733657528712 4823346 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139754 154 355 0 142248 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 570428 [startup+1122.3 s] /proc/loadavg: 2.22 2.27 2.05 3/177 24282 /proc/meminfo: memFree=29036320/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=1122.11 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127391 0 0 0 112188 23 0 0 20 0 1 0 35014695 584118272 139754 33554432000 4194304 5646918 140733657529952 140733657528712 4824645 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139754 154 355 0 142248 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 570428 [startup+1182.3 s] /proc/loadavg: 2.26 2.28 2.07 3/178 24286 /proc/meminfo: memFree=29035400/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=1182.1 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127391 0 0 0 118187 23 0 0 20 0 1 0 35014695 584118272 139754 33554432000 4194304 5646918 140733657529952 140733657528712 4462232 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139754 154 355 0 142248 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 570428 [startup+1242.3 s] /proc/loadavg: 2.15 2.24 2.07 3/178 24311 /proc/meminfo: memFree=29033820/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=1242.09 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127391 0 0 0 124186 23 0 0 20 0 1 0 35014695 584118272 139754 33554432000 4194304 5646918 140733657529952 140733657528712 4309831 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139754 154 355 0 142248 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 570428 [startup+1302.3 s] /proc/loadavg: 2.11 2.21 2.07 3/177 24312 /proc/meminfo: memFree=28970056/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=1302.08 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127391 0 0 0 130185 23 0 0 20 0 1 0 35014695 584118272 139754 33554432000 4194304 5646918 140733657529952 140733657528712 4831222 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139754 154 355 0 142248 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 570428 [startup+1362.3 s] /proc/loadavg: 2.27 2.23 2.08 3/177 24313 /proc/meminfo: memFree=28964536/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=1362.07 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127391 0 0 0 136184 23 0 0 20 0 1 0 35014695 584118272 139754 33554432000 4194304 5646918 140733657529952 140733657528712 4481345 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139754 154 355 0 142248 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 570428 [startup+1422.3 s] /proc/loadavg: 2.32 2.25 2.10 3/177 24314 /proc/meminfo: memFree=28961680/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=1422.07 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127391 0 0 0 142184 23 0 0 20 0 1 0 35014695 584118272 139754 33554432000 4194304 5646918 140733657529952 140733657528712 4832079 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139754 154 355 0 142248 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 570428 [startup+1482.3 s] /proc/loadavg: 2.23 2.23 2.10 3/177 24371 /proc/meminfo: memFree=29484188/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=1482.06 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127391 0 0 0 148182 24 0 0 20 0 1 0 35014695 584118272 139754 33554432000 4194304 5646918 140733657529952 140733657528712 4823289 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139754 154 355 0 142248 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 570428 [startup+1542.31 s] /proc/loadavg: 2.28 2.25 2.11 3/177 24373 /proc/meminfo: memFree=28935400/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=1542.06 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127391 0 0 0 154182 24 0 0 20 0 1 0 35014695 584118272 139754 33554432000 4194304 5646918 140733657529952 140733657528712 4823232 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139754 154 355 0 142248 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 570428 [startup+1602.3 s] /proc/loadavg: 2.27 2.24 2.11 3/177 24374 /proc/meminfo: memFree=28955084/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=1602.04 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127391 0 0 0 160180 24 0 0 20 0 1 0 35014695 584118272 139754 33554432000 4194304 5646918 140733657529952 140733657528712 4817376 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139754 154 355 0 142248 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 570428 [startup+1662.3 s] /proc/loadavg: 2.22 2.24 2.12 3/177 24375 /proc/meminfo: memFree=28901588/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=1662.03 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127391 0 0 0 166179 24 0 0 20 0 1 0 35014695 584118272 139754 33554432000 4194304 5646918 140733657529952 140733657528712 4823297 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139754 154 355 0 142248 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 570428 [startup+1722.3 s] /proc/loadavg: 2.23 2.24 2.12 3/177 24376 /proc/meminfo: memFree=28836104/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=1722.02 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127391 0 0 0 172178 24 0 0 20 0 1 0 35014695 584118272 139754 33554432000 4194304 5646918 140733657529952 140733657528712 4817397 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139754 154 355 0 142248 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 570428 [startup+1782.3 s] /proc/loadavg: 2.34 2.27 2.14 3/178 24436 /proc/meminfo: memFree=29481416/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=1782.01 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127391 0 0 0 178177 24 0 0 20 0 1 0 35014695 584118272 139754 33554432000 4194304 5646918 140733657529952 140733657528712 4823326 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139754 154 355 0 142248 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 570428 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.32 2.27 2.14 4/178 24436 /proc/meminfo: memFree=29445920/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=1800.01 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127391 0 0 0 179977 24 0 0 20 0 1 0 35014695 584118272 139754 33554432000 4194304 5646918 140733657529952 140733657528712 4461012 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139754 154 355 0 142248 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 570428 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 24256 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.32 2.27 2.14 4/178 24436 /proc/meminfo: memFree=29445920/32872528 swapFree=1582320/1721312 [pid=24256] ppid=24253 vsize=570428 CPUtime=1800.01 cores=0,2,4,6 /proc/24256/stat : 24256 (minisatp) R 24253 24256 24003 0 -1 4202496 127391 0 0 0 179977 24 0 0 20 0 1 0 35014695 584118272 139754 33554432000 4194304 5646918 140733657529952 140733657528712 4461012 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/24256/statm: 142607 139754 154 355 0 142248 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 570428 Child status: 0 Real time (s): 1800.3 CPU time (s): 1800.02 CPU user time (s): 1799.78 CPU system time (s): 0.246962 CPU usage (%): 99.9844 Max. virtual memory (cumulated for all children) (KiB): 654792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.78 system time used= 0.246962 maximum resident set size= 636504 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 127391 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 2046 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.42233 second user time and 7.11192 second system time The end
Begin job on node120 at 2016-06-27 11:40:37 IDJOB=4114929 IDBENCH=2344 IDSOLVER=2555 FILE ID=node120/4114929-1467020436 RUNJOBID= node120-1467019391-24019 PBS_JOBID= 19976971 Free space on /tmp= 71648 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dolom1.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114929-1467020436/watcher-4114929-1467020436 -o /tmp/evaluation-result-4114929-1467020436/solver-4114929-1467020436 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467019391-24019 --watchdog 1960 -S 80 minisatp HOME/instance-4114929-1467020436.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0b7be4a8ca67db62b7397f891414d40c RANDOM SEED=1146429315 node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30053328 kB Buffers: 80768 kB Cached: 135780 kB SwapCached: 2072 kB Active: 205496 kB Inactive: 161508 kB Active(anon): 150720 kB Inactive(anon): 2896 kB Active(file): 54776 kB Inactive(file): 158612 kB Unevictable: 1721312 kB Mlocked: 1582320 kB SwapTotal: 67108856 kB SwapFree: 67098736 kB Dirty: 9580 kB Writeback: 0 kB AnonPages: 1873944 kB Mapped: 7832 kB Shmem: 0 kB Slab: 595408 kB SReclaimable: 39440 kB SUnreclaim: 555968 kB KernelStack: 1448 kB PageTables: 7820 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1993980 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988036 kB HardwareCorrupted: 0 kB AnonHugePages: 143360 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4114929-1467020436.opb Free space on /tmp at the end= 71640 MiB End job on node120 at 2016-06-27 12:10:37