0.00	c Parsing PB file...
7.50	c Converting 3640 PB-constraints to clauses...
7.54	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
14.04	c   -- Detecting intervals from adjacent constraints: ############################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
14.11	c   -- Clauses(.)/Splits(s): (none)
14.11	c ---[3638]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.11	c ---[3636]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.12	c ---[3634]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.12	c ---[3632]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.13	c ---[3630]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.13	c ---[3628]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.13	c ---[3626]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.14	c ---[3624]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.14	c ---[3622]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.15	c ---[3620]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.15	c ---[3618]---> Adder-cost: 124   maxlim: 99   bits: 7/7
14.16	c ---[3616]---> Adder-cost: 122   maxlim: 99   bits: 7/7
14.16	c ---[3614]---> Adder-cost: 122   maxlim: 99   bits: 7/7
14.16	c ---[3612]---> Adder-cost: 124   maxlim: 99   bits: 7/7
14.17	c ---[3610]---> Adder-cost: 122   maxlim: 99   bits: 7/7
14.17	c ---[3608]---> Adder-cost: 122   maxlim: 99   bits: 7/7
14.18	c ---[3606]---> Adder-cost: 124   maxlim: 99   bits: 7/7
14.18	c ---[3604]---> Adder-cost: 122   maxlim: 99   bits: 7/7
14.19	c ---[3602]---> Adder-cost: 122   maxlim: 99   bits: 7/7
14.19	c ---[3600]---> Adder-cost: 124   maxlim: 99   bits: 7/7
14.19	c ---[3598]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.20	c ---[3596]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.20	c ---[3594]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.21	c ---[3592]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.21	c ---[3590]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.22	c ---[3588]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.22	c ---[3586]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.22	c ---[3584]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.23	c ---[3582]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.23	c ---[3580]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.24	c ---[3578]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.24	c ---[3576]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.25	c ---[3574]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.25	c ---[3572]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.25	c ---[3570]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.26	c ---[3568]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.26	c ---[3566]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.27	c ---[3564]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.27	c ---[3562]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.28	c ---[3560]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.28	c ---[3558]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.28	c ---[3556]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.29	c ---[3554]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.29	c ---[3552]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.30	c ---[3550]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.30	c ---[3548]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.31	c ---[3546]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.31	c ---[3544]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.31	c ---[3542]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.32	c ---[3540]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.32	c ---[3538]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.33	c ---[3536]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.33	c ---[3534]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.34	c ---[3532]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.34	c ---[3530]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.34	c ---[3528]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.35	c ---[3526]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.35	c ---[3524]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.36	c ---[3522]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.36	c ---[3520]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.37	c ---[3518]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.37	c ---[3516]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.38	c ---[3514]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.38	c ---[3512]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.38	c ---[3510]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.39	c ---[3508]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.39	c ---[3506]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.40	c ---[3504]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.40	c ---[3502]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.41	c ---[3500]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.41	c ---[3498]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.41	c ---[3496]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.42	c ---[3494]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.42	c ---[3492]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.43	c ---[3490]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.43	c ---[3488]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.44	c ---[3486]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.44	c ---[3484]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.44	c ---[3482]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.45	c ---[3480]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.45	c ---[3478]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.46	c ---[3476]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.46	c ---[3474]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.47	c ---[3472]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.47	c ---[3470]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.47	c ---[3468]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.48	c ---[3466]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.48	c ---[3464]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.49	c ---[3462]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.49	c ---[3460]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.50	c ---[3458]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.50	c ---[3456]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.50	c ---[3454]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.51	c ---[3452]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.51	c ---[3450]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.52	c ---[3448]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.52	c ---[3446]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.53	c ---[3444]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.53	c ---[3442]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.53	c ---[3440]---> Adder-cost: 130   maxlim: 99   bits: 7/7
14.54	c ---[3438]---> Adder-cost: 122   maxlim: 99   bits: 7/7
14.54	c ---[3436]---> Adder-cost: 120   maxlim: 99   bits: 7/7
14.55	c ---[3434]---> Adder-cost: 120   maxlim: 99   bits: 7/7
14.55	c ---[3432]---> Adder-cost: 122   maxlim: 99   bits: 7/7
14.56	c ---[3430]---> Adder-cost: 120   maxlim: 99   bits: 7/7
14.56	c ---[3428]---> Adder-cost: 120   maxlim: 99   bits: 7/7
14.56	c ---[3426]---> Adder-cost: 122   maxlim: 99   bits: 7/7
14.57	c ---[3424]---> Adder-cost: 120   maxlim: 99   bits: 7/7
14.57	c ---[3422]---> Adder-cost: 120   maxlim: 99   bits: 7/7
14.58	c ---[3420]---> Adder-cost: 122   maxlim: 99   bits: 7/7
14.58	c ---[3418]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.59	c ---[3416]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.59	c ---[3414]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.59	c ---[3412]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.60	c ---[3410]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.60	c ---[3408]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.61	c ---[3406]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.61	c ---[3404]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.62	c ---[3402]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.62	c ---[3400]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.62	c ---[3398]---> Adder-cost: 122   maxlim: 99   bits: 7/7
14.63	c ---[3396]---> Adder-cost: 120   maxlim: 99   bits: 7/7
14.63	c ---[3394]---> Adder-cost: 120   maxlim: 99   bits: 7/7
14.64	c ---[3392]---> Adder-cost: 122   maxlim: 99   bits: 7/7
14.64	c ---[3390]---> Adder-cost: 120   maxlim: 99   bits: 7/7
14.65	c ---[3388]---> Adder-cost: 120   maxlim: 99   bits: 7/7
14.65	c ---[3386]---> Adder-cost: 122   maxlim: 99   bits: 7/7
14.65	c ---[3384]---> Adder-cost: 120   maxlim: 99   bits: 7/7
14.66	c ---[3382]---> Adder-cost: 120   maxlim: 99   bits: 7/7
14.66	c ---[3380]---> Adder-cost: 122   maxlim: 99   bits: 7/7
14.67	c ---[3378]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.67	c ---[3376]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.68	c ---[3374]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.68	c ---[3372]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.69	c ---[3370]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.69	c ---[3368]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.70	c ---[3366]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.70	c ---[3364]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.70	c ---[3362]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.71	c ---[3360]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.71	c ---[3358]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.72	c ---[3356]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.72	c ---[3354]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.73	c ---[3352]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.73	c ---[3350]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.73	c ---[3348]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.74	c ---[3346]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.74	c ---[3344]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.75	c ---[3342]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.75	c ---[3340]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.76	c ---[3338]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.76	c ---[3336]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.76	c ---[3334]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.77	c ---[3332]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.77	c ---[3330]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.78	c ---[3328]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.78	c ---[3326]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.79	c ---[3324]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.79	c ---[3322]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.79	c ---[3320]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.80	c ---[3318]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.80	c ---[3316]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.81	c ---[3314]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.81	c ---[3312]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.82	c ---[3310]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.82	c ---[3308]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.83	c ---[3306]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.83	c ---[3304]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.83	c ---[3302]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.84	c ---[3300]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.84	c ---[3298]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.85	c ---[3296]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.85	c ---[3294]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.86	c ---[3292]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.86	c ---[3290]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.86	c ---[3288]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.87	c ---[3286]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.87	c ---[3284]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.88	c ---[3282]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.88	c ---[3280]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.89	c ---[3278]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.89	c ---[3276]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.89	c ---[3274]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.90	c ---[3272]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.90	c ---[3270]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.91	c ---[3268]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.91	c ---[3266]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.92	c ---[3264]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.92	c ---[3262]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.93	c ---[3260]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.93	c ---[3258]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.93	c ---[3256]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.94	c ---[3254]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.94	c ---[3252]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.95	c ---[3250]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.95	c ---[3248]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.96	c ---[3246]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.96	c ---[3244]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.96	c ---[3242]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.97	c ---[3240]---> Adder-cost: 128   maxlim: 99   bits: 7/7
14.97	c ---[3238]---> Adder-cost: 122   maxlim: 99   bits: 7/7
14.98	c ---[3236]---> Adder-cost: 120   maxlim: 99   bits: 7/7
14.98	c ---[3234]---> Adder-cost: 120   maxlim: 99   bits: 7/7
14.99	c ---[3232]---> Adder-cost: 122   maxlim: 99   bits: 7/7
14.99	c ---[3230]---> Adder-cost: 120   maxlim: 99   bits: 7/7
14.99	c ---[3228]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.00	c ---[3226]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.00	c ---[3224]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.01	c ---[3222]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.01	c ---[3220]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.02	c ---[3218]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.02	c ---[3216]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.02	c ---[3214]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.03	c ---[3212]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.03	c ---[3210]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.04	c ---[3208]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.04	c ---[3206]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.05	c ---[3204]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.05	c ---[3202]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.06	c ---[3200]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.06	c ---[3198]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.06	c ---[3196]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.07	c ---[3194]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.07	c ---[3192]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.08	c ---[3190]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.08	c ---[3188]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.09	c ---[3186]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.09	c ---[3184]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.10	c ---[3182]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.10	c ---[3180]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.10	c ---[3178]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.11	c ---[3176]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.11	c ---[3174]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.12	c ---[3172]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.12	c ---[3170]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.13	c ---[3168]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.13	c ---[3166]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.13	c ---[3164]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.14	c ---[3162]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.14	c ---[3160]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.15	c ---[3158]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.15	c ---[3156]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.16	c ---[3154]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.16	c ---[3152]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.17	c ---[3150]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.17	c ---[3148]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.17	c ---[3146]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.18	c ---[3144]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.18	c ---[3142]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.19	c ---[3140]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.19	c ---[3138]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.20	c ---[3136]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.20	c ---[3134]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.21	c ---[3132]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.21	c ---[3130]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.21	c ---[3128]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.22	c ---[3126]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.22	c ---[3124]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.23	c ---[3122]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.23	c ---[3120]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.24	c ---[3118]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.24	c ---[3116]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.24	c ---[3114]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.25	c ---[3112]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.25	c ---[3110]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.26	c ---[3108]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.26	c ---[3106]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.27	c ---[3104]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.27	c ---[3102]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.28	c ---[3100]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.28	c ---[3098]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.29	c ---[3096]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.29	c ---[3094]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.30	c ---[3092]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.30	c ---[3090]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.31	c ---[3088]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.31	c ---[3086]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.31	c ---[3084]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.32	c ---[3082]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.32	c ---[3080]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.33	c ---[3078]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.33	c ---[3076]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.34	c ---[3074]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.34	c ---[3072]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.35	c ---[3070]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.35	c ---[3068]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.35	c ---[3066]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.36	c ---[3064]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.36	c ---[3062]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.37	c ---[3060]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.37	c ---[3058]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.38	c ---[3056]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.38	c ---[3054]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.38	c ---[3052]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.39	c ---[3050]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.39	c ---[3048]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.40	c ---[3046]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.40	c ---[3044]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.41	c ---[3042]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.41	c ---[3040]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.41	c ---[3038]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.42	c ---[3036]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.42	c ---[3034]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.43	c ---[3032]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.43	c ---[3030]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.44	c ---[3028]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.44	c ---[3026]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.45	c ---[3024]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.45	c ---[3022]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.45	c ---[3020]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.46	c ---[3018]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.46	c ---[3016]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.47	c ---[3014]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.47	c ---[3012]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.48	c ---[3010]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.48	c ---[3008]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.48	c ---[3006]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.49	c ---[3004]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.49	c ---[3002]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.50	c ---[3000]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.50	c ---[2998]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.51	c ---[2996]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.51	c ---[2994]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.52	c ---[2992]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.52	c ---[2990]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.52	c ---[2988]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.53	c ---[2986]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.53	c ---[2984]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.54	c ---[2982]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.54	c ---[2980]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.55	c ---[2978]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.55	c ---[2976]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.55	c ---[2974]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.56	c ---[2972]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.56	c ---[2970]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.57	c ---[2968]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.57	c ---[2966]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.58	c ---[2964]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.58	c ---[2962]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.59	c ---[2960]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.59	c ---[2958]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.59	c ---[2956]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.60	c ---[2954]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.60	c ---[2952]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.61	c ---[2950]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.61	c ---[2948]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.62	c ---[2946]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.62	c ---[2944]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.62	c ---[2942]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.63	c ---[2940]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.63	c ---[2938]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.64	c ---[2936]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.64	c ---[2934]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.65	c ---[2932]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.65	c ---[2930]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.66	c ---[2928]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.66	c ---[2926]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.66	c ---[2924]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.67	c ---[2922]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.67	c ---[2920]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.68	c ---[2918]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.68	c ---[2916]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.69	c ---[2914]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.69	c ---[2912]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.69	c ---[2910]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.70	c ---[2908]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.70	c ---[2906]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.71	c ---[2904]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.71	c ---[2902]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.72	c ---[2900]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.72	c ---[2898]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.73	c ---[2896]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.73	c ---[2894]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.73	c ---[2892]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.74	c ---[2890]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.74	c ---[2888]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.75	c ---[2886]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.75	c ---[2884]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.76	c ---[2882]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.76	c ---[2880]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.76	c ---[2878]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.77	c ---[2876]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.77	c ---[2874]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78	c ---[2872]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78	c ---[2870]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.79	c ---[2868]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.79	c ---[2866]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.80	c ---[2864]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.80	c ---[2862]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.80	c ---[2860]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.81	c ---[2858]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.81	c ---[2856]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.82	c ---[2854]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.82	c ---[2852]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.83	c ---[2850]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.83	c ---[2848]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.84	c ---[2846]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.84	c ---[2844]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.84	c ---[2842]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.85	c ---[2840]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.85	c ---[2838]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.86	c ---[2836]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.86	c ---[2834]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.87	c ---[2832]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.87	c ---[2830]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.88	c ---[2828]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.88	c ---[2826]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.89	c ---[2824]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.89	c ---[2822]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.89	c ---[2820]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.90	c ---[2818]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.90	c ---[2816]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.91	c ---[2814]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.91	c ---[2812]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.92	c ---[2810]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.92	c ---[2808]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.93	c ---[2806]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.93	c ---[2804]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.93	c ---[2802]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.94	c ---[2800]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.94	c ---[2798]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.95	c ---[2796]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.95	c ---[2794]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.96	c ---[2792]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.96	c ---[2790]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.97	c ---[2788]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.97	c ---[2786]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.97	c ---[2784]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.98	c ---[2782]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.98	c ---[2780]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.99	c ---[2778]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.99	c ---[2776]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.00	c ---[2774]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.00	c ---[2772]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.01	c ---[2770]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.01	c ---[2768]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.01	c ---[2766]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.02	c ---[2764]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.02	c ---[2762]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.03	c ---[2760]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.03	c ---[2758]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.04	c ---[2756]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.04	c ---[2754]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.05	c ---[2752]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.05	c ---[2750]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.05	c ---[2748]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.06	c ---[2746]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.06	c ---[2744]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.07	c ---[2742]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.07	c ---[2740]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.08	c ---[2738]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.08	c ---[2736]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.08	c ---[2734]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.09	c ---[2732]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.09	c ---[2730]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.10	c ---[2728]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.10	c ---[2726]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.11	c ---[2724]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.11	c ---[2722]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.12	c ---[2720]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.12	c ---[2718]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.12	c ---[2716]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.13	c ---[2714]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.13	c ---[2712]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.14	c ---[2710]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.14	c ---[2708]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.15	c ---[2706]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.15	c ---[2704]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.16	c ---[2702]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.16	c ---[2700]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.16	c ---[2698]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.17	c ---[2696]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.17	c ---[2694]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.18	c ---[2692]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.18	c ---[2690]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.19	c ---[2688]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.19	c ---[2686]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.20	c ---[2684]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.20	c ---[2682]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.20	c ---[2680]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.21	c ---[2678]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.21	c ---[2676]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.22	c ---[2674]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.22	c ---[2672]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.23	c ---[2670]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.23	c ---[2668]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.24	c ---[2666]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.24	c ---[2664]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.24	c ---[2662]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.25	c ---[2660]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.25	c ---[2658]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.26	c ---[2656]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.26	c ---[2654]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27	c ---[2652]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27	c ---[2650]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.28	c ---[2648]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.28	c ---[2646]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.28	c ---[2644]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.29	c ---[2642]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.29	c ---[2640]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.30	c ---[2638]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.30	c ---[2636]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.31	c ---[2634]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.31	c ---[2632]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.32	c ---[2630]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.32	c ---[2628]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.33	c ---[2626]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.33	c ---[2624]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.33	c ---[2622]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.34	c ---[2620]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.34	c ---[2618]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.35	c ---[2616]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.35	c ---[2614]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.36	c ---[2612]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.36	c ---[2610]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.37	c ---[2608]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.37	c ---[2606]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.37	c ---[2604]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.38	c ---[2602]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.38	c ---[2600]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.39	c ---[2598]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.39	c ---[2596]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.40	c ---[2594]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.40	c ---[2592]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.41	c ---[2590]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.41	c ---[2588]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.41	c ---[2586]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.42	c ---[2584]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.42	c ---[2582]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.43	c ---[2580]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.43	c ---[2578]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.44	c ---[2576]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.44	c ---[2574]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.45	c ---[2572]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.45	c ---[2570]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.46	c ---[2568]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.46	c ---[2566]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.46	c ---[2564]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.47	c ---[2562]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.47	c ---[2560]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.48	c ---[2558]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.48	c ---[2556]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.49	c ---[2554]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.49	c ---[2552]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.50	c ---[2550]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.50	c ---[2548]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.50	c ---[2546]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.51	c ---[2544]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.51	c ---[2542]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.52	c ---[2540]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.52	c ---[2538]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.53	c ---[2536]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.53	c ---[2534]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.54	c ---[2532]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.54	c ---[2530]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.54	c ---[2528]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.57	c ---[2526]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.57	c ---[2524]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.58	c ---[2522]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.58	c ---[2520]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.58	c ---[2518]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.59	c ---[2516]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.59	c ---[2514]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.60	c ---[2512]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.60	c ---[2510]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.61	c ---[2508]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.61	c ---[2506]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.62	c ---[2504]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.62	c ---[2502]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.63	c ---[2500]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.63	c ---[2498]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.63	c ---[2496]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.64	c ---[2494]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.64	c ---[2492]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.65	c ---[2490]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.65	c ---[2488]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.66	c ---[2486]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.66	c ---[2484]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.67	c ---[2482]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.67	c ---[2480]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.67	c ---[2478]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.68	c ---[2476]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.68	c ---[2474]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.69	c ---[2472]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.69	c ---[2470]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.70	c ---[2468]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.70	c ---[2466]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.71	c ---[2464]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.71	c ---[2462]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.71	c ---[2460]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.72	c ---[2458]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.72	c ---[2456]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.73	c ---[2454]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.73	c ---[2452]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.74	c ---[2450]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.74	c ---[2448]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.75	c ---[2446]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.75	c ---[2444]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.75	c ---[2442]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.76	c ---[2440]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.76	c ---[2438]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.77	c ---[2436]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.77	c ---[2434]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.78	c ---[2432]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.78	c ---[2430]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.79	c ---[2428]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.79	c ---[2426]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.79	c ---[2424]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.80	c ---[2422]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.80	c ---[2420]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.81	c ---[2418]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.81	c ---[2416]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.82	c ---[2414]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.82	c ---[2412]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.83	c ---[2410]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.83	c ---[2408]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.84	c ---[2406]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.84	c ---[2404]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.85	c ---[2402]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.85	c ---[2400]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.86	c ---[2398]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.86	c ---[2396]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.86	c ---[2394]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.87	c ---[2392]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.87	c ---[2390]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.88	c ---[2388]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.88	c ---[2386]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.89	c ---[2384]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.89	c ---[2382]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.90	c ---[2380]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.90	c ---[2378]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.91	c ---[2376]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.91	c ---[2374]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.91	c ---[2372]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.92	c ---[2370]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.92	c ---[2368]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.93	c ---[2366]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.93	c ---[2364]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.94	c ---[2362]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.94	c ---[2360]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.95	c ---[2358]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.95	c ---[2356]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.95	c ---[2354]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.96	c ---[2352]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.96	c ---[2350]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.97	c ---[2348]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.97	c ---[2346]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.98	c ---[2344]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.98	c ---[2342]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.99	c ---[2340]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.99	c ---[2338]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.00	c ---[2336]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.00	c ---[2334]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.00	c ---[2332]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.01	c ---[2330]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.01	c ---[2328]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.02	c ---[2326]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.02	c ---[2324]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.03	c ---[2322]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.03	c ---[2320]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.04	c ---[2318]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.04	c ---[2316]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.04	c ---[2314]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.05	c ---[2312]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.05	c ---[2310]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.06	c ---[2308]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.06	c ---[2306]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.07	c ---[2304]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.07	c ---[2302]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.08	c ---[2300]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.08	c ---[2298]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.09	c ---[2296]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.09	c ---[2294]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.09	c ---[2292]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.10	c ---[2290]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.10	c ---[2288]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.11	c ---[2286]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.11	c ---[2284]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.12	c ---[2282]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.12	c ---[2280]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.13	c ---[2278]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.13	c ---[2276]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.13	c ---[2274]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.14	c ---[2272]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.14	c ---[2270]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.15	c ---[2268]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.15	c ---[2266]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.16	c ---[2264]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.16	c ---[2262]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.17	c ---[2260]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.17	c ---[2258]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.18	c ---[2256]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.18	c ---[2254]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.18	c ---[2252]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.19	c ---[2250]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.19	c ---[2248]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.20	c ---[2246]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.20	c ---[2244]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.21	c ---[2242]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.21	c ---[2240]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.22	c ---[2238]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.22	c ---[2236]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.22	c ---[2234]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.23	c ---[2232]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.23	c ---[2230]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.24	c ---[2228]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.24	c ---[2226]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.25	c ---[2224]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.25	c ---[2222]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.26	c ---[2220]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.26	c ---[2218]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.27	c ---[2216]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.27	c ---[2214]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.27	c ---[2212]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.28	c ---[2210]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.28	c ---[2208]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.29	c ---[2206]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.29	c ---[2204]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.30	c ---[2202]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.30	c ---[2200]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.31	c ---[2198]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.31	c ---[2196]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.31	c ---[2194]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.32	c ---[2192]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.32	c ---[2190]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.33	c ---[2188]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.33	c ---[2186]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.34	c ---[2184]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.34	c ---[2182]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.35	c ---[2180]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.35	c ---[2178]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.36	c ---[2176]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.36	c ---[2174]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.37	c ---[2172]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.37	c ---[2170]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.37	c ---[2168]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.38	c ---[2166]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.38	c ---[2164]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.39	c ---[2162]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.39	c ---[2160]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.40	c ---[2158]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.40	c ---[2156]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.41	c ---[2154]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.41	c ---[2152]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.42	c ---[2150]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.42	c ---[2148]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.42	c ---[2146]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.43	c ---[2144]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.43	c ---[2142]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.44	c ---[2140]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.44	c ---[2138]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.45	c ---[2136]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.45	c ---[2134]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.46	c ---[2132]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.46	c ---[2130]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.47	c ---[2128]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.47	c ---[2126]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.47	c ---[2124]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.48	c ---[2122]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.48	c ---[2120]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.49	c ---[2118]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.49	c ---[2116]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.50	c ---[2114]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.50	c ---[2112]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.51	c ---[2110]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.51	c ---[2108]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.52	c ---[2106]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.52	c ---[2104]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.52	c ---[2102]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.53	c ---[2100]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.53	c ---[2098]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.54	c ---[2096]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.54	c ---[2094]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.55	c ---[2092]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.55	c ---[2090]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.56	c ---[2088]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.56	c ---[2086]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.57	c ---[2084]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.57	c ---[2082]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.58	c ---[2080]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.58	c ---[2078]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.58	c ---[2076]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.59	c ---[2074]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.59	c ---[2072]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.60	c ---[2070]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.60	c ---[2068]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.61	c ---[2066]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.61	c ---[2064]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.62	c ---[2062]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.62	c ---[2060]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.63	c ---[2058]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.63	c ---[2056]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.63	c ---[2054]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.64	c ---[2052]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.64	c ---[2050]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.65	c ---[2048]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.65	c ---[2046]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.66	c ---[2044]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.66	c ---[2042]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.67	c ---[2040]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.67	c ---[2038]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.68	c ---[2036]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.68	c ---[2034]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.69	c ---[2032]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.69	c ---[2030]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.69	c ---[2028]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.70	c ---[2026]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.70	c ---[2024]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.71	c ---[2022]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.71	c ---[2020]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.72	c ---[2018]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.72	c ---[2016]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.73	c ---[2014]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.73	c ---[2012]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.74	c ---[2010]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.74	c ---[2008]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.74	c ---[2006]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.75	c ---[2004]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.75	c ---[2002]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.76	c ---[2000]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.76	c ---[1998]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.77	c ---[1996]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.77	c ---[1994]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.78	c ---[1992]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.78	c ---[1990]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.79	c ---[1988]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.79	c ---[1986]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.79	c ---[1984]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.80	c ---[1982]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.80	c ---[1980]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.81	c ---[1978]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.81	c ---[1976]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.82	c ---[1974]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.82	c ---[1972]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.83	c ---[1970]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.83	c ---[1968]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.84	c ---[1966]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.84	c ---[1964]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.84	c ---[1962]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.85	c ---[1960]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.85	c ---[1958]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.86	c ---[1956]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.86	c ---[1954]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.87	c ---[1952]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.87	c ---[1950]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.88	c ---[1948]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.88	c ---[1946]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.89	c ---[1944]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.89	c ---[1942]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.90	c ---[1940]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.90	c ---[1938]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.90	c ---[1936]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.91	c ---[1934]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.91	c ---[1932]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.92	c ---[1930]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.92	c ---[1928]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.93	c ---[1926]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.93	c ---[1924]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.94	c ---[1922]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.94	c ---[1920]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.95	c ---[1918]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.95	c ---[1916]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.95	c ---[1914]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.96	c ---[1912]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.96	c ---[1910]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.97	c ---[1908]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.97	c ---[1906]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.98	c ---[1904]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.98	c ---[1902]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.99	c ---[1900]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.99	c ---[1898]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.00	c ---[1896]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.00	c ---[1894]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.00	c ---[1892]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.01	c ---[1890]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.01	c ---[1888]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.02	c ---[1886]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.02	c ---[1884]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.03	c ---[1882]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.03	c ---[1880]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.04	c ---[1878]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.04	c ---[1876]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.05	c ---[1874]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.05	c ---[1872]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.06	c ---[1870]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.06	c ---[1868]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.06	c ---[1866]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.07	c ---[1864]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.07	c ---[1862]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.08	c ---[1860]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.08	c ---[1858]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.09	c ---[1856]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.09	c ---[1854]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.10	c ---[1852]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.10	c ---[1850]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.11	c ---[1848]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.11	c ---[1846]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.12	c ---[1844]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.12	c ---[1842]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.13	c ---[1840]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.13	c ---[1838]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.13	c ---[1836]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.14	c ---[1834]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.14	c ---[1832]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.15	c ---[1830]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.15	c ---[1828]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.16	c ---[1826]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.16	c ---[1824]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.17	c ---[1822]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.17	c ---[1820]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.18	c ---[1818]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.18	c ---[1816]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.19	c ---[1814]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.19	c ---[1812]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.19	c ---[1810]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.20	c ---[1808]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.20	c ---[1806]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.21	c ---[1804]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.21	c ---[1802]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.22	c ---[1800]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.22	c ---[1798]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.23	c ---[1796]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.23	c ---[1794]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.24	c ---[1792]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.24	c ---[1790]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.25	c ---[1788]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.25	c ---[1786]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.26	c ---[1784]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.26	c ---[1782]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.26	c ---[1780]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.27	c ---[1778]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.27	c ---[1776]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.28	c ---[1774]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.28	c ---[1772]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.29	c ---[1770]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.29	c ---[1768]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.30	c ---[1766]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.30	c ---[1764]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.31	c ---[1762]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.31	c ---[1760]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.32	c ---[1758]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.32	c ---[1756]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.32	c ---[1754]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.33	c ---[1752]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.33	c ---[1750]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.34	c ---[1748]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.34	c ---[1746]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.35	c ---[1744]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.35	c ---[1742]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.36	c ---[1740]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.36	c ---[1738]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.37	c ---[1736]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.37	c ---[1734]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.38	c ---[1732]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.38	c ---[1730]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.39	c ---[1728]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.39	c ---[1726]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.39	c ---[1724]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.40	c ---[1722]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.40	c ---[1720]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.41	c ---[1718]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.41	c ---[1716]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.42	c ---[1714]---> Adder-cost: 114   maxlim: 99   bits: 7/7
18.42	c ---[1712]---> Adder-cost: 114   maxlim: 99   bits: 7/7
18.43	c ---[1710]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.43	c ---[1708]---> Adder-cost: 114   maxlim: 99   bits: 7/7
18.44	c ---[1706]---> Adder-cost: 114   maxlim: 99   bits: 7/7
18.44	c ---[1704]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.44	c ---[1702]---> Adder-cost: 114   maxlim: 99   bits: 7/7
18.45	c ---[1700]---> Adder-cost: 114   maxlim: 99   bits: 7/7
18.45	c ---[1698]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.46	c ---[1696]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.46	c ---[1694]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.47	c ---[1692]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.47	c ---[1690]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.48	c ---[1688]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.48	c ---[1686]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.49	c ---[1684]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.49	c ---[1682]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.50	c ---[1680]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.50	c ---[1678]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.51	c ---[1676]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.51	c ---[1674]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.51	c ---[1672]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.52	c ---[1670]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.52	c ---[1668]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.53	c ---[1666]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.53	c ---[1664]---> Adder-cost: 124   maxlim: 99   bits: 7/7
18.54	c ---[1662]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.54	c ---[1660]---> Adder-cost: 118   maxlim: 99   bits: 7/7
18.55	c ---[1658]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.55	c ---[1656]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.56	c ---[1654]---> Adder-cost: 114   maxlim: 99   bits: 7/7
18.56	c ---[1652]---> Adder-cost: 114   maxlim: 99   bits: 7/7
18.57	c ---[1650]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.57	c ---[1648]---> Adder-cost: 114   maxlim: 99   bits: 7/7
18.57	c ---[1646]---> Adder-cost: 114   maxlim: 99   bits: 7/7
18.58	c ---[1644]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.58	c ---[1642]---> Adder-cost: 114   maxlim: 99   bits: 7/7
18.59	c ---[1640]---> Adder-cost: 114   maxlim: 99   bits: 7/7
18.59	c ---[1638]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.60	c ---[1636]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.60	c ---[1634]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.61	c ---[1632]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.61	c ---[1630]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.62	c ---[1628]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.62	c ---[1626]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.63	c ---[1624]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.63	c ---[1622]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.63	c ---[1620]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.64	c ---[1618]---> Adder-cost: 114   maxlim: 99   bits: 7/7
18.64	c ---[1616]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.65	c ---[1614]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.65	c ---[1612]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.66	c ---[1610]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.66	c ---[1608]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.67	c ---[1606]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.67	c ---[1604]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.68	c ---[1602]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.68	c ---[1600]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.69	c ---[1598]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.69	c ---[1596]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.70	c ---[1594]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.70	c ---[1592]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.70	c ---[1590]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.71	c ---[1588]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.71	c ---[1586]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.72	c ---[1584]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.72	c ---[1582]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.73	c ---[1580]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.73	c ---[1578]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.74	c ---[1576]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.74	c ---[1574]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.75	c ---[1572]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.75	c ---[1570]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.76	c ---[1568]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.76	c ---[1566]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.77	c ---[1564]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.77	c ---[1562]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.77	c ---[1560]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.78	c ---[1558]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.78	c ---[1556]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.79	c ---[1554]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.79	c ---[1552]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.80	c ---[1550]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.80	c ---[1548]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.81	c ---[1546]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.81	c ---[1544]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.82	c ---[1542]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.82	c ---[1540]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.83	c ---[1538]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.83	c ---[1536]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.84	c ---[1534]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.84	c ---[1532]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.84	c ---[1530]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.85	c ---[1528]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.85	c ---[1526]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.86	c ---[1524]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.86	c ---[1522]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.87	c ---[1520]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.87	c ---[1518]---> Adder-cost: 114   maxlim: 99   bits: 7/7
18.88	c ---[1516]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.88	c ---[1514]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.89	c ---[1512]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.89	c ---[1510]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.90	c ---[1508]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.90	c ---[1506]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.91	c ---[1504]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.91	c ---[1502]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.91	c ---[1500]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.92	c ---[1498]---> Adder-cost: 114   maxlim: 99   bits: 7/7
18.92	c ---[1496]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.93	c ---[1494]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.93	c ---[1492]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.94	c ---[1490]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.94	c ---[1488]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.95	c ---[1486]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.95	c ---[1484]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.96	c ---[1482]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.96	c ---[1480]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.97	c ---[1478]---> Adder-cost: 114   maxlim: 99   bits: 7/7
18.97	c ---[1476]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.98	c ---[1474]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.98	c ---[1472]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.98	c ---[1470]---> Adder-cost: 116   maxlim: 99   bits: 7/7
18.99	c ---[1468]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.99	c ---[1466]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.00	c ---[1464]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.00	c ---[1462]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.01	c ---[1460]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.01	c ---[1458]---> Adder-cost: 112   maxlim: 99   bits: 7/7
19.02	c ---[1456]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.02	c ---[1454]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.03	c ---[1452]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.03	c ---[1450]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.04	c ---[1448]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.04	c ---[1446]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.05	c ---[1444]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.05	c ---[1442]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.05	c ---[1440]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.06	c ---[1438]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.06	c ---[1436]---> Adder-cost: 110   maxlim: 99   bits: 7/7
19.07	c ---[1434]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.07	c ---[1432]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.08	c ---[1430]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.08	c ---[1428]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.09	c ---[1426]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.09	c ---[1424]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.10	c ---[1422]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.10	c ---[1420]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.11	c ---[1418]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.11	c ---[1416]---> Adder-cost: 112   maxlim: 99   bits: 7/7
19.12	c ---[1414]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.12	c ---[1412]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.13	c ---[1410]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.13	c ---[1408]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.13	c ---[1406]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.14	c ---[1404]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.14	c ---[1402]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.15	c ---[1400]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.15	c ---[1398]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.16	c ---[1396]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.16	c ---[1394]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.17	c ---[1392]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.17	c ---[1390]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.18	c ---[1388]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.18	c ---[1386]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.19	c ---[1384]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.19	c ---[1382]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.20	c ---[1380]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.20	c ---[1378]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.21	c ---[1376]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.21	c ---[1374]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.21	c ---[1372]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.22	c ---[1370]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.22	c ---[1368]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.23	c ---[1366]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.23	c ---[1364]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.24	c ---[1362]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.24	c ---[1360]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.25	c ---[1358]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.25	c ---[1356]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.30	c ---[1354]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.31	c ---[1352]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.31	c ---[1350]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.32	c ---[1348]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.32	c ---[1346]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.33	c ---[1344]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.33	c ---[1342]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.34	c ---[1340]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.34	c ---[1338]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.35	c ---[1336]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.35	c ---[1334]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.36	c ---[1332]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.36	c ---[1330]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.37	c ---[1328]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.37	c ---[1326]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.38	c ---[1324]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.38	c ---[1322]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.39	c ---[1320]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.39	c ---[1318]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.39	c ---[1316]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.40	c ---[1314]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.40	c ---[1312]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.41	c ---[1310]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.41	c ---[1308]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.42	c ---[1306]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.42	c ---[1304]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.43	c ---[1302]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.43	c ---[1300]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.44	c ---[1298]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.44	c ---[1296]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.45	c ---[1294]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.45	c ---[1292]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.46	c ---[1290]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.46	c ---[1288]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.47	c ---[1286]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.47	c ---[1284]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.47	c ---[1282]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.48	c ---[1280]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.48	c ---[1278]---> Adder-cost: 112   maxlim: 99   bits: 7/7
19.49	c ---[1276]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.49	c ---[1274]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.50	c ---[1272]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.50	c ---[1270]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.51	c ---[1268]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.51	c ---[1266]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.52	c ---[1264]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.52	c ---[1262]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.53	c ---[1260]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.53	c ---[1258]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.54	c ---[1256]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.54	c ---[1254]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.55	c ---[1252]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.55	c ---[1250]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.56	c ---[1248]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.56	c ---[1246]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.56	c ---[1244]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.57	c ---[1242]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.57	c ---[1240]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.58	c ---[1238]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.58	c ---[1236]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.59	c ---[1234]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.59	c ---[1232]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.60	c ---[1230]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.60	c ---[1228]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.61	c ---[1226]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.61	c ---[1224]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.62	c ---[1222]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.62	c ---[1220]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.63	c ---[1218]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.63	c ---[1216]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.64	c ---[1214]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.64	c ---[1212]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.65	c ---[1210]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.65	c ---[1208]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.65	c ---[1206]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.66	c ---[1204]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.66	c ---[1202]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.67	c ---[1200]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.67	c ---[1198]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.68	c ---[1196]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.68	c ---[1194]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.69	c ---[1192]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.69	c ---[1190]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.70	c ---[1188]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.70	c ---[1186]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.71	c ---[1184]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.71	c ---[1182]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.72	c ---[1180]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.72	c ---[1178]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.73	c ---[1176]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.73	c ---[1174]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.74	c ---[1172]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.74	c ---[1170]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.75	c ---[1168]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.75	c ---[1166]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.75	c ---[1164]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.76	c ---[1162]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.76	c ---[1160]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.77	c ---[1158]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.77	c ---[1156]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.78	c ---[1154]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.78	c ---[1152]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.79	c ---[1150]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.79	c ---[1148]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.80	c ---[1146]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.80	c ---[1144]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.81	c ---[1142]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.81	c ---[1140]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.82	c ---[1138]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.82	c ---[1136]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.83	c ---[1134]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.83	c ---[1132]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.84	c ---[1130]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.84	c ---[1128]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.84	c ---[1126]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.85	c ---[1124]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.85	c ---[1122]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.86	c ---[1120]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.86	c ---[1118]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.87	c ---[1116]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.87	c ---[1114]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.88	c ---[1112]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.88	c ---[1110]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.89	c ---[1108]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.89	c ---[1106]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.90	c ---[1104]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.90	c ---[1102]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.91	c ---[1100]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.91	c ---[1098]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.92	c ---[1096]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.92	c ---[1094]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.92	c ---[1092]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.93	c ---[1090]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.93	c ---[1088]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.94	c ---[1086]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.94	c ---[1084]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.95	c ---[1082]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.95	c ---[1080]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.96	c ---[1078]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.96	c ---[1076]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.97	c ---[1074]---> Adder-cost: 112   maxlim: 99   bits: 7/7
19.97	c ---[1072]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.98	c ---[1070]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.98	c ---[1068]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.99	c ---[1066]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.99	c ---[1064]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.00	c ---[1062]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.00	c ---[1060]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.01	c ---[1058]---> Adder-cost: 118   maxlim: 99   bits: 7/7
20.01	c ---[1056]---> Adder-cost: 112   maxlim: 99   bits: 7/7
20.02	c ---[1054]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.02	c ---[1052]---> Adder-cost: 118   maxlim: 99   bits: 7/7
20.03	c ---[1050]---> Adder-cost: 118   maxlim: 99   bits: 7/7
20.03	c ---[1048]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.04	c ---[1046]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.04	c ---[1044]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.05	c ---[1042]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.05	c ---[1040]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.06	c ---[1038]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.06	c ---[1036]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.07	c ---[1034]---> Adder-cost: 110   maxlim: 99   bits: 7/7
20.07	c ---[1032]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.08	c ---[1030]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.08	c ---[1028]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.09	c ---[1026]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.09	c ---[1024]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.10	c ---[1022]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.10	c ---[1020]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.11	c ---[1018]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.11	c ---[1016]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.12	c ---[1014]---> Adder-cost: 112   maxlim: 99   bits: 7/7
20.12	c ---[1012]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.12	c ---[1010]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.13	c ---[1008]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.13	c ---[1006]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.14	c ---[1004]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.14	c ---[1002]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.15	c ---[1000]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.15	c ---[ 998]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.16	c ---[ 996]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.16	c ---[ 994]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.17	c ---[ 992]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.17	c ---[ 990]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.18	c ---[ 988]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.18	c ---[ 986]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.19	c ---[ 984]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.19	c ---[ 982]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.20	c ---[ 980]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.20	c ---[ 978]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.21	c ---[ 976]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.21	c ---[ 974]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.22	c ---[ 972]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.22	c ---[ 970]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.23	c ---[ 968]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.23	c ---[ 966]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.24	c ---[ 964]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.24	c ---[ 962]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.25	c ---[ 960]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.25	c ---[ 958]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.25	c ---[ 956]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.26	c ---[ 954]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.26	c ---[ 952]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.27	c ---[ 950]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.27	c ---[ 948]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.28	c ---[ 946]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.28	c ---[ 944]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.29	c ---[ 942]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.29	c ---[ 940]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.30	c ---[ 938]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.30	c ---[ 936]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.31	c ---[ 934]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.31	c ---[ 932]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.32	c ---[ 930]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.32	c ---[ 928]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.33	c ---[ 926]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.33	c ---[ 924]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.34	c ---[ 922]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.34	c ---[ 920]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.35	c ---[ 918]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.35	c ---[ 916]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.36	c ---[ 914]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.36	c ---[ 912]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.37	c ---[ 910]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.37	c ---[ 908]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.38	c ---[ 906]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.38	c ---[ 904]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.38	c ---[ 902]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.39	c ---[ 900]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.39	c ---[ 898]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.40	c ---[ 896]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.40	c ---[ 894]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.41	c ---[ 892]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.41	c ---[ 890]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.42	c ---[ 888]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.42	c ---[ 886]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.43	c ---[ 884]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.43	c ---[ 882]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.44	c ---[ 880]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.44	c ---[ 878]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.45	c ---[ 876]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.45	c ---[ 874]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.46	c ---[ 872]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.46	c ---[ 870]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.47	c ---[ 868]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.47	c ---[ 866]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.48	c ---[ 864]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.48	c ---[ 862]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.49	c ---[ 860]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.49	c ---[ 858]---> Adder-cost: 112   maxlim: 99   bits: 7/7
20.50	c ---[ 856]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.50	c ---[ 854]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.51	c ---[ 852]---> Adder-cost: 112   maxlim: 99   bits: 7/7
20.51	c ---[ 850]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.51	c ---[ 848]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.52	c ---[ 846]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.52	c ---[ 844]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.53	c ---[ 842]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.53	c ---[ 840]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.54	c ---[ 838]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.54	c ---[ 836]---> Adder-cost: 110   maxlim: 99   bits: 7/7
20.55	c ---[ 834]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.55	c ---[ 832]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.56	c ---[ 830]---> Adder-cost: 110   maxlim: 99   bits: 7/7
20.56	c ---[ 828]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.57	c ---[ 826]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.57	c ---[ 824]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.58	c ---[ 822]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.58	c ---[ 820]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.59	c ---[ 818]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.59	c ---[ 816]---> Adder-cost: 112   maxlim: 99   bits: 7/7
20.60	c ---[ 814]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.60	c ---[ 812]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.61	c ---[ 810]---> Adder-cost: 112   maxlim: 99   bits: 7/7
20.61	c ---[ 808]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.62	c ---[ 806]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.62	c ---[ 804]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.63	c ---[ 802]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.63	c ---[ 800]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.64	c ---[ 798]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.64	c ---[ 796]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.65	c ---[ 794]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.65	c ---[ 792]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.66	c ---[ 790]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.66	c ---[ 788]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.66	c ---[ 786]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.67	c ---[ 784]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.67	c ---[ 782]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.68	c ---[ 780]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.68	c ---[ 778]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.69	c ---[ 776]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.69	c ---[ 774]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.70	c ---[ 772]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.70	c ---[ 770]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.71	c ---[ 768]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.71	c ---[ 766]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.72	c ---[ 764]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.72	c ---[ 762]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.73	c ---[ 760]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.73	c ---[ 758]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.74	c ---[ 756]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.74	c ---[ 754]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.75	c ---[ 752]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.75	c ---[ 750]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.76	c ---[ 748]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.76	c ---[ 746]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.77	c ---[ 744]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.77	c ---[ 742]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.78	c ---[ 740]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.78	c ---[ 738]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.79	c ---[ 736]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.79	c ---[ 734]---> Adder-cost: 118   maxlim: 99   bits: 7/7
20.80	c ---[ 732]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.80	c ---[ 730]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.81	c ---[ 728]---> Adder-cost: 118   maxlim: 99   bits: 7/7
20.81	c ---[ 726]---> Adder-cost: 118   maxlim: 99   bits: 7/7
20.82	c ---[ 724]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.82	c ---[ 722]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.82	c ---[ 720]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.83	c ---[ 718]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.83	c ---[ 716]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.84	c ---[ 714]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.84	c ---[ 712]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.85	c ---[ 710]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.85	c ---[ 708]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.86	c ---[ 706]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.86	c ---[ 704]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.87	c ---[ 702]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.87	c ---[ 700]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.88	c ---[ 698]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.88	c ---[ 696]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.89	c ---[ 694]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.89	c ---[ 692]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.90	c ---[ 690]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.90	c ---[ 688]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.91	c ---[ 686]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.91	c ---[ 684]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.92	c ---[ 682]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.92	c ---[ 680]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.93	c ---[ 678]---> Adder-cost: 112   maxlim: 99   bits: 7/7
20.93	c ---[ 676]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.94	c ---[ 674]---> Adder-cost: 118   maxlim: 99   bits: 7/7
20.94	c ---[ 672]---> Adder-cost: 112   maxlim: 99   bits: 7/7
20.95	c ---[ 670]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.95	c ---[ 668]---> Adder-cost: 118   maxlim: 99   bits: 7/7
20.96	c ---[ 666]---> Adder-cost: 118   maxlim: 99   bits: 7/7
20.96	c ---[ 664]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.96	c ---[ 662]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.97	c ---[ 660]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.97	c ---[ 658]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.98	c ---[ 656]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.98	c ---[ 654]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.99	c ---[ 652]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.99	c ---[ 650]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.00	c ---[ 648]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.00	c ---[ 646]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.01	c ---[ 644]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.01	c ---[ 642]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.02	c ---[ 640]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.02	c ---[ 638]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.03	c ---[ 636]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.03	c ---[ 634]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.04	c ---[ 632]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.04	c ---[ 630]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.05	c ---[ 628]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.05	c ---[ 626]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.06	c ---[ 624]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.06	c ---[ 622]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.07	c ---[ 620]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.07	c ---[ 618]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.08	c ---[ 616]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.08	c ---[ 614]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.09	c ---[ 612]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.09	c ---[ 610]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.10	c ---[ 608]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.10	c ---[ 606]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.11	c ---[ 604]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.11	c ---[ 602]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.11	c ---[ 600]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.12	c ---[ 598]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.12	c ---[ 596]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.13	c ---[ 594]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.13	c ---[ 592]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.14	c ---[ 590]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.14	c ---[ 588]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.15	c ---[ 586]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.15	c ---[ 584]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.16	c ---[ 582]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.16	c ---[ 580]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.17	c ---[ 578]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.17	c ---[ 576]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.18	c ---[ 574]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.18	c ---[ 572]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.19	c ---[ 570]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.19	c ---[ 568]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.20	c ---[ 566]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.20	c ---[ 564]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.21	c ---[ 562]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.21	c ---[ 560]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.22	c ---[ 558]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.22	c ---[ 556]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.23	c ---[ 554]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.23	c ---[ 552]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.24	c ---[ 550]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.24	c ---[ 548]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.25	c ---[ 546]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.25	c ---[ 544]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.26	c ---[ 542]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.26	c ---[ 540]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.27	c ---[ 538]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.27	c ---[ 536]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.28	c ---[ 534]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.28	c ---[ 532]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.29	c ---[ 530]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.29	c ---[ 528]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.30	c ---[ 526]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.30	c ---[ 524]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.30	c ---[ 522]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.31	c ---[ 520]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.31	c ---[ 518]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.32	c ---[ 516]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.32	c ---[ 514]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.33	c ---[ 512]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.33	c ---[ 510]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.34	c ---[ 508]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.34	c ---[ 506]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.35	c ---[ 504]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.35	c ---[ 502]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.36	c ---[ 500]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.36	c ---[ 498]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.37	c ---[ 496]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.37	c ---[ 494]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.38	c ---[ 492]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.38	c ---[ 490]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.39	c ---[ 488]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.39	c ---[ 486]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.40	c ---[ 484]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.40	c ---[ 482]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.41	c ---[ 480]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.41	c ---[ 478]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.42	c ---[ 476]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.42	c ---[ 474]---> Adder-cost: 112   maxlim: 99   bits: 7/7
21.43	c ---[ 472]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.43	c ---[ 470]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.44	c ---[ 468]---> Adder-cost: 112   maxlim: 99   bits: 7/7
21.44	c ---[ 466]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.45	c ---[ 464]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.45	c ---[ 462]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.46	c ---[ 460]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.46	c ---[ 458]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.47	c ---[ 456]---> Adder-cost: 112   maxlim: 99   bits: 7/7
21.47	c ---[ 454]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.47	c ---[ 452]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.48	c ---[ 450]---> Adder-cost: 112   maxlim: 99   bits: 7/7
21.48	c ---[ 448]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.49	c ---[ 446]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.49	c ---[ 444]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.50	c ---[ 442]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.50	c ---[ 440]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.51	c ---[ 438]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.51	c ---[ 436]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.52	c ---[ 434]---> Adder-cost: 110   maxlim: 99   bits: 7/7
21.52	c ---[ 432]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.53	c ---[ 430]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.53	c ---[ 428]---> Adder-cost: 110   maxlim: 99   bits: 7/7
21.54	c ---[ 426]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.54	c ---[ 424]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.55	c ---[ 422]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.55	c ---[ 420]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.56	c ---[ 418]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.56	c ---[ 416]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.57	c ---[ 414]---> Adder-cost: 112   maxlim: 99   bits: 7/7
21.57	c ---[ 412]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.58	c ---[ 410]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.58	c ---[ 408]---> Adder-cost: 112   maxlim: 99   bits: 7/7
21.59	c ---[ 406]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.59	c ---[ 404]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.60	c ---[ 402]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.60	c ---[ 400]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.61	c ---[ 398]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.61	c ---[ 396]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.62	c ---[ 394]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.62	c ---[ 392]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.63	c ---[ 390]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.63	c ---[ 388]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.63	c ---[ 386]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.64	c ---[ 384]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.64	c ---[ 382]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.65	c ---[ 380]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.65	c ---[ 378]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.66	c ---[ 376]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.66	c ---[ 374]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.67	c ---[ 372]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.67	c ---[ 370]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.68	c ---[ 368]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.68	c ---[ 366]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.69	c ---[ 364]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.69	c ---[ 362]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.70	c ---[ 360]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.70	c ---[ 358]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.71	c ---[ 356]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.71	c ---[ 354]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.72	c ---[ 352]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.72	c ---[ 350]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.73	c ---[ 348]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.73	c ---[ 346]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.74	c ---[ 344]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.74	c ---[ 342]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.75	c ---[ 340]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.75	c ---[ 338]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.76	c ---[ 336]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.76	c ---[ 334]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.77	c ---[ 332]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.77	c ---[ 330]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.78	c ---[ 328]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.78	c ---[ 326]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.79	c ---[ 324]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.79	c ---[ 322]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.80	c ---[ 320]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.80	c ---[ 318]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.81	c ---[ 316]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.81	c ---[ 314]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.82	c ---[ 312]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.82	c ---[ 310]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.82	c ---[ 308]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.83	c ---[ 306]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.83	c ---[ 304]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.84	c ---[ 302]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.84	c ---[ 300]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.85	c ---[ 298]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.85	c ---[ 296]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.86	c ---[ 294]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.86	c ---[ 292]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.87	c ---[ 290]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.87	c ---[ 288]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.88	c ---[ 286]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.88	c ---[ 284]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.89	c ---[ 282]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.89	c ---[ 280]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.90	c ---[ 278]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.90	c ---[ 276]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.91	c ---[ 274]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.91	c ---[ 272]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.92	c ---[ 270]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.92	c ---[ 268]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.93	c ---[ 266]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.93	c ---[ 264]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.94	c ---[ 262]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.94	c ---[ 260]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.95	c ---[ 258]---> Adder-cost: 112   maxlim: 99   bits: 7/7
21.95	c ---[ 256]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.96	c ---[ 254]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.96	c ---[ 252]---> Adder-cost: 112   maxlim: 99   bits: 7/7
21.97	c ---[ 250]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.97	c ---[ 248]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.98	c ---[ 246]---> Adder-cost: 112   maxlim: 99   bits: 7/7
21.98	c ---[ 244]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.99	c ---[ 242]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.99	c ---[ 240]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.00	c ---[ 238]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.00	c ---[ 236]---> Adder-cost: 110   maxlim: 99   bits: 7/7
22.00	c ---[ 234]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.01	c ---[ 232]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.01	c ---[ 230]---> Adder-cost: 110   maxlim: 99   bits: 7/7
22.02	c ---[ 228]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.02	c ---[ 226]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.03	c ---[ 224]---> Adder-cost: 110   maxlim: 99   bits: 7/7
22.03	c ---[ 222]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.04	c ---[ 220]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.04	c ---[ 218]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.05	c ---[ 216]---> Adder-cost: 112   maxlim: 99   bits: 7/7
22.05	c ---[ 214]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.06	c ---[ 212]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.06	c ---[ 210]---> Adder-cost: 112   maxlim: 99   bits: 7/7
22.07	c ---[ 208]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.07	c ---[ 206]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.08	c ---[ 204]---> Adder-cost: 112   maxlim: 99   bits: 7/7
22.08	c ---[ 202]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.09	c ---[ 200]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.09	c ---[ 198]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.10	c ---[ 196]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.10	c ---[ 194]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.11	c ---[ 192]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.11	c ---[ 190]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.12	c ---[ 188]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.12	c ---[ 186]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.13	c ---[ 184]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.13	c ---[ 182]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.14	c ---[ 180]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.14	c ---[ 178]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.15	c ---[ 176]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.15	c ---[ 174]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.16	c ---[ 172]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.16	c ---[ 170]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.17	c ---[ 168]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.17	c ---[ 166]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.18	c ---[ 164]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.18	c ---[ 162]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.19	c ---[ 160]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.19	c ---[ 158]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.20	c ---[ 156]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.20	c ---[ 154]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.21	c ---[ 152]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.21	c ---[ 150]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.22	c ---[ 148]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.22	c ---[ 146]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.23	c ---[ 144]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.23	c ---[ 142]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.24	c ---[ 140]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.24	c ---[ 138]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.24	c ---[ 136]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.25	c ---[ 134]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.25	c ---[ 132]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.26	c ---[ 130]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.26	c ---[ 128]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.27	c ---[ 126]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.27	c ---[ 124]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.28	c ---[ 122]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.28	c ---[ 120]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.29	c ---[ 118]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.29	c ---[ 116]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.30	c ---[ 114]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.30	c ---[ 112]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.31	c ---[ 110]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.31	c ---[ 108]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.32	c ---[ 106]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.32	c ---[ 104]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.33	c ---[ 102]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.33	c ---[ 100]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.34	c ---[  98]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.34	c ---[  96]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.35	c ---[  94]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.35	c ---[  92]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.36	c ---[  90]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.36	c ---[  88]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.37	c ---[  86]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.37	c ---[  84]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.38	c ---[  82]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.38	c ---[  80]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.39	c ---[  78]---> Adder-cost: 112   maxlim: 99   bits: 7/7
22.39	c ---[  76]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.40	c ---[  74]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.40	c ---[  72]---> Adder-cost: 112   maxlim: 99   bits: 7/7
22.41	c ---[  70]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.41	c ---[  68]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.42	c ---[  66]---> Adder-cost: 112   maxlim: 99   bits: 7/7
22.42	c ---[  64]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.43	c ---[  62]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.43	c ---[  60]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.44	c ---[  58]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.44	c ---[  56]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.44	c ---[  54]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.45	c ---[  52]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.45	c ---[  50]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.46	c ---[  48]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.46	c ---[  46]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.47	c ---[  44]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.47	c ---[  42]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.48	c ---[  40]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.48	c ---[  38]---> BDD-cost:   97
22.49	c ---[  36]---> BDD-cost:   97
22.49	c ---[  34]---> BDD-cost:   97
22.49	c ---[  32]---> BDD-cost:   97
22.49	c ---[  30]---> BDD-cost:   97
22.49	c ---[  28]---> BDD-cost:   97
22.49	c ---[  26]---> BDD-cost:   97
22.49	c ---[  24]---> BDD-cost:   97
22.50	c ---[  22]---> BDD-cost:   97
22.50	c ---[  20]---> BDD-cost:   97
22.50	c ---[  18]---> BDD-cost:   89
22.50	c ---[  16]---> BDD-cost:   97
22.50	c ---[  14]---> BDD-cost:   97
22.50	c ---[  12]---> BDD-cost:   97
22.51	c ---[  10]---> BDD-cost:   97
22.51	c ---[   8]---> BDD-cost:   97
22.51	c ---[   6]---> BDD-cost:   97
22.51	c ---[   4]---> BDD-cost:   97
22.51	c ---[   2]---> BDD-cost:   97
22.51	c ---[   0]---> BDD-cost:   97
23.63	c ==================================[MINISAT+]==================================
23.63	c | Conflicts | Original         | Learnt                           | Progress |
23.63	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
23.63	c ==============================================================================
23.63	c |         0 | 1445633  5120251 |  481877       0        0     nan |  0.000 % |
23.93	c |       100 | 1445593  5120117 |  530064      96      486     5.1 | 24.734 % |
25.36	c |       250 | 1445417  5119527 |  583071     230      955     4.2 | 24.744 % |
28.62	c |       475 | 1444918  5117832 |  641378     412     1528     3.7 | 24.766 % |
34.42	c |       812 | 1444130  5115196 |  705516     668     2361     3.5 | 24.809 % |
38.99	c |      1318 | 1443090  5111612 |  776067    1072     3984     3.7 | 24.847 % |
42.81	c |      2077 | 1442306  5108920 |  853674    1760     9994     5.7 | 24.877 % |
63.45	c |      3218 | 1439354  5098906 |  939041    2596    12772     4.9 | 25.014 % |
93.54	c |      4927 | 1434308  5081658 | 1032946    3824    17148     4.5 | 25.240 % |
137.33	c |      7489 | 1427436  5058124 | 1136240    5682    24662     4.3 | 25.539 % |
221.79	c |     11333 | 1416586  5021504 | 1249864    8386    35021     4.2 | 26.131 % |
348.82	c |     17099 | 1401796  4971688 | 1374851   12408    48980     3.9 | 26.963 % |
549.38	c |     25750 | 1380609  4900077 | 1512336   18427    69905     3.8 | 28.096 % |
826.39	c |     38725 | 1355799  4816139 | 1663570   27841   104861     3.8 | 29.385 % |
1228.09	c |     58186 | 1325897  4714673 | 1829927   42369   157579     3.7 | 30.825 % |
1773.67	c |     87378 | 1292626  4600914 | 2012919   65451   253875     3.9 | 32.407 % |
1801.18	c 
1801.18	c *** TERMINATED ***
1801.18	s UNKNOWN

