0.00/0.00	c Parsing PB file...
2.38/2.48	c Converting 3495 PB-constraints to clauses...
2.38/2.49	c   -- Unit propagations: (none)
2.48/2.51	c   -- Detecting intervals from adjacent constraints: #############################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
2.48/2.55	c   -- Clauses(.)/Splits(s): sssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssss
2.69/2.70	c ---[3564]---> Adder-cost: 218   maxlim: 95   bits: 8/7
2.69/2.70	c ---[3562]---> Adder-cost: 87   maxlim: 29   bits: 6/5
2.69/2.70	c ---[3560]---> Adder-cost: 110   maxlim: 41   bits: 7/6
2.69/2.71	c ---[3558]---> Adder-cost: 60   maxlim: 41   bits: 7/6
2.69/2.71	c ---[3556]---> Adder-cost: 145   maxlim: 58   bits: 7/6
2.69/2.71	c ---[3554]---> Adder-cost: 77   maxlim: 58   bits: 7/6
2.69/2.71	c ---[3552]---> Adder-cost: 77   maxlim: 58   bits: 7/6
2.69/2.71	c ---[3550]---> Adder-cost: 77   maxlim: 58   bits: 7/6
2.69/2.72	c ---[3548]---> Adder-cost: 75   maxlim: 28   bits: 6/5
2.69/2.72	c ---[3546]---> Adder-cost: 116   maxlim: 46   bits: 7/6
2.69/2.72	c ---[3544]---> Adder-cost: 68   maxlim: 46   bits: 7/6
2.69/2.72	c ---[3542]---> Adder-cost: 156   maxlim: 67   bits: 8/7
2.69/2.72	c ---[3540]---> Adder-cost: 80   maxlim: 67   bits: 8/7
2.69/2.72	c ---[3538]---> Adder-cost: 118   maxlim: 52   bits: 7/6
2.69/2.73	c ---[3536]---> Adder-cost: 64   maxlim: 52   bits: 7/6
2.69/2.73	c ---[3534]---> Adder-cost: 98   maxlim: 40   bits: 7/6
2.69/2.73	c ---[3532]---> Adder-cost: 64   maxlim: 40   bits: 7/6
2.69/2.73	c ---[3530]---> Adder-cost: 98   maxlim: 44   bits: 7/6
2.69/2.73	c ---[3528]---> Adder-cost: 148   maxlim: 68   bits: 8/7
2.69/2.73	c ---[3526]---> Adder-cost: 55   maxlim: 28   bits: 6/5
2.69/2.74	c ---[3524]---> Adder-cost: 152   maxlim: 85   bits: 8/7
2.69/2.74	c ---[3522]---> Adder-cost: 96   maxlim: 85   bits: 8/7
2.69/2.74	c ---[3520]---> Adder-cost: 156   maxlim: 80   bits: 8/7
2.69/2.74	c ---[3518]---> Adder-cost: 82   maxlim: 80   bits: 8/7
2.69/2.75	c ---[3516]---> Adder-cost: 90   maxlim: 44   bits: 7/6
2.69/2.75	c ---[3514]---> Adder-cost: 56   maxlim: 44   bits: 7/6
2.69/2.75	c ---[3512]---> Adder-cost: 137   maxlim: 53   bits: 7/6
2.69/2.75	c ---[3510]---> Adder-cost: 122   maxlim: 51   bits: 7/6
2.69/2.75	c ---[3508]---> Adder-cost: 69   maxlim: 30   bits: 6/5
2.69/2.75	c ---[3506]---> Adder-cost: 147   maxlim: 60   bits: 7/6
2.69/2.75	c ---[3504]---> Adder-cost: 75   maxlim: 60   bits: 7/6
2.69/2.76	c ---[3502]---> Adder-cost: 124   maxlim: 49   bits: 7/6
2.69/2.76	c ---[3500]---> Adder-cost: 94   maxlim: 33   bits: 7/6
2.69/2.76	c ---[3498]---> Adder-cost: 110   maxlim: 48   bits: 7/6
2.69/2.76	c ---[3496]---> Adder-cost: 59   maxlim: 30   bits: 6/5
2.69/2.76	c ---[3494]---> Adder-cost: 68   maxlim: 48   bits: 7/6
2.69/2.76	c ---[3492]---> Adder-cost: 148   maxlim: 69   bits: 8/7
2.69/2.77	c ---[3490]---> Adder-cost: 82   maxlim: 69   bits: 8/7
2.69/2.77	c ---[3488]---> Adder-cost: 81   maxlim: 27   bits: 6/5
2.69/2.77	c ---[3486]---> Adder-cost: 55   maxlim: 27   bits: 6/5
2.69/2.77	c ---[3484]---> Adder-cost: 67   maxlim: 31   bits: 6/5
2.69/2.77	c ---[3482]---> Adder-cost: 94   maxlim: 34   bits: 7/6
2.69/2.77	c ---[3480]---> Adder-cost: 104   maxlim: 37   bits: 7/6
2.69/2.77	c ---[3478]---> Adder-cost: 64   maxlim: 37   bits: 7/6
2.69/2.78	c ---[3476]---> Adder-cost: 69   maxlim: 21   bits: 6/5
2.69/2.78	c ---[3474]---> Adder-cost: 104   maxlim: 38   bits: 7/6
2.69/2.78	c ---[3472]---> Adder-cost: 131   maxlim: 55   bits: 7/6
2.69/2.78	c ---[3470]---> Adder-cost: 92   maxlim: 33   bits: 7/6
2.69/2.78	c ---[3468]---> Adder-cost: 88   maxlim: 32   bits: 7/6
2.69/2.78	c ---[3466]---> Adder-cost: 172   maxlim: 72   bits: 8/7
2.69/2.78	c ---[3464]---> Adder-cost: 277   maxlim: 124   bits: 8/7
2.69/2.79	c ---[3462]---> Adder-cost: 364   maxlim: 167   bits: 9/8
2.69/2.79	c ---[3460]---> Adder-cost: 344   maxlim: 179   bits: 9/8
2.79/2.80	c ---[3458]---> Adder-cost: 180   maxlim: 78   bits: 8/7
2.79/2.80	c ---[3456]---> Adder-cost: 82   maxlim: 32   bits: 7/6
2.79/2.80	c ---[3454]---> Adder-cost: 52   maxlim: 32   bits: 7/6
2.79/2.80	c ---[3452]---> Adder-cost: 52   maxlim: 32   bits: 7/6
2.79/2.80	c ---[3450]---> Adder-cost: 263   maxlim: 117   bits: 8/7
2.79/2.81	c ---[3448]---> Adder-cost: 52   maxlim: 32   bits: 7/6
2.79/2.81	c ---[3446]---> Adder-cost: 52   maxlim: 32   bits: 7/6
2.79/2.81	c ---[3444]---> Adder-cost: 96   maxlim: 44   bits: 7/6
2.79/2.81	c ---[3442]---> Adder-cost: 94   maxlim: 34   bits: 7/6
2.79/2.81	c ---[3440]---> Adder-cost: 96   maxlim: 50   bits: 7/6
2.79/2.82	c ---[3438]---> Adder-cost: 65   maxlim: 27   bits: 6/5
2.79/2.82	c ---[3436]---> Adder-cost: 138   maxlim: 115   bits: 8/7
2.79/2.82	c ---[3434]---> Adder-cost: 104   maxlim: 43   bits: 7/6
2.79/2.82	c ---[3432]---> Sorter-cost:  577     Base: 2
2.79/2.82	c ---[3430]---> Adder-cost: 96   maxlim: 37   bits: 7/6
2.79/2.82	c ---[3428]---> Adder-cost: 139   maxlim: 53   bits: 7/6
2.79/2.82	c ---[3426]---> Adder-cost: 145   maxlim: 57   bits: 7/6
2.79/2.83	c ---[3424]---> Adder-cost: 178   maxlim: 113   bits: 8/7
2.79/2.83	c ---[3422]---> Adder-cost: 106   maxlim: 52   bits: 7/6
2.79/2.83	c ---[3420]---> Adder-cost: 64   maxlim: 52   bits: 7/6
2.79/2.83	c ---[3418]---> Adder-cost: 60   maxlim: 18   bits: 6/5
2.79/2.83	c ---[3416]---> Adder-cost: 110   maxlim: 43   bits: 7/6
2.79/2.84	c ---[3414]---> Adder-cost: 87   maxlim: 30   bits: 6/5
2.79/2.84	c ---[3412]---> Adder-cost: 112   maxlim: 47   bits: 7/6
2.79/2.84	c ---[3410]---> Adder-cost: 62   maxlim: 47   bits: 7/6
2.79/2.84	c ---[3408]---> Adder-cost: 241   maxlim: 120   bits: 8/7
2.79/2.84	c ---[3406]---> Adder-cost: 62   maxlim: 19   bits: 6/5
2.79/2.84	c ---[3404]---> Adder-cost: 46   maxlim: 19   bits: 6/5
2.79/2.85	c ---[3402]---> Adder-cost: 46   maxlim: 19   bits: 6/5
2.79/2.85	c ---[3400]---> Adder-cost: 77   maxlim: 25   bits: 6/5
2.79/2.85	c ---[3398]---> Adder-cost: 102   maxlim: 39   bits: 7/6
2.79/2.85	c ---[3396]---> Adder-cost: 538   maxlim: 258   bits: 10/9
2.79/2.86	c ---[3394]---> Adder-cost: 160   maxlim: 258   bits: 10/9
2.79/2.87	c ---[3392]---> Adder-cost: 115   maxlim: 120   bits: 8/7
2.79/2.87	c ---[3390]---> Adder-cost: 94   maxlim: 35   bits: 7/6
2.79/2.87	c ---[3388]---> Adder-cost: 118   maxlim: 45   bits: 7/6
2.79/2.87	c ---[3386]---> Adder-cost: 212   maxlim: 98   bits: 8/7
2.79/2.88	c ---[3384]---> Adder-cost: 85   maxlim: 29   bits: 6/5
2.79/2.88	c ---[3382]---> Adder-cost: 71   maxlim: 25   bits: 6/5
2.79/2.88	c ---[3380]---> Adder-cost: 115   maxlim: 120   bits: 8/7
2.79/2.88	c ---[3378]---> Adder-cost: 234   maxlim: 103   bits: 8/7
2.79/2.88	c ---[3376]---> Adder-cost: 94   maxlim: 103   bits: 8/7
2.79/2.89	c ---[3374]---> Adder-cost: 62   maxlim: 19   bits: 6/5
2.79/2.89	c ---[3372]---> Adder-cost: 192   maxlim: 84   bits: 8/7
2.79/2.89	c ---[3370]---> Adder-cost: 208   maxlim: 91   bits: 8/7
2.79/2.89	c ---[3368]---> Adder-cost: 143   maxlim: 58   bits: 7/6
2.89/2.90	c ---[3366]---> Adder-cost: 154   maxlim: 67   bits: 8/7
2.89/2.90	c ---[3364]---> Adder-cost: 166   maxlim: 77   bits: 8/7
2.89/2.90	c ---[3362]---> Adder-cost: 73   maxlim: 26   bits: 6/5
2.89/2.90	c ---[3360]---> Adder-cost: 51   maxlim: 26   bits: 6/5
2.89/2.90	c ---[3358]---> Adder-cost: 44   maxlim: 16   bits: 6/5
2.89/2.90	c ---[3356]---> Adder-cost: 48   maxlim: 20   bits: 6/5
2.89/2.91	c ---[3354]---> Adder-cost: 192   maxlim: 84   bits: 8/7
2.89/2.91	c ---[3352]---> Adder-cost: 88   maxlim: 84   bits: 8/7
2.89/2.91	c ---[3350]---> Adder-cost: 160   maxlim: 65   bits: 8/7
2.89/2.91	c ---[3348]---> Adder-cost: 95   maxlim: 58   bits: 7/6
2.89/2.91	c ---[3346]---> Adder-cost: 102   maxlim: 46   bits: 7/6
2.89/2.92	c ---[3344]---> Adder-cost: 162   maxlim: 72   bits: 8/7
2.89/2.92	c ---[3342]---> Adder-cost: 80   maxlim: 72   bits: 8/7
2.89/2.92	c ---[3340]---> Sorter-cost:  546     Base: 2
2.89/2.92	c ---[3338]---> Adder-cost: 89   maxlim: 58   bits: 7/6
2.89/2.92	c ---[3336]---> Adder-cost: 151   maxlim: 61   bits: 7/6
2.89/2.92	c ---[3334]---> Adder-cost: 77   maxlim: 61   bits: 7/6
2.89/2.93	c ---[3332]---> Sorter-cost:  496     Base: 2
2.89/2.93	c ---[3330]---> Adder-cost: 77   maxlim: 26   bits: 6/5
2.89/2.93	c ---[3328]---> Adder-cost: 170   maxlim: 69   bits: 8/7
2.89/2.93	c ---[3326]---> Adder-cost: 140   maxlim: 64   bits: 8/7
2.89/2.93	c ---[3324]---> Adder-cost: 118   maxlim: 46   bits: 7/6
2.89/2.93	c ---[3322]---> Adder-cost: 123   maxlim: 53   bits: 7/6
2.89/2.94	c ---[3320]---> Adder-cost: 188   maxlim: 82   bits: 8/7
2.89/2.94	c ---[3318]---> Adder-cost: 283   maxlim: 125   bits: 8/7
2.89/2.94	c ---[3316]---> Adder-cost: 135   maxlim: 59   bits: 7/6
2.89/2.94	c ---[3314]---> Adder-cost: 94   maxlim: 45   bits: 7/6
2.89/2.95	c ---[3312]---> Adder-cost: 263   maxlim: 122   bits: 8/7
2.89/2.95	c ---[3310]---> Adder-cost: 112   maxlim: 51   bits: 7/6
2.89/2.95	c ---[3308]---> Adder-cost: 298   maxlim: 133   bits: 9/8
2.89/2.96	c ---[3306]---> Adder-cost: 214   maxlim: 100   bits: 8/7
2.89/2.96	c ---[3304]---> Adder-cost: 149   maxlim: 62   bits: 7/6
2.89/2.96	c ---[3302]---> Adder-cost: 210   maxlim: 92   bits: 8/7
2.89/2.96	c ---[3300]---> Adder-cost: 216   maxlim: 94   bits: 8/7
2.89/2.97	c ---[3298]---> Adder-cost: 192   maxlim: 95   bits: 8/7
2.89/2.97	c ---[3296]---> Adder-cost: 156   maxlim: 64   bits: 8/7
2.89/2.97	c ---[3294]---> Adder-cost: 123   maxlim: 53   bits: 7/6
2.89/2.97	c ---[3292]---> Sorter-cost:  546     Base: 2
2.89/2.97	c ---[3290]---> Sorter-cost:  788     Base: 7
2.89/2.97	c ---[3288]---> Sorter-cost:  674     Base: 7
2.89/2.98	c ---[3286]---> Adder-cost: 71   maxlim: 21   bits: 6/5
2.89/2.98	c ---[3284]---> Adder-cost: 118   maxlim: 45   bits: 7/6
2.89/2.98	c ---[3282]---> Adder-cost: 232   maxlim: 103   bits: 8/7
2.89/2.98	c ---[3280]---> Adder-cost: 222   maxlim: 106   bits: 8/7
2.89/2.98	c ---[3278]---> Adder-cost: 126   maxlim: 66   bits: 8/7
2.89/2.99	c ---[3276]---> Adder-cost: 164   maxlim: 101   bits: 8/7
2.89/2.99	c ---[3274]---> Adder-cost: 120   maxlim: 47   bits: 7/6
2.89/2.99	c ---[3272]---> Adder-cost: 108   maxlim: 45   bits: 7/6
2.89/2.99	c ---[3270]---> Adder-cost: 83   maxlim: 29   bits: 6/5
2.89/2.99	c ---[3268]---> Adder-cost: 57   maxlim: 26   bits: 6/5
2.89/3.00	c ---[3266]---> Adder-cost: 186   maxlim: 80   bits: 8/7
2.99/3.00	c ---[3264]---> Adder-cost: 60   maxlim: 17   bits: 6/5
2.99/3.00	c ---[3262]---> Adder-cost: 110   maxlim: 41   bits: 7/6
2.99/3.00	c ---[3260]---> Adder-cost: 116   maxlim: 48   bits: 7/6
2.99/3.00	c ---[3258]---> Adder-cost: 106   maxlim: 40   bits: 7/6
2.99/3.00	c ---[3256]---> Adder-cost: 102   maxlim: 37   bits: 7/6
2.99/3.01	c ---[3254]---> Adder-cost: 80   maxlim: 35   bits: 7/6
2.99/3.01	c ---[3252]---> Adder-cost: 87   maxlim: 29   bits: 6/5
2.99/3.01	c ---[3250]---> Adder-cost: 139   maxlim: 60   bits: 7/6
2.99/3.01	c ---[3248]---> Adder-cost: 308   maxlim: 141   bits: 9/8
2.99/3.01	c ---[3246]---> Adder-cost: 96   maxlim: 52   bits: 7/6
2.99/3.02	c ---[3244]---> Adder-cost: 102   maxlim: 39   bits: 7/6
2.99/3.02	c ---[3242]---> Adder-cost: 73   maxlim: 22   bits: 6/5
2.99/3.02	c ---[3240]---> Adder-cost: 75   maxlim: 25   bits: 6/5
2.99/3.02	c ---[3238]---> Adder-cost: 85   maxlim: 30   bits: 6/5
2.99/3.02	c ---[3236]---> Adder-cost: 67   maxlim: 22   bits: 6/5
2.99/3.02	c ---[3234]---> Adder-cost: 79   maxlim: 29   bits: 6/5
2.99/3.02	c ---[3232]---> Adder-cost: 67   maxlim: 25   bits: 6/5
2.99/3.02	c ---[3230]---> Adder-cost: 69   maxlim: 24   bits: 6/5
2.99/3.02	c ---[3228]---> Adder-cost: 51   maxlim: 24   bits: 6/5
2.99/3.03	c ---[3226]---> Adder-cost: 104   maxlim: 40   bits: 7/6
2.99/3.03	c ---[3224]---> Adder-cost: 104   maxlim: 39   bits: 7/6
2.99/3.03	c ---[3222]---> Adder-cost: 106   maxlim: 41   bits: 7/6
2.99/3.03	c ---[3220]---> Adder-cost: 174   maxlim: 74   bits: 8/7
2.99/3.03	c ---[3218]---> Adder-cost: 94   maxlim: 35   bits: 7/6
2.99/3.03	c ---[3216]---> Adder-cost: 77   maxlim: 25   bits: 6/5
2.99/3.03	c ---[3214]---> Adder-cost: 286   maxlim: 132   bits: 9/8
2.99/3.04	c ---[3212]---> Adder-cost: 147   maxlim: 59   bits: 7/6
2.99/3.04	c ---[3210]---> Adder-cost: 200   maxlim: 85   bits: 8/7
2.99/3.04	c ---[3208]---> Adder-cost: 126   maxlim: 52   bits: 7/6
2.99/3.04	c ---[3206]---> Adder-cost: 119   maxlim: 53   bits: 7/6
2.99/3.05	c ---[3204]---> Adder-cost: 118   maxlim: 45   bits: 7/6
2.99/3.05	c ---[3202]---> Adder-cost: 118   maxlim: 46   bits: 7/6
2.99/3.05	c ---[3200]---> Adder-cost: 83   maxlim: 29   bits: 6/5
2.99/3.05	c ---[3198]---> Adder-cost: 79   maxlim: 26   bits: 6/5
2.99/3.05	c ---[3196]---> Adder-cost: 65   maxlim: 22   bits: 6/5
2.99/3.05	c ---[3194]---> Adder-cost: 85   maxlim: 29   bits: 6/5
2.99/3.05	c ---[3192]---> Adder-cost: 87   maxlim: 29   bits: 6/5
2.99/3.06	c ---[3190]---> Adder-cost: 110   maxlim: 43   bits: 7/6
2.99/3.06	c ---[3188]---> Adder-cost: 184   maxlim: 78   bits: 8/7
2.99/3.06	c ---[3186]---> Adder-cost: 228   maxlim: 102   bits: 8/7
2.99/3.06	c ---[3184]---> Adder-cost: 218   maxlim: 97   bits: 8/7
2.99/3.07	c ---[3182]---> Adder-cost: 252   maxlim: 114   bits: 8/7
2.99/3.07	c ---[3180]---> Adder-cost: 356   maxlim: 187   bits: 9/8
2.99/3.07	c ---[3178]---> Adder-cost: 158   maxlim: 66   bits: 8/7
2.99/3.08	c ---[3176]---> Adder-cost: 160   maxlim: 68   bits: 8/7
2.99/3.08	c ---[3174]---> Adder-cost: 212   maxlim: 97   bits: 8/7
2.99/3.08	c ---[3172]---> Adder-cost: 139   maxlim: 55   bits: 7/6
2.99/3.08	c ---[3170]---> Adder-cost: 84   maxlim: 66   bits: 8/7
2.99/3.09	c ---[3168]---> Adder-cost: 145   maxlim: 57   bits: 7/6
2.99/3.09	c ---[3166]---> Adder-cost: 79   maxlim: 57   bits: 7/6
2.99/3.09	c ---[3164]---> Adder-cost: 246   maxlim: 109   bits: 8/7
2.99/3.09	c ---[3162]---> Adder-cost: 350   maxlim: 170   bits: 9/8
3.09/3.10	c ---[3160]---> Adder-cost: 73   maxlim: 21   bits: 6/5
3.09/3.10	c ---[3158]---> Adder-cost: 139   maxlim: 55   bits: 7/6
3.09/3.10	c ---[3156]---> Adder-cost: 106   maxlim: 52   bits: 7/6
3.09/3.10	c ---[3154]---> Adder-cost: 73   maxlim: 22   bits: 6/5
3.09/3.10	c ---[3152]---> Adder-cost: 150   maxlim: 65   bits: 8/7
3.09/3.11	c ---[3150]---> Adder-cost: 53   maxlim: 22   bits: 6/5
3.09/3.11	c ---[3148]---> Adder-cost: 116   maxlim: 46   bits: 7/6
3.09/3.11	c ---[3146]---> Adder-cost: 104   maxlim: 37   bits: 7/6
3.09/3.11	c ---[3144]---> Adder-cost: 81   maxlim: 27   bits: 6/5
3.09/3.11	c ---[3142]---> Adder-cost: 206   maxlim: 91   bits: 8/7
3.09/3.11	c ---[3140]---> Adder-cost: 145   maxlim: 59   bits: 7/6
3.09/3.12	c ---[3138]---> Adder-cost: 104   maxlim: 38   bits: 7/6
3.09/3.12	c ---[3136]---> Adder-cost: 89   maxlim: 31   bits: 6/5
3.09/3.12	c ---[3134]---> Adder-cost: 153   maxlim: 61   bits: 7/6
3.09/3.12	c ---[3132]---> Adder-cost: 214   maxlim: 94   bits: 8/7
3.09/3.12	c ---[3130]---> Adder-cost: 253   maxlim: 121   bits: 8/7
3.09/3.13	c ---[3128]---> Adder-cost: 110   maxlim: 41   bits: 7/6
3.09/3.13	c ---[3126]---> Adder-cost: 60   maxlim: 41   bits: 7/6
3.09/3.13	c ---[3124]---> Adder-cost: 145   maxlim: 57   bits: 7/6
3.09/3.13	c ---[3122]---> Adder-cost: 141   maxlim: 59   bits: 7/6
3.09/3.13	c ---[3120]---> Adder-cost: 90   maxlim: 35   bits: 7/6
3.09/3.13	c ---[3118]---> Adder-cost: 208   maxlim: 90   bits: 8/7
3.09/3.14	c ---[3116]---> Adder-cost: 108   maxlim: 44   bits: 7/6
3.09/3.14	c ---[3114]---> Adder-cost: 259   maxlim: 119   bits: 8/7
3.09/3.14	c ---[3112]---> Adder-cost: 67   maxlim: 24   bits: 6/5
3.09/3.14	c ---[3110]---> Adder-cost: 120   maxlim: 48   bits: 7/6
3.09/3.15	c ---[3108]---> Adder-cost: 204   maxlim: 90   bits: 8/7
3.09/3.15	c ---[3106]---> Adder-cost: 145   maxlim: 60   bits: 7/6
3.09/3.15	c ---[3104]---> Adder-cost: 267   maxlim: 122   bits: 8/7
3.09/3.15	c ---[3102]---> Adder-cost: 149   maxlim: 61   bits: 7/6
3.09/3.16	c ---[3100]---> Adder-cost: 139   maxlim: 59   bits: 7/6
3.09/3.16	c ---[3098]---> Adder-cost: 248   maxlim: 114   bits: 8/7
3.09/3.16	c ---[3096]---> Adder-cost: 120   maxlim: 47   bits: 7/6
3.09/3.16	c ---[3094]---> Adder-cost: 440   maxlim: 212   bits: 9/8
3.09/3.17	c ---[3092]---> Adder-cost: 134   maxlim: 212   bits: 9/8
3.09/3.18	c ---[3090]---> Adder-cost: 149   maxlim: 61   bits: 7/6
3.09/3.18	c ---[3088]---> Adder-cost: 77   maxlim: 61   bits: 7/6
3.09/3.18	c ---[3086]---> Adder-cost: 119   maxlim: 60   bits: 7/6
3.09/3.18	c ---[3084]---> Adder-cost: 334   maxlim: 159   bits: 9/8
3.09/3.19	c ---[3082]---> Adder-cost: 242   maxlim: 116   bits: 8/7
3.09/3.19	c ---[3080]---> Adder-cost: 154   maxlim: 68   bits: 8/7
3.09/3.19	c ---[3078]---> Adder-cost: 116   maxlim: 46   bits: 7/6
3.09/3.19	c ---[3076]---> Adder-cost: 206   maxlim: 101   bits: 8/7
3.19/3.20	c ---[3074]---> Adder-cost: 176   maxlim: 78   bits: 8/7
3.19/3.20	c ---[3072]---> Adder-cost: 84   maxlim: 78   bits: 8/7
3.19/3.20	c ---[3070]---> Adder-cost: 58   maxlim: 18   bits: 6/5
3.19/3.20	c ---[3068]---> Adder-cost: 222   maxlim: 97   bits: 8/7
3.19/3.21	c ---[3066]---> Adder-cost: 145   maxlim: 60   bits: 7/6
3.19/3.21	c ---[3064]---> Adder-cost: 238   maxlim: 106   bits: 8/7
3.19/3.21	c ---[3062]---> Adder-cost: 160   maxlim: 67   bits: 8/7
3.19/3.21	c ---[3060]---> Adder-cost: 80   maxlim: 67   bits: 8/7
3.19/3.22	c ---[3058]---> Adder-cost: 168   maxlim: 81   bits: 8/7
3.19/3.22	c ---[3056]---> Adder-cost: 150   maxlim: 71   bits: 8/7
3.19/3.22	c ---[3054]---> Adder-cost: 282   maxlim: 135   bits: 9/8
3.19/3.22	c ---[3052]---> Adder-cost: 110   maxlim: 65   bits: 8/7
3.19/3.23	c ---[3050]---> Adder-cost: 82   maxlim: 34   bits: 7/6
3.19/3.23	c ---[3048]---> Adder-cost: 160   maxlim: 82   bits: 8/7
3.19/3.23	c ---[3046]---> Adder-cost: 132   maxlim: 79   bits: 8/7
3.19/3.23	c ---[3044]---> Adder-cost: 152   maxlim: 96   bits: 8/7
3.19/3.24	c ---[3042]---> Adder-cost: 127   maxlim: 59   bits: 7/6
3.19/3.24	c ---[3040]---> Adder-cost: 70   maxlim: 32   bits: 7/6
3.19/3.24	c ---[3038]---> Adder-cost: 271   maxlim: 124   bits: 8/7
3.19/3.24	c ---[3036]---> Adder-cost: 158   maxlim: 67   bits: 8/7
3.19/3.25	c ---[3034]---> Adder-cost: 106   maxlim: 43   bits: 7/6
3.19/3.25	c ---[3032]---> Adder-cost: 139   maxlim: 58   bits: 7/6
3.19/3.25	c ---[3030]---> Adder-cost: 94   maxlim: 37   bits: 7/6
3.19/3.25	c ---[3028]---> Adder-cost: 146   maxlim: 67   bits: 8/7
3.19/3.25	c ---[3026]---> Adder-cost: 80   maxlim: 67   bits: 8/7
3.19/3.25	c ---[3024]---> Adder-cost: 200   maxlim: 87   bits: 8/7
3.19/3.26	c ---[3022]---> Adder-cost: 156   maxlim: 85   bits: 8/7
3.19/3.26	c ---[3020]---> Adder-cost: 162   maxlim: 95   bits: 8/7
3.19/3.26	c ---[3018]---> Adder-cost: 263   maxlim: 120   bits: 8/7
3.19/3.27	c ---[3016]---> Adder-cost: 164   maxlim: 71   bits: 8/7
3.19/3.27	c ---[3014]---> Adder-cost: 60   maxlim: 20   bits: 6/5
3.19/3.27	c ---[3012]---> Adder-cost: 42   maxlim: 20   bits: 6/5
3.19/3.27	c ---[3010]---> Adder-cost: 122   maxlim: 50   bits: 7/6
3.19/3.27	c ---[3008]---> Adder-cost: 81   maxlim: 28   bits: 6/5
3.19/3.27	c ---[3006]---> Adder-cost: 116   maxlim: 46   bits: 7/6
3.19/3.27	c ---[3004]---> Adder-cost: 120   maxlim: 52   bits: 7/6
3.19/3.28	c ---[3002]---> Adder-cost: 202   maxlim: 100   bits: 8/7
3.19/3.28	c ---[3000]---> Adder-cost: 220   maxlim: 98   bits: 8/7
3.19/3.28	c ---[2998]---> Adder-cost: 104   maxlim: 37   bits: 7/6
3.19/3.28	c ---[2996]---> Adder-cost: 64   maxlim: 37   bits: 7/6
3.19/3.28	c ---[2994]---> Adder-cost: 96   maxlim: 36   bits: 7/6
3.19/3.29	c ---[2992]---> Adder-cost: 76   maxlim: 37   bits: 7/6
3.19/3.29	c ---[2990]---> Adder-cost: 66   maxlim: 36   bits: 7/6
3.19/3.29	c ---[2988]---> Adder-cost: 106   maxlim: 44   bits: 7/6
3.19/3.29	c ---[2986]---> Adder-cost: 84   maxlim: 37   bits: 7/6
3.19/3.29	c ---[2984]---> Adder-cost: 158   maxlim: 65   bits: 8/7
3.19/3.29	c ---[2982]---> Adder-cost: 98   maxlim: 52   bits: 7/6
3.19/3.30	c ---[2980]---> Adder-cost: 198   maxlim: 96   bits: 8/7
3.19/3.30	c ---[2978]---> Adder-cost: 212   maxlim: 101   bits: 8/7
3.19/3.30	c ---[2976]---> Adder-cost: 206   maxlim: 107   bits: 8/7
3.29/3.30	c ---[2974]---> Adder-cost: 135   maxlim: 54   bits: 7/6
3.29/3.31	c ---[2972]---> Adder-cost: 75   maxlim: 54   bits: 7/6
3.29/3.31	c ---[2970]---> Adder-cost: 96   maxlim: 51   bits: 7/6
3.29/3.31	c ---[2968]---> Adder-cost: 125   maxlim: 63   bits: 7/6
3.29/3.31	c ---[2966]---> Adder-cost: 121   maxlim: 56   bits: 7/6
3.29/3.31	c ---[2964]---> Adder-cost: 95   maxlim: 53   bits: 7/6
3.29/3.32	c ---[2962]---> Adder-cost: 125   maxlim: 58   bits: 7/6
3.29/3.32	c ---[2960]---> Adder-cost: 133   maxlim: 53   bits: 7/6
3.29/3.32	c ---[2958]---> Adder-cost: 125   maxlim: 57   bits: 7/6
3.29/3.32	c ---[2956]---> Adder-cost: 312   maxlim: 151   bits: 9/8
3.29/3.33	c ---[2954]---> Adder-cost: 300   maxlim: 162   bits: 9/8
3.29/3.33	c ---[2952]---> Adder-cost: 284   maxlim: 160   bits: 9/8
3.29/3.34	c ---[2950]---> Adder-cost: 112   maxlim: 45   bits: 7/6
3.29/3.34	c ---[2948]---> Adder-cost: 66   maxlim: 45   bits: 7/6
3.29/3.34	c ---[2946]---> Adder-cost: 120   maxlim: 50   bits: 7/6
3.29/3.34	c ---[2944]---> Adder-cost: 104   maxlim: 44   bits: 7/6
3.29/3.34	c ---[2942]---> Adder-cost: 56   maxlim: 44   bits: 7/6
3.29/3.34	c ---[2940]---> Adder-cost: 118   maxlim: 49   bits: 7/6
3.29/3.35	c ---[2938]---> Adder-cost: 66   maxlim: 49   bits: 7/6
3.29/3.35	c ---[2936]---> Adder-cost: 98   maxlim: 51   bits: 7/6
3.29/3.35	c ---[2934]---> Adder-cost: 96   maxlim: 36   bits: 7/6
3.29/3.35	c ---[2932]---> Adder-cost: 96   maxlim: 85   bits: 8/7
3.29/3.35	c ---[2930]---> Adder-cost: 178   maxlim: 83   bits: 8/7
3.29/3.35	c ---[2928]---> Adder-cost: 80   maxlim: 83   bits: 8/7
3.29/3.36	c ---[2926]---> Adder-cost: 210   maxlim: 93   bits: 8/7
3.29/3.36	c ---[2924]---> Adder-cost: 152   maxlim: 65   bits: 8/7
3.29/3.36	c ---[2922]---> Adder-cost: 78   maxlim: 65   bits: 8/7
3.29/3.36	c ---[2920]---> Adder-cost: 102   maxlim: 66   bits: 8/7
3.29/3.37	c ---[2918]---> Adder-cost: 84   maxlim: 66   bits: 8/7
3.29/3.37	c ---[2916]---> Adder-cost: 158   maxlim: 66   bits: 8/7
3.29/3.37	c ---[2914]---> Adder-cost: 139   maxlim: 54   bits: 7/6
3.29/3.37	c ---[2912]---> Adder-cost: 75   maxlim: 54   bits: 7/6
3.29/3.38	c ---[2910]---> Adder-cost: 268   maxlim: 130   bits: 9/8
3.29/3.38	c ---[2908]---> Adder-cost: 263   maxlim: 123   bits: 8/7
3.29/3.38	c ---[2906]---> Adder-cost: 106   maxlim: 42   bits: 7/6
3.29/3.38	c ---[2904]---> Adder-cost: 58   maxlim: 42   bits: 7/6
3.29/3.39	c ---[2902]---> Adder-cost: 84   maxlim: 66   bits: 8/7
3.29/3.39	c ---[2900]---> Adder-cost: 102   maxlim: 39   bits: 7/6
3.29/3.39	c ---[2898]---> Adder-cost: 68   maxlim: 39   bits: 7/6
3.29/3.39	c ---[2896]---> Adder-cost: 68   maxlim: 39   bits: 7/6
3.29/3.39	c ---[2894]---> Adder-cost: 92   maxlim: 37   bits: 7/6
3.29/3.39	c ---[2892]---> Adder-cost: 78   maxlim: 39   bits: 7/6
3.29/3.40	c ---[2890]---> Adder-cost: 68   maxlim: 39   bits: 7/6
3.29/3.40	c ---[2888]---> Adder-cost: 218   maxlim: 102   bits: 8/7
3.29/3.40	c ---[2886]---> Adder-cost: 164   maxlim: 72   bits: 8/7
3.39/3.40	c ---[2884]---> Adder-cost: 102   maxlim: 37   bits: 7/6
3.39/3.40	c ---[2882]---> Adder-cost: 115   maxlim: 60   bits: 7/6
3.39/3.41	c ---[2880]---> Adder-cost: 218   maxlim: 105   bits: 8/7
3.39/3.41	c ---[2878]---> Adder-cost: 143   maxlim: 58   bits: 7/6
3.39/3.41	c ---[2876]---> Adder-cost: 77   maxlim: 58   bits: 7/6
3.39/3.41	c ---[2874]---> Adder-cost: 96   maxlim: 43   bits: 7/6
3.39/3.41	c ---[2872]---> Adder-cost: 60   maxlim: 43   bits: 7/6
3.39/3.42	c ---[2870]---> Adder-cost: 60   maxlim: 20   bits: 6/5
3.39/3.42	c ---[2868]---> Adder-cost: 46   maxlim: 18   bits: 6/5
3.39/3.42	c ---[2866]---> Adder-cost: 75   maxlim: 60   bits: 7/6
3.39/3.42	c ---[2864]---> Adder-cost: 294   maxlim: 160   bits: 9/8
3.39/3.43	c ---[2862]---> Adder-cost: 294   maxlim: 140   bits: 9/8
3.39/3.43	c ---[2860]---> Adder-cost: 73   maxlim: 22   bits: 6/5
3.39/3.43	c ---[2858]---> Adder-cost: 94   maxlim: 34   bits: 7/6
3.39/3.43	c ---[2856]---> Adder-cost: 109   maxlim: 53   bits: 7/6
3.39/3.43	c ---[2854]---> Adder-cost: 133   maxlim: 53   bits: 7/6
3.39/3.44	c ---[2852]---> Adder-cost: 98   maxlim: 50   bits: 7/6
3.39/3.44	c ---[2850]---> Adder-cost: 106   maxlim: 44   bits: 7/6
3.39/3.44	c ---[2848]---> Adder-cost: 218   maxlim: 103   bits: 8/7
3.39/3.44	c ---[2846]---> Adder-cost: 117   maxlim: 53   bits: 7/6
3.39/3.44	c ---[2844]---> Adder-cost: 302   maxlim: 157   bits: 9/8
3.39/3.45	c ---[2842]---> Adder-cost: 248   maxlim: 133   bits: 9/8
3.39/3.45	c ---[2840]---> Adder-cost: 151   maxlim: 63   bits: 7/6
3.39/3.45	c ---[2838]---> Adder-cost: 100   maxlim: 48   bits: 7/6
3.39/3.46	c ---[2836]---> Adder-cost: 78   maxlim: 32   bits: 7/6
3.39/3.46	c ---[2834]---> Adder-cost: 88   maxlim: 36   bits: 7/6
3.39/3.46	c ---[2832]---> Adder-cost: 174   maxlim: 81   bits: 8/7
3.39/3.46	c ---[2830]---> Adder-cost: 60   maxlim: 18   bits: 6/5
3.39/3.46	c ---[2828]---> Adder-cost: 44   maxlim: 18   bits: 6/5
3.39/3.46	c ---[2826]---> Adder-cost: 88   maxlim: 37   bits: 7/6
3.39/3.46	c ---[2824]---> Adder-cost: 64   maxlim: 37   bits: 7/6
3.39/3.47	c ---[2822]---> Adder-cost: 90   maxlim: 36   bits: 7/6
3.39/3.47	c ---[2820]---> Adder-cost: 94   maxlim: 38   bits: 7/6
3.39/3.47	c ---[2818]---> Adder-cost: 88   maxlim: 81   bits: 8/7
3.39/3.47	c ---[2816]---> Adder-cost: 77   maxlim: 27   bits: 6/5
3.39/3.47	c ---[2814]---> Adder-cost: 71   maxlim: 31   bits: 6/5
3.39/3.47	c ---[2812]---> Adder-cost: 59   maxlim: 31   bits: 6/5
3.39/3.47	c ---[2810]---> Adder-cost: 65   maxlim: 22   bits: 6/5
3.39/3.48	c ---[2808]---> Adder-cost: 196   maxlim: 93   bits: 8/7
3.39/3.48	c ---[2806]---> Adder-cost: 65   maxlim: 24   bits: 6/5
3.39/3.48	c ---[2804]---> Adder-cost: 51   maxlim: 24   bits: 6/5
3.39/3.48	c ---[2802]---> Adder-cost: 67   maxlim: 22   bits: 6/5
3.39/3.48	c ---[2800]---> Adder-cost: 53   maxlim: 22   bits: 6/5
3.39/3.48	c ---[2798]---> Adder-cost: 155   maxlim: 63   bits: 7/6
3.39/3.48	c ---[2796]---> Adder-cost: 101   maxlim: 60   bits: 7/6
3.39/3.49	c ---[2794]---> Adder-cost: 104   maxlim: 47   bits: 7/6
3.39/3.49	c ---[2792]---> Adder-cost: 62   maxlim: 47   bits: 7/6
3.39/3.49	c ---[2790]---> Adder-cost: 118   maxlim: 48   bits: 7/6
3.39/3.49	c ---[2788]---> Adder-cost: 267   maxlim: 121   bits: 8/7
3.39/3.49	c ---[2786]---> Adder-cost: 135   maxlim: 54   bits: 7/6
3.49/3.50	c ---[2784]---> Adder-cost: 178   maxlim: 82   bits: 8/7
3.49/3.50	c ---[2782]---> Adder-cost: 88   maxlim: 82   bits: 8/7
3.49/3.50	c ---[2780]---> Adder-cost: 192   maxlim: 83   bits: 8/7
3.49/3.50	c ---[2778]---> Adder-cost: 80   maxlim: 83   bits: 8/7
3.49/3.51	c ---[2776]---> Adder-cost: 204   maxlim: 92   bits: 8/7
3.49/3.51	c ---[2774]---> Adder-cost: 86   maxlim: 92   bits: 8/7
3.49/3.51	c ---[2772]---> Adder-cost: 144   maxlim: 95   bits: 8/7
3.49/3.51	c ---[2770]---> Adder-cost: 198   maxlim: 94   bits: 8/7
3.49/3.52	c ---[2768]---> Adder-cost: 269   maxlim: 120   bits: 8/7
3.49/3.52	c ---[2766]---> Adder-cost: 122   maxlim: 97   bits: 8/7
3.49/3.52	c ---[2764]---> Adder-cost: 86   maxlim: 97   bits: 8/7
3.49/3.53	c ---[2762]---> Adder-cost: 166   maxlim: 85   bits: 8/7
3.49/3.53	c ---[2760]---> Adder-cost: 146   maxlim: 77   bits: 8/7
3.49/3.53	c ---[2758]---> Adder-cost: 104   maxlim: 49   bits: 7/6
3.49/3.53	c ---[2756]---> Adder-cost: 211   maxlim: 117   bits: 8/7
3.49/3.54	c ---[2754]---> Adder-cost: 147   maxlim: 61   bits: 7/6
3.49/3.54	c ---[2752]---> Adder-cost: 77   maxlim: 61   bits: 7/6
3.49/3.54	c ---[2750]---> Adder-cost: 131   maxlim: 60   bits: 7/6
3.49/3.54	c ---[2748]---> Adder-cost: 75   maxlim: 60   bits: 7/6
3.49/3.54	c ---[2746]---> Adder-cost: 139   maxlim: 61   bits: 7/6
3.49/3.55	c ---[2744]---> Adder-cost: 77   maxlim: 61   bits: 7/6
3.49/3.55	c ---[2742]---> Adder-cost: 133   maxlim: 55   bits: 7/6
3.49/3.55	c ---[2740]---> Adder-cost: 77   maxlim: 55   bits: 7/6
3.49/3.55	c ---[2738]---> Adder-cost: 77   maxlim: 55   bits: 7/6
3.49/3.55	c ---[2736]---> Adder-cost: 234   maxlim: 116   bits: 8/7
3.49/3.56	c ---[2734]---> Adder-cost: 73   maxlim: 21   bits: 6/5
3.49/3.56	c ---[2732]---> Adder-cost: 50   maxlim: 16   bits: 6/5
3.49/3.56	c ---[2730]---> Adder-cost: 104   maxlim: 40   bits: 7/6
3.49/3.56	c ---[2728]---> Sorter-cost:  577     Base: 2
3.49/3.56	c ---[2726]---> Adder-cost: 98   maxlim: 39   bits: 7/6
3.49/3.56	c ---[2724]---> Adder-cost: 58   maxlim: 17   bits: 6/5
3.49/3.56	c ---[2722]---> Adder-cost: 42   maxlim: 17   bits: 6/5
3.49/3.56	c ---[2720]---> Adder-cost: 92   maxlim: 116   bits: 8/7
3.49/3.57	c ---[2718]---> Adder-cost: 87   maxlim: 30   bits: 6/5
3.49/3.57	c ---[2716]---> Adder-cost: 59   maxlim: 30   bits: 6/5
3.49/3.57	c ---[2714]---> Sorter-cost:  577     Base: 2
3.49/3.57	c ---[2712]---> Adder-cost: 96   maxlim: 36   bits: 7/6
3.49/3.57	c ---[2710]---> Adder-cost: 133   maxlim: 53   bits: 7/6
3.49/3.57	c ---[2708]---> Adder-cost: 267   maxlim: 118   bits: 8/7
3.49/3.58	c ---[2706]---> Adder-cost: 77   maxlim: 26   bits: 6/5
3.49/3.58	c ---[2704]---> Adder-cost: 51   maxlim: 26   bits: 6/5
3.49/3.58	c ---[2702]---> Adder-cost: 73   maxlim: 24   bits: 6/5
3.49/3.58	c ---[2700]---> Adder-cost: 71   maxlim: 21   bits: 6/5
3.49/3.58	c ---[2698]---> Adder-cost: 55   maxlim: 21   bits: 6/5
3.49/3.58	c ---[2696]---> Sorter-cost:  577     Base: 2
3.49/3.58	c ---[2694]---> Adder-cost: 111   maxlim: 118   bits: 8/7
3.49/3.59	c ---[2692]---> Adder-cost: 149   maxlim: 63   bits: 7/6
3.49/3.59	c ---[2690]---> Adder-cost: 77   maxlim: 63   bits: 7/6
3.49/3.59	c ---[2688]---> Adder-cost: 114   maxlim: 51   bits: 7/6
3.49/3.59	c ---[2686]---> Sorter-cost:  546     Base: 2
3.49/3.59	c ---[2684]---> Sorter-cost:  496     Base: 2
3.49/3.59	c ---[2682]---> Adder-cost: 143   maxlim: 59   bits: 7/6
3.49/3.59	c ---[2680]---> Adder-cost: 204   maxlim: 96   bits: 8/7
3.59/3.60	c ---[2678]---> Adder-cost: 110   maxlim: 52   bits: 7/6
3.59/3.60	c ---[2676]---> Adder-cost: 174   maxlim: 115   bits: 8/7
3.59/3.60	c ---[2674]---> Adder-cost: 98   maxlim: 37   bits: 7/6
3.59/3.60	c ---[2672]---> Adder-cost: 64   maxlim: 37   bits: 7/6
3.59/3.61	c ---[2670]---> Adder-cost: 90   maxlim: 35   bits: 7/6
3.59/3.61	c ---[2668]---> Adder-cost: 68   maxlim: 35   bits: 7/6
3.59/3.61	c ---[2666]---> Adder-cost: 182   maxlim: 113   bits: 8/7
3.59/3.61	c ---[2664]---> Adder-cost: 164   maxlim: 69   bits: 8/7
3.59/3.61	c ---[2662]---> Adder-cost: 138   maxlim: 80   bits: 8/7
3.59/3.62	c ---[2660]---> Adder-cost: 140   maxlim: 64   bits: 8/7
3.59/3.62	c ---[2658]---> Adder-cost: 87   maxlim: 55   bits: 7/6
3.59/3.62	c ---[2656]---> Sorter-cost:  544     Base: 2
3.59/3.62	c ---[2654]---> Sorter-cost:  496     Base: 2
3.59/3.62	c ---[2652]---> Adder-cost: 164   maxlim: 112   bits: 8/7
3.59/3.62	c ---[2650]---> Adder-cost: 204   maxlim: 96   bits: 8/7
3.59/3.63	c ---[2648]---> Adder-cost: 169   maxlim: 123   bits: 8/7
3.59/3.63	c ---[2646]---> Adder-cost: 101   maxlim: 123   bits: 8/7
3.59/3.63	c ---[2644]---> Adder-cost: 224   maxlim: 106   bits: 8/7
3.59/3.64	c ---[2642]---> Adder-cost: 109   maxlim: 59   bits: 7/6
3.59/3.64	c ---[2640]---> Adder-cost: 73   maxlim: 23   bits: 6/5
3.59/3.64	c ---[2638]---> Adder-cost: 176   maxlim: 102   bits: 8/7
3.59/3.64	c ---[2636]---> Adder-cost: 79   maxlim: 27   bits: 6/5
3.59/3.64	c ---[2634]---> Adder-cost: 87   maxlim: 30   bits: 6/5
3.59/3.65	c ---[2632]---> Adder-cost: 59   maxlim: 30   bits: 6/5
3.59/3.65	c ---[2630]---> Adder-cost: 67   maxlim: 26   bits: 6/5
3.59/3.65	c ---[2628]---> Adder-cost: 60   maxlim: 20   bits: 6/5
3.59/3.65	c ---[2626]---> Adder-cost: 148   maxlim: 70   bits: 8/7
3.59/3.65	c ---[2624]---> Adder-cost: 102   maxlim: 38   bits: 7/6
3.59/3.65	c ---[2622]---> Adder-cost: 79   maxlim: 27   bits: 6/5
3.59/3.65	c ---[2620]---> Adder-cost: 69   maxlim: 23   bits: 6/5
3.59/3.65	c ---[2618]---> Adder-cost: 60   maxlim: 19   bits: 6/5
3.59/3.66	c ---[2616]---> Adder-cost: 46   maxlim: 19   bits: 6/5
3.59/3.66	c ---[2614]---> Adder-cost: 46   maxlim: 19   bits: 6/5
3.59/3.66	c ---[2612]---> Adder-cost: 139   maxlim: 53   bits: 7/6
3.59/3.66	c ---[2610]---> Adder-cost: 71   maxlim: 22   bits: 6/5
3.59/3.66	c ---[2608]---> Adder-cost: 164   maxlim: 76   bits: 8/7
3.59/3.66	c ---[2606]---> Adder-cost: 226   maxlim: 101   bits: 8/7
3.59/3.67	c ---[2604]---> Adder-cost: 224   maxlim: 113   bits: 8/7
3.59/3.67	c ---[2602]---> Adder-cost: 100   maxlim: 40   bits: 7/6
3.59/3.67	c ---[2600]---> Adder-cost: 112   maxlim: 46   bits: 7/6
3.59/3.67	c ---[2598]---> Adder-cost: 73   maxlim: 53   bits: 7/6
3.59/3.67	c ---[2596]---> Adder-cost: 404   maxlim: 206   bits: 9/8
3.59/3.68	c ---[2594]---> Adder-cost: 150   maxlim: 65   bits: 8/7
3.59/3.69	c ---[2592]---> Adder-cost: 216   maxlim: 98   bits: 8/7
3.59/3.69	c ---[2590]---> Adder-cost: 82   maxlim: 98   bits: 8/7
3.59/3.69	c ---[2588]---> Adder-cost: 164   maxlim: 79   bits: 8/7
3.59/3.69	c ---[2586]---> Adder-cost: 316   maxlim: 163   bits: 9/8
3.69/3.70	c ---[2584]---> Adder-cost: 241   maxlim: 121   bits: 8/7
3.69/3.70	c ---[2582]---> Adder-cost: 204   maxlim: 139   bits: 9/8
3.69/3.71	c ---[2580]---> Adder-cost: 104   maxlim: 40   bits: 7/6
3.69/3.71	c ---[2578]---> Adder-cost: 90   maxlim: 44   bits: 7/6
3.69/3.71	c ---[2576]---> Adder-cost: 206   maxlim: 96   bits: 8/7
3.69/3.71	c ---[2574]---> Adder-cost: 56   maxlim: 44   bits: 7/6
3.69/3.72	c ---[2572]---> Adder-cost: 56   maxlim: 44   bits: 7/6
3.69/3.72	c ---[2570]---> Adder-cost: 56   maxlim: 44   bits: 7/6
3.69/3.72	c ---[2568]---> Adder-cost: 73   maxlim: 22   bits: 6/5
3.69/3.72	c ---[2566]---> Adder-cost: 53   maxlim: 22   bits: 6/5
3.69/3.72	c ---[2564]---> Adder-cost: 53   maxlim: 22   bits: 6/5
3.69/3.72	c ---[2562]---> Adder-cost: 53   maxlim: 22   bits: 6/5
3.69/3.72	c ---[2560]---> Adder-cost: 90   maxlim: 96   bits: 8/7
3.69/3.72	c ---[2558]---> Adder-cost: 75   maxlim: 24   bits: 6/5
3.69/3.73	c ---[2556]---> Adder-cost: 110   maxlim: 44   bits: 7/6
3.69/3.73	c ---[2554]---> Adder-cost: 150   maxlim: 65   bits: 8/7
3.69/3.73	c ---[2552]---> Adder-cost: 110   maxlim: 46   bits: 7/6
3.69/3.73	c ---[2550]---> Adder-cost: 68   maxlim: 46   bits: 7/6
3.69/3.73	c ---[2548]---> Adder-cost: 90   maxlim: 96   bits: 8/7
3.69/3.74	c ---[2546]---> Sorter-cost:  546     Base: 2
3.69/3.74	c ---[2544]---> Sorter-cost:  496     Base: 2
3.69/3.74	c ---[2542]---> Sorter-cost:  673     Base: 7
3.69/3.74	c ---[2540]---> Sorter-cost:  565     Base: 2
3.69/3.74	c ---[2538]---> Sorter-cost:  496     Base: 2
3.69/3.74	c ---[2536]---> Sorter-cost:  813     Base: 7
3.69/3.74	c ---[2534]---> Adder-cost: 135   maxlim: 62   bits: 7/6
3.69/3.74	c ---[2532]---> Adder-cost: 212   maxlim: 103   bits: 8/7
3.69/3.74	c ---[2530]---> Adder-cost: 73   maxlim: 62   bits: 7/6
3.69/3.75	c ---[2528]---> Adder-cost: 204   maxlim: 94   bits: 8/7
3.69/3.75	c ---[2526]---> Adder-cost: 135   maxlim: 57   bits: 7/6
3.69/3.75	c ---[2524]---> Adder-cost: 100   maxlim: 39   bits: 7/6
3.69/3.75	c ---[2522]---> Adder-cost: 127   maxlim: 53   bits: 7/6
3.69/3.75	c ---[2520]---> Adder-cost: 94   maxlim: 36   bits: 7/6
3.69/3.76	c ---[2518]---> Adder-cost: 141   maxlim: 55   bits: 7/6
3.69/3.76	c ---[2516]---> Adder-cost: 106   maxlim: 40   bits: 7/6
3.69/3.76	c ---[2514]---> Adder-cost: 212   maxlim: 97   bits: 8/7
3.69/3.76	c ---[2512]---> Adder-cost: 246   maxlim: 111   bits: 8/7
3.69/3.77	c ---[2510]---> Adder-cost: 98   maxlim: 111   bits: 8/7
3.69/3.77	c ---[2508]---> Adder-cost: 98   maxlim: 111   bits: 8/7
3.69/3.77	c ---[2506]---> Adder-cost: 184   maxlim: 81   bits: 8/7
3.69/3.77	c ---[2504]---> Adder-cost: 214   maxlim: 102   bits: 8/7
3.69/3.78	c ---[2502]---> Adder-cost: 104   maxlim: 40   bits: 7/6
3.69/3.78	c ---[2500]---> Adder-cost: 87   maxlim: 31   bits: 6/5
3.69/3.78	c ---[2498]---> Adder-cost: 64   maxlim: 40   bits: 7/6
3.69/3.78	c ---[2496]---> Adder-cost: 72   maxlim: 35   bits: 7/6
3.69/3.78	c ---[2494]---> Adder-cost: 56   maxlim: 35   bits: 7/6
3.69/3.78	c ---[2492]---> Adder-cost: 108   maxlim: 45   bits: 7/6
3.69/3.79	c ---[2490]---> Adder-cost: 90   maxlim: 33   bits: 7/6
3.69/3.79	c ---[2488]---> Adder-cost: 192   maxlim: 89   bits: 8/7
3.69/3.79	c ---[2486]---> Adder-cost: 81   maxlim: 27   bits: 6/5
3.69/3.79	c ---[2484]---> Adder-cost: 118   maxlim: 47   bits: 7/6
3.69/3.79	c ---[2482]---> Adder-cost: 55   maxlim: 27   bits: 6/5
3.69/3.79	c ---[2480]---> Adder-cost: 55   maxlim: 27   bits: 6/5
3.69/3.79	c ---[2478]---> Adder-cost: 152   maxlim: 64   bits: 8/7
3.79/3.80	c ---[2476]---> Adder-cost: 85   maxlim: 31   bits: 6/5
3.79/3.80	c ---[2474]---> Adder-cost: 141   maxlim: 58   bits: 7/6
3.79/3.80	c ---[2472]---> Adder-cost: 196   maxlim: 98   bits: 8/7
3.79/3.80	c ---[2470]---> Adder-cost: 82   maxlim: 98   bits: 8/7
3.79/3.81	c ---[2468]---> Adder-cost: 98   maxlim: 49   bits: 7/6
3.79/3.81	c ---[2466]---> Adder-cost: 186   maxlim: 99   bits: 8/7
3.79/3.81	c ---[2464]---> Adder-cost: 106   maxlim: 43   bits: 7/6
3.79/3.81	c ---[2462]---> Adder-cost: 234   maxlim: 110   bits: 8/7
3.79/3.82	c ---[2460]---> Adder-cost: 210   maxlim: 94   bits: 8/7
3.79/3.82	c ---[2458]---> Adder-cost: 134   maxlim: 100   bits: 8/7
3.79/3.82	c ---[2456]---> Adder-cost: 114   maxlim: 48   bits: 7/6
3.79/3.82	c ---[2454]---> Adder-cost: 135   maxlim: 57   bits: 7/6
3.79/3.82	c ---[2452]---> Adder-cost: 66   maxlim: 49   bits: 7/6
3.79/3.83	c ---[2450]---> Adder-cost: 92   maxlim: 33   bits: 7/6
3.79/3.83	c ---[2448]---> Adder-cost: 60   maxlim: 33   bits: 7/6
3.79/3.83	c ---[2446]---> Adder-cost: 60   maxlim: 33   bits: 7/6
3.79/3.83	c ---[2444]---> Adder-cost: 96   maxlim: 40   bits: 7/6
3.79/3.83	c ---[2442]---> Adder-cost: 172   maxlim: 81   bits: 8/7
3.79/3.83	c ---[2440]---> Adder-cost: 168   maxlim: 69   bits: 8/7
3.79/3.84	c ---[2438]---> Adder-cost: 308   maxlim: 171   bits: 9/8
3.79/3.84	c ---[2436]---> Adder-cost: 66   maxlim: 49   bits: 7/6
3.79/3.84	c ---[2434]---> Adder-cost: 149   maxlim: 61   bits: 7/6
3.79/3.84	c ---[2432]---> Adder-cost: 77   maxlim: 61   bits: 7/6
3.79/3.85	c ---[2430]---> Adder-cost: 100   maxlim: 37   bits: 7/6
3.79/3.85	c ---[2428]---> Adder-cost: 64   maxlim: 37   bits: 7/6
3.79/3.85	c ---[2426]---> Adder-cost: 88   maxlim: 35   bits: 7/6
3.79/3.85	c ---[2424]---> Adder-cost: 218   maxlim: 96   bits: 8/7
3.79/3.85	c ---[2422]---> Adder-cost: 158   maxlim: 70   bits: 8/7
3.79/3.86	c ---[2420]---> Adder-cost: 104   maxlim: 37   bits: 7/6
3.79/3.86	c ---[2418]---> Adder-cost: 85   maxlim: 30   bits: 6/5
3.79/3.86	c ---[2416]---> Adder-cost: 59   maxlim: 30   bits: 6/5
3.79/3.86	c ---[2414]---> Adder-cost: 81   maxlim: 30   bits: 6/5
3.79/3.86	c ---[2412]---> Adder-cost: 59   maxlim: 30   bits: 6/5
3.79/3.86	c ---[2410]---> Adder-cost: 59   maxlim: 30   bits: 6/5
3.79/3.86	c ---[2408]---> Adder-cost: 56   maxlim: 35   bits: 7/6
3.79/3.86	c ---[2406]---> Adder-cost: 59   maxlim: 30   bits: 6/5
3.79/3.86	c ---[2404]---> Adder-cost: 59   maxlim: 30   bits: 6/5
3.79/3.87	c ---[2402]---> Adder-cost: 59   maxlim: 30   bits: 6/5
3.79/3.87	c ---[2400]---> Adder-cost: 59   maxlim: 30   bits: 6/5
3.79/3.87	c ---[2398]---> Adder-cost: 184   maxlim: 78   bits: 8/7
3.79/3.87	c ---[2396]---> Adder-cost: 232   maxlim: 104   bits: 8/7
3.79/3.87	c ---[2394]---> Adder-cost: 92   maxlim: 104   bits: 8/7
3.79/3.88	c ---[2392]---> Adder-cost: 290   maxlim: 131   bits: 9/8
3.79/3.88	c ---[2390]---> Adder-cost: 72   maxlim: 34   bits: 7/6
3.79/3.88	c ---[2388]---> Adder-cost: 248   maxlim: 112   bits: 8/7
3.79/3.89	c ---[2386]---> Sorter-cost:  577     Base: 2
3.79/3.89	c ---[2384]---> Sorter-cost:  451     Base: 2
3.79/3.89	c ---[2382]---> Sorter-cost:  451     Base: 2
3.79/3.89	c ---[2380]---> Sorter-cost:  451     Base: 2
3.79/3.89	c ---[2378]---> Sorter-cost:  451     Base: 2
3.79/3.89	c ---[2376]---> Adder-cost: 143   maxlim: 58   bits: 7/6
3.79/3.89	c ---[2374]---> Adder-cost: 208   maxlim: 90   bits: 8/7
3.79/3.89	c ---[2372]---> Adder-cost: 182   maxlim: 92   bits: 8/7
3.89/3.90	c ---[2370]---> Adder-cost: 144   maxlim: 91   bits: 8/7
3.89/3.90	c ---[2368]---> Adder-cost: 73   maxlim: 22   bits: 6/5
3.89/3.90	c ---[2366]---> Adder-cost: 60   maxlim: 20   bits: 6/5
3.89/3.90	c ---[2364]---> Adder-cost: 42   maxlim: 20   bits: 6/5
3.89/3.90	c ---[2362]---> Adder-cost: 138   maxlim: 71   bits: 8/7
3.89/3.90	c ---[2360]---> Adder-cost: 60   maxlim: 17   bits: 6/5
3.89/3.91	c ---[2358]---> Adder-cost: 86   maxlim: 32   bits: 7/6
3.89/3.91	c ---[2356]---> Adder-cost: 52   maxlim: 32   bits: 7/6
3.89/3.91	c ---[2354]---> Adder-cost: 79   maxlim: 27   bits: 6/5
3.89/3.91	c ---[2352]---> Adder-cost: 55   maxlim: 27   bits: 6/5
3.89/3.91	c ---[2350]---> Adder-cost: 71   maxlim: 22   bits: 6/5
3.89/3.91	c ---[2348]---> Adder-cost: 62   maxlim: 19   bits: 6/5
3.89/3.91	c ---[2346]---> Adder-cost: 61   maxlim: 23   bits: 6/5
3.89/3.91	c ---[2344]---> Adder-cost: 67   maxlim: 26   bits: 6/5
3.89/3.91	c ---[2342]---> Adder-cost: 51   maxlim: 26   bits: 6/5
3.89/3.92	c ---[2340]---> Adder-cost: 92   maxlim: 34   bits: 7/6
3.89/3.92	c ---[2338]---> Adder-cost: 58   maxlim: 34   bits: 7/6
3.89/3.92	c ---[2336]---> Adder-cost: 90   maxlim: 33   bits: 7/6
3.89/3.92	c ---[2334]---> Adder-cost: 208   maxlim: 92   bits: 8/7
3.89/3.92	c ---[2332]---> Adder-cost: 188   maxlim: 83   bits: 8/7
3.89/3.92	c ---[2330]---> Adder-cost: 46   maxlim: 19   bits: 6/5
3.89/3.93	c ---[2328]---> Adder-cost: 296   maxlim: 143   bits: 9/8
3.89/3.93	c ---[2326]---> Adder-cost: 263   maxlim: 118   bits: 8/7
3.89/3.93	c ---[2324]---> Adder-cost: 96   maxlim: 36   bits: 7/6
3.89/3.93	c ---[2322]---> Adder-cost: 56   maxlim: 36   bits: 7/6
3.89/3.94	c ---[2320]---> Adder-cost: 56   maxlim: 36   bits: 7/6
3.89/3.94	c ---[2318]---> Adder-cost: 120   maxlim: 47   bits: 7/6
3.89/3.94	c ---[2316]---> Adder-cost: 208   maxlim: 99   bits: 8/7
3.89/3.94	c ---[2314]---> Adder-cost: 90   maxlim: 99   bits: 8/7
3.89/3.94	c ---[2312]---> Adder-cost: 208   maxlim: 98   bits: 8/7
3.89/3.95	c ---[2310]---> Adder-cost: 82   maxlim: 98   bits: 8/7
3.89/3.95	c ---[2308]---> Adder-cost: 82   maxlim: 98   bits: 8/7
3.89/3.95	c ---[2306]---> Adder-cost: 82   maxlim: 98   bits: 8/7
3.89/3.96	c ---[2304]---> Adder-cost: 158   maxlim: 73   bits: 8/7
3.89/3.96	c ---[2302]---> Adder-cost: 188   maxlim: 84   bits: 8/7
3.89/3.96	c ---[2300]---> Adder-cost: 88   maxlim: 84   bits: 8/7
3.89/3.96	c ---[2298]---> Adder-cost: 88   maxlim: 84   bits: 8/7
3.89/3.97	c ---[2296]---> Adder-cost: 180   maxlim: 85   bits: 8/7
3.89/3.97	c ---[2294]---> Adder-cost: 182   maxlim: 78   bits: 8/7
3.89/3.97	c ---[2292]---> Adder-cost: 84   maxlim: 78   bits: 8/7
3.89/3.97	c ---[2290]---> Adder-cost: 84   maxlim: 78   bits: 8/7
3.89/3.98	c ---[2288]---> Adder-cost: 132   maxlim: 75   bits: 8/7
3.89/3.98	c ---[2286]---> Adder-cost: 90   maxlim: 75   bits: 8/7
3.89/3.98	c ---[2284]---> Adder-cost: 86   maxlim: 73   bits: 8/7
3.89/3.98	c ---[2282]---> Adder-cost: 84   maxlim: 78   bits: 8/7
3.89/3.99	c ---[2280]---> Adder-cost: 73   maxlim: 22   bits: 6/5
3.89/3.99	c ---[2278]---> Adder-cost: 53   maxlim: 22   bits: 6/5
3.89/3.99	c ---[2276]---> Adder-cost: 116   maxlim: 46   bits: 7/6
3.89/3.99	c ---[2274]---> Adder-cost: 68   maxlim: 46   bits: 7/6
3.89/3.99	c ---[2272]---> Adder-cost: 60   maxlim: 17   bits: 6/5
3.89/3.99	c ---[2270]---> Adder-cost: 160   maxlim: 67   bits: 8/7
3.89/3.99	c ---[2268]---> Adder-cost: 80   maxlim: 67   bits: 8/7
3.99/4.00	c ---[2266]---> Adder-cost: 164   maxlim: 71   bits: 8/7
3.99/4.00	c ---[2264]---> Adder-cost: 90   maxlim: 32   bits: 7/6
3.99/4.00	c ---[2262]---> Adder-cost: 69   maxlim: 29   bits: 6/5
3.99/4.00	c ---[2260]---> Adder-cost: 55   maxlim: 29   bits: 6/5
3.99/4.00	c ---[2258]---> Adder-cost: 178   maxlim: 76   bits: 8/7
3.99/4.00	c ---[2256]---> Adder-cost: 110   maxlim: 52   bits: 7/6
3.99/4.01	c ---[2254]---> Adder-cost: 62   maxlim: 20   bits: 6/5
3.99/4.01	c ---[2252]---> Adder-cost: 358   maxlim: 165   bits: 9/8
3.99/4.01	c ---[2250]---> Adder-cost: 78   maxlim: 71   bits: 8/7
3.99/4.01	c ---[2248]---> Adder-cost: 42   maxlim: 20   bits: 6/5
3.99/4.02	c ---[2246]---> Adder-cost: 71   maxlim: 21   bits: 6/5
3.99/4.02	c ---[2244]---> Adder-cost: 184   maxlim: 84   bits: 8/7
3.99/4.02	c ---[2242]---> Adder-cost: 135   maxlim: 54   bits: 7/6
3.99/4.02	c ---[2240]---> Adder-cost: 96   maxlim: 47   bits: 7/6
3.99/4.02	c ---[2238]---> Adder-cost: 83   maxlim: 30   bits: 6/5
3.99/4.02	c ---[2236]---> Adder-cost: 59   maxlim: 30   bits: 6/5
3.99/4.02	c ---[2234]---> Adder-cost: 73   maxlim: 24   bits: 6/5
3.99/4.03	c ---[2232]---> Adder-cost: 71   maxlim: 22   bits: 6/5
3.99/4.03	c ---[2230]---> Adder-cost: 54   maxlim: 20   bits: 6/5
3.99/4.03	c ---[2228]---> Adder-cost: 63   maxlim: 21   bits: 6/5
3.99/4.03	c ---[2226]---> Adder-cost: 73   maxlim: 25   bits: 6/5
3.99/4.03	c ---[2224]---> Adder-cost: 56   maxlim: 20   bits: 6/5
3.99/4.03	c ---[2222]---> Adder-cost: 42   maxlim: 20   bits: 6/5
3.99/4.03	c ---[2220]---> Sorter-cost:  577     Base: 2
3.99/4.03	c ---[2218]---> Sorter-cost:  451     Base: 2
3.99/4.03	c ---[2216]---> Sorter-cost:  800     Base: 7
3.99/4.03	c ---[2214]---> Sorter-cost:  674     Base: 7
3.99/4.03	c ---[2212]---> Adder-cost: 67   maxlim: 27   bits: 6/5
3.99/4.04	c ---[2210]---> Adder-cost: 54   maxlim: 16   bits: 6/5
3.99/4.04	c ---[2208]---> Adder-cost: 42   maxlim: 16   bits: 6/5
3.99/4.04	c ---[2206]---> Adder-cost: 44   maxlim: 16   bits: 6/5
3.99/4.04	c ---[2204]---> Adder-cost: 269   maxlim: 124   bits: 8/7
3.99/4.04	c ---[2202]---> Adder-cost: 42   maxlim: 16   bits: 6/5
3.99/4.04	c ---[2200]---> Adder-cost: 172   maxlim: 72   bits: 8/7
3.99/4.04	c ---[2198]---> Adder-cost: 80   maxlim: 72   bits: 8/7
3.99/4.05	c ---[2196]---> Adder-cost: 114   maxlim: 49   bits: 7/6
3.99/4.05	c ---[2194]---> Adder-cost: 66   maxlim: 49   bits: 7/6
3.99/4.05	c ---[2192]---> Adder-cost: 202   maxlim: 88   bits: 8/7
3.99/4.05	c ---[2190]---> Adder-cost: 128   maxlim: 65   bits: 8/7
3.99/4.06	c ---[2188]---> Adder-cost: 182   maxlim: 112   bits: 8/7
3.99/4.06	c ---[2186]---> Adder-cost: 151   maxlim: 61   bits: 7/6
3.99/4.06	c ---[2184]---> Adder-cost: 77   maxlim: 61   bits: 7/6
3.99/4.06	c ---[2182]---> Adder-cost: 172   maxlim: 71   bits: 8/7
3.99/4.06	c ---[2180]---> Adder-cost: 78   maxlim: 71   bits: 8/7
3.99/4.07	c ---[2178]---> Adder-cost: 139   maxlim: 54   bits: 7/6
3.99/4.07	c ---[2176]---> Adder-cost: 129   maxlim: 56   bits: 7/6
3.99/4.07	c ---[2174]---> Adder-cost: 238   maxlim: 113   bits: 8/7
3.99/4.07	c ---[2172]---> Adder-cost: 71   maxlim: 56   bits: 7/6
3.99/4.08	c ---[2170]---> Adder-cost: 186   maxlim: 79   bits: 8/7
3.99/4.08	c ---[2168]---> Adder-cost: 178   maxlim: 77   bits: 8/7
3.99/4.08	c ---[2166]---> Adder-cost: 84   maxlim: 77   bits: 8/7
3.99/4.08	c ---[2164]---> Adder-cost: 202   maxlim: 112   bits: 8/7
3.99/4.09	c ---[2162]---> Adder-cost: 98   maxlim: 112   bits: 8/7
3.99/4.09	c ---[2160]---> Adder-cost: 198   maxlim: 110   bits: 8/7
3.99/4.09	c ---[2158]---> Adder-cost: 96   maxlim: 110   bits: 8/7
4.09/4.10	c ---[2156]---> Adder-cost: 98   maxlim: 113   bits: 8/7
4.09/4.10	c ---[2154]---> Adder-cost: 104   maxlim: 38   bits: 7/6
4.09/4.10	c ---[2152]---> Adder-cost: 58   maxlim: 38   bits: 7/6
4.09/4.10	c ---[2150]---> Adder-cost: 188   maxlim: 81   bits: 8/7
4.09/4.11	c ---[2148]---> Adder-cost: 139   maxlim: 55   bits: 7/6
4.09/4.11	c ---[2146]---> Adder-cost: 158   maxlim: 74   bits: 8/7
4.09/4.11	c ---[2144]---> Adder-cost: 140   maxlim: 72   bits: 8/7
4.09/4.11	c ---[2142]---> Adder-cost: 98   maxlim: 113   bits: 8/7
4.09/4.12	c ---[2140]---> Adder-cost: 80   maxlim: 72   bits: 8/7
4.09/4.12	c ---[2138]---> Adder-cost: 120   maxlim: 47   bits: 7/6
4.09/4.12	c ---[2136]---> Adder-cost: 62   maxlim: 47   bits: 7/6
4.09/4.12	c ---[2134]---> Adder-cost: 216   maxlim: 99   bits: 8/7
4.09/4.12	c ---[2132]---> Adder-cost: 188   maxlim: 86   bits: 8/7
4.09/4.13	c ---[2130]---> Adder-cost: 132   maxlim: 106   bits: 8/7
4.09/4.13	c ---[2128]---> Adder-cost: 253   maxlim: 118   bits: 8/7
4.09/4.13	c ---[2126]---> Adder-cost: 111   maxlim: 118   bits: 8/7
4.09/4.14	c ---[2124]---> Adder-cost: 210   maxlim: 112   bits: 8/7
4.09/4.14	c ---[2122]---> Adder-cost: 98   maxlim: 112   bits: 8/7
4.09/4.14	c ---[2120]---> Adder-cost: 186   maxlim: 89   bits: 8/7
4.09/4.15	c ---[2118]---> Adder-cost: 180   maxlim: 93   bits: 8/7
4.09/4.15	c ---[2116]---> Adder-cost: 102   maxlim: 93   bits: 8/7
4.09/4.15	c ---[2114]---> Adder-cost: 142   maxlim: 64   bits: 8/7
4.09/4.15	c ---[2112]---> Adder-cost: 80   maxlim: 64   bits: 8/7
4.09/4.16	c ---[2110]---> Adder-cost: 186   maxlim: 84   bits: 8/7
4.09/4.16	c ---[2108]---> Adder-cost: 88   maxlim: 84   bits: 8/7
4.09/4.16	c ---[2106]---> Adder-cost: 156   maxlim: 81   bits: 8/7
4.09/4.16	c ---[2104]---> Adder-cost: 88   maxlim: 81   bits: 8/7
4.09/4.17	c ---[2102]---> Adder-cost: 71   maxlim: 21   bits: 6/5
4.09/4.17	c ---[2100]---> Adder-cost: 330   maxlim: 157   bits: 9/8
4.09/4.17	c ---[2098]---> Adder-cost: 118   maxlim: 47   bits: 7/6
4.09/4.17	c ---[2096]---> Adder-cost: 108   maxlim: 51   bits: 7/6
4.09/4.18	c ---[2094]---> Adder-cost: 112   maxlim: 47   bits: 7/6
4.09/4.18	c ---[2092]---> Adder-cost: 73   maxlim: 24   bits: 6/5
4.09/4.18	c ---[2090]---> Adder-cost: 77   maxlim: 25   bits: 6/5
4.09/4.18	c ---[2088]---> Adder-cost: 59   maxlim: 25   bits: 6/5
4.09/4.18	c ---[2086]---> Adder-cost: 102   maxlim: 38   bits: 7/6
4.09/4.18	c ---[2084]---> Adder-cost: 67   maxlim: 26   bits: 6/5
4.09/4.18	c ---[2082]---> Adder-cost: 51   maxlim: 26   bits: 6/5
4.09/4.18	c ---[2080]---> Adder-cost: 88   maxlim: 51   bits: 7/6
4.09/4.19	c ---[2078]---> Adder-cost: 178   maxlim: 78   bits: 8/7
4.09/4.19	c ---[2076]---> Adder-cost: 84   maxlim: 78   bits: 8/7
4.09/4.19	c ---[2074]---> Adder-cost: 130   maxlim: 68   bits: 8/7
4.09/4.19	c ---[2072]---> Adder-cost: 58   maxlim: 38   bits: 7/6
4.09/4.19	c ---[2070]---> Adder-cost: 128   maxlim: 68   bits: 8/7
4.19/4.20	c ---[2068]---> Adder-cost: 73   maxlim: 21   bits: 6/5
4.19/4.20	c ---[2066]---> Adder-cost: 73   maxlim: 24   bits: 6/5
4.19/4.20	c ---[2064]---> Adder-cost: 65   maxlim: 25   bits: 6/5
4.19/4.20	c ---[2062]---> Adder-cost: 55   maxlim: 25   bits: 6/5
4.19/4.20	c ---[2060]---> Adder-cost: 75   maxlim: 28   bits: 6/5
4.19/4.20	c ---[2058]---> Adder-cost: 110   maxlim: 43   bits: 7/6
4.19/4.20	c ---[2056]---> Adder-cost: 60   maxlim: 43   bits: 7/6
4.19/4.21	c ---[2054]---> Adder-cost: 79   maxlim: 26   bits: 6/5
4.19/4.21	c ---[2052]---> Adder-cost: 129   maxlim: 55   bits: 7/6
4.19/4.21	c ---[2050]---> Adder-cost: 108   maxlim: 41   bits: 7/6
4.19/4.21	c ---[2048]---> Adder-cost: 74   maxlim: 40   bits: 7/6
4.19/4.21	c ---[2046]---> Adder-cost: 332   maxlim: 186   bits: 9/8
4.19/4.22	c ---[2044]---> Adder-cost: 114   maxlim: 52   bits: 7/6
4.19/4.22	c ---[2042]---> Adder-cost: 108   maxlim: 52   bits: 7/6
4.19/4.22	c ---[2040]---> Adder-cost: 114   maxlim: 47   bits: 7/6
4.19/4.22	c ---[2038]---> Adder-cost: 62   maxlim: 47   bits: 7/6
4.19/4.22	c ---[2036]---> Adder-cost: 196   maxlim: 88   bits: 8/7
4.19/4.23	c ---[2034]---> Adder-cost: 62   maxlim: 47   bits: 7/6
4.19/4.23	c ---[2032]---> Adder-cost: 75   maxlim: 23   bits: 6/5
4.19/4.23	c ---[2030]---> Adder-cost: 122   maxlim: 49   bits: 7/6
4.19/4.23	c ---[2028]---> Adder-cost: 66   maxlim: 49   bits: 7/6
4.19/4.23	c ---[2026]---> Adder-cost: 67   maxlim: 22   bits: 6/5
4.19/4.23	c ---[2024]---> Sorter-cost:  577     Base: 2
4.19/4.23	c ---[2022]---> Adder-cost: 60   maxlim: 19   bits: 6/5
4.19/4.23	c ---[2020]---> Sorter-cost:  577     Base: 2
4.19/4.24	c ---[2018]---> Sorter-cost:  451     Base: 2
4.19/4.24	c ---[2016]---> Sorter-cost:  544     Base: 2
4.19/4.24	c ---[2014]---> Adder-cost: 50   maxlim: 18   bits: 6/5
4.19/4.24	c ---[2012]---> Adder-cost: 151   maxlim: 61   bits: 7/6
4.19/4.24	c ---[2010]---> Sorter-cost:  677     Base: 7
4.19/4.24	c ---[2008]---> Adder-cost: 77   maxlim: 61   bits: 7/6
4.19/4.24	c ---[2006]---> Adder-cost: 104   maxlim: 40   bits: 7/6
4.19/4.24	c ---[2004]---> Adder-cost: 85   maxlim: 30   bits: 6/5
4.19/4.24	c ---[2002]---> Adder-cost: 88   maxlim: 34   bits: 7/6
4.19/4.25	c ---[2000]---> Adder-cost: 232   maxlim: 106   bits: 8/7
4.19/4.25	c ---[1998]---> Adder-cost: 182   maxlim: 89   bits: 8/7
4.19/4.25	c ---[1996]---> Adder-cost: 75   maxlim: 26   bits: 6/5
4.19/4.25	c ---[1994]---> Adder-cost: 56   maxlim: 17   bits: 6/5
4.19/4.25	c ---[1992]---> Adder-cost: 184   maxlim: 83   bits: 8/7
4.19/4.26	c ---[1990]---> Adder-cost: 102   maxlim: 38   bits: 7/6
4.19/4.26	c ---[1988]---> Adder-cost: 118   maxlim: 50   bits: 7/6
4.19/4.26	c ---[1986]---> Adder-cost: 328   maxlim: 156   bits: 9/8
4.19/4.26	c ---[1984]---> Adder-cost: 294   maxlim: 137   bits: 9/8
4.19/4.27	c ---[1982]---> Adder-cost: 220   maxlim: 99   bits: 8/7
4.19/4.27	c ---[1980]---> Adder-cost: 228   maxlim: 105   bits: 8/7
4.19/4.27	c ---[1978]---> Adder-cost: 186   maxlim: 104   bits: 8/7
4.19/4.28	c ---[1976]---> Adder-cost: 160   maxlim: 110   bits: 8/7
4.19/4.28	c ---[1974]---> Adder-cost: 73   maxlim: 27   bits: 6/5
4.19/4.28	c ---[1972]---> Adder-cost: 158   maxlim: 75   bits: 8/7
4.19/4.28	c ---[1970]---> Adder-cost: 138   maxlim: 66   bits: 8/7
4.19/4.29	c ---[1968]---> Adder-cost: 112   maxlim: 46   bits: 7/6
4.19/4.29	c ---[1966]---> Adder-cost: 133   maxlim: 54   bits: 7/6
4.19/4.29	c ---[1964]---> Adder-cost: 238   maxlim: 115   bits: 8/7
4.19/4.29	c ---[1962]---> Adder-cost: 188   maxlim: 95   bits: 8/7
4.29/4.30	c ---[1960]---> Adder-cost: 188   maxlim: 83   bits: 8/7
4.29/4.30	c ---[1958]---> Adder-cost: 192   maxlim: 88   bits: 8/7
4.29/4.30	c ---[1956]---> Adder-cost: 139   maxlim: 59   bits: 7/6
4.29/4.30	c ---[1954]---> Adder-cost: 240   maxlim: 136   bits: 9/8
4.29/4.31	c ---[1952]---> Adder-cost: 108   maxlim: 136   bits: 9/8
4.29/4.31	c ---[1950]---> Adder-cost: 108   maxlim: 136   bits: 9/8
4.29/4.32	c ---[1948]---> Adder-cost: 117   maxlim: 59   bits: 7/6
4.29/4.32	c ---[1946]---> Adder-cost: 234   maxlim: 113   bits: 8/7
4.29/4.32	c ---[1944]---> Adder-cost: 98   maxlim: 113   bits: 8/7
4.29/4.33	c ---[1942]---> Adder-cost: 168   maxlim: 83   bits: 8/7
4.29/4.33	c ---[1940]---> Adder-cost: 80   maxlim: 83   bits: 8/7
4.29/4.33	c ---[1938]---> Adder-cost: 143   maxlim: 60   bits: 7/6
4.29/4.34	c ---[1936]---> Adder-cost: 108   maxlim: 45   bits: 7/6
4.29/4.34	c ---[1934]---> Adder-cost: 66   maxlim: 45   bits: 7/6
4.29/4.34	c ---[1932]---> Adder-cost: 79   maxlim: 28   bits: 6/5
4.29/4.34	c ---[1930]---> Adder-cost: 60   maxlim: 20   bits: 6/5
4.29/4.34	c ---[1928]---> Adder-cost: 200   maxlim: 91   bits: 8/7
4.29/4.34	c ---[1926]---> Adder-cost: 112   maxlim: 45   bits: 7/6
4.29/4.34	c ---[1924]---> Adder-cost: 96   maxlim: 43   bits: 7/6
4.29/4.35	c ---[1922]---> Adder-cost: 138   maxlim: 84   bits: 8/7
4.29/4.35	c ---[1920]---> Adder-cost: 224   maxlim: 112   bits: 8/7
4.29/4.35	c ---[1918]---> Adder-cost: 98   maxlim: 112   bits: 8/7
4.29/4.36	c ---[1916]---> Adder-cost: 100   maxlim: 37   bits: 7/6
4.29/4.36	c ---[1914]---> Adder-cost: 64   maxlim: 37   bits: 7/6
4.29/4.36	c ---[1912]---> Adder-cost: 200   maxlim: 96   bits: 8/7
4.29/4.36	c ---[1910]---> Adder-cost: 79   maxlim: 26   bits: 6/5
4.29/4.36	c ---[1908]---> Adder-cost: 51   maxlim: 26   bits: 6/5
4.29/4.36	c ---[1906]---> Adder-cost: 94   maxlim: 38   bits: 7/6
4.29/4.36	c ---[1904]---> Adder-cost: 263   maxlim: 122   bits: 8/7
4.29/4.37	c ---[1902]---> Adder-cost: 58   maxlim: 38   bits: 7/6
4.29/4.37	c ---[1900]---> Adder-cost: 90   maxlim: 44   bits: 7/6
4.29/4.37	c ---[1898]---> Adder-cost: 56   maxlim: 44   bits: 7/6
4.29/4.37	c ---[1896]---> Adder-cost: 78   maxlim: 36   bits: 7/6
4.29/4.37	c ---[1894]---> Adder-cost: 164   maxlim: 71   bits: 8/7
4.29/4.38	c ---[1892]---> Adder-cost: 78   maxlim: 71   bits: 8/7
4.29/4.38	c ---[1890]---> Adder-cost: 120   maxlim: 50   bits: 7/6
4.29/4.38	c ---[1888]---> Adder-cost: 175   maxlim: 121   bits: 8/7
4.29/4.38	c ---[1886]---> Adder-cost: 116   maxlim: 49   bits: 7/6
4.29/4.39	c ---[1884]---> Adder-cost: 288   maxlim: 148   bits: 9/8
4.29/4.39	c ---[1882]---> Adder-cost: 186   maxlim: 93   bits: 8/7
4.29/4.39	c ---[1880]---> Adder-cost: 334   maxlim: 179   bits: 9/8
4.29/4.40	c ---[1878]---> Adder-cost: 184   maxlim: 98   bits: 8/7
4.29/4.40	c ---[1876]---> Adder-cost: 110   maxlim: 48   bits: 7/6
4.39/4.40	c ---[1874]---> Adder-cost: 192   maxlim: 115   bits: 8/7
4.39/4.41	c ---[1872]---> Adder-cost: 92   maxlim: 34   bits: 7/6
4.39/4.41	c ---[1870]---> Adder-cost: 58   maxlim: 34   bits: 7/6
4.39/4.41	c ---[1868]---> Adder-cost: 83   maxlim: 30   bits: 6/5
4.39/4.41	c ---[1866]---> Adder-cost: 59   maxlim: 30   bits: 6/5
4.39/4.41	c ---[1864]---> Adder-cost: 59   maxlim: 30   bits: 6/5
4.39/4.41	c ---[1862]---> Adder-cost: 79   maxlim: 30   bits: 6/5
4.39/4.42	c ---[1860]---> Adder-cost: 59   maxlim: 30   bits: 6/5
4.39/4.42	c ---[1858]---> Adder-cost: 142   maxlim: 65   bits: 8/7
4.39/4.42	c ---[1856]---> Adder-cost: 144   maxlim: 116   bits: 8/7
4.58/4.68	c ---[1854]---> Adder-cost: 156   maxlim: 67   bits: 8/7
4.58/4.68	c ---[1852]---> Adder-cost: 162   maxlim: 69   bits: 8/7
4.58/4.68	c ---[1850]---> Adder-cost: 75   maxlim: 28   bits: 6/5
4.58/4.68	c ---[1848]---> Adder-cost: 135   maxlim: 57   bits: 7/6
4.58/4.68	c ---[1846]---> Adder-cost: 62   maxlim: 19   bits: 6/5
4.58/4.68	c ---[1844]---> Adder-cost: 208   maxlim: 102   bits: 8/7
4.58/4.68	c ---[1842]---> Sorter-cost:  546     Base: 2
4.58/4.68	c ---[1840]---> Adder-cost: 151   maxlim: 61   bits: 7/6
4.58/4.68	c ---[1838]---> Adder-cost: 120   maxlim: 49   bits: 7/6
4.58/4.68	c ---[1836]---> Adder-cost: 120   maxlim: 52   bits: 7/6
4.58/4.68	c ---[1834]---> Sorter-cost:  577     Base: 2
4.58/4.68	c ---[1833]---> Adder-cost: 2762   maxlim: 1376   bits: 12/11
4.58/4.68	c ---[1831]---> Adder-cost: 283   maxlim: 155   bits: 9/8
4.58/4.68	c ---[1829]---> Adder-cost: 500   maxlim: 248   bits: 9/8
4.58/4.68	c ---[1827]---> Adder-cost: 581   maxlim: 339   bits: 10/9
4.58/4.68	c ---[1826]---> Adder-cost: 607   maxlim: 333   bits: 10/9
4.58/4.68	c ---[1824]---> Adder-cost: 747   maxlim: 356   bits: 10/9
4.58/4.68	c ---[1822]---> Adder-cost: 259   maxlim: 133   bits: 9/8
4.58/4.68	c ---[1817]---> Adder-cost: 58   maxlim: 17   bits: 6/5
4.58/4.68	c ---[1814]---> Adder-cost: 1766   maxlim: 915   bits: 11/10
4.58/4.69	c ---[1812]---> Adder-cost: 759   maxlim: 467   bits: 10/9
4.68/4.71	c ---[1811]---> Adder-cost: 3268   maxlim: 1703   bits: 12/11
4.98/5.02	c ---[1810]---> Adder-cost: 929   maxlim: 489   bits: 10/9
4.98/5.03	c ---[1809]---> Adder-cost: 390   maxlim: 186   bits: 9/8
4.98/5.04	c ---[1807]---> Adder-cost: 2112   maxlim: 1136   bits: 12/11
5.08/5.10	c ---[1805]---> Adder-cost: 75   maxlim: 24   bits: 6/5
5.08/5.11	c ---[1804]---> Adder-cost: 436   maxlim: 202   bits: 9/8
5.08/5.11	c ---[1802]---> Adder-cost: 432   maxlim: 235   bits: 9/8
5.08/5.12	c ---[1797]---> Adder-cost: 855   maxlim: 405   bits: 10/9
5.08/5.14	c ---[1794]---> Sorter-cost:  546     Base: 2
5.08/5.14	c ---[1792]---> Adder-cost: 824   maxlim: 428   bits: 10/9
5.08/5.18	c ---[1790]---> Adder-cost: 99   maxlim: 45   bits: 7/6
5.08/5.18	c ---[1788]---> Adder-cost: 196   maxlim: 60   bits: 7/6
5.08/5.19	c ---[1787]---> Adder-cost: 79   maxlim: 23   bits: 6/5
5.08/5.19	c ---[1786]---> Adder-cost: 176   maxlim: 70   bits: 8/7
5.08/5.19	c ---[1785]---> Adder-cost: 276   maxlim: 147   bits: 9/8
5.08/5.20	c ---[1783]---> Adder-cost: 161   maxlim: 47   bits: 7/6
5.18/5.20	c ---[1782]---> Adder-cost: 142   maxlim: 63   bits: 7/6
5.18/5.20	c ---[1781]---> Adder-cost: 145   maxlim: 46   bits: 7/6
5.18/5.20	c ---[1779]---> Adder-cost: 78   maxlim: 16   bits: 6/5
5.18/5.20	c ---[1778]---> Adder-cost: 366   maxlim: 134   bits: 9/8
5.18/5.21	c ---[1776]---> Adder-cost: 1128   maxlim: 444   bits: 10/9
5.18/5.27	c ---[1775]---> Adder-cost: 233   maxlim: 73   bits: 8/7
5.18/5.27	c ---[1773]---> Adder-cost: 146   maxlim: 73   bits: 8/7
5.18/5.28	c ---[1772]---> Adder-cost: 389   maxlim: 115   bits: 8/7
5.18/5.28	c ---[1771]---> Adder-cost: 275   maxlim: 121   bits: 8/7
5.18/5.29	c ---[1770]---> Adder-cost: 229   maxlim: 105   bits: 8/7
5.18/5.29	c ---[1768]---> Adder-cost: 348   maxlim: 165   bits: 9/8
5.28/5.30	c ---[1767]---> Adder-cost: 9448   maxlim: 4375   bits: 14/13
5.49/5.55	c ---[1766]---> Adder-cost: 2912   maxlim: 1622   bits: 12/11
5.59/5.64	c ---[1765]---> Adder-cost: 16258   maxlim: 9641   bits: 14/14
30.88/30.96	c ---[1751]---> Adder-cost: 73   maxlim: 26   bits: 6/5
30.88/30.96	c ---[1726]---> Adder-cost: 52   maxlim: 19   bits: 6/5
30.88/30.96	c ---[1720]---> Adder-cost: 460   maxlim: 296   bits: 10/9
30.88/30.97	c ---[1715]---> Adder-cost: 408   maxlim: 269   bits: 10/9
30.88/30.98	c ---[1710]---> Adder-cost: 460   maxlim: 297   bits: 10/9
30.88/30.99	c ---[1708]---> Adder-cost: 100   maxlim: 40   bits: 7/6
30.88/31.00	c ---[1706]---> Adder-cost: 110   maxlim: 47   bits: 7/6
30.97/31.00	c ---[1705]---> Adder-cost: 44025   maxlim: 99638   bits: 18/17
32.48/32.54	c ---[1703]---> Adder-cost: 106   maxlim: 40   bits: 7/6
32.48/32.55	c ---[1701]---> Adder-cost: 98   maxlim: 42   bits: 7/6
32.48/32.55	c ---[1698]---> Adder-cost: 74   maxlim: 34   bits: 7/6
32.48/32.55	c ---[1696]---> Adder-cost: 73   maxlim: 28   bits: 6/5
32.48/32.55	c ---[1694]---> Adder-cost: 73   maxlim: 23   bits: 6/5
32.48/32.55	c ---[1692]---> Adder-cost: 51   maxlim: 23   bits: 6/5
32.48/32.55	c ---[1690]---> Adder-cost: 488   maxlim: 244   bits: 9/8
32.48/32.56	c ---[1688]---> Adder-cost: 319   maxlim: 246   bits: 9/8
32.48/32.57	c ---[1686]---> Adder-cost: 98   maxlim: 37   bits: 7/6
32.48/32.57	c ---[1684]---> Adder-cost: 100   maxlim: 37   bits: 7/6
32.48/32.57	c ---[1682]---> Adder-cost: 70   maxlim: 37   bits: 7/6
32.48/32.57	c ---[1680]---> Adder-cost: 64   maxlim: 37   bits: 7/6
32.48/32.57	c ---[1678]---> Adder-cost: 64   maxlim: 37   bits: 7/6
32.48/32.57	c ---[1676]---> Adder-cost: 200   maxlim: 86   bits: 8/7
32.48/32.58	c ---[1674]---> Adder-cost: 218   maxlim: 100   bits: 8/7
32.48/32.58	c ---[1672]---> Adder-cost: 236   maxlim: 107   bits: 8/7
32.48/32.58	c ---[1670]---> Adder-cost: 234   maxlim: 130   bits: 9/8
32.48/32.59	c ---[1668]---> Adder-cost: 108   maxlim: 130   bits: 9/8
32.48/32.59	c ---[1666]---> Adder-cost: 500   maxlim: 253   bits: 9/8
32.58/32.60	c ---[1664]---> Adder-cost: 165   maxlim: 253   bits: 9/8
32.58/32.61	c ---[1662]---> Adder-cost: 94   maxlim: 36   bits: 7/6
32.58/32.61	c ---[1660]---> Adder-cost: 79   maxlim: 26   bits: 6/5
32.58/32.61	c ---[1658]---> Adder-cost: 51   maxlim: 26   bits: 6/5
32.58/32.61	c ---[1656]---> Adder-cost: 133   maxlim: 54   bits: 7/6
32.58/32.61	c ---[1654]---> Adder-cost: 172   maxlim: 87   bits: 8/7
32.58/32.62	c ---[1652]---> Adder-cost: 302   maxlim: 149   bits: 9/8
32.58/32.62	c ---[1650]---> Adder-cost: 158   maxlim: 70   bits: 8/7
32.58/32.62	c ---[1648]---> Adder-cost: 56   maxlim: 36   bits: 7/6
32.58/32.62	c ---[1646]---> Adder-cost: 304   maxlim: 192   bits: 9/8
32.58/32.63	c ---[1644]---> Adder-cost: 563   maxlim: 314   bits: 10/9
32.58/32.64	c ---[1642]---> Adder-cost: 606   maxlim: 315   bits: 10/9
32.58/32.65	c ---[1640]---> Adder-cost: 588   maxlim: 316   bits: 10/9
32.58/32.66	c ---[1638]---> Adder-cost: 466   maxlim: 233   bits: 9/8
32.58/32.67	c ---[1636]---> Adder-cost: 388   maxlim: 239   bits: 9/8
32.58/32.68	c ---[1634]---> Adder-cost: 164   maxlim: 70   bits: 8/7
32.58/32.68	c ---[1632]---> Adder-cost: 82   maxlim: 70   bits: 8/7
32.58/32.68	c ---[1630]---> Adder-cost: 106   maxlim: 44   bits: 7/6
32.58/32.68	c ---[1628]---> Adder-cost: 762   maxlim: 409   bits: 10/9
32.58/32.69	c ---[1626]---> Adder-cost: 208   maxlim: 409   bits: 10/9
32.68/32.71	c ---[1624]---> Adder-cost: 590   maxlim: 312   bits: 10/9
32.68/32.72	c ---[1622]---> Adder-cost: 176   maxlim: 312   bits: 10/9
32.68/32.73	c ---[1620]---> Adder-cost: 232   maxlim: 112   bits: 8/7
32.68/32.73	c ---[1618]---> Adder-cost: 98   maxlim: 112   bits: 8/7
32.68/32.73	c ---[1616]---> Adder-cost: 350   maxlim: 176   bits: 9/8
32.68/32.74	c ---[1614]---> Adder-cost: 262   maxlim: 160   bits: 9/8
32.68/32.74	c ---[1612]---> Adder-cost: 558   maxlim: 305   bits: 10/9
32.68/32.75	c ---[1610]---> Adder-cost: 56   maxlim: 44   bits: 7/6
32.68/32.76	c ---[1608]---> Adder-cost: 178   maxlim: 305   bits: 10/9
32.68/32.77	c ---[1606]---> Adder-cost: 180   maxlim: 84   bits: 8/7
32.68/32.77	c ---[1604]---> Adder-cost: 135   maxlim: 58   bits: 7/6
32.68/32.77	c ---[1602]---> Adder-cost: 592   maxlim: 376   bits: 10/9
32.68/32.78	c ---[1600]---> Adder-cost: 186   maxlim: 376   bits: 10/9
32.68/32.79	c ---[1598]---> Adder-cost: 258   maxlim: 129   bits: 9/8
32.78/32.80	c ---[1596]---> Adder-cost: 120   maxlim: 129   bits: 9/8
32.78/32.80	c ---[1594]---> Adder-cost: 256   maxlim: 149   bits: 9/8
32.78/32.81	c ---[1592]---> Adder-cost: 114   maxlim: 149   bits: 9/8
32.78/32.81	c ---[1590]---> Adder-cost: 56   maxlim: 44   bits: 7/6
32.78/32.81	c ---[1588]---> Adder-cost: 205   maxlim: 121   bits: 8/7
32.78/32.82	c ---[1586]---> Adder-cost: 109   maxlim: 121   bits: 8/7
32.78/32.82	c ---[1584]---> Adder-cost: 194   maxlim: 111   bits: 8/7
32.78/32.82	c ---[1582]---> Adder-cost: 240   maxlim: 139   bits: 9/8
32.78/32.83	c ---[1580]---> Adder-cost: 205   maxlim: 127   bits: 8/7
32.78/32.83	c ---[1578]---> Adder-cost: 111   maxlim: 127   bits: 8/7
32.78/32.84	c ---[1576]---> Adder-cost: 125   maxlim: 58   bits: 7/6
32.78/32.84	c ---[1574]---> Adder-cost: 86   maxlim: 52   bits: 7/6
32.78/32.84	c ---[1572]---> Adder-cost: 265   maxlim: 127   bits: 8/7
32.78/32.84	c ---[1570]---> Adder-cost: 198   maxlim: 115   bits: 8/7
32.78/32.85	c ---[1568]---> Adder-cost: 112   maxlim: 52   bits: 7/6
32.78/32.85	c ---[1566]---> Adder-cost: 246   maxlim: 116   bits: 8/7
32.78/32.85	c ---[1564]---> Adder-cost: 190   maxlim: 100   bits: 8/7
32.78/32.86	c ---[1562]---> Adder-cost: 245   maxlim: 117   bits: 8/7
32.78/32.86	c ---[1560]---> Adder-cost: 402   maxlim: 214   bits: 9/8
32.78/32.87	c ---[1558]---> Adder-cost: 116   maxlim: 46   bits: 7/6
32.78/32.87	c ---[1556]---> Adder-cost: 68   maxlim: 46   bits: 7/6
32.78/32.87	c ---[1554]---> Adder-cost: 69   maxlim: 25   bits: 6/5
32.78/32.87	c ---[1552]---> Adder-cost: 111   maxlim: 127   bits: 8/7
32.78/32.87	c ---[1550]---> Adder-cost: 68   maxlim: 46   bits: 7/6
32.78/32.88	c ---[1548]---> Adder-cost: 68   maxlim: 46   bits: 7/6
32.78/32.88	c ---[1546]---> Adder-cost: 254   maxlim: 131   bits: 9/8
32.78/32.88	c ---[1544]---> Adder-cost: 261   maxlim: 125   bits: 8/7
32.78/32.89	c ---[1542]---> Adder-cost: 123   maxlim: 62   bits: 7/6
32.78/32.89	c ---[1540]---> Adder-cost: 132   maxlim: 77   bits: 8/7
32.78/32.89	c ---[1538]---> Adder-cost: 60   maxlim: 20   bits: 6/5
32.78/32.89	c ---[1536]---> Sorter-cost:  577     Base: 2
32.78/32.89	c ---[1534]---> Sorter-cost:  451     Base: 2
32.78/32.89	c ---[1532]---> Adder-cost: 490   maxlim: 258   bits: 10/9
32.88/32.90	c ---[1530]---> Adder-cost: 160   maxlim: 258   bits: 10/9
32.88/32.91	c ---[1528]---> Adder-cost: 364   maxlim: 208   bits: 9/8
32.88/32.92	c ---[1526]---> Adder-cost: 294   maxlim: 168   bits: 9/8
32.88/32.92	c ---[1524]---> Adder-cost: 276   maxlim: 175   bits: 9/8
32.88/32.93	c ---[1522]---> Adder-cost: 300   maxlim: 214   bits: 9/8
32.88/32.94	c ---[1520]---> Adder-cost: 125   maxlim: 57   bits: 7/6
32.88/32.94	c ---[1518]---> Adder-cost: 172   maxlim: 96   bits: 8/7
32.88/32.94	c ---[1516]---> Adder-cost: 148   maxlim: 72   bits: 8/7
32.88/32.94	c ---[1514]---> Adder-cost: 62   maxlim: 20   bits: 6/5
32.88/32.94	c ---[1512]---> Adder-cost: 56   maxlim: 19   bits: 6/5
32.88/32.94	c ---[1510]---> Adder-cost: 71   maxlim: 21   bits: 6/5
32.88/32.95	c ---[1508]---> Sorter-cost:  575     Base: 2
32.88/32.95	c ---[1506]---> Adder-cost: 69   maxlim: 23   bits: 6/5
32.88/32.95	c ---[1504]---> Adder-cost: 382   maxlim: 199   bits: 9/8
32.88/32.95	c ---[1502]---> Adder-cost: 138   maxlim: 199   bits: 9/8
32.88/32.96	c ---[1500]---> Adder-cost: 238   maxlim: 112   bits: 8/7
32.88/32.96	c ---[1498]---> Adder-cost: 362   maxlim: 178   bits: 9/8
32.88/32.97	c ---[1496]---> Adder-cost: 98   maxlim: 112   bits: 8/7
32.88/32.97	c ---[1494]---> Adder-cost: 83   maxlim: 30   bits: 6/5
32.88/32.97	c ---[1492]---> Adder-cost: 82   maxlim: 33   bits: 7/6
32.88/32.97	c ---[1490]---> Sorter-cost:  577     Base: 2
32.88/32.97	c ---[1488]---> Sorter-cost:  567     Base: 2
32.88/32.98	c ---[1486]---> Adder-cost: 344   maxlim: 176   bits: 9/8
32.88/32.98	c ---[1484]---> Adder-cost: 402   maxlim: 224   bits: 9/8
32.88/32.99	c ---[1482]---> Adder-cost: 518   maxlim: 269   bits: 10/9
32.88/33.00	c ---[1480]---> Adder-cost: 162   maxlim: 269   bits: 10/9
32.98/33.01	c ---[1478]---> Adder-cost: 624   maxlim: 314   bits: 10/9
32.98/33.02	c ---[1476]---> Adder-cost: 162   maxlim: 314   bits: 10/9
32.98/33.03	c ---[1474]---> Adder-cost: 215   maxlim: 118   bits: 8/7
32.98/33.03	c ---[1472]---> Adder-cost: 213   maxlim: 123   bits: 8/7
32.98/33.03	c ---[1470]---> Sorter-cost:  546     Base: 2
32.98/33.04	c ---[1468]---> Adder-cost: 52   maxlim: 16   bits: 6/5
32.98/33.04	c ---[1466]---> Adder-cost: 110   maxlim: 44   bits: 7/6
32.98/33.04	c ---[1464]---> Adder-cost: 192   maxlim: 108   bits: 8/7
32.98/33.04	c ---[1462]---> Adder-cost: 96   maxlim: 108   bits: 8/7
32.98/33.05	c ---[1460]---> Adder-cost: 62   maxlim: 19   bits: 6/5
32.98/33.05	c ---[1458]---> Adder-cost: 62   maxlim: 20   bits: 6/5
32.98/33.05	c ---[1456]---> Adder-cost: 56   maxlim: 17   bits: 6/5
32.98/33.05	c ---[1454]---> Adder-cost: 42   maxlim: 17   bits: 6/5
32.98/33.05	c ---[1452]---> Adder-cost: 42   maxlim: 17   bits: 6/5
32.98/33.05	c ---[1450]---> Adder-cost: 42   maxlim: 20   bits: 6/5
32.98/33.05	c ---[1448]---> Sorter-cost:  546     Base: 2
32.98/33.05	c ---[1446]---> Sorter-cost:  713     Base: 7
32.98/33.05	c ---[1444]---> Sorter-cost:  591     Base: 7
32.98/33.05	c ---[1442]---> Adder-cost: 58   maxlim: 20   bits: 6/5
32.98/33.05	c ---[1440]---> Adder-cost: 71   maxlim: 24   bits: 6/5
32.98/33.05	c ---[1438]---> Adder-cost: 160   maxlim: 69   bits: 8/7
32.98/33.06	c ---[1436]---> Adder-cost: 54   maxlim: 16   bits: 6/5
32.98/33.06	c ---[1434]---> Adder-cost: 71   maxlim: 24   bits: 6/5
32.98/33.06	c ---[1432]---> Sorter-cost:  694     Base: 7
32.98/33.06	c ---[1430]---> Adder-cost: 75   maxlim: 27   bits: 6/5
32.98/33.06	c ---[1428]---> Adder-cost: 62   maxlim: 20   bits: 6/5
32.98/33.06	c ---[1426]---> Adder-cost: 82   maxlim: 69   bits: 8/7
32.98/33.06	c ---[1424]---> Adder-cost: 245   maxlim: 127   bits: 8/7
32.98/33.07	c ---[1422]---> Adder-cost: 113   maxlim: 62   bits: 7/6
32.98/33.07	c ---[1420]---> Adder-cost: 79   maxlim: 30   bits: 6/5
32.98/33.07	c ---[1418]---> Adder-cost: 56   maxlim: 20   bits: 6/5
32.98/33.07	c ---[1416]---> Adder-cost: 69   maxlim: 27   bits: 6/5
32.98/33.07	c ---[1414]---> Adder-cost: 129   maxlim: 57   bits: 7/6
32.98/33.08	c ---[1412]---> Adder-cost: 58   maxlim: 18   bits: 6/5
32.98/33.08	c ---[1410]---> Adder-cost: 57   maxlim: 24   bits: 6/5
32.98/33.08	c ---[1408]---> Adder-cost: 81   maxlim: 31   bits: 6/5
32.98/33.08	c ---[1406]---> Adder-cost: 73   maxlim: 27   bits: 6/5
32.98/33.08	c ---[1404]---> Adder-cost: 55   maxlim: 27   bits: 6/5
32.98/33.08	c ---[1402]---> Adder-cost: 85   maxlim: 29   bits: 6/5
32.98/33.08	c ---[1400]---> Adder-cost: 55   maxlim: 25   bits: 6/5
32.98/33.08	c ---[1398]---> Adder-cost: 111   maxlim: 55   bits: 7/6
32.98/33.08	c ---[1396]---> Adder-cost: 67   maxlim: 22   bits: 6/5
32.98/33.09	c ---[1394]---> Adder-cost: 58   maxlim: 17   bits: 6/5
32.98/33.09	c ---[1392]---> Adder-cost: 58   maxlim: 18   bits: 6/5
32.98/33.09	c ---[1390]---> Adder-cost: 77   maxlim: 28   bits: 6/5
32.98/33.09	c ---[1388]---> Adder-cost: 127   maxlim: 53   bits: 7/6
32.98/33.09	c ---[1386]---> Adder-cost: 58   maxlim: 20   bits: 6/5
32.98/33.09	c ---[1384]---> Adder-cost: 54   maxlim: 16   bits: 6/5
32.98/33.09	c ---[1382]---> Adder-cost: 71   maxlim: 24   bits: 6/5
32.98/33.09	c ---[1380]---> Adder-cost: 240   maxlim: 130   bits: 9/8
32.98/33.10	c ---[1378]---> Adder-cost: 136   maxlim: 78   bits: 8/7
32.98/33.10	c ---[1376]---> Adder-cost: 52   maxlim: 17   bits: 6/5
32.98/33.10	c ---[1374]---> Adder-cost: 77   maxlim: 26   bits: 6/5
33.08/33.10	c ---[1372]---> Adder-cost: 139   maxlim: 63   bits: 7/6
33.08/33.11	c ---[1370]---> Adder-cost: 77   maxlim: 25   bits: 6/5
33.08/33.11	c ---[1368]---> Adder-cost: 200   maxlim: 98   bits: 8/7
33.08/33.11	c ---[1366]---> Adder-cost: 60   maxlim: 17   bits: 6/5
33.08/33.11	c ---[1364]---> Adder-cost: 92   maxlim: 38   bits: 7/6
33.08/33.11	c ---[1362]---> Adder-cost: 112   maxlim: 45   bits: 7/6
33.08/33.11	c ---[1360]---> Sorter-cost:  546     Base: 2
33.08/33.11	c ---[1358]---> Sorter-cost:  496     Base: 2
33.08/33.12	c ---[1356]---> Adder-cost: 120   maxlim: 50   bits: 7/6
33.08/33.12	c ---[1354]---> Adder-cost: 85   maxlim: 31   bits: 6/5
33.08/33.12	c ---[1352]---> Adder-cost: 131   maxlim: 54   bits: 7/6
33.08/33.12	c ---[1350]---> Adder-cost: 378   maxlim: 190   bits: 9/8
33.08/33.13	c ---[1348]---> Adder-cost: 134   maxlim: 190   bits: 9/8
33.08/33.13	c ---[1346]---> Adder-cost: 152   maxlim: 74   bits: 8/7
33.08/33.13	c ---[1344]---> Adder-cost: 80   maxlim: 74   bits: 8/7
33.08/33.14	c ---[1342]---> Adder-cost: 274   maxlim: 163   bits: 9/8
33.08/33.14	c ---[1340]---> Adder-cost: 85   maxlim: 31   bits: 6/5
33.08/33.14	c ---[1338]---> Adder-cost: 60   maxlim: 19   bits: 6/5
33.08/33.14	c ---[1336]---> Adder-cost: 94   maxlim: 39   bits: 7/6
33.08/33.15	c ---[1334]---> Adder-cost: 77   maxlim: 26   bits: 6/5
33.08/33.15	c ---[1332]---> Adder-cost: 76   maxlim: 34   bits: 7/6
33.08/33.15	c ---[1330]---> Adder-cost: 119   maxlim: 57   bits: 7/6
33.08/33.15	c ---[1328]---> Adder-cost: 86   maxlim: 38   bits: 7/6
33.08/33.15	c ---[1326]---> Adder-cost: 139   maxlim: 59   bits: 7/6
33.08/33.15	c ---[1324]---> Adder-cost: 137   maxlim: 59   bits: 7/6
33.08/33.16	c ---[1322]---> Adder-cost: 168   maxlim: 72   bits: 8/7
33.08/33.16	c ---[1320]---> Adder-cost: 129   maxlim: 63   bits: 7/6
33.08/33.16	c ---[1318]---> Adder-cost: 114   maxlim: 49   bits: 7/6
33.08/33.16	c ---[1316]---> Adder-cost: 51   maxlim: 26   bits: 6/5
33.08/33.16	c ---[1314]---> Adder-cost: 304   maxlim: 148   bits: 9/8
33.08/33.17	c ---[1312]---> Adder-cost: 268   maxlim: 140   bits: 9/8
33.08/33.17	c ---[1310]---> Adder-cost: 272   maxlim: 134   bits: 9/8
33.08/33.18	c ---[1308]---> Adder-cost: 218   maxlim: 134   bits: 9/8
33.08/33.18	c ---[1306]---> Adder-cost: 202   maxlim: 95   bits: 8/7
33.08/33.18	c ---[1304]---> Adder-cost: 132   maxlim: 67   bits: 8/7
33.08/33.19	c ---[1302]---> Adder-cost: 168   maxlim: 86   bits: 8/7
33.08/33.19	c ---[1300]---> Adder-cost: 168   maxlim: 100   bits: 8/7
33.08/33.19	c ---[1298]---> Sorter-cost:  577     Base: 2
33.08/33.19	c ---[1296]---> Adder-cost: 51   maxlim: 26   bits: 6/5
33.08/33.19	c ---[1294]---> Adder-cost: 75   maxlim: 26   bits: 6/5
33.17/33.20	c ---[1292]---> Adder-cost: 51   maxlim: 26   bits: 6/5
33.17/33.20	c ---[1290]---> Sorter-cost:  546     Base: 2
33.17/33.20	c ---[1288]---> Adder-cost: 588   maxlim: 303   bits: 10/9
33.17/33.21	c ---[1286]---> Adder-cost: 444   maxlim: 307   bits: 10/9
33.17/33.22	c ---[1284]---> Adder-cost: 82   maxlim: 35   bits: 7/6
33.17/33.22	c ---[1282]---> Adder-cost: 278   maxlim: 167   bits: 9/8
33.17/33.22	c ---[1280]---> Adder-cost: 252   maxlim: 146   bits: 9/8
33.17/33.23	c ---[1278]---> Adder-cost: 51   maxlim: 26   bits: 6/5
33.17/33.23	c ---[1276]---> Adder-cost: 56   maxlim: 16   bits: 6/5
33.17/33.23	c ---[1274]---> Adder-cost: 196   maxlim: 96   bits: 8/7
33.17/33.23	c ---[1272]---> Adder-cost: 116   maxlim: 52   bits: 7/6
33.17/33.24	c ---[1270]---> Adder-cost: 69   maxlim: 23   bits: 6/5
33.17/33.24	c ---[1268]---> Adder-cost: 67   maxlim: 21   bits: 6/5
33.17/33.24	c ---[1266]---> Adder-cost: 117   maxlim: 58   bits: 7/6
33.17/33.24	c ---[1264]---> Adder-cost: 77   maxlim: 58   bits: 7/6
33.17/33.24	c ---[1262]---> Adder-cost: 90   maxlim: 33   bits: 7/6
33.17/33.24	c ---[1260]---> Adder-cost: 60   maxlim: 33   bits: 7/6
33.17/33.24	c ---[1258]---> Adder-cost: 51   maxlim: 26   bits: 6/5
33.17/33.25	c ---[1256]---> Adder-cost: 194   maxlim: 94   bits: 8/7
33.17/33.25	c ---[1254]---> Adder-cost: 98   maxlim: 94   bits: 8/7
33.17/33.25	c ---[1252]---> Adder-cost: 212   maxlim: 100   bits: 8/7
33.17/33.25	c ---[1250]---> Adder-cost: 96   maxlim: 100   bits: 8/7
33.17/33.26	c ---[1248]---> Adder-cost: 276   maxlim: 133   bits: 9/8
33.17/33.26	c ---[1246]---> Adder-cost: 112   maxlim: 133   bits: 9/8
33.17/33.27	c ---[1244]---> Adder-cost: 218   maxlim: 111   bits: 8/7
33.17/33.27	c ---[1242]---> Adder-cost: 98   maxlim: 111   bits: 8/7
33.17/33.27	c ---[1240]---> Adder-cost: 98   maxlim: 111   bits: 8/7
33.17/33.28	c ---[1238]---> Adder-cost: 98   maxlim: 111   bits: 8/7
33.17/33.28	c ---[1236]---> Adder-cost: 73   maxlim: 30   bits: 6/5
33.17/33.28	c ---[1234]---> Adder-cost: 229   maxlim: 124   bits: 8/7
33.17/33.29	c ---[1232]---> Adder-cost: 59   maxlim: 30   bits: 6/5
33.17/33.29	c ---[1230]---> Adder-cost: 59   maxlim: 30   bits: 6/5
33.17/33.29	c ---[1228]---> Adder-cost: 71   maxlim: 23   bits: 6/5
33.17/33.29	c ---[1226]---> Adder-cost: 44   maxlim: 20   bits: 6/5
33.17/33.29	c ---[1224]---> Adder-cost: 48   maxlim: 19   bits: 6/5
33.17/33.29	c ---[1222]---> Adder-cost: 46   maxlim: 19   bits: 6/5
33.17/33.29	c ---[1220]---> Adder-cost: 46   maxlim: 19   bits: 6/5
33.17/33.29	c ---[1218]---> Adder-cost: 46   maxlim: 19   bits: 6/5
33.17/33.29	c ---[1216]---> Adder-cost: 141   maxlim: 60   bits: 7/6
33.27/33.30	c ---[1214]---> Adder-cost: 92   maxlim: 37   bits: 7/6
33.27/33.30	c ---[1212]---> Adder-cost: 129   maxlim: 57   bits: 7/6
33.27/33.30	c ---[1210]---> Adder-cost: 77   maxlim: 27   bits: 6/5
33.27/33.30	c ---[1208]---> Adder-cost: 78   maxlim: 34   bits: 7/6
33.27/33.30	c ---[1206]---> Adder-cost: 122   maxlim: 51   bits: 7/6
33.27/33.30	c ---[1204]---> Adder-cost: 96   maxlim: 40   bits: 7/6
33.27/33.31	c ---[1202]---> Adder-cost: 94   maxlim: 34   bits: 7/6
33.27/33.31	c ---[1200]---> Adder-cost: 67   maxlim: 27   bits: 6/5
33.27/33.31	c ---[1198]---> Adder-cost: 55   maxlim: 27   bits: 6/5
33.27/33.31	c ---[1196]---> Adder-cost: 69   maxlim: 24   bits: 6/5
33.27/33.31	c ---[1194]---> Adder-cost: 86   maxlim: 36   bits: 7/6
33.27/33.31	c ---[1192]---> Adder-cost: 77   maxlim: 31   bits: 6/5
33.27/33.31	c ---[1190]---> Adder-cost: 59   maxlim: 31   bits: 6/5
33.27/33.31	c ---[1188]---> Adder-cost: 88   maxlim: 35   bits: 7/6
33.27/33.32	c ---[1186]---> Adder-cost: 56   maxlim: 35   bits: 7/6
33.27/33.32	c ---[1184]---> Adder-cost: 56   maxlim: 35   bits: 7/6
33.27/33.32	c ---[1182]---> Adder-cost: 242   maxlim: 130   bits: 9/8
33.27/33.32	c ---[1180]---> Adder-cost: 56   maxlim: 16   bits: 6/5
33.27/33.32	c ---[1178]---> Adder-cost: 56   maxlim: 36   bits: 7/6
33.27/33.32	c ---[1176]---> Adder-cost: 42   maxlim: 16   bits: 6/5
33.27/33.33	c ---[1174]---> Adder-cost: 42   maxlim: 16   bits: 6/5
33.27/33.33	c ---[1172]---> Sorter-cost:  577     Base: 2
33.27/33.33	c ---[1170]---> Sorter-cost:  451     Base: 2
33.27/33.33	c ---[1168]---> Adder-cost: 104   maxlim: 41   bits: 7/6
33.27/33.33	c ---[1166]---> Adder-cost: 96   maxlim: 39   bits: 7/6
33.27/33.33	c ---[1164]---> Adder-cost: 78   maxlim: 34   bits: 7/6
33.27/33.33	c ---[1162]---> Adder-cost: 84   maxlim: 36   bits: 7/6
33.27/33.33	c ---[1160]---> Adder-cost: 56   maxlim: 36   bits: 7/6
33.27/33.33	c ---[1158]---> Adder-cost: 56   maxlim: 36   bits: 7/6
33.27/33.34	c ---[1156]---> Adder-cost: 56   maxlim: 36   bits: 7/6
33.27/33.34	c ---[1154]---> Adder-cost: 78   maxlim: 34   bits: 7/6
33.27/33.34	c ---[1152]---> Adder-cost: 58   maxlim: 34   bits: 7/6
33.27/33.34	c ---[1150]---> Adder-cost: 66   maxlim: 33   bits: 7/6
33.27/33.34	c ---[1148]---> Adder-cost: 58   maxlim: 17   bits: 6/5
33.27/33.34	c ---[1146]---> Sorter-cost:  577     Base: 2
33.27/33.34	c ---[1144]---> Sorter-cost:  451     Base: 2
33.27/33.34	c ---[1142]---> Sorter-cost:  451     Base: 2
33.27/33.34	c ---[1140]---> Sorter-cost:  451     Base: 2
33.27/33.35	c ---[1138]---> Adder-cost: 55   maxlim: 21   bits: 6/5
33.27/33.35	c ---[1136]---> Adder-cost: 56   maxlim: 36   bits: 7/6
33.27/33.35	c ---[1134]---> Sorter-cost:  451     Base: 2
33.27/33.35	c ---[1132]---> Adder-cost: 104   maxlim: 41   bits: 7/6
33.27/33.35	c ---[1130]---> Adder-cost: 60   maxlim: 41   bits: 7/6
33.27/33.35	c ---[1128]---> Adder-cost: 60   maxlim: 41   bits: 7/6
33.27/33.35	c ---[1126]---> Adder-cost: 104   maxlim: 42   bits: 7/6
33.27/33.35	c ---[1124]---> Adder-cost: 58   maxlim: 42   bits: 7/6
33.27/33.36	c ---[1122]---> Adder-cost: 58   maxlim: 42   bits: 7/6
33.27/33.36	c ---[1120]---> Adder-cost: 58   maxlim: 42   bits: 7/6
33.27/33.36	c ---[1118]---> Adder-cost: 60   maxlim: 33   bits: 7/6
33.27/33.36	c ---[1116]---> Adder-cost: 58   maxlim: 17   bits: 6/5
33.27/33.36	c ---[1114]---> Adder-cost: 42   maxlim: 17   bits: 6/5
33.27/33.36	c ---[1112]---> Adder-cost: 232   maxlim: 114   bits: 8/7
33.27/33.37	c ---[1110]---> Adder-cost: 192   maxlim: 102   bits: 8/7
33.27/33.37	c ---[1108]---> Adder-cost: 312   maxlim: 152   bits: 9/8
33.27/33.37	c ---[1106]---> Adder-cost: 102   maxlim: 42   bits: 7/6
33.27/33.38	c ---[1104]---> Adder-cost: 190   maxlim: 85   bits: 8/7
33.27/33.38	c ---[1102]---> Adder-cost: 96   maxlim: 85   bits: 8/7
33.27/33.38	c ---[1100]---> Adder-cost: 212   maxlim: 93   bits: 8/7
33.27/33.38	c ---[1098]---> Adder-cost: 102   maxlim: 93   bits: 8/7
33.27/33.39	c ---[1096]---> Adder-cost: 102   maxlim: 93   bits: 8/7
33.27/33.39	c ---[1094]---> Adder-cost: 148   maxlim: 65   bits: 8/7
33.27/33.39	c ---[1092]---> Adder-cost: 58   maxlim: 42   bits: 7/6
33.27/33.39	c ---[1090]---> Adder-cost: 78   maxlim: 65   bits: 8/7
33.37/33.40	c ---[1088]---> Adder-cost: 150   maxlim: 78   bits: 8/7
33.37/33.40	c ---[1086]---> Adder-cost: 152   maxlim: 74   bits: 8/7
33.37/33.40	c ---[1084]---> Adder-cost: 80   maxlim: 74   bits: 8/7
33.37/33.40	c ---[1082]---> Adder-cost: 104   maxlim: 37   bits: 7/6
33.37/33.41	c ---[1080]---> Adder-cost: 64   maxlim: 37   bits: 7/6
33.37/33.41	c ---[1078]---> Adder-cost: 76   maxlim: 34   bits: 7/6
33.37/33.41	c ---[1076]---> Adder-cost: 56   maxlim: 18   bits: 6/5
33.37/33.41	c ---[1074]---> Adder-cost: 44   maxlim: 18   bits: 6/5
33.37/33.41	c ---[1072]---> Sorter-cost:  577     Base: 2
33.37/33.41	c ---[1070]---> Sorter-cost:  634     Base: 7
33.37/33.41	c ---[1068]---> Sorter-cost:  677     Base: 7
33.37/33.41	c ---[1066]---> Adder-cost: 77   maxlim: 25   bits: 6/5
33.37/33.41	c ---[1064]---> Adder-cost: 55   maxlim: 25   bits: 6/5
33.37/33.41	c ---[1062]---> Adder-cost: 67   maxlim: 24   bits: 6/5
33.37/33.42	c ---[1060]---> Adder-cost: 51   maxlim: 24   bits: 6/5
33.37/33.42	c ---[1058]---> Adder-cost: 58   maxlim: 34   bits: 7/6
33.37/33.42	c ---[1056]---> Adder-cost: 67   maxlim: 23   bits: 6/5
33.37/33.42	c ---[1054]---> Adder-cost: 51   maxlim: 23   bits: 6/5
33.37/33.42	c ---[1052]---> Adder-cost: 61   maxlim: 21   bits: 6/5
33.37/33.42	c ---[1050]---> Adder-cost: 55   maxlim: 21   bits: 6/5
33.37/33.42	c ---[1048]---> Adder-cost: 238   maxlim: 112   bits: 8/7
33.37/33.43	c ---[1046]---> Adder-cost: 98   maxlim: 112   bits: 8/7
33.37/33.43	c ---[1044]---> Adder-cost: 200   maxlim: 110   bits: 8/7
33.37/33.43	c ---[1042]---> Adder-cost: 96   maxlim: 110   bits: 8/7
33.37/33.44	c ---[1040]---> Adder-cost: 198   maxlim: 94   bits: 8/7
33.37/33.44	c ---[1038]---> Adder-cost: 236   maxlim: 114   bits: 8/7
33.37/33.44	c ---[1036]---> Adder-cost: 182   maxlim: 113   bits: 8/7
33.37/33.45	c ---[1034]---> Adder-cost: 172   maxlim: 77   bits: 8/7
33.37/33.45	c ---[1032]---> Adder-cost: 158   maxlim: 70   bits: 8/7
33.37/33.45	c ---[1030]---> Adder-cost: 188   maxlim: 82   bits: 8/7
33.37/33.45	c ---[1028]---> Adder-cost: 88   maxlim: 82   bits: 8/7
33.37/33.46	c ---[1026]---> Adder-cost: 102   maxlim: 40   bits: 7/6
33.37/33.46	c ---[1024]---> Adder-cost: 64   maxlim: 40   bits: 7/6
33.37/33.46	c ---[1022]---> Adder-cost: 56   maxlim: 17   bits: 6/5
33.37/33.46	c ---[1020]---> Adder-cost: 56   maxlim: 18   bits: 6/5
33.37/33.46	c ---[1018]---> Adder-cost: 44   maxlim: 18   bits: 6/5
33.37/33.46	c ---[1016]---> Adder-cost: 160   maxlim: 73   bits: 8/7
33.37/33.46	c ---[1014]---> Adder-cost: 86   maxlim: 73   bits: 8/7
33.37/33.47	c ---[1012]---> Adder-cost: 73   maxlim: 25   bits: 6/5
33.37/33.47	c ---[1010]---> Adder-cost: 88   maxlim: 35   bits: 7/6
33.37/33.47	c ---[1008]---> Adder-cost: 56   maxlim: 35   bits: 7/6
33.37/33.47	c ---[1006]---> Adder-cost: 56   maxlim: 35   bits: 7/6
33.37/33.47	c ---[1004]---> Adder-cost: 92   maxlim: 36   bits: 7/6
33.37/33.47	c ---[1002]---> Adder-cost: 56   maxlim: 36   bits: 7/6
33.37/33.47	c ---[1000]---> Adder-cost: 56   maxlim: 36   bits: 7/6
33.37/33.48	c ---[ 998]---> Adder-cost: 96   maxlim: 42   bits: 7/6
33.37/33.48	c ---[ 996]---> Adder-cost: 58   maxlim: 42   bits: 7/6
33.37/33.48	c ---[ 994]---> Adder-cost: 67   maxlim: 21   bits: 6/5
33.37/33.48	c ---[ 992]---> Adder-cost: 186   maxlim: 84   bits: 8/7
33.37/33.48	c ---[ 990]---> Adder-cost: 88   maxlim: 84   bits: 8/7
33.37/33.49	c ---[ 988]---> Adder-cost: 100   maxlim: 39   bits: 7/6
33.37/33.49	c ---[ 986]---> Adder-cost: 68   maxlim: 39   bits: 7/6
33.37/33.49	c ---[ 984]---> Adder-cost: 68   maxlim: 39   bits: 7/6
33.37/33.49	c ---[ 982]---> Adder-cost: 72   maxlim: 35   bits: 7/6
33.37/33.49	c ---[ 980]---> Adder-cost: 75   maxlim: 25   bits: 6/5
33.37/33.49	c ---[ 978]---> Adder-cost: 59   maxlim: 24   bits: 6/5
33.37/33.49	c ---[ 976]---> Adder-cost: 55   maxlim: 21   bits: 6/5
33.37/33.49	c ---[ 974]---> Adder-cost: 55   maxlim: 21   bits: 6/5
33.47/33.50	c ---[ 972]---> Adder-cost: 51   maxlim: 24   bits: 6/5
33.47/33.50	c ---[ 970]---> Adder-cost: 51   maxlim: 24   bits: 6/5
33.47/33.50	c ---[ 968]---> Adder-cost: 51   maxlim: 24   bits: 6/5
33.47/33.50	c ---[ 966]---> Adder-cost: 57   maxlim: 21   bits: 6/5
33.47/33.50	c ---[ 964]---> Adder-cost: 52   maxlim: 20   bits: 6/5
33.47/33.50	c ---[ 962]---> Adder-cost: 42   maxlim: 20   bits: 6/5
33.47/33.50	c ---[ 960]---> Adder-cost: 48   maxlim: 18   bits: 6/5
33.47/33.50	c ---[ 958]---> Adder-cost: 208   maxlim: 94   bits: 8/7
33.47/33.51	c ---[ 956]---> Adder-cost: 98   maxlim: 94   bits: 8/7
33.47/33.51	c ---[ 954]---> Adder-cost: 290   maxlim: 142   bits: 9/8
33.47/33.51	c ---[ 952]---> Adder-cost: 114   maxlim: 142   bits: 9/8
33.47/33.52	c ---[ 950]---> Adder-cost: 80   maxlim: 34   bits: 7/6
33.47/33.52	c ---[ 948]---> Adder-cost: 86   maxlim: 36   bits: 7/6
33.47/33.52	c ---[ 946]---> Adder-cost: 143   maxlim: 62   bits: 7/6
33.47/33.52	c ---[ 944]---> Adder-cost: 73   maxlim: 62   bits: 7/6
33.47/33.53	c ---[ 942]---> Adder-cost: 154   maxlim: 65   bits: 8/7
33.47/33.53	c ---[ 940]---> Adder-cost: 78   maxlim: 65   bits: 8/7
33.47/33.53	c ---[ 938]---> Adder-cost: 148   maxlim: 69   bits: 8/7
33.47/33.53	c ---[ 936]---> Adder-cost: 82   maxlim: 69   bits: 8/7
33.47/33.53	c ---[ 934]---> Adder-cost: 82   maxlim: 69   bits: 8/7
33.47/33.54	c ---[ 932]---> Adder-cost: 156   maxlim: 74   bits: 8/7
33.47/33.54	c ---[ 930]---> Adder-cost: 80   maxlim: 74   bits: 8/7
33.47/33.54	c ---[ 928]---> Adder-cost: 77   maxlim: 28   bits: 6/5
33.47/33.54	c ---[ 926]---> Adder-cost: 55   maxlim: 28   bits: 6/5
33.47/33.54	c ---[ 924]---> Adder-cost: 81   maxlim: 30   bits: 6/5
33.47/33.55	c ---[ 922]---> Adder-cost: 272   maxlim: 137   bits: 9/8
33.47/33.55	c ---[ 920]---> Adder-cost: 59   maxlim: 30   bits: 6/5
33.47/33.55	c ---[ 918]---> Adder-cost: 133   maxlim: 54   bits: 7/6
33.47/33.55	c ---[ 916]---> Adder-cost: 104   maxlim: 51   bits: 7/6
33.47/33.56	c ---[ 914]---> Adder-cost: 364   maxlim: 177   bits: 9/8
33.47/33.56	c ---[ 912]---> Adder-cost: 216   maxlim: 105   bits: 8/7
33.47/33.56	c ---[ 910]---> Adder-cost: 92   maxlim: 105   bits: 8/7
33.47/33.57	c ---[ 908]---> Adder-cost: 147   maxlim: 62   bits: 7/6
33.47/33.57	c ---[ 906]---> Adder-cost: 73   maxlim: 62   bits: 7/6
33.47/33.57	c ---[ 904]---> Adder-cost: 145   maxlim: 58   bits: 7/6
33.47/33.57	c ---[ 902]---> Adder-cost: 137   maxlim: 60   bits: 7/6
33.47/33.58	c ---[ 900]---> Adder-cost: 75   maxlim: 60   bits: 7/6
33.47/33.58	c ---[ 898]---> Adder-cost: 194   maxlim: 95   bits: 8/7
33.47/33.58	c ---[ 896]---> Adder-cost: 90   maxlim: 95   bits: 8/7
33.47/33.58	c ---[ 894]---> Sorter-cost:  577     Base: 2
33.47/33.58	c ---[ 892]---> Adder-cost: 334   maxlim: 167   bits: 9/8
33.47/33.59	c ---[ 890]---> Adder-cost: 108   maxlim: 44   bits: 7/6
33.47/33.59	c ---[ 888]---> Adder-cost: 141   maxlim: 59   bits: 7/6
33.47/33.59	c ---[ 886]---> Adder-cost: 125   maxlim: 59   bits: 7/6
33.47/33.59	c ---[ 884]---> Adder-cost: 230   maxlim: 111   bits: 8/7
33.57/33.60	c ---[ 882]---> Adder-cost: 98   maxlim: 111   bits: 8/7
33.57/33.60	c ---[ 880]---> Adder-cost: 158   maxlim: 70   bits: 8/7
33.57/33.60	c ---[ 878]---> Adder-cost: 150   maxlim: 84   bits: 8/7
33.57/33.61	c ---[ 876]---> Adder-cost: 204   maxlim: 101   bits: 8/7
33.57/33.61	c ---[ 874]---> Adder-cost: 92   maxlim: 101   bits: 8/7
33.57/33.61	c ---[ 872]---> Adder-cost: 92   maxlim: 101   bits: 8/7
33.57/33.62	c ---[ 870]---> Adder-cost: 87   maxlim: 30   bits: 6/5
33.57/33.62	c ---[ 868]---> Adder-cost: 85   maxlim: 29   bits: 6/5
33.57/33.62	c ---[ 866]---> Adder-cost: 106   maxlim: 44   bits: 7/6
33.57/33.62	c ---[ 864]---> Adder-cost: 56   maxlim: 44   bits: 7/6
33.57/33.62	c ---[ 862]---> Adder-cost: 102   maxlim: 41   bits: 7/6
33.57/33.62	c ---[ 860]---> Adder-cost: 92   maxlim: 36   bits: 7/6
33.57/33.63	c ---[ 858]---> Adder-cost: 286   maxlim: 140   bits: 9/8
33.57/33.63	c ---[ 856]---> Adder-cost: 106   maxlim: 44   bits: 7/6
33.57/33.63	c ---[ 854]---> Adder-cost: 94   maxlim: 46   bits: 7/6
33.57/33.63	c ---[ 852]---> Adder-cost: 67   maxlim: 27   bits: 6/5
33.57/33.63	c ---[ 850]---> Adder-cost: 75   maxlim: 25   bits: 6/5
33.57/33.64	c ---[ 848]---> Adder-cost: 96   maxlim: 42   bits: 7/6
33.57/33.64	c ---[ 846]---> Adder-cost: 98   maxlim: 41   bits: 7/6
33.57/33.64	c ---[ 844]---> Adder-cost: 60   maxlim: 41   bits: 7/6
33.57/33.64	c ---[ 842]---> Adder-cost: 137   maxlim: 61   bits: 7/6
33.57/33.64	c ---[ 840]---> Adder-cost: 104   maxlim: 37   bits: 7/6
33.57/33.64	c ---[ 838]---> Adder-cost: 55   maxlim: 27   bits: 6/5
33.57/33.64	c ---[ 836]---> Adder-cost: 172   maxlim: 93   bits: 8/7
33.57/33.65	c ---[ 834]---> Adder-cost: 102   maxlim: 44   bits: 7/6
33.57/33.65	c ---[ 832]---> Adder-cost: 90   maxlim: 37   bits: 7/6
33.57/33.65	c ---[ 830]---> Adder-cost: 212   maxlim: 101   bits: 8/7
33.57/33.65	c ---[ 828]---> Adder-cost: 92   maxlim: 101   bits: 8/7
33.57/33.66	c ---[ 826]---> Adder-cost: 92   maxlim: 101   bits: 8/7
33.57/33.66	c ---[ 824]---> Adder-cost: 110   maxlim: 43   bits: 7/6
33.57/33.66	c ---[ 822]---> Adder-cost: 67   maxlim: 25   bits: 6/5
33.57/33.66	c ---[ 820]---> Adder-cost: 196   maxlim: 88   bits: 8/7
33.57/33.67	c ---[ 818]---> Adder-cost: 133   maxlim: 54   bits: 7/6
33.57/33.67	c ---[ 816]---> Adder-cost: 127   maxlim: 59   bits: 7/6
33.57/33.67	c ---[ 814]---> Adder-cost: 152   maxlim: 68   bits: 8/7
33.57/33.67	c ---[ 812]---> Adder-cost: 74   maxlim: 68   bits: 8/7
33.57/33.67	c ---[ 810]---> Adder-cost: 144   maxlim: 69   bits: 8/7
33.57/33.68	c ---[ 808]---> Adder-cost: 82   maxlim: 69   bits: 8/7
33.57/33.68	c ---[ 806]---> Adder-cost: 61   maxlim: 24   bits: 6/5
33.57/33.68	c ---[ 804]---> Adder-cost: 116   maxlim: 47   bits: 7/6
33.57/33.68	c ---[ 802]---> Adder-cost: 62   maxlim: 47   bits: 7/6
33.57/33.68	c ---[ 800]---> Adder-cost: 127   maxlim: 53   bits: 7/6
33.57/33.69	c ---[ 798]---> Adder-cost: 78   maxlim: 34   bits: 7/6
33.57/33.69	c ---[ 796]---> Adder-cost: 108   maxlim: 45   bits: 7/6
33.57/33.69	c ---[ 794]---> Adder-cost: 121   maxlim: 53   bits: 7/6
33.57/33.69	c ---[ 792]---> Adder-cost: 55   maxlim: 26   bits: 6/5
33.57/33.69	c ---[ 790]---> Adder-cost: 196   maxlim: 102   bits: 8/7
33.57/33.69	c ---[ 788]---> Adder-cost: 63   maxlim: 29   bits: 6/5
33.67/33.70	c ---[ 786]---> Adder-cost: 79   maxlim: 25   bits: 6/5
33.67/33.70	c ---[ 784]---> Adder-cost: 55   maxlim: 25   bits: 6/5
33.67/33.70	c ---[ 782]---> Adder-cost: 446   maxlim: 237   bits: 9/8
33.67/33.71	c ---[ 780]---> Adder-cost: 336   maxlim: 234   bits: 9/8
33.67/33.71	c ---[ 778]---> Adder-cost: 188   maxlim: 95   bits: 8/7
33.67/33.72	c ---[ 776]---> Adder-cost: 55   maxlim: 27   bits: 6/5
33.67/33.72	c ---[ 774]---> Adder-cost: 156   maxlim: 84   bits: 8/7
33.67/33.72	c ---[ 772]---> Adder-cost: 146   maxlim: 87   bits: 8/7
33.67/33.72	c ---[ 770]---> Adder-cost: 62   maxlim: 19   bits: 6/5
33.67/33.72	c ---[ 768]---> Sorter-cost:  546     Base: 2
33.67/33.72	c ---[ 766]---> Sorter-cost:  496     Base: 2
33.67/33.72	c ---[ 764]---> Sorter-cost:  496     Base: 2
33.67/33.73	c ---[ 762]---> Adder-cost: 62   maxlim: 19   bits: 6/5
33.67/33.73	c ---[ 760]---> Adder-cost: 77   maxlim: 26   bits: 6/5
33.67/33.73	c ---[ 758]---> Adder-cost: 94   maxlim: 36   bits: 7/6
33.67/33.73	c ---[ 756]---> Adder-cost: 71   maxlim: 22   bits: 6/5
33.67/33.73	c ---[ 754]---> Adder-cost: 65   maxlim: 22   bits: 6/5
33.67/33.73	c ---[ 752]---> Sorter-cost:  577     Base: 2
33.67/33.73	c ---[ 750]---> Adder-cost: 194   maxlim: 92   bits: 8/7
33.67/33.73	c ---[ 748]---> Adder-cost: 160   maxlim: 76   bits: 8/7
33.67/33.74	c ---[ 746]---> Adder-cost: 255   maxlim: 118   bits: 8/7
33.67/33.74	c ---[ 744]---> Adder-cost: 243   maxlim: 121   bits: 8/7
33.67/33.74	c ---[ 742]---> Adder-cost: 72   maxlim: 34   bits: 7/6
33.67/33.75	c ---[ 740]---> Adder-cost: 270   maxlim: 132   bits: 9/8
33.67/33.75	c ---[ 738]---> Adder-cost: 139   maxlim: 62   bits: 7/6
33.67/33.75	c ---[ 736]---> Adder-cost: 160   maxlim: 70   bits: 8/7
33.67/33.75	c ---[ 734]---> Adder-cost: 110   maxlim: 79   bits: 8/7
33.67/33.76	c ---[ 732]---> Adder-cost: 112   maxlim: 75   bits: 8/7
33.67/33.76	c ---[ 730]---> Adder-cost: 228   maxlim: 128   bits: 9/8
33.67/33.76	c ---[ 728]---> Adder-cost: 104   maxlim: 128   bits: 9/8
33.67/33.77	c ---[ 726]---> Adder-cost: 58   maxlim: 34   bits: 7/6
33.67/33.77	c ---[ 724]---> Adder-cost: 148   maxlim: 64   bits: 8/7
33.67/33.77	c ---[ 722]---> Adder-cost: 110   maxlim: 43   bits: 7/6
33.67/33.77	c ---[ 720]---> Adder-cost: 152   maxlim: 72   bits: 8/7
33.67/33.78	c ---[ 718]---> Adder-cost: 80   maxlim: 72   bits: 8/7
33.67/33.78	c ---[ 716]---> Adder-cost: 80   maxlim: 72   bits: 8/7
33.67/33.78	c ---[ 714]---> Adder-cost: 58   maxlim: 34   bits: 7/6
33.67/33.78	c ---[ 712]---> Adder-cost: 135   maxlim: 57   bits: 7/6
33.67/33.78	c ---[ 710]---> Adder-cost: 79   maxlim: 57   bits: 7/6
33.67/33.79	c ---[ 708]---> Adder-cost: 137   maxlim: 61   bits: 7/6
33.67/33.79	c ---[ 706]---> Sorter-cost:  577     Base: 2
33.67/33.79	c ---[ 704]---> Sorter-cost:  635     Base: 7
33.67/33.79	c ---[ 702]---> Adder-cost: 58   maxlim: 34   bits: 7/6
33.67/33.79	c ---[ 700]---> Adder-cost: 176   maxlim: 82   bits: 8/7
33.67/33.79	c ---[ 698]---> Adder-cost: 190   maxlim: 95   bits: 8/7
33.77/33.80	c ---[ 696]---> Adder-cost: 90   maxlim: 95   bits: 8/7
33.77/33.80	c ---[ 694]---> Adder-cost: 90   maxlim: 95   bits: 8/7
33.77/33.80	c ---[ 692]---> Adder-cost: 90   maxlim: 95   bits: 8/7
33.77/33.81	c ---[ 690]---> Adder-cost: 88   maxlim: 33   bits: 7/6
33.77/33.81	c ---[ 688]---> Adder-cost: 156   maxlim: 69   bits: 8/7
33.77/33.81	c ---[ 686]---> Adder-cost: 82   maxlim: 69   bits: 8/7
33.77/33.81	c ---[ 684]---> Adder-cost: 58   maxlim: 34   bits: 7/6
33.77/33.81	c ---[ 682]---> Adder-cost: 162   maxlim: 76   bits: 8/7
33.77/33.82	c ---[ 680]---> Adder-cost: 135   maxlim: 62   bits: 7/6
33.77/33.82	c ---[ 678]---> Adder-cost: 54   maxlim: 19   bits: 6/5
33.77/33.82	c ---[ 676]---> Adder-cost: 94   maxlim: 40   bits: 7/6
33.77/33.82	c ---[ 674]---> Adder-cost: 164   maxlim: 75   bits: 8/7
33.77/33.82	c ---[ 672]---> Adder-cost: 210   maxlim: 102   bits: 8/7
33.77/33.83	c ---[ 670]---> Adder-cost: 100   maxlim: 102   bits: 8/7
33.77/33.83	c ---[ 668]---> Adder-cost: 146   maxlim: 68   bits: 8/7
33.77/33.83	c ---[ 666]---> Adder-cost: 178   maxlim: 81   bits: 8/7
33.77/33.84	c ---[ 664]---> Adder-cost: 120   maxlim: 52   bits: 7/6
33.77/33.84	c ---[ 662]---> Adder-cost: 98   maxlim: 39   bits: 7/6
33.77/33.84	c ---[ 660]---> Adder-cost: 109   maxlim: 53   bits: 7/6
33.77/33.84	c ---[ 658]---> Adder-cost: 73   maxlim: 24   bits: 6/5
33.77/33.84	c ---[ 656]---> Adder-cost: 71   maxlim: 22   bits: 6/5
33.77/33.84	c ---[ 654]---> Adder-cost: 100   maxlim: 39   bits: 7/6
33.77/33.84	c ---[ 652]---> Adder-cost: 68   maxlim: 39   bits: 7/6
33.77/33.85	c ---[ 650]---> Adder-cost: 127   maxlim: 53   bits: 7/6
33.77/33.85	c ---[ 648]---> Adder-cost: 88   maxlim: 35   bits: 7/6
33.77/33.85	c ---[ 646]---> Adder-cost: 184   maxlim: 91   bits: 8/7
33.77/33.85	c ---[ 644]---> Adder-cost: 137   maxlim: 60   bits: 7/6
33.77/33.85	c ---[ 642]---> Adder-cost: 179   maxlim: 127   bits: 8/7
33.77/33.86	c ---[ 640]---> Adder-cost: 67   maxlim: 28   bits: 6/5
33.77/33.86	c ---[ 638]---> Adder-cost: 135   maxlim: 56   bits: 7/6
33.77/33.86	c ---[ 636]---> Adder-cost: 170   maxlim: 77   bits: 8/7
33.77/33.86	c ---[ 634]---> Adder-cost: 198   maxlim: 96   bits: 8/7
33.77/33.87	c ---[ 632]---> Adder-cost: 154   maxlim: 96   bits: 8/7
33.77/33.87	c ---[ 630]---> Adder-cost: 94   maxlim: 91   bits: 8/7
33.77/33.87	c ---[ 628]---> Adder-cost: 234   maxlim: 129   bits: 9/8
33.77/33.88	c ---[ 626]---> Adder-cost: 231   maxlim: 119   bits: 8/7
33.77/33.88	c ---[ 624]---> Adder-cost: 84   maxlim: 32   bits: 7/6
33.77/33.88	c ---[ 622]---> Adder-cost: 52   maxlim: 32   bits: 7/6
33.77/33.88	c ---[ 620]---> Adder-cost: 52   maxlim: 32   bits: 7/6
33.77/33.88	c ---[ 618]---> Adder-cost: 56   maxlim: 18   bits: 6/5
33.77/33.88	c ---[ 616]---> Adder-cost: 80   maxlim: 34   bits: 7/6
33.77/33.89	c ---[ 614]---> Adder-cost: 150   maxlim: 72   bits: 8/7
33.77/33.89	c ---[ 612]---> Adder-cost: 80   maxlim: 72   bits: 8/7
33.77/33.89	c ---[ 610]---> Adder-cost: 94   maxlim: 91   bits: 8/7
33.77/33.89	c ---[ 608]---> Adder-cost: 212   maxlim: 102   bits: 8/7
33.87/33.90	c ---[ 606]---> Adder-cost: 100   maxlim: 102   bits: 8/7
33.87/33.90	c ---[ 604]---> Adder-cost: 100   maxlim: 102   bits: 8/7
33.87/33.90	c ---[ 602]---> Adder-cost: 144   maxlim: 69   bits: 8/7
33.87/33.91	c ---[ 600]---> Adder-cost: 56   maxlim: 20   bits: 6/5
33.87/33.91	c ---[ 598]---> Adder-cost: 50   maxlim: 16   bits: 6/5
33.87/33.91	c ---[ 596]---> Adder-cost: 130   maxlim: 93   bits: 8/7
33.87/33.91	c ---[ 594]---> Adder-cost: 56   maxlim: 20   bits: 6/5
33.87/33.91	c ---[ 592]---> Adder-cost: 88   maxlim: 33   bits: 7/6
33.87/33.91	c ---[ 590]---> Adder-cost: 60   maxlim: 33   bits: 7/6
33.87/33.92	c ---[ 588]---> Adder-cost: 142   maxlim: 66   bits: 8/7
33.87/33.92	c ---[ 586]---> Adder-cost: 136   maxlim: 64   bits: 8/7
33.87/33.92	c ---[ 584]---> Adder-cost: 87   maxlim: 55   bits: 7/6
33.87/33.92	c ---[ 582]---> Adder-cost: 127   maxlim: 55   bits: 7/6
33.87/33.92	c ---[ 580]---> Sorter-cost:  544     Base: 2
33.87/33.92	c ---[ 578]---> Adder-cost: 158   maxlim: 76   bits: 8/7
33.87/33.93	c ---[ 576]---> Adder-cost: 77   maxlim: 26   bits: 6/5
33.87/33.93	c ---[ 574]---> Adder-cost: 106   maxlim: 48   bits: 7/6
33.87/33.93	c ---[ 572]---> Adder-cost: 68   maxlim: 48   bits: 7/6
33.87/33.93	c ---[ 570]---> Adder-cost: 237   maxlim: 124   bits: 8/7
33.87/33.94	c ---[ 568]---> Adder-cost: 133   maxlim: 57   bits: 7/6
33.87/33.94	c ---[ 566]---> Adder-cost: 150   maxlim: 71   bits: 8/7
33.87/33.94	c ---[ 564]---> Adder-cost: 150   maxlim: 67   bits: 8/7
33.87/33.94	c ---[ 562]---> Adder-cost: 137   maxlim: 58   bits: 7/6
33.87/33.94	c ---[ 560]---> Adder-cost: 77   maxlim: 58   bits: 7/6
33.87/33.95	c ---[ 558]---> Adder-cost: 77   maxlim: 58   bits: 7/6
33.87/33.95	c ---[ 556]---> Adder-cost: 188   maxlim: 93   bits: 8/7
33.87/33.95	c ---[ 554]---> Adder-cost: 170   maxlim: 86   bits: 8/7
33.87/33.95	c ---[ 552]---> Adder-cost: 213   maxlim: 125   bits: 8/7
33.87/33.96	c ---[ 550]---> Adder-cost: 154   maxlim: 97   bits: 8/7
33.87/33.96	c ---[ 548]---> Adder-cost: 96   maxlim: 37   bits: 7/6
33.87/33.96	c ---[ 546]---> Adder-cost: 64   maxlim: 37   bits: 7/6
33.87/33.96	c ---[ 544]---> Adder-cost: 64   maxlim: 37   bits: 7/6
33.87/33.96	c ---[ 542]---> Adder-cost: 172   maxlim: 78   bits: 8/7
33.87/33.97	c ---[ 540]---> Adder-cost: 222   maxlim: 109   bits: 8/7
33.87/33.97	c ---[ 538]---> Adder-cost: 218   maxlim: 107   bits: 8/7
33.87/33.97	c ---[ 536]---> Adder-cost: 251   maxlim: 123   bits: 8/7
33.87/33.98	c ---[ 534]---> Adder-cost: 172   maxlim: 98   bits: 8/7
33.87/33.98	c ---[ 532]---> Adder-cost: 214   maxlim: 129   bits: 9/8
33.87/33.99	c ---[ 530]---> Adder-cost: 152   maxlim: 70   bits: 8/7
33.87/33.99	c ---[ 528]---> Adder-cost: 92   maxlim: 36   bits: 7/6
33.87/33.99	c ---[ 526]---> Adder-cost: 56   maxlim: 36   bits: 7/6
33.87/33.99	c ---[ 524]---> Sorter-cost:  546     Base: 2
33.87/33.99	c ---[ 522]---> Sorter-cost:  496     Base: 2
33.87/33.99	c ---[ 520]---> Adder-cost: 90   maxlim: 75   bits: 8/7
33.87/33.99	c ---[ 518]---> Adder-cost: 126   maxlim: 107   bits: 8/7
33.97/34.00	c ---[ 516]---> Sorter-cost:  577     Base: 2
33.97/34.00	c ---[ 514]---> Sorter-cost:  451     Base: 2
33.97/34.00	c ---[ 512]---> Sorter-cost:  532     Base: 2
33.97/34.00	c ---[ 510]---> Sorter-cost:  496     Base: 2
33.97/34.00	c ---[ 508]---> Sorter-cost:  540     Base: 2
33.97/34.00	c ---[ 506]---> Sorter-cost:  496     Base: 2
33.97/34.00	c ---[ 504]---> Sorter-cost:  538     Base: 2
33.97/34.00	c ---[ 502]---> Adder-cost: 198   maxlim: 99   bits: 8/7
33.97/34.01	c ---[ 500]---> Adder-cost: 84   maxlim: 32   bits: 7/6
33.97/34.01	c ---[ 498]---> Adder-cost: 73   maxlim: 27   bits: 6/5
33.97/34.01	c ---[ 496]---> Sorter-cost:  577     Base: 2
33.97/34.01	c ---[ 494]---> Adder-cost: 140   maxlim: 67   bits: 8/7
33.97/34.01	c ---[ 492]---> Adder-cost: 90   maxlim: 99   bits: 8/7
33.97/34.02	c ---[ 490]---> Adder-cost: 242   maxlim: 132   bits: 9/8
33.97/34.02	c ---[ 488]---> Adder-cost: 87   maxlim: 31   bits: 6/5
33.97/34.02	c ---[ 486]---> Adder-cost: 59   maxlim: 31   bits: 6/5
33.97/34.02	c ---[ 484]---> Adder-cost: 59   maxlim: 31   bits: 6/5
33.97/34.02	c ---[ 482]---> Adder-cost: 88   maxlim: 39   bits: 7/6
33.97/34.02	c ---[ 480]---> Adder-cost: 131   maxlim: 57   bits: 7/6
33.97/34.03	c ---[ 478]---> Adder-cost: 129   maxlim: 58   bits: 7/6
33.97/34.03	c ---[ 476]---> Adder-cost: 77   maxlim: 58   bits: 7/6
33.97/34.03	c ---[ 474]---> Adder-cost: 90   maxlim: 99   bits: 8/7
33.97/34.03	c ---[ 472]---> Adder-cost: 97   maxlim: 59   bits: 7/6
33.97/34.04	c ---[ 470]---> Adder-cost: 133   maxlim: 55   bits: 7/6
33.97/34.04	c ---[ 468]---> Adder-cost: 102   maxlim: 49   bits: 7/6
33.97/34.04	c ---[ 466]---> Adder-cost: 66   maxlim: 49   bits: 7/6
33.97/34.04	c ---[ 464]---> Adder-cost: 77   maxlim: 55   bits: 7/6
33.97/34.04	c ---[ 462]---> Adder-cost: 86   maxlim: 49   bits: 7/6
33.97/34.04	c ---[ 460]---> Adder-cost: 154   maxlim: 80   bits: 8/7
33.97/34.05	c ---[ 458]---> Adder-cost: 190   maxlim: 90   bits: 8/7
33.97/34.05	c ---[ 456]---> Adder-cost: 204   maxlim: 94   bits: 8/7
33.97/34.05	c ---[ 454]---> Adder-cost: 98   maxlim: 94   bits: 8/7
33.97/34.06	c ---[ 452]---> Adder-cost: 120   maxlim: 51   bits: 7/6
33.97/34.06	c ---[ 450]---> Adder-cost: 64   maxlim: 51   bits: 7/6
33.97/34.06	c ---[ 448]---> Adder-cost: 152   maxlim: 66   bits: 8/7
33.97/34.06	c ---[ 446]---> Adder-cost: 348   maxlim: 177   bits: 9/8
33.97/34.07	c ---[ 444]---> Adder-cost: 126   maxlim: 177   bits: 9/8
33.97/34.07	c ---[ 442]---> Adder-cost: 160   maxlim: 79   bits: 8/7
33.97/34.08	c ---[ 440]---> Adder-cost: 92   maxlim: 34   bits: 7/6
33.97/34.08	c ---[ 438]---> Adder-cost: 135   maxlim: 60   bits: 7/6
33.97/34.08	c ---[ 436]---> Adder-cost: 75   maxlim: 60   bits: 7/6
33.97/34.08	c ---[ 434]---> Adder-cost: 90   maxlim: 38   bits: 7/6
33.97/34.08	c ---[ 432]---> Adder-cost: 58   maxlim: 38   bits: 7/6
33.97/34.08	c ---[ 430]---> Adder-cost: 254   maxlim: 132   bits: 9/8
33.97/34.09	c ---[ 428]---> Adder-cost: 86   maxlim: 37   bits: 7/6
33.97/34.09	c ---[ 426]---> Adder-cost: 419   maxlim: 248   bits: 9/8
33.97/34.10	c ---[ 424]---> Adder-cost: 149   maxlim: 248   bits: 9/8
34.08/34.11	c ---[ 422]---> Adder-cost: 121   maxlim: 54   bits: 7/6
34.08/34.11	c ---[ 420]---> Sorter-cost:  577     Base: 2
34.08/34.11	c ---[ 418]---> Sorter-cost:  451     Base: 2
34.08/34.11	c ---[ 416]---> Sorter-cost:  451     Base: 2
34.08/34.11	c ---[ 414]---> Adder-cost: 192   maxlim: 108   bits: 8/7
34.08/34.11	c ---[ 412]---> Adder-cost: 200   maxlim: 95   bits: 8/7
34.08/34.12	c ---[ 410]---> Adder-cost: 137   maxlim: 60   bits: 7/6
34.08/34.12	c ---[ 408]---> Adder-cost: 75   maxlim: 60   bits: 7/6
34.08/34.12	c ---[ 406]---> Adder-cost: 103   maxlim: 56   bits: 7/6
34.08/34.12	c ---[ 404]---> Adder-cost: 91   maxlim: 57   bits: 7/6
34.08/34.12	c ---[ 402]---> Adder-cost: 86   maxlim: 47   bits: 7/6
34.08/34.13	c ---[ 400]---> Adder-cost: 90   maxlim: 46   bits: 7/6
34.08/34.13	c ---[ 398]---> Adder-cost: 68   maxlim: 46   bits: 7/6
34.08/34.13	c ---[ 396]---> Adder-cost: 68   maxlim: 46   bits: 7/6
34.08/34.13	c ---[ 394]---> Adder-cost: 92   maxlim: 38   bits: 7/6
34.08/34.13	c ---[ 392]---> Adder-cost: 230   maxlim: 105   bits: 8/7
34.08/34.14	c ---[ 390]---> Adder-cost: 92   maxlim: 105   bits: 8/7
34.08/34.14	c ---[ 388]---> Adder-cost: 162   maxlim: 104   bits: 8/7
34.08/34.14	c ---[ 386]---> Adder-cost: 67   maxlim: 23   bits: 6/5
34.08/34.14	c ---[ 384]---> Adder-cost: 135   maxlim: 53   bits: 7/6
34.08/34.15	c ---[ 382]---> Adder-cost: 233   maxlim: 118   bits: 8/7
34.08/34.15	c ---[ 380]---> Adder-cost: 164   maxlim: 92   bits: 8/7
34.08/34.15	c ---[ 378]---> Adder-cost: 144   maxlim: 76   bits: 8/7
34.08/34.15	c ---[ 376]---> Adder-cost: 100   maxlim: 41   bits: 7/6
34.08/34.16	c ---[ 374]---> Adder-cost: 60   maxlim: 41   bits: 7/6
34.08/34.16	c ---[ 372]---> Adder-cost: 158   maxlim: 65   bits: 8/7
34.08/34.16	c ---[ 370]---> Adder-cost: 172   maxlim: 78   bits: 8/7
34.08/34.16	c ---[ 368]---> Adder-cost: 134   maxlim: 72   bits: 8/7
34.08/34.16	c ---[ 366]---> Adder-cost: 224   maxlim: 106   bits: 8/7
34.08/34.17	c ---[ 364]---> Adder-cost: 127   maxlim: 56   bits: 7/6
34.08/34.17	c ---[ 362]---> Adder-cost: 91   maxlim: 53   bits: 7/6
34.08/34.17	c ---[ 360]---> Adder-cost: 100   maxlim: 37   bits: 7/6
34.08/34.17	c ---[ 358]---> Adder-cost: 64   maxlim: 37   bits: 7/6
34.08/34.18	c ---[ 356]---> Adder-cost: 92   maxlim: 33   bits: 7/6
34.08/34.18	c ---[ 354]---> Adder-cost: 60   maxlim: 33   bits: 7/6
34.08/34.18	c ---[ 352]---> Adder-cost: 132   maxlim: 76   bits: 8/7
34.08/34.18	c ---[ 350]---> Adder-cost: 135   maxlim: 56   bits: 7/6
34.08/34.18	c ---[ 348]---> Adder-cost: 71   maxlim: 56   bits: 7/6
34.08/34.18	c ---[ 346]---> Adder-cost: 108   maxlim: 42   bits: 7/6
34.08/34.19	c ---[ 344]---> Adder-cost: 58   maxlim: 42   bits: 7/6
34.08/34.19	c ---[ 342]---> Adder-cost: 58   maxlim: 42   bits: 7/6
34.08/34.19	c ---[ 340]---> Adder-cost: 58   maxlim: 42   bits: 7/6
34.08/34.19	c ---[ 338]---> Adder-cost: 226   maxlim: 116   bits: 8/7
34.08/34.19	c ---[ 336]---> Adder-cost: 84   maxlim: 76   bits: 8/7
34.08/34.20	c ---[ 334]---> Adder-cost: 92   maxlim: 116   bits: 8/7
34.08/34.20	c ---[ 332]---> Adder-cost: 226   maxlim: 115   bits: 8/7
34.18/34.20	c ---[ 330]---> Adder-cost: 174   maxlim: 79   bits: 8/7
34.18/34.21	c ---[ 328]---> Adder-cost: 264   maxlim: 132   bits: 9/8
34.18/34.21	c ---[ 326]---> Adder-cost: 408   maxlim: 227   bits: 9/8
34.18/34.22	c ---[ 324]---> Adder-cost: 138   maxlim: 227   bits: 9/8
34.18/34.23	c ---[ 322]---> Adder-cost: 138   maxlim: 227   bits: 9/8
34.18/34.23	c ---[ 320]---> Adder-cost: 138   maxlim: 227   bits: 9/8
34.18/34.24	c ---[ 318]---> Adder-cost: 274   maxlim: 130   bits: 9/8
34.18/34.24	c ---[ 316]---> Adder-cost: 139   maxlim: 60   bits: 7/6
34.18/34.25	c ---[ 314]---> Adder-cost: 75   maxlim: 60   bits: 7/6
34.18/34.25	c ---[ 312]---> Adder-cost: 56   maxlim: 16   bits: 6/5
34.18/34.25	c ---[ 310]---> Adder-cost: 88   maxlim: 34   bits: 7/6
34.18/34.25	c ---[ 308]---> Adder-cost: 204   maxlim: 90   bits: 8/7
34.18/34.25	c ---[ 306]---> Adder-cost: 79   maxlim: 28   bits: 6/5
34.18/34.25	c ---[ 304]---> Adder-cost: 208   maxlim: 102   bits: 8/7
34.18/34.26	c ---[ 302]---> Adder-cost: 55   maxlim: 28   bits: 6/5
34.18/34.26	c ---[ 300]---> Adder-cost: 86   maxlim: 39   bits: 7/6
34.18/34.26	c ---[ 298]---> Adder-cost: 68   maxlim: 39   bits: 7/6
34.18/34.26	c ---[ 296]---> Adder-cost: 141   maxlim: 60   bits: 7/6
34.18/34.26	c ---[ 294]---> Adder-cost: 106   maxlim: 41   bits: 7/6
34.18/34.27	c ---[ 292]---> Adder-cost: 436   maxlim: 243   bits: 9/8
34.18/34.27	c ---[ 290]---> Adder-cost: 404   maxlim: 261   bits: 10/9
34.18/34.28	c ---[ 288]---> Adder-cost: 164   maxlim: 261   bits: 10/9
34.18/34.29	c ---[ 286]---> Adder-cost: 133   maxlim: 61   bits: 7/6
34.18/34.29	c ---[ 284]---> Adder-cost: 109   maxlim: 60   bits: 7/6
34.27/34.30	c ---[ 282]---> Adder-cost: 77   maxlim: 61   bits: 7/6
34.27/34.30	c ---[ 280]---> Adder-cost: 404   maxlim: 216   bits: 9/8
34.27/34.31	c ---[ 278]---> Adder-cost: 100   maxlim: 41   bits: 7/6
34.27/34.31	c ---[ 276]---> Adder-cost: 86   maxlim: 36   bits: 7/6
34.27/34.31	c ---[ 274]---> Adder-cost: 75   maxlim: 23   bits: 6/5
34.27/34.31	c ---[ 272]---> Adder-cost: 51   maxlim: 23   bits: 6/5
34.27/34.31	c ---[ 270]---> Adder-cost: 51   maxlim: 23   bits: 6/5
34.27/34.31	c ---[ 268]---> Adder-cost: 296   maxlim: 141   bits: 9/8
34.27/34.32	c ---[ 266]---> Adder-cost: 52   maxlim: 17   bits: 6/5
34.27/34.32	c ---[ 264]---> Adder-cost: 55   maxlim: 23   bits: 6/5
34.27/34.32	c ---[ 262]---> Adder-cost: 56   maxlim: 20   bits: 6/5
34.27/34.32	c ---[ 260]---> Adder-cost: 114   maxlim: 47   bits: 7/6
34.27/34.32	c ---[ 258]---> Adder-cost: 62   maxlim: 47   bits: 7/6
34.27/34.32	c ---[ 256]---> Adder-cost: 62   maxlim: 47   bits: 7/6
34.27/34.33	c ---[ 254]---> Adder-cost: 133   maxlim: 61   bits: 7/6
34.27/34.33	c ---[ 252]---> Adder-cost: 258   maxlim: 139   bits: 9/8
34.27/34.33	c ---[ 250]---> Adder-cost: 77   maxlim: 61   bits: 7/6
34.27/34.33	c ---[ 248]---> Adder-cost: 77   maxlim: 25   bits: 6/5
34.27/34.34	c ---[ 246]---> Adder-cost: 55   maxlim: 25   bits: 6/5
34.27/34.34	c ---[ 244]---> Adder-cost: 198   maxlim: 99   bits: 8/7
34.27/34.34	c ---[ 242]---> Adder-cost: 220   maxlim: 105   bits: 8/7
34.27/34.34	c ---[ 240]---> Adder-cost: 284   maxlim: 149   bits: 9/8
34.27/34.35	c ---[ 238]---> Adder-cost: 114   maxlim: 149   bits: 9/8
34.27/34.35	c ---[ 236]---> Adder-cost: 90   maxlim: 37   bits: 7/6
34.27/34.35	c ---[ 234]---> Adder-cost: 184   maxlim: 98   bits: 8/7
34.27/34.36	c ---[ 232]---> Adder-cost: 82   maxlim: 98   bits: 8/7
34.27/34.36	c ---[ 230]---> Adder-cost: 192   maxlim: 95   bits: 8/7
34.27/34.36	c ---[ 228]---> Adder-cost: 90   maxlim: 95   bits: 8/7
34.27/34.37	c ---[ 226]---> Adder-cost: 234   maxlim: 136   bits: 9/8
34.27/34.37	c ---[ 224]---> Adder-cost: 164   maxlim: 78   bits: 8/7
34.27/34.37	c ---[ 222]---> Adder-cost: 100   maxlim: 41   bits: 7/6
34.27/34.37	c ---[ 220]---> Adder-cost: 152   maxlim: 70   bits: 8/7
34.27/34.38	c ---[ 218]---> Adder-cost: 82   maxlim: 70   bits: 8/7
34.27/34.38	c ---[ 216]---> Adder-cost: 249   maxlim: 118   bits: 8/7
34.27/34.38	c ---[ 214]---> Adder-cost: 137   maxlim: 53   bits: 7/6
34.27/34.39	c ---[ 212]---> Adder-cost: 73   maxlim: 53   bits: 7/6
34.27/34.39	c ---[ 210]---> Adder-cost: 186   maxlim: 84   bits: 8/7
34.27/34.39	c ---[ 208]---> Adder-cost: 194   maxlim: 92   bits: 8/7
34.27/34.39	c ---[ 206]---> Adder-cost: 178   maxlim: 83   bits: 8/7
34.27/34.40	c ---[ 204]---> Adder-cost: 119   maxlim: 59   bits: 7/6
34.37/34.40	c ---[ 202]---> Adder-cost: 94   maxlim: 33   bits: 7/6
34.37/34.40	c ---[ 200]---> Adder-cost: 68   maxlim: 32   bits: 7/6
34.37/34.40	c ---[ 198]---> Adder-cost: 71   maxlim: 21   bits: 6/5
34.37/34.40	c ---[ 196]---> Adder-cost: 104   maxlim: 41   bits: 7/6
34.37/34.40	c ---[ 194]---> Adder-cost: 98   maxlim: 37   bits: 7/6
34.37/34.40	c ---[ 192]---> Adder-cost: 80   maxlim: 36   bits: 7/6
34.37/34.41	c ---[ 190]---> Adder-cost: 73   maxlim: 26   bits: 6/5
34.37/34.41	c ---[ 188]---> Adder-cost: 52   maxlim: 16   bits: 6/5
34.37/34.41	c ---[ 186]---> Adder-cost: 388   maxlim: 237   bits: 9/8
34.37/34.42	c ---[ 184]---> Adder-cost: 384   maxlim: 224   bits: 9/8
34.37/34.42	c ---[ 182]---> Adder-cost: 123   maxlim: 54   bits: 7/6
34.37/34.42	c ---[ 180]---> Adder-cost: 86   maxlim: 35   bits: 7/6
34.37/34.42	c ---[ 178]---> Adder-cost: 218   maxlim: 115   bits: 8/7
34.37/34.43	c ---[ 176]---> Adder-cost: 108   maxlim: 41   bits: 7/6
34.37/34.43	c ---[ 174]---> Adder-cost: 75   maxlim: 30   bits: 6/5
34.37/34.43	c ---[ 172]---> Adder-cost: 51   maxlim: 26   bits: 6/5
34.37/34.43	c ---[ 170]---> Adder-cost: 59   maxlim: 30   bits: 6/5
34.37/34.43	c ---[ 168]---> Adder-cost: 57   maxlim: 26   bits: 6/5
34.37/34.43	c ---[ 166]---> Adder-cost: 69   maxlim: 24   bits: 6/5
34.37/34.44	c ---[ 164]---> Adder-cost: 98   maxlim: 50   bits: 7/6
34.37/34.44	c ---[ 162]---> Adder-cost: 62   maxlim: 50   bits: 7/6
34.37/34.44	c ---[ 160]---> Adder-cost: 62   maxlim: 50   bits: 7/6
34.37/34.44	c ---[ 158]---> Adder-cost: 61   maxlim: 28   bits: 6/5
34.37/34.44	c ---[ 156]---> Adder-cost: 84   maxlim: 33   bits: 7/6
34.37/34.44	c ---[ 154]---> Adder-cost: 60   maxlim: 33   bits: 7/6
34.37/34.45	c ---[ 152]---> Adder-cost: 75   maxlim: 23   bits: 6/5
34.37/34.45	c ---[ 150]---> Adder-cost: 150   maxlim: 74   bits: 8/7
34.37/34.45	c ---[ 148]---> Adder-cost: 80   maxlim: 74   bits: 8/7
34.37/34.45	c ---[ 146]---> Adder-cost: 140   maxlim: 68   bits: 8/7
34.37/34.45	c ---[ 144]---> Adder-cost: 55   maxlim: 28   bits: 6/5
34.37/34.45	c ---[ 142]---> Sorter-cost:  546     Base: 2
34.37/34.46	c ---[ 140]---> Sorter-cost:  496     Base: 2
34.37/34.46	c ---[ 138]---> Adder-cost: 79   maxlim: 26   bits: 6/5
34.37/34.46	c ---[ 136]---> Adder-cost: 51   maxlim: 26   bits: 6/5
34.37/34.46	c ---[ 134]---> Adder-cost: 75   maxlim: 24   bits: 6/5
34.37/34.46	c ---[ 132]---> Adder-cost: 148   maxlim: 71   bits: 8/7
34.37/34.46	c ---[ 130]---> Adder-cost: 55   maxlim: 28   bits: 6/5
34.37/34.46	c ---[ 128]---> Adder-cost: 78   maxlim: 71   bits: 8/7
34.37/34.47	c ---[ 126]---> Adder-cost: 117   maxlim: 60   bits: 7/6
34.37/34.47	c ---[ 124]---> Adder-cost: 75   maxlim: 60   bits: 7/6
34.37/34.47	c ---[ 122]---> Adder-cost: 137   maxlim: 62   bits: 7/6
34.37/34.47	c ---[ 120]---> Adder-cost: 73   maxlim: 62   bits: 7/6
34.37/34.47	c ---[ 118]---> Adder-cost: 104   maxlim: 44   bits: 7/6
34.37/34.48	c ---[ 116]---> Adder-cost: 170   maxlim: 85   bits: 8/7
34.37/34.48	c ---[ 114]---> Adder-cost: 92   maxlim: 42   bits: 7/6
34.37/34.48	c ---[ 112]---> Adder-cost: 94   maxlim: 35   bits: 7/6
34.37/34.48	c ---[ 110]---> Adder-cost: 72   maxlim: 33   bits: 7/6
34.37/34.48	c ---[ 108]---> Adder-cost: 60   maxlim: 33   bits: 7/6
34.37/34.48	c ---[ 106]---> Adder-cost: 60   maxlim: 32   bits: 7/6
34.37/34.48	c ---[ 104]---> Adder-cost: 108   maxlim: 48   bits: 7/6
34.37/34.49	c ---[ 102]---> Adder-cost: 68   maxlim: 48   bits: 7/6
34.37/34.49	c ---[ 100]---> Adder-cost: 166   maxlim: 82   bits: 8/7
34.37/34.49	c ---[  98]---> Adder-cost: 94   maxlim: 39   bits: 7/6
34.37/34.49	c ---[  96]---> Adder-cost: 55   maxlim: 29   bits: 6/5
34.37/34.49	c ---[  94]---> Adder-cost: 123   maxlim: 53   bits: 7/6
34.37/34.50	c ---[  92]---> Adder-cost: 73   maxlim: 53   bits: 7/6
34.47/34.50	c ---[  90]---> Adder-cost: 88   maxlim: 34   bits: 7/6
34.47/34.50	c ---[  88]---> Adder-cost: 139   maxlim: 58   bits: 7/6
34.47/34.50	c ---[  86]---> Adder-cost: 55   maxlim: 29   bits: 6/5
34.47/34.50	c ---[  84]---> Adder-cost: 112   maxlim: 46   bits: 7/6
34.47/34.50	c ---[  82]---> Adder-cost: 68   maxlim: 46   bits: 7/6
34.47/34.51	c ---[  80]---> Adder-cost: 87   maxlim: 31   bits: 6/5
34.47/34.51	c ---[  78]---> Adder-cost: 59   maxlim: 31   bits: 6/5
34.47/34.51	c ---[  76]---> Adder-cost: 65   maxlim: 29   bits: 6/5
34.47/34.51	c ---[  74]---> Adder-cost: 55   maxlim: 29   bits: 6/5
34.47/34.51	c ---[  72]---> Adder-cost: 100   maxlim: 45   bits: 7/6
34.47/34.51	c ---[  71]---> BDD-cost:131726
639.35/639.50	c ---[  70]---> Adder-cost: 109   maxlim: 42   bits: 7/6
639.35/639.51	c ---[  69]---> Adder-cost: 199   maxlim: 121   bits: 8/7
639.35/639.51	c ---[  68]---> Adder-cost: 227   maxlim: 113   bits: 8/7
639.35/639.51	c ---[  67]---> Adder-cost: 181   maxlim: 83   bits: 8/7
639.35/639.52	c ---[  66]---> Adder-cost: 229   maxlim: 107   bits: 8/7
639.35/639.52	c ---[  65]---> Sorter-cost:  459     Base: 3
639.35/639.52	c ---[  64]---> Adder-cost: 175   maxlim: 81   bits: 8/7
639.35/639.52	c ---[  63]---> Adder-cost: 109   maxlim: 57   bits: 7/6
639.35/639.53	c ---[  62]---> Adder-cost: 95   maxlim: 34   bits: 7/6
639.35/639.53	c ---[  61]---> Adder-cost: 49   maxlim: 19   bits: 6/5
639.35/639.53	c ---[  60]---> Adder-cost: 105   maxlim: 40   bits: 7/6
639.35/639.53	c ---[  59]---> Adder-cost: 135   maxlim: 64   bits: 8/7
639.35/639.53	c ---[  58]---> Adder-cost: 123   maxlim: 50   bits: 7/6
639.35/639.53	c ---[  57]---> Adder-cost: 123   maxlim: 46   bits: 7/6
639.35/639.54	c ---[  56]---> Sorter-cost:  459     Base: 3
639.35/639.54	c ---[  55]---> Adder-cost: 82   maxlim: 30   bits: 6/5
639.35/639.54	c ---[  54]---> Sorter-cost:  533     Base: 7
639.35/639.54	c ---[  53]---> Adder-cost: 4731   maxlim: 2214   bits: 13/12
639.45/639.67	c ---[  52]---> Adder-cost: 12453   maxlim: 7218   bits: 14/13
639.85/640.03	c ---[  51]---> Sorter-cost:  724     Base: 2
639.85/640.03	c ---[  50]---> Sorter-cost:  499     Base: 2
639.85/640.03	c ---[  49]---> Adder-cost: 56   maxlim: 12   bits: 5/4
639.85/640.03	c ---[  48]---> Adder-cost: 66   maxlim: 10   bits: 5/4
639.85/640.03	c ---[  47]---> Sorter-cost:  404     Base: 2
639.85/640.03	c ---[  46]---> Sorter-cost:  654     Base: 2
639.85/640.03	c ---[  45]---> Adder-cost: 1665   maxlim: 1291   bits: 12/11
639.85/640.09	c ---[  44]---> Adder-cost: 92   maxlim: 31   bits: 6/5
639.85/640.09	c ---[  43]---> Adder-cost: 236   maxlim: 123   bits: 8/7
639.95/640.10	c ---[  42]---> Adder-cost: 177   maxlim: 84   bits: 8/7
639.95/640.10	c ---[  41]---> Adder-cost: 347   maxlim: 165   bits: 9/8
639.95/640.11	c ---[  40]---> Adder-cost: 177   maxlim: 79   bits: 8/7
639.95/640.11	c ---[  39]---> Adder-cost: 455   maxlim: 301   bits: 10/9
639.95/640.12	c ---[  38]---> Adder-cost: 457   maxlim: 278   bits: 10/9
639.95/640.13	c ---[  37]---> Adder-cost: 119   maxlim: 40   bits: 7/6
639.95/640.14	c ---[  36]---> Adder-cost: 451   maxlim: 213   bits: 9/8
639.95/640.14	c ---[  35]---> Adder-cost: 169   maxlim: 78   bits: 8/7
639.95/640.15	c ---[  34]---> Adder-cost: 191   maxlim: 93   bits: 8/7
639.95/640.15	c ---[  33]---> Adder-cost: 145   maxlim: 66   bits: 8/7
639.95/640.15	c ---[  32]---> Adder-cost: 107   maxlim: 37   bits: 7/6
639.95/640.16	c ---[  31]---> Adder-cost: 71   maxlim: 23   bits: 6/5
639.95/640.16	c ---[  30]---> Adder-cost: 42   maxlim: 15   bits: 5/4
639.95/640.16	c ---[  29]---> Adder-cost: 1105   maxlim: 642   bits: 11/10
639.95/640.19	c ---[  28]---> Adder-cost: 65   maxlim: 36   bits: 7/6
639.95/640.19	c ---[  27]---> Adder-cost: 635   maxlim: 371   bits: 10/9
639.95/640.20	c ---[  26]---> Adder-cost: 2059   maxlim: 1323   bits: 12/11
640.05/640.27	c ---[  25]---> Adder-cost: 655   maxlim: 368   bits: 10/9
640.05/640.28	c ---[  24]---> Adder-cost: 235   maxlim: 104   bits: 8/7
640.05/640.28	c ---[  23]---> Adder-cost: 94   maxlim: 31   bits: 6/5
640.05/640.29	c ---[  22]---> Adder-cost: 1350   maxlim: 707   bits: 11/10
640.15/640.32	c ---[  21]---> Adder-cost: 252   maxlim: 122   bits: 8/7
640.15/640.32	c ---[  20]---> Adder-cost: 92   maxlim: 28   bits: 6/5
640.15/640.32	c ---[  19]---> Adder-cost: 267   maxlim: 147   bits: 9/8
640.15/640.33	c ---[  18]---> Adder-cost: 90   maxlim: 25   bits: 6/5
640.15/640.33	c ---[  17]---> Adder-cost: 62   maxlim: 26   bits: 6/5
640.15/640.33	c ---[  16]---> Sorter-cost:  439     Base: 2
640.15/640.33	c ---[  15]---> Adder-cost: 485   maxlim: 328   bits: 10/9
640.15/640.34	c ---[  14]---> Adder-cost: 299   maxlim: 159   bits: 9/8
640.15/640.35	c ---[  13]---> Sorter-cost:  590     Base: 2
640.15/640.35	c ---[  12]---> Adder-cost: 83   maxlim: 45   bits: 7/6
640.15/640.35	c ---[  11]---> Sorter-cost:  935     Base: 7
640.15/640.35	c ---[  10]---> Adder-cost: 148   maxlim: 49   bits: 7/6
640.15/640.35	c ---[   9]---> Adder-cost: 115   maxlim: 37   bits: 7/6
640.15/640.36	c ---[   8]---> Adder-cost: 82   maxlim: 20   bits: 6/5
640.15/640.36	c ---[   7]---> Adder-cost: 62   maxlim: 10   bits: 5/4
640.15/640.36	c ---[   6]---> Sorter-cost:  404     Base: 2
640.15/640.36	c ---[   5]---> Adder-cost: 288   maxlim: 102   bits: 8/7
640.15/640.36	c ---[   4]---> Adder-cost: 608   maxlim: 233   bits: 9/8
640.15/640.37	c ---[   3]---> Adder-cost: 127   maxlim: 46   bits: 7/6
640.15/640.38	c ---[   2]---> Adder-cost: 68   maxlim: 27   bits: 6/5
640.15/640.38	c ---[   1]---> Adder-cost: 243   maxlim: 141   bits: 9/8
640.15/640.38	c ---[   0]---> Adder-cost: 8081   maxlim: 4218   bits: 14/13
644.94/645.18	|  Eliminated clauses:           0.79 Mb                                      |
644.94/645.18	============================[ Search Statistics ]==============================
644.94/645.18	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
644.94/645.18	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
644.94/645.18	===============================================================================
644.94/645.18	|       100 |  529028  2771625  9457493 |  1016262       99      4 |  8.124 % |
644.94/645.18	===============================================================================
644.94/645.18	c UNSATISFIABLE
644.94/645.18	s UNSATISFIABLE
644.94/645.18	c _______________________________________________________________________________
644.94/645.18	c 
644.94/645.18	restarts              : 2
644.94/645.18	conflicts             : 156            (0 /sec)
644.94/645.18	decisions             : 8162           (0.00 % random) (13 /sec)
644.94/645.18	propagations          : 5583585        (8658 /sec)
644.94/645.18	conflict literals     : 2286           (99.37 % deleted)
644.94/645.18	Memory used           : 433.04 MB
644.94/645.18	CPU time              : 644.889 s
644.94/645.18	c _______________________________________________________________________________

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4115270-1467019391/watcher-4115270-1467019391 -o /tmp/evaluation-result-4115270-1467019391/solver-4115270-1467019391 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467019391-24019 --watchdog 1960 -S 80 minisatp HOME/instance-4115270-1467019391.opb 

