| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | ? (TO) | 1800.09 | 1800.41 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-trento1.opb |
| MD5SUM | 38efecbab82080ab0719e9bf155a35ec |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.752885 |
| Has Objective Function | YES |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 44575 |
| Total number of constraints | 1264 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1264 |
| Minimum length of a constraint | 35 |
| Maximum length of a constraint | 44575 |
| Number of terms in the objective function | 44575 |
| Biggest coefficient in the objective function | 78668 |
| Number of bits for the biggest coefficient in the objective function | 17 |
| Sum of the numbers in the objective function | 568252 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262143 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 568256 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 1.19/1.24 c Converting 2512 PB-constraints to clauses... 1.19/1.25 c -- Unit propagations: (none) 1.19/1.25 c -- Detecting intervals from adjacent constraints: ################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################ 1.19/1.28 c -- Clauses(.)/Splits(s): ssssssssssss 1.29/1.40 c ---[2522]---> Adder-cost: 120 maxlim: 47 bits: 7/6 1.39/1.40 c ---[2520]---> Adder-cost: 120 maxlim: 48 bits: 7/6 1.39/1.40 c ---[2518]---> Adder-cost: 160 maxlim: 65 bits: 8/7 1.39/1.40 c ---[2516]---> Adder-cost: 120 maxlim: 47 bits: 7/6 1.39/1.40 c ---[2514]---> Adder-cost: 83 maxlim: 31 bits: 6/5 1.39/1.40 c ---[2512]---> Adder-cost: 69 maxlim: 25 bits: 6/5 1.39/1.40 c ---[2510]---> Adder-cost: 79 maxlim: 28 bits: 6/5 1.39/1.41 c ---[2508]---> Adder-cost: 126 maxlim: 51 bits: 7/6 1.39/1.41 c ---[2506]---> Adder-cost: 107 maxlim: 56 bits: 7/6 1.39/1.41 c ---[2504]---> Adder-cost: 88 maxlim: 48 bits: 7/6 1.39/1.41 c ---[2502]---> Adder-cost: 82 maxlim: 47 bits: 7/6 1.39/1.41 c ---[2500]---> Adder-cost: 73 maxlim: 22 bits: 6/5 1.39/1.41 c ---[2498]---> Adder-cost: 73 maxlim: 22 bits: 6/5 1.39/1.41 c ---[2496]---> Adder-cost: 164 maxlim: 91 bits: 8/7 1.39/1.42 c ---[2494]---> Adder-cost: 77 maxlim: 27 bits: 6/5 1.39/1.42 c ---[2492]---> Sorter-cost: 546 Base: 2 1.39/1.42 c ---[2490]---> Adder-cost: 87 maxlim: 29 bits: 6/5 1.39/1.42 c ---[2488]---> Adder-cost: 66 maxlim: 32 bits: 7/6 1.39/1.42 c ---[2486]---> Adder-cost: 94 maxlim: 35 bits: 7/6 1.39/1.42 c ---[2484]---> Adder-cost: 104 maxlim: 39 bits: 7/6 1.39/1.42 c ---[2482]---> Adder-cost: 170 maxlim: 74 bits: 8/7 1.39/1.42 c ---[2480]---> Adder-cost: 117 maxlim: 56 bits: 7/6 1.39/1.43 c ---[2478]---> Adder-cost: 168 maxlim: 92 bits: 8/7 1.39/1.43 c ---[2476]---> Adder-cost: 100 maxlim: 42 bits: 7/6 1.39/1.43 c ---[2474]---> Adder-cost: 78 maxlim: 33 bits: 7/6 1.39/1.43 c ---[2472]---> Adder-cost: 87 maxlim: 29 bits: 6/5 1.39/1.43 c ---[2470]---> Adder-cost: 75 maxlim: 31 bits: 6/5 1.39/1.43 c ---[2468]---> Adder-cost: 114 maxlim: 49 bits: 7/6 1.39/1.44 c ---[2466]---> Adder-cost: 56 maxlim: 16 bits: 6/5 1.39/1.44 c ---[2464]---> Sorter-cost: 546 Base: 2 1.39/1.44 c ---[2462]---> Sorter-cost: 658 Base: 7 1.39/1.44 c ---[2460]---> Adder-cost: 75 maxlim: 23 bits: 6/5 1.39/1.44 c ---[2458]---> Adder-cost: 184 maxlim: 85 bits: 8/7 1.39/1.44 c ---[2456]---> Adder-cost: 51 maxlim: 23 bits: 6/5 1.39/1.44 c ---[2454]---> Adder-cost: 58 maxlim: 18 bits: 6/5 1.39/1.44 c ---[2452]---> Sorter-cost: 577 Base: 2 1.39/1.44 c ---[2450]---> Sorter-cost: 508 Base: 2 1.39/1.44 c ---[2448]---> Adder-cost: 79 maxlim: 25 bits: 6/5 1.39/1.44 c ---[2446]---> Adder-cost: 71 maxlim: 26 bits: 6/5 1.39/1.45 c ---[2444]---> Adder-cost: 65 maxlim: 26 bits: 6/5 1.39/1.45 c ---[2442]---> Adder-cost: 316 maxlim: 143 bits: 9/8 1.39/1.45 c ---[2440]---> Adder-cost: 294 maxlim: 148 bits: 9/8 1.39/1.46 c ---[2438]---> Adder-cost: 235 maxlim: 118 bits: 8/7 1.39/1.46 c ---[2436]---> Adder-cost: 148 maxlim: 75 bits: 8/7 1.39/1.46 c ---[2434]---> Adder-cost: 153 maxlim: 61 bits: 7/6 1.39/1.46 c ---[2432]---> Adder-cost: 77 maxlim: 61 bits: 7/6 1.39/1.46 c ---[2430]---> Adder-cost: 111 maxlim: 54 bits: 7/6 1.39/1.47 c ---[2428]---> Adder-cost: 120 maxlim: 48 bits: 7/6 1.39/1.47 c ---[2426]---> Adder-cost: 141 maxlim: 56 bits: 7/6 1.39/1.47 c ---[2424]---> Adder-cost: 114 maxlim: 45 bits: 7/6 1.39/1.47 c ---[2422]---> Adder-cost: 60 maxlim: 19 bits: 6/5 1.39/1.47 c ---[2420]---> Adder-cost: 73 maxlim: 21 bits: 6/5 1.39/1.47 c ---[2418]---> Adder-cost: 83 maxlim: 29 bits: 6/5 1.39/1.47 c ---[2416]---> Adder-cost: 135 maxlim: 62 bits: 7/6 1.39/1.48 c ---[2414]---> Adder-cost: 122 maxlim: 51 bits: 7/6 1.39/1.48 c ---[2412]---> Adder-cost: 106 maxlim: 39 bits: 7/6 1.39/1.48 c ---[2410]---> Adder-cost: 71 maxlim: 26 bits: 6/5 1.39/1.48 c ---[2408]---> Adder-cost: 52 maxlim: 17 bits: 6/5 1.39/1.48 c ---[2406]---> Adder-cost: 81 maxlim: 28 bits: 6/5 1.39/1.48 c ---[2404]---> Adder-cost: 79 maxlim: 25 bits: 6/5 1.39/1.48 c ---[2402]---> Sorter-cost: 546 Base: 2 1.39/1.48 c ---[2400]---> Sorter-cost: 496 Base: 2 1.39/1.48 c ---[2398]---> Sorter-cost: 542 Base: 2 1.39/1.48 c ---[2396]---> Adder-cost: 79 maxlim: 25 bits: 6/5 1.39/1.48 c ---[2394]---> Adder-cost: 147 maxlim: 61 bits: 7/6 1.39/1.49 c ---[2392]---> Adder-cost: 79 maxlim: 27 bits: 6/5 1.39/1.49 c ---[2390]---> Adder-cost: 65 maxlim: 25 bits: 6/5 1.39/1.49 c ---[2388]---> Adder-cost: 87 maxlim: 30 bits: 6/5 1.39/1.49 c ---[2386]---> Adder-cost: 90 maxlim: 32 bits: 7/6 1.39/1.49 c ---[2384]---> Adder-cost: 90 maxlim: 35 bits: 7/6 1.39/1.49 c ---[2382]---> Adder-cost: 84 maxlim: 33 bits: 7/6 1.39/1.49 c ---[2380]---> Adder-cost: 60 maxlim: 17 bits: 6/5 1.39/1.49 c ---[2378]---> Adder-cost: 50 maxlim: 16 bits: 6/5 1.39/1.49 c ---[2376]---> Adder-cost: 42 maxlim: 16 bits: 6/5 1.49/1.50 c ---[2374]---> Sorter-cost: 546 Base: 2 1.49/1.50 c ---[2372]---> Adder-cost: 111 maxlim: 57 bits: 7/6 1.49/1.50 c ---[2370]---> Adder-cost: 94 maxlim: 33 bits: 7/6 1.49/1.50 c ---[2368]---> Adder-cost: 92 maxlim: 44 bits: 7/6 1.49/1.50 c ---[2366]---> Adder-cost: 110 maxlim: 42 bits: 7/6 1.49/1.50 c ---[2364]---> Adder-cost: 106 maxlim: 44 bits: 7/6 1.49/1.50 c ---[2362]---> Adder-cost: 102 maxlim: 42 bits: 7/6 1.49/1.51 c ---[2360]---> Adder-cost: 67 maxlim: 30 bits: 6/5 1.49/1.51 c ---[2358]---> Adder-cost: 106 maxlim: 39 bits: 7/6 1.49/1.51 c ---[2356]---> Adder-cost: 76 maxlim: 40 bits: 7/6 1.49/1.51 c ---[2354]---> Adder-cost: 82 maxlim: 42 bits: 7/6 1.49/1.51 c ---[2352]---> Adder-cost: 80 maxlim: 41 bits: 7/6 1.49/1.51 c ---[2350]---> Adder-cost: 92 maxlim: 50 bits: 7/6 1.49/1.51 c ---[2348]---> Adder-cost: 73 maxlim: 22 bits: 6/5 1.49/1.51 c ---[2346]---> Adder-cost: 73 maxlim: 22 bits: 6/5 1.49/1.52 c ---[2344]---> Adder-cost: 54 maxlim: 18 bits: 6/5 1.49/1.52 c ---[2342]---> Sorter-cost: 546 Base: 2 1.49/1.52 c ---[2340]---> Adder-cost: 81 maxlim: 28 bits: 6/5 1.49/1.52 c ---[2338]---> Adder-cost: 89 maxlim: 31 bits: 6/5 1.49/1.52 c ---[2336]---> Adder-cost: 54 maxlim: 20 bits: 6/5 1.49/1.52 c ---[2334]---> Sorter-cost: 546 Base: 2 1.49/1.52 c ---[2332]---> Sorter-cost: 565 Base: 2 1.49/1.52 c ---[2330]---> Adder-cost: 93 maxlim: 53 bits: 7/6 1.49/1.52 c ---[2328]---> Adder-cost: 75 maxlim: 23 bits: 6/5 1.49/1.52 c ---[2326]---> Adder-cost: 110 maxlim: 41 bits: 7/6 1.49/1.52 c ---[2324]---> Adder-cost: 86 maxlim: 40 bits: 7/6 1.49/1.53 c ---[2322]---> Adder-cost: 72 maxlim: 36 bits: 7/6 1.49/1.53 c ---[2320]---> Adder-cost: 87 maxlim: 30 bits: 6/5 1.49/1.53 c ---[2318]---> Adder-cost: 102 maxlim: 43 bits: 7/6 1.49/1.53 c ---[2316]---> Adder-cost: 86 maxlim: 36 bits: 7/6 1.49/1.53 c ---[2314]---> Sorter-cost: 546 Base: 2 1.49/1.53 c ---[2312]---> Sorter-cost: 539 Base: 2 1.49/1.53 c ---[2310]---> Adder-cost: 73 maxlim: 21 bits: 6/5 1.49/1.53 c ---[2308]---> Adder-cost: 94 maxlim: 46 bits: 7/6 1.49/1.54 c ---[2306]---> Sorter-cost: 577 Base: 2 1.49/1.54 c ---[2304]---> Sorter-cost: 502 Base: 2 1.49/1.54 c ---[2302]---> Adder-cost: 160 maxlim: 66 bits: 8/7 1.49/1.54 c ---[2300]---> Adder-cost: 130 maxlim: 73 bits: 8/7 1.49/1.54 c ---[2298]---> Adder-cost: 152 maxlim: 64 bits: 8/7 1.49/1.54 c ---[2296]---> Adder-cost: 104 maxlim: 38 bits: 7/6 1.49/1.54 c ---[2294]---> Adder-cost: 102 maxlim: 39 bits: 7/6 1.49/1.55 c ---[2292]---> Adder-cost: 92 maxlim: 38 bits: 7/6 1.49/1.55 c ---[2290]---> Sorter-cost: 715 Base: 7 1.49/1.55 c ---[2288]---> Adder-cost: 75 maxlim: 23 bits: 6/5 1.49/1.55 c ---[2286]---> Adder-cost: 85 maxlim: 30 bits: 6/5 1.49/1.55 c ---[2284]---> Adder-cost: 77 maxlim: 25 bits: 6/5 1.49/1.55 c ---[2282]---> Sorter-cost: 577 Base: 2 1.49/1.55 c ---[2280]---> Adder-cost: 54 maxlim: 16 bits: 6/5 1.49/1.55 c ---[2278]---> Adder-cost: 87 maxlim: 31 bits: 6/5 1.49/1.55 c ---[2276]---> Adder-cost: 104 maxlim: 38 bits: 7/6 1.49/1.55 c ---[2274]---> Adder-cost: 58 maxlim: 38 bits: 7/6 1.49/1.56 c ---[2272]---> Adder-cost: 58 maxlim: 38 bits: 7/6 1.49/1.56 c ---[2270]---> Adder-cost: 277 maxlim: 124 bits: 8/7 1.49/1.56 c ---[2268]---> Adder-cost: 81 maxlim: 27 bits: 6/5 1.49/1.56 c ---[2266]---> Adder-cost: 94 maxlim: 33 bits: 7/6 1.49/1.56 c ---[2264]---> Adder-cost: 60 maxlim: 33 bits: 7/6 1.49/1.56 c ---[2262]---> Adder-cost: 73 maxlim: 21 bits: 6/5 1.49/1.57 c ---[2260]---> Sorter-cost: 546 Base: 2 1.49/1.57 c ---[2258]---> Adder-cost: 60 maxlim: 17 bits: 6/5 1.49/1.57 c ---[2256]---> Sorter-cost: 577 Base: 2 1.49/1.57 c ---[2254]---> Sorter-cost: 539 Base: 2 1.49/1.57 c ---[2252]---> Sorter-cost: 546 Base: 2 1.49/1.57 c ---[2250]---> Adder-cost: 112 maxlim: 44 bits: 7/6 1.49/1.57 c ---[2248]---> Adder-cost: 104 maxlim: 40 bits: 7/6 1.49/1.57 c ---[2246]---> Adder-cost: 72 maxlim: 33 bits: 7/6 1.49/1.57 c ---[2244]---> Adder-cost: 104 maxlim: 37 bits: 7/6 1.49/1.57 c ---[2242]---> Adder-cost: 90 maxlim: 41 bits: 7/6 1.49/1.58 c ---[2240]---> Adder-cost: 54 maxlim: 16 bits: 6/5 1.49/1.58 c ---[2238]---> Adder-cost: 73 maxlim: 22 bits: 6/5 1.49/1.58 c ---[2236]---> Adder-cost: 54 maxlim: 19 bits: 6/5 1.49/1.58 c ---[2234]---> Adder-cost: 58 maxlim: 18 bits: 6/5 1.49/1.58 c ---[2232]---> Adder-cost: 58 maxlim: 18 bits: 6/5 1.49/1.58 c ---[2230]---> Sorter-cost: 546 Base: 2 1.49/1.58 c ---[2228]---> Adder-cost: 75 maxlim: 23 bits: 6/5 1.49/1.58 c ---[2226]---> Adder-cost: 67 maxlim: 26 bits: 6/5 1.49/1.58 c ---[2224]---> Adder-cost: 92 maxlim: 34 bits: 7/6 1.49/1.58 c ---[2222]---> Adder-cost: 192 maxlim: 84 bits: 8/7 1.49/1.59 c ---[2220]---> Adder-cost: 158 maxlim: 68 bits: 8/7 1.49/1.59 c ---[2218]---> Adder-cost: 118 maxlim: 49 bits: 7/6 1.49/1.59 c ---[2216]---> Adder-cost: 92 maxlim: 33 bits: 7/6 1.49/1.59 c ---[2214]---> Adder-cost: 56 maxlim: 16 bits: 6/5 1.49/1.59 c ---[2212]---> Adder-cost: 71 maxlim: 21 bits: 6/5 1.49/1.59 c ---[2210]---> Adder-cost: 73 maxlim: 22 bits: 6/5 1.49/1.59 c ---[2208]---> Adder-cost: 62 maxlim: 20 bits: 6/5 1.49/1.59 c ---[2206]---> Sorter-cost: 546 Base: 2 1.49/1.59 c ---[2204]---> Adder-cost: 90 maxlim: 37 bits: 7/6 1.59/1.60 c ---[2202]---> Adder-cost: 73 maxlim: 22 bits: 6/5 1.59/1.60 c ---[2200]---> Adder-cost: 73 maxlim: 23 bits: 6/5 1.59/1.60 c ---[2198]---> Adder-cost: 54 maxlim: 16 bits: 6/5 1.59/1.60 c ---[2196]---> Sorter-cost: 546 Base: 2 1.59/1.60 c ---[2194]---> Sorter-cost: 696 Base: 7 1.59/1.60 c ---[2192]---> Adder-cost: 75 maxlim: 23 bits: 6/5 1.59/1.60 c ---[2190]---> Adder-cost: 73 maxlim: 23 bits: 6/5 1.59/1.60 c ---[2188]---> Adder-cost: 71 maxlim: 26 bits: 6/5 1.59/1.60 c ---[2186]---> Adder-cost: 67 maxlim: 24 bits: 6/5 1.59/1.60 c ---[2184]---> Adder-cost: 110 maxlim: 41 bits: 7/6 1.59/1.60 c ---[2182]---> Adder-cost: 80 maxlim: 34 bits: 7/6 1.59/1.61 c ---[2180]---> Adder-cost: 98 maxlim: 42 bits: 7/6 1.59/1.61 c ---[2178]---> Adder-cost: 141 maxlim: 55 bits: 7/6 1.59/1.61 c ---[2176]---> Adder-cost: 98 maxlim: 44 bits: 7/6 1.59/1.61 c ---[2174]---> Adder-cost: 88 maxlim: 39 bits: 7/6 1.59/1.61 c ---[2172]---> Adder-cost: 88 maxlim: 36 bits: 7/6 1.59/1.61 c ---[2170]---> Sorter-cost: 546 Base: 2 1.59/1.61 c ---[2168]---> Sorter-cost: 264 Base: 2 1.59/1.61 c ---[2166]---> Adder-cost: 79 maxlim: 25 bits: 6/5 1.59/1.62 c ---[2164]---> Adder-cost: 87 maxlim: 30 bits: 6/5 1.59/1.62 c ---[2162]---> Adder-cost: 77 maxlim: 25 bits: 6/5 1.59/1.62 c ---[2160]---> Adder-cost: 55 maxlim: 25 bits: 6/5 1.59/1.62 c ---[2158]---> Adder-cost: 85 maxlim: 31 bits: 6/5 1.59/1.62 c ---[2156]---> Adder-cost: 96 maxlim: 35 bits: 7/6 1.59/1.62 c ---[2154]---> Adder-cost: 100 maxlim: 43 bits: 7/6 1.59/1.62 c ---[2152]---> Adder-cost: 96 maxlim: 38 bits: 7/6 1.59/1.62 c ---[2150]---> Adder-cost: 88 maxlim: 39 bits: 7/6 1.59/1.62 c ---[2148]---> Adder-cost: 87 maxlim: 30 bits: 6/5 1.59/1.63 c ---[2146]---> Adder-cost: 92 maxlim: 35 bits: 7/6 1.59/1.63 c ---[2144]---> Adder-cost: 71 maxlim: 21 bits: 6/5 1.59/1.63 c ---[2142]---> Adder-cost: 71 maxlim: 28 bits: 6/5 1.59/1.63 c ---[2140]---> Adder-cost: 106 maxlim: 40 bits: 7/6 1.59/1.63 c ---[2138]---> Adder-cost: 82 maxlim: 39 bits: 7/6 1.59/1.63 c ---[2136]---> Adder-cost: 124 maxlim: 51 bits: 7/6 1.59/1.63 c ---[2134]---> Adder-cost: 117 maxlim: 54 bits: 7/6 1.59/1.64 c ---[2132]---> Adder-cost: 94 maxlim: 33 bits: 7/6 1.59/1.64 c ---[2130]---> Adder-cost: 90 maxlim: 32 bits: 7/6 1.59/1.64 c ---[2128]---> Adder-cost: 75 maxlim: 30 bits: 6/5 1.59/1.64 c ---[2126]---> Adder-cost: 126 maxlim: 51 bits: 7/6 1.59/1.64 c ---[2124]---> Adder-cost: 52 maxlim: 18 bits: 6/5 1.59/1.64 c ---[2122]---> Adder-cost: 170 maxlim: 69 bits: 8/7 1.59/1.64 c ---[2120]---> Adder-cost: 81 maxlim: 27 bits: 6/5 1.59/1.64 c ---[2118]---> Adder-cost: 62 maxlim: 20 bits: 6/5 1.59/1.65 c ---[2116]---> Adder-cost: 81 maxlim: 27 bits: 6/5 1.59/1.65 c ---[2114]---> Adder-cost: 120 maxlim: 48 bits: 7/6 1.59/1.65 c ---[2112]---> Adder-cost: 108 maxlim: 47 bits: 7/6 1.59/1.65 c ---[2110]---> Adder-cost: 62 maxlim: 47 bits: 7/6 1.59/1.65 c ---[2108]---> Adder-cost: 58 maxlim: 20 bits: 6/5 1.59/1.65 c ---[2106]---> Adder-cost: 145 maxlim: 57 bits: 7/6 1.59/1.65 c ---[2104]---> Adder-cost: 86 maxlim: 34 bits: 7/6 1.59/1.65 c ---[2102]---> Adder-cost: 83 maxlim: 30 bits: 6/5 1.59/1.66 c ---[2100]---> Adder-cost: 60 maxlim: 18 bits: 6/5 1.59/1.66 c ---[2098]---> Adder-cost: 106 maxlim: 39 bits: 7/6 1.59/1.66 c ---[2096]---> Adder-cost: 133 maxlim: 54 bits: 7/6 1.59/1.66 c ---[2094]---> Adder-cost: 108 maxlim: 41 bits: 7/6 1.59/1.66 c ---[2092]---> Adder-cost: 137 maxlim: 53 bits: 7/6 1.59/1.66 c ---[2090]---> Adder-cost: 90 maxlim: 39 bits: 7/6 1.59/1.66 c ---[2088]---> Adder-cost: 90 maxlim: 42 bits: 7/6 1.59/1.67 c ---[2086]---> Adder-cost: 96 maxlim: 36 bits: 7/6 1.59/1.67 c ---[2084]---> Adder-cost: 84 maxlim: 35 bits: 7/6 1.59/1.67 c ---[2082]---> Adder-cost: 61 maxlim: 26 bits: 6/5 1.59/1.67 c ---[2080]---> Adder-cost: 94 maxlim: 33 bits: 7/6 1.59/1.67 c ---[2078]---> Adder-cost: 56 maxlim: 17 bits: 6/5 1.59/1.67 c ---[2076]---> Adder-cost: 73 maxlim: 28 bits: 6/5 1.59/1.67 c ---[2074]---> Adder-cost: 139 maxlim: 61 bits: 7/6 1.59/1.67 c ---[2072]---> Adder-cost: 119 maxlim: 57 bits: 7/6 1.59/1.68 c ---[2070]---> Adder-cost: 90 maxlim: 34 bits: 7/6 1.59/1.68 c ---[2068]---> Adder-cost: 124 maxlim: 50 bits: 7/6 1.59/1.68 c ---[2066]---> Adder-cost: 111 maxlim: 54 bits: 7/6 1.59/1.68 c ---[2064]---> Adder-cost: 60 maxlim: 17 bits: 6/5 1.59/1.68 c ---[2062]---> Adder-cost: 69 maxlim: 24 bits: 6/5 1.59/1.68 c ---[2060]---> Adder-cost: 83 maxlim: 29 bits: 6/5 1.59/1.68 c ---[2058]---> Adder-cost: 75 maxlim: 23 bits: 6/5 1.59/1.68 c ---[2056]---> Adder-cost: 54 maxlim: 19 bits: 6/5 1.59/1.68 c ---[2054]---> Adder-cost: 71 maxlim: 22 bits: 6/5 1.59/1.69 c ---[2052]---> Adder-cost: 46 maxlim: 16 bits: 6/5 1.59/1.69 c ---[2050]---> Sorter-cost: 546 Base: 2 1.59/1.69 c ---[2048]---> Adder-cost: 153 maxlim: 62 bits: 7/6 1.59/1.69 c ---[2046]---> Adder-cost: 73 maxlim: 62 bits: 7/6 1.59/1.69 c ---[2044]---> Adder-cost: 96 maxlim: 36 bits: 7/6 1.59/1.69 c ---[2042]---> Adder-cost: 112 maxlim: 44 bits: 7/6 1.59/1.70 c ---[2040]---> Adder-cost: 80 maxlim: 41 bits: 7/6 1.69/1.70 c ---[2038]---> Adder-cost: 126 maxlim: 52 bits: 7/6 1.69/1.70 c ---[2036]---> Sorter-cost: 577 Base: 2 1.69/1.70 c ---[2034]---> Adder-cost: 133 maxlim: 56 bits: 7/6 1.69/1.70 c ---[2032]---> Adder-cost: 90 maxlim: 32 bits: 7/6 1.69/1.70 c ---[2030]---> Adder-cost: 80 maxlim: 41 bits: 7/6 1.69/1.70 c ---[2028]---> Adder-cost: 85 maxlim: 29 bits: 6/5 1.69/1.70 c ---[2026]---> Adder-cost: 77 maxlim: 28 bits: 6/5 1.69/1.71 c ---[2024]---> Adder-cost: 58 maxlim: 19 bits: 6/5 1.69/1.71 c ---[2022]---> Sorter-cost: 577 Base: 2 1.69/1.71 c ---[2020]---> Sorter-cost: 670 Base: 7 1.69/1.71 c ---[2018]---> Adder-cost: 290 maxlim: 132 bits: 9/8 1.69/1.71 c ---[2016]---> Sorter-cost: 665 Base: 7 1.69/1.71 c ---[2014]---> Adder-cost: 56 maxlim: 16 bits: 6/5 1.69/1.71 c ---[2012]---> Adder-cost: 42 maxlim: 16 bits: 6/5 1.69/1.71 c ---[2010]---> Adder-cost: 58 maxlim: 17 bits: 6/5 1.69/1.71 c ---[2008]---> Sorter-cost: 546 Base: 2 1.69/1.72 c ---[2006]---> Adder-cost: 79 maxlim: 25 bits: 6/5 1.69/1.72 c ---[2004]---> Sorter-cost: 534 Base: 2 1.69/1.72 c ---[2002]---> Adder-cost: 67 maxlim: 23 bits: 6/5 1.69/1.72 c ---[2000]---> Adder-cost: 60 maxlim: 17 bits: 6/5 1.69/1.72 c ---[1998]---> Adder-cost: 52 maxlim: 20 bits: 6/5 1.69/1.72 c ---[1996]---> Adder-cost: 73 maxlim: 23 bits: 6/5 1.69/1.72 c ---[1994]---> Adder-cost: 73 maxlim: 22 bits: 6/5 1.69/1.72 c ---[1992]---> Sorter-cost: 496 Base: 2 1.69/1.72 c ---[1990]---> Adder-cost: 69 maxlim: 23 bits: 6/5 1.69/1.72 c ---[1988]---> Adder-cost: 56 maxlim: 20 bits: 6/5 1.69/1.72 c ---[1986]---> Sorter-cost: 546 Base: 2 1.69/1.72 c ---[1984]---> Adder-cost: 79 maxlim: 25 bits: 6/5 1.69/1.73 c ---[1982]---> Adder-cost: 55 maxlim: 25 bits: 6/5 1.69/1.73 c ---[1980]---> Adder-cost: 71 maxlim: 29 bits: 6/5 1.69/1.73 c ---[1978]---> Adder-cost: 79 maxlim: 26 bits: 6/5 1.69/1.73 c ---[1976]---> Adder-cost: 118 maxlim: 45 bits: 7/6 1.69/1.73 c ---[1974]---> Sorter-cost: 496 Base: 2 1.69/1.73 c ---[1972]---> Adder-cost: 137 maxlim: 54 bits: 7/6 1.69/1.73 c ---[1970]---> Adder-cost: 102 maxlim: 40 bits: 7/6 1.69/1.73 c ---[1968]---> Adder-cost: 108 maxlim: 46 bits: 7/6 1.69/1.73 c ---[1966]---> Adder-cost: 108 maxlim: 43 bits: 7/6 1.69/1.74 c ---[1964]---> Adder-cost: 78 maxlim: 33 bits: 7/6 1.69/1.74 c ---[1962]---> Adder-cost: 104 maxlim: 44 bits: 7/6 1.69/1.74 c ---[1960]---> Adder-cost: 96 maxlim: 37 bits: 7/6 1.69/1.74 c ---[1958]---> Adder-cost: 78 maxlim: 35 bits: 7/6 1.69/1.74 c ---[1956]---> Adder-cost: 69 maxlim: 31 bits: 6/5 1.69/1.74 c ---[1954]---> Adder-cost: 60 maxlim: 18 bits: 6/5 1.69/1.74 c ---[1952]---> Adder-cost: 145 maxlim: 57 bits: 7/6 1.69/1.75 c ---[1950]---> Adder-cost: 44 maxlim: 18 bits: 6/5 1.69/1.75 c ---[1948]---> Adder-cost: 73 maxlim: 21 bits: 6/5 1.69/1.75 c ---[1946]---> Adder-cost: 56 maxlim: 19 bits: 6/5 1.69/1.75 c ---[1944]---> Adder-cost: 112 maxlim: 43 bits: 7/6 1.69/1.75 c ---[1942]---> Adder-cost: 92 maxlim: 43 bits: 7/6 1.69/1.75 c ---[1940]---> Adder-cost: 95 maxlim: 56 bits: 7/6 1.69/1.75 c ---[1938]---> Adder-cost: 71 maxlim: 22 bits: 6/5 1.69/1.75 c ---[1936]---> Adder-cost: 77 maxlim: 26 bits: 6/5 1.69/1.75 c ---[1934]---> Adder-cost: 69 maxlim: 23 bits: 6/5 1.69/1.76 c ---[1932]---> Adder-cost: 71 maxlim: 22 bits: 6/5 1.69/1.76 c ---[1930]---> Sorter-cost: 577 Base: 2 1.69/1.76 c ---[1928]---> Adder-cost: 73 maxlim: 24 bits: 6/5 1.69/1.76 c ---[1926]---> Adder-cost: 155 maxlim: 63 bits: 7/6 1.69/1.76 c ---[1924]---> Sorter-cost: 546 Base: 2 1.69/1.76 c ---[1922]---> Adder-cost: 112 maxlim: 44 bits: 7/6 1.69/1.76 c ---[1920]---> Adder-cost: 56 maxlim: 44 bits: 7/6 1.69/1.76 c ---[1918]---> Adder-cost: 98 maxlim: 48 bits: 7/6 1.69/1.76 c ---[1916]---> Adder-cost: 84 maxlim: 40 bits: 7/6 1.69/1.77 c ---[1914]---> Adder-cost: 104 maxlim: 37 bits: 7/6 1.69/1.77 c ---[1912]---> Adder-cost: 92 maxlim: 39 bits: 7/6 1.69/1.77 c ---[1910]---> Adder-cost: 86 maxlim: 37 bits: 7/6 1.69/1.77 c ---[1908]---> Adder-cost: 190 maxlim: 82 bits: 8/7 1.69/1.77 c ---[1906]---> Adder-cost: 84 maxlim: 38 bits: 7/6 1.69/1.77 c ---[1904]---> Adder-cost: 56 maxlim: 16 bits: 6/5 1.69/1.77 c ---[1902]---> Adder-cost: 63 maxlim: 22 bits: 6/5 1.69/1.78 c ---[1900]---> Adder-cost: 61 maxlim: 22 bits: 6/5 1.69/1.78 c ---[1898]---> Adder-cost: 54 maxlim: 16 bits: 6/5 1.69/1.78 c ---[1896]---> Adder-cost: 79 maxlim: 27 bits: 6/5 1.69/1.78 c ---[1894]---> Adder-cost: 73 maxlim: 26 bits: 6/5 1.69/1.78 c ---[1892]---> Adder-cost: 114 maxlim: 49 bits: 7/6 1.69/1.78 c ---[1890]---> Sorter-cost: 546 Base: 2 1.69/1.78 c ---[1888]---> Adder-cost: 81 maxlim: 27 bits: 6/5 1.69/1.78 c ---[1886]---> Adder-cost: 158 maxlim: 83 bits: 8/7 1.69/1.79 c ---[1884]---> Adder-cost: 55 maxlim: 27 bits: 6/5 1.69/1.79 c ---[1882]---> Adder-cost: 184 maxlim: 78 bits: 8/7 1.69/1.79 c ---[1880]---> Adder-cost: 62 maxlim: 20 bits: 6/5 1.69/1.79 c ---[1878]---> Adder-cost: 50 maxlim: 20 bits: 6/5 1.69/1.79 c ---[1876]---> Adder-cost: 87 maxlim: 30 bits: 6/5 1.69/1.79 c ---[1874]---> Adder-cost: 69 maxlim: 31 bits: 6/5 1.69/1.79 c ---[1872]---> Adder-cost: 73 maxlim: 28 bits: 6/5 1.69/1.79 c ---[1870]---> Adder-cost: 81 maxlim: 28 bits: 6/5 1.69/1.79 c ---[1868]---> Adder-cost: 94 maxlim: 36 bits: 7/6 1.69/1.80 c ---[1866]---> Adder-cost: 130 maxlim: 66 bits: 8/7 1.79/1.80 c ---[1864]---> Adder-cost: 108 maxlim: 45 bits: 7/6 1.79/1.80 c ---[1862]---> Sorter-cost: 577 Base: 2 1.79/1.80 c ---[1860]---> Adder-cost: 94 maxlim: 35 bits: 7/6 1.79/1.80 c ---[1858]---> Adder-cost: 153 maxlim: 63 bits: 7/6 1.79/1.80 c ---[1856]---> Adder-cost: 147 maxlim: 62 bits: 7/6 1.79/1.80 c ---[1854]---> Adder-cost: 123 maxlim: 62 bits: 7/6 1.79/1.81 c ---[1852]---> Adder-cost: 113 maxlim: 57 bits: 7/6 1.79/1.81 c ---[1850]---> Adder-cost: 109 maxlim: 56 bits: 7/6 1.79/1.81 c ---[1848]---> Adder-cost: 75 maxlim: 24 bits: 6/5 1.79/1.81 c ---[1846]---> Adder-cost: 90 maxlim: 32 bits: 7/6 1.79/1.81 c ---[1844]---> Adder-cost: 111 maxlim: 60 bits: 7/6 1.79/1.81 c ---[1842]---> Adder-cost: 88 maxlim: 37 bits: 7/6 1.79/1.82 c ---[1840]---> Adder-cost: 96 maxlim: 37 bits: 7/6 1.79/1.82 c ---[1838]---> Adder-cost: 90 maxlim: 32 bits: 7/6 1.79/1.82 c ---[1836]---> Adder-cost: 71 maxlim: 30 bits: 6/5 1.79/1.82 c ---[1834]---> Adder-cost: 71 maxlim: 23 bits: 6/5 1.79/1.82 c ---[1832]---> Adder-cost: 56 maxlim: 16 bits: 6/5 1.79/1.82 c ---[1830]---> Adder-cost: 106 maxlim: 39 bits: 7/6 1.79/1.82 c ---[1828]---> Adder-cost: 96 maxlim: 37 bits: 7/6 1.79/1.82 c ---[1826]---> Adder-cost: 58 maxlim: 19 bits: 6/5 1.79/1.82 c ---[1824]---> Adder-cost: 74 maxlim: 36 bits: 7/6 1.79/1.83 c ---[1822]---> Adder-cost: 94 maxlim: 33 bits: 7/6 1.79/1.83 c ---[1820]---> Adder-cost: 79 maxlim: 30 bits: 6/5 1.79/1.83 c ---[1818]---> Adder-cost: 86 maxlim: 32 bits: 7/6 1.79/1.83 c ---[1816]---> Adder-cost: 176 maxlim: 77 bits: 8/7 1.79/1.83 c ---[1814]---> Adder-cost: 137 maxlim: 60 bits: 7/6 1.79/1.83 c ---[1812]---> Adder-cost: 121 maxlim: 60 bits: 7/6 1.79/1.83 c ---[1810]---> Adder-cost: 75 maxlim: 24 bits: 6/5 1.79/1.84 c ---[1808]---> Adder-cost: 71 maxlim: 24 bits: 6/5 1.79/1.84 c ---[1806]---> Adder-cost: 77 maxlim: 26 bits: 6/5 1.79/1.84 c ---[1804]---> Adder-cost: 85 maxlim: 29 bits: 6/5 1.79/1.84 c ---[1802]---> Sorter-cost: 546 Base: 2 1.79/1.84 c ---[1800]---> Adder-cost: 73 maxlim: 21 bits: 6/5 1.79/1.84 c ---[1798]---> Adder-cost: 56 maxlim: 18 bits: 6/5 1.79/1.84 c ---[1796]---> Adder-cost: 56 maxlim: 16 bits: 6/5 1.79/1.84 c ---[1794]---> Adder-cost: 52 maxlim: 16 bits: 6/5 1.79/1.84 c ---[1792]---> Adder-cost: 141 maxlim: 55 bits: 7/6 1.79/1.84 c ---[1790]---> Adder-cost: 94 maxlim: 49 bits: 7/6 1.79/1.85 c ---[1788]---> Adder-cost: 84 maxlim: 49 bits: 7/6 1.79/1.85 c ---[1786]---> Adder-cost: 62 maxlim: 20 bits: 6/5 1.79/1.85 c ---[1784]---> Adder-cost: 77 maxlim: 26 bits: 6/5 1.79/1.85 c ---[1782]---> Adder-cost: 72 maxlim: 32 bits: 7/6 1.79/1.85 c ---[1780]---> Adder-cost: 71 maxlim: 25 bits: 6/5 1.79/1.85 c ---[1778]---> Adder-cost: 62 maxlim: 19 bits: 6/5 1.79/1.85 c ---[1776]---> Adder-cost: 48 maxlim: 18 bits: 6/5 1.79/1.85 c ---[1774]---> Adder-cost: 48 maxlim: 19 bits: 6/5 1.79/1.85 c ---[1772]---> Adder-cost: 67 maxlim: 27 bits: 6/5 1.79/1.86 c ---[1770]---> Adder-cost: 90 maxlim: 35 bits: 7/6 1.79/1.86 c ---[1768]---> Adder-cost: 87 maxlim: 29 bits: 6/5 1.79/1.86 c ---[1766]---> Adder-cost: 85 maxlim: 30 bits: 6/5 1.79/1.86 c ---[1764]---> Adder-cost: 73 maxlim: 28 bits: 6/5 1.79/1.86 c ---[1762]---> Adder-cost: 72 maxlim: 33 bits: 7/6 1.79/1.86 c ---[1760]---> Adder-cost: 108 maxlim: 41 bits: 7/6 1.79/1.86 c ---[1758]---> Adder-cost: 102 maxlim: 41 bits: 7/6 1.79/1.86 c ---[1756]---> Adder-cost: 98 maxlim: 37 bits: 7/6 1.79/1.87 c ---[1754]---> Adder-cost: 86 maxlim: 33 bits: 7/6 1.79/1.87 c ---[1752]---> Adder-cost: 98 maxlim: 40 bits: 7/6 1.79/1.87 c ---[1750]---> Adder-cost: 79 maxlim: 26 bits: 6/5 1.79/1.87 c ---[1748]---> Adder-cost: 69 maxlim: 27 bits: 6/5 1.79/1.87 c ---[1746]---> Adder-cost: 85 maxlim: 30 bits: 6/5 1.79/1.87 c ---[1744]---> Adder-cost: 77 maxlim: 26 bits: 6/5 1.79/1.87 c ---[1742]---> Adder-cost: 88 maxlim: 35 bits: 7/6 1.79/1.87 c ---[1740]---> Adder-cost: 90 maxlim: 32 bits: 7/6 1.79/1.87 c ---[1738]---> Adder-cost: 58 maxlim: 18 bits: 6/5 1.79/1.88 c ---[1736]---> Adder-cost: 73 maxlim: 23 bits: 6/5 1.79/1.88 c ---[1734]---> Adder-cost: 62 maxlim: 20 bits: 6/5 1.79/1.88 c ---[1732]---> Sorter-cost: 546 Base: 2 1.79/1.88 c ---[1730]---> Sorter-cost: 508 Base: 2 1.79/1.88 c ---[1728]---> Sorter-cost: 800 Base: 7 1.79/1.88 c ---[1726]---> Sorter-cost: 546 Base: 2 1.79/1.88 c ---[1724]---> Sorter-cost: 546 Base: 2 1.79/1.88 c ---[1722]---> Adder-cost: 60 maxlim: 18 bits: 6/5 1.79/1.88 c ---[1720]---> Adder-cost: 92 maxlim: 37 bits: 7/6 1.79/1.88 c ---[1718]---> Adder-cost: 69 maxlim: 28 bits: 6/5 1.79/1.88 c ---[1716]---> Adder-cost: 60 maxlim: 17 bits: 6/5 1.79/1.88 c ---[1714]---> Sorter-cost: 577 Base: 2 1.79/1.88 c ---[1712]---> Adder-cost: 60 maxlim: 17 bits: 6/5 1.79/1.89 c ---[1710]---> Adder-cost: 56 maxlim: 16 bits: 6/5 1.79/1.89 c ---[1708]---> Adder-cost: 58 maxlim: 18 bits: 6/5 1.79/1.89 c ---[1706]---> Sorter-cost: 577 Base: 2 1.79/1.89 c ---[1704]---> Adder-cost: 58 maxlim: 17 bits: 6/5 1.79/1.89 c ---[1702]---> Adder-cost: 56 maxlim: 18 bits: 6/5 1.79/1.89 c ---[1700]---> Adder-cost: 92 maxlim: 34 bits: 7/6 1.79/1.89 c ---[1698]---> Adder-cost: 59 maxlim: 28 bits: 6/5 1.79/1.89 c ---[1696]---> Adder-cost: 71 maxlim: 29 bits: 6/5 1.79/1.89 c ---[1694]---> Adder-cost: 55 maxlim: 29 bits: 6/5 1.79/1.89 c ---[1692]---> Adder-cost: 67 maxlim: 30 bits: 6/5 1.79/1.89 c ---[1690]---> Adder-cost: 61 maxlim: 29 bits: 6/5 1.89/1.90 c ---[1688]---> Adder-cost: 76 maxlim: 33 bits: 7/6 1.89/1.90 c ---[1686]---> Adder-cost: 73 maxlim: 22 bits: 6/5 1.89/1.90 c ---[1684]---> Adder-cost: 69 maxlim: 21 bits: 6/5 1.89/1.90 c ---[1682]---> Adder-cost: 98 maxlim: 38 bits: 7/6 1.89/1.90 c ---[1680]---> Adder-cost: 48 maxlim: 17 bits: 6/5 1.89/1.90 c ---[1678]---> Adder-cost: 42 maxlim: 17 bits: 6/5 1.89/1.90 c ---[1676]---> Adder-cost: 42 maxlim: 17 bits: 6/5 1.89/1.90 c ---[1674]---> Adder-cost: 67 maxlim: 24 bits: 6/5 1.89/1.90 c ---[1672]---> Adder-cost: 153 maxlim: 62 bits: 7/6 1.89/1.91 c ---[1670]---> Adder-cost: 164 maxlim: 69 bits: 8/7 1.89/1.91 c ---[1668]---> Adder-cost: 139 maxlim: 63 bits: 7/6 1.89/1.91 c ---[1666]---> Adder-cost: 80 maxlim: 42 bits: 7/6 1.89/1.91 c ---[1664]---> Adder-cost: 78 maxlim: 36 bits: 7/6 1.89/1.91 c ---[1662]---> Adder-cost: 74 maxlim: 32 bits: 7/6 1.89/1.91 c ---[1660]---> Adder-cost: 92 maxlim: 33 bits: 7/6 1.89/1.91 c ---[1658]---> Adder-cost: 67 maxlim: 31 bits: 6/5 1.89/1.92 c ---[1656]---> Adder-cost: 81 maxlim: 28 bits: 6/5 1.89/1.92 c ---[1654]---> Adder-cost: 71 maxlim: 31 bits: 6/5 1.89/1.92 c ---[1652]---> Adder-cost: 78 maxlim: 34 bits: 7/6 1.89/1.92 c ---[1650]---> Adder-cost: 74 maxlim: 36 bits: 7/6 1.89/1.92 c ---[1648]---> Adder-cost: 168 maxlim: 71 bits: 8/7 1.89/1.92 c ---[1646]---> Adder-cost: 184 maxlim: 80 bits: 8/7 1.89/1.92 c ---[1644]---> Adder-cost: 134 maxlim: 67 bits: 8/7 1.89/1.93 c ---[1642]---> Adder-cost: 112 maxlim: 51 bits: 7/6 1.89/1.93 c ---[1640]---> Adder-cost: 88 maxlim: 50 bits: 7/6 1.89/1.93 c ---[1638]---> Adder-cost: 86 maxlim: 33 bits: 7/6 1.89/1.93 c ---[1636]---> Adder-cost: 90 maxlim: 46 bits: 7/6 1.89/1.93 c ---[1634]---> Adder-cost: 76 maxlim: 44 bits: 7/6 1.89/1.93 c ---[1632]---> Adder-cost: 84 maxlim: 45 bits: 7/6 1.89/1.94 c ---[1630]---> Adder-cost: 124 maxlim: 50 bits: 7/6 1.89/1.94 c ---[1628]---> Adder-cost: 122 maxlim: 50 bits: 7/6 1.89/1.94 c ---[1626]---> Adder-cost: 62 maxlim: 50 bits: 7/6 1.89/1.94 c ---[1624]---> Adder-cost: 62 maxlim: 50 bits: 7/6 1.89/1.94 c ---[1622]---> Adder-cost: 84 maxlim: 52 bits: 7/6 1.89/1.94 c ---[1620]---> Adder-cost: 114 maxlim: 46 bits: 7/6 1.89/1.95 c ---[1618]---> Adder-cost: 78 maxlim: 38 bits: 7/6 1.89/1.95 c ---[1616]---> Adder-cost: 67 maxlim: 30 bits: 6/5 1.89/1.95 c ---[1614]---> Adder-cost: 84 maxlim: 34 bits: 7/6 1.89/1.95 c ---[1612]---> Adder-cost: 90 maxlim: 32 bits: 7/6 1.89/1.95 c ---[1610]---> Adder-cost: 67 maxlim: 29 bits: 6/5 1.89/1.95 c ---[1608]---> Adder-cost: 69 maxlim: 26 bits: 6/5 1.89/1.95 c ---[1606]---> Adder-cost: 65 maxlim: 28 bits: 6/5 1.89/1.95 c ---[1604]---> Adder-cost: 69 maxlim: 22 bits: 6/5 1.89/1.95 c ---[1602]---> Adder-cost: 65 maxlim: 25 bits: 6/5 1.89/1.96 c ---[1600]---> Adder-cost: 73 maxlim: 24 bits: 6/5 1.89/1.96 c ---[1598]---> Adder-cost: 88 maxlim: 32 bits: 7/6 1.89/1.96 c ---[1596]---> Adder-cost: 80 maxlim: 34 bits: 7/6 1.89/1.96 c ---[1594]---> Adder-cost: 79 maxlim: 26 bits: 6/5 1.89/1.96 c ---[1592]---> Adder-cost: 77 maxlim: 31 bits: 6/5 1.89/1.96 c ---[1590]---> Adder-cost: 77 maxlim: 29 bits: 6/5 1.89/1.96 c ---[1588]---> Adder-cost: 75 maxlim: 26 bits: 6/5 1.89/1.96 c ---[1586]---> Adder-cost: 67 maxlim: 23 bits: 6/5 1.89/1.96 c ---[1584]---> Adder-cost: 79 maxlim: 26 bits: 6/5 1.89/1.97 c ---[1582]---> Adder-cost: 76 maxlim: 32 bits: 7/6 1.89/1.97 c ---[1580]---> Adder-cost: 100 maxlim: 38 bits: 7/6 1.89/1.97 c ---[1578]---> Adder-cost: 92 maxlim: 36 bits: 7/6 1.89/1.97 c ---[1576]---> Adder-cost: 156 maxlim: 64 bits: 8/7 1.89/1.97 c ---[1574]---> Adder-cost: 160 maxlim: 65 bits: 8/7 1.89/1.97 c ---[1572]---> Adder-cost: 62 maxlim: 47 bits: 7/6 1.89/1.97 c ---[1570]---> Adder-cost: 57 maxlim: 23 bits: 6/5 1.89/1.98 c ---[1568]---> Adder-cost: 120 maxlim: 66 bits: 8/7 1.89/1.98 c ---[1566]---> Adder-cost: 102 maxlim: 68 bits: 8/7 1.89/1.98 c ---[1564]---> Adder-cost: 138 maxlim: 69 bits: 8/7 1.89/1.98 c ---[1562]---> Adder-cost: 110 maxlim: 43 bits: 7/6 1.89/1.98 c ---[1560]---> Adder-cost: 108 maxlim: 47 bits: 7/6 1.89/1.99 c ---[1558]---> Adder-cost: 104 maxlim: 45 bits: 7/6 1.89/1.99 c ---[1556]---> Adder-cost: 82 maxlim: 45 bits: 7/6 1.89/1.99 c ---[1554]---> Adder-cost: 78 maxlim: 44 bits: 7/6 1.89/1.99 c ---[1552]---> Adder-cost: 96 maxlim: 50 bits: 7/6 1.89/1.99 c ---[1550]---> Adder-cost: 151 maxlim: 63 bits: 7/6 1.89/1.99 c ---[1548]---> Adder-cost: 61 maxlim: 26 bits: 6/5 1.89/1.99 c ---[1546]---> Adder-cost: 115 maxlim: 61 bits: 7/6 1.99/2.00 c ---[1544]---> Adder-cost: 105 maxlim: 62 bits: 7/6 1.99/2.00 c ---[1542]---> Adder-cost: 105 maxlim: 59 bits: 7/6 1.99/2.00 c ---[1540]---> Adder-cost: 105 maxlim: 58 bits: 7/6 1.99/2.00 c ---[1538]---> Adder-cost: 123 maxlim: 56 bits: 7/6 1.99/2.00 c ---[1536]---> Adder-cost: 84 maxlim: 52 bits: 7/6 1.99/2.01 c ---[1534]---> Adder-cost: 106 maxlim: 40 bits: 7/6 1.99/2.01 c ---[1532]---> Adder-cost: 90 maxlim: 40 bits: 7/6 1.99/2.01 c ---[1530]---> Adder-cost: 78 maxlim: 40 bits: 7/6 1.99/2.01 c ---[1528]---> Adder-cost: 82 maxlim: 39 bits: 7/6 1.99/2.01 c ---[1526]---> Adder-cost: 67 maxlim: 29 bits: 6/5 1.99/2.01 c ---[1524]---> Adder-cost: 76 maxlim: 37 bits: 7/6 1.99/2.01 c ---[1523]---> Adder-cost: 8842 maxlim: 4057 bits: 13/12 5.50/5.50 c ---[1521]---> Adder-cost: 2626 maxlim: 1336 bits: 11/11 5.99/6.03 c ---[1519]---> Adder-cost: 284 maxlim: 126 bits: 8/7 5.99/6.03 c ---[1517]---> Adder-cost: 856 maxlim: 421 bits: 9/9 5.99/6.08 c ---[1515]---> Adder-cost: 2275 maxlim: 1175 bits: 12/11 6.09/6.14 c ---[1514]---> Adder-cost: 11222 maxlim: 6331 bits: 13/13 15.09/15.17 c ---[1501]---> Adder-cost: 64 maxlim: 37 bits: 7/6 15.09/15.17 c ---[1499]---> Adder-cost: 90 maxlim: 34 bits: 7/6 15.09/15.17 c ---[1497]---> Adder-cost: 63 maxlim: 28 bits: 6/5 15.09/15.17 c ---[1495]---> Adder-cost: 55 maxlim: 28 bits: 6/5 15.09/15.17 c ---[1493]---> Adder-cost: 86 maxlim: 33 bits: 7/6 15.09/15.17 c ---[1491]---> Adder-cost: 73 maxlim: 30 bits: 6/5 15.09/15.17 c ---[1489]---> Adder-cost: 88 maxlim: 34 bits: 7/6 15.09/15.17 c ---[1487]---> Adder-cost: 96 maxlim: 35 bits: 7/6 15.09/15.18 c ---[1485]---> Adder-cost: 66 maxlim: 32 bits: 7/6 15.09/15.18 c ---[1483]---> Adder-cost: 59 maxlim: 21 bits: 6/5 15.09/15.18 c ---[1481]---> Adder-cost: 77 maxlim: 31 bits: 6/5 15.09/15.18 c ---[1479]---> Adder-cost: 72 maxlim: 32 bits: 7/6 15.09/15.18 c ---[1477]---> Adder-cost: 78 maxlim: 33 bits: 7/6 15.09/15.18 c ---[1475]---> Adder-cost: 92 maxlim: 40 bits: 7/6 15.09/15.18 c ---[1473]---> Adder-cost: 83 maxlim: 31 bits: 6/5 15.09/15.18 c ---[1471]---> Adder-cost: 90 maxlim: 39 bits: 7/6 15.09/15.19 c ---[1469]---> Adder-cost: 75 maxlim: 31 bits: 6/5 15.09/15.19 c ---[1467]---> Adder-cost: 80 maxlim: 32 bits: 7/6 15.09/15.19 c ---[1465]---> Adder-cost: 75 maxlim: 29 bits: 6/5 15.09/15.19 c ---[1463]---> Adder-cost: 65 maxlim: 26 bits: 6/5 15.09/15.19 c ---[1461]---> Adder-cost: 87 maxlim: 31 bits: 6/5 15.09/15.19 c ---[1459]---> Adder-cost: 77 maxlim: 25 bits: 6/5 15.09/15.19 c ---[1457]---> Adder-cost: 100 maxlim: 43 bits: 7/6 15.09/15.19 c ---[1455]---> Adder-cost: 137 maxlim: 61 bits: 7/6 15.09/15.20 c ---[1453]---> Adder-cost: 112 maxlim: 50 bits: 7/6 15.18/15.20 c ---[1451]---> Adder-cost: 88 maxlim: 47 bits: 7/6 15.18/15.20 c ---[1449]---> Adder-cost: 80 maxlim: 43 bits: 7/6 15.18/15.20 c ---[1447]---> Adder-cost: 72 maxlim: 42 bits: 7/6 15.18/15.20 c ---[1445]---> Adder-cost: 104 maxlim: 41 bits: 7/6 15.18/15.20 c ---[1443]---> Adder-cost: 60 maxlim: 41 bits: 7/6 15.18/15.20 c ---[1441]---> Adder-cost: 84 maxlim: 34 bits: 7/6 15.18/15.21 c ---[1439]---> Adder-cost: 67 maxlim: 25 bits: 6/5 15.18/15.21 c ---[1437]---> Adder-cost: 58 maxlim: 34 bits: 7/6 15.18/15.21 c ---[1435]---> Adder-cost: 123 maxlim: 54 bits: 7/6 15.18/15.21 c ---[1433]---> Adder-cost: 102 maxlim: 38 bits: 7/6 15.18/15.21 c ---[1431]---> Adder-cost: 212 maxlim: 95 bits: 8/7 15.18/15.21 c ---[1429]---> Adder-cost: 139 maxlim: 53 bits: 7/6 15.18/15.22 c ---[1427]---> Adder-cost: 112 maxlim: 50 bits: 7/6 15.18/15.22 c ---[1425]---> Adder-cost: 106 maxlim: 39 bits: 7/6 15.18/15.22 c ---[1423]---> Adder-cost: 88 maxlim: 40 bits: 7/6 15.18/15.22 c ---[1421]---> Adder-cost: 77 maxlim: 28 bits: 6/5 15.18/15.22 c ---[1419]---> Adder-cost: 63 maxlim: 24 bits: 6/5 15.18/15.22 c ---[1417]---> Adder-cost: 65 maxlim: 22 bits: 6/5 15.18/15.22 c ---[1415]---> Adder-cost: 71 maxlim: 24 bits: 6/5 15.18/15.22 c ---[1413]---> Adder-cost: 62 maxlim: 19 bits: 6/5 15.18/15.22 c ---[1411]---> Adder-cost: 88 maxlim: 32 bits: 7/6 15.18/15.23 c ---[1409]---> Sorter-cost: 546 Base: 2 15.18/15.23 c ---[1407]---> Adder-cost: 77 maxlim: 25 bits: 6/5 15.18/15.23 c ---[1405]---> Adder-cost: 65 maxlim: 23 bits: 6/5 15.18/15.23 c ---[1403]---> Adder-cost: 67 maxlim: 22 bits: 6/5 15.18/15.23 c ---[1401]---> Adder-cost: 53 maxlim: 22 bits: 6/5 15.18/15.23 c ---[1399]---> Adder-cost: 53 maxlim: 22 bits: 6/5 15.18/15.23 c ---[1397]---> Adder-cost: 143 maxlim: 60 bits: 7/6 15.18/15.23 c ---[1395]---> Adder-cost: 108 maxlim: 41 bits: 7/6 15.18/15.23 c ---[1393]---> Adder-cost: 102 maxlim: 37 bits: 7/6 15.18/15.24 c ---[1391]---> Adder-cost: 125 maxlim: 54 bits: 7/6 15.18/15.24 c ---[1389]---> Adder-cost: 96 maxlim: 36 bits: 7/6 15.18/15.24 c ---[1387]---> Adder-cost: 75 maxlim: 27 bits: 6/5 15.18/15.24 c ---[1385]---> Adder-cost: 131 maxlim: 56 bits: 7/6 15.18/15.24 c ---[1383]---> Adder-cost: 123 maxlim: 54 bits: 7/6 15.18/15.24 c ---[1381]---> Adder-cost: 85 maxlim: 29 bits: 6/5 15.18/15.24 c ---[1379]---> Adder-cost: 94 maxlim: 36 bits: 7/6 15.18/15.25 c ---[1377]---> Adder-cost: 53 maxlim: 22 bits: 6/5 15.18/15.25 c ---[1375]---> Adder-cost: 90 maxlim: 35 bits: 7/6 15.18/15.25 c ---[1373]---> Adder-cost: 71 maxlim: 21 bits: 6/5 15.18/15.25 c ---[1371]---> Sorter-cost: 527 Base: 2 15.18/15.25 c ---[1369]---> Adder-cost: 75 maxlim: 25 bits: 6/5 15.18/15.25 c ---[1367]---> Adder-cost: 55 maxlim: 25 bits: 6/5 15.18/15.25 c ---[1365]---> Adder-cost: 59 maxlim: 23 bits: 6/5 15.18/15.25 c ---[1363]---> Adder-cost: 61 maxlim: 23 bits: 6/5 15.18/15.25 c ---[1361]---> Adder-cost: 65 maxlim: 23 bits: 6/5 15.18/15.25 c ---[1359]---> Adder-cost: 110 maxlim: 48 bits: 7/6 15.18/15.26 c ---[1357]---> Adder-cost: 117 maxlim: 54 bits: 7/6 15.18/15.26 c ---[1355]---> Adder-cost: 124 maxlim: 50 bits: 7/6 15.18/15.26 c ---[1353]---> Adder-cost: 121 maxlim: 58 bits: 7/6 15.18/15.26 c ---[1351]---> Adder-cost: 123 maxlim: 60 bits: 7/6 15.18/15.26 c ---[1349]---> Adder-cost: 186 maxlim: 97 bits: 8/7 15.18/15.26 c ---[1347]---> Adder-cost: 160 maxlim: 82 bits: 8/7 15.18/15.27 c ---[1345]---> Adder-cost: 134 maxlim: 70 bits: 8/7 15.18/15.27 c ---[1343]---> Adder-cost: 141 maxlim: 62 bits: 7/6 15.18/15.27 c ---[1341]---> Adder-cost: 148 maxlim: 64 bits: 8/7 15.18/15.27 c ---[1339]---> Adder-cost: 62 maxlim: 47 bits: 7/6 15.18/15.28 c ---[1337]---> Adder-cost: 71 maxlim: 22 bits: 6/5 15.18/15.28 c ---[1335]---> Adder-cost: 56 maxlim: 16 bits: 6/5 15.18/15.28 c ---[1333]---> Adder-cost: 86 maxlim: 32 bits: 7/6 15.18/15.28 c ---[1331]---> Adder-cost: 60 maxlim: 20 bits: 6/5 15.18/15.28 c ---[1329]---> Adder-cost: 54 maxlim: 16 bits: 6/5 15.18/15.28 c ---[1327]---> Sorter-cost: 577 Base: 2 15.18/15.28 c ---[1325]---> Adder-cost: 106 maxlim: 43 bits: 7/6 15.18/15.28 c ---[1323]---> Adder-cost: 60 maxlim: 19 bits: 6/5 15.18/15.28 c ---[1321]---> Adder-cost: 79 maxlim: 26 bits: 6/5 15.18/15.28 c ---[1319]---> Adder-cost: 143 maxlim: 58 bits: 7/6 15.18/15.29 c ---[1317]---> Adder-cost: 108 maxlim: 44 bits: 7/6 15.18/15.29 c ---[1315]---> Adder-cost: 69 maxlim: 24 bits: 6/5 15.18/15.29 c ---[1313]---> Adder-cost: 106 maxlim: 40 bits: 7/6 15.18/15.29 c ---[1311]---> Adder-cost: 96 maxlim: 47 bits: 7/6 15.18/15.29 c ---[1309]---> Adder-cost: 89 maxlim: 31 bits: 6/5 15.18/15.29 c ---[1307]---> Adder-cost: 60 maxlim: 17 bits: 6/5 15.18/15.29 c ---[1305]---> Adder-cost: 56 maxlim: 19 bits: 6/5 15.18/15.29 c ---[1303]---> Adder-cost: 110 maxlim: 42 bits: 7/6 15.18/15.30 c ---[1301]---> Adder-cost: 110 maxlim: 41 bits: 7/6 15.28/15.30 c ---[1299]---> Adder-cost: 75 maxlim: 27 bits: 6/5 15.28/15.30 c ---[1297]---> Adder-cost: 55 maxlim: 27 bits: 6/5 15.28/15.30 c ---[1295]---> Adder-cost: 55 maxlim: 27 bits: 6/5 15.28/15.30 c ---[1293]---> Adder-cost: 71 maxlim: 23 bits: 6/5 15.28/15.30 c ---[1291]---> Adder-cost: 155 maxlim: 63 bits: 7/6 15.28/15.30 c ---[1289]---> Adder-cost: 77 maxlim: 26 bits: 6/5 15.28/15.30 c ---[1287]---> Sorter-cost: 577 Base: 2 15.28/15.30 c ---[1285]---> Adder-cost: 96 maxlim: 35 bits: 7/6 15.28/15.31 c ---[1283]---> Adder-cost: 192 maxlim: 87 bits: 8/7 15.28/15.31 c ---[1281]---> Adder-cost: 127 maxlim: 54 bits: 7/6 15.28/15.31 c ---[1279]---> Adder-cost: 122 maxlim: 52 bits: 7/6 15.28/15.31 c ---[1277]---> Adder-cost: 102 maxlim: 49 bits: 7/6 15.28/15.31 c ---[1275]---> Adder-cost: 162 maxlim: 69 bits: 8/7 15.28/15.32 c ---[1273]---> Adder-cost: 134 maxlim: 70 bits: 8/7 15.28/15.32 c ---[1271]---> Adder-cost: 67 maxlim: 24 bits: 6/5 15.28/15.32 c ---[1269]---> Adder-cost: 102 maxlim: 41 bits: 7/6 15.28/15.32 c ---[1267]---> Adder-cost: 67 maxlim: 29 bits: 6/5 15.28/15.32 c ---[1265]---> Adder-cost: 87 maxlim: 30 bits: 6/5 15.28/15.32 c ---[1263]---> Adder-cost: 69 maxlim: 30 bits: 6/5 15.28/15.32 c ---[1261]---> Adder-cost: 89 maxlim: 31 bits: 6/5 15.28/15.32 c ---[1259]---> Adder-cost: 87 maxlim: 31 bits: 6/5 15.28/15.33 c ---[1257]---> Adder-cost: 98 maxlim: 42 bits: 7/6 15.28/15.33 c ---[1255]---> Adder-cost: 104 maxlim: 38 bits: 7/6 15.28/15.33 c ---[1253]---> Adder-cost: 61 maxlim: 28 bits: 6/5 15.28/15.33 c ---[1251]---> Adder-cost: 90 maxlim: 35 bits: 7/6 15.28/15.33 c ---[1249]---> Adder-cost: 63 maxlim: 24 bits: 6/5 15.28/15.33 c ---[1247]---> Adder-cost: 92 maxlim: 36 bits: 7/6 15.28/15.33 c ---[1245]---> Adder-cost: 135 maxlim: 56 bits: 7/6 15.28/15.33 c ---[1243]---> Adder-cost: 127 maxlim: 58 bits: 7/6 15.28/15.34 c ---[1241]---> Adder-cost: 153 maxlim: 63 bits: 7/6 15.28/15.34 c ---[1239]---> Adder-cost: 194 maxlim: 91 bits: 8/7 15.28/15.34 c ---[1237]---> Sorter-cost: 577 Base: 2 15.28/15.34 c ---[1235]---> Sorter-cost: 410 Base: 2 15.28/15.34 c ---[1233]---> Adder-cost: 60 maxlim: 19 bits: 6/5 15.28/15.34 c ---[1231]---> Adder-cost: 135 maxlim: 53 bits: 7/6 15.28/15.34 c ---[1229]---> Adder-cost: 73 maxlim: 53 bits: 7/6 15.28/15.35 c ---[1227]---> Adder-cost: 107 maxlim: 55 bits: 7/6 15.28/15.35 c ---[1225]---> Adder-cost: 71 maxlim: 21 bits: 6/5 15.28/15.35 c ---[1223]---> Adder-cost: 75 maxlim: 25 bits: 6/5 15.28/15.35 c ---[1221]---> Adder-cost: 112 maxlim: 43 bits: 7/6 15.28/15.35 c ---[1219]---> Adder-cost: 88 maxlim: 37 bits: 7/6 15.28/15.35 c ---[1217]---> Adder-cost: 86 maxlim: 35 bits: 7/6 15.28/15.35 c ---[1215]---> Adder-cost: 71 maxlim: 23 bits: 6/5 15.28/15.36 c ---[1213]---> Adder-cost: 71 maxlim: 24 bits: 6/5 15.28/15.36 c ---[1211]---> Adder-cost: 62 maxlim: 19 bits: 6/5 15.28/15.36 c ---[1209]---> Adder-cost: 77 maxlim: 25 bits: 6/5 15.28/15.36 c ---[1207]---> Adder-cost: 142 maxlim: 67 bits: 8/7 15.28/15.36 c ---[1205]---> Adder-cost: 116 maxlim: 50 bits: 7/6 15.28/15.36 c ---[1203]---> Adder-cost: 75 maxlim: 25 bits: 6/5 15.28/15.36 c ---[1201]---> Adder-cost: 61 maxlim: 23 bits: 6/5 15.28/15.36 c ---[1199]---> Adder-cost: 77 maxlim: 29 bits: 6/5 15.28/15.36 c ---[1197]---> Sorter-cost: 546 Base: 2 15.28/15.37 c ---[1195]---> Sorter-cost: 496 Base: 2 15.28/15.37 c ---[1193]---> Adder-cost: 71 maxlim: 23 bits: 6/5 15.28/15.37 c ---[1191]---> Adder-cost: 62 maxlim: 19 bits: 6/5 15.28/15.37 c ---[1189]---> Adder-cost: 52 maxlim: 19 bits: 6/5 15.28/15.37 c ---[1187]---> Adder-cost: 124 maxlim: 49 bits: 7/6 15.28/15.37 c ---[1185]---> Adder-cost: 114 maxlim: 51 bits: 7/6 15.28/15.37 c ---[1183]---> Adder-cost: 137 maxlim: 57 bits: 7/6 15.28/15.37 c ---[1181]---> Adder-cost: 131 maxlim: 57 bits: 7/6 15.28/15.38 c ---[1179]---> Adder-cost: 104 maxlim: 42 bits: 7/6 15.28/15.38 c ---[1177]---> Adder-cost: 96 maxlim: 43 bits: 7/6 15.28/15.38 c ---[1175]---> Adder-cost: 67 maxlim: 24 bits: 6/5 15.28/15.38 c ---[1173]---> Sorter-cost: 577 Base: 2 15.28/15.38 c ---[1171]---> Adder-cost: 122 maxlim: 50 bits: 7/6 15.28/15.38 c ---[1169]---> Adder-cost: 79 maxlim: 28 bits: 6/5 15.28/15.38 c ---[1167]---> Adder-cost: 54 maxlim: 18 bits: 6/5 15.28/15.38 c ---[1165]---> Adder-cost: 60 maxlim: 17 bits: 6/5 15.28/15.38 c ---[1163]---> Adder-cost: 77 maxlim: 27 bits: 6/5 15.28/15.39 c ---[1161]---> Adder-cost: 55 maxlim: 27 bits: 6/5 15.28/15.39 c ---[1159]---> Adder-cost: 63 maxlim: 25 bits: 6/5 15.28/15.39 c ---[1157]---> Adder-cost: 114 maxlim: 45 bits: 7/6 15.28/15.39 c ---[1155]---> Adder-cost: 66 maxlim: 45 bits: 7/6 15.28/15.39 c ---[1153]---> Adder-cost: 67 maxlim: 24 bits: 6/5 15.28/15.39 c ---[1151]---> Adder-cost: 66 maxlim: 45 bits: 7/6 15.28/15.39 c ---[1149]---> Sorter-cost: 577 Base: 2 15.28/15.39 c ---[1147]---> Adder-cost: 110 maxlim: 41 bits: 7/6 15.28/15.40 c ---[1145]---> Adder-cost: 90 maxlim: 40 bits: 7/6 15.28/15.40 c ---[1143]---> Adder-cost: 124 maxlim: 52 bits: 7/6 15.28/15.40 c ---[1141]---> Adder-cost: 64 maxlim: 52 bits: 7/6 15.28/15.40 c ---[1139]---> Adder-cost: 99 maxlim: 53 bits: 7/6 15.28/15.40 c ---[1137]---> Adder-cost: 84 maxlim: 34 bits: 7/6 15.40/15.40 c ---[1135]---> Adder-cost: 88 maxlim: 44 bits: 7/6 15.40/15.40 c ---[1133]---> Adder-cost: 63 maxlim: 21 bits: 6/5 15.40/15.41 c ---[1131]---> Adder-cost: 58 maxlim: 34 bits: 7/6 15.40/15.41 c ---[1129]---> Adder-cost: 58 maxlim: 34 bits: 7/6 15.40/15.41 c ---[1127]---> Adder-cost: 102 maxlim: 39 bits: 7/6 15.40/15.41 c ---[1125]---> Adder-cost: 68 maxlim: 39 bits: 7/6 15.40/15.41 c ---[1123]---> Adder-cost: 110 maxlim: 50 bits: 7/6 15.40/15.41 c ---[1121]---> Adder-cost: 137 maxlim: 58 bits: 7/6 15.40/15.41 c ---[1119]---> Adder-cost: 77 maxlim: 58 bits: 7/6 15.40/15.42 c ---[1117]---> Adder-cost: 105 maxlim: 60 bits: 7/6 15.40/15.42 c ---[1115]---> Adder-cost: 131 maxlim: 58 bits: 7/6 15.40/15.42 c ---[1113]---> Adder-cost: 77 maxlim: 58 bits: 7/6 15.40/15.42 c ---[1111]---> Adder-cost: 58 maxlim: 20 bits: 6/5 15.40/15.42 c ---[1109]---> Adder-cost: 75 maxlim: 24 bits: 6/5 15.40/15.42 c ---[1107]---> Adder-cost: 55 maxlim: 23 bits: 6/5 15.40/15.42 c ---[1105]---> Adder-cost: 75 maxlim: 25 bits: 6/5 15.40/15.43 c ---[1103]---> Adder-cost: 77 maxlim: 27 bits: 6/5 15.40/15.43 c ---[1101]---> Adder-cost: 151 maxlim: 62 bits: 7/6 15.40/15.43 c ---[1099]---> Adder-cost: 148 maxlim: 70 bits: 8/7 15.40/15.43 c ---[1097]---> Adder-cost: 132 maxlim: 67 bits: 8/7 15.40/15.43 c ---[1095]---> Adder-cost: 136 maxlim: 66 bits: 8/7 15.40/15.43 c ---[1093]---> Adder-cost: 85 maxlim: 29 bits: 6/5 15.40/15.44 c ---[1091]---> Adder-cost: 69 maxlim: 26 bits: 6/5 15.40/15.44 c ---[1089]---> Adder-cost: 77 maxlim: 25 bits: 6/5 15.40/15.44 c ---[1087]---> Adder-cost: 92 maxlim: 35 bits: 7/6 15.40/15.44 c ---[1085]---> Adder-cost: 60 maxlim: 18 bits: 6/5 15.40/15.44 c ---[1083]---> Adder-cost: 50 maxlim: 19 bits: 6/5 15.40/15.44 c ---[1081]---> Adder-cost: 63 maxlim: 23 bits: 6/5 15.40/15.44 c ---[1079]---> Adder-cost: 56 maxlim: 16 bits: 6/5 15.40/15.44 c ---[1077]---> Sorter-cost: 546 Base: 2 15.40/15.44 c ---[1075]---> Adder-cost: 228 maxlim: 114 bits: 8/7 15.40/15.45 c ---[1073]---> Adder-cost: 106 maxlim: 42 bits: 7/6 15.40/15.45 c ---[1071]---> Adder-cost: 94 maxlim: 38 bits: 7/6 15.40/15.45 c ---[1069]---> Adder-cost: 118 maxlim: 45 bits: 7/6 15.40/15.45 c ---[1067]---> Adder-cost: 106 maxlim: 41 bits: 7/6 15.40/15.45 c ---[1065]---> Adder-cost: 54 maxlim: 17 bits: 6/5 15.40/15.45 c ---[1063]---> Adder-cost: 44 maxlim: 16 bits: 6/5 15.40/15.45 c ---[1061]---> Sorter-cost: 546 Base: 2 15.40/15.45 c ---[1059]---> Adder-cost: 79 maxlim: 25 bits: 6/5 15.40/15.46 c ---[1057]---> Adder-cost: 98 maxlim: 44 bits: 7/6 15.40/15.46 c ---[1055]---> Adder-cost: 67 maxlim: 23 bits: 6/5 15.40/15.46 c ---[1053]---> Adder-cost: 75 maxlim: 25 bits: 6/5 15.40/15.46 c ---[1051]---> Adder-cost: 69 maxlim: 25 bits: 6/5 15.40/15.46 c ---[1049]---> Adder-cost: 61 maxlim: 21 bits: 6/5 15.40/15.46 c ---[1047]---> Adder-cost: 79 maxlim: 28 bits: 6/5 15.40/15.46 c ---[1045]---> Adder-cost: 106 maxlim: 47 bits: 7/6 15.40/15.46 c ---[1043]---> Adder-cost: 73 maxlim: 26 bits: 6/5 15.40/15.46 c ---[1041]---> Adder-cost: 67 maxlim: 25 bits: 6/5 15.40/15.47 c ---[1039]---> Adder-cost: 62 maxlim: 20 bits: 6/5 15.40/15.47 c ---[1037]---> Adder-cost: 50 maxlim: 17 bits: 6/5 15.40/15.47 c ---[1035]---> Adder-cost: 44 maxlim: 16 bits: 6/5 15.40/15.47 c ---[1033]---> Adder-cost: 84 maxlim: 33 bits: 7/6 15.40/15.47 c ---[1031]---> Adder-cost: 52 maxlim: 20 bits: 6/5 15.40/15.47 c ---[1029]---> Adder-cost: 75 maxlim: 23 bits: 6/5 15.40/15.47 c ---[1027]---> Sorter-cost: 546 Base: 2 15.40/15.47 c ---[1025]---> Sorter-cost: 527 Base: 2 15.40/15.47 c ---[1023]---> Adder-cost: 65 maxlim: 22 bits: 6/5 15.40/15.47 c ---[1021]---> Adder-cost: 81 maxlim: 28 bits: 6/5 15.40/15.47 c ---[1019]---> Adder-cost: 53 maxlim: 22 bits: 6/5 15.40/15.48 c ---[1017]---> Adder-cost: 61 maxlim: 28 bits: 6/5 15.40/15.48 c ---[1015]---> Adder-cost: 112 maxlim: 44 bits: 7/6 15.40/15.48 c ---[1013]---> Adder-cost: 108 maxlim: 45 bits: 7/6 15.40/15.48 c ---[1011]---> Adder-cost: 123 maxlim: 53 bits: 7/6 15.40/15.48 c ---[1009]---> Adder-cost: 77 maxlim: 30 bits: 6/5 15.40/15.48 c ---[1007]---> Adder-cost: 127 maxlim: 56 bits: 7/6 15.40/15.48 c ---[1005]---> Adder-cost: 119 maxlim: 55 bits: 7/6 15.40/15.49 c ---[1003]---> Adder-cost: 124 maxlim: 49 bits: 7/6 15.40/15.49 c ---[1001]---> Adder-cost: 92 maxlim: 52 bits: 7/6 15.40/15.49 c ---[ 999]---> Adder-cost: 60 maxlim: 17 bits: 6/5 15.40/15.49 c ---[ 997]---> Adder-cost: 168 maxlim: 71 bits: 8/7 15.40/15.49 c ---[ 995]---> Sorter-cost: 577 Base: 2 15.40/15.49 c ---[ 993]---> Sorter-cost: 496 Base: 2 15.40/15.49 c ---[ 991]---> Adder-cost: 77 maxlim: 27 bits: 6/5 15.40/15.49 c ---[ 989]---> Adder-cost: 77 maxlim: 27 bits: 6/5 15.40/15.50 c ---[ 987]---> Adder-cost: 104 maxlim: 40 bits: 7/6 15.40/15.50 c ---[ 985]---> Adder-cost: 104 maxlim: 45 bits: 7/6 15.40/15.50 c ---[ 983]---> Adder-cost: 78 maxlim: 71 bits: 8/7 15.40/15.50 c ---[ 981]---> Adder-cost: 84 maxlim: 36 bits: 7/6 15.40/15.50 c ---[ 979]---> Adder-cost: 76 maxlim: 34 bits: 7/6 15.50/15.50 c ---[ 977]---> Adder-cost: 121 maxlim: 55 bits: 7/6 15.50/15.50 c ---[ 975]---> Adder-cost: 117 maxlim: 54 bits: 7/6 15.50/15.51 c ---[ 973]---> Adder-cost: 78 maxlim: 71 bits: 8/7 15.50/15.51 c ---[ 971]---> Adder-cost: 99 maxlim: 56 bits: 7/6 15.50/15.51 c ---[ 969]---> Adder-cost: 102 maxlim: 43 bits: 7/6 15.50/15.51 c ---[ 967]---> Adder-cost: 110 maxlim: 48 bits: 7/6 15.50/15.51 c ---[ 965]---> Adder-cost: 98 maxlim: 37 bits: 7/6 15.50/15.52 c ---[ 963]---> Adder-cost: 75 maxlim: 31 bits: 6/5 15.50/15.52 c ---[ 961]---> Adder-cost: 130 maxlim: 72 bits: 8/7 15.50/15.52 c ---[ 959]---> Adder-cost: 79 maxlim: 26 bits: 6/5 15.50/15.52 c ---[ 957]---> Adder-cost: 61 maxlim: 26 bits: 6/5 15.50/15.52 c ---[ 955]---> Adder-cost: 102 maxlim: 42 bits: 7/6 15.50/15.52 c ---[ 953]---> Adder-cost: 90 maxlim: 44 bits: 7/6 15.50/15.52 c ---[ 951]---> Adder-cost: 96 maxlim: 38 bits: 7/6 15.50/15.52 c ---[ 949]---> Adder-cost: 102 maxlim: 43 bits: 7/6 15.50/15.53 c ---[ 947]---> Adder-cost: 82 maxlim: 41 bits: 7/6 15.50/15.53 c ---[ 945]---> Adder-cost: 90 maxlim: 43 bits: 7/6 15.50/15.53 c ---[ 943]---> Adder-cost: 73 maxlim: 21 bits: 6/5 15.50/15.53 c ---[ 941]---> Adder-cost: 71 maxlim: 24 bits: 6/5 15.50/15.53 c ---[ 939]---> Adder-cost: 67 maxlim: 21 bits: 6/5 15.50/15.53 c ---[ 937]---> Adder-cost: 86 maxlim: 32 bits: 7/6 15.50/15.53 c ---[ 935]---> Sorter-cost: 546 Base: 2 15.50/15.53 c ---[ 933]---> Sorter-cost: 539 Base: 2 15.50/15.53 c ---[ 931]---> Adder-cost: 124 maxlim: 52 bits: 7/6 15.50/15.54 c ---[ 929]---> Adder-cost: 64 maxlim: 52 bits: 7/6 15.50/15.54 c ---[ 927]---> Adder-cost: 102 maxlim: 49 bits: 7/6 15.50/15.54 c ---[ 925]---> Adder-cost: 74 maxlim: 33 bits: 7/6 15.50/15.54 c ---[ 923]---> Adder-cost: 73 maxlim: 22 bits: 6/5 15.50/15.54 c ---[ 921]---> Adder-cost: 81 maxlim: 29 bits: 6/5 15.50/15.54 c ---[ 919]---> Adder-cost: 73 maxlim: 30 bits: 6/5 15.50/15.54 c ---[ 917]---> Adder-cost: 88 maxlim: 32 bits: 7/6 15.50/15.55 c ---[ 915]---> Adder-cost: 104 maxlim: 42 bits: 7/6 15.50/15.55 c ---[ 913]---> Adder-cost: 88 maxlim: 35 bits: 7/6 15.50/15.55 c ---[ 911]---> Adder-cost: 82 maxlim: 41 bits: 7/6 15.50/15.55 c ---[ 909]---> Adder-cost: 80 maxlim: 43 bits: 7/6 15.50/15.55 c ---[ 907]---> Adder-cost: 80 maxlim: 40 bits: 7/6 15.50/15.55 c ---[ 905]---> Adder-cost: 70 maxlim: 37 bits: 7/6 15.50/15.55 c ---[ 903]---> Adder-cost: 62 maxlim: 19 bits: 6/5 15.50/15.55 c ---[ 901]---> Adder-cost: 114 maxlim: 51 bits: 7/6 15.50/15.56 c ---[ 899]---> Adder-cost: 60 maxlim: 19 bits: 6/5 15.50/15.56 c ---[ 897]---> Adder-cost: 62 maxlim: 20 bits: 6/5 15.50/15.56 c ---[ 895]---> Adder-cost: 60 maxlim: 19 bits: 6/5 15.50/15.56 c ---[ 893]---> Adder-cost: 69 maxlim: 25 bits: 6/5 15.50/15.56 c ---[ 891]---> Adder-cost: 94 maxlim: 46 bits: 7/6 15.50/15.56 c ---[ 889]---> Adder-cost: 156 maxlim: 69 bits: 8/7 15.50/15.56 c ---[ 887]---> Adder-cost: 82 maxlim: 69 bits: 8/7 15.50/15.57 c ---[ 885]---> Adder-cost: 151 maxlim: 61 bits: 7/6 15.50/15.57 c ---[ 883]---> Adder-cost: 122 maxlim: 49 bits: 7/6 15.50/15.57 c ---[ 881]---> Adder-cost: 119 maxlim: 53 bits: 7/6 15.50/15.57 c ---[ 879]---> Adder-cost: 73 maxlim: 53 bits: 7/6 15.50/15.57 c ---[ 877]---> Adder-cost: 73 maxlim: 53 bits: 7/6 15.50/15.57 c ---[ 875]---> Adder-cost: 174 maxlim: 82 bits: 8/7 15.50/15.58 c ---[ 873]---> Adder-cost: 144 maxlim: 77 bits: 8/7 15.50/15.58 c ---[ 871]---> Adder-cost: 80 maxlim: 46 bits: 7/6 15.50/15.58 c ---[ 869]---> Adder-cost: 73 maxlim: 26 bits: 6/5 15.50/15.58 c ---[ 867]---> Adder-cost: 69 maxlim: 21 bits: 6/5 15.50/15.58 c ---[ 865]---> Sorter-cost: 546 Base: 2 15.50/15.58 c ---[ 863]---> Sorter-cost: 824 Base: 7 15.50/15.58 c ---[ 861]---> Adder-cost: 104 maxlim: 39 bits: 7/6 15.50/15.59 c ---[ 859]---> Adder-cost: 100 maxlim: 43 bits: 7/6 15.50/15.59 c ---[ 857]---> Adder-cost: 127 maxlim: 55 bits: 7/6 15.50/15.59 c ---[ 855]---> Adder-cost: 106 maxlim: 48 bits: 7/6 15.50/15.59 c ---[ 853]---> Adder-cost: 102 maxlim: 44 bits: 7/6 15.50/15.59 c ---[ 851]---> Adder-cost: 84 maxlim: 45 bits: 7/6 15.50/15.59 c ---[ 849]---> Adder-cost: 108 maxlim: 41 bits: 7/6 15.50/15.60 c ---[ 847]---> Adder-cost: 75 maxlim: 25 bits: 6/5 15.59/15.60 c ---[ 845]---> Adder-cost: 68 maxlim: 45 bits: 7/6 15.59/15.60 c ---[ 843]---> Adder-cost: 90 maxlim: 47 bits: 7/6 15.59/15.60 c ---[ 841]---> Adder-cost: 92 maxlim: 36 bits: 7/6 15.59/15.60 c ---[ 839]---> Adder-cost: 110 maxlim: 46 bits: 7/6 15.59/15.60 c ---[ 837]---> Adder-cost: 69 maxlim: 22 bits: 6/5 15.59/15.60 c ---[ 835]---> Adder-cost: 79 maxlim: 28 bits: 6/5 15.59/15.60 c ---[ 833]---> Adder-cost: 92 maxlim: 40 bits: 7/6 15.59/15.61 c ---[ 831]---> Adder-cost: 108 maxlim: 49 bits: 7/6 15.59/15.61 c ---[ 829]---> Adder-cost: 69 maxlim: 23 bits: 6/5 15.59/15.61 c ---[ 827]---> Adder-cost: 54 maxlim: 17 bits: 6/5 15.59/15.61 c ---[ 825]---> Adder-cost: 56 maxlim: 16 bits: 6/5 15.59/15.61 c ---[ 823]---> Sorter-cost: 546 Base: 2 15.59/15.61 c ---[ 821]---> Sorter-cost: 713 Base: 7 15.59/15.61 c ---[ 819]---> Adder-cost: 75 maxlim: 26 bits: 6/5 15.59/15.61 c ---[ 817]---> Adder-cost: 143 maxlim: 61 bits: 7/6 15.59/15.61 c ---[ 815]---> Adder-cost: 125 maxlim: 61 bits: 7/6 15.59/15.62 c ---[ 813]---> Adder-cost: 158 maxlim: 77 bits: 8/7 15.59/15.62 c ---[ 811]---> Adder-cost: 73 maxlim: 24 bits: 6/5 15.59/15.62 c ---[ 809]---> Adder-cost: 90 maxlim: 32 bits: 7/6 15.59/15.62 c ---[ 807]---> Adder-cost: 60 maxlim: 18 bits: 6/5 15.59/15.62 c ---[ 805]---> Adder-cost: 62 maxlim: 19 bits: 6/5 15.59/15.62 c ---[ 803]---> Adder-cost: 96 maxlim: 35 bits: 7/6 15.59/15.62 c ---[ 801]---> Adder-cost: 56 maxlim: 35 bits: 7/6 15.59/15.62 c ---[ 799]---> Adder-cost: 92 maxlim: 38 bits: 7/6 15.59/15.63 c ---[ 797]---> Adder-cost: 120 maxlim: 48 bits: 7/6 15.59/15.63 c ---[ 795]---> Adder-cost: 104 maxlim: 48 bits: 7/6 15.59/15.63 c ---[ 793]---> Adder-cost: 92 maxlim: 43 bits: 7/6 15.59/15.63 c ---[ 791]---> Adder-cost: 98 maxlim: 45 bits: 7/6 15.59/15.63 c ---[ 789]---> Adder-cost: 98 maxlim: 37 bits: 7/6 15.59/15.63 c ---[ 787]---> Adder-cost: 58 maxlim: 20 bits: 6/5 15.59/15.63 c ---[ 785]---> Adder-cost: 61 maxlim: 24 bits: 6/5 15.59/15.64 c ---[ 783]---> Adder-cost: 56 maxlim: 17 bits: 6/5 15.59/15.64 c ---[ 781]---> Sorter-cost: 577 Base: 2 15.59/15.64 c ---[ 779]---> Sorter-cost: 546 Base: 2 15.59/15.64 c ---[ 777]---> Sorter-cost: 661 Base: 7 15.59/15.64 c ---[ 775]---> Sorter-cost: 751 Base: 7 15.59/15.64 c ---[ 773]---> Adder-cost: 170 maxlim: 86 bits: 8/7 15.59/15.64 c ---[ 771]---> Adder-cost: 84 maxlim: 86 bits: 8/7 15.59/15.64 c ---[ 769]---> Adder-cost: 98 maxlim: 40 bits: 7/6 15.59/15.65 c ---[ 767]---> Adder-cost: 104 maxlim: 42 bits: 7/6 15.59/15.65 c ---[ 765]---> Adder-cost: 104 maxlim: 42 bits: 7/6 15.59/15.65 c ---[ 763]---> Adder-cost: 122 maxlim: 49 bits: 7/6 15.59/15.65 c ---[ 761]---> Adder-cost: 116 maxlim: 50 bits: 7/6 15.59/15.65 c ---[ 759]---> Adder-cost: 198 maxlim: 96 bits: 8/7 15.59/15.65 c ---[ 757]---> Adder-cost: 210 maxlim: 109 bits: 8/7 15.59/15.66 c ---[ 755]---> Adder-cost: 98 maxlim: 40 bits: 7/6 15.59/15.66 c ---[ 753]---> Adder-cost: 88 maxlim: 40 bits: 7/6 15.59/15.66 c ---[ 751]---> Adder-cost: 86 maxlim: 35 bits: 7/6 15.59/15.66 c ---[ 749]---> Adder-cost: 71 maxlim: 24 bits: 6/5 15.59/15.66 c ---[ 747]---> Adder-cost: 76 maxlim: 33 bits: 7/6 15.59/15.66 c ---[ 745]---> Sorter-cost: 546 Base: 2 15.59/15.67 c ---[ 743]---> Sorter-cost: 539 Base: 2 15.59/15.67 c ---[ 741]---> Adder-cost: 77 maxlim: 28 bits: 6/5 15.59/15.67 c ---[ 739]---> Adder-cost: 110 maxlim: 44 bits: 7/6 15.59/15.67 c ---[ 737]---> Adder-cost: 96 maxlim: 39 bits: 7/6 15.59/15.67 c ---[ 735]---> Adder-cost: 82 maxlim: 36 bits: 7/6 15.59/15.67 c ---[ 733]---> Adder-cost: 96 maxlim: 40 bits: 7/6 15.59/15.67 c ---[ 731]---> Adder-cost: 151 maxlim: 61 bits: 7/6 15.59/15.67 c ---[ 729]---> Adder-cost: 110 maxlim: 64 bits: 8/7 15.59/15.68 c ---[ 727]---> Adder-cost: 95 maxlim: 56 bits: 7/6 15.59/15.68 c ---[ 725]---> Adder-cost: 87 maxlim: 29 bits: 6/5 15.59/15.68 c ---[ 723]---> Adder-cost: 71 maxlim: 56 bits: 7/6 15.59/15.68 c ---[ 721]---> Sorter-cost: 546 Base: 2 15.59/15.68 c ---[ 719]---> Adder-cost: 62 maxlim: 19 bits: 6/5 15.59/15.68 c ---[ 717]---> Adder-cost: 81 maxlim: 28 bits: 6/5 15.59/15.68 c ---[ 715]---> Adder-cost: 168 maxlim: 73 bits: 8/7 15.59/15.69 c ---[ 713]---> Adder-cost: 86 maxlim: 73 bits: 8/7 15.59/15.69 c ---[ 711]---> Adder-cost: 77 maxlim: 26 bits: 6/5 15.59/15.69 c ---[ 709]---> Adder-cost: 71 maxlim: 24 bits: 6/5 15.59/15.69 c ---[ 707]---> Adder-cost: 77 maxlim: 25 bits: 6/5 15.59/15.69 c ---[ 705]---> Adder-cost: 71 maxlim: 29 bits: 6/5 15.59/15.69 c ---[ 703]---> Adder-cost: 57 maxlim: 22 bits: 6/5 15.59/15.69 c ---[ 701]---> Adder-cost: 104 maxlim: 41 bits: 7/6 15.59/15.69 c ---[ 699]---> Adder-cost: 108 maxlim: 46 bits: 7/6 15.69/15.70 c ---[ 697]---> Adder-cost: 100 maxlim: 48 bits: 7/6 15.69/15.70 c ---[ 695]---> Adder-cost: 92 maxlim: 51 bits: 7/6 15.69/15.70 c ---[ 693]---> Adder-cost: 67 maxlim: 23 bits: 6/5 15.69/15.70 c ---[ 691]---> Adder-cost: 67 maxlim: 22 bits: 6/5 15.69/15.70 c ---[ 689]---> Adder-cost: 52 maxlim: 18 bits: 6/5 15.69/15.70 c ---[ 687]---> Sorter-cost: 577 Base: 2 15.69/15.70 c ---[ 685]---> Adder-cost: 75 maxlim: 30 bits: 6/5 15.69/15.70 c ---[ 683]---> Adder-cost: 58 maxlim: 20 bits: 6/5 15.69/15.71 c ---[ 681]---> Adder-cost: 71 maxlim: 26 bits: 6/5 15.69/15.71 c ---[ 679]---> Adder-cost: 61 maxlim: 24 bits: 6/5 15.69/15.71 c ---[ 677]---> Adder-cost: 106 maxlim: 39 bits: 7/6 15.69/15.71 c ---[ 675]---> Adder-cost: 110 maxlim: 46 bits: 7/6 15.69/15.71 c ---[ 673]---> Adder-cost: 125 maxlim: 55 bits: 7/6 15.69/15.71 c ---[ 671]---> Adder-cost: 108 maxlim: 42 bits: 7/6 15.69/15.71 c ---[ 669]---> Adder-cost: 65 maxlim: 24 bits: 6/5 15.69/15.71 c ---[ 667]---> Adder-cost: 106 maxlim: 44 bits: 7/6 15.69/15.72 c ---[ 665]---> Adder-cost: 98 maxlim: 45 bits: 7/6 15.69/15.72 c ---[ 663]---> Adder-cost: 84 maxlim: 47 bits: 7/6 15.69/15.72 c ---[ 661]---> Adder-cost: 75 maxlim: 23 bits: 6/5 15.69/15.72 c ---[ 659]---> Adder-cost: 60 maxlim: 18 bits: 6/5 15.69/15.72 c ---[ 657]---> Sorter-cost: 577 Base: 2 15.69/15.72 c ---[ 655]---> Adder-cost: 71 maxlim: 24 bits: 6/5 15.69/15.72 c ---[ 653]---> Adder-cost: 60 maxlim: 19 bits: 6/5 15.69/15.72 c ---[ 651]---> Adder-cost: 46 maxlim: 19 bits: 6/5 15.69/15.72 c ---[ 649]---> Adder-cost: 90 maxlim: 38 bits: 7/6 15.69/15.73 c ---[ 647]---> Adder-cost: 52 maxlim: 20 bits: 6/5 15.69/15.73 c ---[ 645]---> Adder-cost: 46 maxlim: 18 bits: 6/5 15.69/15.73 c ---[ 643]---> Adder-cost: 85 maxlim: 29 bits: 6/5 15.69/15.73 c ---[ 641]---> Adder-cost: 74 maxlim: 32 bits: 7/6 15.69/15.73 c ---[ 639]---> Adder-cost: 92 maxlim: 34 bits: 7/6 15.69/15.73 c ---[ 637]---> Adder-cost: 108 maxlim: 47 bits: 7/6 15.69/15.73 c ---[ 635]---> Adder-cost: 104 maxlim: 39 bits: 7/6 15.69/15.73 c ---[ 633]---> Adder-cost: 308 maxlim: 147 bits: 9/8 15.69/15.74 c ---[ 631]---> Adder-cost: 122 maxlim: 50 bits: 7/6 15.69/15.74 c ---[ 629]---> Adder-cost: 122 maxlim: 52 bits: 7/6 15.69/15.74 c ---[ 627]---> Adder-cost: 116 maxlim: 50 bits: 7/6 15.69/15.74 c ---[ 625]---> Adder-cost: 73 maxlim: 24 bits: 6/5 15.69/15.74 c ---[ 623]---> Adder-cost: 100 maxlim: 47 bits: 7/6 15.69/15.75 c ---[ 621]---> Adder-cost: 144 maxlim: 70 bits: 8/7 15.69/15.75 c ---[ 619]---> Adder-cost: 166 maxlim: 79 bits: 8/7 15.69/15.75 c ---[ 617]---> Adder-cost: 146 maxlim: 66 bits: 8/7 15.69/15.75 c ---[ 615]---> Adder-cost: 94 maxlim: 33 bits: 7/6 15.69/15.75 c ---[ 613]---> Adder-cost: 116 maxlim: 49 bits: 7/6 15.69/15.76 c ---[ 611]---> Adder-cost: 139 maxlim: 57 bits: 7/6 15.69/15.76 c ---[ 609]---> Adder-cost: 79 maxlim: 25 bits: 6/5 15.69/15.76 c ---[ 607]---> Adder-cost: 56 maxlim: 19 bits: 6/5 15.69/15.76 c ---[ 605]---> Adder-cost: 69 maxlim: 26 bits: 6/5 15.69/15.76 c ---[ 603]---> Adder-cost: 67 maxlim: 21 bits: 6/5 15.69/15.76 c ---[ 601]---> Adder-cost: 71 maxlim: 25 bits: 6/5 15.69/15.76 c ---[ 599]---> Adder-cost: 73 maxlim: 26 bits: 6/5 15.69/15.76 c ---[ 597]---> Adder-cost: 50 maxlim: 17 bits: 6/5 15.69/15.76 c ---[ 595]---> Sorter-cost: 577 Base: 2 15.69/15.77 c ---[ 593]---> Adder-cost: 60 maxlim: 17 bits: 6/5 15.69/15.77 c ---[ 591]---> Sorter-cost: 577 Base: 2 15.69/15.77 c ---[ 589]---> Sorter-cost: 506 Base: 2 15.69/15.77 c ---[ 587]---> Adder-cost: 94 maxlim: 34 bits: 7/6 15.69/15.77 c ---[ 585]---> Adder-cost: 86 maxlim: 35 bits: 7/6 15.69/15.77 c ---[ 583]---> Adder-cost: 62 maxlim: 19 bits: 6/5 15.69/15.77 c ---[ 581]---> Adder-cost: 114 maxlim: 46 bits: 7/6 15.69/15.77 c ---[ 579]---> Adder-cost: 46 maxlim: 19 bits: 6/5 15.69/15.77 c ---[ 577]---> Adder-cost: 56 maxlim: 20 bits: 6/5 15.69/15.77 c ---[ 575]---> Sorter-cost: 577 Base: 2 15.69/15.77 c ---[ 573]---> Adder-cost: 154 maxlim: 68 bits: 8/7 15.69/15.78 c ---[ 571]---> Adder-cost: 129 maxlim: 61 bits: 7/6 15.69/15.78 c ---[ 569]---> Adder-cost: 119 maxlim: 59 bits: 7/6 15.69/15.78 c ---[ 567]---> Adder-cost: 129 maxlim: 61 bits: 7/6 15.69/15.78 c ---[ 565]---> Adder-cost: 120 maxlim: 50 bits: 7/6 15.69/15.78 c ---[ 563]---> Adder-cost: 108 maxlim: 50 bits: 7/6 15.69/15.79 c ---[ 561]---> Adder-cost: 102 maxlim: 44 bits: 7/6 15.69/15.79 c ---[ 559]---> Adder-cost: 82 maxlim: 38 bits: 7/6 15.69/15.79 c ---[ 557]---> Adder-cost: 103 maxlim: 63 bits: 7/6 15.69/15.79 c ---[ 555]---> Adder-cost: 110 maxlim: 66 bits: 8/7 15.69/15.79 c ---[ 553]---> Adder-cost: 107 maxlim: 56 bits: 7/6 15.69/15.79 c ---[ 551]---> Adder-cost: 83 maxlim: 56 bits: 7/6 15.79/15.80 c ---[ 549]---> Sorter-cost: 546 Base: 2 15.79/15.80 c ---[ 547]---> Adder-cost: 60 maxlim: 17 bits: 6/5 15.79/15.80 c ---[ 545]---> Adder-cost: 62 maxlim: 19 bits: 6/5 15.79/15.80 c ---[ 543]---> Adder-cost: 56 maxlim: 17 bits: 6/5 15.79/15.80 c ---[ 541]---> Adder-cost: 52 maxlim: 17 bits: 6/5 15.79/15.80 c ---[ 539]---> Sorter-cost: 546 Base: 2 15.79/15.80 c ---[ 537]---> Adder-cost: 76 maxlim: 37 bits: 7/6 15.79/15.80 c ---[ 535]---> Adder-cost: 174 maxlim: 86 bits: 8/7 15.79/15.80 c ---[ 533]---> Adder-cost: 84 maxlim: 86 bits: 8/7 15.79/15.81 c ---[ 531]---> Adder-cost: 164 maxlim: 90 bits: 8/7 15.79/15.81 c ---[ 529]---> Adder-cost: 117 maxlim: 54 bits: 7/6 15.79/15.81 c ---[ 527]---> Adder-cost: 116 maxlim: 52 bits: 7/6 15.79/15.81 c ---[ 525]---> Adder-cost: 108 maxlim: 50 bits: 7/6 15.79/15.82 c ---[ 523]---> Adder-cost: 96 maxlim: 46 bits: 7/6 15.79/15.82 c ---[ 521]---> Adder-cost: 70 maxlim: 38 bits: 7/6 15.79/15.82 c ---[ 519]---> Adder-cost: 102 maxlim: 42 bits: 7/6 15.79/15.82 c ---[ 517]---> Adder-cost: 52 maxlim: 16 bits: 6/5 15.79/15.82 c ---[ 515]---> Adder-cost: 46 maxlim: 16 bits: 6/5 15.79/15.82 c ---[ 513]---> Sorter-cost: 546 Base: 2 15.79/15.82 c ---[ 511]---> Sorter-cost: 637 Base: 7 15.79/15.82 c ---[ 509]---> Adder-cost: 96 maxlim: 36 bits: 7/6 15.79/15.82 c ---[ 507]---> Adder-cost: 92 maxlim: 40 bits: 7/6 15.79/15.83 c ---[ 505]---> Adder-cost: 78 maxlim: 37 bits: 7/6 15.79/15.83 c ---[ 503]---> Adder-cost: 94 maxlim: 43 bits: 7/6 15.79/15.83 c ---[ 501]---> Adder-cost: 104 maxlim: 47 bits: 7/6 15.79/15.83 c ---[ 499]---> Adder-cost: 74 maxlim: 35 bits: 7/6 15.79/15.83 c ---[ 497]---> Adder-cost: 70 maxlim: 42 bits: 7/6 15.79/15.83 c ---[ 495]---> Adder-cost: 94 maxlim: 42 bits: 7/6 15.79/15.83 c ---[ 493]---> Adder-cost: 84 maxlim: 44 bits: 7/6 15.79/15.84 c ---[ 491]---> Adder-cost: 116 maxlim: 45 bits: 7/6 15.79/15.84 c ---[ 489]---> Adder-cost: 82 maxlim: 48 bits: 7/6 15.79/15.84 c ---[ 487]---> Adder-cost: 126 maxlim: 64 bits: 8/7 15.79/15.84 c ---[ 485]---> Adder-cost: 134 maxlim: 66 bits: 8/7 15.79/15.84 c ---[ 483]---> Adder-cost: 104 maxlim: 47 bits: 7/6 15.79/15.84 c ---[ 481]---> Adder-cost: 89 maxlim: 31 bits: 6/5 15.79/15.85 c ---[ 479]---> Adder-cost: 81 maxlim: 31 bits: 6/5 15.79/15.85 c ---[ 477]---> Adder-cost: 82 maxlim: 33 bits: 7/6 15.79/15.85 c ---[ 475]---> Adder-cost: 71 maxlim: 26 bits: 6/5 15.79/15.85 c ---[ 473]---> Adder-cost: 73 maxlim: 24 bits: 6/5 15.79/15.85 c ---[ 471]---> Adder-cost: 100 maxlim: 40 bits: 7/6 15.79/15.85 c ---[ 469]---> Adder-cost: 98 maxlim: 38 bits: 7/6 15.79/15.85 c ---[ 467]---> Adder-cost: 72 maxlim: 38 bits: 7/6 15.79/15.85 c ---[ 465]---> Adder-cost: 129 maxlim: 55 bits: 7/6 15.79/15.86 c ---[ 463]---> Adder-cost: 63 maxlim: 27 bits: 6/5 15.79/15.86 c ---[ 461]---> Adder-cost: 63 maxlim: 22 bits: 6/5 15.79/15.86 c ---[ 459]---> Adder-cost: 52 maxlim: 19 bits: 6/5 15.79/15.86 c ---[ 457]---> Adder-cost: 58 maxlim: 20 bits: 6/5 15.79/15.86 c ---[ 455]---> Adder-cost: 120 maxlim: 51 bits: 7/6 15.79/15.86 c ---[ 453]---> Adder-cost: 61 maxlim: 21 bits: 6/5 15.79/15.86 c ---[ 451]---> Adder-cost: 69 maxlim: 23 bits: 6/5 15.79/15.86 c ---[ 449]---> Adder-cost: 55 maxlim: 23 bits: 6/5 15.79/15.86 c ---[ 447]---> Adder-cost: 156 maxlim: 68 bits: 8/7 15.79/15.87 c ---[ 445]---> Adder-cost: 74 maxlim: 68 bits: 8/7 15.79/15.87 c ---[ 443]---> Adder-cost: 154 maxlim: 66 bits: 8/7 15.79/15.87 c ---[ 441]---> Adder-cost: 139 maxlim: 59 bits: 7/6 15.79/15.87 c ---[ 439]---> Sorter-cost: 577 Base: 2 15.79/15.87 c ---[ 437]---> Adder-cost: 73 maxlim: 21 bits: 6/5 15.79/15.87 c ---[ 435]---> Adder-cost: 122 maxlim: 49 bits: 7/6 15.79/15.88 c ---[ 433]---> Adder-cost: 86 maxlim: 44 bits: 7/6 15.79/15.88 c ---[ 431]---> Adder-cost: 104 maxlim: 51 bits: 7/6 15.79/15.88 c ---[ 429]---> Adder-cost: 102 maxlim: 48 bits: 7/6 15.79/15.88 c ---[ 427]---> Adder-cost: 83 maxlim: 29 bits: 6/5 15.79/15.88 c ---[ 425]---> Adder-cost: 67 maxlim: 28 bits: 6/5 15.79/15.88 c ---[ 423]---> Adder-cost: 60 maxlim: 18 bits: 6/5 15.79/15.88 c ---[ 421]---> Adder-cost: 73 maxlim: 22 bits: 6/5 15.79/15.88 c ---[ 419]---> Adder-cost: 104 maxlim: 41 bits: 7/6 15.79/15.89 c ---[ 417]---> Adder-cost: 77 maxlim: 27 bits: 6/5 15.79/15.89 c ---[ 415]---> Sorter-cost: 577 Base: 2 15.79/15.89 c ---[ 413]---> Adder-cost: 60 maxlim: 17 bits: 6/5 15.79/15.89 c ---[ 411]---> Sorter-cost: 534 Base: 2 15.79/15.89 c ---[ 409]---> Adder-cost: 117 maxlim: 54 bits: 7/6 15.79/15.89 c ---[ 407]---> Sorter-cost: 537 Base: 2 15.79/15.89 c ---[ 405]---> Adder-cost: 56 maxlim: 16 bits: 6/5 15.79/15.89 c ---[ 403]---> Adder-cost: 60 maxlim: 19 bits: 6/5 15.79/15.89 c ---[ 401]---> Adder-cost: 58 maxlim: 17 bits: 6/5 15.79/15.89 c ---[ 399]---> Adder-cost: 42 maxlim: 17 bits: 6/5 15.79/15.90 c ---[ 397]---> Adder-cost: 112 maxlim: 46 bits: 7/6 15.89/15.90 c ---[ 395]---> Adder-cost: 68 maxlim: 46 bits: 7/6 15.89/15.90 c ---[ 393]---> Adder-cost: 100 maxlim: 50 bits: 7/6 15.89/15.90 c ---[ 391]---> Adder-cost: 129 maxlim: 57 bits: 7/6 15.89/15.90 c ---[ 389]---> Adder-cost: 94 maxlim: 51 bits: 7/6 15.89/15.90 c ---[ 387]---> Adder-cost: 98 maxlim: 52 bits: 7/6 15.89/15.91 c ---[ 385]---> Adder-cost: 172 maxlim: 103 bits: 8/7 15.89/15.91 c ---[ 383]---> Adder-cost: 94 maxlim: 103 bits: 8/7 15.89/15.91 c ---[ 381]---> Adder-cost: 73 maxlim: 26 bits: 6/5 15.89/15.91 c ---[ 379]---> Adder-cost: 51 maxlim: 26 bits: 6/5 15.89/15.91 c ---[ 377]---> Adder-cost: 73 maxlim: 22 bits: 6/5 15.89/15.91 c ---[ 375]---> Adder-cost: 94 maxlim: 36 bits: 7/6 15.89/15.92 c ---[ 373]---> Adder-cost: 114 maxlim: 47 bits: 7/6 15.89/15.92 c ---[ 371]---> Adder-cost: 56 maxlim: 16 bits: 6/5 15.89/15.92 c ---[ 369]---> Adder-cost: 79 maxlim: 28 bits: 6/5 15.89/15.92 c ---[ 367]---> Adder-cost: 75 maxlim: 30 bits: 6/5 15.89/15.92 c ---[ 365]---> Adder-cost: 112 maxlim: 51 bits: 7/6 15.89/15.92 c ---[ 363]---> Adder-cost: 206 maxlim: 97 bits: 8/7 15.89/15.92 c ---[ 361]---> Adder-cost: 88 maxlim: 36 bits: 7/6 15.89/15.93 c ---[ 359]---> Adder-cost: 81 maxlim: 28 bits: 6/5 15.89/15.93 c ---[ 357]---> Adder-cost: 56 maxlim: 18 bits: 6/5 15.89/15.93 c ---[ 355]---> Adder-cost: 202 maxlim: 103 bits: 8/7 15.89/15.93 c ---[ 353]---> Adder-cost: 221 maxlim: 125 bits: 8/7 15.89/15.93 c ---[ 351]---> Adder-cost: 172 maxlim: 89 bits: 8/7 15.89/15.94 c ---[ 349]---> Adder-cost: 334 maxlim: 171 bits: 9/8 15.89/15.94 c ---[ 347]---> Adder-cost: 109 maxlim: 53 bits: 7/6 15.89/15.94 c ---[ 345]---> Adder-cost: 230 maxlim: 171 bits: 9/8 15.89/15.95 c ---[ 343]---> Adder-cost: 261 maxlim: 127 bits: 8/7 15.89/15.95 c ---[ 341]---> Adder-cost: 127 maxlim: 55 bits: 7/6 15.89/15.95 c ---[ 339]---> Adder-cost: 135 maxlim: 57 bits: 7/6 15.89/15.96 c ---[ 337]---> Adder-cost: 143 maxlim: 60 bits: 7/6 15.89/15.96 c ---[ 335]---> Adder-cost: 153 maxlim: 63 bits: 7/6 15.89/15.96 c ---[ 333]---> Adder-cost: 146 maxlim: 84 bits: 8/7 15.89/15.96 c ---[ 331]---> Adder-cost: 235 maxlim: 127 bits: 8/7 15.89/15.97 c ---[ 329]---> Adder-cost: 170 maxlim: 88 bits: 8/7 15.89/15.97 c ---[ 327]---> Adder-cost: 142 maxlim: 70 bits: 8/7 15.89/15.97 c ---[ 325]---> Adder-cost: 94 maxlim: 35 bits: 7/6 15.89/15.97 c ---[ 323]---> Adder-cost: 75 maxlim: 23 bits: 6/5 15.89/15.97 c ---[ 321]---> Adder-cost: 71 maxlim: 22 bits: 6/5 15.89/15.97 c ---[ 319]---> Adder-cost: 54 maxlim: 18 bits: 6/5 15.89/15.98 c ---[ 317]---> Adder-cost: 58 maxlim: 20 bits: 6/5 15.89/15.98 c ---[ 315]---> Adder-cost: 71 maxlim: 23 bits: 6/5 15.89/15.98 c ---[ 313]---> Adder-cost: 60 maxlim: 17 bits: 6/5 15.89/15.98 c ---[ 311]---> Adder-cost: 60 maxlim: 19 bits: 6/5 15.89/15.98 c ---[ 309]---> Adder-cost: 58 maxlim: 17 bits: 6/5 15.89/15.98 c ---[ 307]---> Adder-cost: 73 maxlim: 25 bits: 6/5 15.89/15.98 c ---[ 305]---> Adder-cost: 70 maxlim: 35 bits: 7/6 15.89/15.98 c ---[ 303]---> Adder-cost: 80 maxlim: 32 bits: 7/6 15.89/15.98 c ---[ 301]---> Adder-cost: 156 maxlim: 76 bits: 8/7 15.89/15.99 c ---[ 299]---> Adder-cost: 116 maxlim: 72 bits: 8/7 15.89/15.99 c ---[ 297]---> Adder-cost: 136 maxlim: 85 bits: 8/7 15.89/15.99 c ---[ 295]---> Adder-cost: 108 maxlim: 50 bits: 7/6 15.89/15.99 c ---[ 293]---> Adder-cost: 73 maxlim: 24 bits: 6/5 15.89/15.99 c ---[ 291]---> Adder-cost: 75 maxlim: 24 bits: 6/5 15.89/15.99 c ---[ 289]---> Adder-cost: 104 maxlim: 41 bits: 7/6 15.89/16.00 c ---[ 287]---> Adder-cost: 78 maxlim: 33 bits: 7/6 15.99/16.00 c ---[ 285]---> Adder-cost: 67 maxlim: 29 bits: 6/5 15.99/16.00 c ---[ 283]---> Adder-cost: 147 maxlim: 59 bits: 7/6 15.99/16.00 c ---[ 281]---> Adder-cost: 78 maxlim: 35 bits: 7/6 15.99/16.00 c ---[ 279]---> Adder-cost: 132 maxlim: 64 bits: 8/7 15.99/16.00 c ---[ 277]---> Adder-cost: 110 maxlim: 68 bits: 8/7 15.99/16.01 c ---[ 275]---> Adder-cost: 98 maxlim: 38 bits: 7/6 15.99/16.01 c ---[ 273]---> Adder-cost: 102 maxlim: 40 bits: 7/6 15.99/16.01 c ---[ 271]---> Adder-cost: 82 maxlim: 32 bits: 7/6 15.99/16.01 c ---[ 269]---> Adder-cost: 75 maxlim: 29 bits: 6/5 15.99/16.01 c ---[ 267]---> Adder-cost: 106 maxlim: 44 bits: 7/6 15.99/16.01 c ---[ 265]---> Adder-cost: 94 maxlim: 40 bits: 7/6 15.99/16.01 c ---[ 263]---> Adder-cost: 121 maxlim: 58 bits: 7/6 15.99/16.02 c ---[ 261]---> Adder-cost: 149 maxlim: 63 bits: 7/6 15.99/16.02 c ---[ 259]---> Adder-cost: 80 maxlim: 32 bits: 7/6 15.99/16.02 c ---[ 257]---> Adder-cost: 131 maxlim: 60 bits: 7/6 15.99/16.02 c ---[ 255]---> Adder-cost: 97 maxlim: 59 bits: 7/6 15.99/16.02 c ---[ 253]---> Adder-cost: 86 maxlim: 39 bits: 7/6 15.99/16.02 c ---[ 251]---> Adder-cost: 110 maxlim: 43 bits: 7/6 15.99/16.02 c ---[ 249]---> Adder-cost: 85 maxlim: 30 bits: 6/5 15.99/16.03 c ---[ 247]---> Adder-cost: 92 maxlim: 33 bits: 7/6 15.99/16.03 c ---[ 245]---> Adder-cost: 100 maxlim: 40 bits: 7/6 15.99/16.03 c ---[ 243]---> Adder-cost: 104 maxlim: 44 bits: 7/6 15.99/16.03 c ---[ 241]---> Adder-cost: 90 maxlim: 49 bits: 7/6 15.99/16.03 c ---[ 239]---> Adder-cost: 62 maxlim: 20 bits: 6/5 15.99/16.03 c ---[ 237]---> Adder-cost: 67 maxlim: 24 bits: 6/5 15.99/16.03 c ---[ 235]---> Adder-cost: 42 maxlim: 20 bits: 6/5 15.99/16.03 c ---[ 233]---> Adder-cost: 65 maxlim: 21 bits: 6/5 15.99/16.04 c ---[ 231]---> Adder-cost: 71 maxlim: 22 bits: 6/5 15.99/16.04 c ---[ 229]---> Adder-cost: 162 maxlim: 75 bits: 8/7 15.99/16.04 c ---[ 227]---> Adder-cost: 136 maxlim: 77 bits: 8/7 15.99/16.04 c ---[ 225]---> Adder-cost: 106 maxlim: 47 bits: 7/6 15.99/16.04 c ---[ 223]---> Adder-cost: 116 maxlim: 51 bits: 7/6 15.99/16.04 c ---[ 221]---> Adder-cost: 90 maxlim: 32 bits: 7/6 15.99/16.05 c ---[ 219]---> Adder-cost: 59 maxlim: 21 bits: 6/5 15.99/16.05 c ---[ 217]---> Sorter-cost: 546 Base: 2 15.99/16.05 c ---[ 215]---> Adder-cost: 76 maxlim: 48 bits: 7/6 15.99/16.05 c ---[ 213]---> Adder-cost: 59 maxlim: 23 bits: 6/5 15.99/16.05 c ---[ 211]---> Adder-cost: 108 maxlim: 41 bits: 7/6 15.99/16.05 c ---[ 209]---> Adder-cost: 96 maxlim: 42 bits: 7/6 15.99/16.05 c ---[ 207]---> Adder-cost: 58 maxlim: 42 bits: 7/6 15.99/16.05 c ---[ 205]---> Adder-cost: 102 maxlim: 42 bits: 7/6 15.99/16.06 c ---[ 203]---> Adder-cost: 278 maxlim: 131 bits: 9/8 15.99/16.06 c ---[ 201]---> Adder-cost: 196 maxlim: 88 bits: 8/7 15.99/16.06 c ---[ 199]---> Adder-cost: 180 maxlim: 81 bits: 8/7 15.99/16.07 c ---[ 197]---> Adder-cost: 63 maxlim: 23 bits: 6/5 15.99/16.07 c ---[ 195]---> Adder-cost: 156 maxlim: 75 bits: 8/7 15.99/16.07 c ---[ 193]---> Adder-cost: 209 maxlim: 124 bits: 8/7 15.99/16.07 c ---[ 191]---> Adder-cost: 268 maxlim: 141 bits: 9/8 15.99/16.08 c ---[ 189]---> Adder-cost: 254 maxlim: 144 bits: 9/8 15.99/16.08 c ---[ 187]---> Adder-cost: 160 maxlim: 79 bits: 8/7 15.99/16.08 c ---[ 185]---> Adder-cost: 114 maxlim: 47 bits: 7/6 15.99/16.09 c ---[ 183]---> Adder-cost: 75 maxlim: 26 bits: 6/5 15.99/16.09 c ---[ 181]---> Adder-cost: 81 maxlim: 30 bits: 6/5 15.99/16.09 c ---[ 179]---> Adder-cost: 90 maxlim: 35 bits: 7/6 15.99/16.09 c ---[ 177]---> Adder-cost: 60 maxlim: 17 bits: 6/5 15.99/16.09 c ---[ 175]---> Adder-cost: 79 maxlim: 26 bits: 6/5 15.99/16.09 c ---[ 173]---> Sorter-cost: 577 Base: 2 15.99/16.09 c ---[ 171]---> Adder-cost: 56 maxlim: 16 bits: 6/5 15.99/16.09 c ---[ 169]---> Sorter-cost: 536 Base: 2 15.99/16.09 c ---[ 167]---> Sorter-cost: 534 Base: 2 15.99/16.09 c ---[ 165]---> Adder-cost: 58 maxlim: 17 bits: 6/5 15.99/16.09 c ---[ 163]---> Sorter-cost: 577 Base: 2 15.99/16.09 c ---[ 161]---> Sorter-cost: 536 Base: 2 15.99/16.10 c ---[ 159]---> Adder-cost: 81 maxlim: 28 bits: 6/5 16.09/16.10 c ---[ 157]---> Adder-cost: 67 maxlim: 27 bits: 6/5 16.09/16.10 c ---[ 155]---> Adder-cost: 55 maxlim: 27 bits: 6/5 16.09/16.10 c ---[ 153]---> Adder-cost: 73 maxlim: 28 bits: 6/5 16.09/16.10 c ---[ 151]---> Adder-cost: 90 maxlim: 42 bits: 7/6 16.09/16.10 c ---[ 149]---> Adder-cost: 79 maxlim: 26 bits: 6/5 16.09/16.10 c ---[ 147]---> Adder-cost: 79 maxlim: 27 bits: 6/5 16.09/16.10 c ---[ 145]---> Adder-cost: 63 maxlim: 22 bits: 6/5 16.09/16.10 c ---[ 143]---> Sorter-cost: 577 Base: 2 16.09/16.10 c ---[ 141]---> Adder-cost: 174 maxlim: 73 bits: 8/7 16.09/16.11 c ---[ 139]---> Adder-cost: 148 maxlim: 67 bits: 8/7 16.09/16.11 c ---[ 137]---> Adder-cost: 122 maxlim: 65 bits: 8/7 16.09/16.11 c ---[ 135]---> Adder-cost: 112 maxlim: 50 bits: 7/6 16.09/16.11 c ---[ 133]---> Adder-cost: 84 maxlim: 32 bits: 7/6 16.09/16.11 c ---[ 131]---> Adder-cost: 67 maxlim: 29 bits: 6/5 16.09/16.12 c ---[ 129]---> Adder-cost: 88 maxlim: 38 bits: 7/6 16.09/16.12 c ---[ 127]---> Adder-cost: 98 maxlim: 40 bits: 7/6 16.09/16.12 c ---[ 125]---> Adder-cost: 88 maxlim: 36 bits: 7/6 16.09/16.12 c ---[ 123]---> Adder-cost: 77 maxlim: 25 bits: 6/5 16.09/16.12 c ---[ 121]---> Adder-cost: 60 maxlim: 17 bits: 6/5 16.09/16.12 c ---[ 119]---> Adder-cost: 58 maxlim: 17 bits: 6/5 16.09/16.12 c ---[ 117]---> Adder-cost: 48 maxlim: 16 bits: 6/5 16.09/16.12 c ---[ 115]---> Sorter-cost: 577 Base: 2 16.09/16.12 c ---[ 113]---> Adder-cost: 106 maxlim: 43 bits: 7/6 16.09/16.13 c ---[ 111]---> Adder-cost: 96 maxlim: 40 bits: 7/6 16.09/16.13 c ---[ 109]---> Adder-cost: 75 maxlim: 28 bits: 6/5 16.09/16.13 c ---[ 107]---> Adder-cost: 84 maxlim: 46 bits: 7/6 16.09/16.13 c ---[ 105]---> Adder-cost: 133 maxlim: 63 bits: 7/6 16.09/16.13 c ---[ 103]---> Adder-cost: 152 maxlim: 68 bits: 8/7 16.09/16.13 c ---[ 101]---> Adder-cost: 146 maxlim: 76 bits: 8/7 16.09/16.14 c ---[ 99]---> Adder-cost: 144 maxlim: 68 bits: 8/7 16.09/16.14 c ---[ 97]---> Adder-cost: 116 maxlim: 49 bits: 7/6 16.09/16.14 c ---[ 95]---> Adder-cost: 190 maxlim: 85 bits: 8/7 16.09/16.14 c ---[ 93]---> Adder-cost: 180 maxlim: 91 bits: 8/7 16.09/16.15 c ---[ 91]---> Adder-cost: 100 maxlim: 50 bits: 7/6 16.09/16.15 c ---[ 89]---> Adder-cost: 84 maxlim: 35 bits: 7/6 16.09/16.15 c ---[ 87]---> Adder-cost: 69 maxlim: 30 bits: 6/5 16.09/16.15 c ---[ 85]---> Adder-cost: 77 maxlim: 26 bits: 6/5 16.09/16.15 c ---[ 83]---> Adder-cost: 75 maxlim: 28 bits: 6/5 16.09/16.15 c ---[ 81]---> Adder-cost: 79 maxlim: 27 bits: 6/5 16.09/16.15 c ---[ 79]---> Adder-cost: 71 maxlim: 24 bits: 6/5 16.09/16.15 c ---[ 77]---> Adder-cost: 75 maxlim: 25 bits: 6/5 16.09/16.15 c ---[ 75]---> Adder-cost: 154 maxlim: 67 bits: 8/7 16.09/16.16 c ---[ 73]---> Adder-cost: 88 maxlim: 32 bits: 7/6 16.09/16.16 c ---[ 71]---> Sorter-cost: 546 Base: 2 16.09/16.16 c ---[ 69]---> Adder-cost: 59 maxlim: 30 bits: 6/5 16.09/16.16 c ---[ 67]---> Adder-cost: 120 maxlim: 51 bits: 7/6 16.09/16.16 c ---[ 65]---> Adder-cost: 64 maxlim: 51 bits: 7/6 16.09/16.16 c ---[ 63]---> Adder-cost: 115 maxlim: 58 bits: 7/6 16.09/16.16 c ---[ 61]---> Adder-cost: 120 maxlim: 51 bits: 7/6 16.09/16.17 c ---[ 59]---> Adder-cost: 101 maxlim: 56 bits: 7/6 16.09/16.17 c ---[ 57]---> Adder-cost: 116 maxlim: 67 bits: 8/7 16.09/16.17 c ---[ 55]---> Adder-cost: 176 maxlim: 78 bits: 8/7 16.09/16.17 c ---[ 53]---> Adder-cost: 140 maxlim: 80 bits: 8/7 16.09/16.18 c ---[ 51]---> Adder-cost: 154 maxlim: 76 bits: 8/7 16.09/16.18 c ---[ 49]---> Adder-cost: 77 maxlim: 27 bits: 6/5 16.09/16.18 c ---[ 47]---> Adder-cost: 81 maxlim: 28 bits: 6/5 16.09/16.18 c ---[ 45]---> Adder-cost: 67 maxlim: 29 bits: 6/5 16.09/16.18 c ---[ 43]---> Adder-cost: 92 maxlim: 33 bits: 7/6 16.09/16.18 c ---[ 41]---> Adder-cost: 69 maxlim: 21 bits: 6/5 16.09/16.18 c ---[ 39]---> Adder-cost: 87 maxlim: 31 bits: 6/5 16.09/16.18 c ---[ 37]---> Adder-cost: 73 maxlim: 27 bits: 6/5 16.09/16.19 c ---[ 35]---> Adder-cost: 102 maxlim: 40 bits: 7/6 16.09/16.19 c ---[ 33]---> Adder-cost: 58 maxlim: 18 bits: 6/5 16.09/16.19 c ---[ 31]---> Adder-cost: 73 maxlim: 23 bits: 6/5 16.09/16.19 c ---[ 29]---> Adder-cost: 110 maxlim: 74 bits: 8/7 16.09/16.19 c ---[ 27]---> Adder-cost: 48 maxlim: 17 bits: 6/5 16.09/16.19 c ---[ 25]---> Sorter-cost: 546 Base: 2 16.09/16.19 c ---[ 23]---> Adder-cost: 75 maxlim: 23 bits: 6/5 16.09/16.19 c ---[ 21]---> Sorter-cost: 577 Base: 2 16.09/16.19 c ---[ 19]---> Sorter-cost: 538 Base: 2 16.09/16.19 c ---[ 17]---> Adder-cost: 86 maxlim: 33 bits: 7/6 16.19/16.20 c ---[ 15]---> Adder-cost: 60 maxlim: 33 bits: 7/6 16.19/16.20 c ---[ 13]---> Adder-cost: 82 maxlim: 37 bits: 7/6 16.19/16.20 c ---[ 12]---> Adder-cost: 48448 maxlim: 28201 bits: 15/15 288.24/288.34 c ---[ 11]---> Adder-cost: 6865 maxlim: 3982 bits: 13/12 288.43/288.52 c ---[ 10]---> Adder-cost: 4659 maxlim: 2315 bits: 13/12 288.53/288.65 c ---[ 9]---> Adder-cost: 1065 maxlim: 614 bits: 11/10 288.53/288.68 c ---[ 8]---> Adder-cost: 137 maxlim: 51 bits: 7/6 288.53/288.68 c ---[ 7]---> Adder-cost: 701 maxlim: 322 bits: 10/9 288.53/288.69 c ---[ 6]---> Adder-cost: 355 maxlim: 201 bits: 9/8 288.63/288.70 c ---[ 5]---> Adder-cost: 23560 maxlim: 14138 bits: 15/14 289.24/289.32 c ---[ 4]---> Adder-cost: 3144 maxlim: 925 bits: 11/10 289.24/289.37 c ---[ 3]---> Adder-cost: 15822 maxlim: 11770 bits: 15/14 289.63/289.76 c ---[ 2]---> Adder-cost: 5484 maxlim: 5984 bits: 14/13 289.73/289.89 c ---[ 1]---> Sorter-cost: 395 Base: 2 289.73/289.89 c ---[ 0]---> Adder-cost: 177 maxlim: 116 bits: 8/7 1800.07/1800.40 | Eliminated clauses: 0.84 Mb | 1800.07/1800.40 ============================[ Search Statistics ]============================== 1800.07/1800.40 | Conflicts | ORIGINAL | LEARNT | Progress | 1800.07/1800.40 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 1800.07/1800.40 =============================================================================== 1800.07/1800.40 | 100 | 287670 1753267 6094314 | 642864 99 3 | 11.076 % | 1800.07/1800.40 | 250 | 287670 1753267 6094314 | 707151 249 3 | 11.076 % | 1800.07/1800.40 | 475 | 287669 1753267 6094314 | 777866 473 3 | 11.076 % | 1800.07/1800.40 | 812 | 287669 1753267 6094314 | 855652 810 4 | 11.076 % | 1800.07/1800.40 | 1318 | 287667 1753267 6094314 | 941218 1315 4 | 11.076 % | 1800.07/1800.40 | 2077 | 287659 1753267 6094314 | 1035339 2070 4 | 11.079 % | 1800.07/1800.40 | 3216 | 287657 1753267 6094314 | 1138873 3207 4 | 11.079 % | 1800.07/1800.40 | 4924 | 287657 1753267 6094314 | 1252761 4915 5 | 11.079 % | 1800.07/1800.40 | 7486 | 287651 1753267 6094314 | 1378037 7471 5 | 11.081 % | 1800.07/1800.40 | 11330 | 287649 1753267 6094314 | 1515841 11306 6 | 11.082 % | 1800.07/1800.40 | 17096 | 287644 1753267 6094314 | 1667425 17067 6 | 11.083 % | 1800.07/1800.40 | 25745 | 287637 1753267 6094314 | 1834167 25709 6 | 11.085 % | 1800.07/1800.40 | 38719 | 287632 1753267 6094314 | 2017584 38678 7 | 11.087 % | 1800.07/1800.40 | 58180 | 287598 1753267 6094314 | 2219342 58107 7 | 11.096 % | 1800.07/1800.40 | 87372 | 287585 1753267 6094314 | 2441277 87286 8 | 11.100 % | 1800.07/1800.40 | 131161 | 287571 1753267 6094314 | 2685404 131061 10 | 11.104 % | 1800.07/1800.40 | 196845 | 287563 1753267 6094314 | 2953945 196734 14 | 11.107 % | 1800.07/1800.40 | 295371 | 287547 1753267 6094314 | 3249339 295244 16 | 11.111 % | 1800.07/1800.40 | 443160 | 287521 1753267 6094314 | 3574273 443020 20 | 11.119 % | 1800.07/1800.40 | 664843 | 287514 1753267 6094314 | 3931701 664696 26 | 11.121 % | 1800.07/1800.40 | 997368 | 287502 1753267 6094314 | 4324871 997208 28 | 11.124 % | 1800.07/1800.40 | 1496156 | 287491 1753267 6094314 | 4757358 1495985 32 | 11.128 % | 1800.07/1800.40 | 2244338 | 287467 1753267 6094314 | 5233094 2244143 47 | 11.135 % | 1800.07/1800.40 c 1800.07/1800.40 c *** TERMINATED *** 1800.07/1800.40 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4115329-1466521182/watcher-4115329-1466521182 -o /tmp/evaluation-result-4115329-1466521182/solver-4115329-1466521182 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466514782-25600 --watchdog 1960 minisatp HOME/instance-4115329-1466521182.opb pid=27715 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.26 2.26 2.19 3/176 27718 /proc/meminfo: memFree=30105592/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=8468 CPUtime=0 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 780 0 0 0 0 0 0 0 20 0 1 0 54163743 8671232 657 33554432000 4194304 5646918 140734344025296 140734806811336 4216066 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 2117 658 84 355 0 1758 0 [startup+0.100162 s] /proc/loadavg: 2.26 2.26 2.19 3/176 27718 /proc/meminfo: memFree=30105592/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=23588 CPUtime=0.09 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 4634 0 0 0 9 0 0 0 20 0 1 0 54163743 24154112 4122 33554432000 4194304 5646918 140734344025296 140734806811336 4953072 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 5897 4122 97 355 0 5538 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23588 [startup+0.200351 s] /proc/loadavg: 2.26 2.26 2.19 3/176 27718 /proc/meminfo: memFree=30105592/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=25544 CPUtime=0.19 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 5045 0 0 0 19 0 0 0 20 0 1 0 54163743 26157056 4533 33554432000 4194304 5646918 140734344025296 140734806811336 4251237 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 6386 4533 97 355 0 6027 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 25544 [startup+0.300288 s] /proc/loadavg: 2.26 2.26 2.19 3/176 27718 /proc/meminfo: memFree=30105592/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=27680 CPUtime=0.29 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 5503 0 0 0 29 0 0 0 20 0 1 0 54163743 28344320 4991 33554432000 4194304 5646918 140734344025296 140734344024664 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 6920 4991 97 355 0 6561 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27680 [startup+0.70024 s] /proc/loadavg: 2.26 2.26 2.19 3/176 27718 /proc/meminfo: memFree=30105592/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=38408 CPUtime=0.69 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 9648 0 0 0 68 1 0 0 20 0 1 0 54163743 39329792 7579 33554432000 4194304 5646918 140734344025296 140734344024664 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 9602 7579 97 355 0 9243 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38408 [startup+1.50024 s] /proc/loadavg: 2.24 2.25 2.19 3/177 27719 /proc/meminfo: memFree=30049692/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=58888 CPUtime=1.49 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 16480 0 0 0 147 2 0 0 20 0 1 0 54163743 60301312 11961 33554432000 4194304 5646918 140734344025296 140734344023768 4824218 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 14722 11961 154 355 0 14363 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 58888 [startup+3.10023 s] /proc/loadavg: 2.24 2.25 2.19 3/177 27719 /proc/meminfo: memFree=30052544/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=64600 CPUtime=3.09 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 17860 0 0 0 306 3 0 0 20 0 1 0 54163743 66150400 13341 33554432000 4194304 5646918 140734344025296 140734342728520 4831339 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 16150 13341 154 355 0 15791 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 64600 [startup+6.30027 s] /proc/loadavg: 2.24 2.25 2.19 3/177 27719 /proc/meminfo: memFree=30031340/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=88140 CPUtime=6.29 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 22450 0 0 0 625 4 0 0 20 0 1 0 54163743 90255360 19201 33554432000 4194304 5646918 140734344025296 140734341578120 4832119 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 22035 19201 154 355 0 21676 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 88140 [startup+12.7002 s] /proc/loadavg: 2.28 2.26 2.19 4/177 27719 /proc/meminfo: memFree=30026952/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=89536 CPUtime=12.69 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 22796 0 0 0 1265 4 0 0 20 0 1 0 54163743 91684864 19547 33554432000 4194304 5646918 140734344025296 140734343531720 4832054 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 22384 19547 154 355 0 22025 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 89536 [startup+25.5003 s] /proc/loadavg: 2.24 2.25 2.19 3/178 27722 /proc/meminfo: memFree=30000924/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=112252 CPUtime=25.48 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 28297 0 0 0 2543 5 0 0 20 0 1 0 54163743 114946048 25048 33554432000 4194304 5646918 140734344025296 140734335028520 4460889 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 28063 25048 154 355 0 27704 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 112252 [startup+51.1003 s] /proc/loadavg: 2.29 2.26 2.20 3/178 27722 /proc/meminfo: memFree=29995840/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=112252 CPUtime=51.08 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 28328 0 0 0 5103 5 0 0 20 0 1 0 54163743 114946048 25079 33554432000 4194304 5646918 140734344025296 140734337130920 4832054 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 28063 25079 154 355 0 27704 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 112252 [startup+102.3 s] /proc/loadavg: 2.17 2.23 2.18 3/178 27747 /proc/meminfo: memFree=29981720/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=113076 CPUtime=102.28 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 28503 0 0 0 10223 5 0 0 20 0 1 0 54163743 115789824 25254 33554432000 4194304 5646918 140734344025296 140734341342920 4817403 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 28269 25254 154 355 0 27910 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 113076 [startup+162.3 s] /proc/loadavg: 2.13 2.22 2.18 3/177 27748 /proc/meminfo: memFree=29961960/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=113868 CPUtime=162.26 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 28731 0 0 0 16221 5 0 0 20 0 1 0 54163743 116600832 25482 33554432000 4194304 5646918 140734344025296 140734333806520 4824627 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 28467 25482 154 355 0 28108 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 113868 [startup+222.307 s] /proc/loadavg: 2.15 2.20 2.18 3/177 27749 /proc/meminfo: memFree=29943332/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=118572 CPUtime=222.27 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 29889 0 0 0 22221 6 0 0 20 0 1 0 54163743 121417728 26640 33554432000 4194304 5646918 140734344025296 140734340706120 4823346 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 29643 26640 154 355 0 29284 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 118572 [startup+282.3 s] /proc/loadavg: 2.30 2.23 2.19 3/177 27750 /proc/meminfo: memFree=30006672/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=123228 CPUtime=282.24 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 31047 0 0 0 28218 6 0 0 20 0 1 0 54163743 126185472 28376 33554432000 4194304 5646918 140734344025296 140734333405320 4460868 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 30807 28376 154 355 0 30448 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 123228 [startup+342.3 s] /proc/loadavg: 2.34 2.24 2.19 3/177 27751 /proc/meminfo: memFree=29664320/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=490312 CPUtime=342.22 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 81105 0 0 0 34205 17 0 0 20 0 1 0 54163743 502079488 113717 33554432000 4194304 5646918 140734344025296 140734344023400 4403454 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 122578 113717 183 355 0 122219 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 490312 [startup+402.3 s] /proc/loadavg: 2.22 2.23 2.18 3/177 27753 /proc/meminfo: memFree=29585140/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=557868 CPUtime=402.19 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 86080 0 0 0 40200 19 0 0 20 0 1 0 54163743 571256832 128101 33554432000 4194304 5646918 140734344025296 140734344023400 4402827 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 139467 128101 183 355 0 139108 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 557868 [startup+462.3 s] /proc/loadavg: 2.18 2.21 2.18 3/177 27754 /proc/meminfo: memFree=29523964/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=655832 CPUtime=462.17 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 89891 0 0 0 46196 21 0 0 20 0 1 0 54163743 671571968 141899 33554432000 4194304 5646918 140734344025296 140734344023432 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 163958 141899 183 355 0 163599 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 655832 [startup+522.3 s] /proc/loadavg: 2.17 2.20 2.18 3/177 27755 /proc/meminfo: memFree=29467456/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=669444 CPUtime=522.16 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 92439 0 0 0 52193 23 0 0 20 0 1 0 54163743 685510656 154855 33554432000 4194304 5646918 140734344025296 140734344023400 4403497 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 167361 154855 183 355 0 167002 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 669444 [startup+582.3 s] /proc/loadavg: 2.16 2.19 2.18 3/177 27756 /proc/meminfo: memFree=29420616/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=681132 CPUtime=582.15 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 95447 0 0 0 58190 25 0 0 20 0 1 0 54163743 697479168 165015 33554432000 4194304 5646918 140734344025296 140734344023432 4402863 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 170283 165015 183 355 0 169924 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 681132 ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.26 2.23 2.19 3/177 27765 /proc/meminfo: memFree=29221420/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=854152 CPUtime=882.11 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 104285 0 0 0 88183 28 0 0 20 0 1 0 54163743 874651648 200408 33554432000 4194304 5646918 140734344025296 140734344023400 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 213538 200408 183 355 0 213179 0 Current children cumulated CPU time (s) 882.11 Current children cumulated vsize (KiB) 854152 [startup+942.3 s] /proc/loadavg: 2.38 2.26 2.20 3/177 27766 /proc/meminfo: memFree=29186924/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=860584 CPUtime=942.09 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 105794 0 0 0 94180 29 0 0 20 0 1 0 54163743 881238016 206516 33554432000 4194304 5646918 140734344025296 140734344023400 4399406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 215146 206516 183 355 0 214787 0 Current children cumulated CPU time (s) 942.09 Current children cumulated vsize (KiB) 860584 [startup+1002.3 s] /proc/loadavg: 2.24 2.24 2.19 3/177 27824 /proc/meminfo: memFree=29496552/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=1092096 CPUtime=1002.08 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 107759 0 0 0 100178 30 0 0 20 0 1 0 54163743 1118306304 218693 33554432000 4194304 5646918 140734344025296 140734344023544 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 273024 218693 183 355 0 272665 0 Current children cumulated CPU time (s) 1002.08 Current children cumulated vsize (KiB) 1092096 [startup+1062.3 s] /proc/loadavg: 2.27 2.24 2.19 3/177 27825 /proc/meminfo: memFree=29069528/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=1093944 CPUtime=1062.08 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 108272 0 0 0 106175 33 0 0 20 0 1 0 54163743 1120198656 248333 33554432000 4194304 5646918 140734344025296 140734344023432 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 273486 248333 183 355 0 273127 0 Current children cumulated CPU time (s) 1062.08 Current children cumulated vsize (KiB) 1093944 [startup+1122.3 s] /proc/loadavg: 2.42 2.29 2.20 3/177 27826 /proc/meminfo: memFree=28983544/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=1097124 CPUtime=1122.07 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 109041 0 0 0 112173 34 0 0 20 0 1 0 54163743 1123454976 256256 33554432000 4194304 5646918 140734344025296 140734344023432 4402806 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 274281 256256 183 355 0 273922 0 Current children cumulated CPU time (s) 1122.07 Current children cumulated vsize (KiB) 1097124 [startup+1182.3 s] /proc/loadavg: 2.26 2.26 2.20 3/177 27827 /proc/meminfo: memFree=28926964/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=1103064 CPUtime=1182.05 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 110483 0 0 0 118171 34 0 0 20 0 1 0 54163743 1129537536 262297 33554432000 4194304 5646918 140734344025296 140734344023432 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 275766 262297 183 355 0 275407 0 Current children cumulated CPU time (s) 1182.05 Current children cumulated vsize (KiB) 1103064 [startup+1242.3 s] /proc/loadavg: 2.25 2.26 2.19 3/178 27831 /proc/meminfo: memFree=28852220/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=1111500 CPUtime=1242.05 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 112418 0 0 0 124170 35 0 0 20 0 1 0 54163743 1138176000 267298 33554432000 4194304 5646918 140734344025296 140734344023432 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 277875 267298 183 355 0 277516 0 Current children cumulated CPU time (s) 1242.05 Current children cumulated vsize (KiB) 1111500 [startup+1302.3 s] /proc/loadavg: 2.23 2.25 2.19 3/177 27833 /proc/meminfo: memFree=28777460/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=1115588 CPUtime=1302.04 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 113417 0 0 0 130169 35 0 0 20 0 1 0 54163743 1142362112 272896 33554432000 4194304 5646918 140734344025296 140734344023432 4402784 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 278897 272896 183 355 0 278538 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 1115588 [startup+1362.3 s] /proc/loadavg: 2.23 2.25 2.19 3/177 27834 /proc/meminfo: memFree=28701012/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=1470568 CPUtime=1362.03 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 115172 0 0 0 136167 36 0 0 20 0 1 0 54163743 1505861632 281285 33554432000 4194304 5646918 140734344025296 140734344023400 4402784 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 367642 281285 183 355 0 367283 0 Current children cumulated CPU time (s) 1362.03 Current children cumulated vsize (KiB) 1470568 [startup+1422.3 s] /proc/loadavg: 2.27 2.26 2.20 3/177 27835 /proc/meminfo: memFree=28647792/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=1476104 CPUtime=1422.03 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 116278 0 0 0 142166 37 0 0 20 0 1 0 54163743 1511530496 284946 33554432000 4194304 5646918 140734344025296 140734344023400 4403478 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 369026 284946 183 355 0 368667 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 1476104 [startup+1482.3 s] /proc/loadavg: 2.45 2.30 2.21 3/177 27836 /proc/meminfo: memFree=28604280/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=1478280 CPUtime=1482.01 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 117127 0 0 0 148164 37 0 0 20 0 1 0 54163743 1513758720 289372 33554432000 4194304 5646918 140734344025296 140734344023432 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 369570 289372 183 355 0 369211 0 Current children cumulated CPU time (s) 1482.01 Current children cumulated vsize (KiB) 1478280 [startup+1542.31 s] /proc/loadavg: 2.30 2.28 2.20 3/177 27837 /proc/meminfo: memFree=28554336/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=1482188 CPUtime=1542.01 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 118031 0 0 0 154163 38 0 0 20 0 1 0 54163743 1517760512 294875 33554432000 4194304 5646918 140734344025296 140734344023432 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 370547 294875 183 355 0 370188 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 1482188 [startup+1602.3 s] /proc/loadavg: 2.15 2.24 2.19 3/177 27839 /proc/meminfo: memFree=28491176/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=1485800 CPUtime=1601.99 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 118852 0 0 0 160160 39 0 0 20 0 1 0 54163743 1521459200 303872 33554432000 4194304 5646918 140734344025296 140734344023400 4402751 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 371450 303872 183 355 0 371091 0 Current children cumulated CPU time (s) 1601.99 Current children cumulated vsize (KiB) 1485800 [startup+1662.3 s] /proc/loadavg: 2.26 2.25 2.19 3/177 27840 /proc/meminfo: memFree=28437072/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=1489004 CPUtime=1661.98 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 119797 0 0 0 166158 40 0 0 20 0 1 0 54163743 1524740096 307883 33554432000 4194304 5646918 140734344025296 140734344023432 4402806 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 372251 307883 183 355 0 371892 0 Current children cumulated CPU time (s) 1661.98 Current children cumulated vsize (KiB) 1489004 [startup+1722.3 s] /proc/loadavg: 2.15 2.22 2.18 3/177 27841 /proc/meminfo: memFree=28392280/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=1494236 CPUtime=1721.97 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 120814 0 0 0 172157 40 0 0 20 0 1 0 54163743 1530097664 311455 33554432000 4194304 5646918 140734344025296 140734344023400 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 373559 311455 183 355 0 373200 0 Current children cumulated CPU time (s) 1721.97 Current children cumulated vsize (KiB) 1494236 [startup+1782.3 s] /proc/loadavg: 2.14 2.21 2.18 3/177 27842 /proc/meminfo: memFree=28345240/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=1495456 CPUtime=1781.97 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 121297 0 0 0 178156 41 0 0 20 0 1 0 54163743 1531346944 314492 33554432000 4194304 5646918 140734344025296 140734344023432 4402821 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 373864 314492 183 355 0 373505 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 1495456 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.18 2.21 2.18 3/177 27842 /proc/meminfo: memFree=28323584/32872528 swapFree=1459884/1656108 [pid=27718] ppid=27715 vsize=1513996 CPUtime=1800.07 cores=0,2,4,6 /proc/27718/stat : 27718 (minisatp) R 27715 27718 25584 0 -1 4202496 121346 0 0 0 179966 41 0 0 20 0 1 0 54163743 1550331904 318629 33554432000 4194304 5646918 140734344025296 140734344023544 4402844 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27718/statm: 378499 318629 183 355 0 378140 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1513996 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 27718 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.41 CPU time (s): 1800.09 CPU user time (s): 1799.66 CPU system time (s): 0.427934 CPU usage (%): 99.9819 Max. virtual memory (cumulated for all children) (KiB): 1513996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 0.427934 maximum resident set size= 1274516 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 121346 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 76 involuntary context switches= 1849 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.42433 second user time and 7.06492 second system time The end
Begin job on node136 at 2016-06-21 16:59:42 IDJOB=4115329 IDBENCH=1616 IDSOLVER=2555 FILE ID=node136/4115329-1466521182 RUNJOBID= node136-1466514782-25600 PBS_JOBID= 19942881 Free space on /tmp= 71728 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-trento1.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115329-1466521182/watcher-4115329-1466521182 -o /tmp/evaluation-result-4115329-1466521182/solver-4115329-1466521182 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466514782-25600 --watchdog 1960 minisatp HOME/instance-4115329-1466521182.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 38efecbab82080ab0719e9bf155a35ec RANDOM SEED=198456207 node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30106300 kB Buffers: 9696 kB Cached: 87832 kB SwapCached: 1600 kB Active: 338444 kB Inactive: 71520 kB Active(anon): 313560 kB Inactive(anon): 1388 kB Active(file): 24884 kB Inactive(file): 70132 kB Unevictable: 1656108 kB Mlocked: 1459884 kB SwapTotal: 67108856 kB SwapFree: 67099092 kB Dirty: 5584 kB Writeback: 0 kB AnonPages: 1970380 kB Mapped: 7904 kB Shmem: 0 kB Slab: 565120 kB SReclaimable: 9332 kB SUnreclaim: 555788 kB KernelStack: 1456 kB PageTables: 7772 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2108236 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 303104 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4115329-1466521182.opb Free space on /tmp at the end= 71728 MiB End job on node136 at 2016-06-21 17:29:43