ERROR: no interpretation found !

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node77/watcher-34949-1149256026 -o ROOT/results/node77/solver-34949-1149256026 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node77/34949-1149256026/instance-34949-1149256026.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.91 3/67 28568
/proc/meminfo: memFree=1617352/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=1048 CPUtime=0
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 114 0 0 0 0 0 0 0 19 0 1 0 191241769 1073152 100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 262 101 67 215 0 44 0

[startup+10.0021 s]
/proc/loadavg: 0.93 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1554776/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=64616 CPUtime=9.98
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 15969 0 0 0 992 6 0 0 25 0 1 0 191241769 66166784 15720 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 16154 15720 83 215 0 15936 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 64616

[startup+20.0083 s]
/proc/loadavg: 0.94 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1552024/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=67752 CPUtime=19.98
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 17540 0 0 0 1990 8 0 0 25 0 1 0 191241769 69378048 16474 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839028 0 0 4096 16386 0 0 0 17 0 0 0
/proc/28568/statm: 16938 16474 106 215 0 16720 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 67752

[startup+30.0145 s]
/proc/loadavg: 0.95 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1497688/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=129792 CPUtime=29.97
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 31134 0 0 0 2982 15 0 0 25 0 1 0 191241769 132907008 30060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 32448 30060 122 215 0 32230 0
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 129792