pid=24056
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing Stack size limit: 81920 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 81920 KiB


[startup+0 s]
/proc/loadavg: 0.21 0.21 0.18 4/175 24062
/proc/meminfo: memFree=30208088/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=7076 CPUtime=0 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 458 0 0 0 0 0 0 0 20 0 1 0 34910208 7245824 334 33554432000 4194304 5646918 140736657839552 140733776145560 4893163 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24062/statm: 1812 340 84 355 0 1453 0

[startup+0.100117 s]
/proc/loadavg: 0.21 0.21 0.18 4/175 24062
/proc/meminfo: memFree=30208088/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=30544 CPUtime=0.09 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 6259 0 0 0 9 0 0 0 20 0 1 0 34910208 31277056 5687 33554432000 4194304 5646918 140736657839552 140733776145560 4251039 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24062/statm: 7636 5687 97 355 0 7277 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30544

[startup+0.200286 s]
/proc/loadavg: 0.21 0.21 0.18 4/175 24062
/proc/meminfo: memFree=30208088/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=32280 CPUtime=0.18 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 6581 0 0 0 18 0 0 0 20 0 1 0 34910208 33054720 6009 33554432000 4194304 5646918 140736657839552 140736657838920 4819040 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24062/statm: 8070 6009 97 355 0 7711 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 32280

