Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.06 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-qap10.opb |
MD5SUM | cba28129e4f6f6eef01b4dc927adb1b9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 29 |
Best CPU time to get the best result obtained on this benchmark | 1782.78 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 29 |
Optimality of the best value was proved | NO |
Number of variables | 83000 |
Total number of constraints | 1820 |
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 | 1820 |
Minimum length of a constraint | 200 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 52200 |
Biggest coefficient in the objective function | 570 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 564062 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 26215 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 564062 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 7.99/8.04 c Converting 3640 PB-constraints to clauses... 7.99/8.08 c -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 15.08/15.10 c -- Detecting intervals from adjacent constraints: ############################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################ 15.08/15.16 c -- Clauses(.)/Splits(s): (none) 15.08/15.16 c ---[3638]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.08/15.17 c ---[3636]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.08/15.17 c ---[3634]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.08/15.18 c ---[3632]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.08/15.18 c ---[3630]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.08/15.19 c ---[3628]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.08/15.19 c ---[3626]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.08/15.20 c ---[3624]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.19/15.20 c ---[3622]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.19/15.20 c ---[3620]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.19/15.21 c ---[3618]---> Adder-cost: 124 maxlim: 99 bits: 7/7 15.19/15.21 c ---[3616]---> Adder-cost: 122 maxlim: 99 bits: 7/7 15.19/15.22 c ---[3614]---> Adder-cost: 122 maxlim: 99 bits: 7/7 15.19/15.22 c ---[3612]---> Adder-cost: 124 maxlim: 99 bits: 7/7 15.19/15.23 c ---[3610]---> Adder-cost: 122 maxlim: 99 bits: 7/7 15.19/15.23 c ---[3608]---> Adder-cost: 122 maxlim: 99 bits: 7/7 15.19/15.24 c ---[3606]---> Adder-cost: 124 maxlim: 99 bits: 7/7 15.19/15.24 c ---[3604]---> Adder-cost: 122 maxlim: 99 bits: 7/7 15.19/15.25 c ---[3602]---> Adder-cost: 122 maxlim: 99 bits: 7/7 15.19/15.25 c ---[3600]---> Adder-cost: 124 maxlim: 99 bits: 7/7 15.19/15.25 c ---[3598]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.19/15.26 c ---[3596]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.19/15.26 c ---[3594]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.19/15.27 c ---[3592]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.19/15.27 c ---[3590]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.19/15.28 c ---[3588]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.19/15.28 c ---[3586]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.19/15.29 c ---[3584]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.19/15.29 c ---[3582]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.19/15.30 c ---[3580]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.19/15.30 c ---[3578]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.30 c ---[3576]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.31 c ---[3574]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.31 c ---[3572]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.32 c ---[3570]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.32 c ---[3568]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.33 c ---[3566]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.33 c ---[3564]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.34 c ---[3562]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.34 c ---[3560]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.35 c ---[3558]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.35 c ---[3556]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.36 c ---[3554]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.36 c ---[3552]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.36 c ---[3550]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.37 c ---[3548]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.37 c ---[3546]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.38 c ---[3544]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.38 c ---[3542]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.39 c ---[3540]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.39 c ---[3538]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.29/15.40 c ---[3536]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.40 c ---[3534]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.41 c ---[3532]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.41 c ---[3530]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.42 c ---[3528]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.42 c ---[3526]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.42 c ---[3524]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.43 c ---[3522]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.43 c ---[3520]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.44 c ---[3518]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.44 c ---[3516]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.45 c ---[3514]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.45 c ---[3512]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.46 c ---[3510]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.46 c ---[3508]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.47 c ---[3506]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.47 c ---[3504]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.48 c ---[3502]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.48 c ---[3500]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.49 c ---[3498]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.49 c ---[3496]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.39/15.50 c ---[3494]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.50 c ---[3492]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.51 c ---[3490]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.51 c ---[3488]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.51 c ---[3486]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.52 c ---[3484]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.52 c ---[3482]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.53 c ---[3480]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.53 c ---[3478]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.54 c ---[3476]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.54 c ---[3474]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.55 c ---[3472]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.55 c ---[3470]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.56 c ---[3468]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.56 c ---[3466]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.57 c ---[3464]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.57 c ---[3462]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.57 c ---[3460]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.58 c ---[3458]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.58 c ---[3456]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.59 c ---[3454]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.48/15.59 c ---[3452]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.58/15.60 c ---[3450]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.58/15.60 c ---[3448]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.58/15.61 c ---[3446]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.58/15.61 c ---[3444]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.58/15.62 c ---[3442]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.58/15.62 c ---[3440]---> Adder-cost: 130 maxlim: 99 bits: 7/7 15.58/15.63 c ---[3438]---> Adder-cost: 122 maxlim: 99 bits: 7/7 15.58/15.63 c ---[3436]---> Adder-cost: 120 maxlim: 99 bits: 7/7 15.58/15.63 c ---[3434]---> Adder-cost: 120 maxlim: 99 bits: 7/7 15.58/15.64 c ---[3432]---> Adder-cost: 122 maxlim: 99 bits: 7/7 15.58/15.64 c ---[3430]---> Adder-cost: 120 maxlim: 99 bits: 7/7 15.58/15.65 c ---[3428]---> Adder-cost: 120 maxlim: 99 bits: 7/7 15.58/15.65 c ---[3426]---> Adder-cost: 122 maxlim: 99 bits: 7/7 15.58/15.66 c ---[3424]---> Adder-cost: 120 maxlim: 99 bits: 7/7 15.58/15.66 c ---[3422]---> Adder-cost: 120 maxlim: 99 bits: 7/7 15.58/15.67 c ---[3420]---> Adder-cost: 122 maxlim: 99 bits: 7/7 15.58/15.67 c ---[3418]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.58/15.68 c ---[3416]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.58/15.68 c ---[3414]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.58/15.69 c ---[3412]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.58/15.69 c ---[3410]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.58/15.70 c ---[3408]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.68/15.70 c ---[3406]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.68/15.70 c ---[3404]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.68/15.71 c ---[3402]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.68/15.71 c ---[3400]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.68/15.72 c ---[3398]---> Adder-cost: 122 maxlim: 99 bits: 7/7 15.68/15.72 c ---[3396]---> Adder-cost: 120 maxlim: 99 bits: 7/7 15.68/15.73 c ---[3394]---> Adder-cost: 120 maxlim: 99 bits: 7/7 15.68/15.73 c ---[3392]---> Adder-cost: 122 maxlim: 99 bits: 7/7 15.68/15.74 c ---[3390]---> Adder-cost: 120 maxlim: 99 bits: 7/7 15.68/15.74 c ---[3388]---> Adder-cost: 120 maxlim: 99 bits: 7/7 15.68/15.75 c ---[3386]---> Adder-cost: 122 maxlim: 99 bits: 7/7 15.68/15.75 c ---[3384]---> Adder-cost: 120 maxlim: 99 bits: 7/7 15.68/15.76 c ---[3382]---> Adder-cost: 120 maxlim: 99 bits: 7/7 15.68/15.76 c ---[3380]---> Adder-cost: 122 maxlim: 99 bits: 7/7 15.68/15.77 c ---[3378]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.68/15.77 c ---[3376]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.68/15.78 c ---[3374]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.68/15.78 c ---[3372]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.68/15.79 c ---[3370]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.68/15.79 c ---[3368]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.68/15.80 c ---[3366]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.80 c ---[3364]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.80 c ---[3362]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.81 c ---[3360]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.81 c ---[3358]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.82 c ---[3356]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.82 c ---[3354]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.83 c ---[3352]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.83 c ---[3350]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.84 c ---[3348]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.84 c ---[3346]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.85 c ---[3344]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.85 c ---[3342]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.86 c ---[3340]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.86 c ---[3338]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.86 c ---[3336]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.87 c ---[3334]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.87 c ---[3332]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.88 c ---[3330]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.88 c ---[3328]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.89 c ---[3326]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.78/15.89 c ---[3324]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.90 c ---[3322]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.90 c ---[3320]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.91 c ---[3318]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.91 c ---[3316]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.92 c ---[3314]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.92 c ---[3312]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.93 c ---[3310]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.93 c ---[3308]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.93 c ---[3306]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.94 c ---[3304]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.94 c ---[3302]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.95 c ---[3300]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.95 c ---[3298]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.96 c ---[3296]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.96 c ---[3294]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.97 c ---[3292]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.97 c ---[3290]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.98 c ---[3288]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.98 c ---[3286]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.99 c ---[3284]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/15.99 c ---[3282]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.88/16.00 c ---[3280]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.00 c ---[3278]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.01 c ---[3276]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.01 c ---[3274]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.01 c ---[3272]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.02 c ---[3270]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.02 c ---[3268]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.03 c ---[3266]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.03 c ---[3264]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.04 c ---[3262]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.04 c ---[3260]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.05 c ---[3258]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.05 c ---[3256]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.06 c ---[3254]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.06 c ---[3252]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.07 c ---[3250]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.07 c ---[3248]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.08 c ---[3246]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.08 c ---[3244]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.09 c ---[3242]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.09 c ---[3240]---> Adder-cost: 128 maxlim: 99 bits: 7/7 15.98/16.09 c ---[3238]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.08/16.10 c ---[3236]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.08/16.10 c ---[3234]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.08/16.11 c ---[3232]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.08/16.11 c ---[3230]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.08/16.12 c ---[3228]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.08/16.12 c ---[3226]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.08/16.13 c ---[3224]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.08/16.13 c ---[3222]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.08/16.14 c ---[3220]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.08/16.14 c ---[3218]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.08/16.15 c ---[3216]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.08/16.15 c ---[3214]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.08/16.16 c ---[3212]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.08/16.16 c ---[3210]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.08/16.17 c ---[3208]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.08/16.17 c ---[3206]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.08/16.17 c ---[3204]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.08/16.18 c ---[3202]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.08/16.18 c ---[3200]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.08/16.19 c ---[3198]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.08/16.19 c ---[3196]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.18/16.20 c ---[3194]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.18/16.20 c ---[3192]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.18/16.21 c ---[3190]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.18/16.21 c ---[3188]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.18/16.22 c ---[3186]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.18/16.22 c ---[3184]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.18/16.23 c ---[3182]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.18/16.23 c ---[3180]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.18/16.24 c ---[3178]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.18/16.24 c ---[3176]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.18/16.25 c ---[3174]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.18/16.25 c ---[3172]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.18/16.26 c ---[3170]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.18/16.26 c ---[3168]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.18/16.26 c ---[3166]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.18/16.27 c ---[3164]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.18/16.27 c ---[3162]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.18/16.28 c ---[3160]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.18/16.28 c ---[3158]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.18/16.29 c ---[3156]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.18/16.29 c ---[3154]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.30 c ---[3152]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.30 c ---[3150]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.31 c ---[3148]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.31 c ---[3146]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.32 c ---[3144]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.32 c ---[3142]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.33 c ---[3140]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.33 c ---[3138]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.33 c ---[3136]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.34 c ---[3134]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.34 c ---[3132]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.35 c ---[3130]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.35 c ---[3128]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.36 c ---[3126]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.36 c ---[3124]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.36 c ---[3122]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.37 c ---[3120]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.37 c ---[3118]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.38 c ---[3116]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.38 c ---[3114]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.39 c ---[3112]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.39 c ---[3110]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.27/16.40 c ---[3108]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.40 c ---[3106]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.41 c ---[3104]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.41 c ---[3102]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.42 c ---[3100]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.42 c ---[3098]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.43 c ---[3096]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.44 c ---[3094]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.44 c ---[3092]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.45 c ---[3090]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.45 c ---[3088]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.46 c ---[3086]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.46 c ---[3084]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.47 c ---[3082]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.47 c ---[3080]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.48 c ---[3078]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.48 c ---[3076]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.49 c ---[3074]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.49 c ---[3072]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.49 c ---[3070]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.37/16.50 c ---[3068]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.48/16.50 c ---[3066]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.48/16.51 c ---[3064]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.48/16.51 c ---[3062]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.48/16.52 c ---[3060]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.48/16.52 c ---[3058]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.48/16.53 c ---[3056]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.48/16.53 c ---[3054]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.48/16.54 c ---[3052]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.48/16.54 c ---[3050]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.48/16.55 c ---[3048]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.48/16.55 c ---[3046]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.48/16.56 c ---[3044]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.48/16.56 c ---[3042]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.48/16.57 c ---[3040]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.48/16.57 c ---[3038]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.48/16.57 c ---[3036]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.48/16.58 c ---[3034]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.48/16.58 c ---[3032]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.48/16.59 c ---[3030]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.48/16.59 c ---[3028]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.58/16.60 c ---[3026]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.58/16.60 c ---[3024]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.58/16.61 c ---[3022]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.58/16.61 c ---[3020]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.58/16.62 c ---[3018]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.58/16.62 c ---[3016]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.58/16.63 c ---[3014]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.58/16.63 c ---[3012]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.58/16.64 c ---[3010]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.58/16.64 c ---[3008]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.58/16.65 c ---[3006]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.58/16.65 c ---[3004]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.58/16.65 c ---[3002]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.58/16.66 c ---[3000]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.58/16.66 c ---[2998]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.58/16.67 c ---[2996]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.58/16.67 c ---[2994]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.58/16.68 c ---[2992]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.58/16.68 c ---[2990]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.58/16.69 c ---[2988]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.58/16.69 c ---[2986]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.68/16.70 c ---[2984]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.68/16.70 c ---[2982]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.68/16.71 c ---[2980]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.68/16.71 c ---[2978]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.68/16.72 c ---[2976]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.68/16.72 c ---[2974]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.68/16.73 c ---[2972]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.68/16.73 c ---[2970]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.68/16.74 c ---[2968]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.68/16.74 c ---[2966]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.68/16.75 c ---[2964]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.68/16.75 c ---[2962]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.68/16.75 c ---[2960]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.68/16.76 c ---[2958]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.68/16.76 c ---[2956]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.68/16.77 c ---[2954]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.68/16.77 c ---[2952]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.68/16.78 c ---[2950]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.68/16.78 c ---[2948]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.68/16.79 c ---[2946]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.68/16.79 c ---[2944]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.78/16.80 c ---[2942]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.78/16.80 c ---[2940]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.78/16.81 c ---[2938]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.81 c ---[2936]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.82 c ---[2934]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.82 c ---[2932]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.83 c ---[2930]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.83 c ---[2928]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.83 c ---[2926]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.84 c ---[2924]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.84 c ---[2922]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.85 c ---[2920]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.85 c ---[2918]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.86 c ---[2916]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.86 c ---[2914]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.87 c ---[2912]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.87 c ---[2910]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.88 c ---[2908]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.88 c ---[2906]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.89 c ---[2904]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.89 c ---[2902]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.78/16.90 c ---[2900]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.90 c ---[2898]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.91 c ---[2896]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.91 c ---[2894]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.92 c ---[2892]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.92 c ---[2890]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.92 c ---[2888]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.93 c ---[2886]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.93 c ---[2884]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.94 c ---[2882]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.94 c ---[2880]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.95 c ---[2878]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.95 c ---[2876]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.96 c ---[2874]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.96 c ---[2872]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.97 c ---[2870]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.97 c ---[2868]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.98 c ---[2866]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.98 c ---[2864]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.99 c ---[2862]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/16.99 c ---[2860]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.88/17.00 c ---[2858]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.98/17.00 c ---[2856]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.98/17.01 c ---[2854]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.98/17.01 c ---[2852]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.98/17.02 c ---[2850]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.98/17.02 c ---[2848]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.98/17.03 c ---[2846]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.98/17.03 c ---[2844]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.98/17.03 c ---[2842]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.98/17.04 c ---[2840]---> Adder-cost: 128 maxlim: 99 bits: 7/7 16.98/17.04 c ---[2838]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.98/17.05 c ---[2836]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.98/17.05 c ---[2834]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.98/17.06 c ---[2832]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.98/17.06 c ---[2830]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.98/17.07 c ---[2828]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.98/17.07 c ---[2826]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.98/17.08 c ---[2824]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.98/17.08 c ---[2822]---> Adder-cost: 120 maxlim: 99 bits: 7/7 16.98/17.09 c ---[2820]---> Adder-cost: 122 maxlim: 99 bits: 7/7 16.98/17.09 c ---[2818]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.08/17.10 c ---[2816]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.08/17.10 c ---[2814]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.08/17.11 c ---[2812]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.08/17.11 c ---[2810]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.08/17.12 c ---[2808]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.08/17.12 c ---[2806]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.08/17.13 c ---[2804]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.08/17.13 c ---[2802]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.08/17.14 c ---[2800]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.08/17.14 c ---[2798]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.08/17.15 c ---[2796]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.08/17.15 c ---[2794]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.08/17.16 c ---[2792]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.08/17.16 c ---[2790]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.08/17.17 c ---[2788]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.08/17.17 c ---[2786]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.08/17.18 c ---[2784]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.08/17.18 c ---[2782]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.08/17.19 c ---[2780]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.08/17.19 c ---[2778]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.08/17.19 c ---[2776]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.17/17.20 c ---[2774]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.17/17.20 c ---[2772]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.17/17.21 c ---[2770]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.17/17.21 c ---[2768]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.17/17.22 c ---[2766]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.17/17.22 c ---[2764]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.17/17.23 c ---[2762]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.17/17.23 c ---[2760]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.17/17.24 c ---[2758]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.17/17.24 c ---[2756]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.17/17.25 c ---[2754]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.17/17.25 c ---[2752]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.17/17.26 c ---[2750]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.17/17.26 c ---[2748]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.17/17.27 c ---[2746]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.17/17.27 c ---[2744]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.17/17.28 c ---[2742]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.17/17.28 c ---[2740]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.17/17.29 c ---[2738]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.17/17.29 c ---[2736]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.17/17.30 c ---[2734]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.27/17.30 c ---[2732]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.27/17.30 c ---[2730]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.27/17.31 c ---[2728]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.27/17.31 c ---[2726]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.27/17.32 c ---[2724]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.27/17.32 c ---[2722]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.27/17.33 c ---[2720]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.27/17.33 c ---[2718]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.27/17.34 c ---[2716]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.27/17.34 c ---[2714]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.27/17.35 c ---[2712]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.27/17.35 c ---[2710]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.27/17.36 c ---[2708]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.27/17.36 c ---[2706]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.27/17.37 c ---[2704]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.27/17.37 c ---[2702]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.27/17.38 c ---[2700]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.27/17.38 c ---[2698]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.27/17.39 c ---[2696]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.27/17.39 c ---[2694]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.27/17.40 c ---[2692]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.40 c ---[2690]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.41 c ---[2688]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.41 c ---[2686]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.42 c ---[2684]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.42 c ---[2682]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.43 c ---[2680]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.43 c ---[2678]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.44 c ---[2676]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.44 c ---[2674]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.44 c ---[2672]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.45 c ---[2670]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.45 c ---[2668]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.46 c ---[2666]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.46 c ---[2664]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.47 c ---[2662]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.47 c ---[2660]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.48 c ---[2658]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.48 c ---[2656]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.49 c ---[2654]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.49 c ---[2652]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.37/17.50 c ---[2650]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.47/17.50 c ---[2648]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.47/17.51 c ---[2646]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.47/17.51 c ---[2644]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.47/17.52 c ---[2642]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.47/17.52 c ---[2640]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.47/17.53 c ---[2638]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.47/17.53 c ---[2636]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.47/17.54 c ---[2634]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.47/17.54 c ---[2632]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.47/17.55 c ---[2630]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.47/17.55 c ---[2628]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.47/17.56 c ---[2626]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.47/17.56 c ---[2624]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.47/17.57 c ---[2622]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.47/17.57 c ---[2620]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.47/17.58 c ---[2618]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.47/17.58 c ---[2616]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.47/17.59 c ---[2614]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.47/17.59 c ---[2612]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.47/17.59 c ---[2610]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.47/17.60 c ---[2608]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.57/17.60 c ---[2606]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.57/17.61 c ---[2604]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.57/17.61 c ---[2602]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.57/17.62 c ---[2600]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.57/17.62 c ---[2598]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.57/17.63 c ---[2596]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.57/17.63 c ---[2594]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.57/17.64 c ---[2592]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.57/17.64 c ---[2590]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.57/17.65 c ---[2588]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.57/17.65 c ---[2586]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.57/17.66 c ---[2584]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.57/17.66 c ---[2582]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.57/17.67 c ---[2580]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.57/17.67 c ---[2578]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.57/17.68 c ---[2576]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.57/17.68 c ---[2574]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.57/17.69 c ---[2572]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.57/17.69 c ---[2570]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.67/17.70 c ---[2568]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.67/17.70 c ---[2566]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.67/17.71 c ---[2564]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.67/17.71 c ---[2562]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.67/17.72 c ---[2560]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.67/17.72 c ---[2558]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.67/17.73 c ---[2556]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.67/17.73 c ---[2554]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.67/17.74 c ---[2552]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.67/17.74 c ---[2550]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.67/17.75 c ---[2548]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.67/17.75 c ---[2546]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.67/17.76 c ---[2544]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.67/17.76 c ---[2542]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.67/17.76 c ---[2540]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.67/17.77 c ---[2538]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.67/17.77 c ---[2536]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.67/17.78 c ---[2534]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.67/17.78 c ---[2532]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.67/17.79 c ---[2530]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.67/17.79 c ---[2528]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.77/17.82 c ---[2526]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.77/17.82 c ---[2524]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.77/17.83 c ---[2522]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.77/17.83 c ---[2520]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.77/17.84 c ---[2518]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.77/17.84 c ---[2516]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.77/17.85 c ---[2514]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.77/17.85 c ---[2512]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.77/17.86 c ---[2510]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.77/17.86 c ---[2508]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.77/17.87 c ---[2506]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.77/17.87 c ---[2504]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.77/17.87 c ---[2502]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.77/17.88 c ---[2500]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.77/17.88 c ---[2498]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.77/17.89 c ---[2496]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.77/17.89 c ---[2494]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.90 c ---[2492]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.90 c ---[2490]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.91 c ---[2488]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.91 c ---[2486]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.92 c ---[2484]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.92 c ---[2482]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.93 c ---[2480]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.93 c ---[2478]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.94 c ---[2476]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.94 c ---[2474]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.95 c ---[2472]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.95 c ---[2470]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.96 c ---[2468]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.96 c ---[2466]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.97 c ---[2464]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.97 c ---[2462]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.98 c ---[2460]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.98 c ---[2458]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.99 c ---[2456]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/17.99 c ---[2454]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.86/18.00 c ---[2452]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.96/18.00 c ---[2450]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.96/18.00 c ---[2448]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.96/18.01 c ---[2446]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.96/18.01 c ---[2444]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.96/18.02 c ---[2442]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.96/18.02 c ---[2440]---> Adder-cost: 128 maxlim: 99 bits: 7/7 17.96/18.03 c ---[2438]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.96/18.03 c ---[2436]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.96/18.04 c ---[2434]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.96/18.04 c ---[2432]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.96/18.05 c ---[2430]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.96/18.05 c ---[2428]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.96/18.06 c ---[2426]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.96/18.06 c ---[2424]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.96/18.07 c ---[2422]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.96/18.07 c ---[2420]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.96/18.08 c ---[2418]---> Adder-cost: 122 maxlim: 99 bits: 7/7 17.96/18.08 c ---[2416]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.96/18.09 c ---[2414]---> Adder-cost: 120 maxlim: 99 bits: 7/7 17.96/18.09 c ---[2412]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.06/18.10 c ---[2410]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.06/18.10 c ---[2408]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.06/18.11 c ---[2406]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.06/18.11 c ---[2404]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.06/18.12 c ---[2402]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.06/18.12 c ---[2400]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.06/18.13 c ---[2398]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.06/18.13 c ---[2396]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.06/18.14 c ---[2394]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.06/18.14 c ---[2392]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.06/18.15 c ---[2390]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.06/18.15 c ---[2388]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.06/18.16 c ---[2386]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.06/18.16 c ---[2384]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.06/18.17 c ---[2382]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.06/18.17 c ---[2380]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.06/18.18 c ---[2378]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.06/18.18 c ---[2376]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.06/18.19 c ---[2374]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.06/18.19 c ---[2372]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.16/18.20 c ---[2370]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.16/18.20 c ---[2368]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.16/18.21 c ---[2366]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.16/18.21 c ---[2364]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.16/18.22 c ---[2362]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.16/18.22 c ---[2360]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.16/18.23 c ---[2358]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.16/18.23 c ---[2356]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.16/18.24 c ---[2354]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.16/18.24 c ---[2352]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.16/18.25 c ---[2350]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.16/18.25 c ---[2348]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.16/18.26 c ---[2346]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.16/18.26 c ---[2344]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.16/18.27 c ---[2342]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.16/18.27 c ---[2340]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.16/18.28 c ---[2338]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.16/18.28 c ---[2336]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.16/18.29 c ---[2334]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.16/18.29 c ---[2332]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.16/18.29 c ---[2330]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.26/18.30 c ---[2328]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.26/18.30 c ---[2326]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.26/18.31 c ---[2324]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.26/18.31 c ---[2322]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.26/18.32 c ---[2320]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.26/18.32 c ---[2318]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.26/18.33 c ---[2316]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.26/18.33 c ---[2314]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.26/18.34 c ---[2312]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.26/18.34 c ---[2310]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.26/18.35 c ---[2308]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.26/18.35 c ---[2306]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.26/18.36 c ---[2304]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.26/18.36 c ---[2302]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.26/18.37 c ---[2300]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.26/18.37 c ---[2298]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.26/18.38 c ---[2296]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.26/18.38 c ---[2294]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.26/18.39 c ---[2292]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.26/18.39 c ---[2290]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.36/18.40 c ---[2288]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.36/18.40 c ---[2286]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.36/18.41 c ---[2284]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.36/18.41 c ---[2282]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.36/18.42 c ---[2280]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.36/18.42 c ---[2278]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.36/18.43 c ---[2276]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.36/18.43 c ---[2274]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.36/18.44 c ---[2272]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.36/18.44 c ---[2270]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.36/18.45 c ---[2268]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.36/18.45 c ---[2266]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.36/18.46 c ---[2264]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.36/18.46 c ---[2262]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.36/18.47 c ---[2260]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.36/18.47 c ---[2258]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.36/18.47 c ---[2256]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.36/18.48 c ---[2254]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.36/18.48 c ---[2252]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.36/18.49 c ---[2250]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.36/18.49 c ---[2248]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.46/18.50 c ---[2246]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.46/18.50 c ---[2244]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.46/18.51 c ---[2242]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.46/18.51 c ---[2240]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.46/18.52 c ---[2238]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.46/18.52 c ---[2236]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.46/18.53 c ---[2234]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.46/18.53 c ---[2232]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.46/18.54 c ---[2230]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.46/18.54 c ---[2228]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.46/18.55 c ---[2226]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.46/18.55 c ---[2224]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.46/18.56 c ---[2222]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.46/18.56 c ---[2220]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.46/18.57 c ---[2218]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.46/18.57 c ---[2216]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.46/18.58 c ---[2214]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.46/18.58 c ---[2212]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.46/18.59 c ---[2210]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.46/18.59 c ---[2208]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.46/18.60 c ---[2206]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.56/18.60 c ---[2204]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.56/18.61 c ---[2202]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.56/18.61 c ---[2200]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.56/18.62 c ---[2198]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.56/18.62 c ---[2196]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.56/18.63 c ---[2194]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.56/18.63 c ---[2192]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.56/18.64 c ---[2190]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.56/18.64 c ---[2188]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.56/18.65 c ---[2186]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.56/18.65 c ---[2184]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.56/18.66 c ---[2182]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.56/18.66 c ---[2180]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.56/18.67 c ---[2178]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.56/18.67 c ---[2176]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.56/18.68 c ---[2174]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.56/18.68 c ---[2172]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.56/18.69 c ---[2170]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.56/18.69 c ---[2168]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.56/18.70 c ---[2166]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.56/18.70 c ---[2164]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.66/18.71 c ---[2162]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.66/18.71 c ---[2160]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.66/18.72 c ---[2158]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.66/18.72 c ---[2156]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.66/18.73 c ---[2154]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.66/18.73 c ---[2152]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.66/18.74 c ---[2150]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.66/18.74 c ---[2148]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.66/18.74 c ---[2146]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.66/18.75 c ---[2144]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.66/18.75 c ---[2142]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.66/18.76 c ---[2140]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.66/18.76 c ---[2138]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.66/18.77 c ---[2136]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.66/18.77 c ---[2134]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.66/18.78 c ---[2132]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.66/18.78 c ---[2130]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.66/18.79 c ---[2128]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.66/18.79 c ---[2126]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.75/18.80 c ---[2124]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.75/18.80 c ---[2122]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.75/18.81 c ---[2120]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.75/18.81 c ---[2118]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.75/18.82 c ---[2116]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.75/18.82 c ---[2114]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.75/18.83 c ---[2112]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.75/18.83 c ---[2110]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.75/18.84 c ---[2108]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.75/18.84 c ---[2106]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.75/18.85 c ---[2104]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.75/18.85 c ---[2102]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.75/18.86 c ---[2100]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.75/18.86 c ---[2098]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.75/18.87 c ---[2096]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.75/18.87 c ---[2094]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.75/18.88 c ---[2092]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.75/18.88 c ---[2090]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.75/18.89 c ---[2088]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.75/18.89 c ---[2086]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.85/18.90 c ---[2084]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.85/18.90 c ---[2082]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.85/18.91 c ---[2080]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.85/18.91 c ---[2078]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.85/18.92 c ---[2076]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.85/18.92 c ---[2074]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.85/18.93 c ---[2072]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.85/18.93 c ---[2070]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.85/18.94 c ---[2068]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.85/18.94 c ---[2066]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.85/18.95 c ---[2064]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.85/18.95 c ---[2062]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.85/18.96 c ---[2060]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.85/18.96 c ---[2058]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.85/18.97 c ---[2056]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.85/18.97 c ---[2054]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.85/18.98 c ---[2052]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.85/18.98 c ---[2050]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.85/18.99 c ---[2048]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.85/18.99 c ---[2046]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.95/19.00 c ---[2044]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.95/19.00 c ---[2042]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.95/19.01 c ---[2040]---> Adder-cost: 128 maxlim: 99 bits: 7/7 18.95/19.01 c ---[2038]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.95/19.02 c ---[2036]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.95/19.02 c ---[2034]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.95/19.03 c ---[2032]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.95/19.03 c ---[2030]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.95/19.04 c ---[2028]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.95/19.04 c ---[2026]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.95/19.05 c ---[2024]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.95/19.05 c ---[2022]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.95/19.06 c ---[2020]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.95/19.06 c ---[2018]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.95/19.07 c ---[2016]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.95/19.07 c ---[2014]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.95/19.08 c ---[2012]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.95/19.08 c ---[2010]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.95/19.09 c ---[2008]---> Adder-cost: 120 maxlim: 99 bits: 7/7 18.95/19.09 c ---[2006]---> Adder-cost: 122 maxlim: 99 bits: 7/7 18.95/19.10 c ---[2004]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.05/19.10 c ---[2002]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.05/19.11 c ---[2000]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.05/19.11 c ---[1998]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.05/19.12 c ---[1996]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.05/19.12 c ---[1994]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.05/19.13 c ---[1992]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.05/19.13 c ---[1990]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.05/19.14 c ---[1988]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.05/19.14 c ---[1986]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.05/19.15 c ---[1984]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.05/19.15 c ---[1982]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.05/19.16 c ---[1980]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.05/19.16 c ---[1978]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.05/19.16 c ---[1976]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.05/19.17 c ---[1974]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.05/19.17 c ---[1972]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.05/19.18 c ---[1970]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.05/19.18 c ---[1968]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.05/19.19 c ---[1966]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.05/19.19 c ---[1964]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.15/19.20 c ---[1962]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.15/19.20 c ---[1960]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.15/19.21 c ---[1958]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.15/19.21 c ---[1956]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.15/19.22 c ---[1954]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.15/19.22 c ---[1952]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.15/19.23 c ---[1950]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.15/19.23 c ---[1948]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.15/19.24 c ---[1946]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.15/19.24 c ---[1944]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.15/19.25 c ---[1942]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.15/19.25 c ---[1940]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.15/19.26 c ---[1938]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.15/19.26 c ---[1936]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.15/19.27 c ---[1934]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.15/19.27 c ---[1932]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.15/19.28 c ---[1930]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.15/19.28 c ---[1928]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.15/19.29 c ---[1926]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.15/19.29 c ---[1924]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.25/19.30 c ---[1922]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.25/19.30 c ---[1920]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.25/19.31 c ---[1918]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.25/19.31 c ---[1916]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.25/19.32 c ---[1914]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.25/19.32 c ---[1912]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.25/19.33 c ---[1910]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.25/19.33 c ---[1908]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.25/19.34 c ---[1906]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.25/19.34 c ---[1904]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.25/19.35 c ---[1902]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.25/19.35 c ---[1900]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.25/19.36 c ---[1898]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.25/19.36 c ---[1896]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.25/19.37 c ---[1894]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.25/19.37 c ---[1892]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.25/19.38 c ---[1890]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.25/19.38 c ---[1888]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.25/19.39 c ---[1886]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.25/19.39 c ---[1884]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.36/19.40 c ---[1882]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.36/19.40 c ---[1880]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.36/19.41 c ---[1878]---> Adder-cost: 128 maxlim: 99 bits: 7/7 19.36/19.41 c ---[1876]---> Adder-cost: 128 maxlim: 99 bits: 7/7 19.36/19.42 c ---[1874]---> Adder-cost: 128 maxlim: 99 bits: 7/7 19.36/19.42 c ---[1872]---> Adder-cost: 128 maxlim: 99 bits: 7/7 19.36/19.43 c ---[1870]---> Adder-cost: 128 maxlim: 99 bits: 7/7 19.36/19.43 c ---[1868]---> Adder-cost: 128 maxlim: 99 bits: 7/7 19.36/19.44 c ---[1866]---> Adder-cost: 128 maxlim: 99 bits: 7/7 19.36/19.44 c ---[1864]---> Adder-cost: 128 maxlim: 99 bits: 7/7 19.36/19.45 c ---[1862]---> Adder-cost: 128 maxlim: 99 bits: 7/7 19.36/19.45 c ---[1860]---> Adder-cost: 128 maxlim: 99 bits: 7/7 19.36/19.46 c ---[1858]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.36/19.46 c ---[1856]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.36/19.47 c ---[1854]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.36/19.47 c ---[1852]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.36/19.48 c ---[1850]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.36/19.48 c ---[1848]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.36/19.49 c ---[1846]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.36/19.49 c ---[1844]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.46/19.50 c ---[1842]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.46/19.50 c ---[1840]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.46/19.51 c ---[1838]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.46/19.51 c ---[1836]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.46/19.52 c ---[1834]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.46/19.52 c ---[1832]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.46/19.53 c ---[1830]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.46/19.53 c ---[1828]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.46/19.54 c ---[1826]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.46/19.54 c ---[1824]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.46/19.55 c ---[1822]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.46/19.55 c ---[1820]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.46/19.56 c ---[1818]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.46/19.56 c ---[1816]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.46/19.57 c ---[1814]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.46/19.57 c ---[1812]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.46/19.58 c ---[1810]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.46/19.58 c ---[1808]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.46/19.59 c ---[1806]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.46/19.59 c ---[1804]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.56/19.60 c ---[1802]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.56/19.60 c ---[1800]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.56/19.61 c ---[1798]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.56/19.61 c ---[1796]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.56/19.62 c ---[1794]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.56/19.62 c ---[1792]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.56/19.63 c ---[1790]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.56/19.63 c ---[1788]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.56/19.64 c ---[1786]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.56/19.64 c ---[1784]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.56/19.65 c ---[1782]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.56/19.65 c ---[1780]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.56/19.66 c ---[1778]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.56/19.66 c ---[1776]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.56/19.67 c ---[1774]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.56/19.67 c ---[1772]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.56/19.68 c ---[1770]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.56/19.68 c ---[1768]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.56/19.69 c ---[1766]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.56/19.69 c ---[1764]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.56/19.70 c ---[1762]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.66/19.70 c ---[1760]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.66/19.71 c ---[1758]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.66/19.71 c ---[1756]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.66/19.72 c ---[1754]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.66/19.72 c ---[1752]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.66/19.73 c ---[1750]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.66/19.73 c ---[1748]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.66/19.74 c ---[1746]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.66/19.74 c ---[1744]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.66/19.75 c ---[1742]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.66/19.75 c ---[1740]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.66/19.76 c ---[1738]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.66/19.76 c ---[1736]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.66/19.77 c ---[1734]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.66/19.77 c ---[1732]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.66/19.78 c ---[1730]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.66/19.78 c ---[1728]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.66/19.79 c ---[1726]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.66/19.79 c ---[1724]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.66/19.80 c ---[1722]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.75/19.80 c ---[1720]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.75/19.81 c ---[1718]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.75/19.81 c ---[1716]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.75/19.82 c ---[1714]---> Adder-cost: 114 maxlim: 99 bits: 7/7 19.75/19.82 c ---[1712]---> Adder-cost: 114 maxlim: 99 bits: 7/7 19.75/19.83 c ---[1710]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.75/19.83 c ---[1708]---> Adder-cost: 114 maxlim: 99 bits: 7/7 19.75/19.84 c ---[1706]---> Adder-cost: 114 maxlim: 99 bits: 7/7 19.75/19.84 c ---[1704]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.75/19.85 c ---[1702]---> Adder-cost: 114 maxlim: 99 bits: 7/7 19.75/19.85 c ---[1700]---> Adder-cost: 114 maxlim: 99 bits: 7/7 19.75/19.86 c ---[1698]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.75/19.86 c ---[1696]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.75/19.87 c ---[1694]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.75/19.87 c ---[1692]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.75/19.88 c ---[1690]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.75/19.88 c ---[1688]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.75/19.89 c ---[1686]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.75/19.89 c ---[1684]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.85/19.90 c ---[1682]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.85/19.90 c ---[1680]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.85/19.91 c ---[1678]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.85/19.91 c ---[1676]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.85/19.92 c ---[1674]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.85/19.92 c ---[1672]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.85/19.93 c ---[1670]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.85/19.93 c ---[1668]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.85/19.94 c ---[1666]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.85/19.94 c ---[1664]---> Adder-cost: 124 maxlim: 99 bits: 7/7 19.85/19.95 c ---[1662]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.85/19.95 c ---[1660]---> Adder-cost: 118 maxlim: 99 bits: 7/7 19.85/19.96 c ---[1658]---> Adder-cost: 116 maxlim: 99 bits: 7/7 19.85/19.96 c ---[1656]---> Adder-cost: 116 maxlim: 99 bits: 7/7 19.85/19.97 c ---[1654]---> Adder-cost: 114 maxlim: 99 bits: 7/7 19.85/19.97 c ---[1652]---> Adder-cost: 114 maxlim: 99 bits: 7/7 19.85/19.98 c ---[1650]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.85/19.98 c ---[1648]---> Adder-cost: 114 maxlim: 99 bits: 7/7 19.85/19.99 c ---[1646]---> Adder-cost: 114 maxlim: 99 bits: 7/7 19.85/19.99 c ---[1644]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.95/20.00 c ---[1642]---> Adder-cost: 114 maxlim: 99 bits: 7/7 19.95/20.00 c ---[1640]---> Adder-cost: 114 maxlim: 99 bits: 7/7 19.95/20.01 c ---[1638]---> Adder-cost: 116 maxlim: 99 bits: 7/7 19.95/20.01 c ---[1636]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.95/20.02 c ---[1634]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.95/20.02 c ---[1632]---> Adder-cost: 116 maxlim: 99 bits: 7/7 19.95/20.03 c ---[1630]---> Adder-cost: 116 maxlim: 99 bits: 7/7 19.95/20.03 c ---[1628]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.95/20.04 c ---[1626]---> Adder-cost: 116 maxlim: 99 bits: 7/7 19.95/20.04 c ---[1624]---> Adder-cost: 116 maxlim: 99 bits: 7/7 19.95/20.05 c ---[1622]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.95/20.05 c ---[1620]---> Adder-cost: 116 maxlim: 99 bits: 7/7 19.95/20.06 c ---[1618]---> Adder-cost: 114 maxlim: 99 bits: 7/7 19.95/20.06 c ---[1616]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.95/20.07 c ---[1614]---> Adder-cost: 120 maxlim: 99 bits: 7/7 19.95/20.07 c ---[1612]---> Adder-cost: 116 maxlim: 99 bits: 7/7 19.95/20.08 c ---[1610]---> Adder-cost: 116 maxlim: 99 bits: 7/7 19.95/20.08 c ---[1608]---> Adder-cost: 122 maxlim: 99 bits: 7/7 19.95/20.09 c ---[1606]---> Adder-cost: 116 maxlim: 99 bits: 7/7 19.95/20.09 c ---[1604]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.05/20.10 c ---[1602]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.05/20.10 c ---[1600]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.05/20.11 c ---[1598]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.05/20.11 c ---[1596]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.05/20.12 c ---[1594]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.05/20.12 c ---[1592]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.05/20.13 c ---[1590]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.05/20.13 c ---[1588]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.05/20.14 c ---[1586]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.05/20.14 c ---[1584]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.05/20.15 c ---[1582]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.05/20.15 c ---[1580]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.05/20.16 c ---[1578]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.05/20.16 c ---[1576]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.05/20.17 c ---[1574]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.05/20.17 c ---[1572]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.05/20.18 c ---[1570]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.05/20.18 c ---[1568]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.05/20.19 c ---[1566]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.05/20.19 c ---[1564]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.15/20.20 c ---[1562]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.15/20.20 c ---[1560]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.15/20.21 c ---[1558]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.15/20.21 c ---[1556]---> Adder-cost: 120 maxlim: 99 bits: 7/7 20.15/20.22 c ---[1554]---> Adder-cost: 120 maxlim: 99 bits: 7/7 20.15/20.22 c ---[1552]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.15/20.23 c ---[1550]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.15/20.23 c ---[1548]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.15/20.24 c ---[1546]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.15/20.25 c ---[1544]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.15/20.25 c ---[1542]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.15/20.26 c ---[1540]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.15/20.26 c ---[1538]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.15/20.27 c ---[1536]---> Adder-cost: 120 maxlim: 99 bits: 7/7 20.15/20.27 c ---[1534]---> Adder-cost: 120 maxlim: 99 bits: 7/7 20.15/20.28 c ---[1532]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.15/20.28 c ---[1530]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.15/20.29 c ---[1528]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.15/20.29 c ---[1526]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.15/20.30 c ---[1524]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.24/20.30 c ---[1522]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.24/20.31 c ---[1520]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.24/20.31 c ---[1518]---> Adder-cost: 114 maxlim: 99 bits: 7/7 20.24/20.32 c ---[1516]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.24/20.32 c ---[1514]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.24/20.33 c ---[1512]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.24/20.33 c ---[1510]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.24/20.34 c ---[1508]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.24/20.34 c ---[1506]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.24/20.35 c ---[1504]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.24/20.35 c ---[1502]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.24/20.36 c ---[1500]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.24/20.36 c ---[1498]---> Adder-cost: 114 maxlim: 99 bits: 7/7 20.24/20.37 c ---[1496]---> Adder-cost: 120 maxlim: 99 bits: 7/7 20.24/20.37 c ---[1494]---> Adder-cost: 120 maxlim: 99 bits: 7/7 20.24/20.38 c ---[1492]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.24/20.38 c ---[1490]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.24/20.39 c ---[1488]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.24/20.39 c ---[1486]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.24/20.40 c ---[1484]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.34/20.40 c ---[1482]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.34/20.41 c ---[1480]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.34/20.41 c ---[1478]---> Adder-cost: 114 maxlim: 99 bits: 7/7 20.34/20.42 c ---[1476]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.34/20.42 c ---[1474]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.34/20.43 c ---[1472]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.34/20.43 c ---[1470]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.34/20.44 c ---[1468]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.34/20.44 c ---[1466]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.34/20.45 c ---[1464]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.34/20.45 c ---[1462]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.34/20.46 c ---[1460]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.34/20.46 c ---[1458]---> Adder-cost: 112 maxlim: 99 bits: 7/7 20.34/20.47 c ---[1456]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.34/20.47 c ---[1454]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.34/20.48 c ---[1452]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.34/20.48 c ---[1450]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.34/20.49 c ---[1448]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.34/20.49 c ---[1446]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.44/20.50 c ---[1444]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.44/20.50 c ---[1442]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.44/20.51 c ---[1440]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.44/20.51 c ---[1438]---> Adder-cost: 114 maxlim: 99 bits: 7/7 20.44/20.52 c ---[1436]---> Adder-cost: 110 maxlim: 99 bits: 7/7 20.44/20.52 c ---[1434]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.44/20.53 c ---[1432]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.44/20.53 c ---[1430]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.44/20.54 c ---[1428]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.44/20.54 c ---[1426]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.44/20.55 c ---[1424]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.44/20.55 c ---[1422]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.44/20.56 c ---[1420]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.44/20.56 c ---[1418]---> Adder-cost: 114 maxlim: 99 bits: 7/7 20.44/20.57 c ---[1416]---> Adder-cost: 112 maxlim: 99 bits: 7/7 20.44/20.57 c ---[1414]---> Adder-cost: 120 maxlim: 99 bits: 7/7 20.44/20.58 c ---[1412]---> Adder-cost: 120 maxlim: 99 bits: 7/7 20.44/20.58 c ---[1410]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.44/20.59 c ---[1408]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.44/20.59 c ---[1406]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.54/20.60 c ---[1404]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.54/20.60 c ---[1402]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.54/20.61 c ---[1400]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.54/20.61 c ---[1398]---> Adder-cost: 114 maxlim: 99 bits: 7/7 20.54/20.62 c ---[1396]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.54/20.62 c ---[1394]---> Adder-cost: 120 maxlim: 99 bits: 7/7 20.54/20.63 c ---[1392]---> Adder-cost: 120 maxlim: 99 bits: 7/7 20.54/20.63 c ---[1390]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.54/20.64 c ---[1388]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.54/20.64 c ---[1386]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.54/20.65 c ---[1384]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.54/20.65 c ---[1382]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.54/20.66 c ---[1380]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.54/20.66 c ---[1378]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.54/20.67 c ---[1376]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.54/20.67 c ---[1374]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.54/20.68 c ---[1372]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.54/20.68 c ---[1370]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.54/20.69 c ---[1368]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.54/20.69 c ---[1366]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.64/20.70 c ---[1364]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.64/20.71 c ---[1362]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.64/20.71 c ---[1360]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.64/20.72 c ---[1358]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.64/20.72 c ---[1356]---> Adder-cost: 114 maxlim: 99 bits: 7/7 20.64/20.77 c ---[1354]---> Adder-cost: 120 maxlim: 99 bits: 7/7 20.64/20.78 c ---[1352]---> Adder-cost: 120 maxlim: 99 bits: 7/7 20.64/20.78 c ---[1350]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.64/20.79 c ---[1348]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.64/20.79 c ---[1346]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.64/20.80 c ---[1344]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.74/20.80 c ---[1342]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.74/20.81 c ---[1340]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.74/20.81 c ---[1338]---> Adder-cost: 114 maxlim: 99 bits: 7/7 20.74/20.82 c ---[1336]---> Adder-cost: 114 maxlim: 99 bits: 7/7 20.74/20.83 c ---[1334]---> Adder-cost: 118 maxlim: 99 bits: 7/7 20.74/20.83 c ---[1332]---> Adder-cost: 118 maxlim: 99 bits: 7/7 20.74/20.84 c ---[1330]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.74/20.84 c ---[1328]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.74/20.85 c ---[1326]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.74/20.85 c ---[1324]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.74/20.86 c ---[1322]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.74/20.86 c ---[1320]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.74/20.87 c ---[1318]---> Adder-cost: 114 maxlim: 99 bits: 7/7 20.74/20.87 c ---[1316]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.74/20.88 c ---[1314]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.74/20.88 c ---[1312]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.74/20.89 c ---[1310]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.74/20.89 c ---[1308]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.74/20.90 c ---[1306]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.84/20.90 c ---[1304]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.84/20.91 c ---[1302]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.84/20.91 c ---[1300]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.84/20.92 c ---[1298]---> Adder-cost: 114 maxlim: 99 bits: 7/7 20.84/20.92 c ---[1296]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.84/20.93 c ---[1294]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.84/20.93 c ---[1292]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.84/20.94 c ---[1290]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.84/20.94 c ---[1288]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.84/20.95 c ---[1286]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.84/20.95 c ---[1284]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.84/20.96 c ---[1282]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.84/20.96 c ---[1280]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.84/20.97 c ---[1278]---> Adder-cost: 112 maxlim: 99 bits: 7/7 20.84/20.97 c ---[1276]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.84/20.98 c ---[1274]---> Adder-cost: 118 maxlim: 99 bits: 7/7 20.84/20.98 c ---[1272]---> Adder-cost: 118 maxlim: 99 bits: 7/7 20.84/20.99 c ---[1270]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.84/20.99 c ---[1268]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.93/21.00 c ---[1266]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.93/21.00 c ---[1264]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.93/21.01 c ---[1262]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.93/21.01 c ---[1260]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.93/21.02 c ---[1258]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.93/21.02 c ---[1256]---> Adder-cost: 114 maxlim: 99 bits: 7/7 20.93/21.03 c ---[1254]---> Adder-cost: 120 maxlim: 99 bits: 7/7 20.93/21.03 c ---[1252]---> Adder-cost: 120 maxlim: 99 bits: 7/7 20.93/21.04 c ---[1250]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.93/21.04 c ---[1248]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.93/21.05 c ---[1246]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.93/21.05 c ---[1244]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.93/21.06 c ---[1242]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.93/21.06 c ---[1240]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.93/21.07 c ---[1238]---> Adder-cost: 120 maxlim: 99 bits: 7/7 20.93/21.07 c ---[1236]---> Adder-cost: 116 maxlim: 99 bits: 7/7 20.93/21.08 c ---[1234]---> Adder-cost: 114 maxlim: 99 bits: 7/7 20.93/21.08 c ---[1232]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.93/21.09 c ---[1230]---> Adder-cost: 122 maxlim: 99 bits: 7/7 20.93/21.10 c ---[1228]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.03/21.10 c ---[1226]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.03/21.11 c ---[1224]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.03/21.11 c ---[1222]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.03/21.12 c ---[1220]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.03/21.12 c ---[1218]---> Adder-cost: 118 maxlim: 99 bits: 7/7 21.03/21.13 c ---[1216]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.03/21.13 c ---[1214]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.03/21.14 c ---[1212]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.03/21.14 c ---[1210]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.03/21.15 c ---[1208]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.03/21.15 c ---[1206]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.03/21.16 c ---[1204]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.03/21.16 c ---[1202]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.03/21.17 c ---[1200]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.03/21.17 c ---[1198]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.03/21.18 c ---[1196]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.03/21.18 c ---[1194]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.03/21.19 c ---[1192]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.03/21.19 c ---[1190]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.13/21.20 c ---[1188]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.13/21.20 c ---[1186]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.13/21.21 c ---[1184]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.13/21.21 c ---[1182]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.13/21.22 c ---[1180]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.13/21.22 c ---[1178]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.13/21.23 c ---[1176]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.13/21.23 c ---[1174]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.13/21.24 c ---[1172]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.13/21.24 c ---[1170]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.13/21.25 c ---[1168]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.13/21.25 c ---[1166]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.13/21.26 c ---[1164]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.13/21.26 c ---[1162]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.13/21.27 c ---[1160]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.13/21.27 c ---[1158]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.13/21.28 c ---[1156]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.13/21.28 c ---[1154]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.13/21.29 c ---[1152]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.13/21.29 c ---[1150]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.23/21.30 c ---[1148]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.23/21.31 c ---[1146]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.23/21.31 c ---[1144]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.23/21.32 c ---[1142]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.23/21.32 c ---[1140]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.23/21.33 c ---[1138]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.23/21.33 c ---[1136]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.23/21.34 c ---[1134]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.23/21.34 c ---[1132]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.23/21.35 c ---[1130]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.23/21.35 c ---[1128]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.23/21.36 c ---[1126]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.23/21.36 c ---[1124]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.23/21.37 c ---[1122]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.23/21.37 c ---[1120]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.23/21.38 c ---[1118]---> Adder-cost: 118 maxlim: 99 bits: 7/7 21.23/21.38 c ---[1116]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.23/21.39 c ---[1114]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.23/21.39 c ---[1112]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.33/21.40 c ---[1110]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.33/21.40 c ---[1108]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.33/21.41 c ---[1106]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.33/21.41 c ---[1104]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.33/21.42 c ---[1102]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.33/21.42 c ---[1100]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.33/21.43 c ---[1098]---> Adder-cost: 118 maxlim: 99 bits: 7/7 21.33/21.43 c ---[1096]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.33/21.44 c ---[1094]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.33/21.44 c ---[1092]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.33/21.45 c ---[1090]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.33/21.45 c ---[1088]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.33/21.46 c ---[1086]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.33/21.46 c ---[1084]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.33/21.47 c ---[1082]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.33/21.47 c ---[1080]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.33/21.48 c ---[1078]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.33/21.48 c ---[1076]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.33/21.49 c ---[1074]---> Adder-cost: 112 maxlim: 99 bits: 7/7 21.33/21.49 c ---[1072]---> Adder-cost: 118 maxlim: 99 bits: 7/7 21.43/21.50 c ---[1070]---> Adder-cost: 118 maxlim: 99 bits: 7/7 21.43/21.51 c ---[1068]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.43/21.51 c ---[1066]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.43/21.52 c ---[1064]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.43/21.52 c ---[1062]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.43/21.53 c ---[1060]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.43/21.53 c ---[1058]---> Adder-cost: 118 maxlim: 99 bits: 7/7 21.43/21.54 c ---[1056]---> Adder-cost: 112 maxlim: 99 bits: 7/7 21.43/21.54 c ---[1054]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.43/21.55 c ---[1052]---> Adder-cost: 118 maxlim: 99 bits: 7/7 21.43/21.55 c ---[1050]---> Adder-cost: 118 maxlim: 99 bits: 7/7 21.43/21.56 c ---[1048]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.43/21.56 c ---[1046]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.43/21.57 c ---[1044]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.43/21.57 c ---[1042]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.43/21.58 c ---[1040]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.43/21.58 c ---[1038]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.43/21.59 c ---[1036]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.43/21.59 c ---[1034]---> Adder-cost: 110 maxlim: 99 bits: 7/7 21.53/21.60 c ---[1032]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.53/21.60 c ---[1030]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.53/21.61 c ---[1028]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.53/21.61 c ---[1026]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.53/21.62 c ---[1024]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.53/21.62 c ---[1022]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.53/21.63 c ---[1020]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.53/21.63 c ---[1018]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.53/21.64 c ---[1016]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.53/21.64 c ---[1014]---> Adder-cost: 112 maxlim: 99 bits: 7/7 21.53/21.65 c ---[1012]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.53/21.65 c ---[1010]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.53/21.66 c ---[1008]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.53/21.66 c ---[1006]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.53/21.67 c ---[1004]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.53/21.67 c ---[1002]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.53/21.68 c ---[1000]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.53/21.68 c ---[ 998]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.53/21.69 c ---[ 996]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.53/21.69 c ---[ 994]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.63/21.70 c ---[ 992]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.63/21.70 c ---[ 990]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.63/21.71 c ---[ 988]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.63/21.71 c ---[ 986]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.63/21.72 c ---[ 984]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.63/21.72 c ---[ 982]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.63/21.73 c ---[ 980]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.63/21.74 c ---[ 978]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.63/21.74 c ---[ 976]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.63/21.75 c ---[ 974]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.63/21.75 c ---[ 972]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.63/21.76 c ---[ 970]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.63/21.76 c ---[ 968]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.63/21.77 c ---[ 966]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.63/21.77 c ---[ 964]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.63/21.78 c ---[ 962]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.63/21.78 c ---[ 960]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.63/21.79 c ---[ 958]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.63/21.79 c ---[ 956]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.63/21.80 c ---[ 954]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.73/21.80 c ---[ 952]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.73/21.81 c ---[ 950]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.73/21.81 c ---[ 948]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.73/21.82 c ---[ 946]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.73/21.82 c ---[ 944]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.73/21.83 c ---[ 942]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.73/21.83 c ---[ 940]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.73/21.84 c ---[ 938]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.73/21.84 c ---[ 936]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.73/21.85 c ---[ 934]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.73/21.85 c ---[ 932]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.73/21.86 c ---[ 930]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.73/21.86 c ---[ 928]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.73/21.87 c ---[ 926]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.73/21.87 c ---[ 924]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.73/21.88 c ---[ 922]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.73/21.88 c ---[ 920]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.73/21.89 c ---[ 918]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.73/21.89 c ---[ 916]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.73/21.90 c ---[ 914]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.83/21.90 c ---[ 912]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.83/21.91 c ---[ 910]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.83/21.91 c ---[ 908]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.83/21.92 c ---[ 906]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.83/21.92 c ---[ 904]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.83/21.93 c ---[ 902]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.83/21.94 c ---[ 900]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.83/21.94 c ---[ 898]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.83/21.95 c ---[ 896]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.83/21.95 c ---[ 894]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.83/21.96 c ---[ 892]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.83/21.96 c ---[ 890]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.83/21.97 c ---[ 888]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.83/21.97 c ---[ 886]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.83/21.98 c ---[ 884]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.83/21.98 c ---[ 882]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.83/21.99 c ---[ 880]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.83/21.99 c ---[ 878]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.83/22.00 c ---[ 876]---> Adder-cost: 120 maxlim: 99 bits: 7/7 21.93/22.00 c ---[ 874]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.93/22.01 c ---[ 872]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.93/22.01 c ---[ 870]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.93/22.02 c ---[ 868]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.93/22.02 c ---[ 866]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.93/22.03 c ---[ 864]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.93/22.03 c ---[ 862]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.93/22.04 c ---[ 860]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.93/22.04 c ---[ 858]---> Adder-cost: 112 maxlim: 99 bits: 7/7 21.93/22.05 c ---[ 856]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.93/22.05 c ---[ 854]---> Adder-cost: 114 maxlim: 99 bits: 7/7 21.93/22.06 c ---[ 852]---> Adder-cost: 112 maxlim: 99 bits: 7/7 21.93/22.06 c ---[ 850]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.93/22.07 c ---[ 848]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.93/22.07 c ---[ 846]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.93/22.08 c ---[ 844]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.93/22.08 c ---[ 842]---> Adder-cost: 122 maxlim: 99 bits: 7/7 21.93/22.09 c ---[ 840]---> Adder-cost: 116 maxlim: 99 bits: 7/7 21.93/22.09 c ---[ 838]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.02/22.10 c ---[ 836]---> Adder-cost: 110 maxlim: 99 bits: 7/7 22.02/22.10 c ---[ 834]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.02/22.11 c ---[ 832]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.02/22.11 c ---[ 830]---> Adder-cost: 110 maxlim: 99 bits: 7/7 22.02/22.12 c ---[ 828]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.02/22.12 c ---[ 826]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.02/22.13 c ---[ 824]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.02/22.14 c ---[ 822]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.02/22.14 c ---[ 820]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.02/22.15 c ---[ 818]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.02/22.15 c ---[ 816]---> Adder-cost: 112 maxlim: 99 bits: 7/7 22.02/22.16 c ---[ 814]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.02/22.16 c ---[ 812]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.02/22.17 c ---[ 810]---> Adder-cost: 112 maxlim: 99 bits: 7/7 22.02/22.17 c ---[ 808]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.02/22.18 c ---[ 806]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.02/22.18 c ---[ 804]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.02/22.19 c ---[ 802]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.02/22.19 c ---[ 800]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.12/22.20 c ---[ 798]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.12/22.20 c ---[ 796]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.12/22.21 c ---[ 794]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.12/22.21 c ---[ 792]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.12/22.22 c ---[ 790]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.12/22.22 c ---[ 788]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.12/22.23 c ---[ 786]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.12/22.23 c ---[ 784]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.12/22.24 c ---[ 782]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.12/22.24 c ---[ 780]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.12/22.25 c ---[ 778]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.12/22.25 c ---[ 776]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.12/22.26 c ---[ 774]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.12/22.26 c ---[ 772]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.12/22.27 c ---[ 770]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.12/22.27 c ---[ 768]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.12/22.28 c ---[ 766]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.12/22.28 c ---[ 764]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.12/22.29 c ---[ 762]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.12/22.30 c ---[ 760]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.22/22.30 c ---[ 758]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.22/22.31 c ---[ 756]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.22/22.31 c ---[ 754]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.22/22.32 c ---[ 752]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.22/22.32 c ---[ 750]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.22/22.33 c ---[ 748]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.22/22.33 c ---[ 746]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.22/22.34 c ---[ 744]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.22/22.34 c ---[ 742]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.22/22.35 c ---[ 740]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.22/22.35 c ---[ 738]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.22/22.36 c ---[ 736]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.22/22.36 c ---[ 734]---> Adder-cost: 118 maxlim: 99 bits: 7/7 22.22/22.37 c ---[ 732]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.22/22.37 c ---[ 730]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.22/22.38 c ---[ 728]---> Adder-cost: 118 maxlim: 99 bits: 7/7 22.22/22.38 c ---[ 726]---> Adder-cost: 118 maxlim: 99 bits: 7/7 22.22/22.39 c ---[ 724]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.22/22.39 c ---[ 722]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.32/22.40 c ---[ 720]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.32/22.40 c ---[ 718]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.32/22.41 c ---[ 716]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.32/22.41 c ---[ 714]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.32/22.42 c ---[ 712]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.32/22.42 c ---[ 710]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.32/22.43 c ---[ 708]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.32/22.43 c ---[ 706]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.32/22.44 c ---[ 704]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.32/22.44 c ---[ 702]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.32/22.45 c ---[ 700]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.32/22.46 c ---[ 698]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.32/22.46 c ---[ 696]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.32/22.47 c ---[ 694]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.32/22.47 c ---[ 692]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.32/22.48 c ---[ 690]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.32/22.48 c ---[ 688]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.32/22.49 c ---[ 686]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.32/22.49 c ---[ 684]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.32/22.50 c ---[ 682]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.41/22.50 c ---[ 680]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.41/22.51 c ---[ 678]---> Adder-cost: 112 maxlim: 99 bits: 7/7 22.41/22.51 c ---[ 676]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.41/22.52 c ---[ 674]---> Adder-cost: 118 maxlim: 99 bits: 7/7 22.41/22.52 c ---[ 672]---> Adder-cost: 112 maxlim: 99 bits: 7/7 22.41/22.53 c ---[ 670]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.41/22.53 c ---[ 668]---> Adder-cost: 118 maxlim: 99 bits: 7/7 22.41/22.54 c ---[ 666]---> Adder-cost: 118 maxlim: 99 bits: 7/7 22.41/22.54 c ---[ 664]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.41/22.55 c ---[ 662]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.41/22.55 c ---[ 660]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.41/22.56 c ---[ 658]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.41/22.56 c ---[ 656]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.41/22.57 c ---[ 654]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.41/22.57 c ---[ 652]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.41/22.58 c ---[ 650]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.41/22.58 c ---[ 648]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.41/22.59 c ---[ 646]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.41/22.59 c ---[ 644]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.51/22.60 c ---[ 642]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.51/22.60 c ---[ 640]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.51/22.61 c ---[ 638]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.51/22.61 c ---[ 636]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.51/22.62 c ---[ 634]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.51/22.63 c ---[ 632]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.51/22.63 c ---[ 630]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.51/22.64 c ---[ 628]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.51/22.64 c ---[ 626]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.51/22.65 c ---[ 624]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.51/22.65 c ---[ 622]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.51/22.66 c ---[ 620]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.51/22.66 c ---[ 618]---> Adder-cost: 118 maxlim: 99 bits: 7/7 22.51/22.67 c ---[ 616]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.51/22.67 c ---[ 614]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.51/22.68 c ---[ 612]---> Adder-cost: 118 maxlim: 99 bits: 7/7 22.51/22.68 c ---[ 610]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.51/22.69 c ---[ 608]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.51/22.69 c ---[ 606]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.61/22.70 c ---[ 604]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.61/22.70 c ---[ 602]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.61/22.71 c ---[ 600]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.61/22.71 c ---[ 598]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.61/22.72 c ---[ 596]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.61/22.72 c ---[ 594]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.61/22.73 c ---[ 592]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.61/22.73 c ---[ 590]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.61/22.74 c ---[ 588]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.61/22.74 c ---[ 586]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.61/22.75 c ---[ 584]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.61/22.75 c ---[ 582]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.61/22.76 c ---[ 580]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.61/22.76 c ---[ 578]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.61/22.77 c ---[ 576]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.61/22.77 c ---[ 574]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.61/22.78 c ---[ 572]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.61/22.79 c ---[ 570]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.61/22.79 c ---[ 568]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.61/22.80 c ---[ 566]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.71/22.80 c ---[ 564]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.71/22.81 c ---[ 562]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.71/22.81 c ---[ 560]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.71/22.82 c ---[ 558]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.71/22.82 c ---[ 556]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.71/22.83 c ---[ 554]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.71/22.83 c ---[ 552]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.71/22.84 c ---[ 550]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.71/22.84 c ---[ 548]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.71/22.85 c ---[ 546]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.71/22.85 c ---[ 544]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.71/22.86 c ---[ 542]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.71/22.86 c ---[ 540]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.71/22.87 c ---[ 538]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.71/22.87 c ---[ 536]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.71/22.88 c ---[ 534]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.71/22.88 c ---[ 532]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.71/22.89 c ---[ 530]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.71/22.89 c ---[ 528]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.81/22.90 c ---[ 526]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.81/22.90 c ---[ 524]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.81/22.91 c ---[ 522]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.81/22.92 c ---[ 520]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.81/22.92 c ---[ 518]---> Adder-cost: 118 maxlim: 99 bits: 7/7 22.81/22.93 c ---[ 516]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.81/22.93 c ---[ 514]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.81/22.94 c ---[ 512]---> Adder-cost: 118 maxlim: 99 bits: 7/7 22.81/22.94 c ---[ 510]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.81/22.95 c ---[ 508]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.81/22.95 c ---[ 506]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.81/22.96 c ---[ 504]---> Adder-cost: 122 maxlim: 99 bits: 7/7 22.81/22.96 c ---[ 502]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.81/22.97 c ---[ 500]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.81/22.97 c ---[ 498]---> Adder-cost: 118 maxlim: 99 bits: 7/7 22.81/22.98 c ---[ 496]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.81/22.98 c ---[ 494]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.81/22.99 c ---[ 492]---> Adder-cost: 118 maxlim: 99 bits: 7/7 22.81/22.99 c ---[ 490]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.81/23.00 c ---[ 488]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.91/23.00 c ---[ 486]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.91/23.01 c ---[ 484]---> Adder-cost: 120 maxlim: 99 bits: 7/7 22.91/23.01 c ---[ 482]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.91/23.02 c ---[ 480]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.91/23.02 c ---[ 478]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.91/23.03 c ---[ 476]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.91/23.03 c ---[ 474]---> Adder-cost: 112 maxlim: 99 bits: 7/7 22.91/23.04 c ---[ 472]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.91/23.04 c ---[ 470]---> Adder-cost: 114 maxlim: 99 bits: 7/7 22.91/23.05 c ---[ 468]---> Adder-cost: 112 maxlim: 99 bits: 7/7 22.91/23.05 c ---[ 466]---> Adder-cost: 118 maxlim: 99 bits: 7/7 22.91/23.06 c ---[ 464]---> Adder-cost: 118 maxlim: 99 bits: 7/7 22.91/23.07 c ---[ 462]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.91/23.07 c ---[ 460]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.91/23.08 c ---[ 458]---> Adder-cost: 118 maxlim: 99 bits: 7/7 22.91/23.08 c ---[ 456]---> Adder-cost: 112 maxlim: 99 bits: 7/7 22.91/23.09 c ---[ 454]---> Adder-cost: 116 maxlim: 99 bits: 7/7 22.91/23.09 c ---[ 452]---> Adder-cost: 118 maxlim: 99 bits: 7/7 22.91/23.10 c ---[ 450]---> Adder-cost: 112 maxlim: 99 bits: 7/7 23.01/23.10 c ---[ 448]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.01/23.11 c ---[ 446]---> Adder-cost: 118 maxlim: 99 bits: 7/7 23.01/23.11 c ---[ 444]---> Adder-cost: 118 maxlim: 99 bits: 7/7 23.01/23.12 c ---[ 442]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.01/23.12 c ---[ 440]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.01/23.13 c ---[ 438]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.01/23.13 c ---[ 436]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.01/23.14 c ---[ 434]---> Adder-cost: 110 maxlim: 99 bits: 7/7 23.01/23.14 c ---[ 432]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.01/23.15 c ---[ 430]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.01/23.15 c ---[ 428]---> Adder-cost: 110 maxlim: 99 bits: 7/7 23.01/23.16 c ---[ 426]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.01/23.16 c ---[ 424]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.01/23.17 c ---[ 422]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.01/23.17 c ---[ 420]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.01/23.18 c ---[ 418]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.01/23.18 c ---[ 416]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.01/23.19 c ---[ 414]---> Adder-cost: 112 maxlim: 99 bits: 7/7 23.01/23.19 c ---[ 412]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.12/23.20 c ---[ 410]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.12/23.20 c ---[ 408]---> Adder-cost: 112 maxlim: 99 bits: 7/7 23.12/23.21 c ---[ 406]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.12/23.21 c ---[ 404]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.12/23.22 c ---[ 402]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.12/23.23 c ---[ 400]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.12/23.23 c ---[ 398]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.12/23.24 c ---[ 396]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.12/23.24 c ---[ 394]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.12/23.25 c ---[ 392]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.12/23.25 c ---[ 390]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.12/23.26 c ---[ 388]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.12/23.26 c ---[ 386]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.12/23.27 c ---[ 384]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.12/23.27 c ---[ 382]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.12/23.28 c ---[ 380]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.12/23.28 c ---[ 378]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.12/23.29 c ---[ 376]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.12/23.29 c ---[ 374]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.22/23.30 c ---[ 372]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.22/23.30 c ---[ 370]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.22/23.31 c ---[ 368]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.22/23.31 c ---[ 366]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.22/23.32 c ---[ 364]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.22/23.32 c ---[ 362]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.22/23.33 c ---[ 360]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.22/23.33 c ---[ 358]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.22/23.34 c ---[ 356]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.22/23.35 c ---[ 354]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.22/23.35 c ---[ 352]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.22/23.36 c ---[ 350]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.22/23.36 c ---[ 348]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.22/23.37 c ---[ 346]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.22/23.37 c ---[ 344]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.22/23.38 c ---[ 342]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.22/23.38 c ---[ 340]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.22/23.39 c ---[ 338]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.22/23.39 c ---[ 336]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.32/23.40 c ---[ 334]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.32/23.40 c ---[ 332]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.32/23.41 c ---[ 330]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.32/23.41 c ---[ 328]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.32/23.42 c ---[ 326]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.32/23.42 c ---[ 324]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.32/23.43 c ---[ 322]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.32/23.43 c ---[ 320]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.32/23.44 c ---[ 318]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.32/23.44 c ---[ 316]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.32/23.45 c ---[ 314]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.32/23.45 c ---[ 312]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.32/23.46 c ---[ 310]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.32/23.46 c ---[ 308]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.32/23.47 c ---[ 306]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.32/23.47 c ---[ 304]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.32/23.48 c ---[ 302]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.32/23.48 c ---[ 300]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.32/23.49 c ---[ 298]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.32/23.50 c ---[ 296]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.41/23.50 c ---[ 294]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.41/23.51 c ---[ 292]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.41/23.51 c ---[ 290]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.41/23.52 c ---[ 288]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.41/23.52 c ---[ 286]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.41/23.53 c ---[ 284]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.41/23.53 c ---[ 282]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.41/23.54 c ---[ 280]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.41/23.54 c ---[ 278]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.41/23.55 c ---[ 276]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.41/23.55 c ---[ 274]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.41/23.56 c ---[ 272]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.41/23.56 c ---[ 270]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.41/23.57 c ---[ 268]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.41/23.57 c ---[ 266]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.41/23.58 c ---[ 264]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.41/23.58 c ---[ 262]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.41/23.59 c ---[ 260]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.41/23.59 c ---[ 258]---> Adder-cost: 112 maxlim: 99 bits: 7/7 23.51/23.60 c ---[ 256]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.51/23.60 c ---[ 254]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.51/23.61 c ---[ 252]---> Adder-cost: 112 maxlim: 99 bits: 7/7 23.51/23.61 c ---[ 250]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.51/23.62 c ---[ 248]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.51/23.63 c ---[ 246]---> Adder-cost: 112 maxlim: 99 bits: 7/7 23.51/23.63 c ---[ 244]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.51/23.64 c ---[ 242]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.51/23.64 c ---[ 240]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.51/23.65 c ---[ 238]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.51/23.65 c ---[ 236]---> Adder-cost: 110 maxlim: 99 bits: 7/7 23.51/23.66 c ---[ 234]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.51/23.66 c ---[ 232]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.51/23.67 c ---[ 230]---> Adder-cost: 110 maxlim: 99 bits: 7/7 23.51/23.67 c ---[ 228]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.51/23.68 c ---[ 226]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.51/23.68 c ---[ 224]---> Adder-cost: 110 maxlim: 99 bits: 7/7 23.51/23.69 c ---[ 222]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.51/23.69 c ---[ 220]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.61/23.70 c ---[ 218]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.61/23.70 c ---[ 216]---> Adder-cost: 112 maxlim: 99 bits: 7/7 23.61/23.71 c ---[ 214]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.61/23.71 c ---[ 212]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.61/23.72 c ---[ 210]---> Adder-cost: 112 maxlim: 99 bits: 7/7 23.61/23.72 c ---[ 208]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.61/23.73 c ---[ 206]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.61/23.73 c ---[ 204]---> Adder-cost: 112 maxlim: 99 bits: 7/7 23.61/23.74 c ---[ 202]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.61/23.74 c ---[ 200]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.61/23.75 c ---[ 198]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.61/23.76 c ---[ 196]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.61/23.76 c ---[ 194]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.61/23.77 c ---[ 192]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.61/23.77 c ---[ 190]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.61/23.78 c ---[ 188]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.61/23.78 c ---[ 186]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.61/23.79 c ---[ 184]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.61/23.79 c ---[ 182]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.71/23.80 c ---[ 180]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.71/23.80 c ---[ 178]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.71/23.81 c ---[ 176]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.71/23.81 c ---[ 174]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.71/23.82 c ---[ 172]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.71/23.82 c ---[ 170]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.71/23.83 c ---[ 168]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.71/23.83 c ---[ 166]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.71/23.84 c ---[ 164]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.71/23.84 c ---[ 162]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.71/23.85 c ---[ 160]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.71/23.85 c ---[ 158]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.71/23.86 c ---[ 156]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.71/23.86 c ---[ 154]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.71/23.87 c ---[ 152]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.71/23.87 c ---[ 150]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.71/23.88 c ---[ 148]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.71/23.89 c ---[ 146]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.71/23.89 c ---[ 144]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.71/23.90 c ---[ 142]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.81/23.90 c ---[ 140]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.81/23.91 c ---[ 138]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.81/23.91 c ---[ 136]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.81/23.92 c ---[ 134]---> Adder-cost: 118 maxlim: 99 bits: 7/7 23.81/23.92 c ---[ 132]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.81/23.93 c ---[ 130]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.81/23.93 c ---[ 128]---> Adder-cost: 118 maxlim: 99 bits: 7/7 23.81/23.94 c ---[ 126]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.81/23.94 c ---[ 124]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.81/23.95 c ---[ 122]---> Adder-cost: 118 maxlim: 99 bits: 7/7 23.81/23.95 c ---[ 120]---> Adder-cost: 118 maxlim: 99 bits: 7/7 23.81/23.96 c ---[ 118]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.81/23.96 c ---[ 116]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.81/23.97 c ---[ 114]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.81/23.97 c ---[ 112]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.81/23.98 c ---[ 110]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.81/23.98 c ---[ 108]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.81/23.99 c ---[ 106]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.81/23.99 c ---[ 104]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.91/24.00 c ---[ 102]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.91/24.00 c ---[ 100]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.91/24.01 c ---[ 98]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.91/24.02 c ---[ 96]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.91/24.02 c ---[ 94]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.91/24.03 c ---[ 92]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.91/24.03 c ---[ 90]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.91/24.04 c ---[ 88]---> Adder-cost: 120 maxlim: 99 bits: 7/7 23.91/24.04 c ---[ 86]---> Adder-cost: 114 maxlim: 99 bits: 7/7 23.91/24.05 c ---[ 84]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.91/24.05 c ---[ 82]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.91/24.06 c ---[ 80]---> Adder-cost: 122 maxlim: 99 bits: 7/7 23.91/24.06 c ---[ 78]---> Adder-cost: 112 maxlim: 99 bits: 7/7 23.91/24.07 c ---[ 76]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.91/24.07 c ---[ 74]---> Adder-cost: 118 maxlim: 99 bits: 7/7 23.91/24.08 c ---[ 72]---> Adder-cost: 112 maxlim: 99 bits: 7/7 23.91/24.08 c ---[ 70]---> Adder-cost: 116 maxlim: 99 bits: 7/7 23.91/24.09 c ---[ 68]---> Adder-cost: 118 maxlim: 99 bits: 7/7 23.91/24.09 c ---[ 66]---> Adder-cost: 112 maxlim: 99 bits: 7/7 23.91/24.10 c ---[ 64]---> Adder-cost: 116 maxlim: 99 bits: 7/7 24.01/24.10 c ---[ 62]---> Adder-cost: 118 maxlim: 99 bits: 7/7 24.01/24.11 c ---[ 60]---> Adder-cost: 118 maxlim: 99 bits: 7/7 24.01/24.11 c ---[ 58]---> Adder-cost: 116 maxlim: 99 bits: 7/7 24.01/24.12 c ---[ 56]---> Adder-cost: 114 maxlim: 99 bits: 7/7 24.01/24.12 c ---[ 54]---> Adder-cost: 120 maxlim: 99 bits: 7/7 24.01/24.13 c ---[ 52]---> Adder-cost: 116 maxlim: 99 bits: 7/7 24.01/24.13 c ---[ 50]---> Adder-cost: 114 maxlim: 99 bits: 7/7 24.01/24.14 c ---[ 48]---> Adder-cost: 120 maxlim: 99 bits: 7/7 24.01/24.14 c ---[ 46]---> Adder-cost: 116 maxlim: 99 bits: 7/7 24.01/24.15 c ---[ 44]---> Adder-cost: 114 maxlim: 99 bits: 7/7 24.01/24.16 c ---[ 42]---> Adder-cost: 120 maxlim: 99 bits: 7/7 24.01/24.16 c ---[ 40]---> Adder-cost: 120 maxlim: 99 bits: 7/7 24.01/24.17 c ---[ 38]---> BDD-cost: 97 24.01/24.17 c ---[ 36]---> BDD-cost: 97 24.01/24.17 c ---[ 34]---> BDD-cost: 97 24.01/24.17 c ---[ 32]---> BDD-cost: 97 24.01/24.17 c ---[ 30]---> BDD-cost: 97 24.01/24.17 c ---[ 28]---> BDD-cost: 97 24.01/24.18 c ---[ 26]---> BDD-cost: 97 24.01/24.18 c ---[ 24]---> BDD-cost: 97 24.01/24.18 c ---[ 22]---> BDD-cost: 97 24.01/24.18 c ---[ 20]---> BDD-cost: 97 24.01/24.18 c ---[ 18]---> BDD-cost: 89 24.01/24.18 c ---[ 16]---> BDD-cost: 97 24.01/24.19 c ---[ 14]---> BDD-cost: 97 24.01/24.19 c ---[ 12]---> BDD-cost: 97 24.01/24.19 c ---[ 10]---> BDD-cost: 97 24.01/24.19 c ---[ 8]---> BDD-cost: 97 24.01/24.19 c ---[ 6]---> BDD-cost: 97 24.01/24.19 c ---[ 4]---> BDD-cost: 97 24.01/24.20 c ---[ 2]---> BDD-cost: 97 24.01/24.20 c ---[ 0]---> BDD-cost: 97 25.20/25.39 c ==================================[MINISAT+]================================== 25.20/25.39 c | Conflicts | Original | Learnt | Progress | 25.20/25.39 c | | Clauses Literals | Max Clauses Literals LPC | | 25.20/25.39 c ============================================================================== 25.20/25.39 c | 0 | 1445633 5120251 | 481877 0 0 nan | 0.000 % | 25.60/25.71 c | 100 | 1445593 5120117 | 530064 96 486 5.1 | 24.734 % | 27.10/27.23 c | 250 | 1445417 5119527 | 583071 230 955 4.2 | 24.744 % | 30.50/30.67 c | 475 | 1444918 5117832 | 641378 412 1528 3.7 | 24.766 % | 36.59/36.75 c | 812 | 1444130 5115196 | 705516 668 2361 3.5 | 24.809 % | 41.39/41.57 c | 1318 | 1443090 5111612 | 776067 1072 3984 3.7 | 24.847 % | 45.39/45.58 c | 2077 | 1442306 5108920 | 853674 1760 9994 5.7 | 24.877 % | 67.38/67.51 c | 3218 | 1439354 5098906 | 939041 2596 12772 4.9 | 25.014 % | 99.28/99.49 c | 4927 | 1434308 5081658 | 1032946 3824 17148 4.5 | 25.240 % | 145.76/145.92 c | 7489 | 1427436 5058124 | 1136240 5682 24662 4.3 | 25.539 % | 235.54/235.70 c | 11333 | 1416586 5021504 | 1249864 8386 35021 4.2 | 26.131 % | 370.30/370.58 c | 17099 | 1401796 4971688 | 1374851 12408 48980 3.9 | 26.963 % | 583.15/583.44 c | 25750 | 1380609 4900077 | 1512336 18427 69905 3.8 | 28.096 % | 876.77/877.18 c | 38725 | 1355799 4816139 | 1663570 27841 104861 3.8 | 29.385 % | 1301.05/1301.54 c | 58186 | 1325897 4714673 | 1829927 42369 157579 3.7 | 30.825 % | 1800.03/1800.61 c 1800.03/1800.61 c *** TERMINATED *** 1800.03/1800.61 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/350712-1176541858/instance-350712-1176541858.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-350712-1176541858 -o ROOT/results/node6/solver-350712-1176541858 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350712-1176541858/minisat+ /tmp/evaluation/350712-1176541858/instance-350712-1176541858.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 7776 /proc/meminfo: memFree=1766648/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=1352 CPUtime=0 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 130223451 1384448 172 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 338 172 67 215 0 120 0 [startup+0.080458 s] /proc/loadavg: 1.00 1.00 1.00 3/77 7776 /proc/meminfo: memFree=1766648/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=8480 CPUtime=0.07 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 1752 0 0 0 7 0 0 0 18 0 1 0 130223451 8683520 1687 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135037705 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 2120 1687 67 215 0 1902 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 8480 [startup+0.101461 s] /proc/loadavg: 1.00 1.00 1.00 3/77 7776 /proc/meminfo: memFree=1766648/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=9660 CPUtime=0.09 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 2113 0 0 0 8 1 0 0 18 0 1 0 130223451 9891840 1965 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569966 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 2415 1965 67 215 0 2197 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9660 [startup+0.301483 s] /proc/loadavg: 1.00 1.00 1.00 3/77 7776 /proc/meminfo: memFree=1766648/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=11908 CPUtime=0.29 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 2834 0 0 0 28 1 0 0 19 0 1 0 130223451 12193792 2584 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 2977 2584 74 215 0 2759 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11908 [startup+0.701531 s] /proc/loadavg: 1.00 1.00 1.00 3/77 7776 /proc/meminfo: memFree=1766648/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=13276 CPUtime=0.69 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 3298 0 0 0 68 1 0 0 23 0 1 0 130223451 13594624 3048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012195 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 3319 3048 74 215 0 3101 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13276 [startup+1.50162 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1752688/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=19372 CPUtime=1.49 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 4684 0 0 0 147 2 0 0 25 0 1 0 130223451 19836928 4434 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 4843 4434 74 215 0 4625 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19372 [startup+3.10181 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1745136/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=30084 CPUtime=3.09 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 7216 0 0 0 305 4 0 0 25 0 1 0 130223451 30806016 6966 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 7521 6966 74 215 0 7303 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30084 [startup+6.30119 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1724784/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=48676 CPUtime=6.29 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 11961 0 0 0 622 7 0 0 25 0 1 0 130223451 49844224 11711 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 12169 11711 74 215 0 11951 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48676 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1703664/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=64616 CPUtime=12.68 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 15969 0 0 0 1260 8 0 0 25 0 1 0 130223451 66166784 15719 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005850 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 16154 15719 83 215 0 15936 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 64616 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1651184/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=129660 CPUtime=25.4 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31131 0 0 0 2523 17 0 0 25 0 1 0 130223451 132771840 30056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582044 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 32415 30056 121 215 0 32197 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 129660 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1646256/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=129792 CPUtime=50.98 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31142 0 0 0 5081 17 0 0 25 0 1 0 130223451 132907008 30067 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569828 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 32448 30067 122 215 0 32230 0 Current children cumulated CPU time (s) 50.98 Current children cumulated vsize (KiB) 129792 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1646192/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=129792 CPUtime=102.18 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31166 0 0 0 10200 18 0 0 25 0 1 0 130223451 132907008 30091 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569804 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 32448 30091 122 215 0 32230 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 129792 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1645744/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=130188 CPUtime=162.16 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31256 0 0 0 16198 18 0 0 25 0 1 0 130223451 133312512 30181 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569697 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 32547 30181 122 215 0 32329 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 130188 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1645360/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=130448 CPUtime=222.15 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31343 0 0 0 22196 19 0 0 25 0 1 0 130223451 133578752 30268 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 32612 30268 122 215 0 32394 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 130448 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1644976/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=130844 CPUtime=282.13 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31441 0 0 0 28193 20 0 0 25 0 1 0 130223451 133984256 30366 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569772 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 32711 30366 122 215 0 32493 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 130844 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1644592/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=131248 CPUtime=342.11 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31528 0 0 0 34191 20 0 0 25 0 1 0 130223451 134397952 30453 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569780 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 32812 30453 122 215 0 32594 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 131248 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1644272/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=131512 CPUtime=402.1 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31610 0 0 0 40189 21 0 0 25 0 1 0 130223451 134668288 30535 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582057 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 32878 30535 122 215 0 32660 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 131512 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1643888/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=131908 CPUtime=462.08 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31686 0 0 0 46187 21 0 0 25 0 1 0 130223451 135073792 30611 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582092 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 32977 30611 122 215 0 32759 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 131908 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1643504/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=132180 CPUtime=522.06 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31769 0 0 0 52185 21 0 0 25 0 1 0 130223451 135352320 30694 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588661 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33045 30694 122 215 0 32827 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 132180 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1643056/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=132612 CPUtime=582.05 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31862 0 0 0 58183 22 0 0 25 0 1 0 130223451 135794688 30787 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33153 30787 122 215 0 32935 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 132612 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1642736/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=132744 CPUtime=642.03 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31930 0 0 0 64181 22 0 0 25 0 1 0 130223451 135929856 30855 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588686 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33186 30855 123 215 0 32968 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 132744 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1641712/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=133536 CPUtime=821.99 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32146 0 0 0 82175 24 0 0 25 0 1 0 130223451 136740864 31071 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33384 31071 123 215 0 33166 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 133536 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1641392/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=133964 CPUtime=881.96 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32211 0 0 0 88172 24 0 0 25 0 1 0 130223451 137179136 31136 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33491 31136 123 215 0 33273 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 133964 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1641136/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=134096 CPUtime=941.95 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32256 0 0 0 94170 25 0 0 25 0 1 0 130223451 137314304 31181 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569822 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33524 31181 123 215 0 33306 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 134096 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1640944/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=134228 CPUtime=1001.93 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32303 0 0 0 100168 25 0 0 25 0 1 0 130223451 137449472 31228 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569782 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33557 31228 123 215 0 33339 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 134228 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1640688/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=134360 CPUtime=1061.92 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32351 0 0 0 106166 26 0 0 25 0 1 0 130223451 137584640 31276 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33590 31276 123 215 0 33372 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 134360 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1640432/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=134492 CPUtime=1121.9 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32395 0 0 0 112164 26 0 0 25 0 1 0 130223451 137719808 31320 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569797 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33623 31320 123 215 0 33405 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 134492 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7777 /proc/meminfo: memFree=1640240/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=134624 CPUtime=1181.88 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32431 0 0 0 118162 26 0 0 25 0 1 0 130223451 137854976 31356 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582022 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33656 31356 123 215 0 33438 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 134624 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7779 /proc/meminfo: memFree=1639984/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=134756 CPUtime=1241.87 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32471 0 0 0 124160 27 0 0 25 0 1 0 130223451 137990144 31396 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569793 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33689 31396 123 215 0 33471 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 134756 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7779 /proc/meminfo: memFree=1639792/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=134968 CPUtime=1301.85 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32507 0 0 0 130158 27 0 0 25 0 1 0 130223451 138207232 31432 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33742 31432 123 215 0 33524 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 134968 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7779 /proc/meminfo: memFree=1639536/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=135232 CPUtime=1361.84 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32545 0 0 0 136156 28 0 0 25 0 1 0 130223451 138477568 31470 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588655 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33808 31470 123 215 0 33590 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 135232 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7779 /proc/meminfo: memFree=1639344/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=135360 CPUtime=1421.82 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32587 0 0 0 142154 28 0 0 25 0 1 0 130223451 138608640 31512 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33840 31512 123 215 0 33622 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 135360 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7779 /proc/meminfo: memFree=1639280/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=135360 CPUtime=1481.81 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32606 0 0 0 148152 29 0 0 25 0 1 0 130223451 138608640 31531 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33840 31531 123 215 0 33622 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 135360 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7779 /proc/meminfo: memFree=1639024/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=135492 CPUtime=1541.79 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32642 0 0 0 154150 29 0 0 25 0 1 0 130223451 138743808 31567 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33873 31567 123 215 0 33655 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 135492 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7779 /proc/meminfo: memFree=1638896/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=135624 CPUtime=1601.77 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32676 0 0 0 160148 29 0 0 25 0 1 0 130223451 138878976 31601 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33906 31601 123 215 0 33688 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 135624 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7779 /proc/meminfo: memFree=1638768/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=135756 CPUtime=1661.75 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32708 0 0 0 166145 30 0 0 25 0 1 0 130223451 139014144 31633 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33939 31633 123 215 0 33721 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 135756 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7779 /proc/meminfo: memFree=1638576/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=135888 CPUtime=1721.73 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32744 0 0 0 172143 30 0 0 25 0 1 0 130223451 139149312 31669 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33972 31669 123 215 0 33754 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 135888 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7779 /proc/meminfo: memFree=1638384/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=135888 CPUtime=1781.73 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32775 0 0 0 178142 31 0 0 25 0 1 0 130223451 139149312 31700 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134589444 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 33972 31700 123 215 0 33754 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 135888 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7779 /proc/meminfo: memFree=1638320/2055924 swapFree=4191880/4192956 [pid=7776] ppid=7774 vsize=136140 CPUtime=1800.03 /proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32785 0 0 0 179972 31 0 0 25 0 1 0 130223451 139407360 31710 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588659 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7776/statm: 34035 31710 123 215 0 33817 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 136140 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.06 CPU user time (s): 1799.72 CPU system time (s): 0.334949 CPU usage (%): 99.9681 Max. virtual memory (cumulated for all children) (KiB): 136140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.72 system time used= 0.334949 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32786 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 39752 runsolver used 2.22566 second user time and 4.33734 second system time The end
Begin job on node6 on Sat Apr 14 09:10:58 UTC 2007 IDJOB= 350712 IDBENCH= 1581 IDSOLVER= 156 FILE ID= node6/350712-1176541858 PBS_JOBID= 4556732 Free space on /tmp= 66551 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-qap10.opb COMMAND LINE= /tmp/evaluation/350712-1176541858/minisat+ /tmp/evaluation/350712-1176541858/instance-350712-1176541858.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node6/convwatcher-350712-1176541858 -o ROOT/results/node6/conversion-350712-1176541858 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350712-1176541858/instance-350712-1176541858.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-350712-1176541858 -o ROOT/results/node6/solver-350712-1176541858 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350712-1176541858/minisat+ /tmp/evaluation/350712-1176541858/instance-350712-1176541858.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= cba28129e4f6f6eef01b4dc927adb1b9 RANDOM SEED= 37174146 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 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.232 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: 2055924 kB MemFree: 1767056 kB Buffers: 24412 kB Cached: 160072 kB SwapCached: 408 kB Active: 113876 kB Inactive: 125484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1767056 kB SwapTotal: 4192956 kB SwapFree: 4191880 kB Dirty: 6836 kB Writeback: 0 kB Mapped: 71972 kB Slab: 35068 kB Committed_AS: 4859140 kB PageTables: 1784 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66551 MiB End job on node6 on Sat Apr 14 09:41:01 UTC 2007