| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | ? (TO) | 1800.1 | 1800.41 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-cycle.opb |
| MD5SUM | 761eaefb829e7d3bf060fd5b86600997 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -2 |
| Optimality of the best value was proved | NO |
| Number of variables | 84737 |
| Total number of constraints | 1802 |
| 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 | 1802 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 1470 |
| Number of terms in the objective function | 9240 |
| Biggest coefficient in the objective function | 16197 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 531823 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 531823 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 3.19/3.29 c Converting 2650 PB-constraints to clauses... 3.19/3.30 c -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 4.69/4.72 c -- Detecting intervals from adjacent constraints: ############################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################## 4.69/4.76 c -- Clauses(.)/Splits(s): sssssssssssssssss 4.69/4.76 c ---[2665]---> BDD-cost: 15 4.69/4.76 c ---[2664]---> BDD-cost: 16 4.69/4.76 c ---[2661]---> BDD-cost: 13 4.69/4.76 c ---[2658]---> BDD-cost: 13 4.69/4.76 c ---[2657]---> BDD-cost: 13 4.69/4.76 c ---[2653]---> BDD-cost: 13 4.69/4.76 c ---[2652]---> BDD-cost: 13 4.69/4.76 c ---[2648]---> BDD-cost: 13 4.69/4.76 c ---[2647]---> BDD-cost: 13 4.69/4.76 c ---[2640]---> BDD-cost: 17 4.69/4.76 c ---[2639]---> BDD-cost: 17 4.69/4.76 c ---[2635]---> BDD-cost: 13 4.69/4.76 c ---[2634]---> BDD-cost: 13 4.69/4.76 c ---[2632]---> BDD-cost: 13 4.69/4.76 c ---[2631]---> BDD-cost: 13 4.69/4.76 c ---[2627]---> BDD-cost: 13 4.69/4.76 c ---[2626]---> BDD-cost: 13 4.69/4.76 c ---[2623]---> BDD-cost: 15 4.69/4.76 c ---[2622]---> BDD-cost: 14 4.69/4.76 c ---[2621]---> BDD-cost: 21 4.69/4.76 c ---[2620]---> BDD-cost: 28 4.69/4.76 c ---[2619]---> BDD-cost: 16 4.69/4.76 c ---[2618]---> BDD-cost: 13 4.69/4.76 c ---[2617]---> BDD-cost: 17 4.69/4.76 c ---[2616]---> BDD-cost: 16 4.69/4.76 c ---[2615]---> BDD-cost: 14 4.69/4.76 c ---[2614]---> BDD-cost: 14 4.69/4.76 c ---[2613]---> BDD-cost: 19 4.69/4.76 c ---[2612]---> BDD-cost: 20 4.69/4.76 c ---[2611]---> BDD-cost: 19 4.69/4.76 c ---[2610]---> BDD-cost: 17 4.69/4.76 c ---[2609]---> BDD-cost: 12 4.69/4.76 c ---[2608]---> BDD-cost: 10 4.69/4.76 c ---[2606]---> BDD-cost: 18 4.69/4.76 c ---[2605]---> BDD-cost: 16 4.69/4.76 c ---[2604]---> BDD-cost: 13 4.69/4.76 c ---[2603]---> BDD-cost: 15 4.69/4.76 c ---[2601]---> BDD-cost: 16 4.69/4.76 c ---[2600]---> BDD-cost: 32 4.69/4.76 c ---[2599]---> BDD-cost: 17 4.69/4.76 c ---[2598]---> BDD-cost: 14 4.69/4.76 c ---[2597]---> BDD-cost: 15 4.69/4.77 c ---[2596]---> BDD-cost: 15 4.69/4.77 c ---[2593]---> BDD-cost: 16 4.69/4.77 c ---[2591]---> BDD-cost: 17 4.69/4.77 c ---[2590]---> BDD-cost: 16 4.69/4.77 c ---[2588]---> Sorter-cost: 585 Base: 2 2 2 2 2 2 2 4.69/4.77 c ---[2586]---> Adder-cost: 153 maxlim: 522 bits: 11/10 4.69/4.77 c ---[2584]---> Sorter-cost: 600 Base: 2 2 2 2 2 2 2 2 4.69/4.77 c ---[2582]---> Sorter-cost: 600 Base: 2 2 2 2 2 2 2 2 4.69/4.77 c ---[2580]---> Sorter-cost: 600 Base: 2 2 2 2 2 2 2 2 4.69/4.78 c ---[2578]---> Adder-cost: 58 maxlim: 42 bits: 7/6 4.69/4.78 c ---[2576]---> Sorter-cost: 555 Base: 2 2 2 2 2 4.69/4.78 c ---[2574]---> Sorter-cost: 522 Base: 2 2 2 2 2 2 4.69/4.78 c ---[2572]---> Sorter-cost: 554 Base: 2 2 2 2 2 4.69/4.78 c ---[2570]---> Sorter-cost: 512 Base: 2 2 2 2 2 2 4.69/4.78 c ---[2568]---> Sorter-cost: 537 Base: 2 2 2 2 2 2 2 4.69/4.78 c ---[2566]---> Sorter-cost: 600 Base: 2 2 2 2 2 2 2 2 4.69/4.78 c ---[2564]---> Sorter-cost: 542 Base: 2 2 2 2 2 2 2 2 4.69/4.79 c ---[2562]---> Sorter-cost: 552 Base: 2 2 2 2 2 2 2 2 4.69/4.79 c ---[2560]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 4.69/4.79 c ---[2558]---> Sorter-cost: 1133 Base: 2 2 2 2 2 2 2 4.69/4.79 c ---[2556]---> Sorter-cost: 552 Base: 2 2 2 2 2 2 2 2 4.69/4.79 c ---[2554]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 2 2 4.69/4.79 c ---[2552]---> Adder-cost: 228 maxlim: 14 bits: 5/4 4.79/4.80 c ---[2550]---> Adder-cost: 99 maxlim: 138 bits: 9/8 4.79/4.80 c ---[2548]---> Sorter-cost: 585 Base: 2 2 2 2 2 2 2 4.79/4.80 c ---[2546]---> Sorter-cost: 585 Base: 2 2 2 2 2 2 2 4.79/4.80 c ---[2544]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 4.79/4.80 c ---[2542]---> Sorter-cost: 537 Base: 2 2 2 2 2 2 2 4.79/4.80 c ---[2540]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 4.79/4.81 c ---[2538]---> Sorter-cost: 537 Base: 2 2 2 2 2 2 2 4.79/4.81 c ---[2536]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 4.79/4.81 c ---[2534]---> Sorter-cost: 537 Base: 2 2 2 2 2 2 2 4.79/4.81 c ---[2532]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 4.79/4.81 c ---[2530]---> Sorter-cost: 537 Base: 2 2 2 2 2 2 2 4.79/4.81 c ---[2528]---> Adder-cost: 237 maxlim: 16 bits: 6/5 4.79/4.81 c ---[2526]---> Adder-cost: 99 maxlim: 138 bits: 9/8 4.79/4.82 c ---[2524]---> Sorter-cost: 585 Base: 2 2 2 2 2 2 2 4.79/4.82 c ---[2522]---> Sorter-cost: 585 Base: 2 2 2 2 2 2 2 4.79/4.82 c ---[2520]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 4.79/4.82 c ---[2518]---> Sorter-cost: 537 Base: 2 2 2 2 2 2 2 4.79/4.82 c ---[2516]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 4.79/4.82 c ---[2514]---> Sorter-cost: 537 Base: 2 2 2 2 2 2 2 4.79/4.83 c ---[2512]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 4.79/4.83 c ---[2510]---> Sorter-cost: 537 Base: 2 2 2 2 2 2 2 4.79/4.83 c ---[2508]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 4.79/4.83 c ---[2506]---> Sorter-cost: 537 Base: 2 2 2 2 2 2 2 4.79/4.83 c ---[2504]---> Adder-cost: 256 maxlim: 206 bits: 9/8 4.79/4.84 c ---[2502]---> Adder-cost: 350 maxlim: 246 bits: 9/8 4.79/4.84 c ---[2500]---> Adder-cost: 258 maxlim: 199 bits: 9/8 4.79/4.85 c ---[2498]---> Adder-cost: 533 maxlim: 383 bits: 10/9 4.79/4.86 c ---[2496]---> Adder-cost: 364 maxlim: 282 bits: 10/9 4.79/4.86 c ---[2494]---> Adder-cost: 634 maxlim: 556 bits: 11/10 4.79/4.87 c ---[2492]---> Adder-cost: 326 maxlim: 183 bits: 9/8 4.79/4.88 c ---[2490]---> Adder-cost: 440 maxlim: 230 bits: 9/8 4.79/4.89 c ---[2488]---> Adder-cost: 342 maxlim: 167 bits: 9/8 4.89/4.90 c ---[2486]---> Adder-cost: 537 maxlim: 322 bits: 10/9 4.89/4.91 c ---[2484]---> Adder-cost: 416 maxlim: 234 bits: 9/8 4.89/4.91 c ---[2482]---> Adder-cost: 628 maxlim: 453 bits: 10/9 4.89/4.93 c ---[2480]---> Adder-cost: 163 maxlim: 30 bits: 6/5 4.89/4.93 c ---[2478]---> Adder-cost: 264 maxlim: 28 bits: 6/5 4.89/4.93 c ---[2476]---> Adder-cost: 161 maxlim: 30 bits: 6/5 4.89/4.93 c ---[2474]---> Adder-cost: 364 maxlim: 115 bits: 8/7 4.89/4.94 c ---[2472]---> Adder-cost: 163 maxlim: 30 bits: 6/5 4.89/4.94 c ---[2470]---> Adder-cost: 438 maxlim: 135 bits: 9/8 4.89/4.95 c ---[2468]---> Sorter-cost: 794 Base: 2 2 2 2 2 2 4.89/4.95 c ---[2458]---> Adder-cost: 425 maxlim: 86 bits: 8/7 4.89/4.96 c ---[2454]---> Adder-cost: 412 maxlim: 106 bits: 8/7 4.89/4.97 c ---[2452]---> Adder-cost: 453 maxlim: 106 bits: 8/7 4.89/4.97 c ---[2450]---> Adder-cost: 367 maxlim: 104 bits: 8/7 4.89/4.98 c ---[2448]---> Adder-cost: 459 maxlim: 105 bits: 8/7 4.89/4.99 c ---[2446]---> Adder-cost: 387 maxlim: 105 bits: 8/7 4.89/4.99 c ---[2444]---> Adder-cost: 449 maxlim: 93 bits: 8/7 4.99/5.00 c ---[2440]---> Adder-cost: 451 maxlim: 81 bits: 8/7 4.99/5.01 c ---[2438]---> Adder-cost: 451 maxlim: 77 bits: 8/7 4.99/5.02 c ---[2436]---> Adder-cost: 341 maxlim: 81 bits: 8/7 4.99/5.02 c ---[2434]---> Adder-cost: 385 maxlim: 129 bits: 9/8 4.99/5.03 c ---[2430]---> Adder-cost: 389 maxlim: 92 bits: 8/7 4.99/5.04 c ---[2426]---> Adder-cost: 411 maxlim: 161 bits: 9/8 4.99/5.05 c ---[2424]---> Adder-cost: 355 maxlim: 68 bits: 8/7 4.99/5.05 c ---[2422]---> Adder-cost: 345 maxlim: 69 bits: 8/7 4.99/5.06 c ---[2414]---> Adder-cost: 405 maxlim: 145 bits: 9/8 4.99/5.07 c ---[2412]---> Adder-cost: 268 maxlim: 38 bits: 7/6 4.99/5.07 c ---[2410]---> Adder-cost: 268 maxlim: 38 bits: 7/6 4.99/5.07 c ---[2408]---> Adder-cost: 270 maxlim: 38 bits: 7/6 4.99/5.08 c ---[2406]---> Adder-cost: 266 maxlim: 38 bits: 7/6 4.99/5.08 c ---[2404]---> Adder-cost: 270 maxlim: 38 bits: 7/6 4.99/5.09 c ---[2402]---> Adder-cost: 266 maxlim: 38 bits: 7/6 4.99/5.09 c ---[2398]---> Adder-cost: 239 maxlim: 78 bits: 8/7 4.99/5.09 c ---[2394]---> Adder-cost: 321 maxlim: 163 bits: 9/8 5.09/5.10 c ---[2392]---> Adder-cost: 165 maxlim: 24 bits: 6/5 5.09/5.10 c ---[2390]---> Adder-cost: 435 maxlim: 350 bits: 10/9 5.09/5.11 c ---[2388]---> Adder-cost: 316 maxlim: 28 bits: 6/5 5.09/5.12 c ---[2386]---> Adder-cost: 316 maxlim: 28 bits: 6/5 5.09/5.12 c ---[2384]---> Adder-cost: 316 maxlim: 28 bits: 6/5 5.09/5.13 c ---[2382]---> Adder-cost: 316 maxlim: 28 bits: 6/5 5.09/5.13 c ---[2380]---> Adder-cost: 316 maxlim: 28 bits: 6/5 5.09/5.13 c ---[2378]---> Adder-cost: 316 maxlim: 28 bits: 6/5 5.09/5.14 c ---[2376]---> Adder-cost: 324 maxlim: 35 bits: 7/6 5.09/5.14 c ---[2374]---> Adder-cost: 324 maxlim: 35 bits: 7/6 5.09/5.15 c ---[2372]---> Adder-cost: 324 maxlim: 35 bits: 7/6 5.09/5.15 c ---[2370]---> Adder-cost: 324 maxlim: 35 bits: 7/6 5.09/5.16 c ---[2368]---> Adder-cost: 324 maxlim: 35 bits: 7/6 5.09/5.16 c ---[2366]---> Adder-cost: 324 maxlim: 35 bits: 7/6 5.09/5.16 c ---[2364]---> Adder-cost: 341 maxlim: 36 bits: 7/6 5.09/5.17 c ---[2362]---> Adder-cost: 341 maxlim: 36 bits: 7/6 5.09/5.17 c ---[2360]---> Adder-cost: 388 maxlim: 36 bits: 7/6 5.09/5.18 c ---[2358]---> Adder-cost: 312 maxlim: 22 bits: 6/5 5.09/5.18 c ---[2356]---> Adder-cost: 331 maxlim: 101 bits: 8/7 5.09/5.19 c ---[2354]---> Adder-cost: 340 maxlim: 53 bits: 7/6 5.09/5.20 c ---[2352]---> Adder-cost: 357 maxlim: 24 bits: 6/5 5.19/5.20 c ---[2350]---> Adder-cost: 396 maxlim: 44 bits: 7/6 5.19/5.21 c ---[2348]---> Sorter-cost: 1218 Base: 5 5 2 5.19/5.21 c ---[2346]---> Sorter-cost: 1285 Base: 3 3 5 5.19/5.21 c ---[2344]---> Adder-cost: 350 maxlim: 53 bits: 7/6 5.19/5.22 c ---[2342]---> Adder-cost: 348 maxlim: 51 bits: 7/6 5.19/5.22 c ---[2340]---> Adder-cost: 239 maxlim: 21 bits: 6/5 5.19/5.22 c ---[2338]---> Adder-cost: 235 maxlim: 19 bits: 6/5 5.19/5.23 c ---[2336]---> Adder-cost: 250 maxlim: 25 bits: 6/5 5.19/5.23 c ---[2334]---> Adder-cost: 312 maxlim: 46 bits: 7/6 5.19/5.23 c ---[2332]---> Adder-cost: 226 maxlim: 34 bits: 7/6 5.19/5.24 c ---[2330]---> Adder-cost: 263 maxlim: 26 bits: 6/5 5.19/5.24 c ---[2328]---> Adder-cost: 342 maxlim: 53 bits: 7/6 5.19/5.25 c ---[2326]---> Adder-cost: 282 maxlim: 51 bits: 7/6 5.19/5.25 c ---[2322]---> Adder-cost: 287 maxlim: 85 bits: 8/7 5.19/5.26 c ---[2320]---> Sorter-cost: 986 Base: 3 3 5.19/5.26 c ---[2314]---> Sorter-cost: 1063 Base: 7 2 2 2 5.19/5.26 c ---[2312]---> Adder-cost: 314 maxlim: 34 bits: 7/6 5.19/5.26 c ---[2306]---> Adder-cost: 348 maxlim: 51 bits: 7/6 5.19/5.27 c ---[2304]---> Adder-cost: 74 maxlim: 139 bits: 8/8 5.19/5.27 c ---[2302]---> Adder-cost: 74 maxlim: 139 bits: 8/8 5.19/5.27 c ---[2300]---> Adder-cost: 74 maxlim: 139 bits: 8/8 5.19/5.27 c ---[2298]---> Adder-cost: 128 maxlim: 87 bits: 7/7 5.19/5.28 c ---[2296]---> Adder-cost: 140 maxlim: 212 bits: 9/8 5.19/5.28 c ---[2294]---> Adder-cost: 140 maxlim: 212 bits: 9/8 5.19/5.28 c ---[2292]---> Adder-cost: 140 maxlim: 212 bits: 9/8 5.19/5.28 c ---[2290]---> Sorter-cost: 1844 Base: 3 7 2 5.19/5.29 c ---[2288]---> Sorter-cost: 1844 Base: 3 7 2 5.19/5.29 c ---[2286]---> Sorter-cost: 1844 Base: 3 7 2 5.19/5.29 c ---[2284]---> Adder-cost: 70 maxlim: 21 bits: 6/5 5.19/5.30 c ---[2282]---> Adder-cost: 294 maxlim: 170 bits: 9/8 5.29/5.30 c ---[2280]---> Adder-cost: 739 maxlim: 12466 bits: 15/14 5.29/5.37 c ---[2278]---> Adder-cost: 412 maxlim: 10623 bits: 15/14 5.39/5.40 c ---[2276]---> Adder-cost: 930 maxlim: 10514 bits: 15/14 5.39/5.48 c ---[2274]---> Adder-cost: 548 maxlim: 10564 bits: 15/14 5.49/5.51 c ---[2272]---> Adder-cost: 111 maxlim: 117 bits: 8/7 5.49/5.51 c ---[2270]---> Adder-cost: 886 maxlim: 10673 bits: 15/14 5.49/5.58 c ---[2268]---> Adder-cost: 132 maxlim: 69 bits: 8/7 5.49/5.59 c ---[2266]---> Adder-cost: 324 maxlim: 173 bits: 9/8 5.49/5.59 c ---[2264]---> Adder-cost: 664 maxlim: 370 bits: 10/9 5.49/5.60 c ---[2262]---> Adder-cost: 310 maxlim: 162 bits: 9/8 5.59/5.60 c ---[2260]---> Adder-cost: 710 maxlim: 414 bits: 10/9 5.59/5.62 c ---[2258]---> Adder-cost: 398 maxlim: 209 bits: 9/8 5.59/5.62 c ---[2256]---> Adder-cost: 158 maxlim: 69 bits: 8/7 5.59/5.62 c ---[2254]---> Adder-cost: 923 maxlim: 486 bits: 10/9 5.59/5.64 c ---[2252]---> Adder-cost: 351 maxlim: 86 bits: 8/7 5.59/5.65 c ---[2250]---> Adder-cost: 631 maxlim: 207 bits: 9/8 5.59/5.66 c ---[2248]---> Adder-cost: 901 maxlim: 361 bits: 10/9 5.59/5.67 c ---[2246]---> Adder-cost: 614 maxlim: 185 bits: 9/8 5.59/5.68 c ---[2244]---> Adder-cost: 937 maxlim: 379 bits: 10/9 5.59/5.69 c ---[2242]---> Adder-cost: 625 maxlim: 230 bits: 9/8 5.69/5.70 c ---[2240]---> Adder-cost: 394 maxlim: 108 bits: 8/7 5.69/5.71 c ---[2238]---> Adder-cost: 1048 maxlim: 519 bits: 11/10 5.69/5.73 c ---[2236]---> Adder-cost: 330 maxlim: 100 bits: 8/7 5.69/5.73 c ---[2234]---> Adder-cost: 592 maxlim: 242 bits: 9/8 5.69/5.74 c ---[2232]---> Adder-cost: 893 maxlim: 438 bits: 10/9 5.69/5.76 c ---[2230]---> Adder-cost: 564 maxlim: 238 bits: 9/8 5.69/5.77 c ---[2228]---> Adder-cost: 994 maxlim: 474 bits: 10/9 5.69/5.78 c ---[2226]---> Adder-cost: 636 maxlim: 302 bits: 10/9 5.69/5.79 c ---[2224]---> Adder-cost: 347 maxlim: 121 bits: 8/7 5.79/5.80 c ---[2222]---> Adder-cost: 998 maxlim: 550 bits: 11/10 5.79/5.82 c ---[2220]---> Adder-cost: 268 maxlim: 14 bits: 5/4 5.79/5.82 c ---[2218]---> Adder-cost: 302 maxlim: 85 bits: 8/7 5.79/5.83 c ---[2216]---> Adder-cost: 612 maxlim: 220 bits: 9/8 5.79/5.84 c ---[2214]---> Adder-cost: 889 maxlim: 374 bits: 10/9 5.79/5.85 c ---[2212]---> Adder-cost: 644 maxlim: 218 bits: 9/8 5.79/5.86 c ---[2210]---> Adder-cost: 1032 maxlim: 519 bits: 11/10 5.79/5.88 c ---[2208]---> Adder-cost: 716 maxlim: 286 bits: 10/9 5.79/5.89 c ---[2206]---> Adder-cost: 235 maxlim: 44 bits: 7/6 5.79/5.89 c ---[2204]---> Adder-cost: 1030 maxlim: 475 bits: 10/9 5.89/5.91 c ---[2202]---> Adder-cost: 268 maxlim: 13 bits: 5/4 5.89/5.92 c ---[2200]---> Sorter-cost: 1540 Base: 5 3 2 5.89/5.92 c ---[2198]---> Sorter-cost: 1540 Base: 5 3 2 5.89/5.92 c ---[2196]---> Sorter-cost: 1540 Base: 5 3 2 5.89/5.92 c ---[2194]---> Adder-cost: 134 maxlim: 55 bits: 7/6 5.89/5.93 c ---[2192]---> Adder-cost: 134 maxlim: 55 bits: 7/6 5.89/5.93 c ---[2190]---> Adder-cost: 134 maxlim: 55 bits: 7/6 5.89/5.93 c ---[2188]---> Adder-cost: 134 maxlim: 55 bits: 7/6 5.89/5.93 c ---[2186]---> Adder-cost: 134 maxlim: 55 bits: 7/6 5.89/5.93 c ---[2184]---> Adder-cost: 52 maxlim: 42 bits: 6/6 5.89/5.93 c ---[2182]---> Adder-cost: 100 maxlim: 532 bits: 10/10 5.89/5.94 c ---[2180]---> Adder-cost: 100 maxlim: 532 bits: 10/10 5.89/5.94 c ---[2178]---> Adder-cost: 100 maxlim: 532 bits: 10/10 5.89/5.94 c ---[2176]---> Adder-cost: 100 maxlim: 532 bits: 10/10 5.89/5.95 c ---[2174]---> Adder-cost: 100 maxlim: 532 bits: 10/10 5.89/5.95 c ---[2172]---> Adder-cost: 100 maxlim: 532 bits: 10/10 5.89/5.95 c ---[2168]---> Adder-cost: 100 maxlim: 532 bits: 10/10 5.89/5.95 c ---[2166]---> Adder-cost: 252 maxlim: 539 bits: 10/10 5.89/5.96 c ---[2164]---> Adder-cost: 162 maxlim: 304 bits: 10/9 5.89/5.97 c ---[2162]---> Adder-cost: 588 maxlim: 491 bits: 10/9 5.89/5.99 c ---[2160]---> Adder-cost: 900 maxlim: 715 bits: 10/10 5.99/6.04 c ---[2158]---> Adder-cost: 658 maxlim: 451 bits: 9/9 5.99/6.06 c ---[2156]---> Adder-cost: 792 maxlim: 637 bits: 10/10 6.09/6.10 c ---[2154]---> Adder-cost: 724 maxlim: 570 bits: 10/10 6.09/6.13 c ---[2150]---> Adder-cost: 810 maxlim: 735 bits: 10/10 6.09/6.17 c ---[2148]---> Adder-cost: 130 maxlim: 294 bits: 10/9 6.09/6.18 c ---[2146]---> Adder-cost: 527 maxlim: 487 bits: 10/9 6.09/6.19 c ---[2144]---> Adder-cost: 824 maxlim: 717 bits: 11/10 6.19/6.20 c ---[2142]---> Adder-cost: 603 maxlim: 457 bits: 10/9 6.19/6.21 c ---[2140]---> Adder-cost: 682 maxlim: 644 bits: 11/10 6.19/6.22 c ---[2138]---> Adder-cost: 660 maxlim: 575 bits: 11/10 6.19/6.24 c ---[2134]---> Adder-cost: 718 maxlim: 743 bits: 11/10 6.19/6.25 c ---[2132]---> Adder-cost: 94 maxlim: 275 bits: 9/9 6.19/6.25 c ---[2130]---> Adder-cost: 94 maxlim: 275 bits: 9/9 6.19/6.26 c ---[2128]---> Adder-cost: 94 maxlim: 275 bits: 9/9 6.19/6.26 c ---[2126]---> Adder-cost: 94 maxlim: 275 bits: 9/9 6.19/6.26 c ---[2124]---> Adder-cost: 94 maxlim: 275 bits: 9/9 6.19/6.26 c ---[2122]---> Adder-cost: 94 maxlim: 275 bits: 9/9 6.19/6.26 c ---[2118]---> Adder-cost: 94 maxlim: 275 bits: 9/9 6.19/6.27 c ---[2116]---> Adder-cost: 228 maxlim: 315 bits: 9/9 6.19/6.28 c ---[2114]---> Adder-cost: 154 maxlim: 304 bits: 9/9 6.19/6.28 c ---[2112]---> Adder-cost: 578 maxlim: 466 bits: 9/9 6.29/6.30 c ---[2110]---> Adder-cost: 908 maxlim: 698 bits: 10/10 6.29/6.35 c ---[2108]---> Adder-cost: 662 maxlim: 451 bits: 9/9 6.29/6.38 c ---[2106]---> Adder-cost: 822 maxlim: 637 bits: 10/10 6.39/6.42 c ---[2104]---> Adder-cost: 690 maxlim: 570 bits: 10/10 6.39/6.45 c ---[2100]---> Adder-cost: 820 maxlim: 695 bits: 10/10 6.39/6.49 c ---[2098]---> Adder-cost: 122 maxlim: 294 bits: 9/9 6.39/6.49 c ---[2096]---> Adder-cost: 478 maxlim: 460 bits: 9/9 6.49/6.51 c ---[2094]---> Adder-cost: 712 maxlim: 698 bits: 10/10 6.49/6.56 c ---[2092]---> Adder-cost: 536 maxlim: 457 bits: 9/9 6.49/6.59 c ---[2090]---> Adder-cost: 638 maxlim: 644 bits: 10/10 6.59/6.63 c ---[2088]---> Adder-cost: 582 maxlim: 575 bits: 10/10 6.59/6.66 c ---[2084]---> Adder-cost: 546 maxlim: 706 bits: 10/10 6.59/6.70 c ---[2082]---> Adder-cost: 186 maxlim: 310 bits: 9/9 6.69/6.71 c ---[2080]---> Adder-cost: 438 maxlim: 384 bits: 10/9 6.69/6.72 c ---[2078]---> Adder-cost: 576 maxlim: 431 bits: 10/9 6.69/6.74 c ---[2076]---> Adder-cost: 442 maxlim: 380 bits: 10/9 6.69/6.76 c ---[2074]---> Adder-cost: 622 maxlim: 494 bits: 10/9 6.69/6.79 c ---[2072]---> Adder-cost: 454 maxlim: 373 bits: 10/9 6.78/6.81 c ---[2070]---> Adder-cost: 142 maxlim: 275 bits: 9/9 6.78/6.81 c ---[2068]---> Adder-cost: 666 maxlim: 485 bits: 10/9 6.78/6.85 c ---[2066]---> Adder-cost: 308 maxlim: 360 bits: 9/9 6.78/6.86 c ---[2064]---> Adder-cost: 192 maxlim: 303 bits: 9/9 6.78/6.86 c ---[2062]---> Adder-cost: 600 maxlim: 534 bits: 10/10 6.78/6.89 c ---[2060]---> Adder-cost: 934 maxlim: 734 bits: 10/10 6.88/6.96 c ---[2058]---> Adder-cost: 742 maxlim: 541 bits: 10/10 6.98/7.00 c ---[2056]---> Adder-cost: 1132 maxlim: 818 bits: 10/10 6.98/7.08 c ---[2054]---> Adder-cost: 766 maxlim: 596 bits: 10/10 7.08/7.12 c ---[2052]---> Adder-cost: 166 maxlim: 110 bits: 8/7 7.08/7.13 c ---[2050]---> Adder-cost: 1152 maxlim: 910 bits: 10/10 7.18/7.21 c ---[2048]---> Adder-cost: 176 maxlim: 189 bits: 9/8 7.18/7.22 c ---[2046]---> Adder-cost: 418 maxlim: 274 bits: 9/9 7.18/7.23 c ---[2044]---> Adder-cost: 592 maxlim: 431 bits: 10/9 7.18/7.26 c ---[2042]---> Adder-cost: 426 maxlim: 271 bits: 9/9 7.18/7.27 c ---[2040]---> Adder-cost: 634 maxlim: 394 bits: 9/9 7.28/7.30 c ---[2038]---> Adder-cost: 444 maxlim: 375 bits: 9/9 7.28/7.32 c ---[2036]---> Adder-cost: 128 maxlim: 155 bits: 8/8 7.28/7.32 c ---[2034]---> Adder-cost: 708 maxlim: 486 bits: 10/9 7.28/7.36 c ---[2032]---> Adder-cost: 268 maxlim: 232 bits: 8/8 7.28/7.36 c ---[2030]---> Adder-cost: 184 maxlim: 303 bits: 9/9 7.28/7.37 c ---[2028]---> Adder-cost: 592 maxlim: 534 bits: 10/10 7.38/7.40 c ---[2026]---> Adder-cost: 946 maxlim: 734 bits: 10/10 7.38/7.47 c ---[2024]---> Adder-cost: 726 maxlim: 541 bits: 10/10 7.48/7.51 c ---[2022]---> Adder-cost: 1136 maxlim: 825 bits: 10/10 7.48/7.59 c ---[2020]---> Adder-cost: 806 maxlim: 650 bits: 10/10 7.58/7.63 c ---[2018]---> Adder-cost: 168 maxlim: 149 bits: 8/8 7.58/7.64 c ---[2016]---> Adder-cost: 1162 maxlim: 952 bits: 10/10 7.69/7.73 c ---[2014]---> Adder-cost: 100 maxlim: 532 bits: 10/10 7.69/7.73 c ---[2012]---> Adder-cost: 116 maxlim: 2070 bits: 12/12 7.69/7.73 c ---[2010]---> Adder-cost: 172 maxlim: 262173 bits: 19/19 7.69/7.74 c ---[2008]---> Adder-cost: 178 maxlim: 262173 bits: 20/19 7.69/7.75 c ---[2006]---> Adder-cost: 172 maxlim: 262173 bits: 19/19 7.69/7.75 c ---[2004]---> Adder-cost: 172 maxlim: 262173 bits: 19/19 7.69/7.76 c ---[2002]---> Adder-cost: 116 maxlim: 2070 bits: 12/12 7.69/7.76 c ---[2000]---> Adder-cost: 172 maxlim: 262173 bits: 19/19 7.69/7.77 c ---[1998]---> Adder-cost: 70 maxlim: 48 bits: 7/6 7.69/7.77 c ---[1996]---> Adder-cost: 116 maxlim: 2070 bits: 12/12 7.69/7.78 c ---[1994]---> Adder-cost: 178 maxlim: 262173 bits: 20/19 7.69/7.78 c ---[1992]---> Adder-cost: 178 maxlim: 262173 bits: 20/19 7.69/7.79 c ---[1990]---> Adder-cost: 178 maxlim: 262173 bits: 20/19 7.69/7.80 c ---[1988]---> Adder-cost: 178 maxlim: 262173 bits: 20/19 7.79/7.81 c ---[1986]---> Adder-cost: 100 maxlim: 532 bits: 10/10 7.79/7.81 c ---[1984]---> Adder-cost: 178 maxlim: 262173 bits: 20/19 7.79/7.82 c ---[1982]---> Adder-cost: 350 maxlim: 257 bits: 9/9 7.79/7.82 c ---[1980]---> Adder-cost: 786 maxlim: 870 bits: 11/10 7.79/7.84 c ---[1978]---> Adder-cost: 1374 maxlim: 66422 bits: 17/17 8.19/8.20 c ---[1976]---> Adder-cost: 1270 maxlim: 68926 bits: 17/17 8.49/8.58 c ---[1974]---> Adder-cost: 1446 maxlim: 70515 bits: 17/17 8.99/9.01 c ---[1972]---> Adder-cost: 1314 maxlim: 69112 bits: 17/17 9.39/9.40 c ---[1970]---> Adder-cost: 494 maxlim: 706 bits: 11/10 9.39/9.42 c ---[1968]---> Adder-cost: 1530 maxlim: 66896 bits: 17/17 9.69/9.77 c ---[1966]---> Adder-cost: 330 maxlim: 314 bits: 10/9 9.69/9.78 c ---[1964]---> Adder-cost: 694 maxlim: 1041 bits: 12/11 9.79/9.80 c ---[1962]---> Adder-cost: 1012 maxlim: 38993 bits: 17/16 9.79/9.87 c ---[1960]---> Adder-cost: 988 maxlim: 37289 bits: 17/16 9.90/9.95 c ---[1958]---> Adder-cost: 1076 maxlim: 39453 bits: 17/16 10.00/10.04 c ---[1956]---> Adder-cost: 978 maxlim: 37504 bits: 17/16 10.09/10.15 c ---[1954]---> Adder-cost: 486 maxlim: 631 bits: 11/10 10.09/10.16 c ---[1952]---> Adder-cost: 1174 maxlim: 39630 bits: 17/16 10.19/10.28 c ---[1950]---> Adder-cost: 230 maxlim: 852 bits: 11/10 10.19/10.29 c ---[1948]---> Adder-cost: 428 maxlim: 6590 bits: 14/13 10.29/10.31 c ---[1946]---> Adder-cost: 743 maxlim: 118004 bits: 18/17 10.39/10.40 c ---[1944]---> Adder-cost: 743 maxlim: 118004 bits: 18/17 10.49/10.50 c ---[1942]---> Adder-cost: 743 maxlim: 118004 bits: 18/17 10.59/10.60 c ---[1940]---> Adder-cost: 743 maxlim: 118004 bits: 18/17 10.69/10.70 c ---[1938]---> Adder-cost: 356 maxlim: 3312 bits: 13/12 10.69/10.71 c ---[1936]---> Adder-cost: 758 maxlim: 131112 bits: 19/18 10.79/10.81 c ---[1934]---> Adder-cost: 226 maxlim: 1036 bits: 11/11 10.79/10.82 c ---[1932]---> Adder-cost: 540 maxlim: 7173 bits: 14/13 10.79/10.86 c ---[1930]---> Adder-cost: 729 maxlim: 13623 bits: 15/14 10.89/10.91 c ---[1928]---> Adder-cost: 579 maxlim: 13998 bits: 15/14 10.89/10.95 c ---[1926]---> Adder-cost: 763 maxlim: 13079 bits: 15/14 11.00/11.01 c ---[1924]---> Adder-cost: 585 maxlim: 15029 bits: 15/14 11.00/11.07 c ---[1922]---> Adder-cost: 207 maxlim: 1971 bits: 12/11 11.00/11.08 c ---[1920]---> Adder-cost: 857 maxlim: 25743 bits: 16/15 11.10/11.15 c ---[1918]---> Adder-cost: 214 maxlim: 303 bits: 10/9 11.10/11.16 c ---[1916]---> Adder-cost: 650 maxlim: 534 bits: 11/10 11.10/11.17 c ---[1914]---> Adder-cost: 974 maxlim: 734 bits: 11/10 11.10/11.18 c ---[1912]---> Adder-cost: 788 maxlim: 541 bits: 11/10 11.19/11.20 c ---[1910]---> Adder-cost: 1194 maxlim: 825 bits: 11/10 11.19/11.22 c ---[1908]---> Adder-cost: 858 maxlim: 650 bits: 11/10 11.19/11.23 c ---[1906]---> Adder-cost: 234 maxlim: 357 bits: 10/9 11.19/11.24 c ---[1904]---> Adder-cost: 1255 maxlim: 1007 bits: 11/10 11.19/11.26 c ---[1900]---> Adder-cost: 110 maxlim: 1045 bits: 11/11 11.19/11.26 c ---[1898]---> Adder-cost: 148 maxlim: 32794 bits: 16/16 11.19/11.27 c ---[1896]---> Adder-cost: 148 maxlim: 32794 bits: 16/16 11.19/11.27 c ---[1894]---> Adder-cost: 148 maxlim: 32794 bits: 16/16 11.19/11.28 c ---[1892]---> Adder-cost: 148 maxlim: 32794 bits: 16/16 11.19/11.28 c ---[1890]---> Adder-cost: 94 maxlim: 275 bits: 9/9 11.19/11.29 c ---[1888]---> Adder-cost: 148 maxlim: 32794 bits: 16/16 11.19/11.29 c ---[1886]---> Sorter-cost: 749 Base: 3 11.19/11.29 c ---[1884]---> Adder-cost: 103 maxlim: 211 bits: 9/8 11.29/11.30 c ---[1882]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 11.29/11.30 c ---[1880]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 11.29/11.30 c ---[1878]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 11.29/11.30 c ---[1876]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 11.29/11.30 c ---[1874]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 11.29/11.30 c ---[1872]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 11.29/11.31 c ---[1870]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 11.29/11.31 c ---[1868]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 11.29/11.31 c ---[1866]---> Adder-cost: 324 maxlim: 360 bits: 9/9 11.29/11.32 c ---[1864]---> Adder-cost: 396 maxlim: 408 bits: 9/9 11.29/11.33 c ---[1862]---> Adder-cost: 928 maxlim: 757 bits: 10/10 11.29/11.38 c ---[1860]---> Adder-cost: 1166 maxlim: 934 bits: 10/10 11.39/11.46 c ---[1858]---> Adder-cost: 900 maxlim: 670 bits: 10/10 11.49/11.51 c ---[1856]---> Adder-cost: 1056 maxlim: 832 bits: 10/10 11.49/11.58 c ---[1854]---> Adder-cost: 936 maxlim: 761 bits: 10/10 11.59/11.64 c ---[1852]---> Adder-cost: 392 maxlim: 399 bits: 9/9 11.59/11.65 c ---[1850]---> Adder-cost: 1020 maxlim: 843 bits: 10/10 11.69/11.72 c ---[1848]---> Adder-cost: 381 maxlim: 412 bits: 10/9 11.69/11.72 c ---[1846]---> Adder-cost: 786 maxlim: 758 bits: 11/10 11.69/11.74 c ---[1844]---> Adder-cost: 988 maxlim: 913 bits: 11/10 11.69/11.76 c ---[1842]---> Adder-cost: 878 maxlim: 698 bits: 11/10 11.69/11.77 c ---[1840]---> Adder-cost: 938 maxlim: 821 bits: 11/10 11.69/11.79 c ---[1838]---> Adder-cost: 930 maxlim: 787 bits: 11/10 11.79/11.81 c ---[1836]---> Adder-cost: 391 maxlim: 400 bits: 10/9 11.79/11.82 c ---[1834]---> Adder-cost: 922 maxlim: 834 bits: 11/10 11.79/11.83 c ---[1832]---> Sorter-cost: 1078 Base: 2 2 2 2 2 2 11.79/11.84 c ---[1830]---> Sorter-cost: 1078 Base: 2 2 2 2 2 2 11.79/11.84 c ---[1828]---> Sorter-cost: 1078 Base: 2 2 2 2 2 2 11.79/11.84 c ---[1826]---> Sorter-cost: 1078 Base: 2 2 2 2 2 2 11.79/11.85 c ---[1824]---> Sorter-cost: 1078 Base: 2 2 2 2 2 2 11.79/11.85 c ---[1822]---> Sorter-cost: 1078 Base: 2 2 2 2 2 2 11.79/11.85 c ---[1820]---> Sorter-cost: 1078 Base: 2 2 2 2 2 2 11.79/11.85 c ---[1818]---> Sorter-cost: 1078 Base: 2 2 2 2 2 2 11.79/11.86 c ---[1816]---> Adder-cost: 348 maxlim: 616 bits: 10/10 11.79/11.87 c ---[1814]---> Adder-cost: 422 maxlim: 472 bits: 10/9 11.79/11.88 c ---[1812]---> Adder-cost: 944 maxlim: 835 bits: 10/10 11.89/11.93 c ---[1810]---> Adder-cost: 1190 maxlim: 1056 bits: 11/11 11.99/12.01 c ---[1808]---> Adder-cost: 914 maxlim: 707 bits: 10/10 11.99/12.06 c ---[1806]---> Adder-cost: 1116 maxlim: 987 bits: 11/10 12.10/12.13 c ---[1804]---> Adder-cost: 1006 maxlim: 899 bits: 10/10 12.10/12.19 c ---[1802]---> Adder-cost: 400 maxlim: 413 bits: 9/9 12.10/12.20 c ---[1800]---> Adder-cost: 1066 maxlim: 998 bits: 11/10 12.20/12.27 c ---[1798]---> Adder-cost: 399 maxlim: 471 bits: 10/9 12.20/12.28 c ---[1796]---> Adder-cost: 805 maxlim: 839 bits: 11/10 12.20/12.29 c ---[1794]---> Adder-cost: 996 maxlim: 1041 bits: 12/11 12.29/12.32 c ---[1792]---> Adder-cost: 892 maxlim: 738 bits: 11/10 12.29/12.33 c ---[1790]---> Adder-cost: 954 maxlim: 981 bits: 11/10 12.29/12.35 c ---[1788]---> Adder-cost: 960 maxlim: 932 bits: 11/10 12.29/12.37 c ---[1786]---> Adder-cost: 381 maxlim: 412 bits: 10/9 12.29/12.38 c ---[1784]---> Adder-cost: 933 maxlim: 994 bits: 11/10 12.39/12.40 c ---[1782]---> Adder-cost: 89 maxlim: 20 bits: 6/5 12.39/12.40 c ---[1780]---> Adder-cost: 407 maxlim: 105 bits: 8/7 12.39/12.41 c ---[1778]---> Adder-cost: 1140 maxlim: 120786 bits: 18/17 13.09/13.15 c ---[1776]---> Adder-cost: 974 maxlim: 120582 bits: 18/17 13.89/13.95 c ---[1774]---> Adder-cost: 974 maxlim: 120499 bits: 18/17 14.59/14.60 c ---[1772]---> Adder-cost: 1002 maxlim: 120569 bits: 18/17 15.40/15.40 c ---[1770]---> Adder-cost: 172 maxlim: 542 bits: 11/10 15.40/15.41 c ---[1768]---> Adder-cost: 1008 maxlim: 120765 bits: 18/17 16.09/16.10 c ---[1764]---> Adder-cost: 208 maxlim: 294 bits: 9/9 16.09/16.10 c ---[1762]---> Adder-cost: 826 maxlim: 272901 bits: 19/19 16.19/16.22 c ---[1760]---> Adder-cost: 584 maxlim: 222145 bits: 19/18 16.19/16.27 c ---[1758]---> Adder-cost: 808 maxlim: 218179 bits: 19/18 16.29/16.37 c ---[1756]---> Adder-cost: 692 maxlim: 220017 bits: 19/18 16.50/16.55 c ---[1754]---> Adder-cost: 90 maxlim: 275 bits: 10/9 16.50/16.56 c ---[1752]---> Adder-cost: 766 maxlim: 218011 bits: 19/18 16.60/16.65 c ---[1748]---> Adder-cost: 229 maxlim: 124 bits: 8/7 16.60/16.65 c ---[1746]---> Adder-cost: 518 maxlim: 294 bits: 10/9 16.60/16.66 c ---[1744]---> Adder-cost: 97 maxlim: 62 bits: 7/6 16.60/16.67 c ---[1742]---> Adder-cost: 544 maxlim: 381 bits: 10/9 16.60/16.68 c ---[1740]---> Adder-cost: 394 maxlim: 258 bits: 10/9 16.60/16.69 c ---[1738]---> Adder-cost: 512 maxlim: 333 bits: 10/9 16.60/16.69 c ---[1736]---> Adder-cost: 280 maxlim: 28 bits: 6/5 16.69/16.70 c ---[1734]---> Adder-cost: 288 maxlim: 28 bits: 6/5 16.69/16.70 c ---[1732]---> Adder-cost: 282 maxlim: 28 bits: 6/5 16.69/16.71 c ---[1730]---> Adder-cost: 288 maxlim: 28 bits: 6/5 16.69/16.71 c ---[1728]---> Adder-cost: 276 maxlim: 28 bits: 6/5 16.69/16.72 c ---[1726]---> Adder-cost: 286 maxlim: 28 bits: 6/5 16.69/16.72 c ---[1724]---> Adder-cost: 288 maxlim: 30 bits: 6/5 16.69/16.72 c ---[1722]---> Adder-cost: 286 maxlim: 30 bits: 6/5 16.69/16.73 c ---[1720]---> Adder-cost: 278 maxlim: 30 bits: 6/5 16.69/16.73 c ---[1718]---> Adder-cost: 288 maxlim: 30 bits: 6/5 16.69/16.74 c ---[1716]---> Adder-cost: 288 maxlim: 30 bits: 6/5 16.69/16.74 c ---[1714]---> Adder-cost: 288 maxlim: 30 bits: 6/5 16.69/16.75 c ---[1712]---> Adder-cost: 421 maxlim: 32 bits: 7/6 16.69/16.75 c ---[1710]---> Adder-cost: 510 maxlim: 32 bits: 7/6 16.69/16.76 c ---[1708]---> Adder-cost: 554 maxlim: 32 bits: 7/6 16.69/16.77 c ---[1706]---> Adder-cost: 396 maxlim: 22 bits: 6/5 16.69/16.78 c ---[1704]---> Adder-cost: 382 maxlim: 27 bits: 6/5 16.69/16.78 c ---[1702]---> Adder-cost: 296 maxlim: 46 bits: 7/6 16.69/16.79 c ---[1698]---> Sorter-cost: 947 Base: 2 2 2 2 2 2 2 16.69/16.79 c ---[1696]---> Sorter-cost: 947 Base: 2 2 2 2 2 2 2 16.69/16.79 c ---[1694]---> Adder-cost: 314 maxlim: 53 bits: 7/6 16.69/16.79 c ---[1692]---> Adder-cost: 324 maxlim: 53 bits: 7/6 16.79/16.80 c ---[1690]---> Adder-cost: 326 maxlim: 53 bits: 7/6 16.79/16.81 c ---[1686]---> Sorter-cost: 836 Base: 2 2 2 2 2 2 2 16.79/16.81 c ---[1684]---> Sorter-cost: 836 Base: 2 2 2 2 2 2 2 16.79/16.81 c ---[1682]---> Sorter-cost: 794 Base: 2 2 2 2 2 2 16.79/16.81 c ---[1680]---> Sorter-cost: 794 Base: 2 2 2 2 2 2 16.79/16.81 c ---[1678]---> Sorter-cost: 794 Base: 2 2 2 2 2 2 16.79/16.81 c ---[1676]---> Adder-cost: 167 maxlim: 41 bits: 7/6 16.79/16.82 c ---[1672]---> Adder-cost: 288 maxlim: 178 bits: 9/8 16.79/16.82 c ---[1670]---> Adder-cost: 306 maxlim: 223 bits: 9/8 16.79/16.83 c ---[1668]---> Adder-cost: 423 maxlim: 138 bits: 9/8 16.79/16.84 c ---[1666]---> Adder-cost: 320 maxlim: 252 bits: 9/8 16.79/16.85 c ---[1664]---> Adder-cost: 219 maxlim: 195 bits: 9/8 16.79/16.85 c ---[1662]---> Adder-cost: 213 maxlim: 195 bits: 9/8 16.79/16.86 c ---[1660]---> Adder-cost: 193 maxlim: 105 bits: 8/7 16.79/16.86 c ---[1658]---> Adder-cost: 189 maxlim: 105 bits: 8/7 16.79/16.87 c ---[1656]---> Adder-cost: 207 maxlim: 195 bits: 9/8 16.79/16.87 c ---[1654]---> Adder-cost: 213 maxlim: 194 bits: 9/8 16.79/16.88 c ---[1652]---> Adder-cost: 199 maxlim: 132 bits: 9/8 16.79/16.88 c ---[1650]---> Adder-cost: 191 maxlim: 132 bits: 9/8 16.79/16.89 c ---[1648]---> Adder-cost: 193 maxlim: 72 bits: 8/7 16.79/16.89 c ---[1646]---> Adder-cost: 185 maxlim: 69 bits: 8/7 16.89/16.90 c ---[1644]---> Adder-cost: 177 maxlim: 69 bits: 8/7 16.89/16.90 c ---[1642]---> Adder-cost: 258 maxlim: 28 bits: 6/5 16.89/16.90 c ---[1640]---> Adder-cost: 248 maxlim: 28 bits: 6/5 16.89/16.91 c ---[1638]---> Adder-cost: 205 maxlim: 23 bits: 6/5 16.89/16.91 c ---[1636]---> Adder-cost: 153 maxlim: 30 bits: 6/5 16.89/16.91 c ---[1634]---> Adder-cost: 145 maxlim: 30 bits: 6/5 16.89/16.92 c ---[1632]---> Sorter-cost: 836 Base: 2 2 2 2 2 2 2 16.89/16.92 c ---[1630]---> Sorter-cost: 836 Base: 2 2 2 2 2 2 2 16.89/16.92 c ---[1628]---> Sorter-cost: 836 Base: 2 2 2 2 2 2 2 16.89/16.92 c ---[1626]---> Sorter-cost: 836 Base: 2 2 2 2 2 2 2 16.89/16.92 c ---[1624]---> Sorter-cost: 836 Base: 2 2 2 2 2 2 2 16.89/16.93 c ---[1622]---> Sorter-cost: 836 Base: 2 2 2 2 2 2 2 16.89/16.93 c ---[1618]---> Sorter-cost: 836 Base: 2 2 2 2 2 2 2 16.89/16.93 c ---[1616]---> Adder-cost: 396 maxlim: 511 bits: 10/9 16.89/16.94 c ---[1614]---> Adder-cost: 286 maxlim: 7534 bits: 14/13 16.89/16.96 c ---[1612]---> Adder-cost: 650 maxlim: 3421 bits: 13/12 16.89/16.98 c ---[1610]---> Adder-cost: 882 maxlim: 2981 bits: 13/12 16.99/17.01 c ---[1608]---> Adder-cost: 660 maxlim: 3014 bits: 13/12 16.99/17.03 c ---[1606]---> Adder-cost: 700 maxlim: 3596 bits: 13/12 16.99/17.05 c ---[1604]---> BDD-cost: 210 16.99/17.05 c ---[1602]---> Adder-cost: 598 maxlim: 3005 bits: 13/12 16.99/17.06 c ---[1600]---> Adder-cost: 124 maxlim: 207 bits: 9/8 16.99/17.07 c ---[1598]---> Adder-cost: 458 maxlim: 613 bits: 10/10 16.99/17.09 c ---[1596]---> Adder-cost: 572 maxlim: 733 bits: 10/10 17.09/17.12 c ---[1594]---> Adder-cost: 430 maxlim: 425 bits: 9/9 17.09/17.14 c ---[1592]---> Adder-cost: 360 maxlim: 509 bits: 10/9 17.09/17.16 c ---[1590]---> Adder-cost: 518 maxlim: 621 bits: 10/10 17.09/17.18 c ---[1588]---> Adder-cost: 320 maxlim: 507 bits: 10/9 17.19/17.20 c ---[1586]---> Sorter-cost: 1914 Base: 3 7 2 17.19/17.20 c ---[1584]---> Adder-cost: 404 maxlim: 625 bits: 11/10 17.19/17.21 c ---[1582]---> Adder-cost: 406 maxlim: 724 bits: 10/10 17.19/17.25 c ---[1580]---> Adder-cost: 438 maxlim: 442 bits: 10/9 17.19/17.26 c ---[1578]---> Adder-cost: 365 maxlim: 509 bits: 10/9 17.19/17.27 c ---[1576]---> Adder-cost: 532 maxlim: 622 bits: 11/10 17.19/17.28 c ---[1574]---> Adder-cost: 308 maxlim: 505 bits: 10/9 17.19/17.29 c ---[1572]---> Adder-cost: 74 maxlim: 139 bits: 8/8 17.19/17.30 c ---[1570]---> Adder-cost: 74 maxlim: 139 bits: 8/8 17.29/17.30 c ---[1568]---> Adder-cost: 74 maxlim: 139 bits: 8/8 17.29/17.30 c ---[1566]---> Adder-cost: 74 maxlim: 139 bits: 8/8 17.29/17.30 c ---[1564]---> Adder-cost: 74 maxlim: 139 bits: 8/8 17.29/17.30 c ---[1562]---> Adder-cost: 74 maxlim: 139 bits: 8/8 17.29/17.30 c ---[1556]---> Adder-cost: 234 maxlim: 174 bits: 8/8 17.29/17.31 c ---[1554]---> Adder-cost: 154 maxlim: 253 bits: 9/8 17.29/17.31 c ---[1552]---> Adder-cost: 154 maxlim: 253 bits: 9/8 17.29/17.32 c ---[1550]---> Adder-cost: 154 maxlim: 253 bits: 9/8 17.29/17.32 c ---[1548]---> Adder-cost: 154 maxlim: 253 bits: 9/8 17.29/17.32 c ---[1546]---> Adder-cost: 154 maxlim: 253 bits: 9/8 17.29/17.33 c ---[1544]---> Adder-cost: 162 maxlim: 253 bits: 9/8 17.29/17.33 c ---[1542]---> Adder-cost: 147 maxlim: 246 bits: 9/8 17.29/17.34 c ---[1540]---> Adder-cost: 147 maxlim: 246 bits: 9/8 17.29/17.34 c ---[1538]---> Adder-cost: 147 maxlim: 246 bits: 9/8 17.29/17.34 c ---[1536]---> Adder-cost: 147 maxlim: 246 bits: 9/8 17.29/17.35 c ---[1534]---> Adder-cost: 149 maxlim: 246 bits: 9/8 17.29/17.35 c ---[1532]---> Adder-cost: 149 maxlim: 246 bits: 9/8 17.29/17.35 c ---[1530]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 17.29/17.36 c ---[1528]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 17.29/17.36 c ---[1526]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 17.29/17.36 c ---[1524]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 17.29/17.36 c ---[1522]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 17.29/17.36 c ---[1520]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 17.29/17.36 c ---[1518]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 17.29/17.37 c ---[1516]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 17.29/17.37 c ---[1514]---> Adder-cost: 324 maxlim: 360 bits: 9/9 17.29/17.38 c ---[1512]---> Adder-cost: 170 maxlim: 388 bits: 9/9 17.29/17.38 c ---[1510]---> Adder-cost: 220 maxlim: 517 bits: 10/10 17.29/17.39 c ---[1508]---> Adder-cost: 208 maxlim: 517 bits: 10/10 17.29/17.39 c ---[1506]---> Adder-cost: 256 maxlim: 517 bits: 10/10 17.39/17.40 c ---[1504]---> Adder-cost: 244 maxlim: 517 bits: 10/10 17.39/17.41 c ---[1502]---> Adder-cost: 256 maxlim: 517 bits: 10/10 17.39/17.41 c ---[1500]---> Adder-cost: 198 maxlim: 388 bits: 9/9 17.39/17.42 c ---[1498]---> Adder-cost: 220 maxlim: 517 bits: 10/10 17.39/17.42 c ---[1496]---> Adder-cost: 174 maxlim: 354 bits: 10/9 17.39/17.43 c ---[1494]---> Adder-cost: 247 maxlim: 472 bits: 10/9 17.39/17.44 c ---[1492]---> Adder-cost: 247 maxlim: 472 bits: 10/9 17.39/17.44 c ---[1490]---> Adder-cost: 247 maxlim: 472 bits: 10/9 17.39/17.45 c ---[1488]---> Adder-cost: 245 maxlim: 472 bits: 10/9 17.39/17.46 c ---[1486]---> Adder-cost: 247 maxlim: 472 bits: 10/9 17.39/17.46 c ---[1484]---> Adder-cost: 176 maxlim: 354 bits: 10/9 17.39/17.47 c ---[1482]---> Adder-cost: 231 maxlim: 472 bits: 10/9 17.39/17.47 c ---[1478]---> Adder-cost: 94 maxlim: 275 bits: 9/9 17.39/17.48 c ---[1476]---> Adder-cost: 94 maxlim: 275 bits: 9/9 17.39/17.48 c ---[1474]---> Adder-cost: 78 maxlim: 90 bits: 7/7 17.39/17.48 c ---[1470]---> Sorter-cost: 1187 Base: 3 5 2 2 17.39/17.48 c ---[1468]---> Sorter-cost: 1187 Base: 3 5 2 2 17.39/17.49 c ---[1464]---> Adder-cost: 100 maxlim: 275 bits: 10/9 17.39/17.49 c ---[1462]---> Adder-cost: 100 maxlim: 275 bits: 10/9 17.39/17.49 c ---[1460]---> Adder-cost: 144 maxlim: 178 bits: 9/8 17.49/17.50 c ---[1458]---> Adder-cost: 138 maxlim: 178 bits: 9/8 17.49/17.50 c ---[1456]---> Adder-cost: 150 maxlim: 178 bits: 9/8 17.49/17.51 c ---[1454]---> Adder-cost: 140 maxlim: 178 bits: 9/8 17.49/17.51 c ---[1452]---> Adder-cost: 138 maxlim: 178 bits: 9/8 17.49/17.51 c ---[1450]---> Adder-cost: 150 maxlim: 178 bits: 9/8 17.49/17.52 c ---[1448]---> Adder-cost: 143 maxlim: 24 bits: 6/5 17.49/17.52 c ---[1446]---> Adder-cost: 163 maxlim: 24 bits: 6/5 17.49/17.52 c ---[1444]---> Adder-cost: 155 maxlim: 21 bits: 6/5 17.49/17.53 c ---[1442]---> Adder-cost: 163 maxlim: 24 bits: 6/5 17.49/17.53 c ---[1440]---> Adder-cost: 151 maxlim: 24 bits: 6/5 17.49/17.53 c ---[1438]---> Adder-cost: 155 maxlim: 30 bits: 6/5 17.49/17.53 c ---[1436]---> Adder-cost: 68 maxlim: 21 bits: 6/5 17.49/17.53 c ---[1432]---> Adder-cost: 92 maxlim: 28 bits: 6/5 17.49/17.54 c ---[1430]---> Adder-cost: 80 maxlim: 66 bits: 8/7 17.49/17.54 c ---[1426]---> Adder-cost: 80 maxlim: 115 bits: 8/7 17.49/17.54 c ---[1424]---> Sorter-cost: 1035 Base: 3 7 2 2 17.49/17.54 c ---[1422]---> Sorter-cost: 1035 Base: 3 7 2 2 17.49/17.55 c ---[1420]---> Sorter-cost: 1035 Base: 3 7 2 2 17.49/17.55 c ---[1418]---> Sorter-cost: 1035 Base: 3 7 2 2 17.49/17.55 c ---[1416]---> Sorter-cost: 1035 Base: 3 7 2 2 17.49/17.55 c ---[1414]---> Sorter-cost: 1035 Base: 3 7 2 2 17.49/17.56 c ---[1412]---> Adder-cost: 155 maxlim: 70 bits: 8/7 17.49/17.56 c ---[1410]---> Adder-cost: 147 maxlim: 70 bits: 8/7 17.49/17.56 c ---[1408]---> Adder-cost: 141 maxlim: 70 bits: 8/7 17.49/17.56 c ---[1406]---> Adder-cost: 145 maxlim: 70 bits: 8/7 17.49/17.57 c ---[1404]---> Adder-cost: 139 maxlim: 70 bits: 8/7 17.49/17.57 c ---[1402]---> Adder-cost: 145 maxlim: 70 bits: 8/7 17.49/17.57 c ---[1400]---> Adder-cost: 179 maxlim: 91 bits: 8/7 17.49/17.57 c ---[1398]---> Adder-cost: 181 maxlim: 91 bits: 8/7 17.49/17.58 c ---[1396]---> Adder-cost: 166 maxlim: 54 bits: 7/6 17.49/17.58 c ---[1394]---> Adder-cost: 164 maxlim: 54 bits: 7/6 17.49/17.58 c ---[1392]---> Adder-cost: 169 maxlim: 88 bits: 8/7 17.49/17.59 c ---[1390]---> Adder-cost: 233 maxlim: 71 bits: 8/7 17.49/17.59 c ---[1388]---> Sorter-cost: 1226 Base: 3 3 2 3 17.49/17.60 c ---[1386]---> Sorter-cost: 1226 Base: 3 3 2 3 17.49/17.60 c ---[1384]---> Sorter-cost: 1226 Base: 3 3 2 3 17.49/17.60 c ---[1382]---> Sorter-cost: 1226 Base: 3 3 2 3 17.60/17.60 c ---[1380]---> Sorter-cost: 1226 Base: 3 3 2 3 17.60/17.61 c ---[1378]---> Sorter-cost: 1226 Base: 3 3 2 3 17.60/17.61 c ---[1376]---> Adder-cost: 199 maxlim: 84 bits: 8/7 17.60/17.62 c ---[1374]---> Adder-cost: 199 maxlim: 84 bits: 8/7 17.60/17.62 c ---[1372]---> Adder-cost: 211 maxlim: 84 bits: 8/7 17.60/17.62 c ---[1370]---> Sorter-cost: 1175 Base: 5 3 3 17.60/17.63 c ---[1368]---> Sorter-cost: 1175 Base: 5 3 3 17.60/17.63 c ---[1366]---> Adder-cost: 140 maxlim: 168 bits: 9/8 17.60/17.63 c ---[1364]---> Adder-cost: 132 maxlim: 161 bits: 9/8 17.60/17.64 c ---[1362]---> Adder-cost: 130 maxlim: 161 bits: 9/8 17.60/17.64 c ---[1360]---> Adder-cost: 343 maxlim: 77 bits: 8/7 17.60/17.64 c ---[1358]---> Adder-cost: 335 maxlim: 77 bits: 8/7 17.60/17.65 c ---[1356]---> Adder-cost: 331 maxlim: 77 bits: 8/7 17.60/17.66 c ---[1354]---> Adder-cost: 310 maxlim: 57 bits: 7/6 17.60/17.66 c ---[1352]---> Adder-cost: 296 maxlim: 59 bits: 7/6 17.60/17.67 c ---[1350]---> Adder-cost: 311 maxlim: 78 bits: 8/7 17.60/17.67 c ---[1348]---> Adder-cost: 226 maxlim: 68 bits: 8/7 17.60/17.68 c ---[1346]---> Adder-cost: 218 maxlim: 68 bits: 8/7 17.60/17.68 c ---[1344]---> Adder-cost: 217 maxlim: 233 bits: 9/8 17.60/17.69 c ---[1342]---> Adder-cost: 288 maxlim: 132 bits: 9/8 17.60/17.69 c ---[1340]---> Adder-cost: 296 maxlim: 132 bits: 9/8 17.60/17.70 c ---[1338]---> Adder-cost: 265 maxlim: 73 bits: 8/7 17.69/17.70 c ---[1336]---> Adder-cost: 269 maxlim: 73 bits: 8/7 17.69/17.71 c ---[1334]---> Adder-cost: 265 maxlim: 73 bits: 8/7 17.69/17.71 c ---[1332]---> Adder-cost: 180 maxlim: 73 bits: 8/7 17.69/17.72 c ---[1330]---> Adder-cost: 168 maxlim: 73 bits: 8/7 17.69/17.72 c ---[1328]---> Adder-cost: 62 maxlim: 77 bits: 8/7 17.69/17.72 c ---[1326]---> Adder-cost: 62 maxlim: 77 bits: 8/7 17.69/17.72 c ---[1324]---> Adder-cost: 64 maxlim: 77 bits: 8/7 17.69/17.72 c ---[1322]---> Adder-cost: 62 maxlim: 77 bits: 8/7 17.69/17.73 c ---[1320]---> Adder-cost: 60 maxlim: 77 bits: 8/7 17.69/17.73 c ---[1318]---> Adder-cost: 74 maxlim: 77 bits: 8/7 17.69/17.73 c ---[1316]---> Adder-cost: 185 maxlim: 130 bits: 9/8 17.69/17.73 c ---[1314]---> Adder-cost: 187 maxlim: 130 bits: 9/8 17.69/17.74 c ---[1312]---> Adder-cost: 189 maxlim: 130 bits: 9/8 17.69/17.74 c ---[1310]---> Sorter-cost: 1820 Base: 3 3 5 17.69/17.74 c ---[1308]---> Adder-cost: 141 maxlim: 172 bits: 9/8 17.69/17.75 c ---[1306]---> Adder-cost: 149 maxlim: 170 bits: 9/8 17.69/17.75 c ---[1304]---> Adder-cost: 157 maxlim: 166 bits: 9/8 17.69/17.76 c ---[1302]---> Adder-cost: 145 maxlim: 166 bits: 9/8 17.69/17.76 c ---[1300]---> Adder-cost: 195 maxlim: 129 bits: 9/8 17.69/17.76 c ---[1298]---> Adder-cost: 266 maxlim: 360 bits: 10/9 17.69/17.77 c ---[1296]---> Adder-cost: 354 maxlim: 707 bits: 11/10 17.69/17.78 c ---[1294]---> Adder-cost: 240 maxlim: 338 bits: 10/9 17.69/17.79 c ---[1292]---> Adder-cost: 308 maxlim: 692 bits: 11/10 17.79/17.80 c ---[1290]---> Adder-cost: 256 maxlim: 707 bits: 11/10 17.79/17.81 c ---[1288]---> Adder-cost: 157 maxlim: 166 bits: 9/8 17.79/17.81 c ---[1286]---> Adder-cost: 318 maxlim: 1231 bits: 11/11 17.79/17.83 c ---[1282]---> Adder-cost: 107 maxlim: 42 bits: 7/6 17.79/17.83 c ---[1280]---> Adder-cost: 123 maxlim: 68 bits: 8/7 17.79/17.83 c ---[1276]---> Adder-cost: 123 maxlim: 57 bits: 7/6 17.79/17.84 c ---[1274]---> Adder-cost: 138 maxlim: 100 bits: 8/7 17.79/17.84 c ---[1272]---> Adder-cost: 168 maxlim: 308 bits: 10/9 17.79/17.84 c ---[1270]---> Adder-cost: 163 maxlim: 308 bits: 10/9 17.79/17.85 c ---[1268]---> Adder-cost: 175 maxlim: 308 bits: 10/9 17.79/17.85 c ---[1266]---> Adder-cost: 157 maxlim: 162 bits: 9/8 17.79/17.86 c ---[1264]---> Adder-cost: 143 maxlim: 163 bits: 9/8 17.79/17.86 c ---[1262]---> Adder-cost: 157 maxlim: 162 bits: 9/8 17.79/17.87 c ---[1260]---> Adder-cost: 157 maxlim: 162 bits: 9/8 17.79/17.87 c ---[1258]---> Adder-cost: 149 maxlim: 162 bits: 9/8 17.79/17.87 c ---[1256]---> Adder-cost: 62 maxlim: 35 bits: 7/6 17.79/17.87 c ---[1254]---> Adder-cost: 113 maxlim: 35 bits: 7/6 17.79/17.88 c ---[1252]---> Adder-cost: 74 maxlim: 18 bits: 6/5 17.79/17.88 c ---[1250]---> Adder-cost: 72 maxlim: 20 bits: 6/5 17.79/17.88 c ---[1248]---> Adder-cost: 149 maxlim: 77 bits: 8/7 17.79/17.88 c ---[1246]---> Adder-cost: 82 maxlim: 21 bits: 6/5 17.79/17.88 c ---[1244]---> Adder-cost: 189 maxlim: 100 bits: 8/7 17.79/17.89 c ---[1242]---> Sorter-cost: 674 Base: 7 17.79/17.89 c ---[1240]---> Adder-cost: 157 maxlim: 58 bits: 7/6 17.79/17.89 c ---[1238]---> Adder-cost: 123 maxlim: 53 bits: 7/6 17.79/17.89 c ---[1236]---> Adder-cost: 117 maxlim: 53 bits: 7/6 17.79/17.90 c ---[1234]---> Adder-cost: 127 maxlim: 53 bits: 7/6 17.89/17.90 c ---[1232]---> Adder-cost: 127 maxlim: 53 bits: 7/6 17.89/17.90 c ---[1230]---> Adder-cost: 127 maxlim: 53 bits: 7/6 17.89/17.90 c ---[1228]---> Adder-cost: 125 maxlim: 53 bits: 7/6 17.89/17.91 c ---[1226]---> Adder-cost: 84 maxlim: 29 bits: 6/5 17.89/17.91 c ---[1224]---> Adder-cost: 216 maxlim: 178 bits: 9/8 17.89/17.91 c ---[1222]---> Adder-cost: 260 maxlim: 223 bits: 9/8 17.89/17.92 c ---[1220]---> Adder-cost: 245 maxlim: 206 bits: 9/8 17.89/17.93 c ---[1218]---> Adder-cost: 236 maxlim: 251 bits: 9/8 17.89/17.93 c ---[1216]---> Adder-cost: 149 maxlim: 42 bits: 7/6 17.89/17.93 c ---[1214]---> Sorter-cost: 1111 Base: 5 7 2 17.89/17.94 c ---[1212]---> Adder-cost: 341 maxlim: 296 bits: 10/9 17.89/17.95 c ---[1210]---> Adder-cost: 173 maxlim: 82 bits: 8/7 17.89/17.95 c ---[1208]---> Adder-cost: 343 maxlim: 308 bits: 10/9 17.89/17.99 c ---[1206]---> Adder-cost: 319 maxlim: 349 bits: 10/9 17.98/18.00 c ---[1204]---> Adder-cost: 363 maxlim: 382 bits: 10/9 17.98/18.01 c ---[1202]---> Adder-cost: 111 maxlim: 24 bits: 6/5 17.98/18.01 c ---[1200]---> Adder-cost: 150 maxlim: 100 bits: 8/7 17.98/18.01 c ---[1198]---> Adder-cost: 138 maxlim: 100 bits: 8/7 17.98/18.01 c ---[1196]---> Adder-cost: 183 maxlim: 355 bits: 10/9 17.98/18.02 c ---[1194]---> Adder-cost: 123 maxlim: 57 bits: 7/6 17.98/18.02 c ---[1192]---> Adder-cost: 183 maxlim: 355 bits: 10/9 17.98/18.03 c ---[1190]---> Adder-cost: 136 maxlim: 100 bits: 8/7 17.98/18.03 c ---[1188]---> Adder-cost: 175 maxlim: 355 bits: 10/9 17.98/18.04 c ---[1186]---> Adder-cost: 175 maxlim: 347 bits: 10/9 17.98/18.04 c ---[1184]---> Adder-cost: 181 maxlim: 347 bits: 10/9 17.98/18.05 c ---[1182]---> Adder-cost: 164 maxlim: 181 bits: 9/8 17.98/18.05 c ---[1180]---> Adder-cost: 183 maxlim: 347 bits: 10/9 17.98/18.06 c ---[1178]---> Adder-cost: 183 maxlim: 347 bits: 10/9 17.98/18.07 c ---[1176]---> Adder-cost: 190 maxlim: 679 bits: 11/10 17.98/18.07 c ---[1174]---> Sorter-cost: 1125 Base: 5 3 3 17.98/18.07 c ---[1172]---> Sorter-cost: 1142 Base: 3 3 2 2 2 17.98/18.08 c ---[1170]---> Adder-cost: 110 maxlim: 406 bits: 10/9 17.98/18.08 c ---[1168]---> Adder-cost: 86 maxlim: 68 bits: 8/7 17.98/18.08 c ---[1166]---> Sorter-cost: 570 Base: 2 2 2 2 2 2 17.98/18.08 c ---[1164]---> Adder-cost: 110 maxlim: 74 bits: 8/7 17.98/18.08 c ---[1162]---> Adder-cost: 136 maxlim: 100 bits: 8/7 17.98/18.09 c ---[1160]---> Adder-cost: 149 maxlim: 119 bits: 8/7 17.98/18.09 c ---[1158]---> Adder-cost: 301 maxlim: 253 bits: 9/8 18.08/18.10 c ---[1156]---> Adder-cost: 103 maxlim: 57 bits: 7/6 18.08/18.10 c ---[1154]---> Adder-cost: 190 maxlim: 182 bits: 9/8 18.08/18.10 c ---[1150]---> Adder-cost: 55 maxlim: 29 bits: 6/5 18.08/18.10 c ---[1148]---> Sorter-cost: 605 Base: 3 18.08/18.10 c ---[1146]---> Adder-cost: 70 maxlim: 54 bits: 7/6 18.08/18.10 c ---[1144]---> Sorter-cost: 1016 Base: 2 2 3 2 2 2 18.08/18.11 c ---[1142]---> Sorter-cost: 826 Base: 5 18.08/18.11 c ---[1140]---> Sorter-cost: 915 Base: 3 3 2 2 18.08/18.11 c ---[1128]---> Adder-cost: 74 maxlim: 75 bits: 8/7 18.08/18.11 c ---[1126]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 18.08/18.11 c ---[1124]---> Adder-cost: 62 maxlim: 43 bits: 7/6 18.08/18.12 c ---[1122]---> Sorter-cost: 793 Base: 2 2 2 2 2 2 18.08/18.12 c ---[1120]---> Sorter-cost: 993 Base: 3 5 2 18.08/18.12 c ---[1118]---> Adder-cost: 162 maxlim: 290 bits: 9/9 18.08/18.12 c ---[1116]---> Adder-cost: 252 maxlim: 254 bits: 9/8 18.08/18.13 c ---[1114]---> Adder-cost: 141 maxlim: 43 bits: 7/6 18.08/18.13 c ---[1112]---> Adder-cost: 188 maxlim: 43 bits: 7/6 18.08/18.14 c ---[1110]---> Adder-cost: 141 maxlim: 43 bits: 7/6 18.08/18.14 c ---[1108]---> Adder-cost: 143 maxlim: 43 bits: 7/6 18.08/18.14 c ---[1106]---> Adder-cost: 151 maxlim: 43 bits: 7/6 18.08/18.14 c ---[1104]---> Adder-cost: 141 maxlim: 43 bits: 7/6 18.08/18.15 c ---[1102]---> Adder-cost: 233 maxlim: 66 bits: 8/7 18.08/18.15 c ---[1100]---> Adder-cost: 233 maxlim: 66 bits: 8/7 18.08/18.16 c ---[1098]---> Adder-cost: 233 maxlim: 66 bits: 8/7 18.08/18.16 c ---[1096]---> Adder-cost: 235 maxlim: 66 bits: 8/7 18.08/18.16 c ---[1094]---> Adder-cost: 235 maxlim: 66 bits: 8/7 18.08/18.17 c ---[1092]---> Adder-cost: 235 maxlim: 66 bits: 8/7 18.08/18.17 c ---[1090]---> Adder-cost: 189 maxlim: 138 bits: 9/8 18.08/18.18 c ---[1088]---> Adder-cost: 247 maxlim: 110 bits: 8/7 18.08/18.18 c ---[1086]---> Adder-cost: 247 maxlim: 110 bits: 8/7 18.08/18.19 c ---[1084]---> Adder-cost: 206 maxlim: 41 bits: 7/6 18.08/18.19 c ---[1082]---> Adder-cost: 227 maxlim: 77 bits: 8/7 18.08/18.20 c ---[1080]---> Adder-cost: 260 maxlim: 126 bits: 8/7 18.18/18.20 c ---[1078]---> Adder-cost: 249 maxlim: 155 bits: 9/8 18.18/18.21 c ---[1076]---> Adder-cost: 284 maxlim: 155 bits: 9/8 18.18/18.21 c ---[1074]---> Adder-cost: 158 maxlim: 54 bits: 7/6 18.18/18.21 c ---[1072]---> Adder-cost: 274 maxlim: 36 bits: 7/6 18.18/18.22 c ---[1070]---> Adder-cost: 144 maxlim: 37 bits: 7/6 18.18/18.22 c ---[1068]---> Adder-cost: 297 maxlim: 42 bits: 7/6 18.18/18.23 c ---[1066]---> Adder-cost: 238 maxlim: 68 bits: 8/7 18.18/18.23 c ---[1064]---> Adder-cost: 264 maxlim: 125 bits: 8/7 18.18/18.24 c ---[1062]---> Adder-cost: 352 maxlim: 78 bits: 8/7 18.18/18.24 c ---[1060]---> Adder-cost: 151 maxlim: 57 bits: 7/6 18.18/18.24 c ---[1058]---> Adder-cost: 174 maxlim: 98 bits: 8/7 18.18/18.25 c ---[1056]---> Adder-cost: 183 maxlim: 183 bits: 9/8 18.18/18.25 c ---[1054]---> Adder-cost: 51 maxlim: 30 bits: 6/5 18.18/18.25 c ---[1050]---> Adder-cost: 52 maxlim: 43 bits: 7/6 18.18/18.25 c ---[1048]---> Adder-cost: 94 maxlim: 275 bits: 9/9 18.18/18.26 c ---[1046]---> Adder-cost: 94 maxlim: 275 bits: 9/9 18.18/18.26 c ---[1044]---> Adder-cost: 78 maxlim: 90 bits: 7/7 18.18/18.26 c ---[1042]---> Adder-cost: 89 maxlim: 57 bits: 7/6 18.18/18.26 c ---[1040]---> Adder-cost: 45 maxlim: 24 bits: 6/5 18.18/18.26 c ---[1038]---> Adder-cost: 212 maxlim: 130 bits: 9/8 18.18/18.27 c ---[1036]---> Adder-cost: 74 maxlim: 45 bits: 7/6 18.18/18.27 c ---[1034]---> Adder-cost: 152 maxlim: 101 bits: 8/7 18.18/18.27 c ---[1032]---> Adder-cost: 223 maxlim: 50 bits: 7/6 18.18/18.28 c ---[1030]---> Adder-cost: 396 maxlim: 146 bits: 9/8 18.18/18.28 c ---[1028]---> Adder-cost: 148 maxlim: 21 bits: 6/5 18.18/18.29 c ---[1026]---> Adder-cost: 357 maxlim: 137 bits: 9/8 18.18/18.29 c ---[1024]---> Adder-cost: 209 maxlim: 44 bits: 7/6 18.29/18.30 c ---[1022]---> Adder-cost: 406 maxlim: 178 bits: 9/8 18.29/18.30 c ---[1020]---> Adder-cost: 265 maxlim: 71 bits: 8/7 18.29/18.31 c ---[1018]---> Adder-cost: 337 maxlim: 128 bits: 9/8 18.29/18.32 c ---[1016]---> Adder-cost: 247 maxlim: 49 bits: 7/6 18.29/18.32 c ---[1014]---> Adder-cost: 325 maxlim: 103 bits: 8/7 18.29/18.33 c ---[1012]---> Adder-cost: 321 maxlim: 88 bits: 8/7 18.29/18.33 c ---[1010]---> Adder-cost: 502 maxlim: 228 bits: 9/8 18.29/18.34 c ---[1008]---> Adder-cost: 383 maxlim: 61 bits: 7/6 18.29/18.35 c ---[1006]---> Adder-cost: 395 maxlim: 61 bits: 7/6 18.29/18.36 c ---[1004]---> Adder-cost: 275 maxlim: 50 bits: 7/6 18.29/18.37 c ---[1002]---> Adder-cost: 311 maxlim: 66 bits: 8/7 18.29/18.37 c ---[1000]---> Adder-cost: 349 maxlim: 122 bits: 8/7 18.29/18.38 c ---[ 998]---> Adder-cost: 247 maxlim: 167 bits: 9/8 18.29/18.39 c ---[ 996]---> Adder-cost: 339 maxlim: 102 bits: 8/7 18.29/18.39 c ---[ 994]---> Adder-cost: 264 maxlim: 26 bits: 6/5 18.39/18.40 c ---[ 992]---> Adder-cost: 161 maxlim: 41 bits: 7/6 18.39/18.40 c ---[ 990]---> Adder-cost: 192 maxlim: 55 bits: 7/6 18.39/18.40 c ---[ 988]---> Adder-cost: 233 maxlim: 92 bits: 8/7 18.39/18.41 c ---[ 986]---> Adder-cost: 236 maxlim: 36 bits: 7/6 18.39/18.41 c ---[ 984]---> Adder-cost: 224 maxlim: 46 bits: 7/6 18.39/18.42 c ---[ 982]---> Adder-cost: 305 maxlim: 94 bits: 8/7 18.39/18.42 c ---[ 980]---> Adder-cost: 307 maxlim: 94 bits: 8/7 18.39/18.43 c ---[ 978]---> Adder-cost: 163 maxlim: 333 bits: 10/9 18.39/18.43 c ---[ 976]---> Adder-cost: 317 maxlim: 173 bits: 9/8 18.39/18.44 c ---[ 974]---> Adder-cost: 251 maxlim: 54 bits: 7/6 18.39/18.45 c ---[ 972]---> Adder-cost: 255 maxlim: 54 bits: 7/6 18.39/18.45 c ---[ 970]---> Adder-cost: 261 maxlim: 54 bits: 7/6 18.39/18.46 c ---[ 968]---> Adder-cost: 313 maxlim: 93 bits: 8/7 18.39/18.46 c ---[ 966]---> Adder-cost: 257 maxlim: 54 bits: 7/6 18.39/18.47 c ---[ 964]---> Adder-cost: 299 maxlim: 94 bits: 8/7 18.39/18.48 c ---[ 962]---> Sorter-cost: 1173 Base: 7 7 18.39/18.48 c ---[ 960]---> Adder-cost: 111 maxlim: 233 bits: 9/8 18.39/18.48 c ---[ 958]---> Sorter-cost: 918 Base: 3 3 18.39/18.48 c ---[ 956]---> Adder-cost: 99 maxlim: 237 bits: 9/8 18.39/18.49 c ---[ 954]---> Adder-cost: 238 maxlim: 34 bits: 7/6 18.39/18.49 c ---[ 952]---> Adder-cost: 319 maxlim: 93 bits: 8/7 18.49/18.50 c ---[ 950]---> Sorter-cost: 948 Base: 2 2 2 2 2 2 18.49/18.50 c ---[ 948]---> Adder-cost: 96 maxlim: 519 bits: 10/10 18.49/18.50 c ---[ 946]---> Adder-cost: 100 maxlim: 275 bits: 10/9 18.49/18.51 c ---[ 944]---> Adder-cost: 102 maxlim: 532 bits: 11/10 18.49/18.51 c ---[ 942]---> Adder-cost: 86 maxlim: 146 bits: 9/8 18.49/18.51 c ---[ 940]---> Adder-cost: 86 maxlim: 146 bits: 9/8 18.49/18.51 c ---[ 938]---> Adder-cost: 86 maxlim: 146 bits: 9/8 18.49/18.51 c ---[ 936]---> Adder-cost: 86 maxlim: 146 bits: 9/8 18.49/18.52 c ---[ 934]---> Adder-cost: 86 maxlim: 146 bits: 9/8 18.49/18.52 c ---[ 932]---> Adder-cost: 86 maxlim: 146 bits: 9/8 18.49/18.52 c ---[ 930]---> Adder-cost: 86 maxlim: 146 bits: 9/8 18.49/18.52 c ---[ 928]---> Adder-cost: 86 maxlim: 146 bits: 9/8 18.49/18.53 c ---[ 926]---> Adder-cost: 242 maxlim: 17 bits: 6/5 18.49/18.53 c ---[ 924]---> Adder-cost: 93 maxlim: 56 bits: 7/6 18.49/18.53 c ---[ 922]---> Adder-cost: 321 maxlim: 220 bits: 9/8 18.49/18.54 c ---[ 920]---> Adder-cost: 526 maxlim: 387 bits: 10/9 18.49/18.55 c ---[ 918]---> Adder-cost: 268 maxlim: 179 bits: 9/8 18.49/18.55 c ---[ 916]---> Adder-cost: 436 maxlim: 313 bits: 10/9 18.49/18.56 c ---[ 914]---> Adder-cost: 304 maxlim: 208 bits: 9/8 18.49/18.57 c ---[ 912]---> Adder-cost: 132 maxlim: 81 bits: 8/7 18.49/18.57 c ---[ 910]---> Adder-cost: 814 maxlim: 637 bits: 11/10 18.49/18.59 c ---[ 908]---> Adder-cost: 53 maxlim: 25 bits: 6/5 18.49/18.59 c ---[ 906]---> Adder-cost: 276 maxlim: 183 bits: 9/8 18.49/18.59 c ---[ 904]---> Adder-cost: 598 maxlim: 425 bits: 10/9 18.59/18.61 c ---[ 902]---> Adder-cost: 286 maxlim: 193 bits: 9/8 18.59/18.61 c ---[ 900]---> Adder-cost: 617 maxlim: 487 bits: 10/9 18.59/18.63 c ---[ 898]---> Adder-cost: 382 maxlim: 277 bits: 10/9 18.59/18.63 c ---[ 896]---> Adder-cost: 136 maxlim: 82 bits: 8/7 18.59/18.64 c ---[ 894]---> Adder-cost: 880 maxlim: 652 bits: 11/10 18.59/18.66 c ---[ 892]---> Adder-cost: 68 maxlim: 45 bits: 7/6 18.59/18.66 c ---[ 890]---> Adder-cost: 325 maxlim: 212 bits: 9/8 18.59/18.66 c ---[ 888]---> Adder-cost: 494 maxlim: 367 bits: 10/9 18.59/18.67 c ---[ 886]---> Adder-cost: 317 maxlim: 228 bits: 9/8 18.59/18.68 c ---[ 884]---> Adder-cost: 660 maxlim: 588 bits: 11/10 18.59/18.70 c ---[ 882]---> Adder-cost: 559 maxlim: 417 bits: 10/9 18.70/18.71 c ---[ 880]---> Adder-cost: 98 maxlim: 69 bits: 8/7 18.70/18.71 c ---[ 878]---> Adder-cost: 800 maxlim: 657 bits: 11/10 18.70/18.73 c ---[ 876]---> Adder-cost: 146 maxlim: 331 bits: 10/9 18.70/18.73 c ---[ 874]---> Adder-cost: 166 maxlim: 331 bits: 10/9 18.70/18.74 c ---[ 872]---> Adder-cost: 146 maxlim: 316 bits: 10/9 18.70/18.74 c ---[ 870]---> Adder-cost: 244 maxlim: 582 bits: 10/10 18.70/18.75 c ---[ 868]---> Adder-cost: 206 maxlim: 579 bits: 10/10 18.70/18.76 c ---[ 866]---> Adder-cost: 254 maxlim: 581 bits: 10/10 18.70/18.77 c ---[ 864]---> Adder-cost: 188 maxlim: 359 bits: 10/9 18.70/18.77 c ---[ 862]---> Adder-cost: 336 maxlim: 700 bits: 11/10 18.70/18.79 c ---[ 860]---> Adder-cost: 186 maxlim: 342 bits: 10/9 18.70/18.79 c ---[ 858]---> Adder-cost: 412 maxlim: 841 bits: 11/10 18.80/18.81 c ---[ 856]---> Adder-cost: 252 maxlim: 636 bits: 11/10 18.80/18.82 c ---[ 854]---> Adder-cost: 528 maxlim: 807 bits: 11/10 18.80/18.83 c ---[ 852]---> Adder-cost: 128 maxlim: 99 bits: 8/7 18.80/18.83 c ---[ 850]---> Adder-cost: 297 maxlim: 218 bits: 9/8 18.80/18.84 c ---[ 848]---> Adder-cost: 88 maxlim: 64 bits: 8/7 18.80/18.84 c ---[ 846]---> Adder-cost: 266 maxlim: 209 bits: 9/8 18.80/18.85 c ---[ 844]---> Adder-cost: 82 maxlim: 52 bits: 7/6 18.80/18.85 c ---[ 842]---> Adder-cost: 312 maxlim: 276 bits: 10/9 18.80/18.86 c ---[ 840]---> Adder-cost: 133 maxlim: 118 bits: 8/7 18.80/18.86 c ---[ 838]---> Adder-cost: 232 maxlim: 180 bits: 9/8 18.80/18.86 c ---[ 836]---> Adder-cost: 112 maxlim: 80 bits: 8/7 18.80/18.87 c ---[ 834]---> Adder-cost: 192 maxlim: 152 bits: 9/8 18.80/18.87 c ---[ 832]---> Adder-cost: 157 maxlim: 123 bits: 8/7 18.80/18.87 c ---[ 830]---> Adder-cost: 368 maxlim: 318 bits: 10/9 18.80/18.88 c ---[ 828]---> Adder-cost: 122 maxlim: 157 bits: 8/8 18.80/18.88 c ---[ 826]---> Sorter-cost: 1833 Base: 3 7 2 18.80/18.89 c ---[ 824]---> Adder-cost: 112 maxlim: 114 bits: 8/7 18.80/18.89 c ---[ 822]---> Sorter-cost: 1833 Base: 3 7 2 18.80/18.89 c ---[ 820]---> Sorter-cost: 1833 Base: 3 7 2 18.89/18.90 c ---[ 818]---> Adder-cost: 152 maxlim: 414 bits: 10/9 18.89/18.90 c ---[ 816]---> Adder-cost: 228 maxlim: 14 bits: 5/4 18.89/18.91 c ---[ 814]---> Adder-cost: 94 maxlim: 275 bits: 9/9 18.89/18.91 c ---[ 812]---> Adder-cost: 170 maxlim: 262173 bits: 20/19 18.89/18.92 c ---[ 810]---> Adder-cost: 178 maxlim: 262173 bits: 20/19 18.89/18.92 c ---[ 808]---> Adder-cost: 170 maxlim: 262173 bits: 20/19 18.89/18.93 c ---[ 806]---> Adder-cost: 170 maxlim: 262173 bits: 20/19 18.89/18.94 c ---[ 804]---> Adder-cost: 178 maxlim: 262173 bits: 20/19 18.89/18.94 c ---[ 802]---> Adder-cost: 62 maxlim: 48 bits: 7/6 18.89/18.95 c ---[ 798]---> Adder-cost: 76 maxlim: 81 bits: 8/7 18.89/18.95 c ---[ 796]---> Adder-cost: 134 maxlim: 243 bits: 9/8 18.89/18.95 c ---[ 794]---> Sorter-cost: 3031 Base: 3 7 2 2 2 2 2 2 2 2 2 18.89/18.98 c ---[ 792]---> Sorter-cost: 3031 Base: 3 7 2 2 2 2 2 2 2 2 2 18.99/19.01 c ---[ 790]---> Sorter-cost: 3031 Base: 3 7 2 2 2 2 2 2 2 2 2 18.99/19.05 c ---[ 788]---> Sorter-cost: 3031 Base: 3 7 2 2 2 2 2 2 2 2 2 18.99/19.08 c ---[ 786]---> Adder-cost: 152 maxlim: 414 bits: 10/9 18.99/19.08 c ---[ 784]---> Sorter-cost: 3031 Base: 3 7 2 2 2 2 2 2 2 2 2 19.09/19.11 c ---[ 782]---> Adder-cost: 256 maxlim: 11 bits: 5/4 19.09/19.12 c ---[ 780]---> Adder-cost: 86 maxlim: 275 bits: 9/9 19.09/19.12 c ---[ 778]---> Adder-cost: 170 maxlim: 262173 bits: 20/19 19.09/19.13 c ---[ 776]---> Adder-cost: 170 maxlim: 262173 bits: 20/19 19.09/19.14 c ---[ 774]---> Adder-cost: 178 maxlim: 262173 bits: 20/19 19.09/19.14 c ---[ 772]---> Adder-cost: 170 maxlim: 262173 bits: 20/19 19.09/19.15 c ---[ 770]---> Adder-cost: 170 maxlim: 262173 bits: 20/19 19.09/19.16 c ---[ 768]---> Sorter-cost: 1296 Base: 7 2 2 2 2 19.09/19.16 c ---[ 766]---> Sorter-cost: 1296 Base: 7 2 2 2 2 19.09/19.16 c ---[ 764]---> Adder-cost: 106 maxlim: 244 bits: 9/8 19.09/19.17 c ---[ 762]---> Adder-cost: 102 maxlim: 245 bits: 9/8 19.09/19.17 c ---[ 760]---> Adder-cost: 102 maxlim: 244 bits: 9/8 19.09/19.17 c ---[ 758]---> Adder-cost: 212 maxlim: 668 bits: 10/10 19.09/19.18 c ---[ 756]---> Adder-cost: 224 maxlim: 668 bits: 11/10 19.09/19.18 c ---[ 754]---> Adder-cost: 190 maxlim: 385 bits: 10/9 19.09/19.19 c ---[ 752]---> Adder-cost: 238 maxlim: 668 bits: 11/10 19.19/19.20 c ---[ 750]---> Adder-cost: 212 maxlim: 668 bits: 10/10 19.19/19.20 c ---[ 748]---> Adder-cost: 240 maxlim: 1234 bits: 11/11 19.19/19.21 c ---[ 746]---> Adder-cost: 293 maxlim: 24 bits: 6/5 19.19/19.22 c ---[ 744]---> Adder-cost: 232 maxlim: 462 bits: 10/9 19.19/19.22 c ---[ 742]---> Adder-cost: 324 maxlim: 690 bits: 11/10 19.19/19.24 c ---[ 740]---> Adder-cost: 240 maxlim: 462 bits: 10/9 19.19/19.24 c ---[ 738]---> Adder-cost: 416 maxlim: 1097 bits: 11/11 19.19/19.27 c ---[ 736]---> Adder-cost: 312 maxlim: 811 bits: 11/10 19.19/19.28 c ---[ 734]---> Adder-cost: 526 maxlim: 1098 bits: 11/11 19.29/19.30 c ---[ 732]---> Adder-cost: 369 maxlim: 90 bits: 8/7 19.29/19.31 c ---[ 730]---> Adder-cost: 172 maxlim: 1320 bits: 11/11 19.29/19.31 c ---[ 728]---> Adder-cost: 292 maxlim: 1500 bits: 11/11 19.29/19.33 c ---[ 726]---> Adder-cost: 292 maxlim: 1500 bits: 11/11 19.29/19.34 c ---[ 724]---> Adder-cost: 286 maxlim: 764 bits: 11/10 19.29/19.35 c ---[ 722]---> Adder-cost: 300 maxlim: 1524 bits: 11/11 19.29/19.36 c ---[ 720]---> Adder-cost: 322 maxlim: 1512 bits: 11/11 19.29/19.37 c ---[ 718]---> Adder-cost: 194 maxlim: 1350 bits: 11/11 19.29/19.37 c ---[ 716]---> Adder-cost: 312 maxlim: 1524 bits: 11/11 19.29/19.39 c ---[ 714]---> Adder-cost: 332 maxlim: 269 bits: 10/9 19.29/19.40 c ---[ 712]---> Sorter-cost: 1879 Base: 3 7 2 19.39/19.40 c ---[ 710]---> Adder-cost: 178 maxlim: 810 bits: 11/10 19.39/19.41 c ---[ 708]---> Adder-cost: 163 maxlim: 25 bits: 6/5 19.39/19.41 c ---[ 706]---> Sorter-cost: 741 Base: 2 2 2 2 2 2 19.39/19.41 c ---[ 704]---> Adder-cost: 112 maxlim: 542 bits: 11/10 19.39/19.41 c ---[ 702]---> Adder-cost: 142 maxlim: 286 bits: 9/9 19.39/19.42 c ---[ 700]---> Adder-cost: 132 maxlim: 243 bits: 9/8 19.39/19.42 c ---[ 698]---> Adder-cost: 150 maxlim: 415 bits: 10/9 19.39/19.42 c ---[ 696]---> Adder-cost: 172 maxlim: 766 bits: 11/10 19.39/19.43 c ---[ 694]---> Adder-cost: 138 maxlim: 14 bits: 5/4 19.39/19.43 c ---[ 692]---> Adder-cost: 124 maxlim: 196 bits: 8/8 19.39/19.44 c ---[ 690]---> Adder-cost: 164 maxlim: 444 bits: 10/9 19.39/19.44 c ---[ 688]---> Adder-cost: 258 maxlim: 346 bits: 10/9 19.39/19.45 c ---[ 686]---> Adder-cost: 182 maxlim: 777 bits: 11/10 19.39/19.45 c ---[ 684]---> Adder-cost: 318 maxlim: 631 bits: 11/10 19.39/19.46 c ---[ 682]---> Adder-cost: 246 maxlim: 36 bits: 7/6 19.39/19.47 c ---[ 680]---> Adder-cost: 92 maxlim: 285 bits: 9/9 19.39/19.47 c ---[ 678]---> Sorter-cost: 1252 Base: 3 5 2 2 2 2 19.39/19.47 c ---[ 676]---> Sorter-cost: 1252 Base: 3 5 2 2 2 2 19.39/19.48 c ---[ 674]---> Sorter-cost: 1199 Base: 3 5 2 2 2 19.39/19.48 c ---[ 672]---> Sorter-cost: 1287 Base: 3 5 2 2 2 19.39/19.49 c ---[ 670]---> Sorter-cost: 1475 Base: 2 2 3 5 2 2 19.39/19.49 c ---[ 668]---> Adder-cost: 136 maxlim: 1001 bits: 11/10 19.49/19.50 c ---[ 666]---> Adder-cost: 232 maxlim: 537 bits: 10/10 19.49/19.50 c ---[ 664]---> Adder-cost: 248 maxlim: 535 bits: 10/10 19.49/19.51 c ---[ 662]---> Adder-cost: 260 maxlim: 839 bits: 11/10 19.49/19.52 c ---[ 660]---> Adder-cost: 262 maxlim: 1015 bits: 11/10 19.49/19.53 c ---[ 658]---> Adder-cost: 215 maxlim: 25 bits: 6/5 19.49/19.53 c ---[ 656]---> Adder-cost: 92 maxlim: 535 bits: 10/10 19.49/19.54 c ---[ 654]---> Adder-cost: 112 maxlim: 542 bits: 11/10 19.49/19.54 c ---[ 652]---> Adder-cost: 174 maxlim: 652 bits: 11/10 19.49/19.55 c ---[ 650]---> Adder-cost: 174 maxlim: 652 bits: 11/10 19.49/19.55 c ---[ 648]---> Adder-cost: 176 maxlim: 652 bits: 11/10 19.49/19.56 c ---[ 646]---> Adder-cost: 154 maxlim: 360 bits: 10/9 19.49/19.56 c ---[ 644]---> Adder-cost: 156 maxlim: 362 bits: 10/9 19.49/19.57 c ---[ 642]---> Adder-cost: 154 maxlim: 360 bits: 10/9 19.49/19.57 c ---[ 640]---> Adder-cost: 154 maxlim: 360 bits: 10/9 19.49/19.58 c ---[ 638]---> Adder-cost: 154 maxlim: 360 bits: 10/9 19.49/19.58 c ---[ 636]---> Adder-cost: 296 maxlim: 15 bits: 5/4 19.49/19.58 c ---[ 632]---> Adder-cost: 164 maxlim: 664 bits: 10/10 19.49/19.59 c ---[ 630]---> Adder-cost: 164 maxlim: 664 bits: 10/10 19.49/19.59 c ---[ 628]---> Adder-cost: 160 maxlim: 344 bits: 9/9 19.59/19.60 c ---[ 626]---> Sorter-cost: 1568 Base: 5 2 2 2 19.59/19.60 c ---[ 624]---> Sorter-cost: 1568 Base: 5 2 2 2 19.59/19.60 c ---[ 620]---> Sorter-cost: 1254 Base: 2 7 2 2 2 19.59/19.61 c ---[ 618]---> Sorter-cost: 1254 Base: 2 7 2 2 2 19.59/19.61 c ---[ 616]---> Sorter-cost: 976 Base: 3 3 2 3 19.59/19.61 c ---[ 614]---> Adder-cost: 102 maxlim: 245 bits: 9/8 19.59/19.62 c ---[ 612]---> Sorter-cost: 1192 Base: 7 2 2 19.59/19.62 c ---[ 610]---> Sorter-cost: 1227 Base: 7 2 2 2 2 19.59/19.62 c ---[ 608]---> Sorter-cost: 1227 Base: 7 2 2 2 2 19.59/19.63 c ---[ 606]---> Sorter-cost: 1227 Base: 7 2 2 2 2 19.59/19.63 c ---[ 604]---> Sorter-cost: 804 Base: 2 2 2 2 2 2 2 19.59/19.63 c ---[ 602]---> Sorter-cost: 1227 Base: 7 2 2 2 2 19.59/19.63 c ---[ 600]---> Sorter-cost: 1227 Base: 7 2 2 2 2 19.59/19.64 c ---[ 598]---> Adder-cost: 204 maxlim: 325 bits: 9/9 19.59/19.64 c ---[ 596]---> Adder-cost: 152 maxlim: 135 bits: 8/8 19.59/19.65 c ---[ 594]---> Adder-cost: 142 maxlim: 135 bits: 8/8 19.59/19.65 c ---[ 592]---> Adder-cost: 134 maxlim: 16 bits: 6/5 19.59/19.65 c ---[ 590]---> Adder-cost: 168 maxlim: 616 bits: 10/10 19.59/19.66 c ---[ 588]---> Adder-cost: 168 maxlim: 616 bits: 10/10 19.59/19.66 c ---[ 586]---> Adder-cost: 168 maxlim: 616 bits: 10/10 19.59/19.67 c ---[ 584]---> Adder-cost: 148 maxlim: 324 bits: 9/9 19.59/19.67 c ---[ 582]---> Adder-cost: 162 maxlim: 326 bits: 9/9 19.59/19.67 c ---[ 580]---> Adder-cost: 154 maxlim: 324 bits: 9/9 19.59/19.68 c ---[ 578]---> Adder-cost: 148 maxlim: 324 bits: 9/9 19.59/19.68 c ---[ 576]---> Adder-cost: 148 maxlim: 324 bits: 9/9 19.59/19.68 c ---[ 574]---> Adder-cost: 1148 maxlim: 38 bits: 7/6 19.69/19.70 c ---[ 572]---> Adder-cost: 204 maxlim: 504 bits: 10/9 19.69/19.71 c ---[ 570]---> Sorter-cost: 1579 Base: 3 5 2 19.69/19.71 c ---[ 566]---> Adder-cost: 182 maxlim: 528 bits: 10/10 19.69/19.71 c ---[ 564]---> Adder-cost: 168 maxlim: 500 bits: 10/9 19.69/19.72 c ---[ 562]---> Adder-cost: 144 maxlim: 264 bits: 9/9 19.69/19.72 c ---[ 560]---> Adder-cost: 142 maxlim: 264 bits: 9/9 19.69/19.73 c ---[ 558]---> Adder-cost: 509 maxlim: 27 bits: 6/5 19.69/19.73 c ---[ 556]---> Adder-cost: 168 maxlim: 694 bits: 10/10 19.69/19.74 c ---[ 554]---> Adder-cost: 170 maxlim: 694 bits: 10/10 19.69/19.74 c ---[ 552]---> Sorter-cost: 1638 Base: 3 7 2 19.69/19.75 c ---[ 550]---> Sorter-cost: 1729 Base: 3 7 2 2 19.69/19.75 c ---[ 548]---> Sorter-cost: 1791 Base: 3 7 2 2 2 19.69/19.76 c ---[ 546]---> Adder-cost: 186 maxlim: 1050 bits: 11/11 19.69/19.76 c ---[ 544]---> Adder-cost: 186 maxlim: 1050 bits: 11/11 19.69/19.77 c ---[ 542]---> Adder-cost: 438 maxlim: 90 bits: 8/7 19.69/19.78 c ---[ 540]---> Sorter-cost: 1185 Base: 3 3 5 19.69/19.78 c ---[ 538]---> Adder-cost: 154 maxlim: 582 bits: 10/10 19.69/19.79 c ---[ 536]---> Sorter-cost: 1185 Base: 3 3 5 19.69/19.79 c ---[ 534]---> Sorter-cost: 1185 Base: 3 3 5 19.69/19.79 c ---[ 532]---> Sorter-cost: 1185 Base: 3 3 5 19.69/19.80 c ---[ 530]---> Sorter-cost: 1185 Base: 3 3 5 19.69/19.80 c ---[ 528]---> Adder-cost: 86 maxlim: 124 bits: 8/7 19.69/19.80 c ---[ 526]---> Adder-cost: 86 maxlim: 124 bits: 8/7 19.69/19.80 c ---[ 524]---> Adder-cost: 86 maxlim: 124 bits: 8/7 19.80/19.80 c ---[ 522]---> Adder-cost: 86 maxlim: 124 bits: 8/7 19.80/19.81 c ---[ 520]---> Adder-cost: 86 maxlim: 124 bits: 8/7 19.80/19.81 c ---[ 518]---> Adder-cost: 86 maxlim: 124 bits: 8/7 19.80/19.81 c ---[ 516]---> Adder-cost: 168 maxlim: 495 bits: 10/9 19.80/19.81 c ---[ 514]---> Adder-cost: 282 maxlim: 668 bits: 11/10 19.80/19.82 c ---[ 512]---> Adder-cost: 324 maxlim: 1231 bits: 12/11 19.80/19.84 c ---[ 510]---> Adder-cost: 236 maxlim: 694 bits: 11/10 19.80/19.84 c ---[ 508]---> Adder-cost: 326 maxlim: 1082 bits: 11/11 19.80/19.86 c ---[ 506]---> Adder-cost: 282 maxlim: 1282 bits: 12/11 19.80/19.87 c ---[ 504]---> Adder-cost: 174 maxlim: 492 bits: 10/9 19.80/19.87 c ---[ 502]---> Adder-cost: 360 maxlim: 2074 bits: 12/12 19.80/19.89 c ---[ 500]---> Adder-cost: 592 maxlim: 30 bits: 6/5 19.80/19.90 c ---[ 498]---> Adder-cost: 160 maxlim: 495 bits: 10/9 19.90/19.91 c ---[ 496]---> Adder-cost: 166 maxlim: 495 bits: 10/9 19.90/19.91 c ---[ 494]---> Adder-cost: 168 maxlim: 495 bits: 10/9 19.90/19.92 c ---[ 492]---> Adder-cost: 166 maxlim: 492 bits: 10/9 19.90/19.92 c ---[ 490]---> Adder-cost: 162 maxlim: 495 bits: 10/9 19.90/19.93 c ---[ 488]---> Adder-cost: 176 maxlim: 492 bits: 10/9 19.90/19.93 c ---[ 486]---> Adder-cost: 168 maxlim: 492 bits: 10/9 19.90/19.94 c ---[ 484]---> Adder-cost: 168 maxlim: 492 bits: 10/9 19.90/19.94 c ---[ 483]---> Adder-cost: 281 maxlim: 211 bits: 9/8 19.90/19.97 c ---[ 482]---> Adder-cost: 301 maxlim: 386 bits: 10/9 19.90/19.99 c ---[ 481]---> Adder-cost: 296 maxlim: 433 bits: 10/9 19.99/20.02 c ---[ 480]---> Adder-cost: 329 maxlim: 736 bits: 11/10 19.99/20.05 c ---[ 479]---> Adder-cost: 289 maxlim: 386 bits: 10/9 19.99/20.07 c ---[ 478]---> Adder-cost: 321 maxlim: 736 bits: 11/10 20.09/20.10 c ---[ 477]---> Adder-cost: 138 maxlim: 129 bits: 9/8 20.09/20.10 c ---[ 476]---> Adder-cost: 151 maxlim: 129 bits: 9/8 20.09/20.11 c ---[ 475]---> Adder-cost: 164 maxlim: 247 bits: 9/8 20.09/20.11 c ---[ 474]---> Adder-cost: 196 maxlim: 482 bits: 10/9 20.09/20.12 c ---[ 473]---> Adder-cost: 149 maxlim: 129 bits: 9/8 20.09/20.12 c ---[ 472]---> Adder-cost: 184 maxlim: 247 bits: 9/8 20.09/20.13 c ---[ 471]---> Adder-cost: 100 maxlim: 183 bits: 9/8 20.09/20.13 c ---[ 470]---> Adder-cost: 118 maxlim: 330 bits: 9/9 20.09/20.14 c ---[ 469]---> Adder-cost: 150 maxlim: 416 bits: 10/9 20.09/20.14 c ---[ 468]---> Adder-cost: 158 maxlim: 623 bits: 11/10 20.09/20.15 c ---[ 467]---> Adder-cost: 118 maxlim: 330 bits: 9/9 20.09/20.15 c ---[ 466]---> Adder-cost: 160 maxlim: 623 bits: 10/10 20.09/20.16 c ---[ 465]---> Adder-cost: 359 maxlim: 284 bits: 10/9 20.19/20.20 c ---[ 464]---> Adder-cost: 388 maxlim: 533 bits: 11/10 20.19/20.25 c ---[ 463]---> Adder-cost: 390 maxlim: 494 bits: 10/9 20.19/20.29 c ---[ 462]---> Adder-cost: 411 maxlim: 1030 bits: 12/11 20.29/20.34 c ---[ 461]---> Adder-cost: 388 maxlim: 533 bits: 11/10 20.29/20.39 c ---[ 460]---> Adder-cost: 403 maxlim: 1030 bits: 12/11 20.39/20.44 c ---[ 459]---> Sorter-cost: 1219 Base: 3 3 3 20.39/20.44 c ---[ 458]---> Adder-cost: 437 maxlim: 55 bits: 7/6 20.39/20.45 c ---[ 457]---> Adder-cost: 269 maxlim: 58 bits: 7/6 20.39/20.46 c ---[ 456]---> Adder-cost: 344 maxlim: 66 bits: 8/7 20.39/20.46 c ---[ 455]---> Adder-cost: 281 maxlim: 61 bits: 7/6 20.39/20.47 c ---[ 454]---> Adder-cost: 217 maxlim: 62 bits: 7/6 20.39/20.47 c ---[ 453]---> Sorter-cost: 1129 Base: 7 2 2 2 2 20.39/20.47 c ---[ 452]---> Adder-cost: 381 maxlim: 30 bits: 6/5 20.39/20.48 c ---[ 451]---> Adder-cost: 457 maxlim: 28 bits: 6/5 20.39/20.49 c ---[ 450]---> Adder-cost: 377 maxlim: 28 bits: 6/5 20.39/20.49 c ---[ 449]---> Adder-cost: 573 maxlim: 30 bits: 6/5 20.49/20.50 c ---[ 448]---> Adder-cost: 459 maxlim: 30 bits: 6/5 20.49/20.51 c ---[ 447]---> Adder-cost: 551 maxlim: 30 bits: 6/5 20.49/20.52 c ---[ 446]---> Sorter-cost: 1055 Base: 7 2 2 2 2 20.49/20.52 c ---[ 445]---> Adder-cost: 370 maxlim: 23 bits: 6/5 20.49/20.52 c ---[ 444]---> Adder-cost: 509 maxlim: 22 bits: 6/5 20.49/20.53 c ---[ 443]---> Adder-cost: 379 maxlim: 22 bits: 6/5 20.49/20.54 c ---[ 442]---> Adder-cost: 585 maxlim: 23 bits: 6/5 20.49/20.54 c ---[ 441]---> Adder-cost: 443 maxlim: 23 bits: 6/5 20.49/20.55 c ---[ 440]---> Adder-cost: 503 maxlim: 23 bits: 6/5 20.49/20.56 c ---[ 439]---> Sorter-cost: 846 Base: 7 3 20.49/20.56 c ---[ 438]---> Adder-cost: 320 maxlim: 20 bits: 6/5 20.49/20.57 c ---[ 437]---> Adder-cost: 572 maxlim: 20 bits: 6/5 20.49/20.58 c ---[ 436]---> Adder-cost: 298 maxlim: 20 bits: 6/5 20.49/20.58 c ---[ 435]---> Adder-cost: 414 maxlim: 20 bits: 6/5 20.49/20.59 c ---[ 434]---> Adder-cost: 341 maxlim: 20 bits: 6/5 20.49/20.59 c ---[ 433]---> Adder-cost: 336 maxlim: 20 bits: 6/5 20.59/20.60 c ---[ 432]---> Adder-cost: 123 maxlim: 23 bits: 6/5 20.59/20.60 c ---[ 431]---> Adder-cost: 476 maxlim: 20 bits: 6/5 20.59/20.61 c ---[ 430]---> Adder-cost: 655 maxlim: 20 bits: 6/5 20.59/20.62 c ---[ 429]---> Adder-cost: 458 maxlim: 20 bits: 6/5 20.59/20.63 c ---[ 428]---> Adder-cost: 593 maxlim: 20 bits: 6/5 20.59/20.64 c ---[ 427]---> Adder-cost: 443 maxlim: 20 bits: 6/5 20.59/20.65 c ---[ 426]---> Adder-cost: 655 maxlim: 20 bits: 6/5 20.59/20.66 c ---[ 425]---> Adder-cost: 119 maxlim: 20 bits: 6/5 20.59/20.66 c ---[ 424]---> Adder-cost: 469 maxlim: 19 bits: 6/5 20.59/20.67 c ---[ 423]---> Adder-cost: 644 maxlim: 19 bits: 6/5 20.59/20.68 c ---[ 422]---> Adder-cost: 424 maxlim: 19 bits: 6/5 20.59/20.68 c ---[ 421]---> Adder-cost: 607 maxlim: 19 bits: 6/5 20.59/20.69 c ---[ 420]---> Adder-cost: 523 maxlim: 19 bits: 6/5 20.69/20.70 c ---[ 419]---> Adder-cost: 701 maxlim: 19 bits: 6/5 20.69/20.71 c ---[ 418]---> Adder-cost: 112 maxlim: 21 bits: 6/5 20.69/20.71 c ---[ 417]---> Adder-cost: 447 maxlim: 20 bits: 6/5 20.69/20.72 c ---[ 416]---> Adder-cost: 592 maxlim: 20 bits: 6/5 20.69/20.73 c ---[ 415]---> Adder-cost: 376 maxlim: 20 bits: 6/5 20.69/20.74 c ---[ 414]---> Adder-cost: 495 maxlim: 20 bits: 6/5 20.69/20.75 c ---[ 413]---> Adder-cost: 394 maxlim: 20 bits: 6/5 20.69/20.75 c ---[ 412]---> Adder-cost: 399 maxlim: 20 bits: 6/5 20.69/20.76 c ---[ 411]---> Adder-cost: 105 maxlim: 213 bits: 9/8 20.69/20.76 c ---[ 410]---> Adder-cost: 329 maxlim: 59 bits: 7/6 20.69/20.77 c ---[ 409]---> Adder-cost: 558 maxlim: 45 bits: 7/6 20.69/20.78 c ---[ 408]---> Adder-cost: 486 maxlim: 46 bits: 7/6 20.69/20.79 c ---[ 407]---> Adder-cost: 583 maxlim: 43 bits: 7/6 20.79/20.80 c ---[ 406]---> Adder-cost: 464 maxlim: 46 bits: 7/6 20.79/20.81 c ---[ 405]---> Adder-cost: 615 maxlim: 43 bits: 7/6 20.79/20.82 c ---[ 404]---> Adder-cost: 94 maxlim: 114 bits: 8/7 20.79/20.82 c ---[ 403]---> Adder-cost: 290 maxlim: 37 bits: 7/6 20.79/20.83 c ---[ 402]---> Adder-cost: 591 maxlim: 30 bits: 6/5 20.79/20.84 c ---[ 401]---> Adder-cost: 470 maxlim: 30 bits: 6/5 20.79/20.85 c ---[ 400]---> Adder-cost: 545 maxlim: 29 bits: 6/5 20.79/20.86 c ---[ 399]---> Adder-cost: 452 maxlim: 30 bits: 6/5 20.79/20.87 c ---[ 398]---> Adder-cost: 581 maxlim: 29 bits: 6/5 20.79/20.88 c ---[ 397]---> Adder-cost: 96 maxlim: 204 bits: 9/8 20.79/20.88 c ---[ 396]---> Adder-cost: 423 maxlim: 62 bits: 7/6 20.79/20.89 c ---[ 395]---> Adder-cost: 800 maxlim: 51 bits: 7/6 20.79/20.90 c ---[ 394]---> Adder-cost: 460 maxlim: 52 bits: 7/6 20.89/20.90 c ---[ 393]---> Adder-cost: 553 maxlim: 51 bits: 7/6 20.89/20.91 c ---[ 392]---> Adder-cost: 490 maxlim: 52 bits: 7/6 20.89/20.92 c ---[ 391]---> Adder-cost: 600 maxlim: 52 bits: 7/6 20.89/20.93 c ---[ 390]---> Adder-cost: 105 maxlim: 19 bits: 6/5 20.89/20.94 c ---[ 389]---> Adder-cost: 396 maxlim: 19 bits: 6/5 20.89/20.94 c ---[ 388]---> Adder-cost: 651 maxlim: 19 bits: 6/5 20.89/20.95 c ---[ 387]---> Adder-cost: 411 maxlim: 19 bits: 6/5 20.89/20.96 c ---[ 386]---> Adder-cost: 560 maxlim: 19 bits: 6/5 20.89/20.97 c ---[ 385]---> Adder-cost: 502 maxlim: 19 bits: 6/5 20.89/20.98 c ---[ 384]---> Adder-cost: 555 maxlim: 19 bits: 6/5 20.89/20.99 c ---[ 383]---> Sorter-cost: 1609 Base: 3 2 2 2 2 2 20.89/20.99 c ---[ 382]---> Adder-cost: 482 maxlim: 525 bits: 10/10 20.99/21.02 c ---[ 381]---> Adder-cost: 668 maxlim: 721 bits: 10/10 20.99/21.07 c ---[ 380]---> Adder-cost: 462 maxlim: 482 bits: 10/9 21.09/21.10 c ---[ 379]---> Adder-cost: 658 maxlim: 708 bits: 10/10 21.09/21.14 c ---[ 378]---> Adder-cost: 582 maxlim: 601 bits: 10/10 21.09/21.17 c ---[ 377]---> Adder-cost: 650 maxlim: 753 bits: 10/10 21.19/21.22 c ---[ 376]---> Adder-cost: 134 maxlim: 351 bits: 10/9 21.19/21.22 c ---[ 375]---> Adder-cost: 472 maxlim: 491 bits: 10/9 21.19/21.24 c ---[ 374]---> Adder-cost: 736 maxlim: 698 bits: 10/10 21.29/21.30 c ---[ 373]---> Adder-cost: 484 maxlim: 475 bits: 10/9 21.29/21.32 c ---[ 372]---> Adder-cost: 626 maxlim: 696 bits: 10/10 21.29/21.36 c ---[ 371]---> Adder-cost: 528 maxlim: 585 bits: 10/10 21.39/21.40 c ---[ 370]---> Adder-cost: 642 maxlim: 718 bits: 10/10 21.39/21.44 c ---[ 369]---> Adder-cost: 126 maxlim: 172 bits: 9/8 21.39/21.44 c ---[ 368]---> Adder-cost: 426 maxlim: 709 bits: 10/10 21.39/21.46 c ---[ 367]---> Adder-cost: 618 maxlim: 848 bits: 10/10 21.49/21.50 c ---[ 366]---> Adder-cost: 348 maxlim: 432 bits: 10/9 21.49/21.51 c ---[ 365]---> Adder-cost: 450 maxlim: 520 bits: 10/10 21.49/21.54 c ---[ 364]---> Adder-cost: 418 maxlim: 582 bits: 10/10 21.49/21.56 c ---[ 363]---> Adder-cost: 366 maxlim: 418 bits: 10/9 21.49/21.58 c ---[ 362]---> Adder-cost: 500 maxlim: 19 bits: 6/5 21.49/21.59 c ---[ 361]---> Adder-cost: 542 maxlim: 19 bits: 6/5 21.59/21.60 c ---[ 360]---> Adder-cost: 580 maxlim: 25 bits: 6/5 21.59/21.61 c ---[ 359]---> Adder-cost: 142 maxlim: 176 bits: 9/8 21.59/21.61 c ---[ 358]---> Adder-cost: 489 maxlim: 512 bits: 11/10 21.59/21.62 c ---[ 357]---> Adder-cost: 528 maxlim: 641 bits: 10/10 21.59/21.66 c ---[ 356]---> Adder-cost: 413 maxlim: 385 bits: 10/9 21.59/21.67 c ---[ 355]---> Adder-cost: 444 maxlim: 470 bits: 10/9 21.59/21.68 c ---[ 354]---> Adder-cost: 469 maxlim: 549 bits: 11/10 21.59/21.69 c ---[ 353]---> Adder-cost: 352 maxlim: 460 bits: 10/9 21.69/21.71 c ---[ 352]---> Adder-cost: 168 maxlim: 518 bits: 11/10 21.69/21.72 c ---[ 351]---> Adder-cost: 168 maxlim: 518 bits: 11/10 21.69/21.73 c ---[ 350]---> Adder-cost: 170 maxlim: 518 bits: 11/10 21.69/21.74 c ---[ 349]---> Adder-cost: 178 maxlim: 518 bits: 11/10 21.69/21.76 c ---[ 348]---> Adder-cost: 170 maxlim: 518 bits: 11/10 21.69/21.77 c ---[ 347]---> Adder-cost: 178 maxlim: 518 bits: 11/10 21.69/21.78 c ---[ 346]---> Adder-cost: 170 maxlim: 518 bits: 11/10 21.69/21.79 c ---[ 345]---> Adder-cost: 168 maxlim: 518 bits: 11/10 21.79/21.80 c ---[ 344]---> Adder-cost: 175 maxlim: 1023 bits: 11/10 21.79/21.82 c ---[ 343]---> Adder-cost: 177 maxlim: 1023 bits: 11/10 21.79/21.84 c ---[ 342]---> Adder-cost: 179 maxlim: 1023 bits: 11/10 21.79/21.86 c ---[ 341]---> Adder-cost: 187 maxlim: 1023 bits: 11/10 21.79/21.87 c ---[ 340]---> Adder-cost: 177 maxlim: 1023 bits: 11/10 21.79/21.89 c ---[ 339]---> Adder-cost: 187 maxlim: 1023 bits: 11/10 21.89/21.91 c ---[ 338]---> Adder-cost: 179 maxlim: 1023 bits: 11/10 21.89/21.93 c ---[ 337]---> Adder-cost: 179 maxlim: 1023 bits: 11/10 21.89/21.95 c ---[ 336]---> Adder-cost: 588 maxlim: 19 bits: 6/5 21.89/21.96 c ---[ 335]---> Adder-cost: 614 maxlim: 19 bits: 6/5 21.89/21.97 c ---[ 334]---> Adder-cost: 596 maxlim: 25 bits: 6/5 21.89/21.98 c ---[ 333]---> Adder-cost: 247 maxlim: 518 bits: 11/10 21.89/22.00 c ---[ 332]---> Adder-cost: 247 maxlim: 518 bits: 11/10 21.99/22.01 c ---[ 331]---> Adder-cost: 245 maxlim: 518 bits: 11/10 21.99/22.03 c ---[ 330]---> Adder-cost: 247 maxlim: 518 bits: 11/10 21.99/22.05 c ---[ 329]---> Adder-cost: 245 maxlim: 518 bits: 11/10 21.99/22.07 c ---[ 328]---> Adder-cost: 247 maxlim: 518 bits: 11/10 21.99/22.08 c ---[ 327]---> Adder-cost: 247 maxlim: 518 bits: 11/10 21.99/22.10 c ---[ 326]---> Adder-cost: 247 maxlim: 518 bits: 11/10 22.09/22.12 c ---[ 325]---> Adder-cost: 262 maxlim: 1025 bits: 12/11 22.09/22.14 c ---[ 324]---> Adder-cost: 262 maxlim: 1025 bits: 12/11 22.09/22.16 c ---[ 323]---> Adder-cost: 260 maxlim: 1025 bits: 12/11 22.09/22.18 c ---[ 322]---> Adder-cost: 262 maxlim: 1025 bits: 12/11 22.19/22.20 c ---[ 321]---> Adder-cost: 262 maxlim: 1025 bits: 12/11 22.19/22.22 c ---[ 320]---> Adder-cost: 262 maxlim: 1025 bits: 12/11 22.19/22.24 c ---[ 319]---> Adder-cost: 260 maxlim: 1025 bits: 12/11 22.19/22.26 c ---[ 318]---> Adder-cost: 260 maxlim: 1025 bits: 12/11 22.19/22.28 c ---[ 317]---> Adder-cost: 153 maxlim: 518 bits: 11/10 22.19/22.29 c ---[ 316]---> Adder-cost: 153 maxlim: 518 bits: 11/10 22.29/22.30 c ---[ 315]---> Adder-cost: 153 maxlim: 518 bits: 11/10 22.29/22.31 c ---[ 314]---> Adder-cost: 153 maxlim: 518 bits: 11/10 22.29/22.32 c ---[ 313]---> Adder-cost: 153 maxlim: 518 bits: 11/10 22.29/22.33 c ---[ 312]---> Adder-cost: 153 maxlim: 518 bits: 11/10 22.29/22.34 c ---[ 311]---> Adder-cost: 151 maxlim: 518 bits: 11/10 22.29/22.35 c ---[ 310]---> Adder-cost: 151 maxlim: 518 bits: 11/10 22.29/22.36 c ---[ 309]---> Adder-cost: 180 maxlim: 1025 bits: 12/11 22.29/22.38 c ---[ 308]---> Adder-cost: 180 maxlim: 1025 bits: 12/11 22.39/22.40 c ---[ 307]---> Adder-cost: 180 maxlim: 1025 bits: 12/11 22.39/22.42 c ---[ 306]---> Adder-cost: 180 maxlim: 1025 bits: 12/11 22.39/22.44 c ---[ 305]---> Adder-cost: 180 maxlim: 1025 bits: 12/11 22.39/22.46 c ---[ 304]---> Adder-cost: 180 maxlim: 1025 bits: 12/11 22.39/22.48 c ---[ 303]---> Adder-cost: 180 maxlim: 1025 bits: 12/11 22.39/22.49 c ---[ 302]---> Adder-cost: 180 maxlim: 1025 bits: 12/11 22.49/22.51 c ---[ 301]---> Adder-cost: 102 maxlim: 166 bits: 9/8 22.49/22.52 c ---[ 300]---> Adder-cost: 433 maxlim: 83 bits: 8/7 22.49/22.53 c ---[ 299]---> Adder-cost: 546 maxlim: 69 bits: 8/7 22.49/22.54 c ---[ 298]---> Adder-cost: 375 maxlim: 83 bits: 8/7 22.49/22.54 c ---[ 297]---> Adder-cost: 414 maxlim: 83 bits: 8/7 22.49/22.55 c ---[ 296]---> Adder-cost: 446 maxlim: 87 bits: 8/7 22.49/22.56 c ---[ 295]---> Adder-cost: 384 maxlim: 77 bits: 8/7 22.49/22.57 c ---[ 293]---> Adder-cost: 240 maxlim: 177 bits: 9/8 22.49/22.57 c ---[ 291]---> Adder-cost: 588 maxlim: 571 bits: 11/10 22.59/22.61 c ---[ 289]---> Adder-cost: 1050 maxlim: 68538 bits: 17/17 22.99/23.00 c ---[ 287]---> Adder-cost: 1067 maxlim: 176960 bits: 19/18 23.39/23.45 c ---[ 285]---> Adder-cost: 1114 maxlim: 64241 bits: 17/16 23.69/23.76 c ---[ 283]---> Adder-cost: 966 maxlim: 64842 bits: 17/16 23.99/24.03 c ---[ 281]---> Adder-cost: 268 maxlim: 621 bits: 11/10 23.99/24.04 c ---[ 279]---> Adder-cost: 994 maxlim: 63950 bits: 17/16 24.29/24.34 c ---[ 277]---> Sorter-cost: 750 Base: 3 24.29/24.35 c ---[ 275]---> Adder-cost: 514 maxlim: 770 bits: 11/10 24.29/24.38 c ---[ 273]---> Adder-cost: 1393 maxlim: 189279 bits: 19/18 25.09/25.17 c ---[ 271]---> Adder-cost: 940 maxlim: 173742 bits: 19/18 26.19/26.26 c ---[ 269]---> Adder-cost: 1404 maxlim: 163850 bits: 19/18 26.99/27.03 c ---[ 267]---> Adder-cost: 1104 maxlim: 171641 bits: 19/18 28.09/28.14 c ---[ 265]---> Adder-cost: 196 maxlim: 364 bits: 10/9 28.09/28.15 c ---[ 263]---> Adder-cost: 1304 maxlim: 167250 bits: 19/18 29.09/29.16 c ---[ 259]---> Adder-cost: 430 maxlim: 792 bits: 10/10 29.09/29.18 c ---[ 257]---> Adder-cost: 894 maxlim: 23680 bits: 15/15 29.29/29.33 c ---[ 255]---> Adder-cost: 702 maxlim: 23217 bits: 15/15 29.39/29.42 c ---[ 253]---> Adder-cost: 1070 maxlim: 23152 bits: 15/15 29.59/29.61 c ---[ 251]---> Adder-cost: 809 maxlim: 23741 bits: 15/15 29.69/29.75 c ---[ 249]---> Adder-cost: 209 maxlim: 288 bits: 9/9 29.69/29.76 c ---[ 247]---> Adder-cost: 1058 maxlim: 23264 bits: 15/15 29.79/29.89 c ---[ 245]---> Adder-cost: 184 maxlim: 427 bits: 10/9 29.89/29.90 c ---[ 243]---> Adder-cost: 308 maxlim: 695 bits: 11/10 29.89/29.91 c ---[ 241]---> Adder-cost: 384 maxlim: 998 bits: 11/10 29.89/29.93 c ---[ 239]---> Adder-cost: 236 maxlim: 808 bits: 11/10 29.89/29.94 c ---[ 237]---> Adder-cost: 476 maxlim: 1015 bits: 11/10 29.89/29.96 c ---[ 235]---> Adder-cost: 424 maxlim: 11035 bits: 15/14 29.99/30.00 c ---[ 233]---> Adder-cost: 515 maxlim: 11093 bits: 15/14 29.99/30.06 c ---[ 231]---> Adder-cost: 481 maxlim: 11035 bits: 15/14 30.09/30.12 c ---[ 229]---> Adder-cost: 513 maxlim: 11209 bits: 15/14 30.09/30.19 c ---[ 227]---> Adder-cost: 511 maxlim: 11093 bits: 15/14 30.19/30.26 c ---[ 225]---> Adder-cost: 513 maxlim: 11209 bits: 15/14 30.29/30.32 c ---[ 223]---> Adder-cost: 68 maxlim: 84 bits: 7/7 30.29/30.33 c ---[ 219]---> Adder-cost: 82 maxlim: 151 bits: 8/8 30.29/30.33 c ---[ 217]---> Adder-cost: 414 maxlim: 423 bits: 10/9 30.29/30.34 c ---[ 215]---> Adder-cost: 746 maxlim: 768 bits: 10/10 30.29/30.39 c ---[ 213]---> Adder-cost: 934 maxlim: 962 bits: 11/10 30.39/30.47 c ---[ 211]---> Adder-cost: 732 maxlim: 684 bits: 10/10 30.49/30.52 c ---[ 209]---> Adder-cost: 936 maxlim: 857 bits: 11/10 30.59/30.60 c ---[ 207]---> Adder-cost: 716 maxlim: 774 bits: 10/10 30.59/30.66 c ---[ 205]---> Adder-cost: 402 maxlim: 409 bits: 10/9 30.59/30.67 c ---[ 203]---> Adder-cost: 994 maxlim: 866 bits: 11/10 30.69/30.74 c ---[ 201]---> Adder-cost: 416 maxlim: 495 bits: 10/9 30.69/30.75 c ---[ 199]---> Adder-cost: 780 maxlim: 857 bits: 11/10 30.69/30.80 c ---[ 197]---> Adder-cost: 974 maxlim: 1090 bits: 11/11 30.79/30.89 c ---[ 195]---> Adder-cost: 692 maxlim: 725 bits: 10/10 30.89/30.94 c ---[ 193]---> Adder-cost: 972 maxlim: 1022 bits: 11/10 30.99/31.02 c ---[ 191]---> Adder-cost: 752 maxlim: 917 bits: 11/10 30.99/31.08 c ---[ 189]---> Adder-cost: 390 maxlim: 427 bits: 10/9 30.99/31.09 c ---[ 187]---> Adder-cost: 976 maxlim: 1031 bits: 11/11 31.09/31.16 c ---[ 185]---> Adder-cost: 322 maxlim: 417 bits: 10/9 31.09/31.17 c ---[ 183]---> Adder-cost: 620 maxlim: 773 bits: 10/10 31.19/31.22 c ---[ 181]---> Adder-cost: 868 maxlim: 970 bits: 11/10 31.29/31.30 c ---[ 179]---> Adder-cost: 796 maxlim: 692 bits: 10/10 31.29/31.35 c ---[ 177]---> Adder-cost: 852 maxlim: 875 bits: 11/10 31.39/31.43 c ---[ 175]---> Adder-cost: 716 maxlim: 775 bits: 10/10 31.39/31.49 c ---[ 173]---> Adder-cost: 302 maxlim: 403 bits: 10/9 31.49/31.50 c ---[ 171]---> Adder-cost: 772 maxlim: 883 bits: 11/10 31.49/31.57 c ---[ 169]---> Adder-cost: 368 maxlim: 488 bits: 10/9 31.49/31.58 c ---[ 167]---> Adder-cost: 694 maxlim: 862 bits: 11/10 31.59/31.63 c ---[ 165]---> Adder-cost: 864 maxlim: 1098 bits: 11/11 31.69/31.72 c ---[ 163]---> Adder-cost: 836 maxlim: 735 bits: 10/10 31.69/31.77 c ---[ 161]---> Adder-cost: 784 maxlim: 1043 bits: 11/11 31.79/31.85 c ---[ 159]---> Adder-cost: 748 maxlim: 921 bits: 11/10 31.89/31.91 c ---[ 157]---> Adder-cost: 320 maxlim: 420 bits: 10/9 31.89/31.92 c ---[ 155]---> Adder-cost: 804 maxlim: 1051 bits: 11/11 31.89/31.99 c ---[ 154]---> Adder-cost: 112 maxlim: 136 bits: 9/8 31.89/31.99 c ---[ 153]---> Adder-cost: 426 maxlim: 413 bits: 9/9 31.99/32.02 c ---[ 152]---> Adder-cost: 702 maxlim: 628 bits: 10/10 31.99/32.07 c ---[ 151]---> Adder-cost: 468 maxlim: 399 bits: 9/9 32.09/32.10 c ---[ 150]---> Adder-cost: 558 maxlim: 563 bits: 10/10 32.09/32.14 c ---[ 149]---> Adder-cost: 552 maxlim: 540 bits: 10/10 32.09/32.17 c ---[ 148]---> Adder-cost: 620 maxlim: 719 bits: 10/10 32.19/32.21 c ---[ 147]---> Adder-cost: 106 maxlim: 136 bits: 9/8 32.19/32.21 c ---[ 146]---> Adder-cost: 408 maxlim: 390 bits: 9/9 32.19/32.24 c ---[ 145]---> Adder-cost: 630 maxlim: 611 bits: 10/10 32.19/32.29 c ---[ 144]---> Adder-cost: 476 maxlim: 399 bits: 9/9 32.29/32.32 c ---[ 143]---> Adder-cost: 544 maxlim: 563 bits: 10/10 32.29/32.36 c ---[ 142]---> Adder-cost: 554 maxlim: 540 bits: 10/10 32.29/32.39 c ---[ 141]---> Adder-cost: 622 maxlim: 674 bits: 10/10 32.39/32.43 c ---[ 140]---> Adder-cost: 264 maxlim: 31304 bits: 16/15 32.39/32.46 c ---[ 139]---> Adder-cost: 530 maxlim: 13674 bits: 15/14 32.49/32.50 c ---[ 138]---> Adder-cost: 525 maxlim: 11212 bits: 15/14 32.49/32.57 c ---[ 137]---> Adder-cost: 298 maxlim: 412 bits: 9/9 32.49/32.59 c ---[ 136]---> Adder-cost: 516 maxlim: 12007 bits: 15/14 32.59/32.64 c ---[ 135]---> Adder-cost: 489 maxlim: 14362 bits: 15/14 32.59/32.69 c ---[ 134]---> BDD-cost: 119 32.59/32.69 c ---[ 133]---> Adder-cost: 504 maxlim: 12012 bits: 15/14 32.69/32.74 c ---[ 132]---> Sorter-cost: 1012 Base: 3 5 2 2 32.69/32.74 c ---[ 131]---> Sorter-cost: 1060 Base: 3 5 2 2 32.69/32.74 c ---[ 130]---> Sorter-cost: 1060 Base: 3 5 2 2 32.69/32.74 c ---[ 129]---> Sorter-cost: 1060 Base: 3 5 2 2 32.69/32.75 c ---[ 128]---> Sorter-cost: 1060 Base: 3 5 2 2 32.69/32.75 c ---[ 127]---> Sorter-cost: 1060 Base: 3 5 2 2 32.69/32.75 c ---[ 126]---> Sorter-cost: 1060 Base: 3 5 2 2 32.69/32.76 c ---[ 125]---> Sorter-cost: 1325 Base: 3 3 3 2 2 32.69/32.76 c ---[ 124]---> Sorter-cost: 1325 Base: 3 3 3 2 2 32.69/32.76 c ---[ 123]---> Adder-cost: 102 maxlim: 217 bits: 9/8 32.69/32.77 c ---[ 122]---> Adder-cost: 408 maxlim: 490 bits: 10/9 32.69/32.79 c ---[ 121]---> Adder-cost: 524 maxlim: 592 bits: 10/10 32.79/32.82 c ---[ 120]---> Adder-cost: 348 maxlim: 397 bits: 9/9 32.79/32.83 c ---[ 119]---> Adder-cost: 374 maxlim: 464 bits: 9/9 32.79/32.86 c ---[ 118]---> Adder-cost: 440 maxlim: 560 bits: 10/10 32.79/32.88 c ---[ 117]---> Adder-cost: 350 maxlim: 458 bits: 9/9 32.79/32.89 c ---[ 116]---> Adder-cost: 304 maxlim: 295 bits: 9/9 32.89/32.90 c ---[ 115]---> Adder-cost: 702 maxlim: 621 bits: 10/10 32.89/32.95 c ---[ 114]---> Adder-cost: 914 maxlim: 799 bits: 10/10 32.99/33.05 c ---[ 113]---> Adder-cost: 648 maxlim: 581 bits: 10/10 32.99/33.10 c ---[ 112]---> Adder-cost: 814 maxlim: 717 bits: 10/10 33.09/33.18 c ---[ 111]---> Adder-cost: 724 maxlim: 635 bits: 10/10 33.18/33.24 c ---[ 110]---> Adder-cost: 300 maxlim: 285 bits: 9/9 33.18/33.25 c ---[ 109]---> Adder-cost: 764 maxlim: 705 bits: 10/10 33.28/33.32 c ---[ 108]---> Adder-cost: 322 maxlim: 355 bits: 9/9 33.28/33.34 c ---[ 107]---> Adder-cost: 722 maxlim: 666 bits: 10/10 33.28/33.39 c ---[ 106]---> Adder-cost: 924 maxlim: 824 bits: 10/10 33.38/33.48 c ---[ 105]---> Adder-cost: 654 maxlim: 617 bits: 10/10 33.48/33.53 c ---[ 104]---> Adder-cost: 858 maxlim: 764 bits: 10/10 33.58/33.61 c ---[ 103]---> Adder-cost: 752 maxlim: 691 bits: 10/10 33.58/33.67 c ---[ 102]---> Adder-cost: 316 maxlim: 323 bits: 9/9 33.58/33.68 c ---[ 101]---> Adder-cost: 788 maxlim: 751 bits: 10/10 33.68/33.76 c ---[ 99]---> Adder-cost: 392 maxlim: 476 bits: 10/9 33.68/33.77 c ---[ 98]---> Adder-cost: 468 maxlim: 590 bits: 11/10 33.68/33.79 c ---[ 97]---> Adder-cost: 396 maxlim: 340 bits: 10/9 33.78/33.81 c ---[ 96]---> Adder-cost: 471 maxlim: 424 bits: 10/9 33.78/33.83 c ---[ 95]---> Adder-cost: 437 maxlim: 449 bits: 10/9 33.78/33.84 c ---[ 94]---> Adder-cost: 496 maxlim: 473 bits: 10/9 33.78/33.85 c ---[ 93]---> Sorter-cost: 966 Base: 3 3 2 33.78/33.85 c ---[ 92]---> Adder-cost: 356 maxlim: 358 bits: 9/9 33.78/33.87 c ---[ 91]---> Adder-cost: 462 maxlim: 498 bits: 10/9 33.88/33.90 c ---[ 90]---> Adder-cost: 382 maxlim: 340 bits: 9/9 33.88/33.92 c ---[ 89]---> Adder-cost: 426 maxlim: 424 bits: 9/9 33.88/33.95 c ---[ 88]---> Adder-cost: 404 maxlim: 449 bits: 9/9 33.88/33.98 c ---[ 87]---> Adder-cost: 448 maxlim: 473 bits: 9/9 33.98/34.01 c ---[ 86]---> Adder-cost: 146 maxlim: 243 bits: 9/8 33.98/34.01 c ---[ 85]---> Adder-cost: 538 maxlim: 560 bits: 10/10 33.98/34.04 c ---[ 84]---> Adder-cost: 818 maxlim: 720 bits: 10/10 33.98/34.09 c ---[ 83]---> Adder-cost: 570 maxlim: 494 bits: 10/9 34.09/34.13 c ---[ 82]---> Adder-cost: 930 maxlim: 781 bits: 10/10 34.19/34.28 c ---[ 81]---> Adder-cost: 644 maxlim: 558 bits: 10/10 34.29/34.32 c ---[ 80]---> Adder-cost: 162 maxlim: 190 bits: 8/8 34.29/34.32 c ---[ 79]---> Adder-cost: 970 maxlim: 818 bits: 10/10 34.39/34.40 c ---[ 78]---> Adder-cost: 121 maxlim: 126 bits: 8/7 34.39/34.41 c ---[ 77]---> Adder-cost: 470 maxlim: 467 bits: 10/9 34.39/34.43 c ---[ 76]---> Adder-cost: 820 maxlim: 667 bits: 10/10 34.39/34.49 c ---[ 75]---> Adder-cost: 582 maxlim: 461 bits: 10/9 34.49/34.52 c ---[ 74]---> Adder-cost: 916 maxlim: 786 bits: 10/10 34.59/34.60 c ---[ 73]---> Adder-cost: 612 maxlim: 745 bits: 10/10 34.59/34.63 c ---[ 72]---> Adder-cost: 158 maxlim: 255 bits: 9/8 34.59/34.64 c ---[ 71]---> Adder-cost: 970 maxlim: 973 bits: 11/10 34.69/34.72 c ---[ 70]---> Adder-cost: 158 maxlim: 243 bits: 9/8 34.69/34.73 c ---[ 69]---> Adder-cost: 555 maxlim: 560 bits: 11/10 34.69/34.74 c ---[ 68]---> Adder-cost: 861 maxlim: 720 bits: 11/10 34.69/34.77 c ---[ 67]---> Adder-cost: 635 maxlim: 494 bits: 10/9 34.69/34.78 c ---[ 66]---> Adder-cost: 925 maxlim: 827 bits: 11/10 34.79/34.80 c ---[ 65]---> Adder-cost: 699 maxlim: 831 bits: 11/10 34.79/34.82 c ---[ 64]---> Adder-cost: 232 maxlim: 796 bits: 10/10 34.79/34.83 c ---[ 63]---> Adder-cost: 1076 maxlim: 1162 bits: 12/11 34.79/34.85 c ---[ 62]---> Sorter-cost: 1001 Base: 2 3 5 2 34.79/34.85 c ---[ 61]---> Adder-cost: 312 maxlim: 334 bits: 10/9 34.79/34.87 c ---[ 60]---> Adder-cost: 380 maxlim: 412 bits: 10/9 34.79/34.89 c ---[ 59]---> Adder-cost: 293 maxlim: 269 bits: 10/9 34.89/34.90 c ---[ 58]---> Adder-cost: 380 maxlim: 381 bits: 10/9 34.89/34.92 c ---[ 57]---> Adder-cost: 385 maxlim: 500 bits: 10/9 34.89/34.94 c ---[ 56]---> Adder-cost: 326 maxlim: 435 bits: 10/9 34.89/34.95 c ---[ 55]---> Adder-cost: 168 maxlim: 285 bits: 9/9 34.89/34.96 c ---[ 54]---> Adder-cost: 512 maxlim: 506 bits: 10/9 34.89/34.98 c ---[ 53]---> Adder-cost: 842 maxlim: 765 bits: 10/10 34.99/35.06 c ---[ 52]---> Adder-cost: 624 maxlim: 507 bits: 10/9 34.99/35.09 c ---[ 51]---> Adder-cost: 764 maxlim: 843 bits: 10/10 35.09/35.18 c ---[ 50]---> Adder-cost: 658 maxlim: 562 bits: 10/10 35.19/35.22 c ---[ 49]---> Adder-cost: 124 maxlim: 131 bits: 8/8 35.19/35.22 c ---[ 48]---> Adder-cost: 1000 maxlim: 924 bits: 10/10 35.29/35.31 c ---[ 47]---> Adder-cost: 160 maxlim: 283 bits: 9/9 35.29/35.31 c ---[ 46]---> Adder-cost: 508 maxlim: 506 bits: 10/9 35.29/35.34 c ---[ 45]---> Adder-cost: 880 maxlim: 765 bits: 10/10 35.39/35.41 c ---[ 44]---> Adder-cost: 628 maxlim: 507 bits: 10/9 35.39/35.45 c ---[ 43]---> Adder-cost: 828 maxlim: 855 bits: 10/10 35.49/35.54 c ---[ 42]---> Adder-cost: 656 maxlim: 636 bits: 10/10 35.49/35.58 c ---[ 41]---> Adder-cost: 144 maxlim: 184 bits: 8/8 35.49/35.59 c ---[ 40]---> Adder-cost: 1044 maxlim: 988 bits: 11/10 35.59/35.67 c ---[ 39]---> Sorter-cost: 1849 Base: 3 3 2 3 35.59/35.68 c ---[ 38]---> Adder-cost: 446 maxlim: 571 bits: 11/10 35.59/35.69 c ---[ 37]---> Adder-cost: 388 maxlim: 682 bits: 10/10 35.69/35.72 c ---[ 36]---> Adder-cost: 307 maxlim: 410 bits: 10/9 35.69/35.73 c ---[ 35]---> Adder-cost: 394 maxlim: 491 bits: 10/9 35.69/35.75 c ---[ 34]---> Adder-cost: 431 maxlim: 584 bits: 11/10 35.69/35.76 c ---[ 33]---> Adder-cost: 304 maxlim: 484 bits: 10/9 35.69/35.78 c ---[ 32]---> Adder-cost: 274 maxlim: 304 bits: 9/9 35.69/35.79 c ---[ 31]---> Adder-cost: 724 maxlim: 649 bits: 10/10 35.79/35.84 c ---[ 30]---> Adder-cost: 834 maxlim: 823 bits: 10/10 35.89/35.93 c ---[ 29]---> Adder-cost: 678 maxlim: 592 bits: 10/10 35.89/35.98 c ---[ 28]---> Adder-cost: 744 maxlim: 719 bits: 10/10 35.99/36.06 c ---[ 27]---> Adder-cost: 776 maxlim: 652 bits: 10/10 36.09/36.12 c ---[ 26]---> Adder-cost: 268 maxlim: 292 bits: 9/9 36.09/36.13 c ---[ 25]---> Adder-cost: 756 maxlim: 712 bits: 10/10 36.19/36.20 c ---[ 24]---> Adder-cost: 254 maxlim: 368 bits: 9/9 36.19/36.21 c ---[ 23]---> Adder-cost: 746 maxlim: 686 bits: 10/10 36.19/36.27 c ---[ 22]---> Adder-cost: 832 maxlim: 845 bits: 10/10 36.29/36.35 c ---[ 21]---> Adder-cost: 688 maxlim: 622 bits: 10/10 36.39/36.41 c ---[ 20]---> Adder-cost: 778 maxlim: 772 bits: 10/10 36.39/36.49 c ---[ 19]---> Adder-cost: 784 maxlim: 698 bits: 10/10 36.49/36.55 c ---[ 18]---> Adder-cost: 272 maxlim: 326 bits: 9/9 36.49/36.56 c ---[ 17]---> Adder-cost: 772 maxlim: 764 bits: 10/10 36.59/36.63 c ---[ 16]---> BDD-cost: 16 36.59/36.64 c ---[ 15]---> BDD-cost: 15 36.59/36.64 c ---[ 14]---> BDD-cost: 13 36.59/36.64 c ---[ 13]---> BDD-cost: 10 36.59/36.64 c ---[ 12]---> BDD-cost: 15 36.59/36.64 c ---[ 11]---> BDD-cost: 15 36.59/36.64 c ---[ 10]---> BDD-cost: 15 36.59/36.64 c ---[ 9]---> BDD-cost: 15 36.59/36.64 c ---[ 8]---> BDD-cost: 15 36.59/36.64 c ---[ 7]---> BDD-cost: 15 36.59/36.64 c ---[ 6]---> BDD-cost: 6 36.59/36.64 c ---[ 5]---> BDD-cost: 10 36.59/36.64 c ---[ 4]---> BDD-cost: 10 36.59/36.64 c ---[ 3]---> BDD-cost: 12 36.59/36.64 c ---[ 2]---> BDD-cost: 14 36.59/36.64 c ---[ 1]---> BDD-cost: 13 36.59/36.64 c ---[ 0]---> Sorter-cost: 941 Base: 3 3 1800.09/1800.40 | Eliminated clauses: 3.53 Mb | 1800.09/1800.40 ============================[ Search Statistics ]============================== 1800.09/1800.40 | Conflicts | ORIGINAL | LEARNT | Progress | 1800.09/1800.40 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 1800.09/1800.40 =============================================================================== 1800.09/1800.40 | 100 | 572977 3447546 11839139 | 1264100 99 8 | 9.542 % | 1800.09/1800.40 | 250 | 572977 3447546 11839139 | 1390510 249 5 | 9.542 % | 1800.09/1800.40 | 475 | 572976 3447546 11839139 | 1529561 473 4 | 9.542 % | 1800.09/1800.40 | 812 | 572972 3447546 11839139 | 1682517 806 4 | 9.543 % | 1800.09/1800.40 | 1318 | 572969 3447546 11839139 | 1850769 1310 5 | 9.543 % | 1800.09/1800.40 | 2077 | 572955 3447546 11839139 | 2035846 2067 5 | 9.545 % | 1800.09/1800.40 | 3216 | 572948 3447546 11839139 | 2239430 3202 5 | 9.546 % | 1800.09/1800.40 | 4924 | 572849 3447546 11839139 | 2463373 4899 7 | 9.560 % | 1800.09/1800.40 | 7486 | 572837 3447546 11839139 | 2709711 7452 7 | 9.562 % | 1800.09/1800.40 | 11330 | 572729 3447546 11839139 | 2980682 11260 7 | 9.577 % | 1800.09/1800.40 | 17096 | 572669 3447546 11839139 | 3278750 17011 10 | 9.585 % | 1800.09/1800.40 | 25745 | 572648 3447546 11839139 | 3606625 25656 15 | 9.588 % | 1800.09/1800.40 | 38719 | 572576 3447546 11839139 | 3967287 38309 14 | 9.599 % | 1800.09/1800.40 | 58180 | 572451 3447546 11839139 | 4364016 57750 16 | 9.616 % | 1800.09/1800.40 | 87372 | 572375 3447546 11839139 | 4800418 86066 19 | 9.627 % | 1800.09/1800.40 | 131161 | 572331 3447546 11839139 | 5280460 126532 26 | 9.633 % | 1800.09/1800.40 | 196845 | 572313 3447546 11839139 | 5808506 192210 29 | 9.636 % | 1800.09/1800.40 | 295371 | 572313 3447546 11839139 | 6389356 290707 31 | 9.636 % | 1800.09/1800.40 | 443160 | 572312 3447546 11839139 | 7028292 438495 33 | 9.636 % | 1800.09/1800.40 | 664843 | 572312 3447546 11839139 | 7731121 660178 34 | 9.636 % | 1800.09/1800.40 | 997368 | 572256 3447546 11839139 | 8504234 992689 36 | 9.644 % | 1800.09/1800.40 | 1496156 | 572237 3447546 11839139 | 9354657 1491421 37 | 9.646 % | 1800.09/1800.40 c 1800.09/1800.40 c *** TERMINATED *** 1800.09/1800.40 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4115201-1466524886/watcher-4115201-1466524886 -o /tmp/evaluation-result-4115201-1466524886/solver-4115201-1466524886 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466515278-25741 --watchdog 1960 minisatp HOME/instance-4115201-1466524886.opb pid=28152 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.00 2.02 2.00 3/177 28155 /proc/meminfo: memFree=31762280/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=8152 CPUtime=0 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 695 0 0 0 0 0 0 0 20 0 1 0 54539032 8347648 571 33554432000 4194304 5646918 140736457350592 140735865646728 4430317 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 2038 571 84 355 0 1679 0 [startup+0.100165 s] /proc/loadavg: 2.00 2.02 2.00 3/177 28155 /proc/meminfo: memFree=31762280/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=12812 CPUtime=0.09 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 1915 0 0 0 9 0 0 0 20 0 1 0 54539032 13119488 1749 33554432000 4194304 5646918 140736457350592 140735865646728 4388221 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 3203 1749 97 355 0 2844 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12812 [startup+0.200354 s] /proc/loadavg: 2.00 2.02 2.00 3/177 28155 /proc/meminfo: memFree=31762280/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=17280 CPUtime=0.19 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 3045 0 0 0 19 0 0 0 20 0 1 0 54539032 17694720 2796 33554432000 4194304 5646918 140736457350592 140735865646728 4953072 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 4320 2796 97 355 0 3961 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 17280 [startup+0.30031 s] /proc/loadavg: 2.00 2.02 2.00 3/177 28155 /proc/meminfo: memFree=31762280/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=21368 CPUtime=0.29 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 3937 0 0 0 29 0 0 0 20 0 1 0 54539032 21880832 3688 33554432000 4194304 5646918 140736457350592 140735865646728 4456896 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 5342 3688 97 355 0 4983 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21368 [startup+0.700229 s] /proc/loadavg: 2.00 2.02 2.00 3/177 28155 /proc/meminfo: memFree=31762280/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=36600 CPUtime=0.68 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 7767 0 0 0 68 0 0 0 20 0 1 0 54539032 37478400 7343 33554432000 4194304 5646918 140736457350592 140736457348600 4817699 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 9150 7343 97 355 0 8791 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 36600 [startup+1.50023 s] /proc/loadavg: 2.00 2.02 2.00 3/178 28156 /proc/meminfo: memFree=31718872/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=64544 CPUtime=1.49 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 14640 0 0 0 148 1 0 0 20 0 1 0 54539032 66093056 14199 33554432000 4194304 5646918 140736457350592 140736457348680 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 16136 14199 97 355 0 15777 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 64544 [startup+3.10021 s] /proc/loadavg: 2.00 2.02 2.00 3/178 28156 /proc/meminfo: memFree=31684028/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=112904 CPUtime=3.09 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 26644 0 0 0 306 3 0 0 20 0 1 0 54539032 115613696 25847 33554432000 4194304 5646918 140736457350592 140736457349960 4953072 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 28226 25847 97 355 0 27867 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 112904 [startup+6.30024 s] /proc/loadavg: 2.00 2.02 2.00 3/178 28156 /proc/meminfo: memFree=31643028/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=128968 CPUtime=6.29 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 31359 0 0 0 626 3 0 0 20 0 1 0 54539032 132063232 29899 33554432000 4194304 5646918 140736457350592 140736457349256 4345080 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 32242 29899 154 355 0 31883 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 128968 [startup+12.7002 s] /proc/loadavg: 2.00 2.02 2.00 4/178 28156 /proc/meminfo: memFree=31634084/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=136668 CPUtime=12.69 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 32033 0 0 0 1265 4 0 0 20 0 1 0 54539032 139948032 31595 33554432000 4194304 5646918 140736457350592 140736457349256 4819040 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 34167 31595 154 355 0 33808 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 136668 [startup+25.5003 s] /proc/loadavg: 2.00 2.02 2.00 3/178 28156 /proc/meminfo: memFree=31316852/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=151856 CPUtime=25.49 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 35135 0 0 0 2544 5 0 0 20 0 1 0 54539032 155500544 35650 33554432000 4194304 5646918 140736457350592 140736457349256 4819040 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 37964 35650 154 355 0 37605 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 151856 [startup+51.1004 s] /proc/loadavg: 2.00 2.02 2.00 3/177 28156 /proc/meminfo: memFree=30902828/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=547308 CPUtime=51.08 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 77672 0 0 0 5093 15 0 0 20 0 1 0 54539032 560443392 118853 33554432000 4194304 5646918 140736457350592 140736457348696 4403091 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 136827 118853 183 355 0 136468 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 547308 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 28158 /proc/meminfo: memFree=30740432/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=649000 CPUtime=102.28 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 83183 0 0 0 10211 17 0 0 20 0 1 0 54539032 664576000 135073 33554432000 4194304 5646918 140736457350592 140736457348728 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 162250 135073 183 355 0 161891 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 649000 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 28159 /proc/meminfo: memFree=30630072/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=660408 CPUtime=162.27 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 85855 0 0 0 16208 19 0 0 20 0 1 0 54539032 676257792 144388 33554432000 4194304 5646918 140736457350592 140736457348728 4403368 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 165102 144388 183 355 0 164743 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 660408 [startup+222.307 s] /proc/loadavg: 2.07 2.02 2.00 3/177 28160 /proc/meminfo: memFree=30516112/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=669036 CPUtime=222.27 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 87921 0 0 0 22207 20 0 0 20 0 1 0 54539032 685092864 149520 33554432000 4194304 5646918 140736457350592 140736457348696 4402811 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 167259 149520 183 355 0 166900 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 669036 [startup+282.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 28161 /proc/meminfo: memFree=30450860/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=674968 CPUtime=282.25 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 89220 0 0 0 28205 20 0 0 20 0 1 0 54539032 691167232 152863 33554432000 4194304 5646918 140736457350592 140736457348728 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 168742 152863 183 355 0 168383 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 674968 [startup+342.3 s] /proc/loadavg: 2.09 2.02 2.01 3/177 28162 /proc/meminfo: memFree=30384124/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=678276 CPUtime=342.24 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 90098 0 0 0 34204 20 0 0 20 0 1 0 54539032 694554624 157318 33554432000 4194304 5646918 140736457350592 140736457348728 4403368 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 169569 157318 183 355 0 169210 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 678276 [startup+402.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 28164 /proc/meminfo: memFree=30307964/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=682844 CPUtime=402.23 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 91195 0 0 0 40202 21 0 0 20 0 1 0 54539032 699232256 161481 33554432000 4194304 5646918 140736457350592 140736457348728 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 170711 161481 183 355 0 170352 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 682844 [startup+462.3 s] /proc/loadavg: 2.01 2.01 2.00 4/177 28165 /proc/meminfo: memFree=30247696/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=819336 CPUtime=462.22 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 92694 0 0 0 46200 22 0 0 20 0 1 0 54539032 839000064 164502 33554432000 4194304 5646918 140736457350592 140736457348728 4403047 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 204834 164502 183 355 0 204475 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 819336 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 28169 /proc/meminfo: memFree=30173028/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=828460 CPUtime=522.21 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 93980 0 0 0 52199 22 0 0 20 0 1 0 54539032 848343040 168854 33554432000 4194304 5646918 140736457350592 140736457348840 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 207115 168854 183 355 0 206756 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 828460 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 28170 /proc/meminfo: memFree=30102096/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=828460 CPUtime=582.2 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 94101 0 0 0 58198 22 0 0 20 0 1 0 54539032 848343040 172552 33554432000 4194304 5646918 140736457350592 140736457348840 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 207115 172552 183 355 0 206756 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 828460 ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.15 2.05 2.01 3/177 28177 /proc/meminfo: memFree=29799084/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=848640 CPUtime=882.16 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 99053 0 0 0 88192 24 0 0 20 0 1 0 54539032 869007360 185768 33554432000 4194304 5646918 140736457350592 140736457348728 4402827 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 212160 185768 183 355 0 211801 0 Current children cumulated CPU time (s) 882.16 Current children cumulated vsize (KiB) 848640 [startup+942.3 s] /proc/loadavg: 2.09 2.06 2.01 3/177 28178 /proc/meminfo: memFree=29752212/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=856320 CPUtime=942.14 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 100718 0 0 0 94189 25 0 0 20 0 1 0 54539032 876871680 189540 33554432000 4194304 5646918 140736457350592 140736457348728 4402795 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 214080 189540 183 355 0 213721 0 Current children cumulated CPU time (s) 942.14 Current children cumulated vsize (KiB) 856320 [startup+1002.3 s] /proc/loadavg: 2.07 2.06 2.01 4/177 28180 /proc/meminfo: memFree=29685452/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=856320 CPUtime=1002.11 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 100887 0 0 0 100185 26 0 0 20 0 1 0 54539032 876871680 192433 33554432000 4194304 5646918 140736457350592 140736457348728 4402829 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 214080 192433 183 355 0 213721 0 Current children cumulated CPU time (s) 1002.11 Current children cumulated vsize (KiB) 856320 [startup+1062.3 s] /proc/loadavg: 2.06 2.06 2.01 3/177 28181 /proc/meminfo: memFree=29598320/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=857760 CPUtime=1062.1 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 101199 0 0 0 106184 26 0 0 20 0 1 0 54539032 878346240 196295 33554432000 4194304 5646918 140736457350592 140736457348728 4402874 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 214440 196295 183 355 0 214081 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 857760 [startup+1122.3 s] /proc/loadavg: 2.02 2.05 2.01 3/178 28185 /proc/meminfo: memFree=29544728/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=867404 CPUtime=1122.09 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 101593 0 0 0 112183 26 0 0 20 0 1 0 54539032 888221696 199392 33554432000 4194304 5646918 140736457350592 140736457348840 4402827 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 216851 199392 183 355 0 216492 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 867404 [startup+1182.3 s] /proc/loadavg: 2.08 2.05 2.01 3/177 28186 /proc/meminfo: memFree=29397140/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=867404 CPUtime=1182.08 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 101652 0 0 0 118182 26 0 0 20 0 1 0 54539032 888221696 200472 33554432000 4194304 5646918 140736457350592 140736457348840 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 216851 200472 183 355 0 216492 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 867404 [startup+1242.3 s] /proc/loadavg: 2.03 2.04 2.00 3/177 28187 /proc/meminfo: memFree=29351940/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=867404 CPUtime=1242.07 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 101655 0 0 0 124181 26 0 0 20 0 1 0 54539032 888221696 201496 33554432000 4194304 5646918 140736457350592 140736457348840 4402806 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 216851 201496 183 355 0 216492 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 867404 [startup+1302.3 s] /proc/loadavg: 2.01 2.03 2.00 3/177 28189 /proc/meminfo: memFree=29312640/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=869564 CPUtime=1302.06 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 102188 0 0 0 130180 26 0 0 20 0 1 0 54539032 890433536 203051 33554432000 4194304 5646918 140736457350592 140736457348728 4402827 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 217391 203051 183 355 0 217032 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 869564 [startup+1362.3 s] /proc/loadavg: 2.07 2.04 2.00 4/177 28190 /proc/meminfo: memFree=29275944/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=872804 CPUtime=1362.05 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 102273 0 0 0 136179 26 0 0 20 0 1 0 54539032 893751296 204669 33554432000 4194304 5646918 140736457350592 140736457348728 4403431 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 218201 204669 183 355 0 217842 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 872804 [startup+1422.3 s] /proc/loadavg: 2.02 2.03 2.00 3/177 28191 /proc/meminfo: memFree=29225348/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=874964 CPUtime=1422.04 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 102687 0 0 0 142178 26 0 0 20 0 1 0 54539032 895963136 206105 33554432000 4194304 5646918 140736457350592 140736457348728 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 218741 206105 183 355 0 218382 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 874964 [startup+1482.3 s] /proc/loadavg: 2.04 2.03 2.00 3/177 28192 /proc/meminfo: memFree=29190080/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=876404 CPUtime=1482.03 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 102957 0 0 0 148176 27 0 0 20 0 1 0 54539032 897437696 207908 33554432000 4194304 5646918 140736457350592 140736457348728 4402736 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 219101 207908 183 355 0 218742 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 876404 [startup+1542.31 s] /proc/loadavg: 2.01 2.03 2.00 4/177 28193 /proc/meminfo: memFree=29154444/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=880004 CPUtime=1542.03 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 103353 0 0 0 154176 27 0 0 20 0 1 0 54539032 901124096 210348 33554432000 4194304 5646918 140736457350592 140736457348728 4402863 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 220001 210348 183 355 0 219642 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 880004 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 28195 /proc/meminfo: memFree=29117928/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=880004 CPUtime=1602.01 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 103363 0 0 0 160174 27 0 0 20 0 1 0 54539032 901124096 210869 33554432000 4194304 5646918 140736457350592 140736457348728 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 220001 210869 183 355 0 219642 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 880004 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 28252 /proc/meminfo: memFree=30932848/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=880804 CPUtime=1662 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 103563 0 0 0 166173 27 0 0 20 0 1 0 54539032 901943296 212602 33554432000 4194304 5646918 140736457350592 140736457348728 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 220201 212602 183 355 0 219842 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 880804 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/178 28256 /proc/meminfo: memFree=30881912/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=883924 CPUtime=1721.99 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 103894 0 0 0 172172 27 0 0 20 0 1 0 54539032 905138176 213955 33554432000 4194304 5646918 140736457350592 140736457348728 4402815 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 220981 213955 183 355 0 220622 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 883924 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 28257 /proc/meminfo: memFree=30852776/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=1103048 CPUtime=1781.99 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 104989 0 0 0 178171 28 0 0 20 0 1 0 54539032 1129521152 216059 33554432000 4194304 5646918 140736457350592 140736457349288 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 275762 216059 183 355 0 275403 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 1103048 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/177 28257 /proc/meminfo: memFree=30830728/32872528 swapFree=249320/249320 [pid=28155] ppid=28152 vsize=1103048 CPUtime=1800.09 cores=0,2,4,6 /proc/28155/stat : 28155 (minisatp) R 28152 28155 25725 0 -1 4202496 105004 0 0 0 179981 28 0 0 20 0 1 0 54539032 1129521152 216585 33554432000 4194304 5646918 140736457350592 140736457349288 4403408 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/28155/statm: 275762 216585 183 355 0 275403 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1103048 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 28155 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.41 CPU time (s): 1800.1 CPU user time (s): 1799.81 CPU system time (s): 0.287956 CPU usage (%): 99.9829 Max. virtual memory (cumulated for all children) (KiB): 1103048 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.81 system time used= 0.287956 maximum resident set size= 866340 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 105004 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= 50 involuntary context switches= 1852 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.68329 second user time and 6.82796 second system time The end
Begin job on node103 at 2016-06-21 18:01:26 IDJOB=4115201 IDBENCH=1695 IDSOLVER=2555 FILE ID=node103/4115201-1466524886 RUNJOBID= node103-1466515278-25741 PBS_JOBID= 19942890 Free space on /tmp= 71724 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-cycle.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115201-1466524886/watcher-4115201-1466524886 -o /tmp/evaluation-result-4115201-1466524886/solver-4115201-1466524886 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466515278-25741 --watchdog 1960 minisatp HOME/instance-4115201-1466524886.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 761eaefb829e7d3bf060fd5b86600997 RANDOM SEED=1744574020 node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31762708 kB Buffers: 10740 kB Cached: 61164 kB SwapCached: 1184 kB Active: 119096 kB Inactive: 42992 kB Active(anon): 90468 kB Inactive(anon): 2036 kB Active(file): 28628 kB Inactive(file): 40956 kB Unevictable: 249320 kB Mlocked: 249320 kB SwapTotal: 67108856 kB SwapFree: 67100264 kB Dirty: 8952 kB Writeback: 0 kB AnonPages: 338632 kB Mapped: 8748 kB Shmem: 0 kB Slab: 568696 kB SReclaimable: 12616 kB SUnreclaim: 556080 kB KernelStack: 1448 kB PageTables: 4456 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 459364 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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-4115201-1466524886.opb Free space on /tmp at the end= 71720 MiB End job on node103 at 2016-06-21 18:31:27