[startup+0.300258 s]
/proc/loadavg: 0.21 0.21 0.18 4/175 24062
/proc/meminfo: memFree=30208088/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=34168 CPUtime=0.28 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 6878 0 0 0 28 0 0 0 20 0 1 0 34910208 34988032 6306 33554432000 4194304 5646918 140736657839552 140736657838920 4826286 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24062/statm: 8542 6306 97 355 0 8183 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 34168

[startup+0.70019 s]
/proc/loadavg: 0.21 0.21 0.18 4/175 24062
/proc/meminfo: memFree=30208088/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=44352 CPUtime=0.69 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 9006 0 0 0 68 1 0 0 20 0 1 0 34910208 45416448 8434 33554432000 4194304 5646918 140736657839552 140736657838904 4832125 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24062/statm: 11088 8434 97 355 0 10729 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44352

[startup+1.50018 s]
/proc/loadavg: 0.21 0.21 0.18 4/177 24064
/proc/meminfo: memFree=30109404/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=64860 CPUtime=1.49 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 16476 0 0 0 147 2 0 0 20 0 1 0 34910208 66416640 12820 33554432000 4194304 5646918 140736657839552 140736657837720 4826286 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24062/statm: 16215 12820 97 355 0 15856 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64860

[startup+3.10018 s]
/proc/loadavg: 0.21 0.21 0.18 5/177 24064
/proc/meminfo: memFree=30043436/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=98720 CPUtime=3.09 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 27559 0 0 0 305 4 0 0 20 0 1 0 34910208 101089280 21017 33554432000 4194304 5646918 140736657839552 140736657837928 4831244 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24062/statm: 24680 21017 154 355 0 24321 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 98720