[startup+40.0208 s]
/proc/loadavg: 0.96 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1497624/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=129792 CPUtime=39.97
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 31138 0 0 0 3982 15 0 0 25 0 1 0 191241769 132907008 30064 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582022 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 32448 30064 122 215 0 32230 0
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 129792

[startup+50.027 s]
/proc/loadavg: 0.96 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1497624/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=129792 CPUtime=49.97
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 31141 0 0 0 4982 15 0 0 25 0 1 0 191241769 132907008 30067 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569829 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 32448 30067 122 215 0 32230 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 129792

[startup+60.0333 s]
/proc/loadavg: 0.97 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1497624/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=129792 CPUtime=59.97
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 31146 0 0 0 5982 15 0 0 25 0 1 0 191241769 132907008 30072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569775 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 32448 30072 122 215 0 32230 0
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 129792

[startup+70.0385 s]
/proc/loadavg: 0.97 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1497624/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=129792 CPUtime=69.98
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 31146 0 0 0 6983 15 0 0 25 0 1 0 191241769 132907008 30072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 32448 30072 122 215 0 32230 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 129792

[startup+80.0447 s]
/proc/loadavg: 0.98 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1497560/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=129792 CPUtime=79.99
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 31147 0 0 0 7983 16 0 0 25 0 1 0 191241769 132907008 30073 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 32448 30073 122 215 0 32230 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 129792

