| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | ? (TO) | 1800.02 | 1800.3 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-biella1.opb |
| MD5SUM | 8cf2f50dc2f979b0f0b07ffea6d1fd34 |
| Bench Category | OPT-BIGINT (optimisation, big 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 | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 61130650214400 |
| Optimality of the best value was proved | NO |
| Number of variables | 42650 |
| Total number of constraints | 1202 |
| 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 | 1202 |
| Minimum length of a constraint | 38 |
| Maximum length of a constraint | 42650 |
| Number of terms in the objective function | 42650 |
| Biggest coefficient in the objective function | 536870912000000000000 |
| Number of bits for the biggest coefficient in the objective function | 69 |
| Sum of the numbers in the objective function | 4779625155602030321168 |
| Number of bits of the sum of numbers in the objective function | 73 |
| Biggest number in a constraint | 536870912000000000000 |
| Number of bits of the biggest number in a constraint | 69 |
| Biggest sum of numbers in a constraint | 4779727555602030321168 |
| Number of bits of the biggest sum of numbers | 73 |
| 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.29/1.30 c Converting 2399 PB-constraints to clauses... 1.29/1.31 c -- Unit propagations: (none) 1.29/1.31 c -- Detecting intervals from adjacent constraints: ############################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################# 1.29/1.33 c -- Clauses(.)/Splits(s): s 1.29/1.37 c ---[2398]---> Sorter-cost: 971 Base: 2 2 2 2 2 2 2 2 2 2 7 1.29/1.37 c ---[2396]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 1.29/1.38 c ---[2394]---> Adder-cost: 276 maxlim: 135168 bits: 19/18 1.29/1.39 c ---[2392]---> Adder-cost: 280 maxlim: 155648 bits: 19/18 1.39/1.41 c ---[2390]---> Adder-cost: 200 maxlim: 120832 bits: 18/17 1.39/1.43 c ---[2388]---> Sorter-cost: 470 Base: 2 2 2 2 2 2 2 2 2 2 7 1.39/1.43 c ---[2386]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 1.39/1.43 c ---[2384]---> Sorter-cost: 311 Base: 2 2 2 2 2 2 2 2 2 2 2 1.39/1.43 c ---[2382]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 1.39/1.44 c ---[2380]---> Adder-cost: 254 maxlim: 129024 bits: 18/17 1.39/1.45 c ---[2378]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 1.39/1.45 c ---[2376]---> Adder-cost: 76 maxlim: 129024 bits: 18/17 1.39/1.47 c ---[2374]---> Adder-cost: 220 maxlim: 120832 bits: 18/17 1.39/1.48 c ---[2372]---> Adder-cost: 80 maxlim: 120832 bits: 18/17 1.49/1.50 c ---[2370]---> Adder-cost: 186 maxlim: 106496 bits: 18/17 1.49/1.51 c ---[2368]---> Adder-cost: 116 maxlim: 107520 bits: 18/17 1.49/1.52 c ---[2366]---> Adder-cost: 184 maxlim: 100352 bits: 18/17 1.49/1.54 c ---[2364]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 1.59/1.65 c ---[2362]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 1.59/1.65 c ---[2360]---> Adder-cost: 72 maxlim: 100352 bits: 18/17 1.59/1.65 c ---[2358]---> Adder-cost: 190 maxlim: 106496 bits: 18/17 1.59/1.65 c ---[2356]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 1.59/1.65 c ---[2354]---> Adder-cost: 78 maxlim: 106496 bits: 18/17 1.59/1.65 c ---[2352]---> Adder-cost: 158 maxlim: 79872 bits: 18/17 1.59/1.65 c ---[2350]---> Adder-cost: 62 maxlim: 79872 bits: 18/17 1.59/1.65 c ---[2348]---> Adder-cost: 162 maxlim: 89088 bits: 18/17 1.59/1.65 c ---[2346]---> Adder-cost: 68 maxlim: 89088 bits: 18/17 1.59/1.65 c ---[2344]---> Adder-cost: 114 maxlim: 64512 bits: 17/16 1.59/1.65 c ---[2342]---> Adder-cost: 50 maxlim: 64512 bits: 17/16 1.59/1.66 c ---[2340]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 1.59/1.66 c ---[2338]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 1.59/1.67 c ---[2336]---> Sorter-cost: 1303 Base: 2 2 2 2 2 2 2 2 2 2 7 1.59/1.67 c ---[2334]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 1.59/1.68 c ---[2332]---> Sorter-cost: 1067 Base: 2 2 2 2 2 2 2 2 2 2 7 1.59/1.69 c ---[2330]---> Sorter-cost: 1099 Base: 2 2 2 2 2 2 2 2 2 2 7 1.59/1.69 c ---[2328]---> Sorter-cost: 759 Base: 2 2 2 2 2 2 2 2 2 2 7 1.59/1.69 c ---[2326]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.70 c ---[2324]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.70 c ---[2322]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.70 c ---[2320]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.71 c ---[2318]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.71 c ---[2316]---> Sorter-cost: 365 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.72 c ---[2314]---> Sorter-cost: 307 Base: 2 2 2 2 2 2 2 2 2 2 2 1.69/1.72 c ---[2312]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 1.69/1.72 c ---[2310]---> Sorter-cost: 428 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.72 c ---[2308]---> Sorter-cost: 434 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.72 c ---[2306]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.73 c ---[2304]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.73 c ---[2302]---> Sorter-cost: 537 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.73 c ---[2300]---> Sorter-cost: 887 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.74 c ---[2298]---> Sorter-cost: 369 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.74 c ---[2296]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.74 c ---[2294]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.75 c ---[2292]---> Sorter-cost: 313 Base: 2 2 2 2 2 2 2 2 2 2 2 1.69/1.75 c ---[2290]---> Sorter-cost: 771 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.75 c ---[2288]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.75 c ---[2286]---> Sorter-cost: 601 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.76 c ---[2284]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.76 c ---[2282]---> Sorter-cost: 668 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.76 c ---[2280]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.77 c ---[2278]---> Sorter-cost: 613 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.77 c ---[2276]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.77 c ---[2274]---> Sorter-cost: 880 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.78 c ---[2272]---> Sorter-cost: 624 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.78 c ---[2270]---> Sorter-cost: 668 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.79 c ---[2268]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.79 c ---[2266]---> Sorter-cost: 632 Base: 2 2 2 2 2 2 2 2 2 2 7 1.69/1.79 c ---[2264]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.80 c ---[2262]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.80 c ---[2260]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.80 c ---[2258]---> Sorter-cost: 1075 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.81 c ---[2256]---> Sorter-cost: 713 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.81 c ---[2254]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 1.79/1.81 c ---[2252]---> Sorter-cost: 361 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.82 c ---[2250]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.82 c ---[2248]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.82 c ---[2246]---> Sorter-cost: 1020 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.83 c ---[2244]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.83 c ---[2242]---> Sorter-cost: 1091 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.84 c ---[2240]---> Sorter-cost: 718 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.84 c ---[2238]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.84 c ---[2236]---> Adder-cost: 140 maxlim: 66560 bits: 18/17 1.79/1.85 c ---[2234]---> Sorter-cost: 1087 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.86 c ---[2232]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.86 c ---[2230]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.87 c ---[2228]---> Sorter-cost: 953 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.87 c ---[2226]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 1.79/1.87 c ---[2224]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.88 c ---[2222]---> Sorter-cost: 733 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.88 c ---[2220]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.88 c ---[2218]---> Sorter-cost: 355 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.88 c ---[2216]---> Sorter-cost: 307 Base: 2 2 2 2 2 2 2 2 2 2 2 1.79/1.89 c ---[2214]---> Sorter-cost: 1070 Base: 2 2 2 2 2 2 2 2 2 2 7 1.79/1.89 c ---[2212]---> Adder-cost: 118 maxlim: 58368 bits: 17/16 1.89/1.90 c ---[2210]---> Sorter-cost: 422 Base: 2 2 2 2 2 2 2 2 2 2 7 1.89/1.90 c ---[2208]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 1.89/1.90 c ---[2206]---> Sorter-cost: 686 Base: 2 2 2 2 2 2 2 2 2 2 7 1.89/1.91 c ---[2204]---> Sorter-cost: 444 Base: 2 2 2 2 2 2 2 2 2 2 7 1.89/1.91 c ---[2202]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 1.89/1.91 c ---[2200]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 1.89/1.92 c ---[2198]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 1.89/1.92 c ---[2196]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 1.89/1.93 c ---[2194]---> Sorter-cost: 651 Base: 2 2 2 2 2 2 2 2 2 2 7 1.89/1.93 c ---[2192]---> Sorter-cost: 564 Base: 2 2 2 2 2 2 2 2 2 2 7 1.89/1.93 c ---[2190]---> Sorter-cost: 405 Base: 2 2 2 2 2 2 2 2 2 2 7 1.89/1.93 c ---[2188]---> Sorter-cost: 400 Base: 2 2 2 2 2 2 2 2 2 2 7 1.89/1.94 c ---[2186]---> Sorter-cost: 391 Base: 2 2 2 2 2 2 2 2 2 2 7 1.89/1.94 c ---[2184]---> Sorter-cost: 293 Base: 2 2 2 2 2 2 2 2 2 2 2 1.89/1.94 c ---[2182]---> Sorter-cost: 429 Base: 2 2 2 2 2 2 2 2 2 2 7 1.89/1.94 c ---[2180]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 1.89/1.95 c ---[2178]---> Adder-cost: 192 maxlim: 103424 bits: 18/17 1.89/1.96 c ---[2176]---> Adder-cost: 76 maxlim: 103424 bits: 18/17 1.89/1.97 c ---[2174]---> Adder-cost: 124 maxlim: 69632 bits: 18/17 1.89/1.98 c ---[2172]---> Adder-cost: 62 maxlim: 69632 bits: 18/17 1.89/1.99 c ---[2170]---> Adder-cost: 138 maxlim: 86016 bits: 18/17 1.99/2.00 c ---[2168]---> Adder-cost: 66 maxlim: 86016 bits: 18/17 1.99/2.01 c ---[2166]---> Adder-cost: 118 maxlim: 61440 bits: 17/16 1.99/2.02 c ---[2164]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 1.99/2.03 c ---[2162]---> Adder-cost: 66 maxlim: 54272 bits: 17/16 1.99/2.03 c ---[2160]---> Adder-cost: 46 maxlim: 54272 bits: 17/16 1.99/2.04 c ---[2158]---> Sorter-cost: 1180 Base: 2 2 2 2 2 2 2 2 2 2 7 1.99/2.04 c ---[2156]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 1.99/2.05 c ---[2154]---> Sorter-cost: 1244 Base: 2 2 2 2 2 2 2 2 2 2 7 1.99/2.06 c ---[2152]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 1.99/2.06 c ---[2150]---> Sorter-cost: 710 Base: 2 2 2 2 2 2 2 2 2 2 7 1.99/2.06 c ---[2148]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 1.99/2.07 c ---[2146]---> Adder-cost: 110 maxlim: 66560 bits: 18/17 1.99/2.08 c ---[2144]---> Sorter-cost: 1223 Base: 2 2 2 2 2 2 2 2 2 2 7 1.99/2.08 c ---[2142]---> Adder-cost: 60 maxlim: 66560 bits: 18/17 1.99/2.09 c ---[2140]---> Adder-cost: 146 maxlim: 73728 bits: 18/17 2.09/2.10 c ---[2138]---> Adder-cost: 62 maxlim: 73728 bits: 18/17 2.09/2.11 c ---[2136]---> Adder-cost: 92 maxlim: 51200 bits: 17/16 2.09/2.12 c ---[2134]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 2.09/2.12 c ---[2132]---> Adder-cost: 98 maxlim: 51200 bits: 17/16 2.09/2.13 c ---[2130]---> Sorter-cost: 1277 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.14 c ---[2128]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.14 c ---[2126]---> Sorter-cost: 1210 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.14 c ---[2124]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.15 c ---[2122]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.15 c ---[2120]---> Sorter-cost: 967 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.16 c ---[2118]---> Sorter-cost: 564 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.16 c ---[2116]---> Sorter-cost: 518 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.16 c ---[2114]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.16 c ---[2112]---> Sorter-cost: 389 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.17 c ---[2110]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.17 c ---[2108]---> Sorter-cost: 689 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.17 c ---[2106]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.18 c ---[2104]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.18 c ---[2102]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.18 c ---[2100]---> Sorter-cost: 957 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.19 c ---[2098]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 2.09/2.19 c ---[2096]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 2.09/2.20 c ---[2094]---> Sorter-cost: 596 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.20 c ---[2092]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.21 c ---[2090]---> Sorter-cost: 686 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.21 c ---[2088]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.22 c ---[2086]---> Sorter-cost: 468 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.22 c ---[2084]---> Sorter-cost: 436 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.22 c ---[2082]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.23 c ---[2080]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.23 c ---[2078]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.23 c ---[2076]---> Sorter-cost: 567 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.23 c ---[2074]---> Adder-cost: 70 maxlim: 56320 bits: 17/16 2.20/2.24 c ---[2072]---> Sorter-cost: 549 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.24 c ---[2070]---> Sorter-cost: 583 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.25 c ---[2068]---> Sorter-cost: 717 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.25 c ---[2066]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.25 c ---[2064]---> Adder-cost: 184 maxlim: 91136 bits: 18/17 2.20/2.27 c ---[2062]---> Adder-cost: 168 maxlim: 88064 bits: 18/17 2.20/2.28 c ---[2060]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 2.20/2.28 c ---[2058]---> Adder-cost: 104 maxlim: 61440 bits: 17/16 2.20/2.29 c ---[2056]---> Adder-cost: 50 maxlim: 61440 bits: 17/16 2.20/2.29 c ---[2054]---> Adder-cost: 88 maxlim: 58368 bits: 17/16 2.20/2.30 c ---[2052]---> Adder-cost: 48 maxlim: 58368 bits: 17/16 2.30/2.31 c ---[2050]---> Adder-cost: 86 maxlim: 52224 bits: 17/16 2.30/2.31 c ---[2048]---> Adder-cost: 44 maxlim: 52224 bits: 17/16 2.30/2.32 c ---[2046]---> Sorter-cost: 964 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.32 c ---[2044]---> Sorter-cost: 1183 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.33 c ---[2042]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 2.30/2.34 c ---[2040]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 2.30/2.34 c ---[2038]---> Adder-cost: 80 maxlim: 56320 bits: 17/16 2.30/2.35 c ---[2036]---> Sorter-cost: 1221 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.35 c ---[2034]---> Sorter-cost: 1151 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.36 c ---[2032]---> Sorter-cost: 973 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.36 c ---[2030]---> Sorter-cost: 735 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.37 c ---[2028]---> Sorter-cost: 1070 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.37 c ---[2026]---> Adder-cost: 154 maxlim: 74752 bits: 18/17 2.30/2.38 c ---[2024]---> Sorter-cost: 721 Base: 2 2 2 2 2 2 2 2 2 2 7 2.30/2.39 c ---[2022]---> Adder-cost: 100 maxlim: 62464 bits: 17/16 2.30/2.39 c ---[2020]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.40 c ---[2018]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.40 c ---[2016]---> Sorter-cost: 977 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.40 c ---[2014]---> Sorter-cost: 979 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.41 c ---[2012]---> Adder-cost: 146 maxlim: 69632 bits: 18/17 2.39/2.42 c ---[2010]---> Sorter-cost: 1072 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.42 c ---[2008]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.43 c ---[2006]---> Sorter-cost: 967 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.43 c ---[2004]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.43 c ---[2002]---> Sorter-cost: 563 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.44 c ---[2000]---> Adder-cost: 120 maxlim: 60416 bits: 17/16 2.39/2.44 c ---[1998]---> Sorter-cost: 365 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.45 c ---[1996]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.45 c ---[1994]---> Sorter-cost: 698 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.45 c ---[1992]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 2.39/2.46 c ---[1990]---> Sorter-cost: 313 Base: 2 2 2 2 2 2 2 2 2 2 2 2.39/2.46 c ---[1988]---> Adder-cost: 230 maxlim: 114688 bits: 18/17 2.39/2.47 c ---[1986]---> Adder-cost: 140 maxlim: 113664 bits: 18/17 2.39/2.49 c ---[1984]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 2.39/2.49 c ---[1982]---> Adder-cost: 184 maxlim: 102400 bits: 18/17 2.49/2.51 c ---[1980]---> Adder-cost: 248 maxlim: 124928 bits: 18/17 2.49/2.52 c ---[1978]---> Adder-cost: 78 maxlim: 124928 bits: 18/17 2.49/2.54 c ---[1976]---> Adder-cost: 166 maxlim: 84992 bits: 18/17 2.49/2.55 c ---[1974]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.55 c ---[1972]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.55 c ---[1970]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.56 c ---[1968]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.56 c ---[1966]---> Sorter-cost: 991 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.56 c ---[1964]---> Sorter-cost: 883 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.57 c ---[1962]---> Sorter-cost: 441 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.57 c ---[1960]---> Adder-cost: 112 maxlim: 56320 bits: 17/16 2.49/2.58 c ---[1958]---> Sorter-cost: 375 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.58 c ---[1956]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.58 c ---[1954]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.59 c ---[1952]---> Sorter-cost: 572 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.59 c ---[1950]---> Sorter-cost: 648 Base: 2 2 2 2 2 2 2 2 2 2 7 2.49/2.59 c ---[1948]---> Sorter-cost: 605 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.60 c ---[1946]---> Sorter-cost: 634 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.60 c ---[1944]---> Sorter-cost: 1271 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.60 c ---[1942]---> Sorter-cost: 729 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.61 c ---[1940]---> Sorter-cost: 666 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.61 c ---[1938]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.62 c ---[1936]---> Adder-cost: 184 maxlim: 91136 bits: 18/17 2.59/2.63 c ---[1934]---> Adder-cost: 268 maxlim: 135168 bits: 19/18 2.59/2.64 c ---[1932]---> Sorter-cost: 1074 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.65 c ---[1930]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.65 c ---[1928]---> Adder-cost: 136 maxlim: 67584 bits: 18/17 2.59/2.66 c ---[1926]---> Adder-cost: 208 maxlim: 102400 bits: 18/17 2.59/2.68 c ---[1924]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.68 c ---[1922]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.68 c ---[1920]---> Sorter-cost: 720 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.69 c ---[1918]---> Sorter-cost: 1087 Base: 2 2 2 2 2 2 2 2 2 2 7 2.59/2.69 c ---[1916]---> Adder-cost: 234 maxlim: 118784 bits: 18/17 2.69/2.71 c ---[1914]---> Adder-cost: 80 maxlim: 118784 bits: 18/17 2.69/2.72 c ---[1912]---> Adder-cost: 214 maxlim: 114688 bits: 18/17 2.69/2.73 c ---[1910]---> Adder-cost: 132 maxlim: 65536 bits: 18/17 2.69/2.74 c ---[1908]---> Adder-cost: 202 maxlim: 103424 bits: 18/17 2.69/2.76 c ---[1906]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 2.69/2.76 c ---[1904]---> Sorter-cost: 1080 Base: 2 2 2 2 2 2 2 2 2 2 7 2.69/2.77 c ---[1902]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 2.69/2.77 c ---[1900]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 2.69/2.77 c ---[1898]---> Sorter-cost: 443 Base: 2 2 2 2 2 2 2 2 2 2 7 2.69/2.78 c ---[1896]---> Sorter-cost: 420 Base: 2 2 2 2 2 2 2 2 2 2 7 2.69/2.78 c ---[1894]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 2.69/2.78 c ---[1892]---> Adder-cost: 202 maxlim: 120832 bits: 18/17 2.79/2.80 c ---[1890]---> Adder-cost: 230 maxlim: 124928 bits: 18/17 2.79/2.81 c ---[1888]---> Adder-cost: 182 maxlim: 93184 bits: 18/17 2.79/2.82 c ---[1886]---> Sorter-cost: 1191 Base: 2 2 2 2 2 2 2 2 2 2 7 2.79/2.83 c ---[1884]---> Adder-cost: 182 maxlim: 92160 bits: 18/17 2.79/2.84 c ---[1882]---> Adder-cost: 138 maxlim: 77824 bits: 18/17 2.79/2.85 c ---[1880]---> Adder-cost: 126 maxlim: 72704 bits: 18/17 2.79/2.86 c ---[1878]---> Adder-cost: 104 maxlim: 71680 bits: 18/17 2.79/2.87 c ---[1876]---> Adder-cost: 224 maxlim: 113664 bits: 18/17 2.79/2.88 c ---[1874]---> Adder-cost: 270 maxlim: 138240 bits: 19/18 2.89/2.90 c ---[1872]---> Adder-cost: 190 maxlim: 139264 bits: 19/18 2.89/2.92 c ---[1870]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.92 c ---[1868]---> Sorter-cost: 1285 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.93 c ---[1866]---> Sorter-cost: 412 Base: 2 2 2 2 2 2 2 2 2 2 7 2.89/2.93 c ---[1864]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 2.89/2.94 c ---[1862]---> Adder-cost: 112 maxlim: 60416 bits: 17/16 2.89/2.94 c ---[1860]---> Adder-cost: 364 maxlim: 186368 bits: 19/18 2.89/2.97 c ---[1858]---> Adder-cost: 174 maxlim: 89088 bits: 18/17 2.89/2.98 c ---[1856]---> Adder-cost: 112 maxlim: 74752 bits: 18/17 2.89/2.99 c ---[1854]---> Adder-cost: 96 maxlim: 65536 bits: 18/17 2.89/3.00 c ---[1852]---> Adder-cost: 154 maxlim: 73728 bits: 18/17 2.99/3.00 c ---[1850]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 2.99/3.01 c ---[1848]---> Sorter-cost: 1157 Base: 2 2 2 2 2 2 2 2 2 2 7 2.99/3.02 c ---[1846]---> Sorter-cost: 422 Base: 2 2 2 2 2 2 2 2 2 2 7 2.99/3.02 c ---[1844]---> Sorter-cost: 1057 Base: 2 2 2 2 2 2 2 2 2 2 7 2.99/3.02 c ---[1842]---> Adder-cost: 264 maxlim: 134144 bits: 19/18 2.99/3.04 c ---[1840]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 7 2.99/3.05 c ---[1838]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 2.99/3.05 c ---[1836]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 2.99/3.05 c ---[1834]---> Adder-cost: 162 maxlim: 80896 bits: 18/17 2.99/3.06 c ---[1832]---> Adder-cost: 142 maxlim: 72704 bits: 18/17 2.99/3.07 c ---[1830]---> Adder-cost: 156 maxlim: 76800 bits: 18/17 2.99/3.08 c ---[1828]---> Adder-cost: 62 maxlim: 76800 bits: 18/17 2.99/3.09 c ---[1826]---> Sorter-cost: 1283 Base: 2 2 2 2 2 2 2 2 2 2 7 3.09/3.10 c ---[1824]---> Adder-cost: 184 maxlim: 94208 bits: 18/17 3.09/3.11 c ---[1822]---> Adder-cost: 114 maxlim: 59392 bits: 17/16 3.09/3.12 c ---[1820]---> Adder-cost: 168 maxlim: 83968 bits: 18/17 3.09/3.13 c ---[1818]---> Adder-cost: 92 maxlim: 78848 bits: 18/17 3.09/3.14 c ---[1816]---> Adder-cost: 162 maxlim: 80896 bits: 18/17 3.09/3.15 c ---[1814]---> Adder-cost: 74 maxlim: 80896 bits: 18/17 3.09/3.16 c ---[1812]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 3.09/3.17 c ---[1810]---> Adder-cost: 176 maxlim: 102400 bits: 18/17 3.09/3.18 c ---[1808]---> Adder-cost: 212 maxlim: 122880 bits: 18/17 3.09/3.19 c ---[1806]---> Adder-cost: 172 maxlim: 140288 bits: 19/18 3.19/3.21 c ---[1804]---> Adder-cost: 174 maxlim: 137216 bits: 19/18 3.19/3.23 c ---[1802]---> Adder-cost: 108 maxlim: 54272 bits: 17/16 3.19/3.24 c ---[1800]---> Adder-cost: 136 maxlim: 65536 bits: 18/17 3.19/3.24 c ---[1798]---> Sorter-cost: 581 Base: 2 2 2 2 2 2 2 2 2 2 7 3.19/3.25 c ---[1796]---> Sorter-cost: 470 Base: 2 2 2 2 2 2 2 2 2 2 7 3.19/3.25 c ---[1794]---> Sorter-cost: 643 Base: 2 2 2 2 2 2 2 2 2 2 7 3.19/3.25 c ---[1792]---> Adder-cost: 140 maxlim: 67584 bits: 18/17 3.19/3.26 c ---[1790]---> Sorter-cost: 597 Base: 2 2 2 2 2 2 2 2 2 2 7 3.19/3.27 c ---[1788]---> Adder-cost: 204 maxlim: 102400 bits: 18/17 3.19/3.28 c ---[1786]---> Adder-cost: 336 maxlim: 180224 bits: 19/18 3.29/3.31 c ---[1784]---> Sorter-cost: 1059 Base: 2 2 2 2 2 2 2 2 2 2 7 3.29/3.32 c ---[1782]---> Sorter-cost: 277 Base: 2 2 2 2 2 2 2 2 2 2 2 3.29/3.32 c ---[1780]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 3.29/3.32 c ---[1778]---> Adder-cost: 60 maxlim: 67584 bits: 18/17 3.29/3.33 c ---[1776]---> Sorter-cost: 841 Base: 2 2 2 2 2 2 2 2 2 2 7 3.29/3.34 c ---[1774]---> Sorter-cost: 714 Base: 2 2 2 2 2 2 2 2 2 2 7 3.29/3.34 c ---[1772]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 3.29/3.35 c ---[1770]---> Adder-cost: 136 maxlim: 70656 bits: 18/17 3.29/3.36 c ---[1768]---> Adder-cost: 144 maxlim: 71680 bits: 18/17 3.29/3.36 c ---[1766]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 3.29/3.37 c ---[1764]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 3.29/3.37 c ---[1762]---> Sorter-cost: 929 Base: 2 2 2 2 2 2 2 2 2 2 7 3.29/3.37 c ---[1760]---> Adder-cost: 144 maxlim: 69632 bits: 18/17 3.29/3.38 c ---[1758]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 3.29/3.39 c ---[1756]---> Adder-cost: 156 maxlim: 113664 bits: 18/17 3.29/3.40 c ---[1754]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 3.29/3.40 c ---[1752]---> Adder-cost: 136 maxlim: 68608 bits: 18/17 3.39/3.41 c ---[1750]---> Adder-cost: 216 maxlim: 111616 bits: 18/17 3.39/3.42 c ---[1748]---> Adder-cost: 172 maxlim: 86016 bits: 18/17 3.39/3.43 c ---[1746]---> Sorter-cost: 1221 Base: 2 2 2 2 2 2 2 2 2 2 7 3.39/3.44 c ---[1744]---> Adder-cost: 118 maxlim: 59392 bits: 17/16 3.39/3.45 c ---[1742]---> Sorter-cost: 1171 Base: 2 2 2 2 2 2 2 2 2 2 7 3.39/3.45 c ---[1740]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 3.39/3.46 c ---[1738]---> Adder-cost: 222 maxlim: 125952 bits: 18/17 3.39/3.47 c ---[1736]---> Adder-cost: 146 maxlim: 75776 bits: 18/17 3.39/3.48 c ---[1734]---> Adder-cost: 132 maxlim: 67584 bits: 18/17 3.39/3.49 c ---[1732]---> Sorter-cost: 937 Base: 2 2 2 2 2 2 2 2 2 2 7 3.49/3.50 c ---[1730]---> Adder-cost: 178 maxlim: 88064 bits: 18/17 3.49/3.51 c ---[1728]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 3.49/3.51 c ---[1726]---> Adder-cost: 68 maxlim: 88064 bits: 18/17 3.49/3.52 c ---[1724]---> Adder-cost: 216 maxlim: 109568 bits: 18/17 3.49/3.54 c ---[1722]---> Adder-cost: 184 maxlim: 95232 bits: 18/17 3.49/3.55 c ---[1720]---> Adder-cost: 152 maxlim: 96256 bits: 18/17 3.49/3.56 c ---[1718]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 3.49/3.57 c ---[1716]---> Sorter-cost: 399 Base: 2 2 2 2 2 2 2 2 2 2 7 3.49/3.57 c ---[1714]---> Sorter-cost: 251 Base: 2 2 2 2 2 2 2 2 2 2 2 3.49/3.57 c ---[1712]---> Sorter-cost: 821 Base: 2 2 2 2 2 2 2 2 2 2 7 3.49/3.58 c ---[1710]---> Sorter-cost: 468 Base: 2 2 2 2 2 2 2 2 2 2 7 3.49/3.58 c ---[1708]---> Sorter-cost: 361 Base: 2 2 2 2 2 2 2 2 2 2 7 3.49/3.58 c ---[1706]---> Adder-cost: 332 maxlim: 163840 bits: 19/18 3.59/3.60 c ---[1704]---> Adder-cost: 314 maxlim: 162816 bits: 19/18 3.59/3.62 c ---[1702]---> Adder-cost: 234 maxlim: 134144 bits: 19/18 3.59/3.64 c ---[1700]---> Adder-cost: 168 maxlim: 88064 bits: 18/17 3.59/3.65 c ---[1698]---> Adder-cost: 112 maxlim: 57344 bits: 17/16 3.59/3.66 c ---[1696]---> Adder-cost: 160 maxlim: 79872 bits: 18/17 3.59/3.67 c ---[1694]---> Sorter-cost: 1079 Base: 2 2 2 2 2 2 2 2 2 2 7 3.59/3.67 c ---[1692]---> Adder-cost: 212 maxlim: 120832 bits: 18/17 3.59/3.69 c ---[1690]---> Adder-cost: 172 maxlim: 119808 bits: 18/17 3.69/3.70 c ---[1688]---> Sorter-cost: 1028 Base: 2 2 2 2 2 2 2 2 2 2 7 3.69/3.71 c ---[1686]---> Adder-cost: 142 maxlim: 68608 bits: 18/17 3.69/3.72 c ---[1684]---> Sorter-cost: 739 Base: 2 2 2 2 2 2 2 2 2 2 7 3.69/3.72 c ---[1682]---> Sorter-cost: 964 Base: 2 2 2 2 2 2 2 2 2 2 7 3.69/3.72 c ---[1680]---> Adder-cost: 162 maxlim: 80896 bits: 18/17 3.69/3.73 c ---[1678]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 3.69/3.74 c ---[1676]---> Adder-cost: 124 maxlim: 62464 bits: 17/16 3.69/3.75 c ---[1674]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 3.69/3.75 c ---[1672]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 3.69/3.75 c ---[1670]---> Sorter-cost: 448 Base: 2 2 2 2 2 2 2 2 2 2 7 3.69/3.76 c ---[1668]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 3.69/3.76 c ---[1666]---> Sorter-cost: 1004 Base: 2 2 2 2 2 2 2 2 2 2 7 3.69/3.76 c ---[1664]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 3.69/3.77 c ---[1662]---> Sorter-cost: 589 Base: 2 2 2 2 2 2 2 2 2 2 7 3.69/3.77 c ---[1660]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 3.69/3.77 c ---[1658]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 3.69/3.78 c ---[1656]---> Adder-cost: 120 maxlim: 60416 bits: 17/16 3.69/3.78 c ---[1654]---> Sorter-cost: 929 Base: 2 2 2 2 2 2 2 2 2 2 7 3.69/3.79 c ---[1652]---> Sorter-cost: 893 Base: 2 2 2 2 2 2 2 2 2 2 7 3.69/3.79 c ---[1650]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 3.69/3.79 c ---[1648]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 3.79/3.80 c ---[1646]---> Adder-cost: 394 maxlim: 200704 bits: 19/18 3.79/3.82 c ---[1644]---> Adder-cost: 356 maxlim: 184320 bits: 19/18 3.79/3.84 c ---[1642]---> Adder-cost: 208 maxlim: 186368 bits: 19/18 3.79/3.86 c ---[1640]---> Sorter-cost: 910 Base: 2 2 2 2 2 2 2 2 2 2 7 3.79/3.87 c ---[1638]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 3.79/3.87 c ---[1636]---> Sorter-cost: 881 Base: 2 2 2 2 2 2 2 2 2 2 7 3.79/3.88 c ---[1634]---> Adder-cost: 228 maxlim: 121856 bits: 18/17 3.79/3.89 c ---[1632]---> Sorter-cost: 315 Base: 2 2 2 2 2 2 2 2 2 2 2 3.79/3.89 c ---[1630]---> Adder-cost: 142 maxlim: 73728 bits: 18/17 3.89/3.90 c ---[1628]---> Adder-cost: 124 maxlim: 62464 bits: 17/16 3.89/3.91 c ---[1626]---> Adder-cost: 104 maxlim: 61440 bits: 17/16 3.89/3.92 c ---[1624]---> Sorter-cost: 578 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.92 c ---[1622]---> Sorter-cost: 734 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.92 c ---[1620]---> Sorter-cost: 1219 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.93 c ---[1618]---> Sorter-cost: 1177 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.94 c ---[1616]---> Sorter-cost: 1045 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.94 c ---[1614]---> Sorter-cost: 956 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.95 c ---[1612]---> Sorter-cost: 638 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.95 c ---[1610]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 3.89/3.95 c ---[1608]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 3.89/3.96 c ---[1606]---> Adder-cost: 150 maxlim: 77824 bits: 18/17 3.89/3.97 c ---[1604]---> Adder-cost: 112 maxlim: 57344 bits: 17/16 3.89/3.97 c ---[1602]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.98 c ---[1600]---> Sorter-cost: 448 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.98 c ---[1598]---> Sorter-cost: 319 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.98 c ---[1596]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.99 c ---[1594]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.99 c ---[1592]---> Sorter-cost: 399 Base: 2 2 2 2 2 2 2 2 2 2 7 3.89/3.99 c ---[1590]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 3.89/3.99 c ---[1588]---> Adder-cost: 160 maxlim: 80896 bits: 18/17 3.99/4.00 c ---[1586]---> Adder-cost: 154 maxlim: 80896 bits: 18/17 3.99/4.02 c ---[1584]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 3.99/4.02 c ---[1582]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 3.99/4.02 c ---[1580]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 3.99/4.03 c ---[1578]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 3.99/4.03 c ---[1576]---> Adder-cost: 108 maxlim: 60416 bits: 17/16 3.99/4.04 c ---[1574]---> Adder-cost: 166 maxlim: 81920 bits: 18/17 3.99/4.05 c ---[1572]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 3.99/4.05 c ---[1570]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 3.99/4.05 c ---[1568]---> Sorter-cost: 183 Base: 2 2 2 2 2 2 2 2 2 2 2 3.99/4.06 c ---[1566]---> Adder-cost: 336 maxlim: 167936 bits: 19/18 3.99/4.08 c ---[1564]---> Adder-cost: 324 maxlim: 168960 bits: 19/18 4.09/4.10 c ---[1562]---> Adder-cost: 246 maxlim: 122880 bits: 18/17 4.09/4.11 c ---[1560]---> Adder-cost: 200 maxlim: 106496 bits: 18/17 4.09/4.12 c ---[1558]---> Sorter-cost: 877 Base: 2 2 2 2 2 2 2 2 2 2 7 4.09/4.13 c ---[1556]---> Adder-cost: 296 maxlim: 151552 bits: 19/18 4.09/4.15 c ---[1554]---> Adder-cost: 244 maxlim: 192512 bits: 19/18 4.09/4.17 c ---[1552]---> Adder-cost: 240 maxlim: 131072 bits: 19/18 4.09/4.19 c ---[1550]---> Adder-cost: 188 maxlim: 95232 bits: 18/17 4.19/4.20 c ---[1548]---> Adder-cost: 124 maxlim: 78848 bits: 18/17 4.19/4.21 c ---[1546]---> Sorter-cost: 913 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.22 c ---[1544]---> Sorter-cost: 1246 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.22 c ---[1542]---> Sorter-cost: 892 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.22 c ---[1540]---> Sorter-cost: 761 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.23 c ---[1538]---> Sorter-cost: 673 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.23 c ---[1536]---> BDD-cost: 59 4.19/4.23 c ---[1534]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 2 4.19/4.23 c ---[1532]---> Sorter-cost: 679 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.24 c ---[1530]---> Sorter-cost: 1250 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.24 c ---[1528]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.25 c ---[1526]---> Adder-cost: 108 maxlim: 54272 bits: 17/16 4.19/4.25 c ---[1524]---> Sorter-cost: 1311 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.26 c ---[1522]---> Sorter-cost: 803 Base: 2 2 2 2 2 2 2 2 2 2 7 4.19/4.26 c ---[1520]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 4.19/4.27 c ---[1518]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 4.19/4.28 c ---[1516]---> Adder-cost: 124 maxlim: 65536 bits: 18/17 4.19/4.29 c ---[1514]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 4.19/4.29 c ---[1512]---> Adder-cost: 98 maxlim: 68608 bits: 18/17 4.29/4.30 c ---[1510]---> Adder-cost: 204 maxlim: 102400 bits: 18/17 4.29/4.31 c ---[1508]---> Adder-cost: 240 maxlim: 122880 bits: 18/17 4.29/4.33 c ---[1506]---> Adder-cost: 150 maxlim: 78848 bits: 18/17 4.29/4.34 c ---[1504]---> Adder-cost: 140 maxlim: 74752 bits: 18/17 4.29/4.35 c ---[1502]---> Adder-cost: 128 maxlim: 72704 bits: 18/17 4.29/4.35 c ---[1500]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.36 c ---[1498]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.36 c ---[1496]---> Sorter-cost: 1167 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.37 c ---[1494]---> Sorter-cost: 965 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.37 c ---[1492]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.38 c ---[1490]---> Sorter-cost: 657 Base: 2 2 2 2 2 2 2 2 2 2 7 4.29/4.38 c ---[1488]---> Adder-cost: 196 maxlim: 108544 bits: 18/17 4.29/4.40 c ---[1486]---> Adder-cost: 200 maxlim: 107520 bits: 18/17 4.39/4.41 c ---[1484]---> Adder-cost: 202 maxlim: 130048 bits: 18/17 4.39/4.43 c ---[1482]---> Sorter-cost: 929 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.43 c ---[1480]---> Adder-cost: 74 maxlim: 130048 bits: 18/17 4.39/4.45 c ---[1478]---> Adder-cost: 136 maxlim: 70656 bits: 18/17 4.39/4.46 c ---[1476]---> Adder-cost: 78 maxlim: 60416 bits: 17/16 4.39/4.46 c ---[1474]---> Adder-cost: 146 maxlim: 80896 bits: 18/17 4.39/4.47 c ---[1472]---> Sorter-cost: 1183 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.48 c ---[1470]---> Sorter-cost: 1046 Base: 2 2 2 2 2 2 2 2 2 2 7 4.39/4.48 c ---[1468]---> Adder-cost: 118 maxlim: 59392 bits: 17/16 4.39/4.49 c ---[1466]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 4.39/4.49 c ---[1464]---> Adder-cost: 118 maxlim: 62464 bits: 17/16 4.39/4.50 c ---[1462]---> Adder-cost: 194 maxlim: 100352 bits: 18/17 4.49/4.51 c ---[1460]---> Adder-cost: 200 maxlim: 112640 bits: 18/17 4.49/4.52 c ---[1458]---> Adder-cost: 178 maxlim: 117760 bits: 18/17 4.49/4.54 c ---[1456]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 4.49/4.54 c ---[1454]---> Sorter-cost: 438 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.54 c ---[1452]---> Sorter-cost: 977 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.55 c ---[1450]---> Sorter-cost: 1073 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.55 c ---[1448]---> Sorter-cost: 448 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.56 c ---[1446]---> Sorter-cost: 1061 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.56 c ---[1444]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.57 c ---[1442]---> Sorter-cost: 1163 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.57 c ---[1440]---> Sorter-cost: 557 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.57 c ---[1438]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.58 c ---[1436]---> Sorter-cost: 785 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.58 c ---[1434]---> Sorter-cost: 1211 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.59 c ---[1432]---> Sorter-cost: 1221 Base: 2 2 2 2 2 2 2 2 2 2 7 4.49/4.59 c ---[1430]---> Sorter-cost: 791 Base: 2 2 2 2 2 2 2 2 2 2 7 4.58/4.60 c ---[1428]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 4.58/4.60 c ---[1426]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 4.58/4.61 c ---[1424]---> Sorter-cost: 1192 Base: 2 2 2 2 2 2 2 2 2 2 7 4.58/4.61 c ---[1422]---> Sorter-cost: 259 Base: 2 2 2 2 2 2 2 2 2 2 2 4.58/4.61 c ---[1420]---> Adder-cost: 276 maxlim: 160768 bits: 19/18 4.58/4.63 c ---[1418]---> Adder-cost: 224 maxlim: 125952 bits: 18/17 4.58/4.65 c ---[1416]---> Sorter-cost: 965 Base: 2 2 2 2 2 2 2 2 2 2 7 4.58/4.65 c ---[1414]---> Sorter-cost: 423 Base: 2 2 2 2 2 2 2 2 2 2 7 4.58/4.66 c ---[1412]---> Sorter-cost: 931 Base: 2 2 2 2 2 2 2 2 2 2 7 4.58/4.66 c ---[1410]---> Sorter-cost: 285 Base: 2 2 2 2 2 2 2 2 2 2 7 4.58/4.66 c ---[1408]---> Sorter-cost: 519 Base: 2 2 2 2 2 2 2 2 2 2 7 4.58/4.67 c ---[1406]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 4.58/4.67 c ---[1404]---> Adder-cost: 110 maxlim: 58368 bits: 17/16 4.58/4.68 c ---[1402]---> Adder-cost: 106 maxlim: 53248 bits: 17/16 4.58/4.68 c ---[1400]---> Sorter-cost: 430 Base: 2 2 2 2 2 2 2 2 2 2 7 4.58/4.68 c ---[1398]---> Sorter-cost: 735 Base: 2 2 2 2 2 2 2 2 2 2 7 4.58/4.69 c ---[1396]---> Sorter-cost: 1251 Base: 2 2 2 2 2 2 2 2 2 2 7 4.58/4.69 c ---[1394]---> Adder-cost: 140 maxlim: 65536 bits: 18/17 4.68/4.70 c ---[1392]---> Adder-cost: 76 maxlim: 71680 bits: 18/17 4.68/4.71 c ---[1390]---> Adder-cost: 142 maxlim: 70656 bits: 18/17 4.68/4.72 c ---[1388]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 4.68/4.72 c ---[1386]---> Sorter-cost: 388 Base: 2 2 2 2 2 2 2 2 2 2 7 4.68/4.73 c ---[1384]---> Adder-cost: 140 maxlim: 76800 bits: 18/17 4.68/4.74 c ---[1382]---> Sorter-cost: 714 Base: 2 2 2 2 2 2 2 2 2 2 7 4.68/4.74 c ---[1380]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 4.68/4.74 c ---[1378]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 4.68/4.75 c ---[1376]---> Adder-cost: 104 maxlim: 53248 bits: 17/16 4.68/4.76 c ---[1374]---> Sorter-cost: 1190 Base: 2 2 2 2 2 2 2 2 2 2 7 4.68/4.76 c ---[1372]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 4.68/4.76 c ---[1370]---> Sorter-cost: 653 Base: 2 2 2 2 2 2 2 2 2 2 7 4.68/4.77 c ---[1368]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 4.68/4.77 c ---[1366]---> Sorter-cost: 494 Base: 2 2 2 2 2 2 2 2 2 2 7 4.68/4.77 c ---[1364]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 4.68/4.78 c ---[1362]---> Sorter-cost: 674 Base: 2 2 2 2 2 2 2 2 2 2 7 4.68/4.78 c ---[1360]---> Adder-cost: 146 maxlim: 70656 bits: 18/17 4.68/4.79 c ---[1358]---> Adder-cost: 112 maxlim: 60416 bits: 17/16 4.78/4.80 c ---[1356]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 4.78/4.80 c ---[1354]---> Sorter-cost: 322 Base: 2 2 2 2 2 2 2 2 2 2 7 4.78/4.81 c ---[1352]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 4.78/4.81 c ---[1350]---> Sorter-cost: 655 Base: 2 2 2 2 2 2 2 2 2 2 7 4.78/4.81 c ---[1348]---> Sorter-cost: 495 Base: 2 2 2 2 2 2 2 2 2 2 7 4.78/4.82 c ---[1346]---> Sorter-cost: 1006 Base: 2 2 2 2 2 2 2 2 2 2 7 4.78/4.82 c ---[1344]---> Sorter-cost: 1055 Base: 2 2 2 2 2 2 2 2 2 2 7 4.78/4.82 c ---[1342]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 4.78/4.83 c ---[1340]---> Sorter-cost: 889 Base: 2 2 2 2 2 2 2 2 2 2 7 4.78/4.83 c ---[1338]---> Sorter-cost: 415 Base: 2 2 2 2 2 2 2 2 2 2 7 4.78/4.83 c ---[1336]---> Sorter-cost: 686 Base: 2 2 2 2 2 2 2 2 2 2 7 4.78/4.84 c ---[1334]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 4.78/4.84 c ---[1332]---> Sorter-cost: 955 Base: 2 2 2 2 2 2 2 2 2 2 7 4.78/4.85 c ---[1330]---> Sorter-cost: 703 Base: 2 2 2 2 2 2 2 2 2 2 7 4.78/4.85 c ---[1329]---> Adder-cost: 1058 maxlim: 575487 bits: 21/20 4.89/4.92 c ---[1328]---> Adder-cost: 2502 maxlim: 1370111 bits: 22/21 5.09/5.12 c ---[1327]---> Adder-cost: 2332 maxlim: 1282047 bits: 22/21 5.19/5.28 c ---[1324]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.28 c ---[1322]---> Sorter-cost: 856 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.29 c ---[1320]---> Sorter-cost: 1111 Base: 2 2 2 2 2 2 2 2 2 2 7 5.19/5.29 c ---[1318]---> Sorter-cost: 1263 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.30 c ---[1316]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.30 c ---[1314]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.31 c ---[1312]---> Sorter-cost: 443 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.31 c ---[1310]---> Sorter-cost: 593 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.31 c ---[1308]---> Sorter-cost: 372 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.31 c ---[1306]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.32 c ---[1304]---> Sorter-cost: 383 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.32 c ---[1302]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.32 c ---[1300]---> Sorter-cost: 327 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.32 c ---[1298]---> Sorter-cost: 597 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.33 c ---[1296]---> Sorter-cost: 628 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.33 c ---[1294]---> Sorter-cost: 443 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.33 c ---[1292]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.33 c ---[1290]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 5.29/5.34 c ---[1288]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 5.29/5.34 c ---[1286]---> Sorter-cost: 399 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.34 c ---[1284]---> Sorter-cost: 313 Base: 2 2 2 2 2 2 2 2 2 2 2 5.29/5.34 c ---[1282]---> Adder-cost: 170 maxlim: 86016 bits: 18/17 5.29/5.35 c ---[1280]---> Adder-cost: 162 maxlim: 96256 bits: 18/17 5.29/5.37 c ---[1278]---> Sorter-cost: 1283 Base: 2 2 2 2 2 2 2 2 2 2 7 5.29/5.37 c ---[1276]---> Adder-cost: 146 maxlim: 70656 bits: 18/17 5.29/5.38 c ---[1274]---> Adder-cost: 148 maxlim: 80896 bits: 18/17 5.29/5.39 c ---[1272]---> Sorter-cost: 1255 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.40 c ---[1270]---> Sorter-cost: 1205 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.40 c ---[1268]---> Sorter-cost: 626 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.41 c ---[1266]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.41 c ---[1264]---> Sorter-cost: 443 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.41 c ---[1262]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.41 c ---[1260]---> Sorter-cost: 655 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.42 c ---[1258]---> Sorter-cost: 569 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.42 c ---[1256]---> Sorter-cost: 789 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.42 c ---[1254]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.43 c ---[1252]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.43 c ---[1250]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.43 c ---[1248]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.44 c ---[1246]---> Sorter-cost: 259 Base: 2 2 2 2 2 2 2 2 2 2 2 5.39/5.44 c ---[1244]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 5.39/5.44 c ---[1242]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.44 c ---[1240]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.45 c ---[1238]---> Sorter-cost: 466 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.45 c ---[1236]---> Sorter-cost: 332 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.45 c ---[1234]---> Sorter-cost: 585 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.45 c ---[1232]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.46 c ---[1230]---> Sorter-cost: 420 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.46 c ---[1228]---> Sorter-cost: 1135 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.46 c ---[1226]---> Sorter-cost: 931 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.47 c ---[1224]---> Sorter-cost: 797 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.47 c ---[1222]---> Sorter-cost: 315 Base: 2 2 2 2 2 2 2 2 2 2 2 5.39/5.47 c ---[1220]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 5.39/5.48 c ---[1218]---> Sorter-cost: 566 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.48 c ---[1216]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.48 c ---[1214]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.48 c ---[1212]---> Sorter-cost: 1261 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.49 c ---[1210]---> Sorter-cost: 411 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.49 c ---[1208]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.50 c ---[1206]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 5.39/5.50 c ---[1204]---> Sorter-cost: 889 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.50 c ---[1202]---> Sorter-cost: 313 Base: 2 2 2 2 2 2 2 2 2 2 2 5.49/5.50 c ---[1200]---> Sorter-cost: 572 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.51 c ---[1198]---> Sorter-cost: 560 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.51 c ---[1196]---> Sorter-cost: 620 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.51 c ---[1194]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.52 c ---[1192]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.52 c ---[1190]---> Sorter-cost: 423 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.52 c ---[1188]---> Sorter-cost: 450 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.53 c ---[1186]---> Sorter-cost: 395 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.53 c ---[1184]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.53 c ---[1182]---> Sorter-cost: 652 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.53 c ---[1180]---> Sorter-cost: 313 Base: 2 2 2 2 2 2 2 2 2 2 2 5.49/5.54 c ---[1178]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 5.49/5.54 c ---[1176]---> Sorter-cost: 265 Base: 2 2 2 2 2 2 2 2 2 2 2 5.49/5.54 c ---[1174]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 5.49/5.54 c ---[1172]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.54 c ---[1170]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.55 c ---[1168]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.55 c ---[1166]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.55 c ---[1164]---> Sorter-cost: 305 Base: 2 2 2 2 2 2 2 2 2 2 2 5.49/5.55 c ---[1162]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 5.49/5.56 c ---[1160]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 5.49/5.56 c ---[1158]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 5.49/5.56 c ---[1156]---> Sorter-cost: 387 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.56 c ---[1154]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.56 c ---[1152]---> Sorter-cost: 1064 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.57 c ---[1150]---> Sorter-cost: 441 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.57 c ---[1148]---> Sorter-cost: 410 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.57 c ---[1146]---> Sorter-cost: 427 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.58 c ---[1144]---> Sorter-cost: 1183 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.58 c ---[1142]---> Sorter-cost: 1023 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.59 c ---[1140]---> Adder-cost: 154 maxlim: 76800 bits: 18/17 5.49/5.60 c ---[1138]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 5.49/5.60 c ---[1136]---> Adder-cost: 142 maxlim: 72704 bits: 18/17 5.59/5.61 c ---[1134]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 5.59/5.61 c ---[1132]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 5.59/5.61 c ---[1130]---> Sorter-cost: 1066 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.62 c ---[1128]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.62 c ---[1126]---> Sorter-cost: 947 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.63 c ---[1124]---> Sorter-cost: 892 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.63 c ---[1122]---> Sorter-cost: 835 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.64 c ---[1120]---> Sorter-cost: 997 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.64 c ---[1118]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.65 c ---[1116]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.65 c ---[1114]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.65 c ---[1112]---> Sorter-cost: 939 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.66 c ---[1110]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.66 c ---[1108]---> Sorter-cost: 931 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.67 c ---[1106]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.67 c ---[1104]---> Sorter-cost: 369 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.67 c ---[1102]---> Sorter-cost: 993 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.68 c ---[1100]---> Sorter-cost: 943 Base: 2 2 2 2 2 2 2 2 2 2 7 5.59/5.68 c ---[1098]---> Adder-cost: 138 maxlim: 71680 bits: 18/17 5.59/5.69 c ---[1096]---> Adder-cost: 104 maxlim: 58368 bits: 17/16 5.69/5.70 c ---[1094]---> Sorter-cost: 1083 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.70 c ---[1092]---> Sorter-cost: 721 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.71 c ---[1090]---> Sorter-cost: 311 Base: 2 2 2 2 2 2 2 2 2 2 2 5.69/5.71 c ---[1088]---> Sorter-cost: 718 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.71 c ---[1086]---> Sorter-cost: 947 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.72 c ---[1084]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.72 c ---[1082]---> Sorter-cost: 1036 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.73 c ---[1080]---> Sorter-cost: 1007 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.73 c ---[1078]---> Sorter-cost: 943 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.74 c ---[1076]---> Sorter-cost: 1010 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.74 c ---[1074]---> Sorter-cost: 565 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.74 c ---[1072]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.75 c ---[1070]---> Sorter-cost: 1069 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.75 c ---[1068]---> Sorter-cost: 1129 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.76 c ---[1066]---> Sorter-cost: 1035 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.76 c ---[1064]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.77 c ---[1062]---> Sorter-cost: 1062 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.77 c ---[1060]---> Sorter-cost: 875 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.78 c ---[1058]---> Sorter-cost: 700 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.78 c ---[1056]---> Sorter-cost: 591 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.79 c ---[1054]---> Sorter-cost: 435 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.79 c ---[1052]---> Sorter-cost: 597 Base: 2 2 2 2 2 2 2 2 2 2 7 5.69/5.79 c ---[1050]---> Sorter-cost: 1267 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.80 c ---[1048]---> Sorter-cost: 898 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.80 c ---[1046]---> Adder-cost: 120 maxlim: 60416 bits: 17/16 5.79/5.81 c ---[1044]---> Adder-cost: 152 maxlim: 77824 bits: 18/17 5.79/5.82 c ---[1042]---> Sorter-cost: 892 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.82 c ---[1040]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.82 c ---[1038]---> Sorter-cost: 1237 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.83 c ---[1036]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.84 c ---[1034]---> Sorter-cost: 1043 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.84 c ---[1032]---> Sorter-cost: 1012 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.84 c ---[1030]---> Sorter-cost: 980 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.85 c ---[1028]---> Sorter-cost: 923 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.85 c ---[1026]---> Adder-cost: 120 maxlim: 59392 bits: 17/16 5.79/5.86 c ---[1024]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.86 c ---[1022]---> Adder-cost: 138 maxlim: 66560 bits: 18/17 5.79/5.87 c ---[1020]---> Adder-cost: 108 maxlim: 60416 bits: 17/16 5.79/5.88 c ---[1018]---> Sorter-cost: 787 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.88 c ---[1016]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.89 c ---[1014]---> Sorter-cost: 1162 Base: 2 2 2 2 2 2 2 2 2 2 7 5.79/5.89 c ---[1012]---> Sorter-cost: 1074 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.90 c ---[1010]---> Sorter-cost: 660 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.90 c ---[1008]---> Sorter-cost: 923 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.91 c ---[1006]---> Sorter-cost: 777 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.91 c ---[1004]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.91 c ---[1002]---> Adder-cost: 146 maxlim: 74752 bits: 18/17 5.89/5.92 c ---[1000]---> Adder-cost: 60 maxlim: 74752 bits: 18/17 5.89/5.93 c ---[ 998]---> Sorter-cost: 1085 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.94 c ---[ 996]---> Sorter-cost: 671 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.94 c ---[ 994]---> Sorter-cost: 686 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.95 c ---[ 992]---> Sorter-cost: 630 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.95 c ---[ 990]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.95 c ---[ 988]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.96 c ---[ 986]---> Sorter-cost: 976 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.96 c ---[ 984]---> Sorter-cost: 1151 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.97 c ---[ 982]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.97 c ---[ 980]---> Sorter-cost: 1174 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.98 c ---[ 978]---> Sorter-cost: 747 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.98 c ---[ 976]---> Sorter-cost: 452 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.99 c ---[ 974]---> Sorter-cost: 444 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.99 c ---[ 972]---> Sorter-cost: 412 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.99 c ---[ 970]---> Sorter-cost: 359 Base: 2 2 2 2 2 2 2 2 2 2 7 5.89/5.99 c ---[ 968]---> Sorter-cost: 410 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.00 c ---[ 966]---> Adder-cost: 124 maxlim: 61440 bits: 17/16 5.99/6.00 c ---[ 964]---> Adder-cost: 94 maxlim: 65536 bits: 18/17 5.99/6.01 c ---[ 962]---> Sorter-cost: 994 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.02 c ---[ 960]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.02 c ---[ 958]---> Sorter-cost: 1153 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.03 c ---[ 956]---> Sorter-cost: 1054 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.03 c ---[ 954]---> Sorter-cost: 949 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.04 c ---[ 952]---> Sorter-cost: 1084 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.04 c ---[ 950]---> Sorter-cost: 1062 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.05 c ---[ 948]---> Sorter-cost: 1031 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.05 c ---[ 946]---> Sorter-cost: 983 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.06 c ---[ 944]---> Sorter-cost: 1063 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.06 c ---[ 942]---> Sorter-cost: 911 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.07 c ---[ 940]---> Sorter-cost: 557 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.07 c ---[ 938]---> Sorter-cost: 690 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.07 c ---[ 936]---> Sorter-cost: 573 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.07 c ---[ 934]---> Sorter-cost: 1127 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.08 c ---[ 932]---> Sorter-cost: 987 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.08 c ---[ 930]---> Sorter-cost: 863 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.09 c ---[ 928]---> Sorter-cost: 1059 Base: 2 2 2 2 2 2 2 2 2 2 7 5.99/6.09 c ---[ 926]---> Sorter-cost: 1219 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.10 c ---[ 924]---> Adder-cost: 110 maxlim: 53248 bits: 17/16 6.09/6.11 c ---[ 922]---> Adder-cost: 48 maxlim: 53248 bits: 17/16 6.09/6.11 c ---[ 920]---> Sorter-cost: 1083 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.12 c ---[ 918]---> Adder-cost: 104 maxlim: 53248 bits: 17/16 6.09/6.12 c ---[ 916]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.13 c ---[ 914]---> Adder-cost: 182 maxlim: 90112 bits: 18/17 6.09/6.14 c ---[ 912]---> Adder-cost: 194 maxlim: 103424 bits: 18/17 6.09/6.15 c ---[ 910]---> Sorter-cost: 640 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.16 c ---[ 908]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.16 c ---[ 906]---> Sorter-cost: 638 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.16 c ---[ 904]---> Sorter-cost: 1242 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.17 c ---[ 902]---> Adder-cost: 106 maxlim: 52224 bits: 17/16 6.09/6.17 c ---[ 900]---> Sorter-cost: 1269 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.18 c ---[ 898]---> Sorter-cost: 1041 Base: 2 2 2 2 2 2 2 2 2 2 7 6.09/6.19 c ---[ 896]---> Sorter-cost: 313 Base: 2 2 2 2 2 2 2 2 2 2 2 6.09/6.19 c ---[ 894]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 2 6.09/6.19 c ---[ 892]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 2 6.09/6.19 c ---[ 890]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 6.09/6.19 c ---[ 888]---> Sorter-cost: 632 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.20 c ---[ 886]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.20 c ---[ 884]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.20 c ---[ 882]---> Adder-cost: 112 maxlim: 55296 bits: 17/16 6.19/6.21 c ---[ 880]---> Sorter-cost: 1221 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.21 c ---[ 878]---> Sorter-cost: 1232 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.22 c ---[ 876]---> Sorter-cost: 818 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.22 c ---[ 874]---> Sorter-cost: 464 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.23 c ---[ 872]---> Sorter-cost: 698 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.23 c ---[ 870]---> Sorter-cost: 423 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.23 c ---[ 868]---> Adder-cost: 132 maxlim: 68608 bits: 18/17 6.19/6.24 c ---[ 866]---> Adder-cost: 96 maxlim: 56320 bits: 17/16 6.19/6.25 c ---[ 864]---> Adder-cost: 138 maxlim: 66560 bits: 18/17 6.19/6.26 c ---[ 862]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.26 c ---[ 860]---> Sorter-cost: 721 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.27 c ---[ 858]---> Sorter-cost: 779 Base: 2 2 2 2 2 2 2 2 2 2 7 6.19/6.27 c ---[ 856]---> Adder-cost: 206 maxlim: 105472 bits: 18/17 6.19/6.29 c ---[ 854]---> Adder-cost: 188 maxlim: 97280 bits: 18/17 6.29/6.30 c ---[ 852]---> Adder-cost: 152 maxlim: 86016 bits: 18/17 6.29/6.31 c ---[ 850]---> Adder-cost: 130 maxlim: 84992 bits: 18/17 6.29/6.32 c ---[ 848]---> Adder-cost: 108 maxlim: 54272 bits: 17/16 6.29/6.33 c ---[ 846]---> Adder-cost: 90 maxlim: 51200 bits: 17/16 6.29/6.33 c ---[ 844]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.34 c ---[ 842]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.34 c ---[ 840]---> Sorter-cost: 361 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.34 c ---[ 838]---> Sorter-cost: 692 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.35 c ---[ 836]---> Sorter-cost: 418 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.35 c ---[ 834]---> Adder-cost: 116 maxlim: 64512 bits: 17/16 6.29/6.36 c ---[ 832]---> Sorter-cost: 925 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.36 c ---[ 830]---> Sorter-cost: 979 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.37 c ---[ 828]---> Sorter-cost: 678 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.37 c ---[ 826]---> Sorter-cost: 683 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.37 c ---[ 824]---> Sorter-cost: 678 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.38 c ---[ 822]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.38 c ---[ 820]---> Sorter-cost: 638 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.38 c ---[ 818]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.39 c ---[ 816]---> Sorter-cost: 1050 Base: 2 2 2 2 2 2 2 2 2 2 7 6.29/6.39 c ---[ 814]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.40 c ---[ 812]---> Sorter-cost: 1018 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.40 c ---[ 810]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.41 c ---[ 808]---> Sorter-cost: 605 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.41 c ---[ 806]---> Sorter-cost: 1045 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.41 c ---[ 804]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.42 c ---[ 802]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.42 c ---[ 800]---> Sorter-cost: 704 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.42 c ---[ 798]---> Sorter-cost: 397 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.43 c ---[ 796]---> Sorter-cost: 409 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.43 c ---[ 794]---> Sorter-cost: 361 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.43 c ---[ 792]---> Sorter-cost: 612 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.44 c ---[ 790]---> Sorter-cost: 297 Base: 2 2 2 2 2 2 2 2 2 2 2 6.39/6.44 c ---[ 788]---> Sorter-cost: 577 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.44 c ---[ 786]---> Sorter-cost: 676 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.44 c ---[ 784]---> Sorter-cost: 1125 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.45 c ---[ 782]---> Sorter-cost: 1159 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.45 c ---[ 780]---> Adder-cost: 104 maxlim: 52224 bits: 17/16 6.39/6.46 c ---[ 778]---> Sorter-cost: 426 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.46 c ---[ 776]---> Sorter-cost: 631 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.47 c ---[ 774]---> Sorter-cost: 929 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.47 c ---[ 772]---> Sorter-cost: 637 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.48 c ---[ 770]---> Sorter-cost: 952 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.48 c ---[ 768]---> Sorter-cost: 436 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.48 c ---[ 766]---> Sorter-cost: 406 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.49 c ---[ 764]---> Sorter-cost: 355 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.49 c ---[ 762]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.49 c ---[ 760]---> Sorter-cost: 443 Base: 2 2 2 2 2 2 2 2 2 2 7 6.39/6.49 c ---[ 758]---> Sorter-cost: 436 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.50 c ---[ 756]---> Sorter-cost: 253 Base: 2 2 2 2 2 2 2 2 2 2 2 6.48/6.50 c ---[ 754]---> Sorter-cost: 931 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.50 c ---[ 752]---> Sorter-cost: 896 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.51 c ---[ 750]---> Sorter-cost: 635 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.51 c ---[ 748]---> Sorter-cost: 580 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.51 c ---[ 746]---> Sorter-cost: 579 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.52 c ---[ 744]---> Sorter-cost: 291 Base: 2 2 2 2 2 2 2 2 2 2 2 6.48/6.52 c ---[ 742]---> Sorter-cost: 624 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.52 c ---[ 740]---> Sorter-cost: 969 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.53 c ---[ 738]---> Sorter-cost: 1035 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.53 c ---[ 736]---> Sorter-cost: 1139 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.54 c ---[ 734]---> Sorter-cost: 781 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.54 c ---[ 732]---> Sorter-cost: 965 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.55 c ---[ 730]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.55 c ---[ 728]---> Sorter-cost: 589 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.55 c ---[ 726]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 6.48/6.55 c ---[ 724]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.56 c ---[ 722]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.56 c ---[ 720]---> Sorter-cost: 452 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.56 c ---[ 718]---> Sorter-cost: 595 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.57 c ---[ 716]---> Sorter-cost: 293 Base: 2 2 2 2 2 2 2 2 2 2 2 6.48/6.57 c ---[ 714]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 6.48/6.57 c ---[ 712]---> Sorter-cost: 361 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.57 c ---[ 710]---> Sorter-cost: 403 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.57 c ---[ 708]---> Sorter-cost: 1139 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.58 c ---[ 706]---> Sorter-cost: 951 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.58 c ---[ 704]---> Sorter-cost: 989 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.59 c ---[ 702]---> Sorter-cost: 985 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.59 c ---[ 700]---> Sorter-cost: 982 Base: 2 2 2 2 2 2 2 2 2 2 7 6.48/6.60 c ---[ 698]---> Sorter-cost: 1030 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.60 c ---[ 696]---> Sorter-cost: 929 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.61 c ---[ 694]---> Sorter-cost: 830 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.61 c ---[ 692]---> Sorter-cost: 652 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.62 c ---[ 690]---> Sorter-cost: 921 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.62 c ---[ 688]---> Sorter-cost: 629 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.62 c ---[ 686]---> Sorter-cost: 532 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.63 c ---[ 684]---> Sorter-cost: 624 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.63 c ---[ 682]---> Sorter-cost: 642 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.63 c ---[ 680]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.64 c ---[ 678]---> Sorter-cost: 510 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.64 c ---[ 676]---> Sorter-cost: 1042 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.65 c ---[ 674]---> Sorter-cost: 622 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.65 c ---[ 672]---> Adder-cost: 104 maxlim: 57344 bits: 17/16 6.59/6.66 c ---[ 670]---> Sorter-cost: 373 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.66 c ---[ 668]---> Adder-cost: 74 maxlim: 56320 bits: 17/16 6.59/6.66 c ---[ 666]---> Sorter-cost: 1255 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.67 c ---[ 664]---> Adder-cost: 106 maxlim: 53248 bits: 17/16 6.59/6.68 c ---[ 662]---> Sorter-cost: 1026 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.68 c ---[ 660]---> Sorter-cost: 636 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.69 c ---[ 658]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 6.59/6.69 c ---[ 656]---> Sorter-cost: 1066 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.70 c ---[ 654]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 6.59/6.70 c ---[ 652]---> Adder-cost: 126 maxlim: 67584 bits: 18/17 6.69/6.71 c ---[ 650]---> Adder-cost: 178 maxlim: 91136 bits: 18/17 6.69/6.72 c ---[ 648]---> Adder-cost: 96 maxlim: 56320 bits: 17/16 6.69/6.73 c ---[ 646]---> Adder-cost: 184 maxlim: 95232 bits: 18/17 6.69/6.74 c ---[ 644]---> Adder-cost: 92 maxlim: 95232 bits: 18/17 6.69/6.75 c ---[ 642]---> Sorter-cost: 576 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.75 c ---[ 640]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.76 c ---[ 638]---> Sorter-cost: 446 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.76 c ---[ 636]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.76 c ---[ 634]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.77 c ---[ 632]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.77 c ---[ 630]---> Sorter-cost: 399 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.77 c ---[ 628]---> Sorter-cost: 1121 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.78 c ---[ 626]---> Adder-cost: 106 maxlim: 55296 bits: 17/16 6.69/6.78 c ---[ 624]---> Sorter-cost: 898 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.79 c ---[ 622]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 6.69/6.79 c ---[ 620]---> Adder-cost: 224 maxlim: 120832 bits: 18/17 6.78/6.81 c ---[ 618]---> Adder-cost: 232 maxlim: 136192 bits: 19/18 6.78/6.82 c ---[ 616]---> Adder-cost: 214 maxlim: 134144 bits: 19/18 6.78/6.84 c ---[ 614]---> Sorter-cost: 1287 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.85 c ---[ 612]---> Sorter-cost: 1047 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.85 c ---[ 610]---> Adder-cost: 110 maxlim: 55296 bits: 17/16 6.78/6.86 c ---[ 608]---> Adder-cost: 72 maxlim: 55296 bits: 17/16 6.78/6.86 c ---[ 606]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.87 c ---[ 604]---> Sorter-cost: 408 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.87 c ---[ 602]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 6.78/6.87 c ---[ 600]---> Adder-cost: 118 maxlim: 57344 bits: 17/16 6.78/6.88 c ---[ 598]---> Adder-cost: 136 maxlim: 65536 bits: 18/17 6.78/6.89 c ---[ 596]---> Adder-cost: 142 maxlim: 80896 bits: 18/17 6.88/6.90 c ---[ 594]---> Adder-cost: 156 maxlim: 83968 bits: 18/17 6.88/6.91 c ---[ 592]---> Sorter-cost: 1185 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.91 c ---[ 590]---> Sorter-cost: 395 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.92 c ---[ 588]---> Sorter-cost: 1075 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.92 c ---[ 586]---> Sorter-cost: 999 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.93 c ---[ 584]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.93 c ---[ 582]---> Sorter-cost: 1251 Base: 2 2 2 2 2 2 2 2 2 2 7 6.88/6.94 c ---[ 580]---> Adder-cost: 100 maxlim: 55296 bits: 17/16 6.88/6.94 c ---[ 578]---> Sorter-cost: 311 Base: 2 2 2 2 2 2 2 2 2 2 2 6.88/6.95 c ---[ 576]---> Adder-cost: 146 maxlim: 77824 bits: 18/17 6.88/6.96 c ---[ 574]---> Adder-cost: 64 maxlim: 77824 bits: 18/17 6.88/6.97 c ---[ 572]---> Adder-cost: 214 maxlim: 119808 bits: 18/17 6.88/6.98 c ---[ 570]---> Adder-cost: 186 maxlim: 120832 bits: 18/17 6.88/6.99 c ---[ 568]---> Adder-cost: 184 maxlim: 116736 bits: 18/17 6.98/7.01 c ---[ 566]---> Adder-cost: 78 maxlim: 116736 bits: 18/17 6.98/7.02 c ---[ 564]---> Sorter-cost: 1149 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.03 c ---[ 562]---> Sorter-cost: 365 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.03 c ---[ 560]---> Sorter-cost: 1161 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.04 c ---[ 558]---> Sorter-cost: 865 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.04 c ---[ 556]---> Adder-cost: 106 maxlim: 51200 bits: 17/16 6.98/7.05 c ---[ 554]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 6.98/7.05 c ---[ 552]---> Sorter-cost: 1197 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.06 c ---[ 550]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.06 c ---[ 548]---> Sorter-cost: 959 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.07 c ---[ 546]---> Sorter-cost: 823 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.07 c ---[ 544]---> Sorter-cost: 681 Base: 2 2 2 2 2 2 2 2 2 2 7 6.98/7.08 c ---[ 542]---> Adder-cost: 104 maxlim: 51200 bits: 17/16 6.98/7.08 c ---[ 540]---> Adder-cost: 44 maxlim: 51200 bits: 17/16 6.98/7.09 c ---[ 538]---> Adder-cost: 104 maxlim: 55296 bits: 17/16 6.98/7.10 c ---[ 536]---> Adder-cost: 70 maxlim: 52224 bits: 17/16 7.09/7.10 c ---[ 534]---> Sorter-cost: 566 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.10 c ---[ 532]---> Sorter-cost: 426 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.11 c ---[ 530]---> Sorter-cost: 597 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.11 c ---[ 528]---> Sorter-cost: 618 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.11 c ---[ 526]---> Sorter-cost: 558 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.12 c ---[ 524]---> Sorter-cost: 608 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.12 c ---[ 522]---> Sorter-cost: 426 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.12 c ---[ 520]---> Sorter-cost: 518 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.13 c ---[ 518]---> Sorter-cost: 533 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.13 c ---[ 516]---> Sorter-cost: 430 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.13 c ---[ 514]---> Sorter-cost: 322 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.13 c ---[ 512]---> Sorter-cost: 314 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.14 c ---[ 510]---> Sorter-cost: 579 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.14 c ---[ 508]---> Sorter-cost: 967 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.14 c ---[ 506]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.15 c ---[ 504]---> Sorter-cost: 421 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.15 c ---[ 502]---> Sorter-cost: 402 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.15 c ---[ 500]---> Sorter-cost: 462 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.16 c ---[ 498]---> Sorter-cost: 558 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.16 c ---[ 496]---> Sorter-cost: 678 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.16 c ---[ 494]---> Sorter-cost: 694 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.17 c ---[ 492]---> Sorter-cost: 1083 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.17 c ---[ 490]---> Sorter-cost: 1023 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.18 c ---[ 488]---> Sorter-cost: 662 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.18 c ---[ 486]---> Sorter-cost: 587 Base: 2 2 2 2 2 2 2 2 2 2 7 7.09/7.18 c ---[ 484]---> Adder-cost: 98 maxlim: 58368 bits: 17/16 7.09/7.19 c ---[ 482]---> Adder-cost: 76 maxlim: 61440 bits: 17/16 7.19/7.20 c ---[ 480]---> Adder-cost: 100 maxlim: 62464 bits: 17/16 7.19/7.20 c ---[ 478]---> Adder-cost: 116 maxlim: 72704 bits: 18/17 7.19/7.21 c ---[ 476]---> Sorter-cost: 1301 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.22 c ---[ 474]---> Sorter-cost: 1049 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.23 c ---[ 472]---> Sorter-cost: 985 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.23 c ---[ 470]---> Sorter-cost: 548 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.23 c ---[ 468]---> Sorter-cost: 440 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.24 c ---[ 466]---> Adder-cost: 110 maxlim: 54272 bits: 17/16 7.19/7.24 c ---[ 464]---> Sorter-cost: 1153 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.25 c ---[ 462]---> Sorter-cost: 763 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.25 c ---[ 460]---> Sorter-cost: 1166 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.26 c ---[ 458]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.26 c ---[ 456]---> Sorter-cost: 664 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.27 c ---[ 454]---> Sorter-cost: 647 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.27 c ---[ 452]---> Sorter-cost: 1263 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.28 c ---[ 450]---> Sorter-cost: 1063 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.28 c ---[ 448]---> Sorter-cost: 872 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.28 c ---[ 446]---> Sorter-cost: 1052 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.29 c ---[ 444]---> Sorter-cost: 927 Base: 2 2 2 2 2 2 2 2 2 2 7 7.19/7.29 c ---[ 442]---> Sorter-cost: 1155 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.30 c ---[ 440]---> Sorter-cost: 1093 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.30 c ---[ 438]---> Sorter-cost: 755 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.31 c ---[ 436]---> Sorter-cost: 1197 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.32 c ---[ 434]---> Sorter-cost: 468 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.32 c ---[ 432]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.32 c ---[ 430]---> Sorter-cost: 459 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.32 c ---[ 428]---> Sorter-cost: 1309 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.33 c ---[ 426]---> Sorter-cost: 1111 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.34 c ---[ 424]---> Adder-cost: 136 maxlim: 68608 bits: 18/17 7.29/7.34 c ---[ 422]---> Adder-cost: 84 maxlim: 61440 bits: 17/16 7.29/7.35 c ---[ 420]---> Sorter-cost: 441 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.35 c ---[ 418]---> Sorter-cost: 716 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.36 c ---[ 416]---> Sorter-cost: 574 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.36 c ---[ 414]---> Sorter-cost: 403 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.36 c ---[ 412]---> Sorter-cost: 1231 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.37 c ---[ 410]---> Sorter-cost: 1053 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.37 c ---[ 408]---> Sorter-cost: 1043 Base: 2 2 2 2 2 2 2 2 2 2 7 7.29/7.38 c ---[ 406]---> Adder-cost: 116 maxlim: 64512 bits: 17/16 7.29/7.39 c ---[ 404]---> Adder-cost: 50 maxlim: 64512 bits: 17/16 7.29/7.39 c ---[ 402]---> Sorter-cost: 1039 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.40 c ---[ 400]---> Adder-cost: 100 maxlim: 60416 bits: 17/16 7.39/7.41 c ---[ 398]---> Adder-cost: 48 maxlim: 60416 bits: 17/16 7.39/7.41 c ---[ 396]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.42 c ---[ 394]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.42 c ---[ 392]---> Sorter-cost: 444 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.42 c ---[ 390]---> Sorter-cost: 251 Base: 2 2 2 2 2 2 2 2 2 2 2 7.39/7.42 c ---[ 388]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 7.39/7.43 c ---[ 386]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 7.39/7.43 c ---[ 384]---> Sorter-cost: 303 Base: 2 2 2 2 2 2 2 2 2 2 2 7.39/7.43 c ---[ 382]---> Sorter-cost: 395 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.43 c ---[ 380]---> Sorter-cost: 623 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.44 c ---[ 378]---> Sorter-cost: 606 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.44 c ---[ 376]---> Sorter-cost: 633 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.44 c ---[ 374]---> Sorter-cost: 699 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.45 c ---[ 372]---> Sorter-cost: 753 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.45 c ---[ 370]---> Sorter-cost: 1118 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.45 c ---[ 368]---> Sorter-cost: 757 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.46 c ---[ 366]---> Sorter-cost: 684 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.46 c ---[ 364]---> Sorter-cost: 666 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.47 c ---[ 362]---> Sorter-cost: 625 Base: 2 2 2 2 2 2 2 2 2 2 7 7.39/7.47 c ---[ 360]---> Adder-cost: 130 maxlim: 65536 bits: 18/17 7.39/7.48 c ---[ 358]---> Sorter-cost: 269 Base: 2 2 2 2 2 2 2 2 2 2 2 7.39/7.48 c ---[ 356]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 7.39/7.48 c ---[ 354]---> Sorter-cost: 313 Base: 2 2 2 2 2 2 2 2 2 2 2 7.39/7.48 c ---[ 352]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 7.39/7.48 c ---[ 350]---> Adder-cost: 154 maxlim: 80896 bits: 18/17 7.39/7.50 c ---[ 348]---> Sorter-cost: 617 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.50 c ---[ 346]---> Sorter-cost: 628 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.50 c ---[ 344]---> Adder-cost: 104 maxlim: 54272 bits: 17/16 7.49/7.51 c ---[ 342]---> Adder-cost: 188 maxlim: 101376 bits: 18/17 7.49/7.52 c ---[ 340]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 7.49/7.53 c ---[ 338]---> Sorter-cost: 267 Base: 2 2 2 2 2 2 2 2 2 2 2 7.49/7.54 c ---[ 336]---> Sorter-cost: 265 Base: 2 2 2 2 2 2 2 2 2 2 2 7.49/7.54 c ---[ 334]---> Sorter-cost: 688 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.54 c ---[ 332]---> Adder-cost: 160 maxlim: 84992 bits: 18/17 7.49/7.55 c ---[ 330]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 7.49/7.55 c ---[ 328]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 7.49/7.56 c ---[ 326]---> Adder-cost: 130 maxlim: 78848 bits: 18/17 7.49/7.57 c ---[ 324]---> Adder-cost: 150 maxlim: 88064 bits: 18/17 7.49/7.58 c ---[ 322]---> Sorter-cost: 1180 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.58 c ---[ 320]---> Sorter-cost: 973 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.59 c ---[ 318]---> Sorter-cost: 1279 Base: 2 2 2 2 2 2 2 2 2 2 7 7.49/7.59 c ---[ 316]---> Sorter-cost: 429 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.60 c ---[ 314]---> Sorter-cost: 557 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.60 c ---[ 312]---> Sorter-cost: 374 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.60 c ---[ 310]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.60 c ---[ 308]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.61 c ---[ 306]---> Adder-cost: 132 maxlim: 76800 bits: 18/17 7.59/7.62 c ---[ 304]---> Sorter-cost: 317 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.62 c ---[ 302]---> Sorter-cost: 524 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.62 c ---[ 300]---> Sorter-cost: 619 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.63 c ---[ 298]---> Sorter-cost: 361 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.63 c ---[ 296]---> Sorter-cost: 439 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.63 c ---[ 294]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.63 c ---[ 292]---> Adder-cost: 62 maxlim: 76800 bits: 18/17 7.59/7.64 c ---[ 290]---> Sorter-cost: 632 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.65 c ---[ 288]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.65 c ---[ 286]---> Sorter-cost: 309 Base: 2 2 2 2 2 2 2 2 2 2 2 7.59/7.65 c ---[ 284]---> Sorter-cost: 179 Base: 2 2 2 2 2 2 2 2 2 2 2 7.59/7.65 c ---[ 282]---> Sorter-cost: 409 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.66 c ---[ 280]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.66 c ---[ 278]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.66 c ---[ 276]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.66 c ---[ 274]---> Sorter-cost: 424 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.67 c ---[ 272]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.67 c ---[ 270]---> Sorter-cost: 333 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.67 c ---[ 268]---> Sorter-cost: 249 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.67 c ---[ 266]---> Adder-cost: 148 maxlim: 73728 bits: 18/17 7.59/7.68 c ---[ 264]---> Adder-cost: 138 maxlim: 83968 bits: 18/17 7.59/7.69 c ---[ 262]---> Sorter-cost: 1228 Base: 2 2 2 2 2 2 2 2 2 2 7 7.59/7.70 c ---[ 260]---> Sorter-cost: 799 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.70 c ---[ 258]---> Sorter-cost: 737 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.71 c ---[ 256]---> Sorter-cost: 271 Base: 2 2 2 2 2 2 2 2 2 2 2 7.69/7.71 c ---[ 254]---> Sorter-cost: 221 Base: 2 2 2 2 2 2 2 2 2 2 2 7.69/7.71 c ---[ 252]---> Sorter-cost: 365 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.72 c ---[ 250]---> Sorter-cost: 428 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.72 c ---[ 248]---> Sorter-cost: 416 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.72 c ---[ 246]---> Sorter-cost: 435 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.72 c ---[ 244]---> Sorter-cost: 529 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.73 c ---[ 242]---> Sorter-cost: 311 Base: 2 2 2 2 2 2 2 2 2 2 2 7.69/7.73 c ---[ 240]---> Adder-cost: 110 maxlim: 56320 bits: 17/16 7.69/7.74 c ---[ 238]---> Sorter-cost: 395 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.74 c ---[ 236]---> Sorter-cost: 891 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.74 c ---[ 234]---> Sorter-cost: 553 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.75 c ---[ 232]---> Sorter-cost: 401 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.75 c ---[ 230]---> Sorter-cost: 325 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.75 c ---[ 228]---> Sorter-cost: 401 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.75 c ---[ 226]---> Sorter-cost: 420 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.76 c ---[ 224]---> Sorter-cost: 283 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.76 c ---[ 222]---> Sorter-cost: 632 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.76 c ---[ 220]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.77 c ---[ 218]---> Adder-cost: 102 maxlim: 52224 bits: 17/16 7.69/7.77 c ---[ 216]---> Sorter-cost: 933 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.78 c ---[ 214]---> Sorter-cost: 985 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.78 c ---[ 212]---> Sorter-cost: 296 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.78 c ---[ 210]---> Sorter-cost: 257 Base: 2 2 2 2 2 2 2 2 2 2 2 7.69/7.79 c ---[ 208]---> Sorter-cost: 981 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.79 c ---[ 206]---> Adder-cost: 106 maxlim: 56320 bits: 17/16 7.69/7.80 c ---[ 204]---> Sorter-cost: 688 Base: 2 2 2 2 2 2 2 2 2 2 7 7.69/7.80 c ---[ 202]---> Sorter-cost: 520 Base: 2 2 2 2 2 2 2 2 2 2 7 7.79/7.80 c ---[ 200]---> Sorter-cost: 1240 Base: 2 2 2 2 2 2 2 2 2 2 7 7.79/7.81 c ---[ 198]---> Adder-cost: 182 maxlim: 103424 bits: 18/17 7.79/7.82 c ---[ 196]---> Sorter-cost: 299 Base: 2 2 2 2 2 2 2 2 2 2 2 7.79/7.82 c ---[ 194]---> Sorter-cost: 1125 Base: 2 2 2 2 2 2 2 2 2 2 7 7.79/7.83 c ---[ 192]---> Adder-cost: 200 maxlim: 142336 bits: 19/18 7.79/7.85 c ---[ 190]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 7.79/7.87 c ---[ 188]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 7.79/7.88 c ---[ 186]---> Adder-cost: 92 maxlim: 142336 bits: 19/18 7.89/7.90 c ---[ 184]---> Adder-cost: 156 maxlim: 144384 bits: 19/18 7.89/7.92 c ---[ 182]---> Adder-cost: 166 maxlim: 124928 bits: 18/17 7.89/7.93 c ---[ 180]---> Adder-cost: 78 maxlim: 124928 bits: 18/17 7.89/7.95 c ---[ 178]---> Sorter-cost: 544 Base: 2 2 2 2 2 2 2 2 2 2 7 7.89/7.95 c ---[ 176]---> Sorter-cost: 433 Base: 2 2 2 2 2 2 2 2 2 2 7 7.89/7.96 c ---[ 174]---> Adder-cost: 194 maxlim: 145408 bits: 19/18 7.89/7.97 c ---[ 172]---> Adder-cost: 88 maxlim: 145408 bits: 19/18 7.89/7.99 c ---[ 170]---> Adder-cost: 154 maxlim: 101376 bits: 18/17 7.99/8.01 c ---[ 168]---> Adder-cost: 72 maxlim: 101376 bits: 18/17 7.99/8.02 c ---[ 166]---> Adder-cost: 152 maxlim: 104448 bits: 18/17 7.99/8.03 c ---[ 164]---> Adder-cost: 74 maxlim: 104448 bits: 18/17 7.99/8.04 c ---[ 162]---> Adder-cost: 130 maxlim: 103424 bits: 18/17 7.99/8.06 c ---[ 160]---> Adder-cost: 76 maxlim: 103424 bits: 18/17 7.99/8.07 c ---[ 158]---> Sorter-cost: 444 Base: 2 2 2 2 2 2 2 2 2 2 7 7.99/8.07 c ---[ 156]---> Sorter-cost: 1120 Base: 2 2 2 2 2 2 2 2 2 2 7 7.99/8.08 c ---[ 154]---> Sorter-cost: 1010 Base: 2 2 2 2 2 2 2 2 2 2 7 7.99/8.08 c ---[ 152]---> Sorter-cost: 762 Base: 2 2 2 2 2 2 2 2 2 2 7 7.99/8.09 c ---[ 150]---> Sorter-cost: 756 Base: 2 2 2 2 2 2 2 2 2 2 7 7.99/8.09 c ---[ 148]---> Sorter-cost: 528 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.10 c ---[ 146]---> Sorter-cost: 1141 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.10 c ---[ 144]---> Sorter-cost: 1014 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.11 c ---[ 142]---> Sorter-cost: 959 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.11 c ---[ 140]---> Sorter-cost: 907 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.12 c ---[ 138]---> Sorter-cost: 992 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.12 c ---[ 136]---> Sorter-cost: 667 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.13 c ---[ 134]---> Sorter-cost: 965 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.13 c ---[ 132]---> Sorter-cost: 947 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.14 c ---[ 130]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.14 c ---[ 128]---> Sorter-cost: 1183 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.14 c ---[ 126]---> Sorter-cost: 401 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.15 c ---[ 124]---> Sorter-cost: 443 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.15 c ---[ 122]---> Sorter-cost: 444 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.15 c ---[ 120]---> Sorter-cost: 981 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.16 c ---[ 118]---> Sorter-cost: 1168 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.16 c ---[ 116]---> Sorter-cost: 1117 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.17 c ---[ 114]---> Adder-cost: 128 maxlim: 67584 bits: 18/17 8.09/8.18 c ---[ 112]---> Adder-cost: 112 maxlim: 62464 bits: 17/16 8.09/8.18 c ---[ 110]---> Sorter-cost: 632 Base: 2 2 2 2 2 2 2 2 2 2 7 8.09/8.19 c ---[ 108]---> Adder-cost: 152 maxlim: 76800 bits: 18/17 8.19/8.20 c ---[ 106]---> Sorter-cost: 1257 Base: 2 2 2 2 2 2 2 2 2 2 7 8.19/8.20 c ---[ 104]---> Sorter-cost: 445 Base: 2 2 2 2 2 2 2 2 2 2 7 8.19/8.21 c ---[ 102]---> Sorter-cost: 1236 Base: 2 2 2 2 2 2 2 2 2 2 7 8.19/8.21 c ---[ 100]---> Sorter-cost: 408 Base: 2 2 2 2 2 2 2 2 2 2 7 8.19/8.21 c ---[ 98]---> Sorter-cost: 401 Base: 2 2 2 2 2 2 2 2 2 2 7 8.19/8.22 c ---[ 96]---> Sorter-cost: 927 Base: 2 2 2 2 2 2 2 2 2 2 7 8.19/8.22 c ---[ 94]---> Sorter-cost: 315 Base: 2 2 2 2 2 2 2 2 2 2 2 8.19/8.22 c ---[ 92]---> Sorter-cost: 426 Base: 2 2 2 2 2 2 2 2 2 2 7 8.19/8.23 c ---[ 90]---> Sorter-cost: 656 Base: 2 2 2 2 2 2 2 2 2 2 7 8.19/8.23 c ---[ 88]---> Sorter-cost: 596 Base: 2 2 2 2 2 2 2 2 2 2 7 8.19/8.23 c ---[ 86]---> Sorter-cost: 476 Base: 2 2 2 2 2 2 2 2 2 2 7 8.19/8.24 c ---[ 84]---> Sorter-cost: 773 Base: 2 2 2 2 2 2 2 2 2 2 7 8.19/8.24 c ---[ 82]---> Sorter-cost: 407 Base: 2 2 2 2 2 2 2 2 2 2 7 8.19/8.24 c ---[ 80]---> Sorter-cost: 660 Base: 2 2 2 2 2 2 2 2 2 2 7 8.28/8.33 c ---[ 78]---> Sorter-cost: 588 Base: 2 2 2 2 2 2 2 2 2 2 7 8.28/8.34 c ---[ 76]---> Sorter-cost: 984 Base: 2 2 2 2 2 2 2 2 2 2 7 8.28/8.34 c ---[ 74]---> Sorter-cost: 657 Base: 2 2 2 2 2 2 2 2 2 2 7 8.28/8.34 c ---[ 72]---> Sorter-cost: 666 Base: 2 2 2 2 2 2 2 2 2 2 7 8.28/8.35 c ---[ 70]---> Sorter-cost: 969 Base: 2 2 2 2 2 2 2 2 2 2 7 8.28/8.35 c ---[ 68]---> Sorter-cost: 1305 Base: 2 2 2 2 2 2 2 2 2 2 7 8.28/8.36 c ---[ 66]---> Sorter-cost: 1049 Base: 2 2 2 2 2 2 2 2 2 2 7 8.28/8.36 c ---[ 64]---> Adder-cost: 100 maxlim: 55296 bits: 17/16 8.28/8.37 c ---[ 62]---> Adder-cost: 158 maxlim: 90112 bits: 18/17 8.28/8.38 c ---[ 60]---> Adder-cost: 150 maxlim: 81920 bits: 18/17 8.28/8.39 c ---[ 58]---> Sorter-cost: 599 Base: 2 2 2 2 2 2 2 2 2 2 7 8.28/8.39 c ---[ 56]---> Sorter-cost: 392 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.40 c ---[ 54]---> Sorter-cost: 370 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.40 c ---[ 52]---> Sorter-cost: 301 Base: 2 2 2 2 2 2 2 2 2 2 2 8.39/8.40 c ---[ 50]---> Sorter-cost: 399 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.40 c ---[ 48]---> Sorter-cost: 1076 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.41 c ---[ 46]---> Sorter-cost: 1115 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.41 c ---[ 44]---> Sorter-cost: 682 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.42 c ---[ 42]---> Sorter-cost: 902 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.42 c ---[ 40]---> Sorter-cost: 961 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.43 c ---[ 38]---> Sorter-cost: 1206 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.43 c ---[ 36]---> Sorter-cost: 1117 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.44 c ---[ 34]---> Sorter-cost: 1025 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.44 c ---[ 32]---> Sorter-cost: 933 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.45 c ---[ 30]---> Sorter-cost: 455 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.45 c ---[ 28]---> Sorter-cost: 1194 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.45 c ---[ 26]---> Sorter-cost: 1291 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.46 c ---[ 24]---> Sorter-cost: 1281 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.47 c ---[ 22]---> Adder-cost: 108 maxlim: 53248 bits: 17/16 8.39/8.47 c ---[ 20]---> Sorter-cost: 607 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.48 c ---[ 18]---> Adder-cost: 106 maxlim: 53248 bits: 17/16 8.39/8.48 c ---[ 16]---> Sorter-cost: 949 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.49 c ---[ 14]---> Sorter-cost: 1222 Base: 2 2 2 2 2 2 2 2 2 2 7 8.39/8.49 c ---[ 12]---> Adder-cost: 102 maxlim: 54272 bits: 17/16 8.49/8.50 c ---[ 10]---> Adder-cost: 112 maxlim: 59392 bits: 17/16 8.49/8.51 c ---[ 8]---> Sorter-cost: 568 Base: 2 2 2 2 2 2 2 2 2 2 7 8.49/8.51 c ---[ 6]---> Sorter-cost: 624 Base: 2 2 2 2 2 2 2 2 2 2 7 8.49/8.51 c ---[ 4]---> Sorter-cost: 547 Base: 2 2 2 2 2 2 2 2 2 2 7 8.49/8.52 c ---[ 2]---> Sorter-cost: 693 Base: 2 2 2 2 2 2 2 2 2 2 7 8.49/8.52 c ---[ 1]---> 1800.02/1800.30 c *** TERMINATED *** 1800.02/1800.30 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-4114289-1466545891/watcher-4114289-1466545891 -o /tmp/evaluation-result-4114289-1466545891/solver-4114289-1466545891 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466514726-11357 --watchdog 1960 minisatp HOME/instance-4114289-1466545891.opb pid=17213 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.02 2.14 2.12 4/176 17216 /proc/meminfo: memFree=30403336/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=6748 CPUtime=0 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 368 0 0 0 0 0 0 0 20 0 1 0 56638376 6909952 244 33554432000 4194304 5646918 140737142283632 140734999167352 4953072 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 1687 245 84 355 0 1328 0 [startup+0.100169 s] /proc/loadavg: 2.02 2.14 2.12 4/176 17216 /proc/meminfo: memFree=30403336/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=15988 CPUtime=0.09 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 2697 0 0 0 9 0 0 0 20 0 1 0 56638376 16371712 2448 33554432000 4194304 5646918 140737142283632 140734999167352 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 3997 2448 84 355 0 3638 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15988 [startup+0.20035 s] /proc/loadavg: 2.02 2.14 2.12 4/176 17216 /proc/meminfo: memFree=30403336/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=23580 CPUtime=0.19 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 4547 0 0 0 19 0 0 0 20 0 1 0 56638376 24145920 4038 33554432000 4194304 5646918 140737142283632 140734999167352 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 5895 4038 97 355 0 5536 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 23580 [startup+0.300321 s] /proc/loadavg: 2.02 2.14 2.12 4/176 17216 /proc/meminfo: memFree=30403336/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=25248 CPUtime=0.29 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 4890 0 0 0 29 0 0 0 20 0 1 0 56638376 25853952 4381 33554432000 4194304 5646918 140737142283632 140734999167352 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 6312 4381 97 355 0 5953 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25248 [startup+0.700258 s] /proc/loadavg: 2.02 2.14 2.12 4/176 17216 /proc/meminfo: memFree=30403336/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=35760 CPUtime=0.69 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 7608 0 0 0 68 1 0 0 20 0 1 0 56638376 36618240 6784 33554432000 4194304 5646918 140737142283632 140734999167352 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 8940 6786 97 355 0 8581 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35760 [startup+1.50027 s] /proc/loadavg: 2.02 2.14 2.12 3/177 17217 /proc/meminfo: memFree=30366152/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=55168 CPUtime=1.49 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 13895 0 0 0 147 2 0 0 20 0 1 0 56638376 56492032 11058 33554432000 4194304 5646918 140737142283632 140737142283000 4832091 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 13792 11058 154 355 0 13433 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 55168 [startup+3.10024 s] /proc/loadavg: 2.02 2.14 2.12 3/177 17217 /proc/meminfo: memFree=30358836/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=60240 CPUtime=3.09 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 15020 0 0 0 307 2 0 0 20 0 1 0 56638376 61685760 12183 33554432000 4194304 5646918 140737142283632 140737142282296 4817403 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 15060 12183 154 355 0 14701 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 60240 [startup+6.30027 s] /proc/loadavg: 2.02 2.14 2.11 3/177 17217 /proc/meminfo: memFree=30339376/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=77648 CPUtime=6.29 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 18371 0 0 0 626 3 0 0 20 0 1 0 56638376 79511552 16623 33554432000 4194304 5646918 140737142283632 140737142282296 4823326 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 19412 16623 154 355 0 19053 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 77648 [startup+12.7003 s] /proc/loadavg: 2.10 2.15 2.12 3/177 17217 /proc/meminfo: memFree=30143872/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=292324 CPUtime=12.69 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55910 0 0 0 1258 11 0 0 20 0 1 0 56638376 299339776 70270 33554432000 4194304 5646918 140737142283632 140737132512456 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 73081 70272 154 355 0 72722 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 292324 [startup+25.5003 s] /proc/loadavg: 2.07 2.14 2.12 3/177 17217 /proc/meminfo: memFree=30142600/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=25.49 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55916 0 0 0 2538 11 0 0 20 0 1 0 56638376 277876736 65003 33554432000 4194304 5646918 140737142283632 140737142282392 4831393 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65003 154 355 0 67482 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 271364 [startup+51.1003 s] /proc/loadavg: 2.12 2.15 2.12 3/177 17217 /proc/meminfo: memFree=30141980/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=51.08 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55916 0 0 0 5097 11 0 0 20 0 1 0 56638376 277876736 65003 33554432000 4194304 5646918 140737142283632 140737142282392 4824299 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65003 154 355 0 67482 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 271364 [startup+102.3 s] /proc/loadavg: 2.12 2.14 2.11 3/178 17229 /proc/meminfo: memFree=30136228/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=102.28 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55916 0 0 0 10217 11 0 0 20 0 1 0 56638376 277876736 65003 33554432000 4194304 5646918 140737142283632 140737142282392 4823232 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65003 154 355 0 67482 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 271364 [startup+162.3 s] /proc/loadavg: 2.12 2.14 2.11 4/177 17230 /proc/meminfo: memFree=30134616/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=162.27 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55916 0 0 0 16216 11 0 0 20 0 1 0 56638376 277876736 65003 33554432000 4194304 5646918 140737142283632 140737142282392 4831200 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65003 154 355 0 67482 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 271364 [startup+222.307 s] /proc/loadavg: 2.08 2.12 2.10 3/177 17231 /proc/meminfo: memFree=30133256/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=222.27 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55916 0 0 0 22216 11 0 0 20 0 1 0 56638376 277876736 65003 33554432000 4194304 5646918 140737142283632 140737142282392 4831241 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65003 154 355 0 67482 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 271364 [startup+282.3 s] /proc/loadavg: 2.03 2.10 2.09 3/177 17233 /proc/meminfo: memFree=30131524/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=282.25 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55916 0 0 0 28214 11 0 0 20 0 1 0 56638376 277876736 65003 33554432000 4194304 5646918 140737142283632 140737142282392 4823289 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65003 154 355 0 67482 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 271364 [startup+342.3 s] /proc/loadavg: 2.12 2.11 2.09 3/177 17234 /proc/meminfo: memFree=30129164/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=342.24 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55916 0 0 0 34213 11 0 0 20 0 1 0 56638376 277876736 65003 33554432000 4194304 5646918 140737142283632 140737142282392 4831206 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65003 154 355 0 67482 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 271364 [startup+402.3 s] /proc/loadavg: 2.04 2.09 2.09 3/177 17235 /proc/meminfo: memFree=30126808/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=402.23 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55916 0 0 0 40212 11 0 0 20 0 1 0 56638376 277876736 65003 33554432000 4194304 5646918 140737142283632 140737142282392 4565070 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65003 154 355 0 67482 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 271364 [startup+462.3 s] /proc/loadavg: 2.05 2.08 2.09 3/177 17236 /proc/meminfo: memFree=30038436/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=462.22 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55916 0 0 0 46211 11 0 0 20 0 1 0 56638376 277876736 65003 33554432000 4194304 5646918 140737142283632 140737142282392 4560700 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65003 154 355 0 67482 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 271364 [startup+522.3 s] /proc/loadavg: 2.02 2.06 2.08 3/178 17295 /proc/meminfo: memFree=30949288/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=522.21 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55919 0 0 0 52210 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4823258 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 271364 [startup+582.3 s] /proc/loadavg: 2.13 2.09 2.09 3/178 17320 /proc/meminfo: memFree=30947420/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=582.2 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55921 0 0 0 58209 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4831369 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 271364 ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.00 2.03 2.06 3/177 17327 /proc/meminfo: memFree=29981932/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=942.15 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55921 0 0 0 94204 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4459760 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 942.15 Current children cumulated vsize (KiB) 271364 [startup+1002.3 s] /proc/loadavg: 2.00 2.03 2.06 3/177 17328 /proc/meminfo: memFree=29939632/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=1002.14 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55921 0 0 0 100203 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4481378 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 1002.14 Current children cumulated vsize (KiB) 271364 [startup+1062.3 s] /proc/loadavg: 2.04 2.03 2.06 3/177 17329 /proc/meminfo: memFree=29869796/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=1062.13 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55921 0 0 0 106202 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4560669 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 1062.13 Current children cumulated vsize (KiB) 271364 [startup+1122.3 s] /proc/loadavg: 2.01 2.02 2.05 3/178 17333 /proc/meminfo: memFree=29829396/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=1122.12 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55921 0 0 0 112201 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4831277 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 1122.12 Current children cumulated vsize (KiB) 271364 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.05 3/177 17335 /proc/meminfo: memFree=29780512/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=1182.11 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55921 0 0 0 118200 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4565089 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 1182.11 Current children cumulated vsize (KiB) 271364 [startup+1242.3 s] /proc/loadavg: 2.07 2.04 2.05 3/177 17336 /proc/meminfo: memFree=29746876/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=1242.1 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55921 0 0 0 124199 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4823297 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 271364 [startup+1302.3 s] /proc/loadavg: 2.06 2.05 2.05 3/177 17337 /proc/meminfo: memFree=29697728/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=1302.09 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55921 0 0 0 130198 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4817409 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 271364 [startup+1362.3 s] /proc/loadavg: 2.02 2.03 2.05 4/177 17338 /proc/meminfo: memFree=29652452/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=1362.08 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55921 0 0 0 136197 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4817610 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 271364 [startup+1422.3 s] /proc/loadavg: 2.00 2.03 2.04 3/177 17339 /proc/meminfo: memFree=29611416/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=1422.08 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55921 0 0 0 142197 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4478640 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 271364 [startup+1482.3 s] /proc/loadavg: 2.04 2.03 2.04 3/177 17341 /proc/meminfo: memFree=29561744/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=1482.06 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55921 0 0 0 148195 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4823232 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 271364 [startup+1542.31 s] /proc/loadavg: 2.04 2.04 2.04 3/177 17342 /proc/meminfo: memFree=29495448/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=1542.06 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55921 0 0 0 154195 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4831277 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 271364 [startup+1602.3 s] /proc/loadavg: 2.13 2.06 2.04 3/177 17343 /proc/meminfo: memFree=29445308/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=1602.05 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55921 0 0 0 160194 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4817450 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 1602.05 Current children cumulated vsize (KiB) 271364 [startup+1662.3 s] /proc/loadavg: 2.05 2.05 2.04 3/177 17344 /proc/meminfo: memFree=29404848/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=1662.04 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55921 0 0 0 166193 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4817701 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 1662.04 Current children cumulated vsize (KiB) 271364 [startup+1722.3 s] /proc/loadavg: 2.07 2.05 2.04 3/178 17348 /proc/meminfo: memFree=29375112/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=1722.03 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55921 0 0 0 172192 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4817546 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 1722.03 Current children cumulated vsize (KiB) 271364 [startup+1782.3 s] /proc/loadavg: 2.18 2.09 2.05 3/177 17350 /proc/meminfo: memFree=29341860/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=1782.02 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55921 0 0 0 178191 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4817528 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 1782.02 Current children cumulated vsize (KiB) 271364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.14 2.08 2.05 3/177 17351 /proc/meminfo: memFree=29337872/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=1800.02 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55921 0 0 0 179991 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4817397 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 271364 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 17216 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.14 2.08 2.05 3/177 17351 /proc/meminfo: memFree=29337872/32872528 swapFree=682476/737664 [pid=17216] ppid=17213 vsize=271364 CPUtime=1800.02 cores=0,2,4,6 /proc/17216/stat : 17216 (minisatp) R 17213 17216 11341 0 -1 4202496 55921 0 0 0 179991 11 0 0 20 0 1 0 56638376 277876736 65573 33554432000 4194304 5646918 140737142283632 140737142282392 4817397 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/17216/statm: 67841 65573 154 355 0 67482 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 271364 Child status: 0 Real time (s): 1800.3 CPU time (s): 1800.02 CPU user time (s): 1799.91 CPU system time (s): 0.113982 CPU usage (%): 99.9846 Max. virtual memory (cumulated for all children) (KiB): 292456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.91 system time used= 0.113982 maximum resident set size= 281104 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55921 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= 6 involuntary context switches= 1980 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.75228 second user time and 6.73698 second system time The end
Begin job on node112 at 2016-06-21 23:51:31 IDJOB=4114289 IDBENCH=2361 IDSOLVER=2555 FILE ID=node112/4114289-1466545891 RUNJOBID= node112-1466514726-11357 PBS_JOBID= 19942877 Free space on /tmp= 71668 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-biella1.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114289-1466545891/watcher-4114289-1466545891 -o /tmp/evaluation-result-4114289-1466545891/solver-4114289-1466545891 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466514726-11357 --watchdog 1960 minisatp HOME/instance-4114289-1466545891.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8cf2f50dc2f979b0f0b07ffea6d1fd34 RANDOM SEED=2071446588 node112.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.734 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 : 5333.46 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.734 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.734 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 : 5321.48 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.734 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.734 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.734 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.734 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.734 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30404052 kB Buffers: 28096 kB Cached: 126388 kB SwapCached: 2472 kB Active: 932028 kB Inactive: 92908 kB Active(anon): 869932 kB Inactive(anon): 2724 kB Active(file): 62096 kB Inactive(file): 90184 kB Unevictable: 737664 kB Mlocked: 682476 kB SwapTotal: 67108856 kB SwapFree: 67097116 kB Dirty: 6640 kB Writeback: 0 kB AnonPages: 1598680 kB Mapped: 9300 kB Shmem: 0 kB Slab: 572436 kB SReclaimable: 16452 kB SUnreclaim: 555984 kB KernelStack: 1472 kB PageTables: 7488 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1732576 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 876544 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-4114289-1466545891.opb Free space on /tmp at the end= 71688 MiB End job on node112 at 2016-06-22 00:21:32