[startup+6.30018 s]
/proc/loadavg: 0.36 0.24 0.19 4/177 24064
/proc/meminfo: memFree=29983880/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=134776 CPUtime=6.28 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 35139 0 0 0 623 5 0 0 20 0 1 0 34910208 138010624 29686 33554432000 4194304 5646918 140736657839552 140736654199976 4560515 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24062/statm: 33694 29686 154 355 0 33335 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 134776

[startup+12.7002 s]
/proc/loadavg: 0.57 0.28 0.21 4/177 24064
/proc/meminfo: memFree=29967508/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=134984 CPUtime=12.68 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 35198 0 0 0 1263 5 0 0 20 0 1 0 34910208 138223616 29745 33554432000 4194304 5646918 140736657839552 140736656041976 4817397 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24062/statm: 33746 29745 154 355 0 33387 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 134984

[startup+25.5002 s]
/proc/loadavg: 0.88 0.37 0.23 4/177 24064
/proc/meminfo: memFree=29927460/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=137296 CPUtime=25.47 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 35769 0 0 0 2542 5 0 0 20 0 1 0 34910208 140591104 30316 33554432000 4194304 5646918 140736657839552 140736655465176 4832112 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24062/statm: 34324 30316 154 355 0 33965 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 137296

[startup+51.1003 s]
/proc/loadavg: 1.26 0.50 0.28 4/177 24064
/proc/meminfo: memFree=29861804/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=196224 CPUtime=51.07 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 47151 0 0 0 5099 8 0 0 20 0 1 0 34910208 200933376 44172 33554432000 4194304 5646918 140736657839552 140736644454776 4817373 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24062/statm: 49056 44172 154 355 0 48697 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 196224