[startup+90.051 s]
/proc/loadavg: 0.98 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1497560/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=129792 CPUtime=89.99
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 31155 0 0 0 8983 16 0 0 25 0 1 0 191241769 132907008 30081 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 32448 30081 122 215 0 32230 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 129792

[startup+100.057 s]
/proc/loadavg: 0.98 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1497496/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=129924 CPUtime=99.99
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 31172 0 0 0 9983 16 0 0 25 0 1 0 191241769 133042176 30098 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 32481 30098 122 215 0 32263 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 129924

[startup+110.063 s]
/proc/loadavg: 0.98 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1497432/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=129924 CPUtime=110
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 31189 0 0 0 10984 16 0 0 25 0 1 0 191241769 133042176 30115 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569698 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 32481 30115 122 215 0 32263 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 129924

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1497368/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=129924 CPUtime=120
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 31205 0 0 0 11984 16 0 0 25 0 1 0 191241769 133042176 30131 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569778 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 32481 30131 122 215 0 32263 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 129924

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1497240/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=130056 CPUtime=130
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 31223 0 0 0 12984 16 0 0 25 0 1 0 191241769 133177344 30149 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 32514 30149 122 215 0 32296 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 130056

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1497176/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=130056 CPUtime=140
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 31236 0 0 0 13984 16 0 0 25 0 1 0 191241769 133177344 30162 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 32514 30162 122 215 0 32296 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 130056

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1497176/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=130188 CPUtime=150.01
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 31250 0 0 0 14985 16 0 0 25 0 1 0 191241769 133312512 30176 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 32547 30176 122 215 0 32329 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 130188

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1497048/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=130188 CPUtime=160.01
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 31270 0 0 0 15985 16 0 0 25 0 1 0 191241769 133312512 30196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 32547 30196 122 215 0 32329 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 130188

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1496984/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=130320 CPUtime=170.01
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 31285 0 0 0 16985 16 0 0 25 0 1 0 191241769 133447680 30211 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569825 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 32580 30211 122 215 0 32362 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 130320

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1496920/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=130320 CPUtime=180.02
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 31302 0 0 0 17985 17 0 0 25 0 1 0 191241769 133447680 30228 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 32580 30228 122 215 0 32362 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 130320

