Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.54 | 1801.23 |
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 | SAT |
Best value of the objective obtained on this benchmark | 18720440947643392 |
Best CPU time to get the best result obtained on this benchmark | 1804.44 |
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 c Parsing PB file... 5.76 c Converting 3495 PB-constraints to clauses... 5.78 c -- Unit propagations: (none) 5.86 c -- Detecting intervals from adjacent constraints: ############################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################# 5.93 c -- Clauses(.)/Splits(s): ssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssss 6.23 c ---[3562]---> Adder-cost: 192 maxlim: 97280 bits: 18/17 6.25 c ---[3560]---> Sorter-cost: 720 Base: 2 2 2 2 2 2 2 2 2 2 7 6.26 c ---[3558]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 6.27 c ---[3556]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 6.28 c ---[3554]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 6.29 c ---[3552]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 6.30 c ---[3550]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 6.32 c ---[3548]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 6.33 c ---[3546]---> Sorter-cost: 656 Base: 2 2 2 2 2 2 2 2 2 2 7 6.34 c ---[3544]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 6.35 c ---[3542]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 6.36 c ---[3540]---> Adder-cost: 136 maxlim: 68608 bits: 18/17 6.37 c ---[3538]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 6.39 c ---[3536]---> Adder-cost: 104 maxlim: 53248 bits: 17/16 6.40 c ---[3534]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 6.42 c ---[3532]---> Sorter-cost: 1077 Base: 2 2 2 2 2 2 2 2 2 2 7 6.42 c ---[3530]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 6.43 c ---[3528]---> Sorter-cost: 1164 Base: 2 2 2 2 2 2 2 2 2 2 7 6.44 c ---[3526]---> Adder-cost: 140 maxlim: 69632 bits: 18/17 6.46 c ---[3524]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 6.47 c ---[3522]---> Adder-cost: 128 maxlim: 87040 bits: 18/17 6.49 c ---[3520]---> Adder-cost: 66 maxlim: 87040 bits: 18/17 6.51 c ---[3518]---> Adder-cost: 152 maxlim: 81920 bits: 18/17 6.53 c ---[3516]---> Adder-cost: 68 maxlim: 81920 bits: 18/17 6.55 c ---[3514]---> Sorter-cost: 1152 Base: 2 2 2 2 2 2 2 2 2 2 7 6.56 c ---[3512]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 6.57 c ---[3510]---> Adder-cost: 108 maxlim: 54272 bits: 17/16 6.58 c ---[3508]---> Adder-cost: 102 maxlim: 52224 bits: 17/16 6.59 c ---[3506]---> Sorter-cost: 647 Base: 2 2 2 2 2 2 2 2 2 2 7 6.60 c ---[3504]---> Adder-cost: 124 maxlim: 61440 bits: 17/16 6.61 c ---[3502]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 6.62 c ---[3500]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 6.64 c ---[3498]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 6.64 c ---[3496]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 6.65 c ---[3494]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 6.66 c ---[3492]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 6.67 c ---[3490]---> Adder-cost: 128 maxlim: 70656 bits: 18/17 6.69 c ---[3488]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 6.71 c ---[3486]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 6.71 c ---[3484]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 6.72 c ---[3482]---> Sorter-cost: 623 Base: 2 2 2 2 2 2 2 2 2 2 7 6.73 c ---[3480]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 6.74 c ---[3478]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 6.74 c ---[3476]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 6.75 c ---[3474]---> Sorter-cost: 456 Base: 2 2 2 2 2 2 2 2 2 2 7 6.76 c ---[3472]---> Sorter-cost: 1059 Base: 2 2 2 2 2 2 2 2 2 2 7 6.77 c ---[3470]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 6.78 c ---[3468]---> Sorter-cost: 931 Base: 2 2 2 2 2 2 2 2 2 2 7 6.79 c ---[3466]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 6.80 c ---[3464]---> Adder-cost: 154 maxlim: 73728 bits: 18/17 6.82 c ---[3462]---> Adder-cost: 252 maxlim: 126976 bits: 18/17 6.84 c ---[3460]---> Adder-cost: 340 maxlim: 171008 bits: 19/18 6.88 c ---[3458]---> Adder-cost: 324 maxlim: 183296 bits: 19/18 6.92 c ---[3456]---> Adder-cost: 158 maxlim: 79872 bits: 18/17 6.94 c ---[3454]---> Sorter-cost: 886 Base: 2 2 2 2 2 2 2 2 2 2 7 6.95 c ---[3452]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 6.96 c ---[3450]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 6.97 c ---[3448]---> Adder-cost: 232 maxlim: 119808 bits: 18/17 6.99 c ---[3446]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 7.00 c ---[3444]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 7.01 c ---[3442]---> Sorter-cost: 1170 Base: 2 2 2 2 2 2 2 2 2 2 7 7.02 c ---[3440]---> Sorter-cost: 963 Base: 2 2 2 2 2 2 2 2 2 2 7 7.03 c ---[3438]---> Adder-cost: 84 maxlim: 51200 bits: 17/16 7.04 c ---[3436]---> Sorter-cost: 666 Base: 2 2 2 2 2 2 2 2 2 2 7 7.05 c ---[3434]---> Adder-cost: 112 maxlim: 117760 bits: 18/17 7.07 c ---[3432]---> Sorter-cost: 1153 Base: 2 2 2 2 2 2 2 2 2 2 7 7.08 c ---[3430]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 2 7.09 c ---[3428]---> Sorter-cost: 1002 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09 c ---[3426]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 7.11 c ---[3424]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 7.13 c ---[3422]---> Adder-cost: 162 maxlim: 115712 bits: 18/17 7.15 c ---[3420]---> Adder-cost: 90 maxlim: 53248 bits: 17/16 7.16 c ---[3418]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 7.18 c ---[3416]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 7.18 c ---[3414]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19 c ---[3412]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 7.20 c ---[3410]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 7.21 c ---[3408]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 7.22 c ---[3406]---> Adder-cost: 216 maxlim: 122880 bits: 18/17 7.25 c ---[3404]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 7.25 c ---[3402]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 7.26 c ---[3400]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 7.26 c ---[3398]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 7.27 c ---[3396]---> Sorter-cost: 1054 Base: 2 2 2 2 2 2 2 2 2 2 7 7.28 c ---[3394]---> Adder-cost: 524 maxlim: 264192 bits: 20/19 7.34 c ---[3392]---> Adder-cost: 138 maxlim: 264192 bits: 20/19 7.40 c ---[3390]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 7.43 c ---[3388]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 7.44 c ---[3386]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 7.45 c ---[3384]---> Adder-cost: 204 maxlim: 100352 bits: 18/17 7.48 c ---[3382]---> Sorter-cost: 720 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49 c ---[3380]---> Sorter-cost: 600 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49 c ---[3378]---> Adder-cost: 80 maxlim: 122880 bits: 18/17 7.52 c ---[3376]---> Adder-cost: 210 maxlim: 105472 bits: 18/17 7.55 c ---[3374]---> Adder-cost: 74 maxlim: 105472 bits: 18/17 7.57 c ---[3372]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 7.58 c ---[3370]---> Adder-cost: 176 maxlim: 86016 bits: 18/17 7.60 c ---[3368]---> Adder-cost: 184 maxlim: 93184 bits: 18/17 7.62 c ---[3366]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 7.64 c ---[3364]---> Adder-cost: 134 maxlim: 68608 bits: 18/17 7.66 c ---[3362]---> Adder-cost: 142 maxlim: 78848 bits: 18/17 7.67 c ---[3360]---> Sorter-cost: 645 Base: 2 2 2 2 2 2 2 2 2 2 7 7.68 c ---[3358]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69 c ---[3356]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69 c ---[3354]---> Sorter-cost: 400 Base: 2 2 2 2 2 2 2 2 2 2 7 7.70 c ---[3352]---> Adder-cost: 176 maxlim: 86016 bits: 18/17 7.72 c ---[3350]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 7.74 c ---[3348]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 7.76 c ---[3346]---> Adder-cost: 68 maxlim: 59392 bits: 17/16 7.77 c ---[3344]---> Sorter-cost: 1214 Base: 2 2 2 2 2 2 2 2 2 2 7 7.78 c ---[3342]---> Adder-cost: 148 maxlim: 73728 bits: 18/17 7.80 c ---[3340]---> Adder-cost: 62 maxlim: 73728 bits: 18/17 7.82 c ---[3338]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 7.83 c ---[3336]---> Adder-cost: 66 maxlim: 59392 bits: 17/16 7.84 c ---[3334]---> Adder-cost: 122 maxlim: 62464 bits: 17/16 7.85 c ---[3332]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 7.87 c ---[3330]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 7.87 c ---[3328]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 7.88 c ---[3326]---> Adder-cost: 146 maxlim: 70656 bits: 18/17 7.89 c ---[3324]---> Adder-cost: 124 maxlim: 65536 bits: 18/17 7.91 c ---[3322]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 7.92 c ---[3320]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 7.94 c ---[3318]---> Adder-cost: 170 maxlim: 83968 bits: 18/17 7.96 c ---[3316]---> Adder-cost: 252 maxlim: 128000 bits: 18/17 7.99 c ---[3314]---> Adder-cost: 108 maxlim: 60416 bits: 17/16 8.00 c ---[3312]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 8.01 c ---[3310]---> Adder-cost: 236 maxlim: 124928 bits: 18/17 8.04 c ---[3308]---> Adder-cost: 92 maxlim: 52224 bits: 17/16 8.05 c ---[3306]---> Adder-cost: 274 maxlim: 136192 bits: 19/18 8.09 c ---[3304]---> Adder-cost: 198 maxlim: 102400 bits: 18/17 8.11 c ---[3302]---> Adder-cost: 122 maxlim: 63488 bits: 17/16 8.12 c ---[3300]---> Adder-cost: 190 maxlim: 94208 bits: 18/17 8.15 c ---[3298]---> Adder-cost: 192 maxlim: 96256 bits: 18/17 8.17 c ---[3296]---> Adder-cost: 168 maxlim: 97280 bits: 18/17 8.19 c ---[3294]---> Adder-cost: 140 maxlim: 65536 bits: 18/17 8.21 c ---[3292]---> Adder-cost: 94 maxlim: 54272 bits: 17/16 8.22 c ---[3290]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 8.23 c ---[3288]---> Sorter-cost: 547 Base: 2 2 2 2 2 2 2 2 2 2 7 8.23 c ---[3286]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 8.24 c ---[3284]---> Sorter-cost: 456 Base: 2 2 2 2 2 2 2 2 2 2 7 8.24 c ---[3282]---> Sorter-cost: 1221 Base: 2 2 2 2 2 2 2 2 2 2 7 8.25 c ---[3280]---> Adder-cost: 208 maxlim: 105472 bits: 18/17 8.28 c ---[3278]---> Adder-cost: 202 maxlim: 108544 bits: 18/17 8.31 c ---[3276]---> Adder-cost: 108 maxlim: 67584 bits: 18/17 8.32 c ---[3274]---> Adder-cost: 140 maxlim: 103424 bits: 18/17 8.35 c ---[3272]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 8.36 c ---[3270]---> Sorter-cost: 1169 Base: 2 2 2 2 2 2 2 2 2 2 7 8.37 c ---[3268]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 8.38 c ---[3266]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 8.38 c ---[3264]---> Adder-cost: 170 maxlim: 81920 bits: 18/17 8.40 c ---[3262]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 8.41 c ---[3260]---> Sorter-cost: 1131 Base: 2 2 2 2 2 2 2 2 2 2 7 8.42 c ---[3258]---> Sorter-cost: 1261 Base: 2 2 2 2 2 2 2 2 2 2 7 8.43 c ---[3256]---> Sorter-cost: 1089 Base: 2 2 2 2 2 2 2 2 2 2 7 8.44 c ---[3254]---> Sorter-cost: 966 Base: 2 2 2 2 2 2 2 2 2 2 7 8.45 c ---[3252]---> Sorter-cost: 933 Base: 2 2 2 2 2 2 2 2 2 2 7 8.48 c ---[3250]---> Sorter-cost: 710 Base: 2 2 2 2 2 2 2 2 2 2 7 8.48 c ---[3248]---> Adder-cost: 120 maxlim: 61440 bits: 17/16 8.50 c ---[3246]---> Adder-cost: 288 maxlim: 144384 bits: 19/18 8.53 c ---[3244]---> Adder-cost: 80 maxlim: 53248 bits: 17/16 8.55 c ---[3242]---> Sorter-cost: 1074 Base: 2 2 2 2 2 2 2 2 2 2 7 8.56 c ---[3240]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 8.56 c ---[3238]---> Sorter-cost: 638 Base: 2 2 2 2 2 2 2 2 2 2 7 8.57 c ---[3236]---> Sorter-cost: 725 Base: 2 2 2 2 2 2 2 2 2 2 7 8.57 c ---[3234]---> Sorter-cost: 564 Base: 2 2 2 2 2 2 2 2 2 2 7 8.58 c ---[3232]---> Sorter-cost: 702 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59 c ---[3230]---> Sorter-cost: 610 Base: 2 2 2 2 2 2 2 2 2 2 7 8.59 c ---[3228]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 8.60 c ---[3226]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 8.61 c ---[3224]---> Sorter-cost: 1087 Base: 2 2 2 2 2 2 2 2 2 2 7 8.62 c ---[3222]---> Sorter-cost: 1070 Base: 2 2 2 2 2 2 2 2 2 2 7 8.63 c ---[3220]---> Sorter-cost: 1115 Base: 2 2 2 2 2 2 2 2 2 2 7 8.64 c ---[3218]---> Adder-cost: 156 maxlim: 75776 bits: 18/17 8.65 c ---[3216]---> Sorter-cost: 983 Base: 2 2 2 2 2 2 2 2 2 2 7 8.66 c ---[3214]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 8.67 c ---[3212]---> Adder-cost: 276 maxlim: 135168 bits: 19/18 8.70 c ---[3210]---> Adder-cost: 120 maxlim: 60416 bits: 17/16 8.72 c ---[3208]---> Adder-cost: 174 maxlim: 87040 bits: 18/17 8.74 c ---[3206]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 8.75 c ---[3204]---> Adder-cost: 90 maxlim: 54272 bits: 17/16 8.76 c ---[3202]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 8.77 c ---[3200]---> Sorter-cost: 1242 Base: 2 2 2 2 2 2 2 2 2 2 7 8.78 c ---[3198]---> Sorter-cost: 708 Base: 2 2 2 2 2 2 2 2 2 2 7 8.79 c ---[3196]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 8.80 c ---[3194]---> Sorter-cost: 516 Base: 2 2 2 2 2 2 2 2 2 2 7 8.80 c ---[3192]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 8.81 c ---[3190]---> Sorter-cost: 718 Base: 2 2 2 2 2 2 2 2 2 2 7 8.82 c ---[3188]---> Sorter-cost: 1181 Base: 2 2 2 2 2 2 2 2 2 2 7 8.83 c ---[3186]---> Adder-cost: 162 maxlim: 79872 bits: 18/17 8.85 c ---[3184]---> Adder-cost: 208 maxlim: 104448 bits: 18/17 8.87 c ---[3182]---> Adder-cost: 198 maxlim: 99328 bits: 18/17 8.90 c ---[3180]---> Adder-cost: 234 maxlim: 116736 bits: 18/17 8.93 c ---[3178]---> Adder-cost: 328 maxlim: 191488 bits: 19/18 8.97 c ---[3176]---> Adder-cost: 140 maxlim: 67584 bits: 18/17 8.99 c ---[3174]---> Adder-cost: 144 maxlim: 69632 bits: 18/17 9.01 c ---[3172]---> Adder-cost: 192 maxlim: 99328 bits: 18/17 9.03 c ---[3170]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 9.04 c ---[3168]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 9.06 c ---[3166]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 9.07 c ---[3164]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 9.09 c ---[3162]---> Adder-cost: 222 maxlim: 111616 bits: 18/17 9.11 c ---[3160]---> Adder-cost: 330 maxlim: 174080 bits: 19/18 9.15 c ---[3158]---> Sorter-cost: 470 Base: 2 2 2 2 2 2 2 2 2 2 7 9.16 c ---[3156]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 9.17 c ---[3154]---> Adder-cost: 92 maxlim: 53248 bits: 17/16 9.19 c ---[3152]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 9.19 c ---[3150]---> Adder-cost: 130 maxlim: 66560 bits: 18/17 9.21 c ---[3148]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 9.21 c ---[3146]---> Sorter-cost: 1238 Base: 2 2 2 2 2 2 2 2 2 2 7 9.23 c ---[3144]---> Sorter-cost: 992 Base: 2 2 2 2 2 2 2 2 2 2 7 9.24 c ---[3142]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 9.24 c ---[3140]---> Adder-cost: 186 maxlim: 93184 bits: 18/17 9.26 c ---[3138]---> Adder-cost: 120 maxlim: 60416 bits: 17/16 9.28 c ---[3136]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 9.29 c ---[3134]---> Sorter-cost: 785 Base: 2 2 2 2 2 2 2 2 2 2 7 9.30 c ---[3132]---> Adder-cost: 124 maxlim: 62464 bits: 17/16 9.31 c ---[3130]---> Adder-cost: 190 maxlim: 96256 bits: 18/17 9.33 c ---[3128]---> Adder-cost: 224 maxlim: 123904 bits: 18/17 9.36 c ---[3126]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 9.37 c ---[3124]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 9.38 c ---[3122]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 9.40 c ---[3120]---> Adder-cost: 116 maxlim: 60416 bits: 17/16 9.41 c ---[3118]---> Sorter-cost: 983 Base: 2 2 2 2 2 2 2 2 2 2 7 9.42 c ---[3116]---> Adder-cost: 186 maxlim: 92160 bits: 18/17 9.44 c ---[3114]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 9.45 c ---[3112]---> Adder-cost: 240 maxlim: 121856 bits: 18/17 9.48 c ---[3110]---> Sorter-cost: 583 Base: 2 2 2 2 2 2 2 2 2 2 7 9.49 c ---[3108]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 9.50 c ---[3106]---> Adder-cost: 186 maxlim: 92160 bits: 18/17 9.52 c ---[3104]---> Adder-cost: 122 maxlim: 61440 bits: 17/16 9.54 c ---[3102]---> Adder-cost: 244 maxlim: 124928 bits: 18/17 9.57 c ---[3100]---> Adder-cost: 120 maxlim: 62464 bits: 17/16 9.58 c ---[3098]---> Adder-cost: 112 maxlim: 60416 bits: 17/16 9.59 c ---[3096]---> Adder-cost: 230 maxlim: 116736 bits: 18/17 9.62 c ---[3094]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 9.63 c ---[3092]---> Adder-cost: 424 maxlim: 217088 bits: 19/18 9.68 c ---[3090]---> Adder-cost: 118 maxlim: 217088 bits: 19/18 9.73 c ---[3088]---> Adder-cost: 120 maxlim: 62464 bits: 17/16 9.75 c ---[3086]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 9.76 c ---[3084]---> Adder-cost: 96 maxlim: 61440 bits: 17/16 9.77 c ---[3082]---> Adder-cost: 308 maxlim: 162816 bits: 19/18 9.81 c ---[3080]---> Adder-cost: 230 maxlim: 118784 bits: 18/17 9.84 c ---[3078]---> Adder-cost: 140 maxlim: 69632 bits: 18/17 9.86 c ---[3076]---> Sorter-cost: 1240 Base: 2 2 2 2 2 2 2 2 2 2 7 9.87 c ---[3074]---> Adder-cost: 184 maxlim: 103424 bits: 18/17 9.89 c ---[3072]---> Adder-cost: 154 maxlim: 79872 bits: 18/17 9.91 c ---[3070]---> Adder-cost: 62 maxlim: 79872 bits: 18/17 9.93 c ---[3068]---> Sorter-cost: 422 Base: 2 2 2 2 2 2 2 2 2 2 7 9.94 c ---[3066]---> Adder-cost: 202 maxlim: 99328 bits: 18/17 9.96 c ---[3064]---> Adder-cost: 122 maxlim: 61440 bits: 17/16 9.98 c ---[3062]---> Adder-cost: 218 maxlim: 108544 bits: 18/17 10.01 c ---[3060]---> Adder-cost: 140 maxlim: 68608 bits: 18/17 10.03 c ---[3058]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 10.05 c ---[3056]---> Adder-cost: 148 maxlim: 82944 bits: 18/17 10.07 c ---[3054]---> Adder-cost: 126 maxlim: 72704 bits: 18/17 10.09 c ---[3052]---> Adder-cost: 258 maxlim: 138240 bits: 19/18 10.12 c ---[3050]---> Adder-cost: 92 maxlim: 66560 bits: 18/17 10.14 c ---[3048]---> Sorter-cost: 959 Base: 2 2 2 2 2 2 2 2 2 2 7 10.15 c ---[3046]---> Adder-cost: 144 maxlim: 83968 bits: 18/17 10.17 c ---[3044]---> Adder-cost: 106 maxlim: 80896 bits: 18/17 10.20 c ---[3042]---> Adder-cost: 136 maxlim: 98304 bits: 18/17 10.22 c ---[3040]---> Adder-cost: 100 maxlim: 60416 bits: 17/16 10.24 c ---[3038]---> Sorter-cost: 908 Base: 2 2 2 2 2 2 2 2 2 2 7 10.24 c ---[3036]---> Adder-cost: 248 maxlim: 126976 bits: 18/17 10.28 c ---[3034]---> Adder-cost: 138 maxlim: 68608 bits: 18/17 10.30 c ---[3032]---> Sorter-cost: 1171 Base: 2 2 2 2 2 2 2 2 2 2 7 10.31 c ---[3030]---> Adder-cost: 116 maxlim: 59392 bits: 17/16 10.32 c ---[3028]---> Sorter-cost: 1020 Base: 2 2 2 2 2 2 2 2 2 2 7 10.33 c ---[3026]---> Adder-cost: 126 maxlim: 68608 bits: 18/17 10.35 c ---[3024]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 10.37 c ---[3022]---> Adder-cost: 174 maxlim: 89088 bits: 18/17 10.39 c ---[3020]---> Adder-cost: 130 maxlim: 87040 bits: 18/17 10.41 c ---[3018]---> Adder-cost: 136 maxlim: 97280 bits: 18/17 10.44 c ---[3016]---> Adder-cost: 242 maxlim: 122880 bits: 18/17 10.48 c ---[3014]---> Adder-cost: 142 maxlim: 72704 bits: 18/17 10.50 c ---[3012]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 10.50 c ---[3010]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 10.51 c ---[3008]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 10.52 c ---[3006]---> Sorter-cost: 692 Base: 2 2 2 2 2 2 2 2 2 2 7 10.53 c ---[3004]---> Sorter-cost: 1244 Base: 2 2 2 2 2 2 2 2 2 2 7 10.54 c ---[3002]---> Adder-cost: 106 maxlim: 53248 bits: 17/16 10.55 c ---[3000]---> Adder-cost: 190 maxlim: 102400 bits: 18/17 10.58 c ---[2998]---> Adder-cost: 202 maxlim: 100352 bits: 18/17 10.60 c ---[2996]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 10.61 c ---[2994]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 10.62 c ---[2992]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 10.63 c ---[2990]---> Sorter-cost: 842 Base: 2 2 2 2 2 2 2 2 2 2 7 10.64 c ---[2988]---> Sorter-cost: 813 Base: 2 2 2 2 2 2 2 2 2 2 7 10.65 c ---[2986]---> Sorter-cost: 1164 Base: 2 2 2 2 2 2 2 2 2 2 7 10.66 c ---[2984]---> Sorter-cost: 948 Base: 2 2 2 2 2 2 2 2 2 2 7 10.67 c ---[2982]---> Adder-cost: 138 maxlim: 66560 bits: 18/17 10.69 c ---[2980]---> Adder-cost: 84 maxlim: 53248 bits: 17/16 10.71 c ---[2978]---> Adder-cost: 182 maxlim: 98304 bits: 18/17 10.73 c ---[2976]---> Adder-cost: 188 maxlim: 103424 bits: 18/17 10.76 c ---[2974]---> Adder-cost: 184 maxlim: 109568 bits: 18/17 10.79 c ---[2972]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 10.80 c ---[2970]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 10.81 c ---[2968]---> Adder-cost: 78 maxlim: 52224 bits: 17/16 10.83 c ---[2966]---> Adder-cost: 98 maxlim: 64512 bits: 17/16 10.84 c ---[2964]---> Adder-cost: 98 maxlim: 57344 bits: 17/16 10.86 c ---[2962]---> Adder-cost: 72 maxlim: 54272 bits: 17/16 10.87 c ---[2960]---> Adder-cost: 100 maxlim: 59392 bits: 17/16 10.88 c ---[2958]---> Adder-cost: 106 maxlim: 54272 bits: 17/16 10.90 c ---[2956]---> Adder-cost: 98 maxlim: 58368 bits: 17/16 10.91 c ---[2954]---> Adder-cost: 286 maxlim: 154624 bits: 19/18 10.95 c ---[2952]---> Adder-cost: 286 maxlim: 165888 bits: 19/18 10.99 c ---[2950]---> Adder-cost: 272 maxlim: 163840 bits: 19/18 11.03 c ---[2948]---> Sorter-cost: 1219 Base: 2 2 2 2 2 2 2 2 2 2 7 11.05 c ---[2946]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 11.06 c ---[2944]---> Adder-cost: 102 maxlim: 51200 bits: 17/16 11.07 c ---[2942]---> Sorter-cost: 1188 Base: 2 2 2 2 2 2 2 2 2 2 7 11.08 c ---[2940]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 11.09 c ---[2938]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 11.10 c ---[2936]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 11.12 c ---[2934]---> Sorter-cost: 1224 Base: 2 2 2 2 2 2 2 2 2 2 7 11.18 c ---[2932]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 11.19 c ---[2930]---> Adder-cost: 66 maxlim: 87040 bits: 18/17 11.21 c ---[2928]---> Adder-cost: 158 maxlim: 84992 bits: 18/17 11.24 c ---[2926]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 11.26 c ---[2924]---> Adder-cost: 184 maxlim: 95232 bits: 18/17 11.29 c ---[2922]---> Adder-cost: 132 maxlim: 66560 bits: 18/17 11.30 c ---[2920]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 11.32 c ---[2918]---> Adder-cost: 86 maxlim: 67584 bits: 18/17 11.34 c ---[2916]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 11.36 c ---[2914]---> Adder-cost: 142 maxlim: 67584 bits: 18/17 11.38 c ---[2912]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 11.39 c ---[2910]---> Adder-cost: 48 maxlim: 55296 bits: 17/16 11.41 c ---[2908]---> Adder-cost: 248 maxlim: 133120 bits: 19/18 11.44 c ---[2906]---> Adder-cost: 234 maxlim: 125952 bits: 18/17 11.48 c ---[2904]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 11.49 c ---[2902]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 11.50 c ---[2900]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 11.52 c ---[2898]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 11.53 c ---[2896]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 11.54 c ---[2894]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 11.55 c ---[2892]---> Sorter-cost: 962 Base: 2 2 2 2 2 2 2 2 2 2 7 11.56 c ---[2890]---> Sorter-cost: 952 Base: 2 2 2 2 2 2 2 2 2 2 7 11.57 c ---[2888]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 11.58 c ---[2886]---> Adder-cost: 198 maxlim: 104448 bits: 18/17 11.60 c ---[2884]---> Adder-cost: 146 maxlim: 73728 bits: 18/17 11.62 c ---[2882]---> Sorter-cost: 1008 Base: 2 2 2 2 2 2 2 2 2 2 7 11.63 c ---[2880]---> Adder-cost: 90 maxlim: 61440 bits: 17/16 11.65 c ---[2878]---> Adder-cost: 198 maxlim: 107520 bits: 18/17 11.68 c ---[2876]---> Adder-cost: 118 maxlim: 59392 bits: 17/16 11.69 c ---[2874]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 11.71 c ---[2872]---> Sorter-cost: 1145 Base: 2 2 2 2 2 2 2 2 2 2 7 11.72 c ---[2870]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 11.73 c ---[2868]---> Sorter-cost: 434 Base: 2 2 2 2 2 2 2 2 2 2 7 11.73 c ---[2866]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 11.74 c ---[2864]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 11.75 c ---[2862]---> Adder-cost: 278 maxlim: 163840 bits: 19/18 11.80 c ---[2860]---> Adder-cost: 278 maxlim: 143360 bits: 19/18 11.83 c ---[2858]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 11.84 c ---[2856]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 11.85 c ---[2854]---> Adder-cost: 100 maxlim: 54272 bits: 17/16 11.86 c ---[2852]---> Adder-cost: 104 maxlim: 54272 bits: 17/16 11.88 c ---[2850]---> Adder-cost: 80 maxlim: 51200 bits: 17/16 11.89 c ---[2848]---> Sorter-cost: 1176 Base: 2 2 2 2 2 2 2 2 2 2 7 11.90 c ---[2846]---> Adder-cost: 194 maxlim: 105472 bits: 18/17 11.93 c ---[2844]---> Adder-cost: 88 maxlim: 54272 bits: 17/16 11.94 c ---[2842]---> Adder-cost: 274 maxlim: 160768 bits: 19/18 11.98 c ---[2840]---> Adder-cost: 226 maxlim: 136192 bits: 19/18 12.02 c ---[2838]---> Adder-cost: 124 maxlim: 64512 bits: 17/16 12.03 c ---[2836]---> Sorter-cost: 1275 Base: 2 2 2 2 2 2 2 2 2 2 7 12.05 c ---[2834]---> Sorter-cost: 860 Base: 2 2 2 2 2 2 2 2 2 2 7 12.06 c ---[2832]---> Sorter-cost: 913 Base: 2 2 2 2 2 2 2 2 2 2 7 12.06 c ---[2830]---> Adder-cost: 156 maxlim: 82944 bits: 18/17 12.09 c ---[2828]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 12.09 c ---[2826]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 12.10 c ---[2824]---> Sorter-cost: 862 Base: 2 2 2 2 2 2 2 2 2 2 7 12.11 c ---[2822]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 12.12 c ---[2820]---> Sorter-cost: 965 Base: 2 2 2 2 2 2 2 2 2 2 7 12.13 c ---[2818]---> Sorter-cost: 1039 Base: 2 2 2 2 2 2 2 2 2 2 7 12.14 c ---[2816]---> Adder-cost: 68 maxlim: 82944 bits: 18/17 12.16 c ---[2814]---> Sorter-cost: 666 Base: 2 2 2 2 2 2 2 2 2 2 7 12.17 c ---[2812]---> Sorter-cost: 699 Base: 2 2 2 2 2 2 2 2 2 2 7 12.17 c ---[2810]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 12.18 c ---[2808]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 2 2 2 2 7 12.19 c ---[2806]---> Adder-cost: 174 maxlim: 95232 bits: 18/17 12.21 c ---[2804]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 12.22 c ---[2802]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 12.23 c ---[2800]---> Sorter-cost: 550 Base: 2 2 2 2 2 2 2 2 2 2 7 12.23 c ---[2798]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 12.24 c ---[2796]---> Adder-cost: 126 maxlim: 64512 bits: 17/16 12.25 c ---[2794]---> Adder-cost: 76 maxlim: 61440 bits: 17/16 12.27 c ---[2792]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 12.28 c ---[2790]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 12.29 c ---[2788]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 12.30 c ---[2786]---> Adder-cost: 238 maxlim: 123904 bits: 18/17 12.34 c ---[2784]---> Adder-cost: 108 maxlim: 55296 bits: 17/16 12.35 c ---[2782]---> Adder-cost: 158 maxlim: 83968 bits: 18/17 12.37 c ---[2780]---> Adder-cost: 68 maxlim: 83968 bits: 18/17 12.40 c ---[2778]---> Adder-cost: 172 maxlim: 84992 bits: 18/17 12.42 c ---[2776]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 12.44 c ---[2774]---> Adder-cost: 186 maxlim: 94208 bits: 18/17 12.47 c ---[2772]---> Adder-cost: 70 maxlim: 94208 bits: 18/17 12.49 c ---[2770]---> Adder-cost: 120 maxlim: 97280 bits: 18/17 12.52 c ---[2768]---> Adder-cost: 174 maxlim: 96256 bits: 18/17 12.54 c ---[2766]---> Adder-cost: 244 maxlim: 122880 bits: 18/17 12.58 c ---[2764]---> Adder-cost: 104 maxlim: 99328 bits: 18/17 12.60 c ---[2762]---> Adder-cost: 70 maxlim: 99328 bits: 18/17 12.63 c ---[2760]---> Adder-cost: 146 maxlim: 87040 bits: 18/17 12.65 c ---[2758]---> Adder-cost: 122 maxlim: 78848 bits: 18/17 12.67 c ---[2756]---> Sorter-cost: 1277 Base: 2 2 2 2 2 2 2 2 2 2 7 12.68 c ---[2754]---> Adder-cost: 180 maxlim: 119808 bits: 18/17 12.72 c ---[2752]---> Adder-cost: 120 maxlim: 62464 bits: 17/16 12.73 c ---[2750]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 12.75 c ---[2748]---> Adder-cost: 108 maxlim: 61440 bits: 17/16 12.76 c ---[2746]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 12.78 c ---[2744]---> Adder-cost: 112 maxlim: 62464 bits: 17/16 12.79 c ---[2742]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 12.81 c ---[2740]---> Adder-cost: 104 maxlim: 56320 bits: 17/16 12.82 c ---[2738]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 12.84 c ---[2736]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 12.85 c ---[2734]---> Adder-cost: 218 maxlim: 118784 bits: 18/17 12.88 c ---[2732]---> Sorter-cost: 468 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89 c ---[2730]---> Sorter-cost: 363 Base: 2 2 2 2 2 2 2 2 2 2 7 12.89 c ---[2728]---> Sorter-cost: 1073 Base: 2 2 2 2 2 2 2 2 2 2 7 12.90 c ---[2726]---> Sorter-cost: 301 Base: 2 2 2 2 2 2 2 2 2 2 2 12.91 c ---[2724]---> Sorter-cost: 1072 Base: 2 2 2 2 2 2 2 2 2 2 7 12.92 c ---[2722]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 12.92 c ---[2720]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 12.93 c ---[2718]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 12.96 c ---[2716]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 12.96 c ---[2714]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 12.97 c ---[2712]---> Sorter-cost: 301 Base: 2 2 2 2 2 2 2 2 2 2 2 12.98 c ---[2710]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 12.99 c ---[2708]---> Adder-cost: 106 maxlim: 54272 bits: 17/16 13.00 c ---[2706]---> Adder-cost: 238 maxlim: 120832 bits: 18/17 13.03 c ---[2704]---> Sorter-cost: 653 Base: 2 2 2 2 2 2 2 2 2 2 7 13.04 c ---[2702]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 13.05 c ---[2700]---> Sorter-cost: 613 Base: 2 2 2 2 2 2 2 2 2 2 7 13.05 c ---[2698]---> Sorter-cost: 456 Base: 2 2 2 2 2 2 2 2 2 2 7 13.06 c ---[2696]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 13.06 c ---[2694]---> Sorter-cost: 295 Base: 2 2 2 2 2 2 2 2 2 2 2 13.07 c ---[2692]---> Adder-cost: 80 maxlim: 120832 bits: 18/17 13.10 c ---[2690]---> Adder-cost: 120 maxlim: 64512 bits: 17/16 13.11 c ---[2688]---> Adder-cost: 50 maxlim: 64512 bits: 17/16 13.13 c ---[2686]---> Adder-cost: 94 maxlim: 52224 bits: 17/16 13.14 c ---[2684]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 13.15 c ---[2682]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 13.15 c ---[2680]---> Adder-cost: 116 maxlim: 60416 bits: 17/16 13.17 c ---[2678]---> Adder-cost: 190 maxlim: 98304 bits: 18/17 13.19 c ---[2676]---> Adder-cost: 98 maxlim: 53248 bits: 17/16 13.20 c ---[2674]---> Adder-cost: 152 maxlim: 117760 bits: 18/17 13.24 c ---[2672]---> Sorter-cost: 1012 Base: 2 2 2 2 2 2 2 2 2 2 7 13.25 c ---[2670]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 13.26 c ---[2668]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 13.26 c ---[2666]---> Sorter-cost: 835 Base: 2 2 2 2 2 2 2 2 2 2 7 13.27 c ---[2664]---> Adder-cost: 160 maxlim: 115712 bits: 18/17 13.30 c ---[2662]---> Adder-cost: 142 maxlim: 70656 bits: 18/17 13.32 c ---[2660]---> Adder-cost: 120 maxlim: 81920 bits: 18/17 13.35 c ---[2658]---> Adder-cost: 124 maxlim: 65536 bits: 18/17 13.36 c ---[2656]---> Adder-cost: 56 maxlim: 56320 bits: 17/16 13.38 c ---[2654]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 13.38 c ---[2652]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 13.39 c ---[2650]---> Adder-cost: 152 maxlim: 114688 bits: 18/17 13.41 c ---[2648]---> Adder-cost: 190 maxlim: 98304 bits: 18/17 13.44 c ---[2646]---> Adder-cost: 138 maxlim: 125952 bits: 18/17 13.47 c ---[2644]---> Adder-cost: 78 maxlim: 125952 bits: 18/17 13.54 c ---[2642]---> Adder-cost: 204 maxlim: 108544 bits: 18/17 13.57 c ---[2640]---> Adder-cost: 86 maxlim: 60416 bits: 17/16 13.58 c ---[2638]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 13.59 c ---[2636]---> Adder-cost: 156 maxlim: 104448 bits: 18/17 13.61 c ---[2634]---> Sorter-cost: 656 Base: 2 2 2 2 2 2 2 2 2 2 7 13.62 c ---[2632]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 13.63 c ---[2630]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 13.63 c ---[2628]---> Sorter-cost: 529 Base: 2 2 2 2 2 2 2 2 2 2 7 13.64 c ---[2626]---> Sorter-cost: 430 Base: 2 2 2 2 2 2 2 2 2 2 7 13.65 c ---[2624]---> Adder-cost: 128 maxlim: 71680 bits: 18/17 13.66 c ---[2622]---> Sorter-cost: 1053 Base: 2 2 2 2 2 2 2 2 2 2 7 13.67 c ---[2620]---> Sorter-cost: 628 Base: 2 2 2 2 2 2 2 2 2 2 7 13.68 c ---[2618]---> Sorter-cost: 581 Base: 2 2 2 2 2 2 2 2 2 2 7 13.69 c ---[2616]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 13.69 c ---[2614]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 13.70 c ---[2612]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 13.70 c ---[2610]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 13.72 c ---[2608]---> Sorter-cost: 568 Base: 2 2 2 2 2 2 2 2 2 2 7 13.72 c ---[2606]---> Adder-cost: 148 maxlim: 77824 bits: 18/17 13.74 c ---[2604]---> Adder-cost: 202 maxlim: 103424 bits: 18/17 13.77 c ---[2602]---> Adder-cost: 204 maxlim: 115712 bits: 18/17 13.79 c ---[2600]---> Sorter-cost: 1063 Base: 2 2 2 2 2 2 2 2 2 2 7 13.80 c ---[2598]---> Sorter-cost: 1232 Base: 2 2 2 2 2 2 2 2 2 2 7 13.81 c ---[2596]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 13.83 c ---[2594]---> Adder-cost: 384 maxlim: 210944 bits: 19/18 13.88 c ---[2592]---> Adder-cost: 130 maxlim: 66560 bits: 18/17 13.89 c ---[2590]---> Adder-cost: 200 maxlim: 100352 bits: 18/17 13.92 c ---[2588]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 13.94 c ---[2586]---> Adder-cost: 140 maxlim: 80896 bits: 18/17 13.96 c ---[2584]---> Adder-cost: 306 maxlim: 166912 bits: 19/18 14.00 c ---[2582]---> Adder-cost: 214 maxlim: 123904 bits: 18/17 14.03 c ---[2580]---> Adder-cost: 182 maxlim: 142336 bits: 19/18 14.07 c ---[2578]---> Sorter-cost: 1075 Base: 2 2 2 2 2 2 2 2 2 2 7 14.08 c ---[2576]---> Sorter-cost: 1004 Base: 2 2 2 2 2 2 2 2 2 2 7 14.09 c ---[2574]---> Adder-cost: 190 maxlim: 98304 bits: 18/17 14.11 c ---[2572]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 14.12 c ---[2570]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 14.13 c ---[2568]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 14.14 c ---[2566]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 14.15 c ---[2564]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 14.15 c ---[2562]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 14.16 c ---[2560]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 14.16 c ---[2558]---> Adder-cost: 70 maxlim: 98304 bits: 18/17 14.19 c ---[2556]---> Sorter-cost: 615 Base: 2 2 2 2 2 2 2 2 2 2 7 14.19 c ---[2554]---> Sorter-cost: 1184 Base: 2 2 2 2 2 2 2 2 2 2 7 14.20 c ---[2552]---> Adder-cost: 130 maxlim: 66560 bits: 18/17 14.22 c ---[2550]---> Sorter-cost: 1238 Base: 2 2 2 2 2 2 2 2 2 2 7 14.23 c ---[2548]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 14.24 c ---[2546]---> Adder-cost: 70 maxlim: 98304 bits: 18/17 14.27 c ---[2544]---> Sorter-cost: 259 Base: 2 2 2 2 2 2 2 2 2 2 2 14.27 c ---[2542]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 14.27 c ---[2540]---> Sorter-cost: 391 Base: 2 2 2 2 2 2 2 2 2 2 7 14.28 c ---[2538]---> Sorter-cost: 299 Base: 2 2 2 2 2 2 2 2 2 2 2 14.28 c ---[2536]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 14.28 c ---[2534]---> Sorter-cost: 531 Base: 2 2 2 2 2 2 2 2 2 2 7 14.29 c ---[2532]---> Adder-cost: 108 maxlim: 63488 bits: 17/16 14.31 c ---[2530]---> Adder-cost: 188 maxlim: 105472 bits: 18/17 14.33 c ---[2528]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 14.34 c ---[2526]---> Adder-cost: 180 maxlim: 96256 bits: 18/17 14.37 c ---[2524]---> Adder-cost: 110 maxlim: 58368 bits: 17/16 14.38 c ---[2522]---> Sorter-cost: 1074 Base: 2 2 2 2 2 2 2 2 2 2 7 14.39 c ---[2520]---> Adder-cost: 102 maxlim: 54272 bits: 17/16 14.40 c ---[2518]---> Sorter-cost: 955 Base: 2 2 2 2 2 2 2 2 2 2 7 14.41 c ---[2516]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 14.43 c ---[2514]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 14.44 c ---[2512]---> Adder-cost: 192 maxlim: 99328 bits: 18/17 14.46 c ---[2510]---> Adder-cost: 222 maxlim: 113664 bits: 18/17 14.49 c ---[2508]---> Adder-cost: 72 maxlim: 113664 bits: 18/17 14.51 c ---[2506]---> Adder-cost: 72 maxlim: 113664 bits: 18/17 14.54 c ---[2504]---> Adder-cost: 170 maxlim: 82944 bits: 18/17 14.56 c ---[2502]---> Adder-cost: 192 maxlim: 104448 bits: 18/17 14.59 c ---[2500]---> Sorter-cost: 1079 Base: 2 2 2 2 2 2 2 2 2 2 7 14.60 c ---[2498]---> Sorter-cost: 785 Base: 2 2 2 2 2 2 2 2 2 2 7 14.60 c ---[2496]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 14.61 c ---[2494]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 14.62 c ---[2492]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 14.63 c ---[2490]---> Sorter-cost: 1209 Base: 2 2 2 2 2 2 2 2 2 2 7 14.64 c ---[2488]---> Sorter-cost: 915 Base: 2 2 2 2 2 2 2 2 2 2 7 14.65 c ---[2486]---> Adder-cost: 170 maxlim: 91136 bits: 18/17 14.67 c ---[2484]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 14.68 c ---[2482]---> Sorter-cost: 1267 Base: 2 2 2 2 2 2 2 2 2 2 7 14.69 c ---[2480]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 14.70 c ---[2478]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 14.70 c ---[2476]---> Adder-cost: 136 maxlim: 65536 bits: 18/17 14.72 c ---[2474]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 14.73 c ---[2472]---> Adder-cost: 116 maxlim: 59392 bits: 17/16 14.74 c ---[2470]---> Adder-cost: 188 maxlim: 100352 bits: 18/17 14.76 c ---[2468]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 14.79 c ---[2466]---> Sorter-cost: 1127 Base: 2 2 2 2 2 2 2 2 2 2 7 14.80 c ---[2464]---> Adder-cost: 170 maxlim: 101376 bits: 18/17 14.82 c ---[2462]---> Sorter-cost: 1171 Base: 2 2 2 2 2 2 2 2 2 2 7 14.83 c ---[2460]---> Adder-cost: 214 maxlim: 112640 bits: 18/17 14.86 c ---[2458]---> Adder-cost: 186 maxlim: 96256 bits: 18/17 14.88 c ---[2456]---> Adder-cost: 118 maxlim: 102400 bits: 18/17 14.91 c ---[2454]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 14.92 c ---[2452]---> Adder-cost: 116 maxlim: 58368 bits: 17/16 14.93 c ---[2450]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 14.94 c ---[2448]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 14.95 c ---[2446]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 14.96 c ---[2444]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 14.97 c ---[2442]---> Sorter-cost: 1085 Base: 2 2 2 2 2 2 2 2 2 2 7 14.98 c ---[2440]---> Adder-cost: 166 maxlim: 82944 bits: 18/17 15.00 c ---[2438]---> Adder-cost: 144 maxlim: 70656 bits: 18/17 15.02 c ---[2436]---> Adder-cost: 288 maxlim: 175104 bits: 19/18 15.06 c ---[2434]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 15.07 c ---[2432]---> Adder-cost: 124 maxlim: 62464 bits: 17/16 15.08 c ---[2430]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 15.10 c ---[2428]---> Sorter-cost: 1024 Base: 2 2 2 2 2 2 2 2 2 2 7 15.11 c ---[2426]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 15.12 c ---[2424]---> Sorter-cost: 933 Base: 2 2 2 2 2 2 2 2 2 2 7 15.13 c ---[2422]---> Adder-cost: 202 maxlim: 98304 bits: 18/17 15.15 c ---[2420]---> Adder-cost: 136 maxlim: 71680 bits: 18/17 15.17 c ---[2418]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 15.18 c ---[2416]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 15.18 c ---[2414]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 15.19 c ---[2412]---> Sorter-cost: 703 Base: 2 2 2 2 2 2 2 2 2 2 7 15.20 c ---[2410]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 15.21 c ---[2408]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 15.21 c ---[2406]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 15.22 c ---[2404]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 15.23 c ---[2402]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 15.24 c ---[2400]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 15.24 c ---[2398]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 15.25 c ---[2396]---> Adder-cost: 162 maxlim: 79872 bits: 18/17 15.27 c ---[2394]---> Adder-cost: 214 maxlim: 106496 bits: 18/17 15.29 c ---[2392]---> Adder-cost: 78 maxlim: 106496 bits: 18/17 15.32 c ---[2390]---> Adder-cost: 270 maxlim: 134144 bits: 19/18 15.35 c ---[2388]---> Sorter-cost: 807 Base: 2 2 2 2 2 2 2 2 2 2 7 15.36 c ---[2386]---> Adder-cost: 232 maxlim: 114688 bits: 18/17 15.39 c ---[2384]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 15.39 c ---[2382]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 15.40 c ---[2380]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 15.40 c ---[2378]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 15.40 c ---[2376]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 15.41 c ---[2374]---> Adder-cost: 118 maxlim: 59392 bits: 17/16 15.42 c ---[2372]---> Adder-cost: 186 maxlim: 92160 bits: 18/17 15.44 c ---[2370]---> Adder-cost: 162 maxlim: 94208 bits: 18/17 15.47 c ---[2368]---> Adder-cost: 118 maxlim: 93184 bits: 18/17 15.49 c ---[2366]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 15.50 c ---[2364]---> Sorter-cost: 448 Base: 2 2 2 2 2 2 2 2 2 2 7 15.50 c ---[2362]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 15.51 c ---[2360]---> Adder-cost: 114 maxlim: 72704 bits: 18/17 15.52 c ---[2358]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 15.53 c ---[2356]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 15.54 c ---[2354]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 15.55 c ---[2352]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 15.55 c ---[2350]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 15.56 c ---[2348]---> Sorter-cost: 562 Base: 2 2 2 2 2 2 2 2 2 2 7 15.56 c ---[2346]---> Sorter-cost: 427 Base: 2 2 2 2 2 2 2 2 2 2 7 15.57 c ---[2344]---> Sorter-cost: 469 Base: 2 2 2 2 2 2 2 2 2 2 7 15.58 c ---[2342]---> Sorter-cost: 625 Base: 2 2 2 2 2 2 2 2 2 2 7 15.58 c ---[2340]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 15.59 c ---[2338]---> Sorter-cost: 947 Base: 2 2 2 2 2 2 2 2 2 2 7 15.60 c ---[2336]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 15.61 c ---[2334]---> Sorter-cost: 909 Base: 2 2 2 2 2 2 2 2 2 2 7 15.61 c ---[2332]---> Adder-cost: 190 maxlim: 94208 bits: 18/17 15.64 c ---[2330]---> Adder-cost: 172 maxlim: 84992 bits: 18/17 15.66 c ---[2328]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 15.66 c ---[2326]---> Adder-cost: 272 maxlim: 146432 bits: 19/18 15.70 c ---[2324]---> Adder-cost: 234 maxlim: 120832 bits: 18/17 15.73 c ---[2322]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 15.74 c ---[2320]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 15.75 c ---[2318]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 15.76 c ---[2316]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 15.77 c ---[2314]---> Adder-cost: 188 maxlim: 101376 bits: 18/17 15.79 c ---[2312]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 15.82 c ---[2310]---> Adder-cost: 190 maxlim: 100352 bits: 18/17 15.84 c ---[2308]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 15.87 c ---[2306]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 15.89 c ---[2304]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 15.91 c ---[2302]---> Adder-cost: 136 maxlim: 74752 bits: 18/17 15.93 c ---[2300]---> Adder-cost: 172 maxlim: 86016 bits: 18/17 15.95 c ---[2298]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 15.98 c ---[2296]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 16.00 c ---[2294]---> Adder-cost: 154 maxlim: 87040 bits: 18/17 16.02 c ---[2292]---> Adder-cost: 160 maxlim: 79872 bits: 18/17 16.04 c ---[2290]---> Adder-cost: 62 maxlim: 79872 bits: 18/17 16.06 c ---[2288]---> Adder-cost: 62 maxlim: 79872 bits: 18/17 16.08 c ---[2286]---> Adder-cost: 110 maxlim: 76800 bits: 18/17 16.10 c ---[2284]---> Adder-cost: 62 maxlim: 76800 bits: 18/17 16.12 c ---[2282]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 16.14 c ---[2280]---> Adder-cost: 62 maxlim: 79872 bits: 18/17 16.16 c ---[2278]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 16.16 c ---[2276]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 16.17 c ---[2274]---> Sorter-cost: 1248 Base: 2 2 2 2 2 2 2 2 2 2 7 16.18 c ---[2272]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 16.19 c ---[2270]---> Sorter-cost: 409 Base: 2 2 2 2 2 2 2 2 2 2 7 16.20 c ---[2268]---> Adder-cost: 140 maxlim: 68608 bits: 18/17 16.21 c ---[2266]---> Adder-cost: 58 maxlim: 68608 bits: 18/17 16.23 c ---[2264]---> Adder-cost: 140 maxlim: 72704 bits: 18/17 16.25 c ---[2262]---> Sorter-cost: 908 Base: 2 2 2 2 2 2 2 2 2 2 7 16.26 c ---[2260]---> Sorter-cost: 720 Base: 2 2 2 2 2 2 2 2 2 2 7 16.27 c ---[2258]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 16.27 c ---[2256]---> Adder-cost: 160 maxlim: 77824 bits: 18/17 16.29 c ---[2254]---> Adder-cost: 92 maxlim: 53248 bits: 17/16 16.30 c ---[2252]---> Sorter-cost: 422 Base: 2 2 2 2 2 2 2 2 2 2 7 16.31 c ---[2250]---> Adder-cost: 334 maxlim: 168960 bits: 19/18 16.45 c ---[2248]---> Adder-cost: 56 maxlim: 72704 bits: 18/17 16.47 c ---[2246]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 16.48 c ---[2244]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 16.48 c ---[2242]---> Adder-cost: 168 maxlim: 86016 bits: 18/17 16.50 c ---[2240]---> Adder-cost: 108 maxlim: 55296 bits: 17/16 16.52 c ---[2238]---> Sorter-cost: 1267 Base: 2 2 2 2 2 2 2 2 2 2 7 16.53 c ---[2236]---> Sorter-cost: 725 Base: 2 2 2 2 2 2 2 2 2 2 7 16.53 c ---[2234]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 16.54 c ---[2232]---> Sorter-cost: 609 Base: 2 2 2 2 2 2 2 2 2 2 7 16.55 c ---[2230]---> Sorter-cost: 552 Base: 2 2 2 2 2 2 2 2 2 2 7 16.55 c ---[2228]---> Sorter-cost: 388 Base: 2 2 2 2 2 2 2 2 2 2 7 16.56 c ---[2226]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 16.56 c ---[2224]---> Sorter-cost: 614 Base: 2 2 2 2 2 2 2 2 2 2 7 16.57 c ---[2222]---> Sorter-cost: 436 Base: 2 2 2 2 2 2 2 2 2 2 7 16.57 c ---[2220]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 16.58 c ---[2218]---> Sorter-cost: 275 Base: 2 2 2 2 2 2 2 2 2 2 2 16.58 c ---[2216]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 16.59 c ---[2214]---> Sorter-cost: 507 Base: 2 2 2 2 2 2 2 2 2 2 7 16.59 c ---[2212]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 16.60 c ---[2210]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 16.60 c ---[2208]---> Sorter-cost: 359 Base: 2 2 2 2 2 2 2 2 2 2 7 16.61 c ---[2206]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 16.61 c ---[2204]---> Sorter-cost: 325 Base: 2 2 2 2 2 2 2 2 2 2 7 16.62 c ---[2202]---> Adder-cost: 248 maxlim: 126976 bits: 18/17 16.65 c ---[2200]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 16.65 c ---[2198]---> Adder-cost: 154 maxlim: 73728 bits: 18/17 16.67 c ---[2196]---> Adder-cost: 62 maxlim: 73728 bits: 18/17 16.69 c ---[2194]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 16.70 c ---[2192]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 16.71 c ---[2190]---> Adder-cost: 182 maxlim: 90112 bits: 18/17 16.73 c ---[2188]---> Adder-cost: 108 maxlim: 66560 bits: 18/17 16.75 c ---[2186]---> Adder-cost: 166 maxlim: 114688 bits: 18/17 16.78 c ---[2184]---> Adder-cost: 122 maxlim: 62464 bits: 17/16 16.79 c ---[2182]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 16.80 c ---[2180]---> Adder-cost: 148 maxlim: 72704 bits: 18/17 16.82 c ---[2178]---> Adder-cost: 56 maxlim: 72704 bits: 18/17 16.84 c ---[2176]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 16.85 c ---[2174]---> Adder-cost: 108 maxlim: 57344 bits: 17/16 16.87 c ---[2172]---> Adder-cost: 218 maxlim: 115712 bits: 18/17 16.89 c ---[2170]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 16.91 c ---[2168]---> Adder-cost: 162 maxlim: 80896 bits: 18/17 16.93 c ---[2166]---> Adder-cost: 154 maxlim: 78848 bits: 18/17 16.95 c ---[2164]---> Adder-cost: 60 maxlim: 78848 bits: 18/17 16.97 c ---[2162]---> Adder-cost: 190 maxlim: 114688 bits: 18/17 16.99 c ---[2160]---> Adder-cost: 76 maxlim: 114688 bits: 18/17 17.02 c ---[2158]---> Adder-cost: 176 maxlim: 112640 bits: 18/17 17.05 c ---[2156]---> Adder-cost: 74 maxlim: 112640 bits: 18/17 17.07 c ---[2154]---> Adder-cost: 76 maxlim: 115712 bits: 18/17 17.10 c ---[2152]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 17.11 c ---[2150]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 17.12 c ---[2148]---> Adder-cost: 168 maxlim: 82944 bits: 18/17 17.14 c ---[2146]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 17.15 c ---[2144]---> Adder-cost: 138 maxlim: 75776 bits: 18/17 17.17 c ---[2142]---> Adder-cost: 122 maxlim: 73728 bits: 18/17 17.19 c ---[2140]---> Adder-cost: 76 maxlim: 115712 bits: 18/17 17.22 c ---[2138]---> Adder-cost: 62 maxlim: 73728 bits: 18/17 17.23 c ---[2136]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 17.25 c ---[2134]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 17.26 c ---[2132]---> Adder-cost: 198 maxlim: 101376 bits: 18/17 17.28 c ---[2130]---> Adder-cost: 164 maxlim: 88064 bits: 18/17 17.30 c ---[2128]---> Adder-cost: 112 maxlim: 108544 bits: 18/17 17.33 c ---[2126]---> Adder-cost: 224 maxlim: 120832 bits: 18/17 17.36 c ---[2124]---> Adder-cost: 80 maxlim: 120832 bits: 18/17 17.38 c ---[2122]---> Adder-cost: 194 maxlim: 114688 bits: 18/17 17.41 c ---[2120]---> Adder-cost: 76 maxlim: 114688 bits: 18/17 17.44 c ---[2118]---> Adder-cost: 164 maxlim: 91136 bits: 18/17 17.46 c ---[2116]---> Adder-cost: 152 maxlim: 95232 bits: 18/17 17.48 c ---[2114]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 17.51 c ---[2112]---> Adder-cost: 126 maxlim: 65536 bits: 18/17 17.52 c ---[2110]---> Adder-cost: 62 maxlim: 65536 bits: 18/17 17.54 c ---[2108]---> Adder-cost: 170 maxlim: 86016 bits: 18/17 17.56 c ---[2106]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 17.58 c ---[2104]---> Adder-cost: 138 maxlim: 82944 bits: 18/17 17.60 c ---[2102]---> Adder-cost: 68 maxlim: 82944 bits: 18/17 17.62 c ---[2100]---> Sorter-cost: 458 Base: 2 2 2 2 2 2 2 2 2 2 7 17.63 c ---[2098]---> Adder-cost: 304 maxlim: 160768 bits: 19/18 17.67 c ---[2096]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 17.68 c ---[2094]---> Adder-cost: 86 maxlim: 52224 bits: 17/16 17.69 c ---[2092]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 17.70 c ---[2090]---> Sorter-cost: 613 Base: 2 2 2 2 2 2 2 2 2 2 7 17.71 c ---[2088]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 17.71 c ---[2086]---> Sorter-cost: 552 Base: 2 2 2 2 2 2 2 2 2 2 7 17.72 c ---[2084]---> Sorter-cost: 1039 Base: 2 2 2 2 2 2 2 2 2 2 7 17.73 c ---[2082]---> Sorter-cost: 611 Base: 2 2 2 2 2 2 2 2 2 2 7 17.74 c ---[2080]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 17.74 c ---[2078]---> Adder-cost: 66 maxlim: 52224 bits: 17/16 17.75 c ---[2076]---> Adder-cost: 156 maxlim: 79872 bits: 18/17 17.77 c ---[2074]---> Adder-cost: 62 maxlim: 79872 bits: 18/17 17.79 c ---[2072]---> Adder-cost: 112 maxlim: 69632 bits: 18/17 17.81 c ---[2070]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 17.82 c ---[2068]---> Adder-cost: 110 maxlim: 69632 bits: 18/17 17.84 c ---[2066]---> Sorter-cost: 464 Base: 2 2 2 2 2 2 2 2 2 2 7 17.84 c ---[2064]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 17.85 c ---[2062]---> Sorter-cost: 562 Base: 2 2 2 2 2 2 2 2 2 2 7 17.86 c ---[2060]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 17.86 c ---[2058]---> Sorter-cost: 644 Base: 2 2 2 2 2 2 2 2 2 2 7 17.87 c ---[2056]---> Sorter-cost: 1175 Base: 2 2 2 2 2 2 2 2 2 2 7 17.88 c ---[2054]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 17.89 c ---[2052]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 17.90 c ---[2050]---> Adder-cost: 100 maxlim: 56320 bits: 17/16 17.91 c ---[2048]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 17.92 c ---[2046]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 17.93 c ---[2044]---> Adder-cost: 324 maxlim: 190464 bits: 19/18 17.97 c ---[2042]---> Adder-cost: 100 maxlim: 53248 bits: 17/16 17.98 c ---[2040]---> Adder-cost: 94 maxlim: 53248 bits: 17/16 18.00 c ---[2038]---> Sorter-cost: 1171 Base: 2 2 2 2 2 2 2 2 2 2 7 18.01 c ---[2036]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 18.02 c ---[2034]---> Adder-cost: 176 maxlim: 90112 bits: 18/17 18.04 c ---[2032]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 18.05 c ---[2030]---> Sorter-cost: 591 Base: 2 2 2 2 2 2 2 2 2 2 7 18.06 c ---[2028]---> Sorter-cost: 1313 Base: 2 2 2 2 2 2 2 2 2 2 7 18.07 c ---[2026]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 18.08 c ---[2024]---> Sorter-cost: 572 Base: 2 2 2 2 2 2 2 2 2 2 7 18.08 c ---[2022]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 18.09 c ---[2020]---> Sorter-cost: 437 Base: 2 2 2 2 2 2 2 2 2 2 7 18.09 c ---[2018]---> Sorter-cost: 311 Base: 2 2 2 2 2 2 2 2 2 2 2 18.10 c ---[2016]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 18.10 c ---[2014]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 18.10 c ---[2012]---> Sorter-cost: 376 Base: 2 2 2 2 2 2 2 2 2 2 7 18.11 c ---[2010]---> Adder-cost: 122 maxlim: 62464 bits: 17/16 18.12 c ---[2008]---> Sorter-cost: 395 Base: 2 2 2 2 2 2 2 2 2 2 7 18.13 c ---[2006]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 18.14 c ---[2004]---> Sorter-cost: 1081 Base: 2 2 2 2 2 2 2 2 2 2 7 18.15 c ---[2002]---> Sorter-cost: 729 Base: 2 2 2 2 2 2 2 2 2 2 7 18.16 c ---[2000]---> Sorter-cost: 951 Base: 2 2 2 2 2 2 2 2 2 2 7 18.16 c ---[1998]---> Adder-cost: 214 maxlim: 108544 bits: 18/17 18.19 c ---[1996]---> Adder-cost: 162 maxlim: 91136 bits: 18/17 18.21 c ---[1994]---> Sorter-cost: 655 Base: 2 2 2 2 2 2 2 2 2 2 7 18.22 c ---[1992]---> Sorter-cost: 409 Base: 2 2 2 2 2 2 2 2 2 2 7 18.22 c ---[1990]---> Adder-cost: 166 maxlim: 84992 bits: 18/17 18.24 c ---[1988]---> Sorter-cost: 1055 Base: 2 2 2 2 2 2 2 2 2 2 7 18.25 c ---[1986]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 18.27 c ---[1984]---> Adder-cost: 308 maxlim: 159744 bits: 19/18 18.30 c ---[1982]---> Adder-cost: 272 maxlim: 140288 bits: 19/18 18.34 c ---[1980]---> Adder-cost: 200 maxlim: 101376 bits: 18/17 18.36 c ---[1978]---> Adder-cost: 208 maxlim: 107520 bits: 18/17 18.39 c ---[1976]---> Adder-cost: 168 maxlim: 106496 bits: 18/17 18.41 c ---[1974]---> Adder-cost: 142 maxlim: 112640 bits: 18/17 18.44 c ---[1972]---> Sorter-cost: 638 Base: 2 2 2 2 2 2 2 2 2 2 7 18.45 c ---[1970]---> Adder-cost: 146 maxlim: 76800 bits: 18/17 18.46 c ---[1968]---> Adder-cost: 120 maxlim: 67584 bits: 18/17 18.48 c ---[1966]---> Sorter-cost: 1248 Base: 2 2 2 2 2 2 2 2 2 2 7 18.49 c ---[1964]---> Adder-cost: 106 maxlim: 55296 bits: 17/16 18.51 c ---[1962]---> Adder-cost: 218 maxlim: 117760 bits: 18/17 18.53 c ---[1960]---> Adder-cost: 164 maxlim: 97280 bits: 18/17 18.56 c ---[1958]---> Adder-cost: 168 maxlim: 84992 bits: 18/17 18.58 c ---[1956]---> Adder-cost: 174 maxlim: 90112 bits: 18/17 18.60 c ---[1954]---> Adder-cost: 112 maxlim: 60416 bits: 17/16 18.61 c ---[1952]---> Adder-cost: 222 maxlim: 139264 bits: 19/18 18.65 c ---[1950]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 18.68 c ---[1948]---> Adder-cost: 94 maxlim: 139264 bits: 19/18 18.71 c ---[1946]---> Adder-cost: 90 maxlim: 60416 bits: 17/16 18.73 c ---[1944]---> Adder-cost: 216 maxlim: 115712 bits: 18/17 18.76 c ---[1942]---> Adder-cost: 76 maxlim: 115712 bits: 18/17 18.78 c ---[1940]---> Adder-cost: 148 maxlim: 84992 bits: 18/17 18.80 c ---[1938]---> Adder-cost: 68 maxlim: 84992 bits: 18/17 18.83 c ---[1936]---> Adder-cost: 120 maxlim: 61440 bits: 17/16 18.84 c ---[1934]---> Sorter-cost: 1219 Base: 2 2 2 2 2 2 2 2 2 2 7 18.85 c ---[1932]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 18.86 c ---[1930]---> Sorter-cost: 644 Base: 2 2 2 2 2 2 2 2 2 2 7 18.87 c ---[1928]---> Sorter-cost: 436 Base: 2 2 2 2 2 2 2 2 2 2 7 18.87 c ---[1926]---> Adder-cost: 176 maxlim: 93184 bits: 18/17 18.89 c ---[1924]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 18.91 c ---[1922]---> Sorter-cost: 1037 Base: 2 2 2 2 2 2 2 2 2 2 7 18.92 c ---[1920]---> Adder-cost: 122 maxlim: 86016 bits: 18/17 18.94 c ---[1918]---> Adder-cost: 218 maxlim: 114688 bits: 18/17 18.96 c ---[1916]---> Adder-cost: 76 maxlim: 114688 bits: 18/17 18.99 c ---[1914]---> Sorter-cost: 1020 Base: 2 2 2 2 2 2 2 2 2 2 7 19.00 c ---[1912]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 19.01 c ---[1910]---> Adder-cost: 200 maxlim: 98304 bits: 18/17 19.03 c ---[1908]---> Sorter-cost: 649 Base: 2 2 2 2 2 2 2 2 2 2 7 19.04 c ---[1906]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 19.04 c ---[1904]---> Sorter-cost: 1031 Base: 2 2 2 2 2 2 2 2 2 2 7 19.05 c ---[1902]---> Adder-cost: 240 maxlim: 124928 bits: 18/17 19.08 c ---[1900]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 19.09 c ---[1898]---> Sorter-cost: 1144 Base: 2 2 2 2 2 2 2 2 2 2 7 19.10 c ---[1896]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 19.11 c ---[1894]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 19.12 c ---[1892]---> Adder-cost: 140 maxlim: 72704 bits: 18/17 19.14 c ---[1890]---> Adder-cost: 56 maxlim: 72704 bits: 18/17 19.16 c ---[1888]---> Adder-cost: 102 maxlim: 51200 bits: 17/16 19.17 c ---[1886]---> Adder-cost: 154 maxlim: 123904 bits: 18/17 19.20 c ---[1884]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 19.21 c ---[1882]---> Adder-cost: 270 maxlim: 151552 bits: 19/18 19.25 c ---[1880]---> Adder-cost: 160 maxlim: 95232 bits: 18/17 19.27 c ---[1878]---> Adder-cost: 314 maxlim: 183296 bits: 19/18 19.31 c ---[1876]---> Adder-cost: 168 maxlim: 100352 bits: 18/17 19.34 c ---[1874]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 19.35 c ---[1872]---> Adder-cost: 172 maxlim: 117760 bits: 18/17 19.38 c ---[1870]---> Sorter-cost: 947 Base: 2 2 2 2 2 2 2 2 2 2 7 19.38 c ---[1868]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 19.39 c ---[1866]---> Sorter-cost: 733 Base: 2 2 2 2 2 2 2 2 2 2 7 19.40 c ---[1864]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 19.41 c ---[1862]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 19.41 c ---[1860]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 19.42 c ---[1858]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 19.43 c ---[1856]---> Adder-cost: 124 maxlim: 66560 bits: 18/17 19.45 c ---[1854]---> Adder-cost: 138 maxlim: 118784 bits: 18/17 19.47 c ---[1852]---> Adder-cost: 136 maxlim: 68608 bits: 18/17 19.49 c ---[1850]---> Adder-cost: 138 maxlim: 70656 bits: 18/17 19.51 c ---[1848]---> Sorter-cost: 688 Base: 2 2 2 2 2 2 2 2 2 2 7 19.52 c ---[1846]---> Adder-cost: 108 maxlim: 58368 bits: 17/16 19.53 c ---[1844]---> Sorter-cost: 443 Base: 2 2 2 2 2 2 2 2 2 2 7 19.53 c ---[1842]---> Adder-cost: 188 maxlim: 104448 bits: 18/17 19.56 c ---[1840]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 19.56 c ---[1838]---> Adder-cost: 122 maxlim: 62464 bits: 17/16 19.58 c ---[1836]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 7 19.59 c ---[1834]---> Adder-cost: 106 maxlim: 53248 bits: 17/16 19.60 c ---[1832]---> Sorter-cost: 315 Base: 2 2 2 2 2 2 2 2 2 2 2 19.60 c ---[1831]---> Adder-cost: 2746 maxlim: 1406975 bits: 22/21 19.95 c ---[1829]---> Adder-cost: 279 maxlim: 158719 bits: 19/18 19.99 c ---[1827]---> Adder-cost: 490 maxlim: 251903 bits: 19/18 20.07 c ---[1825]---> Adder-cost: 593 maxlim: 345087 bits: 20/19 20.16 c ---[1824]---> Adder-cost: 587 maxlim: 338943 bits: 20/19 20.26 c ---[1822]---> Adder-cost: 727 maxlim: 362495 bits: 20/19 20.36 c ---[1820]---> Adder-cost: 241 maxlim: 136191 bits: 19/18 20.40 c ---[1815]---> Sorter-cost: 405 Base: 2 2 2 2 2 2 2 2 2 2 7 20.41 c ---[1812]---> Adder-cost: 1742 maxlim: 931839 bits: 21/20 20.64 c ---[1810]---> Adder-cost: 763 maxlim: 477183 bits: 20/19 20.77 c ---[1809]---> Adder-cost: 3256 maxlim: 1724415 bits: 22/21 21.22 c ---[1808]---> Adder-cost: 915 maxlim: 497663 bits: 20/19 21.36 c ---[1807]---> Adder-cost: 374 maxlim: 189439 bits: 19/18 21.41 c ---[1805]---> Adder-cost: 2104 maxlim: 1154047 bits: 22/21 21.72 c ---[1803]---> Sorter-cost: 615 Base: 2 2 2 2 2 2 2 2 2 2 7 21.72 c ---[1802]---> Adder-cost: 410 maxlim: 205823 bits: 19/18 21.78 c ---[1800]---> Adder-cost: 408 maxlim: 239615 bits: 19/18 21.85 c ---[1795]---> Adder-cost: 829 maxlim: 413695 bits: 20/19 21.96 c ---[1792]---> Sorter-cost: 259 Base: 2 2 2 2 2 2 2 2 2 2 2 21.97 c ---[1790]---> Adder-cost: 802 maxlim: 404479 bits: 20/19 22.08 c ---[1788]---> Adder-cost: 75 maxlim: 37887 bits: 17/16 22.10 c ---[1786]---> Adder-cost: 184 maxlim: 27647 bits: 16/15 22.12 c ---[1784]---> Adder-cost: 162 maxlim: 37887 bits: 17/16 22.14 c ---[1783]---> Adder-cost: 253 maxlim: 121855 bits: 18/17 22.19 c ---[1781]---> Adder-cost: 149 maxlim: 29695 bits: 16/15 22.20 c ---[1780]---> Adder-cost: 132 maxlim: 51199 bits: 17/16 22.23 c ---[1779]---> Adder-cost: 119 maxlim: 38911 bits: 17/16 22.24 c ---[1776]---> Adder-cost: 347 maxlim: 77823 bits: 18/17 22.29 c ---[1774]---> Adder-cost: 1116 maxlim: 292863 bits: 20/19 22.44 c ---[1773]---> Adder-cost: 221 maxlim: 30719 bits: 16/15 22.47 c ---[1771]---> Adder-cost: 122 maxlim: 74752 bits: 18/17 22.49 c ---[1770]---> Adder-cost: 373 maxlim: 22527 bits: 16/15 22.53 c ---[1769]---> Adder-cost: 257 maxlim: 110591 bits: 18/17 22.57 c ---[1768]---> Adder-cost: 194 maxlim: 89087 bits: 18/17 22.60 c ---[1766]---> Adder-cost: 332 maxlim: 150527 bits: 19/18 22.65 c ---[1765]---> Adder-cost: 9443 maxlim: 3674111 bits: 23/22 24.54 c ---[1763]---> Adder-cost: 16374 maxlim: 9792511 bits: 24/24 27.84 c ---[1749]---> Sorter-cost: 653 Base: 2 2 2 2 2 2 2 2 2 2 7 27.85 c ---[1724]---> Sorter-cost: 421 Base: 2 2 2 2 2 2 2 2 2 2 7 27.85 c ---[1718]---> Adder-cost: 490 maxlim: 303104 bits: 20/19 27.93 c ---[1713]---> Adder-cost: 388 maxlim: 275456 bits: 20/19 28.00 c ---[1708]---> Adder-cost: 440 maxlim: 304128 bits: 20/19 28.08 c ---[1706]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 28.09 c ---[1704]---> Sorter-cost: 1251 Base: 2 2 2 2 2 2 2 2 2 2 7 28.10 c ---[1703]---> Adder-cost: 53509 maxlim: 320497663 bits: 30/29 96.39 c ---[1701]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 96.40 c ---[1699]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 96.41 c ---[1696]---> Sorter-cost: 871 Base: 2 2 2 2 2 2 2 2 2 2 7 96.42 c ---[1694]---> Sorter-cost: 666 Base: 2 2 2 2 2 2 2 2 2 2 7 96.43 c ---[1692]---> Sorter-cost: 591 Base: 2 2 2 2 2 2 2 2 2 2 7 96.43 c ---[1690]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 96.44 c ---[1688]---> Adder-cost: 472 maxlim: 249856 bits: 19/18 96.50 c ---[1686]---> Adder-cost: 286 maxlim: 251904 bits: 19/18 96.57 c ---[1684]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 96.58 c ---[1682]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 96.59 c ---[1680]---> Sorter-cost: 646 Base: 2 2 2 2 2 2 2 2 2 2 7 96.60 c ---[1678]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 96.61 c ---[1676]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 96.62 c ---[1674]---> Adder-cost: 176 maxlim: 88064 bits: 18/17 96.64 c ---[1672]---> Adder-cost: 202 maxlim: 102400 bits: 18/17 96.67 c ---[1670]---> Adder-cost: 214 maxlim: 109568 bits: 18/17 96.70 c ---[1668]---> Adder-cost: 214 maxlim: 133120 bits: 19/18 96.73 c ---[1666]---> Adder-cost: 88 maxlim: 133120 bits: 19/18 96.77 c ---[1664]---> Adder-cost: 468 maxlim: 259072 bits: 19/18 96.83 c ---[1662]---> Adder-cost: 124 maxlim: 259072 bits: 19/18 96.90 c ---[1660]---> Sorter-cost: 997 Base: 2 2 2 2 2 2 2 2 2 2 7 96.91 c ---[1658]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 96.91 c ---[1656]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 96.92 c ---[1654]---> Adder-cost: 106 maxlim: 55296 bits: 17/16 96.93 c ---[1652]---> Adder-cost: 144 maxlim: 89088 bits: 18/17 96.96 c ---[1650]---> Adder-cost: 274 maxlim: 152576 bits: 19/18 97.00 c ---[1648]---> Adder-cost: 138 maxlim: 71680 bits: 18/17 97.02 c ---[1646]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 97.03 c ---[1644]---> Adder-cost: 292 maxlim: 196608 bits: 19/18 97.08 c ---[1642]---> Adder-cost: 542 maxlim: 321536 bits: 20/19 97.16 c ---[1640]---> Adder-cost: 580 maxlim: 322560 bits: 20/19 97.25 c ---[1638]---> Adder-cost: 566 maxlim: 323584 bits: 20/19 97.33 c ---[1636]---> Adder-cost: 444 maxlim: 238592 bits: 19/18 97.39 c ---[1634]---> Adder-cost: 362 maxlim: 244736 bits: 19/18 97.45 c ---[1632]---> Adder-cost: 142 maxlim: 71680 bits: 18/17 97.47 c ---[1630]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 97.49 c ---[1628]---> Sorter-cost: 1148 Base: 2 2 2 2 2 2 2 2 2 2 7 97.50 c ---[1626]---> Adder-cost: 736 maxlim: 418816 bits: 20/19 97.61 c ---[1624]---> Adder-cost: 174 maxlim: 418816 bits: 20/19 97.71 c ---[1622]---> Adder-cost: 568 maxlim: 319488 bits: 20/19 97.79 c ---[1620]---> Adder-cost: 148 maxlim: 319488 bits: 20/19 97.88 c ---[1618]---> Adder-cost: 216 maxlim: 114688 bits: 18/17 97.91 c ---[1616]---> Adder-cost: 76 maxlim: 114688 bits: 18/17 97.94 c ---[1614]---> Adder-cost: 336 maxlim: 180224 bits: 19/18 97.98 c ---[1612]---> Adder-cost: 246 maxlim: 163840 bits: 19/18 98.03 c ---[1610]---> Adder-cost: 538 maxlim: 312320 bits: 20/19 98.11 c ---[1608]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 98.12 c ---[1606]---> Adder-cost: 154 maxlim: 312320 bits: 20/19 98.20 c ---[1604]---> Adder-cost: 164 maxlim: 86016 bits: 18/17 98.22 c ---[1602]---> Adder-cost: 110 maxlim: 59392 bits: 17/16 98.24 c ---[1600]---> Adder-cost: 584 maxlim: 385024 bits: 20/19 98.33 c ---[1598]---> Adder-cost: 164 maxlim: 385024 bits: 20/19 98.43 c ---[1596]---> Adder-cost: 238 maxlim: 132096 bits: 19/18 98.47 c ---[1594]---> Adder-cost: 90 maxlim: 132096 bits: 19/18 98.50 c ---[1592]---> Adder-cost: 234 maxlim: 152576 bits: 19/18 98.54 c ---[1590]---> Adder-cost: 94 maxlim: 152576 bits: 19/18 98.58 c ---[1588]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 98.59 c ---[1586]---> Adder-cost: 172 maxlim: 123904 bits: 18/17 98.62 c ---[1584]---> Adder-cost: 78 maxlim: 123904 bits: 18/17 98.66 c ---[1582]---> Adder-cost: 170 maxlim: 113664 bits: 18/17 98.69 c ---[1580]---> Adder-cost: 220 maxlim: 142336 bits: 19/18 98.72 c ---[1578]---> Adder-cost: 172 maxlim: 130048 bits: 18/17 98.76 c ---[1576]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 98.79 c ---[1574]---> Adder-cost: 106 maxlim: 59392 bits: 17/16 98.80 c ---[1572]---> Adder-cost: 68 maxlim: 53248 bits: 17/16 98.82 c ---[1570]---> Adder-cost: 234 maxlim: 130048 bits: 18/17 98.85 c ---[1568]---> Adder-cost: 172 maxlim: 117760 bits: 18/17 98.88 c ---[1566]---> Adder-cost: 96 maxlim: 53248 bits: 17/16 98.90 c ---[1564]---> Adder-cost: 230 maxlim: 118784 bits: 18/17 98.93 c ---[1562]---> Adder-cost: 176 maxlim: 102400 bits: 18/17 98.95 c ---[1560]---> Adder-cost: 214 maxlim: 119808 bits: 18/17 98.99 c ---[1558]---> Adder-cost: 378 maxlim: 219136 bits: 19/18 99.04 c ---[1556]---> Sorter-cost: 1248 Base: 2 2 2 2 2 2 2 2 2 2 7 99.05 c ---[1554]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 99.06 c ---[1552]---> Sorter-cost: 626 Base: 2 2 2 2 2 2 2 2 2 2 7 99.07 c ---[1550]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 99.10 c ---[1548]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 99.11 c ---[1546]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 99.13 c ---[1544]---> Adder-cost: 234 maxlim: 134144 bits: 19/18 99.16 c ---[1542]---> Adder-cost: 230 maxlim: 128000 bits: 18/17 99.19 c ---[1540]---> Adder-cost: 98 maxlim: 63488 bits: 17/16 99.21 c ---[1538]---> Adder-cost: 108 maxlim: 78848 bits: 18/17 99.23 c ---[1536]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 99.24 c ---[1534]---> Sorter-cost: 303 Base: 2 2 2 2 2 2 2 2 2 2 2 99.24 c ---[1532]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 99.25 c ---[1530]---> Adder-cost: 472 maxlim: 264192 bits: 20/19 99.32 c ---[1528]---> Adder-cost: 138 maxlim: 264192 bits: 20/19 99.39 c ---[1526]---> Adder-cost: 338 maxlim: 212992 bits: 19/18 99.44 c ---[1524]---> Adder-cost: 274 maxlim: 172032 bits: 19/18 99.48 c ---[1522]---> Adder-cost: 248 maxlim: 179200 bits: 19/18 99.53 c ---[1520]---> Adder-cost: 290 maxlim: 219136 bits: 19/18 99.58 c ---[1518]---> Adder-cost: 94 maxlim: 58368 bits: 17/16 99.60 c ---[1516]---> Adder-cost: 158 maxlim: 98304 bits: 18/17 99.62 c ---[1514]---> Adder-cost: 130 maxlim: 73728 bits: 18/17 99.65 c ---[1512]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 99.65 c ---[1510]---> Sorter-cost: 441 Base: 2 2 2 2 2 2 2 2 2 2 7 99.66 c ---[1508]---> Sorter-cost: 442 Base: 2 2 2 2 2 2 2 2 2 2 7 99.66 c ---[1506]---> Sorter-cost: 277 Base: 2 2 2 2 2 2 2 2 2 2 2 99.67 c ---[1504]---> Sorter-cost: 579 Base: 2 2 2 2 2 2 2 2 2 2 7 99.67 c ---[1502]---> Adder-cost: 358 maxlim: 203776 bits: 19/18 99.72 c ---[1500]---> Adder-cost: 110 maxlim: 203776 bits: 19/18 99.77 c ---[1498]---> Adder-cost: 220 maxlim: 114688 bits: 18/17 99.80 c ---[1496]---> Adder-cost: 346 maxlim: 182272 bits: 19/18 99.85 c ---[1494]---> Adder-cost: 76 maxlim: 114688 bits: 18/17 99.88 c ---[1492]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 99.89 c ---[1490]---> Sorter-cost: 907 Base: 2 2 2 2 2 2 2 2 2 2 7 99.90 c ---[1488]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 99.90 c ---[1486]---> Sorter-cost: 301 Base: 2 2 2 2 2 2 2 2 2 2 2 99.90 c ---[1484]---> Adder-cost: 326 maxlim: 180224 bits: 19/18 99.95 c ---[1482]---> Adder-cost: 386 maxlim: 229376 bits: 19/18 100.01 c ---[1480]---> Adder-cost: 498 maxlim: 275456 bits: 20/19 100.08 c ---[1478]---> Adder-cost: 148 maxlim: 275456 bits: 20/19 100.15 c ---[1476]---> Adder-cost: 602 maxlim: 321536 bits: 20/19 100.24 c ---[1474]---> Adder-cost: 148 maxlim: 321536 bits: 20/19 100.32 c ---[1472]---> Adder-cost: 190 maxlim: 120832 bits: 18/17 100.35 c ---[1470]---> Adder-cost: 190 maxlim: 125952 bits: 18/17 100.38 c ---[1468]---> Sorter-cost: 233 Base: 2 2 2 2 2 2 2 2 2 2 2 100.39 c ---[1466]---> Sorter-cost: 369 Base: 2 2 2 2 2 2 2 2 2 2 7 100.39 c ---[1464]---> Sorter-cost: 1166 Base: 2 2 2 2 2 2 2 2 2 2 7 100.40 c ---[1462]---> Adder-cost: 174 maxlim: 110592 bits: 18/17 100.43 c ---[1460]---> Adder-cost: 74 maxlim: 110592 bits: 18/17 100.46 c ---[1458]---> Sorter-cost: 439 Base: 2 2 2 2 2 2 2 2 2 2 7 100.46 c ---[1456]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 100.47 c ---[1454]---> Sorter-cost: 405 Base: 2 2 2 2 2 2 2 2 2 2 7 100.47 c ---[1452]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 100.48 c ---[1450]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 100.48 c ---[1448]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 100.49 c ---[1446]---> Sorter-cost: 253 Base: 2 2 2 2 2 2 2 2 2 2 2 100.49 c ---[1444]---> Sorter-cost: 431 Base: 2 2 2 2 2 2 2 2 2 2 7 100.50 c ---[1442]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 100.50 c ---[1440]---> Sorter-cost: 436 Base: 2 2 2 2 2 2 2 2 2 2 7 100.51 c ---[1438]---> Sorter-cost: 583 Base: 2 2 2 2 2 2 2 2 2 2 7 100.52 c ---[1436]---> Adder-cost: 136 maxlim: 70656 bits: 18/17 100.54 c ---[1434]---> Sorter-cost: 371 Base: 2 2 2 2 2 2 2 2 2 2 7 100.54 c ---[1432]---> Sorter-cost: 573 Base: 2 2 2 2 2 2 2 2 2 2 7 100.55 c ---[1430]---> Sorter-cost: 382 Base: 2 2 2 2 2 2 2 2 2 2 7 100.55 c ---[1428]---> Sorter-cost: 670 Base: 2 2 2 2 2 2 2 2 2 2 7 100.56 c ---[1426]---> Sorter-cost: 448 Base: 2 2 2 2 2 2 2 2 2 2 7 100.57 c ---[1424]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 100.59 c ---[1422]---> Adder-cost: 216 maxlim: 130048 bits: 18/17 100.62 c ---[1420]---> Adder-cost: 82 maxlim: 63488 bits: 17/16 100.63 c ---[1418]---> Sorter-cost: 733 Base: 2 2 2 2 2 2 2 2 2 2 7 100.64 c ---[1416]---> Sorter-cost: 396 Base: 2 2 2 2 2 2 2 2 2 2 7 100.65 c ---[1414]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 100.65 c ---[1412]---> Adder-cost: 102 maxlim: 58368 bits: 17/16 100.67 c ---[1410]---> Sorter-cost: 418 Base: 2 2 2 2 2 2 2 2 2 2 7 100.67 c ---[1408]---> Sorter-cost: 561 Base: 2 2 2 2 2 2 2 2 2 2 7 100.68 c ---[1406]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 100.69 c ---[1404]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 100.70 c ---[1402]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 100.70 c ---[1400]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 100.71 c ---[1398]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 100.72 c ---[1396]---> Adder-cost: 82 maxlim: 56320 bits: 17/16 100.73 c ---[1394]---> Sorter-cost: 572 Base: 2 2 2 2 2 2 2 2 2 2 7 100.74 c ---[1392]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 100.74 c ---[1390]---> Sorter-cost: 412 Base: 2 2 2 2 2 2 2 2 2 2 7 100.75 c ---[1388]---> Sorter-cost: 690 Base: 2 2 2 2 2 2 2 2 2 2 7 100.76 c ---[1386]---> Adder-cost: 98 maxlim: 54272 bits: 17/16 100.77 c ---[1384]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 100.77 c ---[1382]---> Sorter-cost: 371 Base: 2 2 2 2 2 2 2 2 2 2 7 100.78 c ---[1380]---> Sorter-cost: 609 Base: 2 2 2 2 2 2 2 2 2 2 7 100.79 c ---[1378]---> Adder-cost: 234 maxlim: 133120 bits: 19/18 100.82 c ---[1376]---> Adder-cost: 116 maxlim: 79872 bits: 18/17 100.84 c ---[1374]---> Sorter-cost: 391 Base: 2 2 2 2 2 2 2 2 2 2 7 100.85 c ---[1372]---> Sorter-cost: 661 Base: 2 2 2 2 2 2 2 2 2 2 7 100.86 c ---[1370]---> Adder-cost: 110 maxlim: 64512 bits: 17/16 100.87 c ---[1368]---> Sorter-cost: 622 Base: 2 2 2 2 2 2 2 2 2 2 7 100.88 c ---[1366]---> Adder-cost: 184 maxlim: 100352 bits: 18/17 100.90 c ---[1364]---> Sorter-cost: 401 Base: 2 2 2 2 2 2 2 2 2 2 7 100.91 c ---[1362]---> Sorter-cost: 1039 Base: 2 2 2 2 2 2 2 2 2 2 7 100.92 c ---[1360]---> Sorter-cost: 1221 Base: 2 2 2 2 2 2 2 2 2 2 7 100.93 c ---[1358]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 100.93 c ---[1356]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 100.94 c ---[1354]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 100.95 c ---[1352]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 100.96 c ---[1350]---> Adder-cost: 104 maxlim: 55296 bits: 17/16 100.97 c ---[1348]---> Adder-cost: 352 maxlim: 194560 bits: 19/18 101.02 c ---[1346]---> Adder-cost: 110 maxlim: 194560 bits: 19/18 101.07 c ---[1344]---> Adder-cost: 132 maxlim: 75776 bits: 18/17 101.09 c ---[1342]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 101.11 c ---[1340]---> Adder-cost: 256 maxlim: 166912 bits: 19/18 101.15 c ---[1338]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 101.16 c ---[1336]---> Sorter-cost: 427 Base: 2 2 2 2 2 2 2 2 2 2 7 101.16 c ---[1334]---> Sorter-cost: 1074 Base: 2 2 2 2 2 2 2 2 2 2 7 101.17 c ---[1332]---> Sorter-cost: 653 Base: 2 2 2 2 2 2 2 2 2 2 7 101.18 c ---[1330]---> Sorter-cost: 921 Base: 2 2 2 2 2 2 2 2 2 2 7 101.19 c ---[1328]---> Adder-cost: 110 maxlim: 58368 bits: 17/16 101.20 c ---[1326]---> Sorter-cost: 919 Base: 2 2 2 2 2 2 2 2 2 2 7 101.21 c ---[1324]---> Adder-cost: 114 maxlim: 60416 bits: 17/16 101.23 c ---[1322]---> Adder-cost: 110 maxlim: 60416 bits: 17/16 101.24 c ---[1320]---> Adder-cost: 150 maxlim: 73728 bits: 18/17 101.26 c ---[1318]---> Adder-cost: 102 maxlim: 64512 bits: 17/16 101.28 c ---[1316]---> Sorter-cost: 1303 Base: 2 2 2 2 2 2 2 2 2 2 7 101.29 c ---[1314]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 101.30 c ---[1312]---> Adder-cost: 288 maxlim: 151552 bits: 19/18 101.34 c ---[1310]---> Adder-cost: 252 maxlim: 143360 bits: 19/18 101.38 c ---[1308]---> Adder-cost: 252 maxlim: 137216 bits: 19/18 101.41 c ---[1306]---> Adder-cost: 194 maxlim: 137216 bits: 19/18 101.45 c ---[1304]---> Adder-cost: 176 maxlim: 97280 bits: 18/17 101.47 c ---[1302]---> Adder-cost: 114 maxlim: 68608 bits: 18/17 101.49 c ---[1300]---> Adder-cost: 146 maxlim: 88064 bits: 18/17 101.51 c ---[1298]---> Adder-cost: 152 maxlim: 102400 bits: 18/17 101.54 c ---[1296]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 101.54 c ---[1294]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 101.55 c ---[1292]---> Sorter-cost: 653 Base: 2 2 2 2 2 2 2 2 2 2 7 101.56 c ---[1290]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 101.57 c ---[1288]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 101.57 c ---[1286]---> Adder-cost: 564 maxlim: 310272 bits: 20/19 101.65 c ---[1284]---> Adder-cost: 424 maxlim: 314368 bits: 20/19 101.73 c ---[1282]---> Sorter-cost: 863 Base: 2 2 2 2 2 2 2 2 2 2 7 101.74 c ---[1280]---> Adder-cost: 280 maxlim: 171008 bits: 19/18 101.78 c ---[1278]---> Adder-cost: 232 maxlim: 149504 bits: 19/18 101.82 c ---[1276]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 101.83 c ---[1274]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 101.83 c ---[1272]---> Adder-cost: 182 maxlim: 98304 bits: 18/17 101.86 c ---[1270]---> Adder-cost: 100 maxlim: 53248 bits: 17/16 101.87 c ---[1268]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 101.88 c ---[1266]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 101.89 c ---[1264]---> Adder-cost: 90 maxlim: 59392 bits: 17/16 101.90 c ---[1262]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 101.92 c ---[1260]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 101.92 c ---[1258]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 101.93 c ---[1256]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 101.94 c ---[1254]---> Adder-cost: 174 maxlim: 96256 bits: 18/17 101.97 c ---[1252]---> Adder-cost: 68 maxlim: 96256 bits: 18/17 101.99 c ---[1250]---> Adder-cost: 196 maxlim: 102400 bits: 18/17 102.02 c ---[1248]---> Adder-cost: 76 maxlim: 102400 bits: 18/17 102.04 c ---[1246]---> Adder-cost: 254 maxlim: 136192 bits: 19/18 102.08 c ---[1244]---> Adder-cost: 88 maxlim: 136192 bits: 19/18 102.11 c ---[1242]---> Adder-cost: 198 maxlim: 113664 bits: 18/17 102.14 c ---[1240]---> Adder-cost: 72 maxlim: 113664 bits: 18/17 102.17 c ---[1238]---> Adder-cost: 72 maxlim: 113664 bits: 18/17 102.20 c ---[1236]---> Adder-cost: 72 maxlim: 113664 bits: 18/17 102.23 c ---[1234]---> Sorter-cost: 687 Base: 2 2 2 2 2 2 2 2 2 2 7 102.24 c ---[1232]---> Adder-cost: 212 maxlim: 126976 bits: 18/17 102.27 c ---[1230]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 102.28 c ---[1228]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 102.28 c ---[1226]---> Sorter-cost: 597 Base: 2 2 2 2 2 2 2 2 2 2 7 102.29 c ---[1224]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 102.30 c ---[1222]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 102.30 c ---[1220]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 102.31 c ---[1218]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 102.31 c ---[1216]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 102.32 c ---[1214]---> Adder-cost: 118 maxlim: 61440 bits: 17/16 102.33 c ---[1212]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 102.34 c ---[1210]---> Adder-cost: 102 maxlim: 58368 bits: 17/16 102.36 c ---[1208]---> Sorter-cost: 680 Base: 2 2 2 2 2 2 2 2 2 2 7 102.36 c ---[1206]---> Sorter-cost: 959 Base: 2 2 2 2 2 2 2 2 2 2 7 102.37 c ---[1204]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 102.39 c ---[1202]---> Sorter-cost: 1083 Base: 2 2 2 2 2 2 2 2 2 2 7 102.40 c ---[1200]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 102.41 c ---[1198]---> Sorter-cost: 666 Base: 2 2 2 2 2 2 2 2 2 2 7 102.41 c ---[1196]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 102.42 c ---[1194]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 102.43 c ---[1192]---> Sorter-cost: 959 Base: 2 2 2 2 2 2 2 2 2 2 7 102.44 c ---[1190]---> Sorter-cost: 765 Base: 2 2 2 2 2 2 2 2 2 2 7 102.44 c ---[1188]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 102.45 c ---[1186]---> Sorter-cost: 941 Base: 2 2 2 2 2 2 2 2 2 2 7 102.46 c ---[1184]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 102.47 c ---[1182]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 102.48 c ---[1180]---> Adder-cost: 224 maxlim: 133120 bits: 19/18 102.52 c ---[1178]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 102.52 c ---[1176]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 102.53 c ---[1174]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 102.54 c ---[1172]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 102.54 c ---[1170]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 102.54 c ---[1168]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 102.55 c ---[1166]---> Sorter-cost: 1125 Base: 2 2 2 2 2 2 2 2 2 2 7 102.56 c ---[1164]---> Sorter-cost: 1040 Base: 2 2 2 2 2 2 2 2 2 2 7 102.57 c ---[1162]---> Sorter-cost: 941 Base: 2 2 2 2 2 2 2 2 2 2 7 102.58 c ---[1160]---> Sorter-cost: 921 Base: 2 2 2 2 2 2 2 2 2 2 7 102.59 c ---[1158]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 102.60 c ---[1156]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 102.61 c ---[1154]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 102.62 c ---[1152]---> Sorter-cost: 925 Base: 2 2 2 2 2 2 2 2 2 2 7 102.63 c ---[1150]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 102.63 c ---[1148]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 102.64 c ---[1146]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 102.65 c ---[1144]---> Sorter-cost: 303 Base: 2 2 2 2 2 2 2 2 2 2 2 102.65 c ---[1142]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 102.66 c ---[1140]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 102.66 c ---[1138]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 102.66 c ---[1136]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 102.67 c ---[1134]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 102.68 c ---[1132]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 102.68 c ---[1130]---> Sorter-cost: 1121 Base: 2 2 2 2 2 2 2 2 2 2 7 102.69 c ---[1128]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 102.70 c ---[1126]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 102.71 c ---[1124]---> Sorter-cost: 1145 Base: 2 2 2 2 2 2 2 2 2 2 7 102.72 c ---[1122]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 102.73 c ---[1120]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 102.74 c ---[1118]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 102.76 c ---[1116]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 102.76 c ---[1114]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 102.77 c ---[1112]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 102.77 c ---[1110]---> Adder-cost: 216 maxlim: 116736 bits: 18/17 102.80 c ---[1108]---> Adder-cost: 170 maxlim: 104448 bits: 18/17 102.83 c ---[1106]---> Adder-cost: 296 maxlim: 155648 bits: 19/18 102.87 c ---[1104]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 102.88 c ---[1102]---> Adder-cost: 166 maxlim: 87040 bits: 18/17 102.91 c ---[1100]---> Adder-cost: 66 maxlim: 87040 bits: 18/17 102.93 c ---[1098]---> Adder-cost: 186 maxlim: 95232 bits: 18/17 102.95 c ---[1096]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 102.98 c ---[1094]---> Adder-cost: 70 maxlim: 95232 bits: 18/17 103.00 c ---[1092]---> Adder-cost: 130 maxlim: 66560 bits: 18/17 103.02 c ---[1090]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 103.03 c ---[1088]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 103.05 c ---[1086]---> Adder-cost: 130 maxlim: 79872 bits: 18/17 103.07 c ---[1084]---> Adder-cost: 132 maxlim: 75776 bits: 18/17 103.09 c ---[1082]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 103.11 c ---[1080]---> Sorter-cost: 1024 Base: 2 2 2 2 2 2 2 2 2 2 7 103.12 c ---[1078]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 103.13 c ---[1076]---> Sorter-cost: 913 Base: 2 2 2 2 2 2 2 2 2 2 7 103.14 c ---[1074]---> Sorter-cost: 410 Base: 2 2 2 2 2 2 2 2 2 2 7 103.15 c ---[1072]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 103.15 c ---[1070]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 103.16 c ---[1068]---> Sorter-cost: 333 Base: 2 2 2 2 2 2 2 2 2 2 7 103.16 c ---[1066]---> Sorter-cost: 395 Base: 2 2 2 2 2 2 2 2 2 2 7 103.17 c ---[1064]---> Sorter-cost: 634 Base: 2 2 2 2 2 2 2 2 2 2 7 103.17 c ---[1062]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 103.18 c ---[1060]---> Sorter-cost: 569 Base: 2 2 2 2 2 2 2 2 2 2 7 103.19 c ---[1058]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 103.19 c ---[1056]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 103.20 c ---[1054]---> Sorter-cost: 539 Base: 2 2 2 2 2 2 2 2 2 2 7 103.21 c ---[1052]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 103.21 c ---[1050]---> Sorter-cost: 422 Base: 2 2 2 2 2 2 2 2 2 2 7 103.22 c ---[1048]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 103.23 c ---[1046]---> Adder-cost: 222 maxlim: 114688 bits: 18/17 103.26 c ---[1044]---> Adder-cost: 76 maxlim: 114688 bits: 18/17 103.28 c ---[1042]---> Adder-cost: 180 maxlim: 112640 bits: 18/17 103.31 c ---[1040]---> Adder-cost: 74 maxlim: 112640 bits: 18/17 103.34 c ---[1038]---> Adder-cost: 182 maxlim: 96256 bits: 18/17 103.37 c ---[1036]---> Adder-cost: 216 maxlim: 116736 bits: 18/17 103.40 c ---[1034]---> Adder-cost: 162 maxlim: 115712 bits: 18/17 103.43 c ---[1032]---> Adder-cost: 148 maxlim: 78848 bits: 18/17 103.45 c ---[1030]---> Adder-cost: 136 maxlim: 71680 bits: 18/17 103.47 c ---[1028]---> Adder-cost: 170 maxlim: 83968 bits: 18/17 103.49 c ---[1026]---> Adder-cost: 68 maxlim: 83968 bits: 18/17 103.51 c ---[1024]---> Sorter-cost: 1081 Base: 2 2 2 2 2 2 2 2 2 2 7 103.52 c ---[1022]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 103.53 c ---[1020]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 103.54 c ---[1018]---> Sorter-cost: 386 Base: 2 2 2 2 2 2 2 2 2 2 7 103.54 c ---[1016]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 103.55 c ---[1014]---> Adder-cost: 148 maxlim: 74752 bits: 18/17 103.57 c ---[1012]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 103.59 c ---[1010]---> Sorter-cost: 630 Base: 2 2 2 2 2 2 2 2 2 2 7 103.60 c ---[1008]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 103.61 c ---[1006]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 103.62 c ---[1004]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 103.62 c ---[1002]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 103.63 c ---[1000]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 103.64 c ---[ 998]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 103.65 c ---[ 996]---> Sorter-cost: 1131 Base: 2 2 2 2 2 2 2 2 2 2 7 103.66 c ---[ 994]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 103.67 c ---[ 992]---> Sorter-cost: 428 Base: 2 2 2 2 2 2 2 2 2 2 7 103.68 c ---[ 990]---> Adder-cost: 170 maxlim: 86016 bits: 18/17 103.70 c ---[ 988]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 103.73 c ---[ 986]---> Sorter-cost: 1080 Base: 2 2 2 2 2 2 2 2 2 2 7 103.74 c ---[ 984]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 103.75 c ---[ 982]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 103.76 c ---[ 980]---> Sorter-cost: 863 Base: 2 2 2 2 2 2 2 2 2 2 7 103.76 c ---[ 978]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 103.77 c ---[ 976]---> Sorter-cost: 481 Base: 2 2 2 2 2 2 2 2 2 2 7 103.78 c ---[ 974]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 103.78 c ---[ 972]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 103.79 c ---[ 970]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 103.80 c ---[ 968]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 103.80 c ---[ 966]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 103.81 c ---[ 964]---> Sorter-cost: 340 Base: 2 2 2 2 2 2 2 2 2 2 7 103.81 c ---[ 962]---> Sorter-cost: 398 Base: 2 2 2 2 2 2 2 2 2 2 7 103.82 c ---[ 960]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 103.83 c ---[ 958]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 103.83 c ---[ 956]---> Adder-cost: 186 maxlim: 96256 bits: 18/17 103.86 c ---[ 954]---> Adder-cost: 68 maxlim: 96256 bits: 18/17 103.88 c ---[ 952]---> Adder-cost: 268 maxlim: 145408 bits: 19/18 103.92 c ---[ 950]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 103.96 c ---[ 948]---> Sorter-cost: 935 Base: 2 2 2 2 2 2 2 2 2 2 7 103.97 c ---[ 946]---> Sorter-cost: 949 Base: 2 2 2 2 2 2 2 2 2 2 7 103.98 c ---[ 944]---> Adder-cost: 116 maxlim: 63488 bits: 17/16 103.99 c ---[ 942]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 104.01 c ---[ 940]---> Adder-cost: 134 maxlim: 66560 bits: 18/17 104.02 c ---[ 938]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 104.04 c ---[ 936]---> Adder-cost: 124 maxlim: 70656 bits: 18/17 104.06 c ---[ 934]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 104.08 c ---[ 932]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 104.10 c ---[ 930]---> Adder-cost: 136 maxlim: 75776 bits: 18/17 104.12 c ---[ 928]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 104.14 c ---[ 926]---> Sorter-cost: 690 Base: 2 2 2 2 2 2 2 2 2 2 7 104.15 c ---[ 924]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 104.16 c ---[ 922]---> Sorter-cost: 683 Base: 2 2 2 2 2 2 2 2 2 2 7 104.16 c ---[ 920]---> Adder-cost: 252 maxlim: 140288 bits: 19/18 104.20 c ---[ 918]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 104.21 c ---[ 916]---> Adder-cost: 108 maxlim: 55296 bits: 17/16 104.22 c ---[ 914]---> Adder-cost: 84 maxlim: 52224 bits: 17/16 104.23 c ---[ 912]---> Adder-cost: 344 maxlim: 181248 bits: 19/18 104.28 c ---[ 910]---> Adder-cost: 194 maxlim: 107520 bits: 18/17 104.31 c ---[ 908]---> Adder-cost: 78 maxlim: 107520 bits: 18/17 104.33 c ---[ 906]---> Adder-cost: 120 maxlim: 63488 bits: 17/16 104.35 c ---[ 904]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 104.36 c ---[ 902]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 104.38 c ---[ 900]---> Adder-cost: 120 maxlim: 61440 bits: 17/16 104.39 c ---[ 898]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 104.41 c ---[ 896]---> Adder-cost: 170 maxlim: 97280 bits: 18/17 104.43 c ---[ 894]---> Adder-cost: 64 maxlim: 97280 bits: 18/17 104.46 c ---[ 892]---> Sorter-cost: 315 Base: 2 2 2 2 2 2 2 2 2 2 2 104.46 c ---[ 890]---> Adder-cost: 310 maxlim: 171008 bits: 19/18 104.51 c ---[ 888]---> Sorter-cost: 1184 Base: 2 2 2 2 2 2 2 2 2 2 7 104.52 c ---[ 886]---> Adder-cost: 114 maxlim: 60416 bits: 17/16 104.53 c ---[ 884]---> Adder-cost: 100 maxlim: 60416 bits: 17/16 104.55 c ---[ 882]---> Adder-cost: 206 maxlim: 113664 bits: 18/17 104.57 c ---[ 880]---> Adder-cost: 72 maxlim: 113664 bits: 18/17 104.60 c ---[ 878]---> Adder-cost: 142 maxlim: 71680 bits: 18/17 104.62 c ---[ 876]---> Adder-cost: 136 maxlim: 86016 bits: 18/17 104.65 c ---[ 874]---> Adder-cost: 180 maxlim: 103424 bits: 18/17 104.67 c ---[ 872]---> Adder-cost: 76 maxlim: 103424 bits: 18/17 104.70 c ---[ 870]---> Adder-cost: 76 maxlim: 103424 bits: 18/17 104.73 c ---[ 868]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 104.73 c ---[ 866]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 104.74 c ---[ 864]---> Sorter-cost: 1188 Base: 2 2 2 2 2 2 2 2 2 2 7 104.75 c ---[ 862]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 104.76 c ---[ 860]---> Sorter-cost: 1095 Base: 2 2 2 2 2 2 2 2 2 2 7 104.77 c ---[ 858]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 104.78 c ---[ 856]---> Adder-cost: 270 maxlim: 143360 bits: 19/18 104.82 c ---[ 854]---> Sorter-cost: 1190 Base: 2 2 2 2 2 2 2 2 2 2 7 104.83 c ---[ 852]---> Sorter-cost: 1068 Base: 2 2 2 2 2 2 2 2 2 2 7 104.84 c ---[ 850]---> Sorter-cost: 548 Base: 2 2 2 2 2 2 2 2 2 2 7 104.85 c ---[ 848]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 104.86 c ---[ 846]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 104.87 c ---[ 844]---> Sorter-cost: 1123 Base: 2 2 2 2 2 2 2 2 2 2 7 104.88 c ---[ 842]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 104.89 c ---[ 840]---> Adder-cost: 108 maxlim: 62464 bits: 17/16 104.90 c ---[ 838]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 104.91 c ---[ 836]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 104.92 c ---[ 834]---> Adder-cost: 154 maxlim: 95232 bits: 18/17 104.94 c ---[ 832]---> Sorter-cost: 1168 Base: 2 2 2 2 2 2 2 2 2 2 7 104.95 c ---[ 830]---> Sorter-cost: 950 Base: 2 2 2 2 2 2 2 2 2 2 7 104.96 c ---[ 828]---> Adder-cost: 190 maxlim: 103424 bits: 18/17 104.99 c ---[ 826]---> Adder-cost: 76 maxlim: 103424 bits: 18/17 105.02 c ---[ 824]---> Adder-cost: 76 maxlim: 103424 bits: 18/17 105.04 c ---[ 822]---> Sorter-cost: 1183 Base: 2 2 2 2 2 2 2 2 2 2 7 105.05 c ---[ 820]---> Sorter-cost: 588 Base: 2 2 2 2 2 2 2 2 2 2 7 105.06 c ---[ 818]---> Adder-cost: 176 maxlim: 90112 bits: 18/17 105.08 c ---[ 816]---> Adder-cost: 106 maxlim: 55296 bits: 17/16 105.10 c ---[ 814]---> Adder-cost: 100 maxlim: 60416 bits: 17/16 105.11 c ---[ 812]---> Adder-cost: 138 maxlim: 69632 bits: 18/17 105.13 c ---[ 810]---> Adder-cost: 62 maxlim: 69632 bits: 18/17 105.15 c ---[ 808]---> Adder-cost: 120 maxlim: 70656 bits: 18/17 105.17 c ---[ 806]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 105.19 c ---[ 804]---> Sorter-cost: 489 Base: 2 2 2 2 2 2 2 2 2 2 7 105.20 c ---[ 802]---> Sorter-cost: 1243 Base: 2 2 2 2 2 2 2 2 2 2 7 105.21 c ---[ 800]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 105.22 c ---[ 798]---> Adder-cost: 102 maxlim: 54272 bits: 17/16 105.23 c ---[ 796]---> Sorter-cost: 969 Base: 2 2 2 2 2 2 2 2 2 2 7 105.24 c ---[ 794]---> Sorter-cost: 1217 Base: 2 2 2 2 2 2 2 2 2 2 7 105.25 c ---[ 792]---> Adder-cost: 98 maxlim: 54272 bits: 17/16 105.27 c ---[ 790]---> Sorter-cost: 527 Base: 2 2 2 2 2 2 2 2 2 2 7 105.27 c ---[ 788]---> Adder-cost: 180 maxlim: 104448 bits: 18/17 105.30 c ---[ 786]---> Sorter-cost: 592 Base: 2 2 2 2 2 2 2 2 2 2 7 105.31 c ---[ 784]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 105.31 c ---[ 782]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 105.32 c ---[ 780]---> Adder-cost: 424 maxlim: 242688 bits: 19/18 105.38 c ---[ 778]---> Adder-cost: 316 maxlim: 239616 bits: 19/18 105.44 c ---[ 776]---> Adder-cost: 166 maxlim: 97280 bits: 18/17 105.46 c ---[ 774]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 105.47 c ---[ 772]---> Adder-cost: 138 maxlim: 86016 bits: 18/17 105.49 c ---[ 770]---> Adder-cost: 120 maxlim: 89088 bits: 18/17 105.52 c ---[ 768]---> Sorter-cost: 441 Base: 2 2 2 2 2 2 2 2 2 2 7 105.52 c ---[ 766]---> Sorter-cost: 257 Base: 2 2 2 2 2 2 2 2 2 2 2 105.52 c ---[ 764]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 105.53 c ---[ 762]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 105.53 c ---[ 760]---> Sorter-cost: 443 Base: 2 2 2 2 2 2 2 2 2 2 7 105.54 c ---[ 758]---> Sorter-cost: 655 Base: 2 2 2 2 2 2 2 2 2 2 7 105.54 c ---[ 756]---> Sorter-cost: 993 Base: 2 2 2 2 2 2 2 2 2 2 7 105.55 c ---[ 754]---> Sorter-cost: 540 Base: 2 2 2 2 2 2 2 2 2 2 7 105.56 c ---[ 752]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 105.57 c ---[ 750]---> Sorter-cost: 311 Base: 2 2 2 2 2 2 2 2 2 2 2 105.57 c ---[ 748]---> Adder-cost: 174 maxlim: 94208 bits: 18/17 105.59 c ---[ 746]---> Adder-cost: 142 maxlim: 77824 bits: 18/17 105.62 c ---[ 744]---> Adder-cost: 224 maxlim: 120832 bits: 18/17 105.65 c ---[ 742]---> Adder-cost: 214 maxlim: 123904 bits: 18/17 105.68 c ---[ 740]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 2 2 2 2 7 105.69 c ---[ 738]---> Adder-cost: 254 maxlim: 135168 bits: 19/18 105.72 c ---[ 736]---> Adder-cost: 112 maxlim: 63488 bits: 17/16 105.74 c ---[ 734]---> Adder-cost: 140 maxlim: 71680 bits: 18/17 105.76 c ---[ 732]---> Adder-cost: 88 maxlim: 80896 bits: 18/17 105.78 c ---[ 730]---> Adder-cost: 92 maxlim: 76800 bits: 18/17 105.80 c ---[ 728]---> Adder-cost: 202 maxlim: 131072 bits: 19/18 105.83 c ---[ 726]---> Adder-cost: 90 maxlim: 131072 bits: 19/18 105.87 c ---[ 724]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 105.88 c ---[ 722]---> Adder-cost: 136 maxlim: 65536 bits: 18/17 105.90 c ---[ 720]---> Sorter-cost: 1177 Base: 2 2 2 2 2 2 2 2 2 2 7 105.91 c ---[ 718]---> Adder-cost: 146 maxlim: 73728 bits: 18/17 105.93 c ---[ 716]---> Adder-cost: 62 maxlim: 73728 bits: 18/17 105.95 c ---[ 714]---> Adder-cost: 62 maxlim: 73728 bits: 18/17 105.97 c ---[ 712]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 105.97 c ---[ 710]---> Adder-cost: 108 maxlim: 58368 bits: 17/16 105.99 c ---[ 708]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 106.00 c ---[ 706]---> Adder-cost: 110 maxlim: 62464 bits: 17/16 106.02 c ---[ 704]---> Sorter-cost: 313 Base: 2 2 2 2 2 2 2 2 2 2 2 106.02 c ---[ 702]---> Sorter-cost: 361 Base: 2 2 2 2 2 2 2 2 2 2 7 106.03 c ---[ 700]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 106.04 c ---[ 698]---> Adder-cost: 158 maxlim: 83968 bits: 18/17 106.06 c ---[ 696]---> Adder-cost: 162 maxlim: 97280 bits: 18/17 106.08 c ---[ 694]---> Adder-cost: 64 maxlim: 97280 bits: 18/17 106.11 c ---[ 692]---> Adder-cost: 64 maxlim: 97280 bits: 18/17 106.13 c ---[ 690]---> Adder-cost: 64 maxlim: 97280 bits: 18/17 106.16 c ---[ 688]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 106.17 c ---[ 686]---> Adder-cost: 132 maxlim: 70656 bits: 18/17 106.19 c ---[ 684]---> Adder-cost: 60 maxlim: 70656 bits: 18/17 106.21 c ---[ 682]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 106.22 c ---[ 680]---> Adder-cost: 144 maxlim: 77824 bits: 18/17 106.24 c ---[ 678]---> Adder-cost: 108 maxlim: 63488 bits: 17/16 106.25 c ---[ 676]---> Sorter-cost: 401 Base: 2 2 2 2 2 2 2 2 2 2 7 106.26 c ---[ 674]---> Sorter-cost: 1067 Base: 2 2 2 2 2 2 2 2 2 2 7 106.27 c ---[ 672]---> Adder-cost: 144 maxlim: 76800 bits: 18/17 106.29 c ---[ 670]---> Adder-cost: 190 maxlim: 104448 bits: 18/17 106.32 c ---[ 668]---> Adder-cost: 74 maxlim: 104448 bits: 18/17 106.34 c ---[ 666]---> Adder-cost: 134 maxlim: 69632 bits: 18/17 106.36 c ---[ 664]---> Adder-cost: 160 maxlim: 82944 bits: 18/17 106.38 c ---[ 662]---> Adder-cost: 104 maxlim: 53248 bits: 17/16 106.40 c ---[ 660]---> Sorter-cost: 1046 Base: 2 2 2 2 2 2 2 2 2 2 7 106.41 c ---[ 658]---> Sorter-cost: 1254 Base: 2 2 2 2 2 2 2 2 2 2 7 106.42 c ---[ 656]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 106.43 c ---[ 654]---> Sorter-cost: 556 Base: 2 2 2 2 2 2 2 2 2 2 7 106.43 c ---[ 652]---> Sorter-cost: 1050 Base: 2 2 2 2 2 2 2 2 2 2 7 106.44 c ---[ 650]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 106.45 c ---[ 648]---> Adder-cost: 106 maxlim: 54272 bits: 17/16 106.47 c ---[ 646]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 106.48 c ---[ 644]---> Adder-cost: 160 maxlim: 93184 bits: 18/17 106.50 c ---[ 642]---> Adder-cost: 114 maxlim: 61440 bits: 17/16 106.51 c ---[ 640]---> Adder-cost: 156 maxlim: 130048 bits: 18/17 106.55 c ---[ 638]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 106.55 c ---[ 636]---> Adder-cost: 112 maxlim: 57344 bits: 17/16 106.57 c ---[ 634]---> Adder-cost: 146 maxlim: 78848 bits: 18/17 106.59 c ---[ 632]---> Adder-cost: 182 maxlim: 98304 bits: 18/17 106.62 c ---[ 630]---> Adder-cost: 144 maxlim: 98304 bits: 18/17 106.64 c ---[ 628]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 106.67 c ---[ 626]---> Adder-cost: 214 maxlim: 132096 bits: 19/18 106.70 c ---[ 624]---> Adder-cost: 200 maxlim: 121856 bits: 18/17 106.73 c ---[ 622]---> Sorter-cost: 906 Base: 2 2 2 2 2 2 2 2 2 2 7 106.74 c ---[ 620]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 106.75 c ---[ 618]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 106.76 c ---[ 616]---> Sorter-cost: 410 Base: 2 2 2 2 2 2 2 2 2 2 7 106.76 c ---[ 614]---> Sorter-cost: 961 Base: 2 2 2 2 2 2 2 2 2 2 7 106.77 c ---[ 612]---> Adder-cost: 132 maxlim: 73728 bits: 18/17 106.79 c ---[ 610]---> Adder-cost: 62 maxlim: 73728 bits: 18/17 106.81 c ---[ 608]---> Adder-cost: 64 maxlim: 93184 bits: 18/17 106.84 c ---[ 606]---> Adder-cost: 190 maxlim: 104448 bits: 18/17 106.86 c ---[ 604]---> Adder-cost: 74 maxlim: 104448 bits: 18/17 106.89 c ---[ 602]---> Adder-cost: 74 maxlim: 104448 bits: 18/17 106.92 c ---[ 600]---> Adder-cost: 120 maxlim: 70656 bits: 18/17 106.94 c ---[ 598]---> Sorter-cost: 448 Base: 2 2 2 2 2 2 2 2 2 2 7 106.94 c ---[ 596]---> Sorter-cost: 365 Base: 2 2 2 2 2 2 2 2 2 2 7 106.95 c ---[ 594]---> Adder-cost: 104 maxlim: 95232 bits: 18/17 106.97 c ---[ 592]---> Sorter-cost: 426 Base: 2 2 2 2 2 2 2 2 2 2 7 106.98 c ---[ 590]---> Sorter-cost: 919 Base: 2 2 2 2 2 2 2 2 2 2 7 106.99 c ---[ 588]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 107.00 c ---[ 586]---> Adder-cost: 128 maxlim: 67584 bits: 18/17 107.01 c ---[ 584]---> Adder-cost: 122 maxlim: 65536 bits: 18/17 107.03 c ---[ 582]---> Adder-cost: 56 maxlim: 56320 bits: 17/16 107.05 c ---[ 580]---> Adder-cost: 98 maxlim: 56320 bits: 17/16 107.06 c ---[ 578]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 107.06 c ---[ 576]---> Adder-cost: 136 maxlim: 77824 bits: 18/17 107.08 c ---[ 574]---> Sorter-cost: 657 Base: 2 2 2 2 2 2 2 2 2 2 7 107.09 c ---[ 572]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 107.10 c ---[ 570]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 107.12 c ---[ 568]---> Adder-cost: 212 maxlim: 126976 bits: 18/17 107.15 c ---[ 566]---> Adder-cost: 114 maxlim: 58368 bits: 17/16 107.16 c ---[ 564]---> Adder-cost: 128 maxlim: 72704 bits: 18/17 107.18 c ---[ 562]---> Adder-cost: 134 maxlim: 68608 bits: 18/17 107.20 c ---[ 560]---> Adder-cost: 112 maxlim: 59392 bits: 17/16 107.21 c ---[ 558]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 107.23 c ---[ 556]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 107.24 c ---[ 554]---> Adder-cost: 164 maxlim: 95232 bits: 18/17 107.27 c ---[ 552]---> Adder-cost: 148 maxlim: 88064 bits: 18/17 107.29 c ---[ 550]---> Adder-cost: 186 maxlim: 128000 bits: 18/17 107.32 c ---[ 548]---> Adder-cost: 138 maxlim: 99328 bits: 18/17 107.35 c ---[ 546]---> Sorter-cost: 1020 Base: 2 2 2 2 2 2 2 2 2 2 7 107.36 c ---[ 544]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 107.37 c ---[ 542]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 107.38 c ---[ 540]---> Adder-cost: 150 maxlim: 79872 bits: 18/17 107.40 c ---[ 538]---> Adder-cost: 198 maxlim: 111616 bits: 18/17 107.43 c ---[ 536]---> Adder-cost: 196 maxlim: 109568 bits: 18/17 107.46 c ---[ 534]---> Adder-cost: 226 maxlim: 125952 bits: 18/17 107.49 c ---[ 532]---> Adder-cost: 156 maxlim: 100352 bits: 18/17 107.52 c ---[ 530]---> Adder-cost: 194 maxlim: 132096 bits: 19/18 107.55 c ---[ 528]---> Adder-cost: 132 maxlim: 71680 bits: 18/17 107.57 c ---[ 526]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 107.58 c ---[ 524]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 107.59 c ---[ 522]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 107.59 c ---[ 520]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 107.60 c ---[ 518]---> Adder-cost: 62 maxlim: 76800 bits: 18/17 107.62 c ---[ 516]---> Adder-cost: 110 maxlim: 109568 bits: 18/17 107.64 c ---[ 514]---> Sorter-cost: 315 Base: 2 2 2 2 2 2 2 2 2 2 2 107.65 c ---[ 512]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 107.65 c ---[ 510]---> Sorter-cost: 255 Base: 2 2 2 2 2 2 2 2 2 2 2 107.66 c ---[ 508]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 107.66 c ---[ 506]---> Sorter-cost: 263 Base: 2 2 2 2 2 2 2 2 2 2 2 107.66 c ---[ 504]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 107.67 c ---[ 502]---> Sorter-cost: 261 Base: 2 2 2 2 2 2 2 2 2 2 2 107.67 c ---[ 500]---> Adder-cost: 178 maxlim: 101376 bits: 18/17 107.70 c ---[ 498]---> Sorter-cost: 892 Base: 2 2 2 2 2 2 2 2 2 2 7 107.70 c ---[ 496]---> Sorter-cost: 678 Base: 2 2 2 2 2 2 2 2 2 2 7 107.71 c ---[ 494]---> Sorter-cost: 307 Base: 2 2 2 2 2 2 2 2 2 2 2 107.72 c ---[ 492]---> Adder-cost: 120 maxlim: 68608 bits: 18/17 107.73 c ---[ 490]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 107.76 c ---[ 488]---> Adder-cost: 228 maxlim: 135168 bits: 19/18 107.80 c ---[ 486]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 107.80 c ---[ 484]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 107.81 c ---[ 482]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 107.82 c ---[ 480]---> Sorter-cost: 908 Base: 2 2 2 2 2 2 2 2 2 2 7 107.83 c ---[ 478]---> Adder-cost: 104 maxlim: 58368 bits: 17/16 107.84 c ---[ 476]---> Adder-cost: 108 maxlim: 59392 bits: 17/16 107.86 c ---[ 474]---> Adder-cost: 50 maxlim: 59392 bits: 17/16 107.87 c ---[ 472]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 107.90 c ---[ 470]---> Adder-cost: 68 maxlim: 60416 bits: 17/16 107.91 c ---[ 468]---> Adder-cost: 106 maxlim: 56320 bits: 17/16 107.93 c ---[ 466]---> Sorter-cost: 1299 Base: 2 2 2 2 2 2 2 2 2 2 7 107.94 c ---[ 464]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 107.95 c ---[ 462]---> Adder-cost: 46 maxlim: 56320 bits: 17/16 107.96 c ---[ 460]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 107.97 c ---[ 458]---> Adder-cost: 136 maxlim: 81920 bits: 18/17 108.00 c ---[ 456]---> Adder-cost: 168 maxlim: 92160 bits: 18/17 108.02 c ---[ 454]---> Adder-cost: 180 maxlim: 96256 bits: 18/17 108.05 c ---[ 452]---> Adder-cost: 68 maxlim: 96256 bits: 18/17 108.07 c ---[ 450]---> Adder-cost: 100 maxlim: 52224 bits: 17/16 108.08 c ---[ 448]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 108.10 c ---[ 446]---> Adder-cost: 134 maxlim: 67584 bits: 18/17 108.12 c ---[ 444]---> Adder-cost: 328 maxlim: 181248 bits: 19/18 108.16 c ---[ 442]---> Adder-cost: 106 maxlim: 181248 bits: 19/18 108.20 c ---[ 440]---> Adder-cost: 136 maxlim: 80896 bits: 18/17 108.23 c ---[ 438]---> Sorter-cost: 961 Base: 2 2 2 2 2 2 2 2 2 2 7 108.24 c ---[ 436]---> Adder-cost: 114 maxlim: 61440 bits: 17/16 108.25 c ---[ 434]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 108.26 c ---[ 432]---> Sorter-cost: 1055 Base: 2 2 2 2 2 2 2 2 2 2 7 108.27 c ---[ 430]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 108.28 c ---[ 428]---> Adder-cost: 236 maxlim: 135168 bits: 19/18 108.32 c ---[ 426]---> Sorter-cost: 1016 Base: 2 2 2 2 2 2 2 2 2 2 7 108.33 c ---[ 424]---> Adder-cost: 394 maxlim: 253952 bits: 19/18 108.39 c ---[ 422]---> Adder-cost: 132 maxlim: 253952 bits: 19/18 108.46 c ---[ 420]---> Adder-cost: 96 maxlim: 55296 bits: 17/16 108.47 c ---[ 418]---> Sorter-cost: 311 Base: 2 2 2 2 2 2 2 2 2 2 2 108.47 c ---[ 416]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 108.48 c ---[ 414]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 108.48 c ---[ 412]---> Adder-cost: 174 maxlim: 110592 bits: 18/17 108.51 c ---[ 410]---> Adder-cost: 178 maxlim: 97280 bits: 18/17 108.54 c ---[ 408]---> Adder-cost: 122 maxlim: 61440 bits: 17/16 108.55 c ---[ 406]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 108.56 c ---[ 404]---> Adder-cost: 80 maxlim: 57344 bits: 17/16 108.58 c ---[ 402]---> Adder-cost: 64 maxlim: 58368 bits: 17/16 108.59 c ---[ 400]---> Sorter-cost: 1255 Base: 2 2 2 2 2 2 2 2 2 2 7 108.60 c ---[ 398]---> Sorter-cost: 864 Base: 2 2 2 2 2 2 2 2 2 2 7 108.62 c ---[ 396]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 108.63 c ---[ 394]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 108.64 c ---[ 392]---> Sorter-cost: 1047 Base: 2 2 2 2 2 2 2 2 2 2 7 108.65 c ---[ 390]---> Adder-cost: 208 maxlim: 107520 bits: 18/17 108.68 c ---[ 388]---> Adder-cost: 78 maxlim: 107520 bits: 18/17 108.70 c ---[ 386]---> Adder-cost: 142 maxlim: 106496 bits: 18/17 108.73 c ---[ 384]---> Sorter-cost: 591 Base: 2 2 2 2 2 2 2 2 2 2 7 108.74 c ---[ 382]---> Adder-cost: 106 maxlim: 54272 bits: 17/16 108.75 c ---[ 380]---> Adder-cost: 200 maxlim: 120832 bits: 18/17 108.78 c ---[ 378]---> Adder-cost: 146 maxlim: 94208 bits: 18/17 108.80 c ---[ 376]---> Adder-cost: 126 maxlim: 77824 bits: 18/17 108.83 c ---[ 374]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 108.84 c ---[ 372]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 108.85 c ---[ 370]---> Adder-cost: 138 maxlim: 66560 bits: 18/17 108.86 c ---[ 368]---> Adder-cost: 150 maxlim: 79872 bits: 18/17 108.89 c ---[ 366]---> Adder-cost: 112 maxlim: 73728 bits: 18/17 108.91 c ---[ 364]---> Adder-cost: 204 maxlim: 108544 bits: 18/17 108.93 c ---[ 362]---> Adder-cost: 104 maxlim: 57344 bits: 17/16 108.95 c ---[ 360]---> Adder-cost: 68 maxlim: 54272 bits: 17/16 108.96 c ---[ 358]---> Sorter-cost: 1012 Base: 2 2 2 2 2 2 2 2 2 2 7 108.97 c ---[ 356]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 108.98 c ---[ 354]---> Sorter-cost: 931 Base: 2 2 2 2 2 2 2 2 2 2 7 108.99 c ---[ 352]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 109.00 c ---[ 350]---> Adder-cost: 116 maxlim: 77824 bits: 18/17 109.02 c ---[ 348]---> Adder-cost: 114 maxlim: 57344 bits: 17/16 109.03 c ---[ 346]---> Adder-cost: 52 maxlim: 57344 bits: 17/16 109.05 c ---[ 344]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 109.06 c ---[ 342]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 109.07 c ---[ 340]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 109.08 c ---[ 338]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 109.09 c ---[ 336]---> Adder-cost: 210 maxlim: 118784 bits: 18/17 109.12 c ---[ 334]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 109.14 c ---[ 332]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 109.17 c ---[ 330]---> Adder-cost: 206 maxlim: 117760 bits: 18/17 109.20 c ---[ 328]---> Adder-cost: 154 maxlim: 80896 bits: 18/17 109.22 c ---[ 326]---> Adder-cost: 250 maxlim: 135168 bits: 19/18 109.26 c ---[ 324]---> Adder-cost: 382 maxlim: 232448 bits: 19/18 109.31 c ---[ 322]---> Adder-cost: 124 maxlim: 232448 bits: 19/18 109.37 c ---[ 320]---> Adder-cost: 124 maxlim: 232448 bits: 19/18 109.43 c ---[ 318]---> Adder-cost: 124 maxlim: 232448 bits: 19/18 109.48 c ---[ 316]---> Adder-cost: 264 maxlim: 133120 bits: 19/18 109.52 c ---[ 314]---> Adder-cost: 116 maxlim: 61440 bits: 17/16 109.53 c ---[ 312]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 109.55 c ---[ 310]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 109.55 c ---[ 308]---> Sorter-cost: 927 Base: 2 2 2 2 2 2 2 2 2 2 7 109.56 c ---[ 306]---> Adder-cost: 184 maxlim: 92160 bits: 18/17 109.59 c ---[ 304]---> Sorter-cost: 690 Base: 2 2 2 2 2 2 2 2 2 2 7 109.59 c ---[ 302]---> Adder-cost: 186 maxlim: 104448 bits: 18/17 109.62 c ---[ 300]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 109.63 c ---[ 298]---> Sorter-cost: 1078 Base: 2 2 2 2 2 2 2 2 2 2 7 109.64 c ---[ 296]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 109.65 c ---[ 294]---> Adder-cost: 118 maxlim: 61440 bits: 17/16 109.66 c ---[ 292]---> Sorter-cost: 1131 Base: 2 2 2 2 2 2 2 2 2 2 7 109.67 c ---[ 290]---> Adder-cost: 422 maxlim: 248832 bits: 19/18 109.73 c ---[ 288]---> Adder-cost: 384 maxlim: 267264 bits: 20/19 109.80 c ---[ 286]---> Adder-cost: 142 maxlim: 267264 bits: 20/19 109.87 c ---[ 284]---> Adder-cost: 100 maxlim: 62464 bits: 17/16 109.89 c ---[ 282]---> Adder-cost: 84 maxlim: 61440 bits: 17/16 109.91 c ---[ 280]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 109.92 c ---[ 278]---> Adder-cost: 386 maxlim: 221184 bits: 19/18 109.97 c ---[ 276]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 109.98 c ---[ 274]---> Sorter-cost: 995 Base: 2 2 2 2 2 2 2 2 2 2 7 109.99 c ---[ 272]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 110.00 c ---[ 270]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 110.01 c ---[ 268]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 110.01 c ---[ 266]---> Adder-cost: 272 maxlim: 144384 bits: 19/18 110.05 c ---[ 264]---> Sorter-cost: 393 Base: 2 2 2 2 2 2 2 2 2 2 7 110.06 c ---[ 262]---> Sorter-cost: 469 Base: 2 2 2 2 2 2 2 2 2 2 7 110.06 c ---[ 260]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 110.07 c ---[ 258]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 110.08 c ---[ 256]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 110.09 c ---[ 254]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 110.10 c ---[ 252]---> Adder-cost: 118 maxlim: 62464 bits: 17/16 110.12 c ---[ 250]---> Adder-cost: 236 maxlim: 142336 bits: 19/18 110.16 c ---[ 248]---> Adder-cost: 48 maxlim: 62464 bits: 17/16 110.17 c ---[ 246]---> Sorter-cost: 638 Base: 2 2 2 2 2 2 2 2 2 2 7 110.18 c ---[ 244]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 110.19 c ---[ 242]---> Adder-cost: 182 maxlim: 101376 bits: 18/17 110.21 c ---[ 240]---> Adder-cost: 198 maxlim: 107520 bits: 18/17 110.24 c ---[ 238]---> Adder-cost: 252 maxlim: 152576 bits: 19/18 110.28 c ---[ 236]---> Adder-cost: 94 maxlim: 152576 bits: 19/18 110.32 c ---[ 234]---> Sorter-cost: 1026 Base: 2 2 2 2 2 2 2 2 2 2 7 110.33 c ---[ 232]---> Adder-cost: 160 maxlim: 100352 bits: 18/17 110.36 c ---[ 230]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 110.38 c ---[ 228]---> Adder-cost: 170 maxlim: 97280 bits: 18/17 110.41 c ---[ 226]---> Adder-cost: 64 maxlim: 97280 bits: 18/17 110.43 c ---[ 224]---> Adder-cost: 220 maxlim: 139264 bits: 19/18 110.47 c ---[ 222]---> Adder-cost: 142 maxlim: 79872 bits: 18/17 110.49 c ---[ 220]---> Sorter-cost: 1099 Base: 2 2 2 2 2 2 2 2 2 2 7 110.50 c ---[ 218]---> Adder-cost: 130 maxlim: 71680 bits: 18/17 110.52 c ---[ 216]---> Adder-cost: 60 maxlim: 71680 bits: 18/17 110.54 c ---[ 214]---> Adder-cost: 222 maxlim: 120832 bits: 18/17 110.58 c ---[ 212]---> Adder-cost: 108 maxlim: 54272 bits: 17/16 110.59 c ---[ 210]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 110.60 c ---[ 208]---> Adder-cost: 170 maxlim: 86016 bits: 18/17 110.63 c ---[ 206]---> Adder-cost: 174 maxlim: 94208 bits: 18/17 110.65 c ---[ 204]---> Adder-cost: 162 maxlim: 84992 bits: 18/17 110.68 c ---[ 202]---> Adder-cost: 102 maxlim: 60416 bits: 17/16 110.69 c ---[ 200]---> Sorter-cost: 933 Base: 2 2 2 2 2 2 2 2 2 2 7 110.70 c ---[ 198]---> Sorter-cost: 744 Base: 2 2 2 2 2 2 2 2 2 2 7 110.71 c ---[ 196]---> Sorter-cost: 456 Base: 2 2 2 2 2 2 2 2 2 2 7 110.71 c ---[ 194]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 110.73 c ---[ 192]---> Sorter-cost: 1020 Base: 2 2 2 2 2 2 2 2 2 2 7 110.74 c ---[ 190]---> Sorter-cost: 859 Base: 2 2 2 2 2 2 2 2 2 2 7 110.75 c ---[ 188]---> Sorter-cost: 613 Base: 2 2 2 2 2 2 2 2 2 2 7 110.75 c ---[ 186]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 110.76 c ---[ 184]---> Adder-cost: 362 maxlim: 242688 bits: 19/18 110.82 c ---[ 182]---> Adder-cost: 366 maxlim: 229376 bits: 19/18 110.87 c ---[ 180]---> Adder-cost: 94 maxlim: 55296 bits: 17/16 110.89 c ---[ 178]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 110.90 c ---[ 176]---> Adder-cost: 198 maxlim: 117760 bits: 18/17 110.93 c ---[ 174]---> Sorter-cost: 1119 Base: 2 2 2 2 2 2 2 2 2 2 7 110.94 c ---[ 172]---> Sorter-cost: 699 Base: 2 2 2 2 2 2 2 2 2 2 7 110.95 c ---[ 170]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 110.95 c ---[ 168]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 110.96 c ---[ 166]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 110.97 c ---[ 164]---> Sorter-cost: 611 Base: 2 2 2 2 2 2 2 2 2 2 7 110.97 c ---[ 162]---> Adder-cost: 90 maxlim: 51200 bits: 17/16 110.99 c ---[ 160]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 111.00 c ---[ 158]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 111.01 c ---[ 156]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 111.02 c ---[ 154]---> Sorter-cost: 921 Base: 2 2 2 2 2 2 2 2 2 2 7 111.03 c ---[ 152]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 111.04 c ---[ 150]---> Sorter-cost: 597 Base: 2 2 2 2 2 2 2 2 2 2 7 111.05 c ---[ 148]---> Adder-cost: 132 maxlim: 75776 bits: 18/17 111.07 c ---[ 146]---> Adder-cost: 64 maxlim: 75776 bits: 18/17 111.09 c ---[ 144]---> Adder-cost: 124 maxlim: 69632 bits: 18/17 111.11 c ---[ 142]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 111.12 c ---[ 140]---> Sorter-cost: 261 Base: 2 2 2 2 2 2 2 2 2 2 2 111.12 c ---[ 138]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 111.12 c ---[ 136]---> Sorter-cost: 657 Base: 2 2 2 2 2 2 2 2 2 2 7 111.13 c ---[ 134]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 111.14 c ---[ 132]---> Sorter-cost: 617 Base: 2 2 2 2 2 2 2 2 2 2 7 111.15 c ---[ 130]---> Adder-cost: 126 maxlim: 72704 bits: 18/17 111.17 c ---[ 128]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 111.17 c ---[ 126]---> Adder-cost: 56 maxlim: 72704 bits: 18/17 111.19 c ---[ 124]---> Adder-cost: 94 maxlim: 61440 bits: 17/16 111.21 c ---[ 122]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 111.23 c ---[ 120]---> Adder-cost: 114 maxlim: 63488 bits: 17/16 111.24 c ---[ 118]---> Adder-cost: 52 maxlim: 63488 bits: 17/16 111.26 c ---[ 116]---> Sorter-cost: 1172 Base: 2 2 2 2 2 2 2 2 2 2 7 111.27 c ---[ 114]---> Adder-cost: 148 maxlim: 87040 bits: 18/17 111.29 c ---[ 112]---> Sorter-cost: 1011 Base: 2 2 2 2 2 2 2 2 2 2 7 111.30 c ---[ 110]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 111.31 c ---[ 108]---> Sorter-cost: 757 Base: 2 2 2 2 2 2 2 2 2 2 7 111.32 c ---[ 106]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 111.33 c ---[ 104]---> Sorter-cost: 736 Base: 2 2 2 2 2 2 2 2 2 2 7 111.34 c ---[ 102]---> Sorter-cost: 1275 Base: 2 2 2 2 2 2 2 2 2 2 7 111.35 c ---[ 100]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 111.36 c ---[ 98]---> Adder-cost: 158 maxlim: 83968 bits: 18/17 111.39 c ---[ 96]---> Sorter-cost: 1074 Base: 2 2 2 2 2 2 2 2 2 2 7 111.40 c ---[ 94]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 111.41 c ---[ 92]---> Adder-cost: 94 maxlim: 54272 bits: 17/16 111.42 c ---[ 90]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 111.43 c ---[ 88]---> Sorter-cost: 965 Base: 2 2 2 2 2 2 2 2 2 2 7 111.44 c ---[ 86]---> Adder-cost: 116 maxlim: 59392 bits: 17/16 111.46 c ---[ 84]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 111.47 c ---[ 82]---> Sorter-cost: 1242 Base: 2 2 2 2 2 2 2 2 2 2 7 111.48 c ---[ 80]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 111.49 c ---[ 78]---> Sorter-cost: 771 Base: 2 2 2 2 2 2 2 2 2 2 7 111.50 c ---[ 76]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 111.51 c ---[ 74]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 111.51 c ---[ 72]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 111.52 c ---[ 70]---> Sorter-cost: 1201 Base: 2 2 2 2 2 2 2 2 2 2 7 111.53 c ---[ 69]---> 1801.17 c *** TERMINATED *** 1801.17 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-35712-1149307265 -o ROOT/results/node44/solver-35712-1149307265 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node44/35712-1149307265/instance-35712-1149307265.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/70 18956 /proc/meminfo: memFree=1533176/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=1048 CPUtime=0 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 103 0 0 0 0 0 0 0 19 0 1 0 196393353 1073152 88 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 262 88 67 215 0 44 0 [startup+10.0031 s] /proc/loadavg: 0.93 0.98 0.99 2/70 19014 /proc/meminfo: memFree=1491600/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=44620 CPUtime=9.96 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 14284 0 0 0 985 11 0 0 25 0 1 0 196393353 45690880 10554 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809086 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 11155 10554 109 215 0 10937 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 44620 [startup+20.011 s] /proc/loadavg: 0.94 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1475512/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=63796 CPUtime=19.93 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 19536 0 0 0 1977 16 0 0 25 0 1 0 196393353 65327104 14817 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005302 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 15949 14817 109 215 0 15731 0 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 63796 [startup+30.0188 s] /proc/loadavg: 0.95 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1424912/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=114592 CPUtime=29.93 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 37469 0 0 0 2970 23 0 0 25 0 1 0 196393353 117342208 27483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134833857 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 28648 27483 109 215 0 28430 0 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 114592 [startup+40.0247 s] /proc/loadavg: 0.96 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1424976/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=114592 CPUtime=39.93 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 37471 0 0 0 3970 23 0 0 25 0 1 0 196393353 117342208 27485 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012197 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 28648 27485 109 215 0 28430 0 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 114592 [startup+50.0315 s] /proc/loadavg: 0.96 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1425040/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=114592 CPUtime=49.93 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 37471 0 0 0 4970 23 0 0 25 0 1 0 196393353 117342208 27485 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 28648 27485 109 215 0 28430 0 Current children cumulated CPU time (s) 49.93 Current children cumulated vsize (Kb) 114592 [startup+60.0373 s] /proc/loadavg: 0.97 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1425040/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=114592 CPUtime=59.94 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 37471 0 0 0 5971 23 0 0 25 0 1 0 196393353 117342208 27485 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809081 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 28648 27485 109 215 0 28430 0 Current children cumulated CPU time (s) 59.94 Current children cumulated vsize (Kb) 114592 [startup+70.0442 s] /proc/loadavg: 0.97 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1424976/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=114592 CPUtime=69.94 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 37471 0 0 0 6971 23 0 0 25 0 1 0 196393353 117342208 27485 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012196 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 28648 27485 109 215 0 28430 0 Current children cumulated CPU time (s) 69.94 Current children cumulated vsize (Kb) 114592 [startup+80.051 s] /proc/loadavg: 0.98 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1425040/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=114592 CPUtime=79.94 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 37471 0 0 0 7971 23 0 0 25 0 1 0 196393353 117342208 27485 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 28648 27485 109 215 0 28430 0 Current children cumulated CPU time (s) 79.94 Current children cumulated vsize (Kb) 114592 [startup+90.0569 s] /proc/loadavg: 0.98 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1425040/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=114592 CPUtime=89.95 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 37471 0 0 0 8972 23 0 0 25 0 1 0 196393353 117342208 27485 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005330 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 28648 27485 109 215 0 28430 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 114592 [startup+100.063 s] /proc/loadavg: 0.98 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1423376/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=115516 CPUtime=99.95 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 37885 0 0 0 9971 24 0 0 25 0 1 0 196393353 118288384 27899 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134679985 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 28879 27899 109 215 0 28661 0 Current children cumulated CPU time (s) 99.95 Current children cumulated vsize (Kb) 115516 [startup+110.07 s] /proc/loadavg: 0.98 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1423376/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=115516 CPUtime=109.96 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 37886 0 0 0 10971 25 0 0 25 0 1 0 196393353 118288384 27900 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 28879 27900 109 215 0 28661 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 115516 [startup+120.075 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1373008/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=165756 CPUtime=119.95 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 51735 0 0 0 11963 32 0 0 25 0 1 0 196393353 169734144 40470 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012086 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 41439 40470 109 215 0 41221 0 Current children cumulated CPU time (s) 119.95 Current children cumulated vsize (Kb) 165756 [startup+130.081 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1311760/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=226840 CPUtime=129.96 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 68323 0 0 0 12955 41 0 0 25 0 1 0 196393353 232284160 55740 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 56710 55740 109 215 0 56492 0 Current children cumulated CPU time (s) 129.96 Current children cumulated vsize (Kb) 226840 [startup+140.087 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1285328/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=252196 CPUtime=139.96 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 77553 0 0 0 13950 46 0 0 25 0 1 0 196393353 258248704 62333 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006942 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 63049 62333 109 215 0 62831 0 Current children cumulated CPU time (s) 139.96 Current children cumulated vsize (Kb) 252196 [startup+150.093 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1215312/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=326472 CPUtime=149.96 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 100266 0 0 0 14939 57 0 0 25 0 1 0 196393353 334307328 79773 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134665767 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 81618 79773 109 215 0 81400 0 Current children cumulated CPU time (s) 149.96 Current children cumulated vsize (Kb) 326472 [startup+160.099 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1177616/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=362244 CPUtime=159.96 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 15934 62 0 0 25 0 1 0 196393353 370937856 89182 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134669574 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 90561 89182 109 215 0 90343 0 Current children cumulated CPU time (s) 159.96 Current children cumulated vsize (Kb) 362244 [startup+170.105 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1219664/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=169.97 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 16934 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005282 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 169.97 Current children cumulated vsize (Kb) 320060 [startup+180.111 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1219664/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=179.97 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 17934 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 179.97 Current children cumulated vsize (Kb) 320060 [startup+190.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1219664/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=189.97 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 18934 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 189.97 Current children cumulated vsize (Kb) 320060 [startup+200.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1219664/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=199.97 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 19934 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134811828 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 199.97 Current children cumulated vsize (Kb) 320060 [startup+210.128 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19096 /proc/meminfo: memFree=1219664/2055920 swapFree=4181400/4192956 ################ # More data... # ################ [pid=18956] ppid=18954 vsize=320060 CPUtime=1781.39 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178076 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012139 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (Kb) 320060 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1782.4 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178177 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134691048 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1782.4 Current children cumulated vsize (Kb) 320060 [startup+1784.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1783.4 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178277 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005297 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1783.4 Current children cumulated vsize (Kb) 320060 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1784.4 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178377 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838351 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1784.4 Current children cumulated vsize (Kb) 320060 [startup+1786.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1785.41 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178478 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003213 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1785.41 Current children cumulated vsize (Kb) 320060 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1786.41 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178578 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012196 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1786.41 Current children cumulated vsize (Kb) 320060 [startup+1788.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1787.42 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178679 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005772 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1787.42 Current children cumulated vsize (Kb) 320060 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1788.42 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178779 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134649208 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1788.42 Current children cumulated vsize (Kb) 320060 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1789.43 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178880 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003213 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1789.43 Current children cumulated vsize (Kb) 320060 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1790.43 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 178980 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812138 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1790.43 Current children cumulated vsize (Kb) 320060 [startup+1792.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1791.44 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179081 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (Kb) 320060 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1792.44 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179181 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808996 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1792.44 Current children cumulated vsize (Kb) 320060 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1793.44 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179281 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1793.44 Current children cumulated vsize (Kb) 320060 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1794.45 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179382 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134811772 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (Kb) 320060 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1795.45 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179482 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1795.45 Current children cumulated vsize (Kb) 320060 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219856/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1796.46 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179583 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005310 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1796.46 Current children cumulated vsize (Kb) 320060 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219856/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1797.46 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179683 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1797.46 Current children cumulated vsize (Kb) 320060 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219856/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1798.47 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179784 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838324 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 320060 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219856/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1799.47 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179884 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809906 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (Kb) 320060 [startup+1801.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1800.48 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179985 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 320060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19096 /proc/meminfo: memFree=1219792/2055920 swapFree=4181400/4192956 [pid=18956] ppid=18954 vsize=320060 CPUtime=1800.48 /proc/18956/stat : 18956 (minisat+) R 18954 18956 18910 0 -1 4194304 109675 0 0 0 179985 63 0 0 25 0 1 0 196393353 327741440 78636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003212 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18956/statm: 80015 78636 109 215 0 79797 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 320060 Sending SIGTERM to -18956 Sleeping 2 seconds Child status: 0 Real time (s): 1801.23 CPU time (s): 1800.54 CPU user time (s): 1799.86 CPU system time (s): 0.685895 CPU usage (%): 99.9618 Max. virtual memory (cumulated for all children) (Kb): 362244
Begin job on node44 on Sat Jun 3 04:01:05 UTC 2006 FILE ID= 35712-1149307265 PBS_JOBID= 307681 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dolom1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node44/35712-1149307265/instance-35712-1149307265.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-35712-1149307265 -o ROOT/results/node44/solver-35712-1149307265 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node44/35712-1149307265/instance-35712-1149307265.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 0b7be4a8ca67db62b7397f891414d40c RANDOM SEED= 581891561 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1533512 kB Buffers: 27664 kB Cached: 421512 kB SwapCached: 3364 kB Active: 48184 kB Inactive: 410628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1533512 kB SwapTotal: 4192956 kB SwapFree: 4181400 kB Dirty: 228 kB Writeback: 0 kB Mapped: 16212 kB Slab: 49192 kB Committed_AS: 284708 kB PageTables: 1644 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node44 on Sat Jun 3 04:31:07 UTC 2006