[startup+102.3 s]
/proc/loadavg: 1.92 0.79 0.39 5/177 24065
/proc/meminfo: memFree=29795360/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=197048 CPUtime=102.26 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 47357 0 0 0 10218 8 0 0 20 0 1 0 34910208 201777152 44378 33554432000 4194304 5646918 140736657839552 140736648666776 4824670 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24062/statm: 49262 44378 154 355 0 48903 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 197048

[startup+162.3 s]
/proc/loadavg: 2.03 1.02 0.49 5/177 24067
/proc/meminfo: memFree=29789196/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=197048 CPUtime=162.24 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 47384 0 0 0 16216 8 0 0 20 0 1 0 34910208 201777152 44405 33554432000 4194304 5646918 140736657839552 140736648666776 4832048 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24062/statm: 49262 44405 154 355 0 48903 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 197048

[startup+222.307 s]
/proc/loadavg: 2.11 1.23 0.59 5/177 24068
/proc/meminfo: memFree=29788524/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=197312 CPUtime=222.23 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 47437 0 0 0 22215 8 0 0 20 0 1 0 34910208 202047488 44458 33554432000 4194304 5646918 140736657839552 140736656052376 4824631 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24062/statm: 49328 44458 154 355 0 48969 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 197312

[startup+282.3 s]
/proc/loadavg: 2.23 1.41 0.69 5/177 24069
/proc/meminfo: memFree=29781264/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=198708 CPUtime=282.21 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 47772 0 0 0 28213 8 0 0 20 0 1 0 34910208 203476992 45865 33554432000 4194304 5646918 140736657839552 140736657088376 4817701 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24062/statm: 49677 45865 154 355 0 49318 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 198708