[startup+190.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1496856/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=130448 CPUtime=190.02
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 31313 0 0 0 18985 17 0 0 25 0 1 0 191241769 133578752 30239 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 32612 30239 122 215 0 32394 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 130448

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1496856/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=130448 CPUtime=200.02
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 31327 0 0 0 19985 17 0 0 25 0 1 0 191241769 133578752 30253 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582068 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 32612 30253 122 215 0 32394 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 130448

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 28568
/proc/meminfo: memFree=1496792/2055892 swapFree=4085336/4096564

################
# More data... #
################

[pid=28568] ppid=28566 vsize=136272 CPUtime=1781.49
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32830 0 0 0 178126 23 0 0 25 0 1 0 191241769 139542528 31756 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588795 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31756 123 215 0 33850 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (Kb) 136272

[startup+1783.09 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490584/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1782.49
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32830 0 0 0 178226 23 0 0 25 0 1 0 191241769 139542528 31756 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588843 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31756 123 215 0 33850 0
Current children cumulated CPU time (s) 1782.49
Current children cumulated vsize (Kb) 136272

[startup+1784.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490584/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1783.5
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32831 0 0 0 178327 23 0 0 25 0 1 0 191241769 139542528 31757 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31757 123 215 0 33850 0
Current children cumulated CPU time (s) 1783.5
Current children cumulated vsize (Kb) 136272

[startup+1785.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490584/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1784.5
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32831 0 0 0 178427 23 0 0 25 0 1 0 191241769 139542528 31757 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31757 123 215 0 33850 0
Current children cumulated CPU time (s) 1784.5
Current children cumulated vsize (Kb) 136272

[startup+1786.11 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490584/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1785.51
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32831 0 0 0 178528 23 0 0 25 0 1 0 191241769 139542528 31757 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31757 123 215 0 33850 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (Kb) 136272

[startup+1787.11 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490584/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1786.51
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32832 0 0 0 178628 23 0 0 25 0 1 0 191241769 139542528 31758 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588592 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31758 123 215 0 33850 0
Current children cumulated CPU time (s) 1786.51
Current children cumulated vsize (Kb) 136272

[startup+1788.12 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490584/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1787.52
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32832 0 0 0 178729 23 0 0 25 0 1 0 191241769 139542528 31758 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31758 123 215 0 33850 0
Current children cumulated CPU time (s) 1787.52
Current children cumulated vsize (Kb) 136272

[startup+1789.12 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490584/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1788.52
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32833 0 0 0 178829 23 0 0 25 0 1 0 191241769 139542528 31759 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31759 123 215 0 33850 0
Current children cumulated CPU time (s) 1788.52
Current children cumulated vsize (Kb) 136272

[startup+1790.13 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490584/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1789.52
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32834 0 0 0 178929 23 0 0 25 0 1 0 191241769 139542528 31760 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31760 123 215 0 33850 0
Current children cumulated CPU time (s) 1789.52
Current children cumulated vsize (Kb) 136272

[startup+1791.13 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490584/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1790.53
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32834 0 0 0 179030 23 0 0 25 0 1 0 191241769 139542528 31760 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582049 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31760 123 215 0 33850 0
Current children cumulated CPU time (s) 1790.53
Current children cumulated vsize (Kb) 136272

[startup+1792.13 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490584/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1791.53
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32834 0 0 0 179130 23 0 0 25 0 1 0 191241769 139542528 31760 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569822 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31760 123 215 0 33850 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (Kb) 136272

[startup+1793.14 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490584/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1792.54
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32836 0 0 0 179231 23 0 0 25 0 1 0 191241769 139542528 31762 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31762 123 215 0 33850 0
Current children cumulated CPU time (s) 1792.54
Current children cumulated vsize (Kb) 136272

[startup+1794.14 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490584/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1793.54
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32836 0 0 0 179331 23 0 0 25 0 1 0 191241769 139542528 31762 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31762 123 215 0 33850 0
Current children cumulated CPU time (s) 1793.54
Current children cumulated vsize (Kb) 136272

[startup+1795.15 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490584/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1794.55
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32837 0 0 0 179432 23 0 0 25 0 1 0 191241769 139542528 31763 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582049 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31763 123 215 0 33850 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (Kb) 136272

[startup+1796.15 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490584/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1795.55
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32838 0 0 0 179532 23 0 0 25 0 1 0 191241769 139542528 31764 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588573 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31764 123 215 0 33850 0
Current children cumulated CPU time (s) 1795.55
Current children cumulated vsize (Kb) 136272

[startup+1797.16 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490584/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1796.56
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32838 0 0 0 179633 23 0 0 25 0 1 0 191241769 139542528 31764 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31764 123 215 0 33850 0
Current children cumulated CPU time (s) 1796.56
Current children cumulated vsize (Kb) 136272

[startup+1798.16 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490520/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1797.56
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32839 0 0 0 179733 23 0 0 25 0 1 0 191241769 139542528 31765 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31765 123 215 0 33850 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (Kb) 136272

[startup+1799.17 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490520/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1798.57
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32839 0 0 0 179834 23 0 0 25 0 1 0 191241769 139542528 31765 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581310 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31765 123 215 0 33850 0
Current children cumulated CPU time (s) 1798.57
Current children cumulated vsize (Kb) 136272

[startup+1800.17 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490520/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1799.57
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32839 0 0 0 179934 23 0 0 25 0 1 0 191241769 139542528 31765 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31765 123 215 0 33850 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (Kb) 136272

[startup+1801.18 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490520/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1800.58
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32840 0 0 0 180035 23 0 0 25 0 1 0 191241769 139542528 31766 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582052 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31766 123 215 0 33850 0
Current children cumulated CPU time (s) 1800.58
Current children cumulated vsize (Kb) 136272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.18 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 28763
/proc/meminfo: memFree=1490520/2055892 swapFree=4085336/4096564
[pid=28568] ppid=28566 vsize=136272 CPUtime=1800.58
/proc/28568/stat : 28568 (minisat+) R 28566 28568 28522 0 -1 4194304 32840 0 0 0 180035 23 0 0 25 0 1 0 191241769 139542528 31766 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28568/statm: 34068 31766 123 215 0 33850 0
Current children cumulated CPU time (s) 1800.58
Current children cumulated vsize (Kb) 136272

Sending SIGTERM to -28568
Sleeping 2 seconds

Child status: 0
Real time (s): 1801.21
CPU time (s): 1800.61
CPU user time (s): 1800.35
CPU system time (s): 0.25896
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (Kb): 136272

Begin job on node77 on Fri Jun  2 13:47:06 UTC 2006


FILE ID= 34949-1149256026

PBS_JOBID= 298387

BENCH NAME= ROOT/tmp/node77/34949-1149256026/instance-34949-1149256026.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node77/34949-1149256026/instance-34949-1149256026.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node77/watcher-34949-1149256026 -o ROOT/results/node77/solver-34949-1149256026 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node77/34949-1149256026/instance-34949-1149256026.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  cba28129e4f6f6eef01b4dc927adb1b9

RANDOM SEED= 49645716


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.16
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1617560 kB
Buffers:         35540 kB
Cached:         335340 kB
SwapCached:       2644 kB
Active:         105772 kB
Inactive:       273988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1617560 kB
SwapTotal:     4096564 kB
SwapFree:      4085336 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          16120 kB
Slab:            45320 kB
Committed_AS:   252024 kB
PageTables:       1276 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node77 on Fri Jun  2 14:17:07 UTC 2006