| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | ? (TO) | 1800.1 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-ganges.opb |
| MD5SUM | 7a90d6f729b5a7cbedbc2000a888cf36 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 46097 |
| Total number of constraints | 1706 |
| 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 | 1706 |
| Minimum length of a constraint | 13 |
| Maximum length of a constraint | 1432 |
| Number of terms in the objective function | 2309 |
| Biggest coefficient in the objective function | 19879 |
| Number of bits for the biggest coefficient in the objective function | 15 |
| Sum of the numbers in the objective function | 525883 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 525883 |
| 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.26 c Converting 2481 PB-constraints to clauses... 1.19/1.27 c -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 1.29/1.35 c -- Detecting intervals from adjacent constraints: ####################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################### 1.29/1.37 c -- Clauses(.)/Splits(s): sssssssssssssssssssssssssssssssssssssssssssssssss 1.29/1.38 c ---[2529]---> BDD-cost: 19 1.29/1.38 c ---[2528]---> BDD-cost: 19 1.29/1.38 c ---[2527]---> BDD-cost: 19 1.29/1.38 c ---[2526]---> BDD-cost: 19 1.29/1.38 c ---[2525]---> BDD-cost: 19 1.29/1.38 c ---[2524]---> BDD-cost: 19 1.29/1.38 c ---[2523]---> BDD-cost: 19 1.29/1.38 c ---[2522]---> BDD-cost: 19 1.29/1.38 c ---[2521]---> BDD-cost: 19 1.29/1.38 c ---[2520]---> BDD-cost: 19 1.29/1.38 c ---[2519]---> BDD-cost: 19 1.29/1.38 c ---[2518]---> BDD-cost: 19 1.29/1.38 c ---[2517]---> BDD-cost: 17 1.29/1.38 c ---[2516]---> BDD-cost: 17 1.29/1.38 c ---[2515]---> BDD-cost: 17 1.29/1.38 c ---[2514]---> BDD-cost: 17 1.29/1.38 c ---[2513]---> BDD-cost: 17 1.29/1.38 c ---[2512]---> BDD-cost: 17 1.29/1.38 c ---[2511]---> BDD-cost: 17 1.29/1.38 c ---[2510]---> BDD-cost: 17 1.29/1.38 c ---[2509]---> BDD-cost: 17 1.29/1.38 c ---[2508]---> BDD-cost: 17 1.29/1.38 c ---[2507]---> BDD-cost: 17 1.29/1.38 c ---[2506]---> BDD-cost: 17 1.29/1.38 c ---[2505]---> BDD-cost: 17 1.29/1.38 c ---[2504]---> BDD-cost: 17 1.29/1.38 c ---[2503]---> BDD-cost: 17 1.29/1.38 c ---[2502]---> BDD-cost: 17 1.29/1.38 c ---[2499]---> BDD-cost: 17 1.29/1.38 c ---[2498]---> BDD-cost: 17 1.29/1.38 c ---[2497]---> BDD-cost: 17 1.29/1.38 c ---[2496]---> BDD-cost: 17 1.29/1.38 c ---[2495]---> BDD-cost: 17 1.29/1.38 c ---[2494]---> BDD-cost: 17 1.29/1.38 c ---[2493]---> BDD-cost: 18 1.29/1.38 c ---[2492]---> BDD-cost: 18 1.29/1.38 c ---[2491]---> BDD-cost: 18 1.29/1.38 c ---[2490]---> BDD-cost: 18 1.29/1.38 c ---[2489]---> BDD-cost: 18 1.29/1.38 c ---[2488]---> BDD-cost: 18 1.29/1.38 c ---[2486]---> BDD-cost: 18 1.29/1.38 c ---[2485]---> BDD-cost: 18 1.29/1.38 c ---[2483]---> BDD-cost: 18 1.29/1.38 c ---[2481]---> BDD-cost: 17 1.29/1.38 c ---[2478]---> BDD-cost: 17 1.29/1.38 c ---[2477]---> BDD-cost: 17 1.29/1.38 c ---[2469]---> BDD-cost: 17 1.29/1.38 c ---[2466]---> BDD-cost: 17 1.29/1.38 c ---[2465]---> BDD-cost: 17 1.29/1.38 c ---[2456]---> BDD-cost: 17 1.29/1.38 c ---[2455]---> BDD-cost: 17 1.29/1.38 c ---[2452]---> BDD-cost: 17 1.29/1.38 c ---[2451]---> BDD-cost: 17 1.29/1.39 c ---[2450]---> BDD-cost: 17 1.29/1.39 c ---[2449]---> BDD-cost: 17 1.29/1.39 c ---[2448]---> BDD-cost: 17 1.29/1.39 c ---[2447]---> BDD-cost: 17 1.29/1.39 c ---[2433]---> BDD-cost: 17 1.29/1.39 c ---[2430]---> BDD-cost: 17 1.29/1.39 c ---[2429]---> BDD-cost: 17 1.29/1.39 c ---[2421]---> BDD-cost: 18 1.29/1.39 c ---[2418]---> BDD-cost: 18 1.29/1.39 c ---[2417]---> BDD-cost: 18 1.29/1.39 c ---[2397]---> BDD-cost: 12 1.29/1.39 c ---[2396]---> BDD-cost: 12 1.29/1.39 c ---[2395]---> BDD-cost: 12 1.29/1.39 c ---[2394]---> BDD-cost: 12 1.29/1.39 c ---[2391]---> BDD-cost: 12 1.29/1.39 c ---[2390]---> BDD-cost: 12 1.29/1.39 c ---[2389]---> BDD-cost: 12 1.29/1.39 c ---[2388]---> BDD-cost: 12 1.29/1.39 c ---[2387]---> BDD-cost: 12 1.29/1.39 c ---[2386]---> BDD-cost: 12 1.29/1.39 c ---[2373]---> BDD-cost: 16 1.29/1.39 c ---[2371]---> BDD-cost: 16 1.29/1.39 c ---[2370]---> BDD-cost: 16 1.29/1.39 c ---[2369]---> BDD-cost: 16 1.29/1.39 c ---[2367]---> BDD-cost: 16 1.29/1.39 c ---[2366]---> BDD-cost: 16 1.29/1.39 c ---[2365]---> BDD-cost: 16 1.29/1.39 c ---[2364]---> BDD-cost: 16 1.29/1.39 c ---[2362]---> BDD-cost: 16 1.29/1.39 c ---[2361]---> BDD-cost: 18 1.29/1.39 c ---[2358]---> BDD-cost: 18 1.29/1.39 c ---[2357]---> BDD-cost: 18 1.29/1.39 c ---[2349]---> BDD-cost: 15 1.29/1.39 c ---[2347]---> BDD-cost: 15 1.29/1.39 c ---[2346]---> BDD-cost: 15 1.29/1.39 c ---[2345]---> BDD-cost: 15 1.29/1.39 c ---[2343]---> BDD-cost: 15 1.29/1.39 c ---[2342]---> BDD-cost: 15 1.29/1.39 c ---[2341]---> BDD-cost: 15 1.29/1.39 c ---[2340]---> BDD-cost: 15 1.29/1.39 c ---[2338]---> BDD-cost: 15 1.29/1.39 c ---[2337]---> BDD-cost: 18 1.29/1.39 c ---[2335]---> BDD-cost: 18 1.29/1.39 c ---[2334]---> BDD-cost: 18 1.29/1.39 c ---[2333]---> BDD-cost: 18 1.29/1.39 c ---[2331]---> BDD-cost: 18 1.29/1.39 c ---[2330]---> BDD-cost: 18 1.29/1.39 c ---[2329]---> BDD-cost: 18 1.29/1.39 c ---[2328]---> BDD-cost: 18 1.29/1.39 c ---[2326]---> BDD-cost: 18 1.29/1.39 c ---[2313]---> BDD-cost: 22 1.29/1.39 c ---[2312]---> BDD-cost: 22 1.29/1.39 c ---[2311]---> BDD-cost: 22 1.29/1.39 c ---[2310]---> BDD-cost: 22 1.29/1.39 c ---[2309]---> BDD-cost: 22 1.29/1.39 c ---[2308]---> BDD-cost: 22 1.29/1.39 c ---[2307]---> BDD-cost: 22 1.29/1.39 c ---[2306]---> BDD-cost: 22 1.29/1.39 c ---[2305]---> BDD-cost: 22 1.29/1.39 c ---[2304]---> BDD-cost: 22 1.29/1.39 c ---[2303]---> BDD-cost: 22 1.29/1.39 c ---[2302]---> BDD-cost: 22 1.29/1.39 c ---[2301]---> BDD-cost: 22 1.29/1.39 c ---[2300]---> BDD-cost: 22 1.29/1.39 c ---[2299]---> BDD-cost: 22 1.29/1.39 c ---[2298]---> BDD-cost: 22 1.29/1.39 c ---[2297]---> BDD-cost: 22 1.29/1.39 c ---[2296]---> BDD-cost: 22 1.29/1.39 c ---[2295]---> BDD-cost: 22 1.29/1.39 c ---[2294]---> BDD-cost: 22 1.29/1.39 c ---[2293]---> BDD-cost: 22 1.29/1.39 c ---[2292]---> BDD-cost: 22 1.29/1.39 c ---[2291]---> BDD-cost: 22 1.29/1.39 c ---[2290]---> BDD-cost: 22 1.29/1.39 c ---[2289]---> BDD-cost: 18 1.29/1.39 c ---[2288]---> BDD-cost: 18 1.29/1.39 c ---[2287]---> BDD-cost: 18 1.29/1.40 c ---[2284]---> BDD-cost: 18 1.29/1.40 c ---[2283]---> BDD-cost: 18 1.29/1.40 c ---[2282]---> BDD-cost: 18 1.39/1.40 c ---[2281]---> BDD-cost: 18 1.39/1.40 c ---[2280]---> BDD-cost: 18 1.39/1.40 c ---[2279]---> BDD-cost: 18 1.39/1.40 c ---[2278]---> BDD-cost: 18 1.39/1.40 c ---[2277]---> BDD-cost: 18 1.39/1.40 c ---[2276]---> BDD-cost: 18 1.39/1.40 c ---[2275]---> BDD-cost: 18 1.39/1.40 c ---[2274]---> BDD-cost: 18 1.39/1.40 c ---[2273]---> BDD-cost: 18 1.39/1.40 c ---[2272]---> BDD-cost: 18 1.39/1.40 c ---[2271]---> BDD-cost: 18 1.39/1.40 c ---[2270]---> BDD-cost: 18 1.39/1.40 c ---[2269]---> BDD-cost: 18 1.39/1.40 c ---[2268]---> BDD-cost: 18 1.39/1.40 c ---[2267]---> BDD-cost: 18 1.39/1.40 c ---[2266]---> BDD-cost: 18 1.39/1.40 c ---[2265]---> BDD-cost: 30 1.39/1.40 c ---[2264]---> BDD-cost: 30 1.39/1.40 c ---[2263]---> BDD-cost: 30 1.39/1.40 c ---[2262]---> BDD-cost: 30 1.39/1.40 c ---[2261]---> BDD-cost: 30 1.39/1.40 c ---[2260]---> BDD-cost: 30 1.39/1.40 c ---[2259]---> BDD-cost: 30 1.39/1.40 c ---[2258]---> BDD-cost: 30 1.39/1.40 c ---[2257]---> BDD-cost: 30 1.39/1.40 c ---[2256]---> BDD-cost: 30 1.39/1.40 c ---[2255]---> BDD-cost: 30 1.39/1.40 c ---[2254]---> BDD-cost: 30 1.39/1.40 c ---[2253]---> BDD-cost: 25 1.39/1.40 c ---[2252]---> BDD-cost: 25 1.39/1.40 c ---[2251]---> BDD-cost: 25 1.39/1.40 c ---[2250]---> BDD-cost: 25 1.39/1.40 c ---[2249]---> BDD-cost: 25 1.39/1.40 c ---[2248]---> BDD-cost: 25 1.39/1.40 c ---[2247]---> BDD-cost: 25 1.39/1.40 c ---[2246]---> BDD-cost: 25 1.39/1.40 c ---[2245]---> BDD-cost: 25 1.39/1.40 c ---[2244]---> BDD-cost: 25 1.39/1.40 c ---[2243]---> BDD-cost: 25 1.39/1.40 c ---[2242]---> BDD-cost: 25 1.39/1.40 c ---[2241]---> BDD-cost: 23 1.39/1.40 c ---[2240]---> BDD-cost: 23 1.39/1.40 c ---[2239]---> BDD-cost: 23 1.39/1.40 c ---[2238]---> BDD-cost: 23 1.39/1.40 c ---[2237]---> BDD-cost: 23 1.39/1.40 c ---[2236]---> BDD-cost: 23 1.39/1.40 c ---[2235]---> BDD-cost: 23 1.39/1.40 c ---[2234]---> BDD-cost: 23 1.39/1.40 c ---[2233]---> BDD-cost: 23 1.39/1.40 c ---[2232]---> BDD-cost: 23 1.39/1.40 c ---[2231]---> BDD-cost: 23 1.39/1.40 c ---[2230]---> BDD-cost: 23 1.39/1.40 c ---[2229]---> BDD-cost: 39 1.39/1.40 c ---[2228]---> BDD-cost: 39 1.39/1.40 c ---[2227]---> BDD-cost: 39 1.39/1.40 c ---[2226]---> BDD-cost: 39 1.39/1.40 c ---[2225]---> BDD-cost: 39 1.39/1.40 c ---[2224]---> BDD-cost: 39 1.39/1.41 c ---[2223]---> BDD-cost: 39 1.39/1.41 c ---[2222]---> BDD-cost: 39 1.39/1.41 c ---[2221]---> BDD-cost: 39 1.39/1.41 c ---[2220]---> BDD-cost: 39 1.39/1.41 c ---[2219]---> BDD-cost: 39 1.39/1.41 c ---[2218]---> BDD-cost: 39 1.39/1.41 c ---[2217]---> BDD-cost: 27 1.39/1.41 c ---[2216]---> BDD-cost: 27 1.39/1.41 c ---[2215]---> BDD-cost: 27 1.39/1.41 c ---[2214]---> BDD-cost: 27 1.39/1.41 c ---[2213]---> BDD-cost: 27 1.39/1.41 c ---[2212]---> BDD-cost: 27 1.39/1.41 c ---[2211]---> BDD-cost: 27 1.39/1.41 c ---[2210]---> BDD-cost: 27 1.39/1.41 c ---[2209]---> BDD-cost: 27 1.39/1.41 c ---[2208]---> BDD-cost: 27 1.39/1.41 c ---[2207]---> BDD-cost: 27 1.39/1.41 c ---[2206]---> BDD-cost: 27 1.39/1.41 c ---[2181]---> BDD-cost: 25 1.39/1.41 c ---[2180]---> BDD-cost: 25 1.39/1.41 c ---[2179]---> BDD-cost: 25 1.39/1.41 c ---[2178]---> BDD-cost: 25 1.39/1.41 c ---[2177]---> BDD-cost: 25 1.39/1.41 c ---[2176]---> BDD-cost: 25 1.39/1.41 c ---[2175]---> BDD-cost: 25 1.39/1.41 c ---[2174]---> BDD-cost: 25 1.39/1.41 c ---[2173]---> BDD-cost: 25 1.39/1.41 c ---[2172]---> BDD-cost: 25 1.39/1.41 c ---[2171]---> BDD-cost: 25 1.39/1.41 c ---[2170]---> BDD-cost: 25 1.39/1.41 c ---[2169]---> BDD-cost: 35 1.39/1.41 c ---[2168]---> BDD-cost: 35 1.39/1.41 c ---[2167]---> BDD-cost: 35 1.39/1.41 c ---[2166]---> BDD-cost: 35 1.39/1.41 c ---[2165]---> BDD-cost: 35 1.39/1.41 c ---[2164]---> BDD-cost: 35 1.39/1.41 c ---[2163]---> BDD-cost: 35 1.39/1.41 c ---[2162]---> BDD-cost: 35 1.39/1.41 c ---[2161]---> BDD-cost: 35 1.39/1.41 c ---[2160]---> BDD-cost: 35 1.39/1.41 c ---[2159]---> BDD-cost: 35 1.39/1.41 c ---[2158]---> BDD-cost: 35 1.39/1.41 c ---[2157]---> BDD-cost: 33 1.39/1.41 c ---[2156]---> BDD-cost: 33 1.39/1.41 c ---[2153]---> BDD-cost: 27 1.39/1.41 c ---[2152]---> BDD-cost: 27 1.39/1.41 c ---[2151]---> BDD-cost: 55 1.39/1.41 c ---[2150]---> BDD-cost: 45 1.39/1.41 c ---[2149]---> BDD-cost: 46 1.39/1.41 c ---[2148]---> BDD-cost: 46 1.39/1.41 c ---[2147]---> BDD-cost: 39 1.39/1.41 c ---[2146]---> BDD-cost: 48 1.39/1.42 c ---[2145]---> BDD-cost: 56 1.39/1.42 c ---[2144]---> BDD-cost: 54 1.39/1.42 c ---[2143]---> BDD-cost: 46 1.39/1.42 c ---[2142]---> BDD-cost: 48 1.39/1.42 c ---[2141]---> BDD-cost: 45 1.39/1.42 c ---[2140]---> BDD-cost: 27 1.39/1.42 c ---[2139]---> BDD-cost: 45 1.39/1.42 c ---[2138]---> BDD-cost: 32 1.39/1.42 c ---[2137]---> BDD-cost: 45 1.39/1.42 c ---[2136]---> BDD-cost: 39 1.39/1.42 c ---[2135]---> BDD-cost: 55 1.39/1.42 c ---[2134]---> BDD-cost: 55 1.39/1.42 c ---[2133]---> BDD-cost: 48 1.39/1.42 c ---[2131]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 1.39/1.44 c ---[2129]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 1.39/1.45 c ---[2127]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 1.39/1.47 c ---[2125]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 1.39/1.49 c ---[2123]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 1.49/1.50 c ---[2121]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 1.49/1.52 c ---[2119]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 1.49/1.54 c ---[2117]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 1.49/1.56 c ---[2115]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 1.49/1.57 c ---[2113]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 1.49/1.59 c ---[2111]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 1.59/1.61 c ---[2109]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 1.59/1.63 c ---[2107]---> Sorter-cost: 1304 Base: 2 2 2 2 2 2 2 2 2 2 1.59/1.63 c ---[2105]---> Sorter-cost: 1304 Base: 2 2 2 2 2 2 2 2 2 2 1.59/1.63 c ---[2103]---> Sorter-cost: 1304 Base: 2 2 2 2 2 2 2 2 2 2 1.59/1.64 c ---[2101]---> Sorter-cost: 1304 Base: 2 2 2 2 2 2 2 2 2 2 1.59/1.64 c ---[2099]---> Sorter-cost: 1304 Base: 2 2 2 2 2 2 2 2 2 2 1.59/1.64 c ---[2097]---> Sorter-cost: 1304 Base: 2 2 2 2 2 2 2 2 2 2 1.59/1.64 c ---[2095]---> Sorter-cost: 1304 Base: 2 2 2 2 2 2 2 2 2 2 1.59/1.65 c ---[2093]---> Sorter-cost: 1304 Base: 2 2 2 2 2 2 2 2 2 2 1.59/1.65 c ---[2091]---> Sorter-cost: 1304 Base: 2 2 2 2 2 2 2 2 2 2 1.59/1.65 c ---[2089]---> Sorter-cost: 1304 Base: 2 2 2 2 2 2 2 2 2 2 1.59/1.66 c ---[2087]---> Sorter-cost: 1304 Base: 2 2 2 2 2 2 2 2 2 2 1.59/1.66 c ---[2085]---> Sorter-cost: 1304 Base: 2 2 2 2 2 2 2 2 2 2 1.59/1.66 c ---[2083]---> Adder-cost: 103 maxlim: 75 bits: 8/7 1.59/1.67 c ---[2081]---> Adder-cost: 103 maxlim: 75 bits: 8/7 1.59/1.67 c ---[2079]---> Adder-cost: 103 maxlim: 75 bits: 8/7 1.59/1.67 c ---[2077]---> Adder-cost: 100 maxlim: 43 bits: 7/6 1.59/1.67 c ---[2075]---> Adder-cost: 100 maxlim: 43 bits: 7/6 1.59/1.67 c ---[2073]---> Adder-cost: 103 maxlim: 75 bits: 8/7 1.59/1.68 c ---[2071]---> Adder-cost: 106 maxlim: 331 bits: 10/9 1.59/1.68 c ---[2069]---> Adder-cost: 116 maxlim: 1035 bits: 12/11 1.59/1.68 c ---[2067]---> Adder-cost: 116 maxlim: 1035 bits: 12/11 1.59/1.68 c ---[2065]---> Adder-cost: 110 maxlim: 267 bits: 10/9 1.59/1.69 c ---[2063]---> Adder-cost: 109 maxlim: 139 bits: 9/8 1.59/1.69 c ---[2061]---> Adder-cost: 103 maxlim: 75 bits: 8/7 1.59/1.69 c ---[2059]---> Adder-cost: 109 maxlim: 139 bits: 9/8 1.59/1.69 c ---[2057]---> Adder-cost: 103 maxlim: 75 bits: 8/7 1.59/1.69 c ---[2055]---> Adder-cost: 103 maxlim: 75 bits: 8/7 1.69/1.70 c ---[2053]---> Adder-cost: 103 maxlim: 75 bits: 8/7 1.69/1.70 c ---[2051]---> Adder-cost: 103 maxlim: 75 bits: 8/7 1.69/1.70 c ---[2049]---> Adder-cost: 109 maxlim: 139 bits: 9/8 1.69/1.70 c ---[2047]---> Adder-cost: 114 maxlim: 523 bits: 11/10 1.69/1.71 c ---[2045]---> Adder-cost: 116 maxlim: 1035 bits: 12/11 1.69/1.71 c ---[2043]---> Adder-cost: 116 maxlim: 1035 bits: 12/11 1.69/1.71 c ---[2041]---> Adder-cost: 110 maxlim: 267 bits: 10/9 1.69/1.71 c ---[2039]---> Adder-cost: 109 maxlim: 139 bits: 9/8 1.69/1.72 c ---[2037]---> Adder-cost: 109 maxlim: 139 bits: 9/8 1.69/1.72 c ---[2035]---> Adder-cost: 246 maxlim: 16369 bits: 15/14 1.69/1.75 c ---[2033]---> Adder-cost: 246 maxlim: 16369 bits: 15/14 1.69/1.78 c ---[2031]---> Adder-cost: 246 maxlim: 16369 bits: 15/14 1.79/1.80 c ---[2029]---> Adder-cost: 246 maxlim: 16369 bits: 15/14 1.79/1.83 c ---[2027]---> Adder-cost: 246 maxlim: 16369 bits: 15/14 1.79/1.86 c ---[2025]---> Adder-cost: 246 maxlim: 16369 bits: 15/14 1.79/1.89 c ---[2023]---> Adder-cost: 246 maxlim: 16369 bits: 15/14 1.89/1.92 c ---[2021]---> Sorter-cost: 3306 Base: 2 2 2 2 2 7 3 3 2 2 2 1.89/1.96 c ---[2019]---> Sorter-cost: 3306 Base: 2 2 2 2 2 7 3 3 2 2 2 1.99/2.00 c ---[2017]---> Adder-cost: 246 maxlim: 16369 bits: 15/14 1.99/2.02 c ---[2015]---> Adder-cost: 246 maxlim: 16369 bits: 15/14 1.99/2.05 c ---[2013]---> Adder-cost: 246 maxlim: 16369 bits: 15/14 1.99/2.08 c ---[2011]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 2.09/2.10 c ---[2009]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 2.09/2.12 c ---[2007]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 2.09/2.14 c ---[2005]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 2.09/2.15 c ---[2003]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 2.09/2.17 c ---[2001]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 2.09/2.19 c ---[1999]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 2.20/2.20 c ---[1997]---> Adder-cost: 238 maxlim: 16384 bits: 16/15 2.20/2.23 c ---[1995]---> Adder-cost: 238 maxlim: 16384 bits: 16/15 2.20/2.25 c ---[1993]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 2.20/2.27 c ---[1991]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 2.20/2.28 c ---[1989]---> Adder-cost: 218 maxlim: 8199 bits: 15/14 2.20/2.30 c ---[1987]---> Sorter-cost: 1562 Base: 2 2 2 2 2 2 2 2 2 2 2.30/2.31 c ---[1985]---> Sorter-cost: 1562 Base: 2 2 2 2 2 2 2 2 2 2 2.30/2.31 c ---[1983]---> Sorter-cost: 1562 Base: 2 2 2 2 2 2 2 2 2 2 2.30/2.32 c ---[1981]---> Sorter-cost: 1562 Base: 2 2 2 2 2 2 2 2 2 2 2.30/2.32 c ---[1979]---> Sorter-cost: 1562 Base: 2 2 2 2 2 2 2 2 2 2 2.30/2.33 c ---[1977]---> Sorter-cost: 1562 Base: 2 2 2 2 2 2 2 2 2 2 2.30/2.33 c ---[1975]---> Sorter-cost: 1562 Base: 2 2 2 2 2 2 2 2 2 2 2.30/2.34 c ---[1973]---> Adder-cost: 184 maxlim: 8202 bits: 15/14 2.30/2.35 c ---[1971]---> Adder-cost: 184 maxlim: 8202 bits: 15/14 2.30/2.36 c ---[1969]---> Sorter-cost: 1562 Base: 2 2 2 2 2 2 2 2 2 2 2.30/2.36 c ---[1967]---> Sorter-cost: 1562 Base: 2 2 2 2 2 2 2 2 2 2 2.30/2.37 c ---[1965]---> Sorter-cost: 1562 Base: 2 2 2 2 2 2 2 2 2 2 2.30/2.37 c ---[1963]---> Adder-cost: 280 maxlim: 23799 bits: 15/15 2.39/2.40 c ---[1961]---> Adder-cost: 268 maxlim: 23821 bits: 15/15 2.39/2.43 c ---[1959]---> Adder-cost: 268 maxlim: 23833 bits: 15/15 2.39/2.46 c ---[1957]---> Adder-cost: 268 maxlim: 23840 bits: 15/15 2.39/2.48 c ---[1955]---> Adder-cost: 268 maxlim: 23850 bits: 15/15 2.49/2.51 c ---[1953]---> Adder-cost: 272 maxlim: 23782 bits: 15/15 2.49/2.54 c ---[1951]---> Sorter-cost: 3252 Base: 2 2 3 5 2 2 2 2 2 2 2.49/2.56 c ---[1949]---> Sorter-cost: 3836 Base: 3 5 2 2 2 2 2 2 2 2 2.59/2.60 c ---[1947]---> Sorter-cost: 3856 Base: 3 5 2 2 2 2 2 2 2 2 2.59/2.64 c ---[1945]---> Adder-cost: 274 maxlim: 23374 bits: 15/15 2.59/2.66 c ---[1943]---> Adder-cost: 272 maxlim: 23752 bits: 15/15 2.59/2.69 c ---[1941]---> Adder-cost: 260 maxlim: 23766 bits: 15/15 2.69/2.72 c ---[1939]---> Adder-cost: 214 maxlim: 6050 bits: 13/13 2.69/2.73 c ---[1937]---> Adder-cost: 202 maxlim: 6056 bits: 13/13 2.69/2.75 c ---[1935]---> Adder-cost: 206 maxlim: 6056 bits: 13/13 2.69/2.76 c ---[1933]---> Adder-cost: 206 maxlim: 6050 bits: 13/13 2.69/2.78 c ---[1931]---> Adder-cost: 206 maxlim: 6032 bits: 13/13 2.69/2.79 c ---[1929]---> Adder-cost: 206 maxlim: 5946 bits: 13/13 2.79/2.80 c ---[1927]---> Sorter-cost: 2971 Base: 7 3 3 2 2 2 2 2.79/2.82 c ---[1925]---> Adder-cost: 222 maxlim: 5233 bits: 13/13 2.79/2.83 c ---[1923]---> Sorter-cost: 2971 Base: 7 3 3 2 2 2 2 2.79/2.85 c ---[1921]---> Adder-cost: 214 maxlim: 5903 bits: 13/13 2.79/2.87 c ---[1919]---> Adder-cost: 206 maxlim: 6007 bits: 13/13 2.79/2.88 c ---[1917]---> Adder-cost: 198 maxlim: 6038 bits: 13/13 2.89/2.90 c ---[1915]---> Adder-cost: 88 maxlim: 126 bits: 8/7 2.89/2.90 c ---[1913]---> Adder-cost: 76 maxlim: 147 bits: 8/8 2.89/2.90 c ---[1911]---> Adder-cost: 80 maxlim: 155 bits: 8/8 2.89/2.90 c ---[1909]---> Adder-cost: 80 maxlim: 97 bits: 8/7 2.89/2.90 c ---[1907]---> Adder-cost: 80 maxlim: 105 bits: 8/7 2.89/2.91 c ---[1905]---> Adder-cost: 80 maxlim: 112 bits: 8/7 2.89/2.91 c ---[1903]---> Adder-cost: 80 maxlim: 100 bits: 8/7 2.89/2.91 c ---[1901]---> Adder-cost: 102 maxlim: 521 bits: 11/10 2.89/2.91 c ---[1899]---> Adder-cost: 102 maxlim: 569 bits: 11/10 2.89/2.92 c ---[1897]---> Adder-cost: 82 maxlim: 148 bits: 9/8 2.89/2.92 c ---[1895]---> Adder-cost: 82 maxlim: 213 bits: 9/8 2.89/2.92 c ---[1893]---> Adder-cost: 72 maxlim: 98 bits: 8/7 2.89/2.92 c ---[1891]---> Adder-cost: 94 maxlim: 286 bits: 9/9 2.89/2.93 c ---[1889]---> Adder-cost: 82 maxlim: 179 bits: 9/8 2.89/2.93 c ---[1887]---> Adder-cost: 86 maxlim: 187 bits: 9/8 2.89/2.93 c ---[1885]---> Adder-cost: 86 maxlim: 193 bits: 9/8 2.89/2.93 c ---[1883]---> Adder-cost: 86 maxlim: 201 bits: 9/8 2.89/2.93 c ---[1881]---> Adder-cost: 86 maxlim: 272 bits: 9/9 2.89/2.94 c ---[1879]---> Adder-cost: 90 maxlim: 516 bits: 11/10 2.89/2.94 c ---[1877]---> Adder-cost: 106 maxlim: 554 bits: 11/10 2.89/2.94 c ---[1875]---> Adder-cost: 106 maxlim: 601 bits: 11/10 2.89/2.95 c ---[1873]---> Adder-cost: 86 maxlim: 180 bits: 9/8 2.89/2.95 c ---[1871]---> Adder-cost: 86 maxlim: 245 bits: 9/8 2.89/2.95 c ---[1869]---> Adder-cost: 78 maxlim: 258 bits: 9/9 2.89/2.95 c ---[1867]---> Adder-cost: 142 maxlim: 16409 bits: 15/15 2.89/2.96 c ---[1865]---> Adder-cost: 142 maxlim: 16409 bits: 15/15 2.89/2.96 c ---[1863]---> Adder-cost: 142 maxlim: 16409 bits: 15/15 2.89/2.97 c ---[1861]---> Adder-cost: 142 maxlim: 16409 bits: 15/15 2.89/2.97 c ---[1859]---> Adder-cost: 142 maxlim: 16409 bits: 15/15 2.89/2.98 c ---[1857]---> Adder-cost: 142 maxlim: 16409 bits: 15/15 2.89/2.98 c ---[1855]---> Adder-cost: 142 maxlim: 16409 bits: 15/15 2.89/2.99 c ---[1853]---> Adder-cost: 148 maxlim: 32794 bits: 16/16 2.89/2.99 c ---[1851]---> Adder-cost: 148 maxlim: 32794 bits: 16/16 2.99/3.00 c ---[1849]---> Adder-cost: 142 maxlim: 16409 bits: 15/15 2.99/3.01 c ---[1847]---> Adder-cost: 142 maxlim: 16409 bits: 15/15 2.99/3.01 c ---[1845]---> Adder-cost: 142 maxlim: 16409 bits: 15/15 2.99/3.02 c ---[1843]---> Adder-cost: 244 maxlim: 8715 bits: 14/14 2.99/3.03 c ---[1841]---> Adder-cost: 232 maxlim: 8715 bits: 14/14 2.99/3.04 c ---[1839]---> Adder-cost: 244 maxlim: 8715 bits: 14/14 2.99/3.06 c ---[1837]---> Adder-cost: 244 maxlim: 8715 bits: 14/14 2.99/3.07 c ---[1835]---> Adder-cost: 244 maxlim: 8715 bits: 14/14 2.99/3.09 c ---[1833]---> Adder-cost: 244 maxlim: 8715 bits: 14/14 3.09/3.10 c ---[1831]---> Adder-cost: 244 maxlim: 8715 bits: 14/14 3.09/3.11 c ---[1829]---> Adder-cost: 284 maxlim: 16892 bits: 15/15 3.09/3.14 c ---[1827]---> Adder-cost: 284 maxlim: 16892 bits: 15/15 3.09/3.16 c ---[1825]---> Adder-cost: 244 maxlim: 8715 bits: 14/14 3.09/3.17 c ---[1823]---> Adder-cost: 244 maxlim: 8715 bits: 14/14 3.09/3.18 c ---[1821]---> Adder-cost: 238 maxlim: 8715 bits: 14/14 3.19/3.20 c ---[1819]---> Sorter-cost: 2193 Base: 7 3 3 2 2 2 2 2 3.19/3.22 c ---[1817]---> Sorter-cost: 2146 Base: 7 3 3 2 2 2 2 2 3.19/3.25 c ---[1815]---> Sorter-cost: 2742 Base: 7 3 3 2 2 2 2 2 3.19/3.27 c ---[1813]---> Sorter-cost: 2744 Base: 7 3 3 2 2 2 2 2 3.19/3.29 c ---[1811]---> Sorter-cost: 2742 Base: 7 3 3 2 2 2 2 2 3.29/3.31 c ---[1809]---> Sorter-cost: 2509 Base: 7 3 3 2 2 2 2 3.29/3.34 c ---[1807]---> Adder-cost: 258 maxlim: 9750 bits: 14/14 3.29/3.36 c ---[1805]---> Sorter-cost: 3565 Base: 2 2 3 5 2 2 2 2 2 3.29/3.38 c ---[1803]---> Sorter-cost: 3591 Base: 2 2 3 5 2 2 2 2 2 3.39/3.40 c ---[1801]---> Sorter-cost: 3639 Base: 2 5 5 5 2 2 2 3.39/3.43 c ---[1799]---> Sorter-cost: 2513 Base: 7 3 3 2 2 2 2 3.39/3.46 c ---[1797]---> Sorter-cost: 2462 Base: 7 3 3 2 2 2 2 3.39/3.48 c ---[1795]---> Sorter-cost: 4414 Base: 5 3 5 2 3 3 2 2 2 2 2 3.59/3.62 c ---[1793]---> Adder-cost: 364 maxlim: 172497 bits: 19/18 3.59/3.66 c ---[1791]---> Adder-cost: 338 maxlim: 172075 bits: 19/18 3.69/3.70 c ---[1789]---> Adder-cost: 394 maxlim: 170791 bits: 19/18 3.79/3.83 c ---[1787]---> Sorter-cost: 3256 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 3.79/3.87 c ---[1785]---> Adder-cost: 352 maxlim: 156994 bits: 19/18 3.89/3.99 c ---[1783]---> Sorter-cost: 3083 Base: 3 3 7 3 7 2 2 2 2 2 4.09/4.12 c ---[1781]---> Sorter-cost: 3083 Base: 3 3 7 3 7 2 2 2 2 2 4.19/4.25 c ---[1779]---> Adder-cost: 360 maxlim: 155384 bits: 19/18 4.29/4.37 c ---[1777]---> Sorter-cost: 4125 Base: 3 2 3 2 2 3 3 2 2 2 2 2 2 4.50/4.53 c ---[1775]---> Adder-cost: 370 maxlim: 168846 bits: 19/18 4.69/4.71 c ---[1773]---> Sorter-cost: 3952 Base: 7 3 2 2 2 2 2 2 2 2 2 2 2 4.79/4.81 c ---[1771]---> Adder-cost: 450 maxlim: 262363 bits: 19/19 4.89/4.91 c ---[1769]---> Adder-cost: 458 maxlim: 262363 bits: 19/19 4.99/5.00 c ---[1767]---> Adder-cost: 458 maxlim: 262363 bits: 19/19 4.99/5.09 c ---[1765]---> Adder-cost: 458 maxlim: 262363 bits: 19/19 5.09/5.19 c ---[1763]---> Adder-cost: 458 maxlim: 262363 bits: 19/19 5.19/5.28 c ---[1761]---> Adder-cost: 230 maxlim: 262202 bits: 19/19 5.19/5.29 c ---[1759]---> Adder-cost: 230 maxlim: 262202 bits: 19/19 5.29/5.30 c ---[1757]---> Adder-cost: 230 maxlim: 262202 bits: 19/19 5.29/5.31 c ---[1755]---> Adder-cost: 230 maxlim: 262202 bits: 19/19 5.29/5.32 c ---[1753]---> Adder-cost: 298 maxlim: 262202 bits: 19/19 5.29/5.34 c ---[1751]---> Adder-cost: 438 maxlim: 262363 bits: 19/19 5.39/5.44 c ---[1749]---> Adder-cost: 432 maxlim: 262343 bits: 19/19 5.50/5.54 c ---[1747]---> Adder-cost: 460 maxlim: 104878 bits: 18/17 5.50/5.60 c ---[1745]---> Adder-cost: 460 maxlim: 104878 bits: 18/17 5.60/5.65 c ---[1743]---> Adder-cost: 460 maxlim: 104878 bits: 18/17 5.69/5.71 c ---[1741]---> Adder-cost: 456 maxlim: 104878 bits: 18/17 5.69/5.77 c ---[1739]---> Adder-cost: 456 maxlim: 104878 bits: 18/17 5.79/5.82 c ---[1737]---> Adder-cost: 374 maxlim: 104878 bits: 18/17 5.79/5.88 c ---[1735]---> Adder-cost: 376 maxlim: 104878 bits: 18/17 5.89/5.94 c ---[1733]---> Adder-cost: 368 maxlim: 104878 bits: 18/17 5.99/6.00 c ---[1731]---> Adder-cost: 380 maxlim: 104852 bits: 18/17 5.99/6.05 c ---[1729]---> Adder-cost: 442 maxlim: 104835 bits: 18/17 6.09/6.12 c ---[1727]---> Adder-cost: 446 maxlim: 104871 bits: 18/17 6.09/6.18 c ---[1725]---> Adder-cost: 446 maxlim: 104783 bits: 18/17 6.19/6.25 c ---[1723]---> Adder-cost: 498 maxlim: 104878 bits: 18/17 6.29/6.32 c ---[1721]---> Adder-cost: 442 maxlim: 104789 bits: 18/17 6.29/6.38 c ---[1719]---> Adder-cost: 460 maxlim: 104783 bits: 18/17 6.39/6.44 c ---[1717]---> Adder-cost: 500 maxlim: 104878 bits: 18/17 6.39/6.49 c ---[1715]---> Adder-cost: 494 maxlim: 104775 bits: 18/17 6.49/6.55 c ---[1713]---> Adder-cost: 380 maxlim: 104377 bits: 18/17 6.60/6.61 c ---[1711]---> Adder-cost: 374 maxlim: 103784 bits: 18/17 6.60/6.67 c ---[1709]---> Adder-cost: 374 maxlim: 103611 bits: 18/17 6.70/6.73 c ---[1707]---> Adder-cost: 380 maxlim: 103942 bits: 18/17 6.70/6.79 c ---[1705]---> Adder-cost: 446 maxlim: 104422 bits: 18/17 6.79/6.85 c ---[1703]---> Adder-cost: 450 maxlim: 104666 bits: 18/17 6.89/6.92 c ---[1701]---> Adder-cost: 442 maxlim: 104680 bits: 18/17 6.89/6.98 c ---[1699]---> Adder-cost: 460 maxlim: 104878 bits: 18/17 6.99/7.04 c ---[1697]---> Adder-cost: 462 maxlim: 104878 bits: 18/17 6.99/7.10 c ---[1695]---> Adder-cost: 464 maxlim: 104878 bits: 18/17 7.09/7.15 c ---[1693]---> Adder-cost: 456 maxlim: 104878 bits: 18/17 7.19/7.21 c ---[1691]---> Adder-cost: 456 maxlim: 104878 bits: 18/17 7.19/7.26 c ---[1689]---> Adder-cost: 368 maxlim: 104798 bits: 18/17 7.29/7.33 c ---[1687]---> Adder-cost: 380 maxlim: 104552 bits: 18/17 7.39/7.40 c ---[1685]---> Adder-cost: 368 maxlim: 104307 bits: 18/17 7.39/7.45 c ---[1683]---> Adder-cost: 368 maxlim: 104281 bits: 18/17 7.49/7.51 c ---[1681]---> Adder-cost: 432 maxlim: 104759 bits: 18/17 7.59/7.60 c ---[1679]---> Adder-cost: 446 maxlim: 104871 bits: 18/17 7.59/7.66 c ---[1677]---> Adder-cost: 440 maxlim: 104793 bits: 18/17 7.70/7.72 c ---[1675]---> Adder-cost: 488 maxlim: 104878 bits: 18/17 7.70/7.78 c ---[1673]---> Adder-cost: 498 maxlim: 104878 bits: 18/17 7.80/7.84 c ---[1671]---> Adder-cost: 456 maxlim: 104780 bits: 18/17 7.89/7.90 c ---[1669]---> Adder-cost: 486 maxlim: 104878 bits: 18/17 7.89/7.97 c ---[1667]---> Adder-cost: 494 maxlim: 104878 bits: 18/17 7.99/8.02 c ---[1665]---> Adder-cost: 376 maxlim: 104416 bits: 18/17 7.99/8.08 c ---[1663]---> Adder-cost: 374 maxlim: 103245 bits: 18/17 8.09/8.14 c ---[1661]---> Adder-cost: 376 maxlim: 103008 bits: 18/17 8.19/8.20 c ---[1659]---> Adder-cost: 374 maxlim: 103655 bits: 18/17 8.19/8.26 c ---[1657]---> Adder-cost: 434 maxlim: 104263 bits: 18/17 8.29/8.33 c ---[1655]---> Adder-cost: 458 maxlim: 104621 bits: 18/17 8.29/8.39 c ---[1653]---> Adder-cost: 440 maxlim: 104644 bits: 18/17 8.39/8.46 c ---[1651]---> Adder-cost: 304 maxlim: 131101 bits: 19/18 8.39/8.47 c ---[1649]---> Adder-cost: 304 maxlim: 131101 bits: 19/18 8.39/8.48 c ---[1647]---> Adder-cost: 304 maxlim: 131101 bits: 19/18 8.39/8.49 c ---[1645]---> Adder-cost: 296 maxlim: 131101 bits: 19/18 8.49/8.50 c ---[1643]---> Adder-cost: 296 maxlim: 131101 bits: 19/18 8.49/8.52 c ---[1641]---> Adder-cost: 283 maxlim: 130965 bits: 18/17 8.59/8.60 c ---[1639]---> Adder-cost: 341 maxlim: 130603 bits: 18/17 8.59/8.67 c ---[1637]---> Adder-cost: 381 maxlim: 130243 bits: 18/17 8.69/8.77 c ---[1635]---> Adder-cost: 381 maxlim: 130243 bits: 18/17 8.80/8.87 c ---[1633]---> Adder-cost: 359 maxlim: 130933 bits: 18/17 8.90/8.96 c ---[1631]---> Adder-cost: 296 maxlim: 131101 bits: 19/18 8.90/8.97 c ---[1629]---> Adder-cost: 289 maxlim: 130986 bits: 18/17 8.90/8.99 c ---[1627]---> Sorter-cost: 4449 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 8.99/9.07 c ---[1625]---> Sorter-cost: 4449 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 9.09/9.16 c ---[1623]---> Sorter-cost: 4528 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 9.19/9.25 c ---[1621]---> Sorter-cost: 4528 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 9.29/9.34 c ---[1619]---> Sorter-cost: 4528 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 9.39/9.43 c ---[1617]---> Adder-cost: 392 maxlim: 174380 bits: 19/18 9.49/9.54 c ---[1615]---> Adder-cost: 400 maxlim: 173176 bits: 19/18 9.59/9.62 c ---[1613]---> Sorter-cost: 5025 Base: 5 2 3 5 3 3 2 2 2 2 2 9.69/9.75 c ---[1611]---> Adder-cost: 410 maxlim: 171968 bits: 19/18 9.79/9.88 c ---[1609]---> Adder-cost: 392 maxlim: 174380 bits: 19/18 9.90/9.99 c ---[1607]---> Sorter-cost: 4449 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 10.00/10.08 c ---[1605]---> Sorter-cost: 4449 Base: 3 7 2 2 2 2 2 2 2 2 2 2 2 10.09/10.16 c ---[1603]---> Adder-cost: 252 maxlim: 131101 bits: 19/18 10.09/10.17 c ---[1601]---> Adder-cost: 252 maxlim: 131101 bits: 19/18 10.09/10.18 c ---[1599]---> Adder-cost: 252 maxlim: 131101 bits: 19/18 10.09/10.19 c ---[1597]---> Adder-cost: 252 maxlim: 131101 bits: 19/18 10.19/10.20 c ---[1595]---> Adder-cost: 252 maxlim: 131101 bits: 19/18 10.19/10.22 c ---[1593]---> Adder-cost: 283 maxlim: 131021 bits: 18/17 10.19/10.29 c ---[1591]---> Sorter-cost: 3678 Base: 2 2 2 2 2 3 5 17 2 2 10.29/10.34 c ---[1589]---> Sorter-cost: 3885 Base: 2 2 2 2 3 5 17 2 2 2 10.39/10.40 c ---[1587]---> Sorter-cost: 3952 Base: 2 2 2 2 3 5 17 2 2 2 10.39/10.47 c ---[1585]---> Adder-cost: 315 maxlim: 131022 bits: 18/17 10.49/10.53 c ---[1583]---> Adder-cost: 256 maxlim: 131101 bits: 19/18 10.49/10.54 c ---[1581]---> Adder-cost: 248 maxlim: 131075 bits: 19/18 10.49/10.55 c ---[1579]---> Adder-cost: 280 maxlim: 131101 bits: 19/18 10.49/10.56 c ---[1577]---> Adder-cost: 280 maxlim: 131101 bits: 19/18 10.49/10.57 c ---[1575]---> Adder-cost: 280 maxlim: 131101 bits: 19/18 10.49/10.59 c ---[1573]---> Adder-cost: 290 maxlim: 131101 bits: 19/18 10.59/10.60 c ---[1571]---> Adder-cost: 290 maxlim: 131101 bits: 19/18 10.59/10.61 c ---[1569]---> Adder-cost: 224 maxlim: 131101 bits: 19/18 10.59/10.62 c ---[1567]---> Adder-cost: 224 maxlim: 131101 bits: 19/18 10.59/10.63 c ---[1565]---> Adder-cost: 224 maxlim: 131101 bits: 19/18 10.59/10.64 c ---[1563]---> Adder-cost: 224 maxlim: 131101 bits: 19/18 10.59/10.65 c ---[1561]---> Adder-cost: 282 maxlim: 131101 bits: 19/18 10.59/10.66 c ---[1559]---> Adder-cost: 288 maxlim: 131101 bits: 19/18 10.59/10.67 c ---[1557]---> Adder-cost: 277 maxlim: 131070 bits: 18/17 10.59/10.68 c ---[1555]---> Adder-cost: 358 maxlim: 3295 bits: 13/12 10.69/10.70 c ---[1553]---> Adder-cost: 370 maxlim: 3295 bits: 13/12 10.69/10.71 c ---[1551]---> Adder-cost: 370 maxlim: 3295 bits: 13/12 10.69/10.73 c ---[1549]---> Adder-cost: 370 maxlim: 3295 bits: 13/12 10.69/10.75 c ---[1547]---> Adder-cost: 370 maxlim: 3295 bits: 13/12 10.69/10.76 c ---[1545]---> Adder-cost: 236 maxlim: 3231 bits: 13/12 10.69/10.77 c ---[1543]---> Adder-cost: 228 maxlim: 2628 bits: 13/12 10.69/10.78 c ---[1541]---> Adder-cost: 256 maxlim: 6122 bits: 14/13 10.79/10.80 c ---[1539]---> Adder-cost: 228 maxlim: 2437 bits: 13/12 10.79/10.81 c ---[1537]---> Adder-cost: 312 maxlim: 3211 bits: 13/12 10.79/10.82 c ---[1535]---> Adder-cost: 340 maxlim: 3295 bits: 13/12 10.79/10.83 c ---[1533]---> Adder-cost: 306 maxlim: 3206 bits: 13/12 10.79/10.85 c ---[1531]---> Adder-cost: 272 maxlim: 756 bits: 11/10 10.79/10.86 c ---[1529]---> Adder-cost: 274 maxlim: 756 bits: 11/10 10.79/10.86 c ---[1527]---> Adder-cost: 274 maxlim: 756 bits: 11/10 10.79/10.87 c ---[1525]---> Adder-cost: 282 maxlim: 756 bits: 11/10 10.79/10.88 c ---[1523]---> Adder-cost: 248 maxlim: 699 bits: 11/10 10.79/10.89 c ---[1521]---> Sorter-cost: 1915 Base: 3 7 2 2 10.79/10.89 c ---[1519]---> Adder-cost: 206 maxlim: 499 bits: 10/9 10.89/10.90 c ---[1517]---> Adder-cost: 242 maxlim: 1439 bits: 12/11 10.89/10.91 c ---[1515]---> Adder-cost: 216 maxlim: 585 bits: 10/10 10.89/10.91 c ---[1513]---> Adder-cost: 284 maxlim: 1439 bits: 12/11 10.89/10.92 c ---[1511]---> Adder-cost: 274 maxlim: 756 bits: 11/10 10.89/10.93 c ---[1509]---> Adder-cost: 236 maxlim: 289 bits: 10/9 10.89/10.94 c ---[1507]---> Adder-cost: 104 maxlim: 278 bits: 9/9 10.89/10.94 c ---[1505]---> Adder-cost: 104 maxlim: 278 bits: 9/9 10.89/10.94 c ---[1503]---> Adder-cost: 98 maxlim: 254 bits: 9/8 10.89/10.95 c ---[1501]---> Adder-cost: 104 maxlim: 246 bits: 9/8 10.89/10.95 c ---[1499]---> Adder-cost: 104 maxlim: 214 bits: 9/8 10.89/10.95 c ---[1497]---> Adder-cost: 100 maxlim: 230 bits: 9/8 10.89/10.95 c ---[1495]---> Adder-cost: 48 maxlim: 59 bits: 7/6 10.89/10.96 c ---[1493]---> Adder-cost: 104 maxlim: 214 bits: 9/8 10.89/10.96 c ---[1491]---> Adder-cost: 100 maxlim: 230 bits: 9/8 10.89/10.96 c ---[1489]---> Sorter-cost: 617 Base: 2 2 2 2 2 2 2 2 10.89/10.96 c ---[1487]---> Adder-cost: 100 maxlim: 390 bits: 10/9 10.89/10.96 c ---[1485]---> Adder-cost: 50 maxlim: 75 bits: 8/7 10.89/10.97 c ---[1483]---> Sorter-cost: 178 Base: 2 2 2 2 2 10.89/10.97 c ---[1481]---> Sorter-cost: 179 Base: 2 2 2 2 2 10.89/10.97 c ---[1479]---> Sorter-cost: 193 Base: 2 10.89/10.97 c ---[1477]---> Sorter-cost: 174 Base: 2 2 2 2 10.89/10.97 c ---[1475]---> Sorter-cost: 171 Base: 2 2 2 2 10.89/10.97 c ---[1473]---> Sorter-cost: 273 Base: 7 10.89/10.97 c ---[1471]---> Sorter-cost: 193 Base: 2 10.89/10.97 c ---[1469]---> Sorter-cost: 174 Base: 2 2 2 2 10.89/10.97 c ---[1467]---> Sorter-cost: 272 Base: 7 10.89/10.97 c ---[1465]---> Sorter-cost: 179 Base: 2 2 2 2 2 10.89/10.97 c ---[1463]---> Sorter-cost: 193 Base: 2 10.89/10.97 c ---[1461]---> Sorter-cost: 193 Base: 2 10.89/10.97 c ---[1459]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 10.89/10.97 c ---[1457]---> Sorter-cost: 193 Base: 2 10.89/10.97 c ---[1455]---> Sorter-cost: 193 Base: 2 10.89/10.97 c ---[1453]---> Sorter-cost: 594 Base: 2 2 2 2 2 2 2 2 10.89/10.98 c ---[1451]---> Sorter-cost: 585 Base: 2 2 2 2 2 2 2 10.89/10.98 c ---[1449]---> Sorter-cost: 174 Base: 2 2 2 2 10.89/10.98 c ---[1447]---> Sorter-cost: 193 Base: 2 10.89/10.98 c ---[1445]---> Sorter-cost: 193 Base: 2 10.89/10.98 c ---[1443]---> Sorter-cost: 273 Base: 7 10.89/10.98 c ---[1441]---> Sorter-cost: 273 Base: 7 10.89/10.98 c ---[1439]---> Sorter-cost: 193 Base: 2 10.89/10.98 c ---[1437]---> Sorter-cost: 273 Base: 7 10.89/10.98 c ---[1435]---> Sorter-cost: 596 Base: 2 2 2 2 2 2 2 2 10.89/10.98 c ---[1433]---> Sorter-cost: 193 Base: 2 2 2 2 2 2 2 2 10.89/10.98 c ---[1431]---> Sorter-cost: 273 Base: 7 10.89/10.98 c ---[1429]---> Sorter-cost: 585 Base: 2 2 2 2 2 2 2 10.89/10.99 c ---[1427]---> Sorter-cost: 594 Base: 2 2 2 2 2 2 2 2 10.89/10.99 c ---[1425]---> Sorter-cost: 178 Base: 2 2 2 2 2 10.89/10.99 c ---[1423]---> Sorter-cost: 193 Base: 2 10.89/10.99 c ---[1421]---> Sorter-cost: 327 Base: 3 5 2 10.89/10.99 c ---[1419]---> Sorter-cost: 193 Base: 2 10.89/10.99 c ---[1417]---> Sorter-cost: 193 Base: 2 10.89/10.99 c ---[1415]---> Sorter-cost: 184 Base: 2 2 2 2 2 2 10.89/10.99 c ---[1413]---> Sorter-cost: 273 Base: 7 10.89/10.99 c ---[1411]---> Sorter-cost: 1481 Base: 2 2 2 2 2 2 2 2 3 5 2 11.00/11.01 c ---[1409]---> Sorter-cost: 2145 Base: 2 2 2 2 2 2 2 2 3 5 2 11.00/11.02 c ---[1407]---> Sorter-cost: 2145 Base: 2 2 2 2 2 2 2 2 3 5 2 11.00/11.04 c ---[1405]---> Sorter-cost: 1481 Base: 2 2 2 2 2 2 2 2 3 5 2 11.00/11.06 c ---[1403]---> Sorter-cost: 1481 Base: 2 2 2 2 2 2 2 2 3 5 2 11.00/11.07 c ---[1401]---> Sorter-cost: 2145 Base: 2 2 2 2 2 2 2 2 3 5 2 11.00/11.09 c ---[1399]---> Sorter-cost: 2145 Base: 2 2 2 2 2 2 2 2 3 5 2 11.10/11.10 c ---[1397]---> Sorter-cost: 2145 Base: 2 2 2 2 2 2 2 2 3 5 2 11.10/11.12 c ---[1395]---> Sorter-cost: 2145 Base: 2 2 2 2 2 2 2 2 3 5 2 11.10/11.13 c ---[1393]---> Sorter-cost: 2145 Base: 2 2 2 2 2 2 2 2 3 5 2 11.10/11.15 c ---[1391]---> Sorter-cost: 2145 Base: 2 2 2 2 2 2 2 2 3 5 2 11.10/11.17 c ---[1389]---> Sorter-cost: 1481 Base: 2 2 2 2 2 2 2 2 3 5 2 11.10/11.18 c ---[1387]---> Sorter-cost: 663 Base: 2 2 2 2 2 2 2 2 2 2 2 2 11.10/11.19 c ---[1385]---> Sorter-cost: 704 Base: 2 2 2 2 2 2 2 2 2 2 2 2 11.10/11.19 c ---[1383]---> Sorter-cost: 704 Base: 2 2 2 2 2 2 2 2 2 2 2 2 11.10/11.19 c ---[1381]---> Sorter-cost: 663 Base: 2 2 2 2 2 2 2 2 2 2 2 2 11.10/11.19 c ---[1379]---> Sorter-cost: 663 Base: 2 2 2 2 2 2 2 2 2 2 2 2 11.19/11.20 c ---[1377]---> Sorter-cost: 705 Base: 2 2 2 2 2 2 2 2 2 2 2 2 11.19/11.20 c ---[1375]---> Sorter-cost: 1859 Base: 2 2 7 3 3 2 2 2 2 11.19/11.22 c ---[1373]---> Sorter-cost: 2298 Base: 3 5 17 2 2 2 2 11.19/11.24 c ---[1371]---> Sorter-cost: 2269 Base: 3 5 17 2 2 2 2 11.19/11.27 c ---[1369]---> Sorter-cost: 1883 Base: 2 2 2 7 3 3 2 2 2 11.19/11.28 c ---[1367]---> Sorter-cost: 921 Base: 2 2 2 2 2 2 2 2 2 2 2 11.19/11.29 c ---[1365]---> Sorter-cost: 875 Base: 2 2 2 2 2 2 2 2 2 2 2 11.19/11.29 c ---[1363]---> Adder-cost: 58 maxlim: 49 bits: 7/6 11.29/11.30 c ---[1361]---> Sorter-cost: 273 Base: 7 11.29/11.30 c ---[1359]---> Sorter-cost: 193 Base: 2 11.29/11.30 c ---[1357]---> Sorter-cost: 569 Base: 2 11.29/11.30 c ---[1355]---> Sorter-cost: 569 Base: 2 11.29/11.30 c ---[1353]---> Sorter-cost: 193 Base: 2 11.29/11.30 c ---[1351]---> Sorter-cost: 179 Base: 2 2 2 2 2 11.29/11.30 c ---[1349]---> Sorter-cost: 184 Base: 2 2 2 2 2 2 11.29/11.30 c ---[1347]---> Sorter-cost: 171 Base: 2 2 2 2 11.29/11.30 c ---[1345]---> Sorter-cost: 174 Base: 2 2 2 2 11.29/11.30 c ---[1343]---> Sorter-cost: 273 Base: 7 11.29/11.30 c ---[1341]---> Sorter-cost: 273 Base: 7 11.29/11.30 c ---[1339]---> Adder-cost: 218 maxlim: 2071 bits: 12/12 11.29/11.31 c ---[1337]---> Adder-cost: 222 maxlim: 2071 bits: 12/12 11.29/11.32 c ---[1335]---> Adder-cost: 232 maxlim: 4120 bits: 13/13 11.29/11.33 c ---[1333]---> Adder-cost: 232 maxlim: 4120 bits: 13/13 11.29/11.34 c ---[1331]---> Adder-cost: 232 maxlim: 4120 bits: 13/13 11.29/11.35 c ---[1329]---> Adder-cost: 174 maxlim: 4120 bits: 13/13 11.29/11.35 c ---[1327]---> Adder-cost: 192 maxlim: 16410 bits: 15/15 11.29/11.36 c ---[1325]---> Adder-cost: 180 maxlim: 7192 bits: 14/13 11.29/11.37 c ---[1323]---> Adder-cost: 192 maxlim: 16410 bits: 15/15 11.29/11.38 c ---[1321]---> Adder-cost: 218 maxlim: 4089 bits: 13/12 11.29/11.39 c ---[1319]---> Adder-cost: 216 maxlim: 2071 bits: 12/12 11.29/11.39 c ---[1317]---> Adder-cost: 202 maxlim: 1980 bits: 12/11 11.39/11.40 c ---[1315]---> Adder-cost: 96 maxlim: 302 bits: 10/9 11.39/11.40 c ---[1313]---> Adder-cost: 98 maxlim: 310 bits: 10/9 11.39/11.41 c ---[1311]---> Adder-cost: 102 maxlim: 598 bits: 10/10 11.39/11.41 c ---[1309]---> Adder-cost: 98 maxlim: 550 bits: 10/10 11.39/11.41 c ---[1307]---> Adder-cost: 102 maxlim: 502 bits: 10/9 11.39/11.42 c ---[1305]---> Adder-cost: 98 maxlim: 670 bits: 11/10 11.39/11.42 c ---[1303]---> Adder-cost: 108 maxlim: 2326 bits: 13/12 11.39/11.42 c ---[1301]---> Adder-cost: 102 maxlim: 1126 bits: 12/11 11.39/11.42 c ---[1299]---> Adder-cost: 110 maxlim: 2326 bits: 13/12 11.39/11.43 c ---[1297]---> Adder-cost: 104 maxlim: 534 bits: 11/10 11.39/11.43 c ---[1295]---> Adder-cost: 102 maxlim: 406 bits: 10/9 11.39/11.43 c ---[1293]---> Adder-cost: 96 maxlim: 510 bits: 10/9 11.39/11.44 c ---[1291]---> Sorter-cost: 193 Base: 2 11.39/11.44 c ---[1289]---> Sorter-cost: 273 Base: 7 11.39/11.44 c ---[1287]---> Sorter-cost: 179 Base: 2 2 2 2 2 11.39/11.44 c ---[1285]---> Sorter-cost: 273 Base: 7 11.39/11.44 c ---[1283]---> Sorter-cost: 172 Base: 2 2 2 2 11.39/11.44 c ---[1281]---> Sorter-cost: 193 Base: 2 11.39/11.44 c ---[1279]---> Sorter-cost: 174 Base: 2 2 2 2 11.39/11.44 c ---[1277]---> Sorter-cost: 273 Base: 7 11.39/11.44 c ---[1275]---> Sorter-cost: 400 Base: 7 3 3 11.39/11.44 c ---[1273]---> Sorter-cost: 174 Base: 2 2 2 2 11.39/11.44 c ---[1271]---> Sorter-cost: 174 Base: 2 2 2 2 11.39/11.44 c ---[1269]---> Sorter-cost: 193 Base: 2 11.39/11.44 c ---[1267]---> Sorter-cost: 1276 Base: 2 2 2 2 2 2 2 2 2 11.39/11.45 c ---[1265]---> Sorter-cost: 659 Base: 2 2 2 2 2 2 2 2 2 11.39/11.45 c ---[1263]---> Sorter-cost: 674 Base: 2 2 2 2 2 2 2 2 2 2 11.39/11.45 c ---[1261]---> Sorter-cost: 1291 Base: 2 2 2 2 2 2 2 2 2 2 11.39/11.46 c ---[1259]---> Sorter-cost: 1291 Base: 2 2 2 2 2 2 2 2 2 2 11.39/11.46 c ---[1257]---> Sorter-cost: 674 Base: 2 2 2 2 2 2 2 2 2 2 11.39/11.46 c ---[1255]---> Sorter-cost: 922 Base: 2 2 2 2 2 2 2 2 2 2 2 11.39/11.47 c ---[1253]---> Sorter-cost: 672 Base: 2 2 2 2 2 2 2 2 2 2 2 11.39/11.47 c ---[1251]---> Sorter-cost: 922 Base: 2 2 2 2 2 2 2 2 2 2 2 11.39/11.47 c ---[1249]---> Sorter-cost: 674 Base: 2 2 2 2 2 2 2 2 2 2 11.39/11.48 c ---[1247]---> Sorter-cost: 659 Base: 2 2 2 2 2 2 2 2 2 11.39/11.48 c ---[1245]---> Sorter-cost: 659 Base: 2 2 2 2 2 2 2 2 2 11.39/11.48 c ---[1243]---> Adder-cost: 244 maxlim: 699 bits: 11/10 11.39/11.49 c ---[1241]---> Adder-cost: 240 maxlim: 570 bits: 11/10 11.39/11.49 c ---[1239]---> Adder-cost: 268 maxlim: 1382 bits: 12/11 11.49/11.50 c ---[1237]---> Adder-cost: 268 maxlim: 1382 bits: 12/11 11.49/11.51 c ---[1235]---> Adder-cost: 268 maxlim: 1382 bits: 12/11 11.49/11.52 c ---[1233]---> Adder-cost: 176 maxlim: 1040 bits: 11/11 11.49/11.53 c ---[1231]---> Sorter-cost: 2655 Base: 3 7 2 2 2 2 2 2 11.49/11.54 c ---[1229]---> Sorter-cost: 1914 Base: 3 7 2 2 11.49/11.55 c ---[1227]---> Sorter-cost: 2655 Base: 3 7 2 2 2 2 2 2 11.49/11.59 c ---[1225]---> Adder-cost: 228 maxlim: 1023 bits: 11/10 11.59/11.60 c ---[1223]---> Adder-cost: 240 maxlim: 528 bits: 11/10 11.59/11.61 c ---[1221]---> Adder-cost: 204 maxlim: 468 bits: 10/9 11.59/11.61 c ---[1219]---> Adder-cost: 98 maxlim: 174 bits: 9/8 11.59/11.62 c ---[1217]---> Adder-cost: 60 maxlim: 43 bits: 7/6 11.59/11.62 c ---[1215]---> Sorter-cost: 612 Base: 2 2 2 2 2 2 2 11.59/11.62 c ---[1213]---> Adder-cost: 102 maxlim: 422 bits: 10/9 11.59/11.62 c ---[1211]---> Adder-cost: 106 maxlim: 374 bits: 10/9 11.59/11.62 c ---[1209]---> Sorter-cost: 571 Base: 2 2 2 2 2 2 11.59/11.63 c ---[1207]---> Sorter-cost: 605 Base: 2 2 2 2 2 2 2 2 2 2 11.59/11.63 c ---[1205]---> Adder-cost: 62 maxlim: 91 bits: 8/7 11.59/11.63 c ---[1203]---> Sorter-cost: 625 Base: 2 2 2 2 2 2 2 2 2 2 11.59/11.63 c ---[1201]---> Sorter-cost: 602 Base: 2 2 2 2 2 2 2 11.59/11.63 c ---[1199]---> Sorter-cost: 597 Base: 2 2 2 2 2 2 11.59/11.63 c ---[1197]---> Adder-cost: 56 maxlim: 51 bits: 7/6 11.59/11.63 c ---[1195]---> Sorter-cost: 193 Base: 2 11.59/11.64 c ---[1193]---> Sorter-cost: 273 Base: 7 11.59/11.64 c ---[1191]---> Sorter-cost: 179 Base: 2 2 2 2 2 11.59/11.64 c ---[1189]---> Sorter-cost: 273 Base: 7 11.59/11.64 c ---[1187]---> Sorter-cost: 172 Base: 2 2 2 2 11.59/11.64 c ---[1185]---> Sorter-cost: 193 Base: 2 11.59/11.64 c ---[1183]---> Sorter-cost: 174 Base: 2 2 2 2 11.59/11.64 c ---[1181]---> Sorter-cost: 273 Base: 7 11.59/11.64 c ---[1179]---> Sorter-cost: 400 Base: 7 3 3 11.59/11.64 c ---[1177]---> Sorter-cost: 174 Base: 2 2 2 2 11.59/11.64 c ---[1175]---> Sorter-cost: 174 Base: 2 2 2 2 11.59/11.64 c ---[1173]---> Sorter-cost: 193 Base: 2 11.59/11.64 c ---[1171]---> Adder-cost: 58 maxlim: 37 bits: 7/6 11.59/11.64 c ---[1169]---> Adder-cost: 58 maxlim: 43 bits: 7/6 11.59/11.64 c ---[1167]---> Adder-cost: 58 maxlim: 49 bits: 7/6 11.59/11.64 c ---[1165]---> Sorter-cost: 569 Base: 2 11.59/11.64 c ---[1163]---> Sorter-cost: 467 Base: 2 11.59/11.65 c ---[1161]---> Adder-cost: 58 maxlim: 57 bits: 7/6 11.59/11.65 c ---[1159]---> Sorter-cost: 241 Base: 7 11.59/11.65 c ---[1157]---> Sorter-cost: 143 Base: 2 2 2 2 11.59/11.65 c ---[1155]---> Sorter-cost: 148 Base: 2 2 2 2 2 11.59/11.65 c ---[1153]---> Sorter-cost: 189 Base: 2 2 2 2 2 2 2 11.59/11.65 c ---[1151]---> Adder-cost: 58 maxlim: 38 bits: 7/6 11.59/11.65 c ---[1149]---> Adder-cost: 58 maxlim: 50 bits: 7/6 11.59/11.65 c ---[1147]---> Adder-cost: 134 maxlim: 4195 bits: 13/13 11.59/11.66 c ---[1145]---> Adder-cost: 134 maxlim: 4195 bits: 13/13 11.59/11.66 c ---[1143]---> Adder-cost: 134 maxlim: 4195 bits: 13/13 11.59/11.66 c ---[1141]---> Adder-cost: 132 maxlim: 4195 bits: 13/13 11.59/11.67 c ---[1139]---> Sorter-cost: 1232 Base: 2 2 2 2 2 2 2 2 2 2 11.59/11.67 c ---[1137]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 11.59/11.68 c ---[1135]---> Adder-cost: 132 maxlim: 4195 bits: 13/13 11.59/11.68 c ---[1133]---> Adder-cost: 134 maxlim: 4195 bits: 13/13 11.59/11.68 c ---[1131]---> Adder-cost: 134 maxlim: 4195 bits: 13/13 11.59/11.69 c ---[1129]---> Adder-cost: 132 maxlim: 4195 bits: 13/13 11.59/11.69 c ---[1127]---> Adder-cost: 134 maxlim: 4195 bits: 13/13 11.69/11.70 c ---[1125]---> Adder-cost: 134 maxlim: 4195 bits: 13/13 11.69/11.70 c ---[1123]---> Sorter-cost: 272 Base: 7 11.69/11.70 c ---[1121]---> Sorter-cost: 174 Base: 2 2 2 2 11.69/11.70 c ---[1119]---> Sorter-cost: 273 Base: 7 11.69/11.70 c ---[1117]---> Sorter-cost: 273 Base: 7 11.69/11.70 c ---[1115]---> Sorter-cost: 193 Base: 2 11.69/11.70 c ---[1113]---> Sorter-cost: 179 Base: 2 2 2 2 2 11.69/11.70 c ---[1111]---> Sorter-cost: 273 Base: 7 11.69/11.70 c ---[1109]---> Sorter-cost: 193 Base: 2 11.69/11.71 c ---[1107]---> Sorter-cost: 273 Base: 7 11.69/11.71 c ---[1105]---> Sorter-cost: 174 Base: 2 2 2 2 11.69/11.71 c ---[1103]---> Sorter-cost: 193 Base: 2 11.69/11.71 c ---[1101]---> Sorter-cost: 273 Base: 7 11.69/11.71 c ---[1099]---> Adder-cost: 472 maxlim: 104878 bits: 18/17 11.69/11.77 c ---[1097]---> Adder-cost: 472 maxlim: 104878 bits: 18/17 11.79/11.83 c ---[1095]---> Adder-cost: 472 maxlim: 104878 bits: 18/17 11.79/11.89 c ---[1093]---> Adder-cost: 476 maxlim: 104878 bits: 18/17 11.89/11.96 c ---[1091]---> Adder-cost: 478 maxlim: 104878 bits: 18/17 11.99/12.02 c ---[1089]---> Adder-cost: 368 maxlim: 104878 bits: 18/17 11.99/12.08 c ---[1087]---> Adder-cost: 376 maxlim: 104878 bits: 18/17 12.10/12.13 c ---[1085]---> Adder-cost: 374 maxlim: 104878 bits: 18/17 12.10/12.18 c ---[1083]---> Adder-cost: 374 maxlim: 104878 bits: 18/17 12.20/12.23 c ---[1081]---> Adder-cost: 460 maxlim: 104878 bits: 18/17 12.20/12.29 c ---[1079]---> Adder-cost: 468 maxlim: 104878 bits: 18/17 12.29/12.35 c ---[1077]---> Adder-cost: 450 maxlim: 104854 bits: 18/17 12.39/12.42 c ---[1075]---> Adder-cost: 80 maxlim: 166 bits: 8/8 12.39/12.42 c ---[1073]---> Sorter-cost: 599 Base: 2 2 2 2 2 12.39/12.42 c ---[1071]---> Adder-cost: 80 maxlim: 166 bits: 8/8 12.39/12.43 c ---[1069]---> Adder-cost: 80 maxlim: 102 bits: 8/7 12.39/12.43 c ---[1067]---> Adder-cost: 82 maxlim: 102 bits: 8/7 12.39/12.43 c ---[1065]---> Sorter-cost: 599 Base: 2 2 2 2 2 12.39/12.43 c ---[1063]---> Adder-cost: 84 maxlim: 294 bits: 10/9 12.39/12.43 c ---[1061]---> Adder-cost: 96 maxlim: 1574 bits: 12/11 12.39/12.44 c ---[1059]---> Adder-cost: 96 maxlim: 1574 bits: 12/11 12.39/12.44 c ---[1057]---> Adder-cost: 88 maxlim: 422 bits: 10/9 12.39/12.44 c ---[1055]---> Sorter-cost: 614 Base: 2 2 2 2 2 2 12.39/12.44 c ---[1053]---> Adder-cost: 80 maxlim: 166 bits: 8/8 12.39/12.45 c ---[1051]---> Adder-cost: 468 maxlim: 104878 bits: 18/17 12.49/12.51 c ---[1049]---> Adder-cost: 462 maxlim: 104878 bits: 18/17 12.49/12.56 c ---[1047]---> Adder-cost: 454 maxlim: 104878 bits: 18/17 12.59/12.62 c ---[1045]---> Adder-cost: 460 maxlim: 104878 bits: 18/17 12.59/12.68 c ---[1043]---> Adder-cost: 460 maxlim: 104878 bits: 18/17 12.69/12.74 c ---[1041]---> Sorter-cost: 3815 Base: 2 3 2 2 2 17 2 2 2 2 2 12.69/12.79 c ---[1039]---> Sorter-cost: 3932 Base: 2 3 2 2 2 2 17 2 2 2 2 12.79/12.85 c ---[1037]---> Sorter-cost: 3706 Base: 2 3 2 2 2 2 17 2 2 2 2 12.89/12.91 c ---[1035]---> Sorter-cost: 3706 Base: 2 3 2 2 2 2 17 2 2 2 2 12.89/12.97 c ---[1033]---> Adder-cost: 438 maxlim: 104855 bits: 18/17 12.99/13.03 c ---[1031]---> Adder-cost: 450 maxlim: 104878 bits: 18/17 12.99/13.09 c ---[1029]---> Adder-cost: 436 maxlim: 104854 bits: 18/17 13.09/13.15 c ---[1027]---> Adder-cost: 90 maxlim: 310 bits: 9/9 13.09/13.15 c ---[1025]---> Sorter-cost: 599 Base: 2 2 2 2 2 13.09/13.15 c ---[1023]---> Adder-cost: 88 maxlim: 182 bits: 9/8 13.09/13.16 c ---[1021]---> Adder-cost: 88 maxlim: 182 bits: 9/8 13.09/13.16 c ---[1019]---> Adder-cost: 88 maxlim: 182 bits: 9/8 13.09/13.16 c ---[1017]---> Sorter-cost: 614 Base: 2 2 2 2 2 2 13.09/13.16 c ---[1015]---> Adder-cost: 106 maxlim: 1078 bits: 11/11 13.09/13.17 c ---[1013]---> Adder-cost: 108 maxlim: 1590 bits: 12/11 13.09/13.17 c ---[1011]---> Adder-cost: 108 maxlim: 1590 bits: 12/11 13.09/13.17 c ---[1009]---> Adder-cost: 92 maxlim: 438 bits: 10/9 13.09/13.17 c ---[1007]---> Sorter-cost: 614 Base: 2 2 2 2 2 2 13.09/13.18 c ---[1005]---> Adder-cost: 86 maxlim: 310 bits: 9/9 13.09/13.18 c ---[1003]---> Sorter-cost: 3060 Base: 3 7 2 2 2 2 2 2 2 2 2 2 13.20/13.23 c ---[1001]---> Sorter-cost: 3183 Base: 3 7 2 2 2 2 2 2 2 2 2 2 13.20/13.27 c ---[ 999]---> Sorter-cost: 3056 Base: 3 7 2 2 2 2 2 2 2 2 2 2 13.30/13.32 c ---[ 997]---> Sorter-cost: 3056 Base: 3 7 2 2 2 2 2 2 2 2 2 2 13.30/13.37 c ---[ 995]---> Sorter-cost: 3002 Base: 3 7 2 2 2 2 2 2 2 2 2 2 13.39/13.42 c ---[ 993]---> Sorter-cost: 3211 Base: 3 7 2 2 2 2 2 2 2 2 2 2 13.39/13.46 c ---[ 991]---> Sorter-cost: 2865 Base: 3 7 2 2 2 2 2 2 2 2 2 2 13.49/13.51 c ---[ 989]---> Adder-cost: 352 maxlim: 173967 bits: 18/18 13.59/13.60 c ---[ 987]---> Adder-cost: 352 maxlim: 173987 bits: 18/18 13.69/13.71 c ---[ 985]---> Sorter-cost: 3205 Base: 3 7 2 2 2 2 2 2 2 2 2 2 13.69/13.75 c ---[ 983]---> Sorter-cost: 3007 Base: 3 7 2 2 2 2 2 2 2 2 2 2 13.79/13.80 c ---[ 981]---> Sorter-cost: 3059 Base: 3 7 2 2 2 2 2 2 2 2 2 2 13.79/13.85 c ---[ 979]---> Adder-cost: 452 maxlim: 26234 bits: 16/15 13.79/13.88 c ---[ 977]---> Adder-cost: 446 maxlim: 26029 bits: 16/15 13.89/13.91 c ---[ 975]---> Adder-cost: 434 maxlim: 26029 bits: 16/15 13.89/13.94 c ---[ 973]---> Adder-cost: 468 maxlim: 26234 bits: 16/15 13.89/13.97 c ---[ 971]---> Adder-cost: 442 maxlim: 25824 bits: 16/15 13.99/14.00 c ---[ 969]---> Adder-cost: 308 maxlim: 26214 bits: 16/15 13.99/14.03 c ---[ 967]---> Adder-cost: 310 maxlim: 26155 bits: 16/15 13.99/14.06 c ---[ 965]---> Sorter-cost: 4027 Base: 2 3 2 2 17 2 2 2 2 2 14.09/14.10 c ---[ 963]---> Sorter-cost: 3977 Base: 2 3 2 2 17 2 2 2 2 2 14.09/14.14 c ---[ 961]---> Adder-cost: 400 maxlim: 26149 bits: 16/15 14.09/14.17 c ---[ 959]---> Adder-cost: 444 maxlim: 26234 bits: 16/15 14.19/14.20 c ---[ 957]---> Adder-cost: 376 maxlim: 26012 bits: 16/15 14.19/14.23 c ---[ 955]---> Sorter-cost: 2144 Base: 2 2 2 2 2 2 2 2 3 5 2 14.19/14.24 c ---[ 953]---> Sorter-cost: 1481 Base: 2 2 2 2 2 2 2 2 3 5 2 14.19/14.26 c ---[ 951]---> Sorter-cost: 1481 Base: 2 2 2 2 2 2 2 2 3 5 2 14.19/14.28 c ---[ 949]---> Sorter-cost: 2144 Base: 2 2 2 2 2 2 2 2 3 5 2 14.19/14.29 c ---[ 947]---> Sorter-cost: 2144 Base: 2 2 2 2 2 2 2 2 3 5 2 14.30/14.31 c ---[ 945]---> Sorter-cost: 1481 Base: 2 2 2 2 2 2 2 2 3 5 2 14.30/14.32 c ---[ 943]---> Sorter-cost: 1481 Base: 2 2 2 2 2 2 2 2 3 5 2 14.30/14.34 c ---[ 941]---> Adder-cost: 190 maxlim: 65536 bits: 17/17 14.30/14.38 c ---[ 939]---> Adder-cost: 190 maxlim: 65536 bits: 17/17 14.40/14.43 c ---[ 937]---> Sorter-cost: 1481 Base: 2 2 2 2 2 2 2 2 3 5 2 14.40/14.44 c ---[ 935]---> Sorter-cost: 1481 Base: 2 2 2 2 2 2 2 2 3 5 2 14.40/14.46 c ---[ 933]---> Sorter-cost: 1481 Base: 2 2 2 2 2 2 2 2 3 5 2 14.40/14.48 c ---[ 931]---> Adder-cost: 232 maxlim: 734 bits: 11/10 14.40/14.48 c ---[ 929]---> Sorter-cost: 1979 Base: 3 7 2 2 2 14.40/14.49 c ---[ 927]---> Adder-cost: 216 maxlim: 392 bits: 10/9 14.40/14.50 c ---[ 925]---> Adder-cost: 234 maxlim: 734 bits: 11/10 14.49/14.50 c ---[ 923]---> Adder-cost: 236 maxlim: 734 bits: 11/10 14.49/14.51 c ---[ 921]---> Sorter-cost: 1409 Base: 3 7 2 2 2 2 14.49/14.52 c ---[ 919]---> Sorter-cost: 2237 Base: 3 7 2 2 2 2 2 14.49/14.53 c ---[ 917]---> Adder-cost: 228 maxlim: 4958 bits: 14/13 14.49/14.54 c ---[ 915]---> Adder-cost: 198 maxlim: 1548 bits: 12/11 14.49/14.55 c ---[ 913]---> Adder-cost: 264 maxlim: 2704 bits: 13/12 14.49/14.56 c ---[ 911]---> Sorter-cost: 2094 Base: 3 7 2 2 2 2 14.49/14.56 c ---[ 909]---> Adder-cost: 212 maxlim: 695 bits: 11/10 14.49/14.57 c ---[ 907]---> Adder-cost: 110 maxlim: 662 bits: 10/10 14.49/14.57 c ---[ 905]---> Sorter-cost: 629 Base: 2 2 2 2 2 2 2 14.49/14.57 c ---[ 903]---> Adder-cost: 110 maxlim: 406 bits: 10/9 14.49/14.58 c ---[ 901]---> Adder-cost: 110 maxlim: 662 bits: 10/10 14.49/14.58 c ---[ 899]---> Adder-cost: 110 maxlim: 662 bits: 10/10 14.49/14.58 c ---[ 897]---> Sorter-cost: 645 Base: 2 2 2 2 2 2 2 2 14.49/14.59 c ---[ 895]---> Adder-cost: 134 maxlim: 1086 bits: 12/11 14.49/14.59 c ---[ 893]---> Adder-cost: 148 maxlim: 2396 bits: 13/12 14.59/14.60 c ---[ 891]---> Adder-cost: 112 maxlim: 734 bits: 11/10 14.59/14.60 c ---[ 889]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 14.59/14.60 c ---[ 887]---> Sorter-cost: 644 Base: 2 2 2 2 2 2 2 2 14.59/14.60 c ---[ 885]---> Adder-cost: 110 maxlim: 662 bits: 10/10 14.59/14.61 c ---[ 883]---> Sorter-cost: 1360 Base: 3 7 14.59/14.61 c ---[ 881]---> Sorter-cost: 1360 Base: 3 7 14.59/14.61 c ---[ 879]---> Sorter-cost: 1178 Base: 3 7 14.59/14.61 c ---[ 877]---> Sorter-cost: 1360 Base: 3 7 14.59/14.62 c ---[ 875]---> Adder-cost: 138 maxlim: 142 bits: 9/8 14.59/14.62 c ---[ 873]---> Sorter-cost: 1345 Base: 3 7 2 2 14.59/14.62 c ---[ 871]---> Sorter-cost: 1178 Base: 3 7 14.59/14.62 c ---[ 869]---> Sorter-cost: 1359 Base: 3 7 14.59/14.63 c ---[ 867]---> Sorter-cost: 1178 Base: 3 7 14.59/14.63 c ---[ 865]---> Sorter-cost: 2046 Base: 3 7 2 2 14.59/14.63 c ---[ 863]---> Sorter-cost: 1841 Base: 3 7 2 14.59/14.64 c ---[ 861]---> Adder-cost: 138 maxlim: 142 bits: 9/8 14.59/14.64 c ---[ 859]---> Sorter-cost: 273 Base: 7 14.59/14.64 c ---[ 857]---> Sorter-cost: 273 Base: 7 14.59/14.64 c ---[ 855]---> Sorter-cost: 193 Base: 2 14.59/14.64 c ---[ 853]---> Sorter-cost: 273 Base: 7 14.59/14.64 c ---[ 851]---> Sorter-cost: 173 Base: 2 2 2 2 14.59/14.64 c ---[ 849]---> Sorter-cost: 273 Base: 7 14.59/14.64 c ---[ 847]---> Sorter-cost: 193 Base: 2 14.59/14.64 c ---[ 845]---> Sorter-cost: 273 Base: 7 14.59/14.64 c ---[ 843]---> Sorter-cost: 193 Base: 2 14.59/14.64 c ---[ 841]---> Sorter-cost: 189 Base: 2 2 2 2 2 2 2 14.59/14.64 c ---[ 839]---> Sorter-cost: 184 Base: 2 2 2 2 2 2 14.59/14.64 c ---[ 837]---> Sorter-cost: 174 Base: 2 2 2 2 14.59/14.65 c ---[ 835]---> Sorter-cost: 261 Base: 7 14.59/14.65 c ---[ 833]---> Sorter-cost: 261 Base: 7 14.59/14.65 c ---[ 831]---> Sorter-cost: 181 Base: 2 14.59/14.65 c ---[ 829]---> Sorter-cost: 261 Base: 7 14.59/14.65 c ---[ 827]---> Sorter-cost: 173 Base: 2 2 2 2 14.59/14.65 c ---[ 825]---> Sorter-cost: 261 Base: 7 14.59/14.65 c ---[ 823]---> Sorter-cost: 181 Base: 2 14.59/14.65 c ---[ 821]---> Sorter-cost: 261 Base: 7 14.59/14.65 c ---[ 819]---> Sorter-cost: 181 Base: 2 14.59/14.65 c ---[ 817]---> Sorter-cost: 177 Base: 2 2 2 2 2 2 2 14.59/14.65 c ---[ 815]---> Sorter-cost: 172 Base: 2 2 2 2 2 2 14.59/14.65 c ---[ 813]---> Sorter-cost: 174 Base: 2 2 2 2 14.59/14.65 c ---[ 811]---> Adder-cost: 58 maxlim: 49 bits: 7/6 14.59/14.65 c ---[ 809]---> Sorter-cost: 273 Base: 7 14.59/14.65 c ---[ 807]---> Sorter-cost: 193 Base: 2 14.59/14.65 c ---[ 805]---> Sorter-cost: 569 Base: 2 14.59/14.65 c ---[ 803]---> Sorter-cost: 569 Base: 2 14.59/14.65 c ---[ 801]---> Sorter-cost: 193 Base: 2 14.59/14.65 c ---[ 799]---> Sorter-cost: 179 Base: 2 2 2 2 2 14.59/14.66 c ---[ 797]---> Sorter-cost: 184 Base: 2 2 2 2 2 2 14.59/14.66 c ---[ 795]---> Sorter-cost: 171 Base: 2 2 2 2 14.59/14.66 c ---[ 793]---> Sorter-cost: 174 Base: 2 2 2 2 14.59/14.66 c ---[ 791]---> Sorter-cost: 273 Base: 7 14.59/14.66 c ---[ 789]---> Sorter-cost: 273 Base: 7 14.59/14.66 c ---[ 787]---> Adder-cost: 88 maxlim: 266 bits: 9/9 14.59/14.66 c ---[ 785]---> Sorter-cost: 926 Base: 2 2 2 2 2 2 14.59/14.66 c ---[ 783]---> Adder-cost: 84 maxlim: 266 bits: 9/9 14.59/14.67 c ---[ 781]---> Adder-cost: 88 maxlim: 266 bits: 9/9 14.59/14.67 c ---[ 779]---> Sorter-cost: 926 Base: 2 2 2 2 2 2 14.59/14.67 c ---[ 777]---> Adder-cost: 84 maxlim: 266 bits: 9/9 14.59/14.67 c ---[ 775]---> Adder-cost: 82 maxlim: 74 bits: 8/7 14.59/14.68 c ---[ 773]---> Adder-cost: 70 maxlim: 74 bits: 8/7 14.59/14.68 c ---[ 771]---> Adder-cost: 66 maxlim: 138 bits: 8/8 14.59/14.68 c ---[ 769]---> Adder-cost: 82 maxlim: 74 bits: 8/7 14.59/14.68 c ---[ 767]---> Adder-cost: 70 maxlim: 74 bits: 8/7 14.59/14.68 c ---[ 765]---> Adder-cost: 66 maxlim: 138 bits: 8/8 14.59/14.68 c ---[ 763]---> Adder-cost: 84 maxlim: 138 bits: 8/8 14.59/14.69 c ---[ 761]---> Adder-cost: 70 maxlim: 138 bits: 8/8 14.59/14.69 c ---[ 759]---> Adder-cost: 68 maxlim: 138 bits: 8/8 14.59/14.69 c ---[ 757]---> Adder-cost: 84 maxlim: 138 bits: 8/8 14.59/14.69 c ---[ 755]---> Adder-cost: 70 maxlim: 138 bits: 8/8 14.59/14.69 c ---[ 753]---> Adder-cost: 68 maxlim: 138 bits: 8/8 14.59/14.69 c ---[ 751]---> Adder-cost: 144 maxlim: 1172 bits: 11/11 14.69/14.70 c ---[ 749]---> Adder-cost: 140 maxlim: 1172 bits: 11/11 14.69/14.71 c ---[ 747]---> Adder-cost: 146 maxlim: 1172 bits: 11/11 14.69/14.71 c ---[ 745]---> Adder-cost: 138 maxlim: 1172 bits: 11/11 14.69/14.72 c ---[ 743]---> Adder-cost: 166 maxlim: 2192 bits: 12/12 14.69/14.73 c ---[ 741]---> Adder-cost: 172 maxlim: 2192 bits: 12/12 14.69/14.74 c ---[ 739]---> Adder-cost: 168 maxlim: 2192 bits: 12/12 14.69/14.75 c ---[ 737]---> Adder-cost: 172 maxlim: 2193 bits: 12/12 14.69/14.76 c ---[ 735]---> Adder-cost: 162 maxlim: 2193 bits: 12/12 14.69/14.77 c ---[ 733]---> Adder-cost: 152 maxlim: 1171 bits: 12/11 14.69/14.78 c ---[ 731]---> Adder-cost: 142 maxlim: 1300 bits: 11/11 14.69/14.78 c ---[ 729]---> Adder-cost: 126 maxlim: 788 bits: 11/10 14.69/14.79 c ---[ 727]---> Adder-cost: 126 maxlim: 788 bits: 11/10 14.69/14.79 c ---[ 725]---> Adder-cost: 144 maxlim: 788 bits: 11/10 14.69/14.79 c ---[ 723]---> Adder-cost: 122 maxlim: 1300 bits: 11/11 14.79/14.80 c ---[ 721]---> Adder-cost: 128 maxlim: 1300 bits: 11/11 14.79/14.80 c ---[ 719]---> Adder-cost: 152 maxlim: 1300 bits: 12/11 14.79/14.81 c ---[ 717]---> Adder-cost: 140 maxlim: 1300 bits: 12/11 14.79/14.82 c ---[ 715]---> Adder-cost: 118 maxlim: 1300 bits: 11/11 14.79/14.82 c ---[ 713]---> Adder-cost: 142 maxlim: 1300 bits: 11/11 14.79/14.83 c ---[ 711]---> Adder-cost: 138 maxlim: 1300 bits: 11/11 14.79/14.83 c ---[ 709]---> Adder-cost: 154 maxlim: 1299 bits: 12/11 14.79/14.84 c ---[ 707]---> Adder-cost: 142 maxlim: 1300 bits: 11/11 14.79/14.84 c ---[ 705]---> Adder-cost: 138 maxlim: 1300 bits: 11/11 14.79/14.85 c ---[ 703]---> Adder-cost: 154 maxlim: 1299 bits: 12/11 14.79/14.85 c ---[ 701]---> Adder-cost: 148 maxlim: 788 bits: 11/10 14.79/14.86 c ---[ 699]---> Adder-cost: 140 maxlim: 788 bits: 11/10 14.79/14.86 c ---[ 697]---> Adder-cost: 156 maxlim: 1299 bits: 12/11 14.79/14.87 c ---[ 695]---> Adder-cost: 156 maxlim: 2321 bits: 12/12 14.79/14.88 c ---[ 693]---> Adder-cost: 168 maxlim: 2321 bits: 12/12 14.79/14.89 c ---[ 691]---> Adder-cost: 164 maxlim: 2321 bits: 12/12 14.79/14.89 c ---[ 689]---> Adder-cost: 154 maxlim: 2321 bits: 12/12 14.89/14.90 c ---[ 687]---> Adder-cost: 154 maxlim: 1299 bits: 12/11 14.89/14.91 c ---[ 685]---> Adder-cost: 134 maxlim: 1060 bits: 11/11 14.89/14.91 c ---[ 683]---> Adder-cost: 130 maxlim: 1060 bits: 11/11 14.89/14.92 c ---[ 681]---> Adder-cost: 126 maxlim: 1060 bits: 11/11 14.89/14.92 c ---[ 679]---> Adder-cost: 188 maxlim: 2321 bits: 12/12 14.89/14.93 c ---[ 677]---> Adder-cost: 184 maxlim: 2321 bits: 12/12 14.89/14.94 c ---[ 675]---> Adder-cost: 180 maxlim: 2320 bits: 12/12 14.89/14.95 c ---[ 673]---> Adder-cost: 188 maxlim: 2321 bits: 12/12 14.89/14.96 c ---[ 671]---> Adder-cost: 184 maxlim: 2321 bits: 12/12 14.89/14.98 c ---[ 669]---> Adder-cost: 180 maxlim: 2320 bits: 12/12 14.89/14.99 c ---[ 667]---> Adder-cost: 150 maxlim: 548 bits: 11/10 14.89/14.99 c ---[ 665]---> Adder-cost: 132 maxlim: 548 bits: 10/10 14.99/15.00 c ---[ 663]---> Adder-cost: 124 maxlim: 548 bits: 10/10 14.99/15.00 c ---[ 661]---> Adder-cost: 112 maxlim: 1060 bits: 11/11 14.99/15.01 c ---[ 659]---> Adder-cost: 126 maxlim: 1052 bits: 11/11 14.99/15.01 c ---[ 657]---> Adder-cost: 132 maxlim: 1060 bits: 11/11 14.99/15.02 c ---[ 655]---> Adder-cost: 138 maxlim: 1060 bits: 11/11 14.99/15.03 c ---[ 653]---> Adder-cost: 122 maxlim: 1060 bits: 11/11 14.99/15.03 c ---[ 651]---> Adder-cost: 126 maxlim: 536 bits: 10/10 14.99/15.04 c ---[ 649]---> Adder-cost: 122 maxlim: 536 bits: 10/10 14.99/15.04 c ---[ 647]---> Adder-cost: 124 maxlim: 536 bits: 10/10 14.99/15.05 c ---[ 645]---> Adder-cost: 122 maxlim: 536 bits: 10/10 14.99/15.05 c ---[ 643]---> Adder-cost: 110 maxlim: 1048 bits: 11/11 14.99/15.06 c ---[ 641]---> Adder-cost: 120 maxlim: 1048 bits: 11/11 14.99/15.06 c ---[ 639]---> Adder-cost: 118 maxlim: 1048 bits: 11/11 14.99/15.07 c ---[ 637]---> Adder-cost: 122 maxlim: 1048 bits: 11/11 14.99/15.08 c ---[ 635]---> Adder-cost: 110 maxlim: 1048 bits: 11/11 14.99/15.08 c ---[ 633]---> Adder-cost: 128 maxlim: 536 bits: 11/10 14.99/15.09 c ---[ 631]---> Adder-cost: 110 maxlim: 522 bits: 10/10 14.99/15.09 c ---[ 629]---> Sorter-cost: 1152 Base: 2 2 2 2 2 2 2 15.09/15.10 c ---[ 627]---> Sorter-cost: 1059 Base: 2 2 2 3 5 2 15.09/15.10 c ---[ 625]---> Sorter-cost: 1115 Base: 2 2 2 2 2 2 2 2 15.09/15.11 c ---[ 623]---> Sorter-cost: 949 Base: 2 2 2 2 2 2 2 15.09/15.11 c ---[ 621]---> Sorter-cost: 1123 Base: 2 2 2 2 2 2 2 2 15.09/15.12 c ---[ 619]---> Sorter-cost: 1113 Base: 2 2 2 2 2 2 2 2 15.09/15.12 c ---[ 617]---> Sorter-cost: 1299 Base: 3 5 2 2 2 2 15.09/15.13 c ---[ 615]---> Sorter-cost: 1064 Base: 2 2 2 2 2 2 2 2 15.09/15.13 c ---[ 613]---> Adder-cost: 112 maxlim: 180 bits: 8/8 15.09/15.13 c ---[ 611]---> Adder-cost: 100 maxlim: 180 bits: 8/8 15.09/15.14 c ---[ 609]---> Adder-cost: 96 maxlim: 180 bits: 9/8 15.09/15.14 c ---[ 607]---> Adder-cost: 104 maxlim: 180 bits: 9/8 15.09/15.14 c ---[ 605]---> Adder-cost: 100 maxlim: 180 bits: 9/8 15.09/15.14 c ---[ 603]---> Adder-cost: 104 maxlim: 180 bits: 9/8 15.09/15.15 c ---[ 601]---> Adder-cost: 102 maxlim: 180 bits: 9/8 15.09/15.15 c ---[ 599]---> Adder-cost: 104 maxlim: 308 bits: 9/9 15.09/15.15 c ---[ 597]---> Adder-cost: 104 maxlim: 180 bits: 9/8 15.09/15.16 c ---[ 595]---> Adder-cost: 110 maxlim: 522 bits: 10/10 15.09/15.16 c ---[ 593]---> Sorter-cost: 1152 Base: 2 2 2 2 2 2 2 15.09/15.16 c ---[ 591]---> Sorter-cost: 1059 Base: 2 2 2 3 5 2 15.09/15.17 c ---[ 589]---> Sorter-cost: 1115 Base: 2 2 2 2 2 2 2 2 15.09/15.17 c ---[ 587]---> Sorter-cost: 949 Base: 2 2 2 2 2 2 2 15.09/15.18 c ---[ 585]---> Sorter-cost: 1123 Base: 2 2 2 2 2 2 2 2 15.09/15.18 c ---[ 583]---> Sorter-cost: 1113 Base: 2 2 2 2 2 2 2 2 15.09/15.19 c ---[ 581]---> Sorter-cost: 1299 Base: 3 5 2 2 2 2 15.09/15.19 c ---[ 579]---> Sorter-cost: 1064 Base: 2 2 2 2 2 2 2 2 15.19/15.20 c ---[ 577]---> Adder-cost: 124 maxlim: 340 bits: 9/9 15.19/15.20 c ---[ 575]---> Adder-cost: 110 maxlim: 212 bits: 9/8 15.19/15.20 c ---[ 573]---> Adder-cost: 106 maxlim: 340 bits: 9/9 15.19/15.21 c ---[ 571]---> Adder-cost: 126 maxlim: 340 bits: 10/9 15.19/15.21 c ---[ 569]---> Adder-cost: 108 maxlim: 340 bits: 10/9 15.19/15.21 c ---[ 567]---> Adder-cost: 112 maxlim: 340 bits: 10/9 15.19/15.22 c ---[ 565]---> Adder-cost: 108 maxlim: 340 bits: 10/9 15.19/15.22 c ---[ 563]---> Adder-cost: 112 maxlim: 596 bits: 10/10 15.19/15.22 c ---[ 561]---> Adder-cost: 106 maxlim: 340 bits: 9/9 15.19/15.23 c ---[ 559]---> Adder-cost: 110 maxlim: 522 bits: 10/10 15.19/15.23 c ---[ 557]---> Sorter-cost: 1152 Base: 2 2 2 2 2 2 2 15.19/15.24 c ---[ 555]---> Sorter-cost: 1059 Base: 2 2 2 3 5 2 15.19/15.24 c ---[ 553]---> Sorter-cost: 1115 Base: 2 2 2 2 2 2 2 2 15.19/15.25 c ---[ 551]---> Sorter-cost: 949 Base: 2 2 2 2 2 2 2 15.19/15.25 c ---[ 549]---> Sorter-cost: 1123 Base: 2 2 2 2 2 2 2 2 15.19/15.25 c ---[ 547]---> Sorter-cost: 1113 Base: 2 2 2 2 2 2 2 2 15.19/15.26 c ---[ 545]---> Sorter-cost: 1299 Base: 3 5 2 2 2 2 15.19/15.26 c ---[ 543]---> Sorter-cost: 1064 Base: 2 2 2 2 2 2 2 2 15.19/15.27 c ---[ 541]---> Adder-cost: 138 maxlim: 788 bits: 11/10 15.19/15.27 c ---[ 539]---> Adder-cost: 130 maxlim: 788 bits: 11/10 15.19/15.28 c ---[ 537]---> Adder-cost: 128 maxlim: 788 bits: 11/10 15.19/15.28 c ---[ 535]---> Adder-cost: 156 maxlim: 1108 bits: 11/11 15.19/15.29 c ---[ 533]---> Adder-cost: 144 maxlim: 1108 bits: 11/11 15.19/15.29 c ---[ 531]---> Adder-cost: 156 maxlim: 1107 bits: 12/11 15.29/15.30 c ---[ 529]---> Adder-cost: 174 maxlim: 2129 bits: 12/12 15.29/15.31 c ---[ 527]---> Adder-cost: 174 maxlim: 2128 bits: 12/12 15.29/15.32 c ---[ 525]---> Adder-cost: 176 maxlim: 2128 bits: 12/12 15.29/15.34 c ---[ 523]---> Adder-cost: 172 maxlim: 2128 bits: 12/12 15.29/15.35 c ---[ 521]---> Adder-cost: 174 maxlim: 2128 bits: 12/12 15.29/15.36 c ---[ 519]---> Adder-cost: 168 maxlim: 2129 bits: 12/12 15.29/15.37 c ---[ 517]---> Adder-cost: 184 maxlim: 1299 bits: 12/11 15.29/15.38 c ---[ 515]---> Adder-cost: 170 maxlim: 1299 bits: 12/11 15.29/15.38 c ---[ 513]---> Adder-cost: 162 maxlim: 1299 bits: 12/11 15.29/15.39 c ---[ 511]---> Adder-cost: 170 maxlim: 2321 bits: 12/12 15.29/15.40 c ---[ 509]---> Adder-cost: 174 maxlim: 2320 bits: 12/12 15.39/15.41 c ---[ 507]---> Adder-cost: 176 maxlim: 2320 bits: 12/12 15.39/15.43 c ---[ 505]---> Adder-cost: 172 maxlim: 2320 bits: 12/12 15.39/15.44 c ---[ 503]---> Adder-cost: 196 maxlim: 2317 bits: 13/12 15.39/15.45 c ---[ 501]---> Adder-cost: 170 maxlim: 2321 bits: 12/12 15.39/15.46 c ---[ 499]---> Adder-cost: 134 maxlim: 1060 bits: 11/11 15.39/15.46 c ---[ 497]---> Adder-cost: 130 maxlim: 1060 bits: 11/11 15.39/15.47 c ---[ 495]---> Adder-cost: 126 maxlim: 1060 bits: 11/11 15.39/15.47 c ---[ 493]---> Adder-cost: 156 maxlim: 101 bits: 8/7 15.39/15.48 c ---[ 491]---> Adder-cost: 116 maxlim: 136 bits: 8/8 15.39/15.48 c ---[ 489]---> Adder-cost: 114 maxlim: 127 bits: 8/7 15.39/15.48 c ---[ 487]---> Adder-cost: 110 maxlim: 116 bits: 8/7 15.39/15.49 c ---[ 485]---> Adder-cost: 96 maxlim: 106 bits: 8/7 15.39/15.49 c ---[ 483]---> Sorter-cost: 162 Base: 2 2 2 2 15.39/15.49 c ---[ 481]---> Adder-cost: 124 maxlim: 83 bits: 7/7 15.39/15.49 c ---[ 479]---> Sorter-cost: 181 Base: 2 15.39/15.49 c ---[ 477]---> Adder-cost: 146 maxlim: 101 bits: 8/7 15.39/15.50 c ---[ 475]---> Adder-cost: 106 maxlim: 136 bits: 8/8 15.39/15.50 c ---[ 473]---> Adder-cost: 104 maxlim: 127 bits: 8/7 15.49/15.50 c ---[ 471]---> Adder-cost: 102 maxlim: 116 bits: 8/7 15.49/15.51 c ---[ 469]---> Adder-cost: 88 maxlim: 106 bits: 8/7 15.49/15.51 c ---[ 467]---> Sorter-cost: 174 Base: 2 2 2 2 15.49/15.51 c ---[ 465]---> Adder-cost: 116 maxlim: 83 bits: 7/7 15.49/15.51 c ---[ 463]---> Sorter-cost: 193 Base: 2 15.49/15.51 c ---[ 461]---> Adder-cost: 124 maxlim: 81 bits: 7/7 15.49/15.52 c ---[ 459]---> Adder-cost: 74 maxlim: 76 bits: 7/7 15.49/15.52 c ---[ 457]---> Adder-cost: 98 maxlim: 74 bits: 7/7 15.49/15.52 c ---[ 455]---> Adder-cost: 78 maxlim: 91 bits: 7/7 15.49/15.53 c ---[ 453]---> Adder-cost: 94 maxlim: 87 bits: 7/7 15.49/15.53 c ---[ 451]---> Sorter-cost: 193 Base: 2 15.49/15.53 c ---[ 449]---> Adder-cost: 108 maxlim: 74 bits: 7/7 15.49/15.53 c ---[ 447]---> Sorter-cost: 193 Base: 2 15.49/15.53 c ---[ 445]---> Adder-cost: 124 maxlim: 81 bits: 7/7 15.49/15.53 c ---[ 443]---> Adder-cost: 74 maxlim: 76 bits: 7/7 15.49/15.54 c ---[ 441]---> Adder-cost: 98 maxlim: 74 bits: 7/7 15.49/15.54 c ---[ 439]---> Adder-cost: 76 maxlim: 91 bits: 7/7 15.49/15.54 c ---[ 437]---> Adder-cost: 92 maxlim: 87 bits: 7/7 15.49/15.55 c ---[ 435]---> Sorter-cost: 193 Base: 2 15.49/15.55 c ---[ 433]---> Adder-cost: 108 maxlim: 74 bits: 7/7 15.49/15.55 c ---[ 431]---> Sorter-cost: 193 Base: 2 15.49/15.55 c ---[ 429]---> Adder-cost: 126 maxlim: 84 bits: 7/7 15.49/15.55 c ---[ 427]---> Adder-cost: 82 maxlim: 102 bits: 7/7 15.49/15.56 c ---[ 425]---> Adder-cost: 102 maxlim: 97 bits: 7/7 15.49/15.56 c ---[ 423]---> Adder-cost: 78 maxlim: 92 bits: 7/7 15.49/15.56 c ---[ 421]---> Adder-cost: 96 maxlim: 88 bits: 7/7 15.49/15.57 c ---[ 419]---> Sorter-cost: 193 Base: 2 15.49/15.57 c ---[ 417]---> Adder-cost: 110 maxlim: 74 bits: 7/7 15.49/15.57 c ---[ 415]---> Sorter-cost: 173 Base: 2 2 2 2 15.49/15.57 c ---[ 413]---> Adder-cost: 126 maxlim: 91 bits: 7/7 15.49/15.57 c ---[ 411]---> Adder-cost: 80 maxlim: 85 bits: 7/7 15.49/15.58 c ---[ 409]---> Adder-cost: 102 maxlim: 83 bits: 7/7 15.49/15.58 c ---[ 407]---> Adder-cost: 78 maxlim: 80 bits: 7/7 15.49/15.58 c ---[ 405]---> Adder-cost: 92 maxlim: 97 bits: 7/7 15.49/15.58 c ---[ 403]---> Sorter-cost: 193 Base: 2 15.49/15.58 c ---[ 401]---> Adder-cost: 108 maxlim: 80 bits: 7/7 15.49/15.59 c ---[ 399]---> Sorter-cost: 273 Base: 7 15.49/15.59 c ---[ 397]---> Adder-cost: 576 maxlim: 970 bits: 11/10 15.59/15.61 c ---[ 395]---> Adder-cost: 482 maxlim: 1171 bits: 11/11 15.59/15.63 c ---[ 393]---> Adder-cost: 398 maxlim: 1174 bits: 11/11 15.59/15.66 c ---[ 391]---> Adder-cost: 400 maxlim: 1155 bits: 11/11 15.59/15.68 c ---[ 389]---> Adder-cost: 312 maxlim: 1163 bits: 11/11 15.69/15.70 c ---[ 387]---> Sorter-cost: 174 Base: 2 2 2 2 15.69/15.70 c ---[ 385]---> Adder-cost: 448 maxlim: 622 bits: 10/10 15.69/15.72 c ---[ 383]---> Sorter-cost: 273 Base: 7 15.69/15.72 c ---[ 381]---> Adder-cost: 480 maxlim: 579 bits: 10/10 15.69/15.74 c ---[ 379]---> Adder-cost: 394 maxlim: 579 bits: 10/10 15.69/15.76 c ---[ 377]---> Adder-cost: 320 maxlim: 596 bits: 10/10 15.69/15.78 c ---[ 375]---> Adder-cost: 284 maxlim: 666 bits: 10/10 15.69/15.79 c ---[ 373]---> Adder-cost: 238 maxlim: 670 bits: 10/10 15.79/15.81 c ---[ 371]---> Sorter-cost: 171 Base: 2 2 2 2 15.79/15.81 c ---[ 369]---> Adder-cost: 386 maxlim: 399 bits: 9/9 15.79/15.82 c ---[ 367]---> Sorter-cost: 193 Base: 2 15.79/15.82 c ---[ 365]---> Adder-cost: 212 maxlim: 280 bits: 9/9 15.79/15.83 c ---[ 363]---> Adder-cost: 174 maxlim: 245 bits: 9/8 15.79/15.83 c ---[ 361]---> Adder-cost: 170 maxlim: 399 bits: 10/9 15.79/15.84 c ---[ 359]---> Adder-cost: 164 maxlim: 359 bits: 10/9 15.79/15.84 c ---[ 357]---> Adder-cost: 126 maxlim: 333 bits: 10/9 15.79/15.85 c ---[ 355]---> Sorter-cost: 273 Base: 7 15.79/15.85 c ---[ 353]---> Adder-cost: 184 maxlim: 199 bits: 9/8 15.79/15.85 c ---[ 351]---> Sorter-cost: 193 Base: 2 15.79/15.85 c ---[ 349]---> Adder-cost: 204 maxlim: 217 bits: 9/8 15.79/15.86 c ---[ 347]---> Adder-cost: 174 maxlim: 298 bits: 9/9 15.79/15.86 c ---[ 345]---> Adder-cost: 166 maxlim: 284 bits: 9/9 15.79/15.87 c ---[ 343]---> Adder-cost: 150 maxlim: 264 bits: 9/9 15.79/15.87 c ---[ 341]---> Adder-cost: 126 maxlim: 254 bits: 9/8 15.79/15.88 c ---[ 339]---> Sorter-cost: 193 Base: 2 15.79/15.88 c ---[ 337]---> Adder-cost: 166 maxlim: 148 bits: 8/8 15.79/15.88 c ---[ 335]---> Sorter-cost: 273 Base: 7 15.79/15.88 c ---[ 333]---> Adder-cost: 448 maxlim: 857 bits: 11/10 15.89/15.90 c ---[ 331]---> Adder-cost: 380 maxlim: 814 bits: 11/10 15.89/15.92 c ---[ 329]---> Adder-cost: 318 maxlim: 795 bits: 11/10 15.89/15.93 c ---[ 327]---> Adder-cost: 308 maxlim: 1071 bits: 11/11 15.89/15.95 c ---[ 325]---> Adder-cost: 310 maxlim: 1033 bits: 11/11 15.89/15.97 c ---[ 323]---> Sorter-cost: 172 Base: 2 2 2 2 15.89/15.97 c ---[ 321]---> Adder-cost: 392 maxlim: 576 bits: 10/10 15.89/15.98 c ---[ 319]---> Sorter-cost: 173 Base: 2 2 2 2 15.89/15.98 c ---[ 317]---> Adder-cost: 222 maxlim: 385 bits: 10/9 15.89/15.99 c ---[ 315]---> Adder-cost: 178 maxlim: 312 bits: 10/9 15.89/16.00 c ---[ 313]---> Adder-cost: 170 maxlim: 265 bits: 10/9 15.99/16.00 c ---[ 311]---> Adder-cost: 168 maxlim: 527 bits: 10/10 15.99/16.01 c ---[ 309]---> Adder-cost: 130 maxlim: 467 bits: 10/9 15.99/16.01 c ---[ 307]---> Sorter-cost: 193 Base: 2 15.99/16.01 c ---[ 305]---> Adder-cost: 180 maxlim: 284 bits: 9/9 15.99/16.02 c ---[ 303]---> Sorter-cost: 272 Base: 7 15.99/16.02 c ---[ 301]---> Adder-cost: 222 maxlim: 367 bits: 10/9 15.99/16.02 c ---[ 299]---> Adder-cost: 198 maxlim: 534 bits: 10/10 15.99/16.03 c ---[ 297]---> Adder-cost: 180 maxlim: 501 bits: 10/9 15.99/16.04 c ---[ 295]---> Adder-cost: 170 maxlim: 466 bits: 10/9 15.99/16.04 c ---[ 293]---> Adder-cost: 140 maxlim: 446 bits: 10/9 15.99/16.05 c ---[ 291]---> Sorter-cost: 193 Base: 2 15.99/16.05 c ---[ 289]---> Adder-cost: 192 maxlim: 231 bits: 9/8 15.99/16.06 c ---[ 287]---> Sorter-cost: 272 Base: 7 15.99/16.06 c ---[ 285]---> Adder-cost: 206 maxlim: 364 bits: 9/9 15.99/16.06 c ---[ 283]---> Adder-cost: 194 maxlim: 459 bits: 10/9 15.99/16.07 c ---[ 281]---> Adder-cost: 180 maxlim: 454 bits: 10/9 15.99/16.07 c ---[ 279]---> Adder-cost: 154 maxlim: 443 bits: 10/9 15.99/16.08 c ---[ 277]---> Adder-cost: 152 maxlim: 442 bits: 10/9 15.99/16.09 c ---[ 275]---> Sorter-cost: 193 Base: 2 15.99/16.09 c ---[ 273]---> Adder-cost: 180 maxlim: 229 bits: 9/8 15.99/16.09 c ---[ 271]---> Sorter-cost: 193 Base: 2 15.99/16.09 c ---[ 269]---> Adder-cost: 406 maxlim: 516 bits: 10/10 16.08/16.10 c ---[ 267]---> Adder-cost: 276 maxlim: 513 bits: 10/10 16.08/16.12 c ---[ 265]---> Adder-cost: 324 maxlim: 526 bits: 10/10 16.08/16.13 c ---[ 263]---> Adder-cost: 284 maxlim: 596 bits: 10/10 16.08/16.15 c ---[ 261]---> Adder-cost: 198 maxlim: 597 bits: 10/10 16.08/16.16 c ---[ 259]---> Sorter-cost: 174 Base: 2 2 2 2 16.08/16.16 c ---[ 257]---> Adder-cost: 338 maxlim: 358 bits: 9/9 16.08/16.17 c ---[ 255]---> Sorter-cost: 273 Base: 7 16.08/16.17 c ---[ 253]---> Adder-cost: 522 maxlim: 579 bits: 10/10 16.08/16.19 c ---[ 251]---> Adder-cost: 432 maxlim: 671 bits: 10/10 16.18/16.21 c ---[ 249]---> Adder-cost: 300 maxlim: 677 bits: 10/10 16.18/16.23 c ---[ 247]---> Adder-cost: 354 maxlim: 660 bits: 10/10 16.18/16.25 c ---[ 245]---> Adder-cost: 236 maxlim: 661 bits: 10/10 16.18/16.27 c ---[ 243]---> Sorter-cost: 273 Base: 7 16.18/16.27 c ---[ 241]---> Adder-cost: 418 maxlim: 400 bits: 9/9 16.18/16.29 c ---[ 239]---> Sorter-cost: 193 Base: 2 16.18/16.29 c ---[ 237]---> Adder-cost: 500 maxlim: 604 bits: 10/10 16.28/16.31 c ---[ 235]---> Adder-cost: 348 maxlim: 606 bits: 10/10 16.28/16.32 c ---[ 233]---> Adder-cost: 362 maxlim: 625 bits: 10/10 16.28/16.34 c ---[ 231]---> Adder-cost: 320 maxlim: 696 bits: 10/10 16.28/16.36 c ---[ 229]---> Adder-cost: 214 maxlim: 702 bits: 10/10 16.28/16.37 c ---[ 227]---> Sorter-cost: 171 Base: 2 2 2 2 16.28/16.37 c ---[ 225]---> Adder-cost: 386 maxlim: 413 bits: 9/9 16.28/16.39 c ---[ 223]---> Sorter-cost: 193 Base: 2 16.28/16.39 c ---[ 221]---> Adder-cost: 332 maxlim: 231 bits: 8/8 16.38/16.40 c ---[ 219]---> Adder-cost: 164 maxlim: 225 bits: 8/8 16.38/16.41 c ---[ 217]---> Adder-cost: 144 maxlim: 224 bits: 8/8 16.38/16.43 c ---[ 215]---> Adder-cost: 198 maxlim: 222 bits: 8/8 16.38/16.44 c ---[ 213]---> Adder-cost: 216 maxlim: 238 bits: 9/8 16.38/16.45 c ---[ 211]---> Sorter-cost: 193 Base: 2 16.38/16.45 c ---[ 209]---> Adder-cost: 288 maxlim: 198 bits: 8/8 16.38/16.46 c ---[ 207]---> Sorter-cost: 273 Base: 7 16.38/16.46 c ---[ 205]---> Adder-cost: 508 maxlim: 604 bits: 10/10 16.38/16.48 c ---[ 203]---> Adder-cost: 356 maxlim: 606 bits: 10/10 16.38/16.50 c ---[ 201]---> Adder-cost: 374 maxlim: 625 bits: 10/10 16.49/16.51 c ---[ 199]---> Adder-cost: 328 maxlim: 696 bits: 10/10 16.49/16.53 c ---[ 197]---> Adder-cost: 222 maxlim: 702 bits: 10/10 16.49/16.55 c ---[ 195]---> Sorter-cost: 171 Base: 2 2 2 2 16.49/16.55 c ---[ 193]---> Adder-cost: 394 maxlim: 413 bits: 9/9 16.49/16.56 c ---[ 191]---> Sorter-cost: 193 Base: 2 16.49/16.56 c ---[ 189]---> Adder-cost: 368 maxlim: 286 bits: 9/9 16.49/16.58 c ---[ 187]---> Adder-cost: 302 maxlim: 281 bits: 9/9 16.49/16.59 c ---[ 185]---> Adder-cost: 210 maxlim: 309 bits: 9/9 16.49/16.60 c ---[ 183]---> Adder-cost: 228 maxlim: 304 bits: 9/9 16.59/16.61 c ---[ 181]---> Adder-cost: 168 maxlim: 301 bits: 9/9 16.59/16.63 c ---[ 179]---> Sorter-cost: 193 Base: 2 16.59/16.63 c ---[ 177]---> Adder-cost: 304 maxlim: 228 bits: 8/8 16.59/16.64 c ---[ 175]---> Sorter-cost: 174 Base: 2 2 2 2 16.59/16.64 c ---[ 173]---> Adder-cost: 508 maxlim: 604 bits: 10/10 16.59/16.66 c ---[ 171]---> Adder-cost: 356 maxlim: 606 bits: 10/10 16.59/16.68 c ---[ 169]---> Adder-cost: 374 maxlim: 625 bits: 10/10 16.59/16.69 c ---[ 167]---> Adder-cost: 328 maxlim: 696 bits: 10/10 16.68/16.71 c ---[ 165]---> Adder-cost: 222 maxlim: 702 bits: 10/10 16.68/16.73 c ---[ 163]---> Sorter-cost: 171 Base: 2 2 2 2 16.68/16.73 c ---[ 161]---> Adder-cost: 394 maxlim: 413 bits: 9/9 16.68/16.74 c ---[ 159]---> Sorter-cost: 193 Base: 2 16.68/16.74 c ---[ 157]---> Adder-cost: 200 maxlim: 451 bits: 10/9 16.68/16.75 c ---[ 155]---> Adder-cost: 138 maxlim: 289 bits: 10/9 16.68/16.76 c ---[ 153]---> Adder-cost: 142 maxlim: 172 bits: 9/8 16.68/16.76 c ---[ 151]---> Adder-cost: 168 maxlim: 685 bits: 11/10 16.68/16.77 c ---[ 149]---> Adder-cost: 110 maxlim: 270 bits: 9/9 16.68/16.77 c ---[ 147]---> Sorter-cost: 193 Base: 2 16.68/16.77 c ---[ 145]---> Adder-cost: 168 maxlim: 356 bits: 10/9 16.68/16.78 c ---[ 143]---> Sorter-cost: 193 Base: 2 16.68/16.78 c ---[ 141]---> Adder-cost: 526 maxlim: 948 bits: 10/10 16.78/16.80 c ---[ 139]---> Adder-cost: 452 maxlim: 984 bits: 11/10 16.78/16.82 c ---[ 137]---> Adder-cost: 382 maxlim: 1025 bits: 11/11 16.78/16.84 c ---[ 135]---> Adder-cost: 342 maxlim: 1116 bits: 11/11 16.78/16.86 c ---[ 133]---> Adder-cost: 300 maxlim: 1144 bits: 11/11 16.78/16.88 c ---[ 131]---> Sorter-cost: 171 Base: 2 2 2 2 16.78/16.88 c ---[ 129]---> Adder-cost: 428 maxlim: 603 bits: 10/10 16.88/16.90 c ---[ 127]---> Sorter-cost: 193 Base: 2 16.88/16.90 c ---[ 125]---> Adder-cost: 516 maxlim: 948 bits: 10/10 16.88/16.92 c ---[ 123]---> Adder-cost: 452 maxlim: 984 bits: 11/10 16.88/16.94 c ---[ 121]---> Adder-cost: 374 maxlim: 1025 bits: 11/11 16.88/16.96 c ---[ 119]---> Adder-cost: 334 maxlim: 1116 bits: 11/11 16.88/16.98 c ---[ 117]---> Adder-cost: 290 maxlim: 1144 bits: 11/11 16.98/17.00 c ---[ 115]---> Sorter-cost: 171 Base: 2 2 2 2 16.98/17.00 c ---[ 113]---> Adder-cost: 428 maxlim: 603 bits: 10/10 16.98/17.02 c ---[ 111]---> Sorter-cost: 193 Base: 2 16.98/17.02 c ---[ 109]---> Adder-cost: 222 maxlim: 401 bits: 10/9 16.98/17.02 c ---[ 107]---> Adder-cost: 178 maxlim: 330 bits: 10/9 16.98/17.03 c ---[ 105]---> Adder-cost: 170 maxlim: 284 bits: 10/9 16.98/17.03 c ---[ 103]---> Adder-cost: 168 maxlim: 547 bits: 10/10 16.98/17.04 c ---[ 101]---> Adder-cost: 130 maxlim: 487 bits: 10/9 16.98/17.05 c ---[ 99]---> Sorter-cost: 273 Base: 7 16.98/17.05 c ---[ 97]---> Adder-cost: 180 maxlim: 297 bits: 9/9 16.98/17.05 c ---[ 95]---> Sorter-cost: 273 Base: 7 16.98/17.05 c ---[ 93]---> Adder-cost: 6143 maxlim: 259887 bits: 19/18 18.29/18.34 c ---[ 91]---> Adder-cost: 4184 maxlim: 317763 bits: 20/19 19.59/19.61 c ---[ 89]---> Adder-cost: 3570 maxlim: 391561 bits: 19/19 20.49/20.50 c ---[ 87]---> Adder-cost: 4551 maxlim: 363042 bits: 19/19 21.49/21.58 c ---[ 85]---> Adder-cost: 3472 maxlim: 326286 bits: 19/19 22.29/22.34 c ---[ 83]---> Adder-cost: 3842 maxlim: 321649 bits: 20/19 23.49/23.59 c ---[ 81]---> Adder-cost: 3818 maxlim: 317763 bits: 20/19 24.69/24.77 c ---[ 79]---> Adder-cost: 3623 maxlim: 317763 bits: 20/19 25.89/25.95 c ---[ 77]---> Adder-cost: 5187 maxlim: 253137 bits: 19/18 27.19/27.26 c ---[ 75]---> Adder-cost: 5133 maxlim: 211812 bits: 19/18 28.19/28.20 c ---[ 73]---> Adder-cost: 3292 maxlim: 353823 bits: 19/19 28.89/28.98 c ---[ 71]---> Adder-cost: 3897 maxlim: 328229 bits: 20/19 30.29/30.35 c ---[ 70]---> Adder-cost: 88 maxlim: 16 bits: 6/5 30.29/30.35 c ---[ 69]---> Adder-cost: 88 maxlim: 16 bits: 6/5 30.29/30.36 c ---[ 68]---> Adder-cost: 84 maxlim: 36 bits: 7/6 30.29/30.36 c ---[ 67]---> Adder-cost: 84 maxlim: 36 bits: 7/6 30.29/30.36 c ---[ 66]---> Sorter-cost: 1192 Base: 3 30.29/30.36 c ---[ 65]---> Sorter-cost: 1192 Base: 3 30.29/30.36 c ---[ 64]---> Adder-cost: 446 maxlim: 1138 bits: 11/11 30.29/30.38 c ---[ 63]---> Adder-cost: 342 maxlim: 663 bits: 10/10 30.39/30.40 c ---[ 61]---> Adder-cost: 119 maxlim: 119 bits: 8/7 30.39/30.40 c ---[ 60]---> Adder-cost: 362 maxlim: 587 bits: 11/10 30.39/30.42 c ---[ 59]---> Adder-cost: 139 maxlim: 189 bits: 9/8 30.39/30.42 c ---[ 58]---> Adder-cost: 136 maxlim: 376 bits: 10/9 30.39/30.42 c ---[ 57]---> Adder-cost: 338 maxlim: 567 bits: 10/10 30.39/30.44 c ---[ 56]---> Adder-cost: 400 maxlim: 648 bits: 10/10 30.39/30.45 c ---[ 55]---> Adder-cost: 356 maxlim: 706 bits: 10/10 30.39/30.47 c ---[ 54]---> Adder-cost: 264 maxlim: 219 bits: 8/8 30.39/30.48 c ---[ 53]---> Adder-cost: 356 maxlim: 706 bits: 10/10 30.39/30.49 c ---[ 52]---> Adder-cost: 298 maxlim: 306 bits: 9/9 30.49/30.50 c ---[ 51]---> Adder-cost: 356 maxlim: 706 bits: 10/10 30.49/30.52 c ---[ 50]---> Adder-cost: 366 maxlim: 1308 bits: 11/11 30.49/30.54 c ---[ 49]---> Adder-cost: 366 maxlim: 1308 bits: 11/11 30.49/30.56 c ---[ 48]---> BDD-cost: 10 30.49/30.56 c ---[ 47]---> BDD-cost: 9 30.49/30.56 c ---[ 46]---> BDD-cost: 9 30.49/30.56 c ---[ 45]---> BDD-cost: 10 30.49/30.56 c ---[ 44]---> BDD-cost: 10 30.49/30.56 c ---[ 43]---> BDD-cost: 10 30.49/30.56 c ---[ 42]---> BDD-cost: 9 30.49/30.56 c ---[ 41]---> BDD-cost: 10 30.49/30.56 c ---[ 40]---> BDD-cost: 10 30.49/30.56 c ---[ 39]---> BDD-cost: 10 30.49/30.56 c ---[ 38]---> BDD-cost: 13 30.49/30.56 c ---[ 37]---> BDD-cost: 13 30.49/30.56 c ---[ 36]---> BDD-cost: 13 30.49/30.56 c ---[ 35]---> BDD-cost: 13 30.49/30.56 c ---[ 34]---> BDD-cost: 13 30.49/30.56 c ---[ 33]---> BDD-cost: 13 30.49/30.56 c ---[ 32]---> BDD-cost: 13 30.49/30.56 c ---[ 31]---> BDD-cost: 13 30.49/30.56 c ---[ 30]---> BDD-cost: 13 30.49/30.56 c ---[ 29]---> BDD-cost: 10 30.49/30.56 c ---[ 28]---> BDD-cost: 9 30.49/30.56 c ---[ 27]---> BDD-cost: 9 30.49/30.56 c ---[ 26]---> BDD-cost: 12 30.49/30.56 c ---[ 25]---> BDD-cost: 12 30.49/30.56 c ---[ 24]---> BDD-cost: 12 30.49/30.56 c ---[ 23]---> BDD-cost: 12 30.49/30.56 c ---[ 22]---> BDD-cost: 12 30.49/30.56 c ---[ 21]---> BDD-cost: 12 30.49/30.56 c ---[ 20]---> BDD-cost: 12 30.49/30.56 c ---[ 19]---> BDD-cost: 12 30.49/30.56 c ---[ 18]---> BDD-cost: 12 30.49/30.56 c ---[ 17]---> BDD-cost: 12 30.49/30.56 c ---[ 16]---> BDD-cost: 12 30.49/30.56 c ---[ 15]---> BDD-cost: 12 30.49/30.56 c ---[ 14]---> BDD-cost: 13 30.49/30.56 c ---[ 13]---> BDD-cost: 13 30.49/30.56 c ---[ 12]---> BDD-cost: 13 30.49/30.56 c ---[ 11]---> BDD-cost: 13 30.49/30.56 c ---[ 10]---> BDD-cost: 13 30.49/30.56 c ---[ 9]---> BDD-cost: 13 30.49/30.56 c ---[ 8]---> BDD-cost: 13 30.49/30.56 c ---[ 7]---> BDD-cost: 13 30.49/30.56 c ---[ 6]---> BDD-cost: 13 30.49/30.56 c ---[ 5]---> BDD-cost: 13 30.49/30.56 c ---[ 4]---> BDD-cost: 13 30.49/30.56 c ---[ 3]---> BDD-cost: 13 30.49/30.56 c ---[ 2]---> BDD-cost: 24 30.49/30.56 c ---[ 1]---> BDD-cost: 24 30.49/30.56 c ---[ 0]---> Adder-cost: 112 maxlim: 35 bits: 7/6 1800.08/1800.50 | Eliminated clauses: 6.15 Mb | 1800.08/1800.50 ============================[ Search Statistics ]============================== 1800.08/1800.50 | Conflicts | ORIGINAL | LEARNT | Progress | 1800.08/1800.50 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 1800.08/1800.50 =============================================================================== 1800.08/1800.50 | 100 | 428739 2254042 7133212 | 826482 99 4 | 7.958 % | 1800.08/1800.50 | 250 | 428721 2254042 7133212 | 909130 244 8 | 7.961 % | 1800.08/1800.50 | 475 | 428721 2254042 7133212 | 1000043 469 6 | 7.961 % | 1800.08/1800.50 | 812 | 428541 2254042 7133212 | 1100047 797 6 | 7.991 % | 1800.08/1800.50 | 1318 | 428534 2254042 7133212 | 1210052 1302 5 | 7.992 % | 1800.08/1800.50 | 2077 | 428533 2254042 7133212 | 1331057 2060 6 | 7.992 % | 1800.08/1800.50 | 3216 | 428533 2254042 7133212 | 1464163 3199 9 | 7.992 % | 1800.08/1800.50 | 4924 | 428533 2254042 7133212 | 1610579 4907 13 | 7.992 % | 1800.08/1800.50 | 7486 | 428533 2254042 7133212 | 1771637 7469 16 | 7.992 % | 1800.08/1800.50 | 11330 | 428533 2254042 7133212 | 1948801 11313 19 | 7.992 % | 1800.08/1800.50 | 17096 | 428532 2254042 7133212 | 2143681 17078 23 | 7.992 % | 1800.08/1800.50 | 25745 | 428532 2254042 7133212 | 2358049 25726 26 | 7.992 % | 1800.08/1800.50 | 38719 | 428371 2254042 7133212 | 2593854 38695 28 | 8.019 % | 1800.08/1800.50 | 58180 | 428216 2254042 7133212 | 2853240 58148 33 | 8.045 % | 1800.08/1800.50 | 87372 | 428153 2254042 7133212 | 3138564 87338 35 | 8.055 % | 1800.08/1800.50 | 131161 | 428153 2254042 7133212 | 3452420 131127 45 | 8.055 % | 1800.08/1800.50 | 196845 | 428056 2254042 7133212 | 3797662 196808 47 | 8.071 % | 1800.08/1800.50 | 295371 | 428049 2254042 7133212 | 4177429 295330 60 | 8.073 % | 1800.08/1800.50 | 443160 | 428046 2254042 7133212 | 4595171 443116 57 | 8.073 % | 1800.08/1800.50 | 664843 | 428046 2254042 7133212 | 5054689 664799 65 | 8.073 % | 1800.08/1800.50 | 997368 | 428046 2254042 7133212 | 5560158 997324 64 | 8.073 % | 1800.08/1800.50 | 1496156 | 428045 2254042 7133212 | 6116173 1496111 63 | 8.073 % | 1800.08/1800.50 | 2244338 | 428040 2254042 7133212 | 6727791 2244287 59 | 8.074 % | 1800.08/1800.50 c 1800.08/1800.50 c *** TERMINATED *** 1800.08/1800.50 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-4115306-1466525308/watcher-4115306-1466525308 -o /tmp/evaluation-result-4115306-1466525308/solver-4115306-1466525308 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466515257-29310 --watchdog 1960 minisatp HOME/instance-4115306-1466525308.opb pid=31170 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.09 2.04 2.00 3/176 31173 /proc/meminfo: memFree=31139296/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=7148 CPUtime=0 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 504 0 0 0 0 0 0 0 20 0 1 0 54577615 7319552 380 33554432000 4194304 5646918 140735886565920 140736653414648 4388221 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 1787 380 94 355 0 1428 0 [startup+0.100167 s] /proc/loadavg: 2.09 2.04 2.00 3/176 31173 /proc/meminfo: memFree=31139296/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=12060 CPUtime=0.09 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 1656 0 0 0 9 0 0 0 20 0 1 0 54577615 12349440 1490 33554432000 4194304 5646918 140735886565920 140736653414648 4251237 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 3015 1490 94 355 0 2656 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12060 [startup+0.200321 s] /proc/loadavg: 2.09 2.04 2.00 3/176 31173 /proc/meminfo: memFree=31139296/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=15788 CPUtime=0.19 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 2521 0 0 0 19 0 0 0 20 0 1 0 54577615 16166912 2355 33554432000 4194304 5646918 140735886565920 140736653414648 4823297 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 3947 2355 97 355 0 3588 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 15788 [startup+0.300287 s] /proc/loadavg: 2.09 2.04 2.00 3/176 31173 /proc/meminfo: memFree=31139296/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=20696 CPUtime=0.29 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 3804 0 0 0 29 0 0 0 20 0 1 0 54577615 21192704 3555 33554432000 4194304 5646918 140735886565920 140736653414648 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 5174 3555 97 355 0 4815 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20696 [startup+0.700268 s] /proc/loadavg: 2.09 2.04 2.00 3/176 31173 /proc/meminfo: memFree=31139296/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=37720 CPUtime=0.69 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 7692 0 0 0 68 1 0 0 20 0 1 0 54577615 38625280 7267 33554432000 4194304 5646918 140735886565920 140735886565288 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 9430 7267 97 355 0 9071 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37720 [startup+1.50029 s] /proc/loadavg: 2.09 2.04 2.00 3/177 31174 /proc/meminfo: memFree=31100616/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=55020 CPUtime=1.49 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 12375 0 0 0 147 2 0 0 20 0 1 0 54577615 56340480 11589 33554432000 4194304 5646918 140735886565920 140735886565288 4817696 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 13755 11589 154 355 0 13396 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 55020 [startup+3.10024 s] /proc/loadavg: 2.09 2.04 2.00 3/177 31174 /proc/meminfo: memFree=31091316/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=61324 CPUtime=3.09 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 13818 0 0 0 307 2 0 0 20 0 1 0 54577615 62795776 13032 33554432000 4194304 5646918 140735886565920 140735886564584 4460912 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 15331 13032 154 355 0 14972 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 61324 [startup+6.30024 s] /proc/loadavg: 2.08 2.04 2.00 3/177 31174 /proc/meminfo: memFree=31086044/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=62132 CPUtime=6.29 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 14039 0 0 0 626 3 0 0 20 0 1 0 54577615 63623168 13253 33554432000 4194304 5646918 140735886565920 140735886564584 4823249 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 15533 13253 154 355 0 15174 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 62132 [startup+12.7003 s] /proc/loadavg: 2.07 2.04 2.00 3/177 31174 /proc/meminfo: memFree=31067992/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=77620 CPUtime=12.69 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 16684 0 0 0 1265 4 0 0 20 0 1 0 54577615 79482880 16987 33554432000 4194304 5646918 140735886565920 140735886535944 4819040 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 19405 16987 154 355 0 19046 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 77620 [startup+25.5003 s] /proc/loadavg: 2.06 2.04 2.00 3/177 31174 /proc/meminfo: memFree=31035508/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=105588 CPUtime=25.49 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 21109 0 0 0 2544 5 0 0 20 0 1 0 54577615 108122112 23375 33554432000 4194304 5646918 140735886565920 140735886564584 4817614 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 26397 23375 154 355 0 26038 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 105588 [startup+51.1004 s] /proc/loadavg: 2.10 2.05 2.01 3/176 31174 /proc/meminfo: memFree=30727944/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=416800 CPUtime=51.09 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 62996 0 0 0 5096 13 0 0 20 0 1 0 54577615 426803200 97807 33554432000 4194304 5646918 140735886565920 140735886564024 4402806 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 104200 97807 185 355 0 103841 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 416800 [startup+102.3 s] /proc/loadavg: 2.04 2.04 2.00 3/178 31179 /proc/meminfo: memFree=30635956/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=559820 CPUtime=102.28 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 66457 0 0 0 10213 15 0 0 20 0 1 0 54577615 573255680 116072 33554432000 4194304 5646918 140735886565920 140735886564616 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 139955 116072 185 355 0 139596 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 559820 [startup+162.3 s] /proc/loadavg: 2.05 2.04 2.00 3/177 31180 /proc/meminfo: memFree=30531904/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=572328 CPUtime=162.26 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 69515 0 0 0 16209 17 0 0 20 0 1 0 54577615 586063872 135993 33554432000 4194304 5646918 140735886565920 140735886564056 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 143082 135993 185 355 0 142723 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 572328 [startup+222.307 s] /proc/loadavg: 2.09 2.05 2.00 3/177 31181 /proc/meminfo: memFree=30465848/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=715344 CPUtime=222.26 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 71934 0 0 0 22206 20 0 0 20 0 1 0 54577615 732512256 148622 33554432000 4194304 5646918 140735886565920 140735886564056 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 178836 148622 185 355 0 178477 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 715344 [startup+282.3 s] /proc/loadavg: 2.03 2.04 2.00 3/177 31182 /proc/meminfo: memFree=30376984/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=724352 CPUtime=282.25 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 74236 0 0 0 28203 22 0 0 20 0 1 0 54577615 741736448 158589 33554432000 4194304 5646918 140735886565920 140735886564056 4403124 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 181088 158589 185 355 0 180729 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 724352 [startup+342.3 s] /proc/loadavg: 2.08 2.04 2.00 3/177 31183 /proc/meminfo: memFree=30222648/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=946504 CPUtime=342.24 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 75264 0 0 0 34201 23 0 0 20 0 1 0 54577615 969220096 178514 33554432000 4194304 5646918 140735886565920 140735886564056 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 236626 178514 185 355 0 236267 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 946504 [startup+402.3 s] /proc/loadavg: 2.08 2.05 2.00 3/177 31185 /proc/meminfo: memFree=30159600/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=957108 CPUtime=402.23 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 77941 0 0 0 40198 25 0 0 20 0 1 0 54577615 980078592 186812 33554432000 4194304 5646918 140735886565920 140735886564056 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 239277 186812 185 355 0 238918 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 957108 [startup+462.3 s] /proc/loadavg: 2.06 2.05 2.00 3/177 31186 /proc/meminfo: memFree=30085632/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=968216 CPUtime=462.22 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 80474 0 0 0 46196 26 0 0 20 0 1 0 54577615 991453184 197521 33554432000 4194304 5646918 140735886565920 140735886564024 4402821 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 242054 197521 185 355 0 241695 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 968216 [startup+522.3 s] /proc/loadavg: 2.06 2.05 2.00 3/177 31187 /proc/meminfo: memFree=30019104/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=976108 CPUtime=522.21 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 81154 0 0 0 52194 27 0 0 20 0 1 0 54577615 999534592 206377 33554432000 4194304 5646918 140735886565920 140735886564056 4403472 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 244027 206377 185 355 0 243668 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 976108 [startup+582.3 s] /proc/loadavg: 2.13 2.07 2.01 3/177 31188 /proc/meminfo: memFree=29963692/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=981988 CPUtime=582.2 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 82492 0 0 0 58192 28 0 0 20 0 1 0 54577615 1005555712 216402 33554432000 4194304 5646918 140735886565920 140735886564056 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 245497 216402 185 355 0 245138 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 981988 ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.02 2.05 2.00 3/177 31198 /proc/meminfo: memFree=30295720/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=1368908 CPUtime=942.11 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 89769 0 0 0 94175 36 0 0 20 0 1 0 54577615 1401761792 253978 33554432000 4194304 5646918 140735886565920 140735886564616 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 342227 253978 185 355 0 341868 0 Current children cumulated CPU time (s) 942.11 Current children cumulated vsize (KiB) 1368908 [startup+1002.3 s] /proc/loadavg: 2.09 2.07 2.01 3/177 31200 /proc/meminfo: memFree=30251880/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=1368908 CPUtime=1002.09 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 89822 0 0 0 100173 36 0 0 20 0 1 0 54577615 1401761792 257790 33554432000 4194304 5646918 140735886565920 140735886564616 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 342227 257790 185 355 0 341868 0 Current children cumulated CPU time (s) 1002.09 Current children cumulated vsize (KiB) 1368908 [startup+1062.3 s] /proc/loadavg: 2.22 2.10 2.02 3/177 31201 /proc/meminfo: memFree=30164496/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=1368908 CPUtime=1062.09 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 89851 0 0 0 106172 37 0 0 20 0 1 0 54577615 1401761792 261907 33554432000 4194304 5646918 140735886565920 140735886564616 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 342227 261907 185 355 0 341868 0 Current children cumulated CPU time (s) 1062.09 Current children cumulated vsize (KiB) 1368908 [startup+1122.3 s] /proc/loadavg: 2.14 2.10 2.02 3/177 31258 /proc/meminfo: memFree=30636212/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=1371468 CPUtime=1122.07 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 90378 0 0 0 112170 37 0 0 20 0 1 0 54577615 1404383232 266522 33554432000 4194304 5646918 140735886565920 140735886564056 4403408 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 342867 266522 185 355 0 342508 0 Current children cumulated CPU time (s) 1122.07 Current children cumulated vsize (KiB) 1371468 [startup+1182.3 s] /proc/loadavg: 2.10 2.09 2.02 3/177 31259 /proc/meminfo: memFree=30554264/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=1384784 CPUtime=1182.07 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 93226 0 0 0 118169 38 0 0 20 0 1 0 54577615 1418018816 272436 33554432000 4194304 5646918 140735886565920 140735886564056 4403454 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 346196 272436 185 355 0 345837 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 1384784 [startup+1242.3 s] /proc/loadavg: 2.11 2.09 2.01 3/177 31260 /proc/meminfo: memFree=30488748/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=1393032 CPUtime=1242.06 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 95320 0 0 0 124167 39 0 0 20 0 1 0 54577615 1426464768 277085 33554432000 4194304 5646918 140735886565920 140735886564056 4403454 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 348258 277085 185 355 0 347899 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 1393032 [startup+1302.3 s] /proc/loadavg: 2.07 2.08 2.01 3/178 31265 /proc/meminfo: memFree=30502200/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=1397232 CPUtime=1302.05 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 96305 0 0 0 130166 39 0 0 20 0 1 0 54577615 1430765568 281647 33554432000 4194304 5646918 140735886565920 140735886564056 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 349308 281647 185 355 0 348949 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 1397232 [startup+1362.3 s] /proc/loadavg: 2.17 2.11 2.02 3/177 31266 /proc/meminfo: memFree=30489040/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=1401072 CPUtime=1362.04 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 97137 0 0 0 136164 40 0 0 20 0 1 0 54577615 1434697728 285034 33554432000 4194304 5646918 140735886565920 140735886564056 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 350268 285034 185 355 0 349909 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 1401072 [startup+1422.3 s] /proc/loadavg: 2.06 2.09 2.02 3/177 31267 /proc/meminfo: memFree=30460112/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=1406680 CPUtime=1422.03 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 98227 0 0 0 142163 40 0 0 20 0 1 0 54577615 1440440320 292171 33554432000 4194304 5646918 140735886565920 140735886564024 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 351670 292171 185 355 0 351311 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 1406680 [startup+1482.3 s] /proc/loadavg: 2.02 2.07 2.01 3/177 31268 /proc/meminfo: memFree=30451200/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=1407208 CPUtime=1482.02 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 98482 0 0 0 148161 41 0 0 20 0 1 0 54577615 1440980992 294459 33554432000 4194304 5646918 140735886565920 140735886564056 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 351802 294459 185 355 0 351443 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 1407208 [startup+1542.31 s] /proc/loadavg: 2.07 2.08 2.02 3/177 31269 /proc/meminfo: memFree=30436648/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=1409816 CPUtime=1542 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 99004 0 0 0 154159 41 0 0 20 0 1 0 54577615 1443651584 297000 33554432000 4194304 5646918 140735886565920 140735886564056 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 352454 297000 185 355 0 352095 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 1409816 [startup+1602.3 s] /proc/loadavg: 2.07 2.08 2.02 3/176 31271 /proc/meminfo: memFree=30417880/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=1413676 CPUtime=1601.97 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 99760 0 0 0 160156 41 0 0 20 0 1 0 54577615 1447604224 300294 33554432000 4194304 5646918 140735886565920 140735886564056 4402818 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 353419 300294 185 355 0 353060 0 Current children cumulated CPU time (s) 1601.97 Current children cumulated vsize (KiB) 1413676 [startup+1662.3 s] /proc/loadavg: 2.13 2.09 2.02 3/177 31273 /proc/meminfo: memFree=30382468/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=1414876 CPUtime=1661.93 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 100059 0 0 0 166152 41 0 0 20 0 1 0 54577615 1448833024 304132 33554432000 4194304 5646918 140735886565920 140735886564056 4402736 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 353719 304132 185 355 0 353360 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 1414876 [startup+1722.3 s] /proc/loadavg: 2.12 2.10 2.03 3/177 31274 /proc/meminfo: memFree=30371752/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=1415300 CPUtime=1721.91 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 100197 0 0 0 172149 42 0 0 20 0 1 0 54577615 1449267200 306786 33554432000 4194304 5646918 140735886565920 140735886564056 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 353825 306786 185 355 0 353466 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 1415300 [startup+1782.3 s] /proc/loadavg: 2.13 2.11 2.03 3/177 31275 /proc/meminfo: memFree=30360680/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=1420568 CPUtime=1781.89 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 101323 0 0 0 178147 42 0 0 20 0 1 0 54577615 1454661632 309432 33554432000 4194304 5646918 140735886565920 140735886564056 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 355142 309432 185 355 0 354783 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 1420568 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.16 2.12 2.04 3/177 31275 /proc/meminfo: memFree=30320156/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=1423212 CPUtime=1800.08 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 101795 0 0 0 179966 42 0 0 20 0 1 0 54577615 1457369088 310415 33554432000 4194304 5646918 140735886565920 140735886564056 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 355803 310415 185 355 0 355444 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1423212 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 31173 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.16 2.12 2.04 3/177 31275 /proc/meminfo: memFree=30320156/32872528 swapFree=338416/354768 [pid=31173] ppid=31170 vsize=1423212 CPUtime=1800.08 cores=0,2,4,6 /proc/31173/stat : 31173 (minisatp) R 31170 31173 29294 0 -1 4202496 101795 0 0 0 179966 42 0 0 20 0 1 0 54577615 1457369088 310415 33554432000 4194304 5646918 140735886565920 140735886564056 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/31173/statm: 355803 310415 185 355 0 355444 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1423212 Child status: 0 Real time (s): 1800.51 CPU time (s): 1800.1 CPU user time (s): 1799.67 CPU system time (s): 0.433934 CPU usage (%): 99.9775 Max. virtual memory (cumulated for all children) (KiB): 1423212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.67 system time used= 0.433934 maximum resident set size= 1241660 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 101795 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= 224 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5793 second user time and 6.92995 second system time The end
Begin job on node126 at 2016-06-21 18:08:29 IDJOB=4115306 IDBENCH=1708 IDSOLVER=2555 FILE ID=node126/4115306-1466525308 RUNJOBID= node126-1466515257-29310 PBS_JOBID= 19942885 Free space on /tmp= 71732 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ganges.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115306-1466525308/watcher-4115306-1466525308 -o /tmp/evaluation-result-4115306-1466525308/solver-4115306-1466525308 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466515257-29310 --watchdog 1960 minisatp HOME/instance-4115306-1466525308.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7a90d6f729b5a7cbedbc2000a888cf36 RANDOM SEED=883089611 node126.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 : 2666.121 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 : 5332.24 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 : 2666.121 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 : 2666.121 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.55 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 : 2666.121 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 : 2666.121 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 : 2666.121 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.121 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.121 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: 31139740 kB Buffers: 11272 kB Cached: 61836 kB SwapCached: 1724 kB Active: 627900 kB Inactive: 47084 kB Active(anon): 603312 kB Inactive(anon): 948 kB Active(file): 24588 kB Inactive(file): 46136 kB Unevictable: 354768 kB Mlocked: 338416 kB SwapTotal: 67108856 kB SwapFree: 67099092 kB Dirty: 5480 kB Writeback: 0 kB AnonPages: 955728 kB Mapped: 7804 kB Shmem: 0 kB Slab: 571636 kB SReclaimable: 15888 kB SUnreclaim: 555748 kB KernelStack: 1456 kB PageTables: 5852 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1249460 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 397312 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-4115306-1466525308.opb Free space on /tmp at the end= 71732 MiB End job on node126 at 2016-06-21 18:38:29