[startup+342.3 s]
/proc/loadavg: 2.41 1.60 0.80 4/177 24070
/proc/meminfo: memFree=29780000/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=198708 CPUtime=342.19 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 47786 0 0 0 34211 8 0 0 20 0 1 0 34910208 203476992 46187 33554432000 4194304 5646918 140736657839552 140736657088376 4831277 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24062/statm: 49677 46187 154 355 0 49318 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 198708

[startup+402.3 s]
/proc/loadavg: 2.25 1.70 0.88 4/177 24071
/proc/meminfo: memFree=29779836/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=198708 CPUtime=402.18 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 47787 0 0 0 40210 8 0 0 20 0 1 0 34910208 203476992 46260 33554432000 4194304 5646918 140736657839552 140736657088376 4460889 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24062/statm: 49677 46260 154 355 0 49318 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 198708

[startup+462.3 s]
/proc/loadavg: 2.31 1.81 0.97 5/178 24076
/proc/meminfo: memFree=29780124/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=198972 CPUtime=462.17 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 47873 0 0 0 46209 8 0 0 20 0 1 0 34910208 203747328 46346 33554432000 4194304 5646918 140736657839552 140736642396712 4459760 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24062/statm: 49743 46346 154 355 0 49384 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 198972

[startup+522.3 s]
/proc/loadavg: 2.21 1.87 1.04 4/177 24077
/proc/meminfo: memFree=29773936/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=204760 CPUtime=522.17 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 49300 0 0 0 52208 9 0 0 20 0 1 0 34910208 209674240 47773 33554432000 4194304 5646918 140736657839552 140736656357176 4460889 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24062/statm: 51190 47773 154 355 0 50831 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 204760

[startup+582.3 s]
/proc/loadavg: 2.24 1.94 1.12 4/177 24078
/proc/meminfo: memFree=29767868/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=204760 CPUtime=582.16 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 49300 0 0 0 58207 9 0 0 20 0 1 0 34910208 209674240 47773 33554432000 4194304 5646918 140736657839552 140736656357176 4560515 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24062/statm: 51190 47773 154 355 0 50831 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 204760

[startup+642.3 s]
/proc/loadavg: 2.25 1.99 1.18 5/177 24079
/proc/meminfo: memFree=29703616/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=425144 CPUtime=642.15 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 82017 0 0 0 64201 14 0 0 20 0 1 0 34910208 435347456 98649 33554432000 4194304 5646918 140736657839552 140736657836696 4438314 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24062/statm: 106286 98649 161 355 0 105927 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 425144

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24062 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+643.2 s]
/proc/loadavg: 2.25 1.99 1.18 5/177 24079
/proc/meminfo: memFree=29561012/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=427912 CPUtime=643.05 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 83037 0 0 0 64291 14 0 0 20 0 1 0 34910208 438181888 100180 33554432000 4194304 5646918 140736657839552 140736657837704 4447023 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24062/statm: 106978 100180 162 355 0 106619 0
Current children cumulated CPU time (s) 643.05
Current children cumulated vsize (KiB) 427912

[startup+644 s]
/proc/loadavg: 2.31 2.01 1.19 4/177 24079
/proc/meminfo: memFree=29554628/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=431576 CPUtime=643.85 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 83861 0 0 0 64371 14 0 0 20 0 1 0 34910208 441933824 101004 33554432000 4194304 5646918 140736657839552 140736657837656 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24062/statm: 107894 101004 172 355 0 107535 0
Current children cumulated CPU time (s) 643.85
Current children cumulated vsize (KiB) 431576

[startup+644.8 s]
/proc/loadavg: 2.31 2.01 1.19 4/177 24079
/proc/meminfo: memFree=29539748/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=442664 CPUtime=644.64 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 86728 0 0 0 64450 14 0 0 20 0 1 0 34910208 453287936 103871 33554432000 4194304 5646918 140736657839552 140736657837688 4402661 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24062/statm: 110666 103871 179 355 0 110307 0
Current children cumulated CPU time (s) 644.64
Current children cumulated vsize (KiB) 442664

[startup+645.2 s]
/proc/loadavg: 2.31 2.01 1.19 4/177 24079
/proc/meminfo: memFree=29539748/32872528 swapFree=1582320/1721312
[pid=24062] ppid=24056 vsize=443432 CPUtime=645.04 cores=0,2,4,6
/proc/24062/stat : 24062 (minisatp) R 24056 24062 24003 0 -1 4202496 86932 0 0 0 64490 14 0 0 20 0 1 0 34910208 454074368 104074 33554432000 4194304 5646918 140736657839552 140736657837688 4304279 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24062/statm: 110858 104074 189 355 0 110499 0
Current children cumulated CPU time (s) 645.04
Current children cumulated vsize (KiB) 443432

Child status: 0
Real time (s): 645.22
CPU time (s): 645.074
CPU user time (s): 644.913
CPU system time (s): 0.160975
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 443432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 644.913
system time used= 0.160975
maximum resident set size= 416300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86932
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= 16
involuntary context switches= 1067

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.59676 second user time and 2.57761 second system time

The end

Begin job on node120 at 2016-06-27 11:23:12
IDJOB=4115270
IDBENCH=1602
IDSOLVER=2555
FILE ID=node120/4115270-1467019391
RUNJOBID= node120-1467019391-24019
PBS_JOBID= 19976971
Free space on /tmp= 71656 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dolom1.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115270-1467019391/watcher-4115270-1467019391 -o /tmp/evaluation-result-4115270-1467019391/solver-4115270-1467019391 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467019391-24019 --watchdog 1960 -S 80 minisatp HOME/instance-4115270-1467019391.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= c9cdfa3ed9647feb8326e0656a4e04eb
RANDOM SEED=392885897

node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30209736 kB
Buffers:           80092 kB
Cached:           128552 kB
SwapCached:         2072 kB
Active:            53044 kB
Inactive:         158472 kB
Active(anon):       2400 kB
Inactive(anon):     2896 kB
Active(file):      50644 kB
Inactive(file):   155576 kB
Unevictable:     1721312 kB
Mlocked:         1582320 kB
SwapTotal:      67108856 kB
SwapFree:       67098736 kB
Dirty:             15544 kB
Writeback:             0 kB
AnonPages:       1723512 kB
Mapped:             7144 kB
Shmem:                 0 kB
Slab:             594516 kB
SReclaimable:      38960 kB
SUnreclaim:       555556 kB
KernelStack:        1384 kB
PageTables:         7564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1818716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988036 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4115270-1467019391.opb

Free space on /tmp at the end= 71648 MiB
End job on node120 at 2016-06-27 11:33:57