Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.58 | 1801.28 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sctap3.opb |
MD5SUM | 039ab37d4afaf5033e81ba68b8bf90de |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 11761405455 |
Optimality of the best value was proved | NO |
Number of variables | 74400 |
Total number of constraints | 1408 |
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 | 1408 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 930 |
Number of terms in the objective function | 55800 |
Biggest coefficient in the objective function | 42949672960 |
Number of bits for the biggest coefficient in the objective function | 36 |
Sum of the numbers in the objective function | 31374736068060 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 42949672960 |
Number of bits of the biggest number in a constraint | 36 |
Biggest sum of numbers in a constraint | 31374736068060 |
Number of bits of the biggest sum of numbers | 45 |
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 c Parsing PB file... 3.65 c Converting 2028 PB-constraints to clauses... 3.67 c -- Unit propagations: (none) 4.51 c -- Detecting intervals from adjacent constraints: ############################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################ 4.53 c -- Clauses(.)/Splits(s): ssssssssssssss 4.54 c ---[2041]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4.58 c ---[2040]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4.61 c ---[2039]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4.65 c ---[2038]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4.68 c ---[2037]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4.72 c ---[2036]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4.75 c ---[2035]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4.78 c ---[2034]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4.82 c ---[2033]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4.85 c ---[2032]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4.89 c ---[2031]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4.92 c ---[2030]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4.96 c ---[2029]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4.99 c ---[2028]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.03 c ---[2027]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.06 c ---[2026]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.10 c ---[2025]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.13 c ---[2024]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.16 c ---[2023]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.20 c ---[2022]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.23 c ---[2021]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.27 c ---[2020]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.30 c ---[2019]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.34 c ---[2018]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.37 c ---[2017]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.41 c ---[2016]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.45 c ---[2015]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.48 c ---[2014]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.52 c ---[2013]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.55 c ---[2012]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.58 c ---[2011]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.62 c ---[2010]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.65 c ---[2009]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.69 c ---[2008]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.72 c ---[2007]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.76 c ---[2006]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.79 c ---[2005]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.83 c ---[2004]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.86 c ---[2003]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.90 c ---[2002]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.93 c ---[2001]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5.97 c ---[2000]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.00 c ---[1999]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.03 c ---[1998]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.07 c ---[1997]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.10 c ---[1996]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.14 c ---[1995]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.17 c ---[1994]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.21 c ---[1993]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.24 c ---[1992]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.28 c ---[1991]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.31 c ---[1990]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.36 c ---[1989]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.40 c ---[1988]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.43 c ---[1987]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.47 c ---[1986]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.50 c ---[1985]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.54 c ---[1984]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.57 c ---[1983]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.61 c ---[1982]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.64 c ---[1981]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.68 c ---[1980]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.71 c ---[1979]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.75 c ---[1978]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.82 c ---[1977]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.90 c ---[1976]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6.98 c ---[1975]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7.06 c ---[1974]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7.14 c ---[1973]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7.22 c ---[1972]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7.30 c ---[1971]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7.38 c ---[1970]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7.46 c ---[1969]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7.54 c ---[1968]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7.62 c ---[1967]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7.70 c ---[1966]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7.78 c ---[1965]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7.86 c ---[1964]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7.94 c ---[1963]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 8.02 c ---[1962]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 8.10 c ---[1961]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 8.18 c ---[1960]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 8.26 c ---[1959]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 8.34 c ---[1958]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 8.41 c ---[1957]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 8.55 c ---[1956]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 8.63 c ---[1955]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 8.71 c ---[1954]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 8.79 c ---[1953]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 8.87 c ---[1952]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 8.95 c ---[1951]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 9.03 c ---[1950]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 9.11 c ---[1949]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 9.19 c ---[1948]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 9.27 c ---[1947]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 9.35 c ---[1946]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 9.43 c ---[1945]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 9.51 c ---[1944]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 9.59 c ---[1943]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 9.67 c ---[1942]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 9.75 c ---[1941]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 9.83 c ---[1940]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 9.91 c ---[1939]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 9.99 c ---[1938]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 10.07 c ---[1937]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 10.15 c ---[1936]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 10.24 c ---[1935]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 10.32 c ---[1934]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 10.40 c ---[1933]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 10.48 c ---[1932]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 10.56 c ---[1931]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 10.64 c ---[1930]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 10.72 c ---[1929]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 10.80 c ---[1928]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 10.88 c ---[1927]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 10.96 c ---[1926]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 11.04 c ---[1925]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 11.13 c ---[1924]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 11.21 c ---[1923]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 11.29 c ---[1922]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 11.37 c ---[1921]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 11.45 c ---[1920]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 11.53 c ---[1919]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 11.61 c ---[1918]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 11.70 c ---[1917]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 11.78 c ---[1916]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 11.86 c ---[1915]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 11.94 c ---[1914]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 12.02 c ---[1913]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 12.10 c ---[1912]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 12.19 c ---[1911]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 12.27 c ---[1910]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 12.35 c ---[1909]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 12.43 c ---[1908]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 12.51 c ---[1907]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 12.59 c ---[1906]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 12.68 c ---[1905]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 12.76 c ---[1904]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 12.84 c ---[1903]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 12.92 c ---[1902]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 13.10 c ---[1901]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 13.18 c ---[1900]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 13.26 c ---[1899]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 13.34 c ---[1898]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 13.42 c ---[1897]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 13.50 c ---[1896]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 13.59 c ---[1895]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 13.67 c ---[1894]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 13.75 c ---[1893]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 13.83 c ---[1892]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 13.91 c ---[1891]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 13.99 c ---[1890]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 14.07 c ---[1889]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 14.16 c ---[1888]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 14.24 c ---[1887]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 14.32 c ---[1886]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 14.40 c ---[1885]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 14.48 c ---[1884]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 14.56 c ---[1883]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 14.64 c ---[1882]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 14.72 c ---[1881]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 14.81 c ---[1880]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 14.89 c ---[1879]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 14.97 c ---[1878]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 15.05 c ---[1877]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 15.13 c ---[1876]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 15.21 c ---[1875]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 15.29 c ---[1874]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 15.38 c ---[1873]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 15.46 c ---[1872]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 15.54 c ---[1871]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 15.62 c ---[1870]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 15.70 c ---[1869]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 15.78 c ---[1868]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 15.86 c ---[1867]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 15.95 c ---[1866]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 16.03 c ---[1865]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 16.11 c ---[1864]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 16.19 c ---[1863]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 16.27 c ---[1862]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 16.35 c ---[1861]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 16.44 c ---[1860]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 16.52 c ---[1859]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 16.60 c ---[1858]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 16.69 c ---[1857]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 16.77 c ---[1856]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 16.85 c ---[1855]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 16.93 c ---[1854]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 17.02 c ---[1853]---> Sorter-cost: 3051 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 17.10 c ---[1852]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 17.17 c ---[1851]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 17.25 c ---[1850]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 17.32 c ---[1849]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 17.39 c ---[1848]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 17.47 c ---[1847]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 17.54 c ---[1846]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 17.61 c ---[1845]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 17.69 c ---[1844]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 17.76 c ---[1843]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 17.83 c ---[1842]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 17.91 c ---[1841]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 17.98 c ---[1840]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 18.06 c ---[1839]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 18.13 c ---[1838]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 18.20 c ---[1837]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 18.27 c ---[1836]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 18.35 c ---[1835]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 18.42 c ---[1834]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 18.50 c ---[1833]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 18.57 c ---[1832]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 18.64 c ---[1831]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 18.72 c ---[1830]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 18.79 c ---[1829]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 18.86 c ---[1828]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 18.94 c ---[1827]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 19.01 c ---[1826]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 19.08 c ---[1825]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 19.16 c ---[1824]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 19.23 c ---[1823]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 19.31 c ---[1822]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 19.38 c ---[1821]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 19.46 c ---[1820]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 19.53 c ---[1819]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 19.61 c ---[1818]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 19.68 c ---[1817]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 19.76 c ---[1816]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 19.83 c ---[1815]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 19.90 c ---[1814]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 19.98 c ---[1813]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 20.05 c ---[1812]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 20.13 c ---[1811]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 20.20 c ---[1810]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 20.27 c ---[1809]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 20.35 c ---[1808]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 20.42 c ---[1807]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 20.49 c ---[1806]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 20.57 c ---[1805]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 20.64 c ---[1804]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 20.71 c ---[1803]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 20.79 c ---[1802]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 20.86 c ---[1801]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 20.94 c ---[1800]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 21.01 c ---[1799]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 21.08 c ---[1798]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 21.16 c ---[1797]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 21.23 c ---[1796]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 21.31 c ---[1795]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 21.38 c ---[1794]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 21.45 c ---[1793]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 21.53 c ---[1792]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 21.60 c ---[1791]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 21.67 c ---[1790]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 21.75 c ---[1789]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 21.82 c ---[1788]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 21.90 c ---[1787]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 21.97 c ---[1786]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 22.04 c ---[1785]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 22.34 c ---[1784]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 22.41 c ---[1783]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 22.48 c ---[1782]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 22.56 c ---[1781]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 22.63 c ---[1780]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 22.71 c ---[1779]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 22.78 c ---[1778]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 22.86 c ---[1777]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 22.93 c ---[1776]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 23.00 c ---[1775]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 23.08 c ---[1774]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 23.15 c ---[1773]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 23.23 c ---[1772]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 23.30 c ---[1771]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 23.37 c ---[1770]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 23.45 c ---[1769]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 23.52 c ---[1768]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 23.60 c ---[1767]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 23.67 c ---[1766]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 23.75 c ---[1765]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 23.82 c ---[1764]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 23.89 c ---[1763]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 23.97 c ---[1762]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 24.04 c ---[1761]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 24.12 c ---[1760]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 24.19 c ---[1759]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 24.27 c ---[1758]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 24.34 c ---[1757]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 24.42 c ---[1756]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 24.49 c ---[1755]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 24.56 c ---[1754]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 24.64 c ---[1753]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 24.71 c ---[1752]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 24.79 c ---[1751]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 24.86 c ---[1750]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 24.93 c ---[1749]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 25.01 c ---[1748]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 25.08 c ---[1747]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 25.16 c ---[1746]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 25.23 c ---[1745]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 25.31 c ---[1744]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 25.38 c ---[1743]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 25.46 c ---[1742]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 25.53 c ---[1741]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 25.60 c ---[1740]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 25.68 c ---[1739]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 25.75 c ---[1738]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 25.83 c ---[1737]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 25.90 c ---[1736]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 25.98 c ---[1735]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 26.05 c ---[1734]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 26.13 c ---[1733]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 26.20 c ---[1732]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 26.27 c ---[1731]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 26.35 c ---[1730]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 26.42 c ---[1729]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 26.49 c ---[1728]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 26.57 c ---[1727]---> Sorter-cost: 2746 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 26.64 c ---[1726]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 26.73 c ---[1725]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 26.81 c ---[1724]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 26.89 c ---[1723]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 26.98 c ---[1722]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 27.06 c ---[1721]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 27.15 c ---[1720]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 27.23 c ---[1719]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 27.31 c ---[1718]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 27.40 c ---[1717]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 27.48 c ---[1716]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 27.57 c ---[1715]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 27.65 c ---[1714]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 27.74 c ---[1713]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 27.82 c ---[1712]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 27.90 c ---[1711]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 27.99 c ---[1710]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 28.07 c ---[1709]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 28.16 c ---[1708]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 28.24 c ---[1707]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 28.32 c ---[1706]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 28.41 c ---[1705]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 28.49 c ---[1704]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 28.58 c ---[1703]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 28.66 c ---[1702]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 28.75 c ---[1701]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 28.83 c ---[1700]---> Sorter-cost: 2697 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 28.91 c ---[1699]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 28.95 c ---[1698]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 28.99 c ---[1697]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.02 c ---[1696]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.06 c ---[1695]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.10 c ---[1694]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.14 c ---[1693]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.17 c ---[1692]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.21 c ---[1691]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.25 c ---[1690]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.28 c ---[1689]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.32 c ---[1688]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.36 c ---[1687]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.39 c ---[1686]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.43 c ---[1685]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.47 c ---[1684]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.50 c ---[1683]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.54 c ---[1682]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.58 c ---[1681]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.62 c ---[1680]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.65 c ---[1679]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.69 c ---[1678]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.73 c ---[1677]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.76 c ---[1676]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.80 c ---[1675]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.84 c ---[1674]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.87 c ---[1673]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.91 c ---[1672]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.95 c ---[1671]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 29.99 c ---[1670]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.02 c ---[1669]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.06 c ---[1668]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.10 c ---[1667]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.13 c ---[1666]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.17 c ---[1665]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.21 c ---[1664]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.25 c ---[1663]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.28 c ---[1662]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.32 c ---[1661]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.36 c ---[1660]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.39 c ---[1659]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.43 c ---[1658]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.47 c ---[1657]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.50 c ---[1656]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.54 c ---[1655]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.58 c ---[1654]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.61 c ---[1653]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.65 c ---[1652]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.69 c ---[1651]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.73 c ---[1650]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.76 c ---[1649]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.80 c ---[1648]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.84 c ---[1647]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.87 c ---[1646]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.91 c ---[1645]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.95 c ---[1644]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 30.99 c ---[1643]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.02 c ---[1642]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.06 c ---[1641]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.10 c ---[1640]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.13 c ---[1639]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.17 c ---[1638]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.21 c ---[1637]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.25 c ---[1636]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.28 c ---[1635]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.32 c ---[1634]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.36 c ---[1633]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.39 c ---[1632]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.43 c ---[1631]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.47 c ---[1630]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.50 c ---[1629]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.54 c ---[1628]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.58 c ---[1627]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.61 c ---[1626]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.65 c ---[1625]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.69 c ---[1624]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.73 c ---[1623]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.76 c ---[1622]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.80 c ---[1621]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.84 c ---[1620]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.87 c ---[1619]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.91 c ---[1618]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.95 c ---[1617]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 31.99 c ---[1616]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.02 c ---[1615]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.06 c ---[1614]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.10 c ---[1613]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.13 c ---[1612]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.17 c ---[1611]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.21 c ---[1610]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.24 c ---[1609]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.28 c ---[1608]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.32 c ---[1607]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.36 c ---[1606]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.39 c ---[1605]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.43 c ---[1604]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.47 c ---[1603]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.51 c ---[1602]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.54 c ---[1601]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.58 c ---[1600]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.62 c ---[1599]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.66 c ---[1598]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.69 c ---[1597]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.73 c ---[1596]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.77 c ---[1595]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.80 c ---[1594]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.84 c ---[1593]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.88 c ---[1592]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.92 c ---[1591]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.95 c ---[1590]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 32.99 c ---[1589]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.03 c ---[1588]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.07 c ---[1587]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.10 c ---[1586]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.14 c ---[1585]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.18 c ---[1584]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.21 c ---[1583]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.25 c ---[1582]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.29 c ---[1581]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.33 c ---[1580]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.36 c ---[1579]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.40 c ---[1578]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.44 c ---[1577]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.47 c ---[1576]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.51 c ---[1575]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.55 c ---[1574]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.59 c ---[1573]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.62 c ---[1572]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.66 c ---[1571]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.70 c ---[1570]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.73 c ---[1569]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.77 c ---[1568]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.81 c ---[1567]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.85 c ---[1566]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.88 c ---[1565]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.92 c ---[1564]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 33.96 c ---[1563]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.00 c ---[1562]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.03 c ---[1561]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.07 c ---[1560]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.11 c ---[1559]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.14 c ---[1558]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.18 c ---[1557]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.22 c ---[1556]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.26 c ---[1555]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.29 c ---[1554]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.33 c ---[1553]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.37 c ---[1552]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.41 c ---[1551]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.44 c ---[1550]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.48 c ---[1549]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.52 c ---[1548]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.56 c ---[1547]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.59 c ---[1546]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.63 c ---[1545]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.67 c ---[1544]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.70 c ---[1543]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.74 c ---[1542]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.78 c ---[1541]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.82 c ---[1540]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.85 c ---[1539]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.89 c ---[1538]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.93 c ---[1537]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 34.97 c ---[1536]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.00 c ---[1535]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.04 c ---[1534]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.08 c ---[1533]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.12 c ---[1532]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.15 c ---[1531]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.19 c ---[1530]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.23 c ---[1529]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.26 c ---[1528]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.30 c ---[1527]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.34 c ---[1526]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.38 c ---[1525]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.41 c ---[1524]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.45 c ---[1523]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.49 c ---[1522]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.53 c ---[1521]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.56 c ---[1520]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.60 c ---[1519]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.64 c ---[1518]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.68 c ---[1517]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.71 c ---[1516]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.75 c ---[1515]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.79 c ---[1514]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.83 c ---[1513]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.86 c ---[1512]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.90 c ---[1511]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.94 c ---[1510]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 35.98 c ---[1509]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.01 c ---[1508]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.05 c ---[1507]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.09 c ---[1506]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.13 c ---[1505]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.17 c ---[1504]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.20 c ---[1503]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.24 c ---[1502]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.28 c ---[1501]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.32 c ---[1500]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.35 c ---[1499]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.39 c ---[1498]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.43 c ---[1497]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.47 c ---[1496]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.51 c ---[1495]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.54 c ---[1494]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.58 c ---[1493]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.62 c ---[1492]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.66 c ---[1491]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.69 c ---[1490]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.73 c ---[1489]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.77 c ---[1488]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.81 c ---[1487]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.85 c ---[1486]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.88 c ---[1485]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.92 c ---[1484]---> Sorter-cost: 1645 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 36.96 c ---[1482]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 36.96 c ---[1480]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 36.97 c ---[1478]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 36.97 c ---[1476]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 36.97 c ---[1474]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 36.98 c ---[1472]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 36.98 c ---[1470]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 36.98 c ---[1468]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 36.99 c ---[1466]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 36.99 c ---[1464]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.00 c ---[1462]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.00 c ---[1460]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.00 c ---[1458]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.01 c ---[1456]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.01 c ---[1454]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.01 c ---[1452]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.02 c ---[1450]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.02 c ---[1448]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.03 c ---[1446]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.03 c ---[1444]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.03 c ---[1442]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.04 c ---[1440]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.04 c ---[1438]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.04 c ---[1436]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.05 c ---[1434]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.05 c ---[1432]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.06 c ---[1430]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.06 c ---[1428]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.06 c ---[1426]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.07 c ---[1424]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.07 c ---[1422]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.07 c ---[1420]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.08 c ---[1418]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.08 c ---[1416]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.09 c ---[1414]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.09 c ---[1412]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.09 c ---[1410]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.10 c ---[1408]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.10 c ---[1406]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.11 c ---[1404]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.11 c ---[1402]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.11 c ---[1400]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.12 c ---[1398]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.12 c ---[1396]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.12 c ---[1394]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.13 c ---[1392]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.13 c ---[1390]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.14 c ---[1388]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.14 c ---[1386]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.14 c ---[1384]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.15 c ---[1382]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.15 c ---[1380]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.15 c ---[1378]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.16 c ---[1376]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.16 c ---[1374]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.17 c ---[1372]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.17 c ---[1370]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.17 c ---[1368]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.18 c ---[1366]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.18 c ---[1364]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.19 c ---[1362]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.19 c ---[1360]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.19 c ---[1358]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.20 c ---[1356]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.20 c ---[1354]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.20 c ---[1352]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.21 c ---[1350]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.21 c ---[1348]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.22 c ---[1346]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.22 c ---[1344]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.22 c ---[1342]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.23 c ---[1340]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.23 c ---[1338]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.23 c ---[1336]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.24 c ---[1334]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.24 c ---[1332]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.25 c ---[1330]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.25 c ---[1328]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.25 c ---[1326]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.26 c ---[1324]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.26 c ---[1322]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.27 c ---[1320]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.27 c ---[1318]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.27 c ---[1316]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.28 c ---[1314]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.28 c ---[1312]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.28 c ---[1310]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.29 c ---[1308]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.29 c ---[1306]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.30 c ---[1304]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.30 c ---[1302]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.30 c ---[1300]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.31 c ---[1298]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.31 c ---[1296]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.31 c ---[1294]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.32 c ---[1292]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.32 c ---[1290]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.33 c ---[1288]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.33 c ---[1286]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.33 c ---[1284]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.34 c ---[1282]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.34 c ---[1280]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.34 c ---[1278]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.35 c ---[1276]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.35 c ---[1274]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.36 c ---[1272]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.36 c ---[1270]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.36 c ---[1268]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.37 c ---[1266]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.37 c ---[1264]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.38 c ---[1262]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.38 c ---[1260]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.38 c ---[1258]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.39 c ---[1256]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.39 c ---[1254]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.39 c ---[1252]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.40 c ---[1250]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.40 c ---[1248]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.41 c ---[1246]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.41 c ---[1244]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.41 c ---[1242]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.42 c ---[1240]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.42 c ---[1238]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.42 c ---[1236]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.43 c ---[1234]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.43 c ---[1232]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.44 c ---[1230]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.44 c ---[1228]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.44 c ---[1226]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.45 c ---[1224]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.45 c ---[1222]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.45 c ---[1220]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.46 c ---[1218]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.46 c ---[1216]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.47 c ---[1214]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.47 c ---[1212]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.47 c ---[1210]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.48 c ---[1208]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.48 c ---[1206]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.48 c ---[1204]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.49 c ---[1202]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.49 c ---[1200]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.50 c ---[1198]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.50 c ---[1196]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.50 c ---[1194]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.51 c ---[1192]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.51 c ---[1190]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.51 c ---[1188]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.52 c ---[1186]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.52 c ---[1184]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.53 c ---[1182]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.53 c ---[1180]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.53 c ---[1178]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.54 c ---[1176]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.54 c ---[1174]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.54 c ---[1172]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.55 c ---[1170]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.55 c ---[1168]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.56 c ---[1166]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.56 c ---[1164]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.56 c ---[1162]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.57 c ---[1160]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.57 c ---[1158]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.57 c ---[1156]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.58 c ---[1154]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.58 c ---[1152]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.59 c ---[1150]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.59 c ---[1148]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.59 c ---[1146]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.60 c ---[1144]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.60 c ---[1142]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.60 c ---[1140]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.61 c ---[1138]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.61 c ---[1136]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.61 c ---[1134]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.62 c ---[1132]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.62 c ---[1130]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.63 c ---[1128]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.63 c ---[1126]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.63 c ---[1124]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.64 c ---[1122]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.64 c ---[1120]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.64 c ---[1118]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.65 c ---[1116]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.65 c ---[1114]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.66 c ---[1112]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.66 c ---[1110]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.66 c ---[1108]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.67 c ---[1106]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.67 c ---[1104]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.67 c ---[1102]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.68 c ---[1100]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.68 c ---[1098]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.69 c ---[1096]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.69 c ---[1094]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.69 c ---[1092]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.70 c ---[1090]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.70 c ---[1088]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.70 c ---[1086]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.71 c ---[1084]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.71 c ---[1082]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.72 c ---[1080]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.72 c ---[1078]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.72 c ---[1076]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.73 c ---[1074]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.73 c ---[1072]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.73 c ---[1070]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.74 c ---[1068]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.74 c ---[1066]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.74 c ---[1064]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 37.75 c ---[1062]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.75 c ---[1060]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.76 c ---[1058]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.76 c ---[1056]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.76 c ---[1054]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.77 c ---[1052]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.77 c ---[1050]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.77 c ---[1048]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.78 c ---[1046]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.78 c ---[1044]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.79 c ---[1042]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.79 c ---[1040]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.79 c ---[1038]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.80 c ---[1036]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.80 c ---[1034]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.80 c ---[1032]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.81 c ---[1030]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.81 c ---[1028]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.82 c ---[1026]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.82 c ---[1024]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.82 c ---[1022]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.83 c ---[1020]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.83 c ---[1018]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.83 c ---[1016]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.84 c ---[1014]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.84 c ---[1012]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.85 c ---[1010]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.85 c ---[1008]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.85 c ---[1006]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.86 c ---[1004]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.86 c ---[1002]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.86 c ---[1000]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.87 c ---[ 998]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.87 c ---[ 996]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.87 c ---[ 994]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.88 c ---[ 992]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.88 c ---[ 990]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.89 c ---[ 988]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.89 c ---[ 986]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.89 c ---[ 984]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.90 c ---[ 982]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.90 c ---[ 980]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.90 c ---[ 978]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.91 c ---[ 976]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.91 c ---[ 974]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.92 c ---[ 972]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.92 c ---[ 970]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.92 c ---[ 968]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.93 c ---[ 966]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.93 c ---[ 964]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.93 c ---[ 962]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.94 c ---[ 960]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.94 c ---[ 958]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.95 c ---[ 956]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.95 c ---[ 954]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.95 c ---[ 952]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.96 c ---[ 950]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.96 c ---[ 948]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.96 c ---[ 946]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.97 c ---[ 944]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.97 c ---[ 942]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.97 c ---[ 940]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 37.98 c ---[ 938]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.98 c ---[ 936]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.99 c ---[ 934]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.99 c ---[ 932]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 37.99 c ---[ 930]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.00 c ---[ 928]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.00 c ---[ 926]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.00 c ---[ 924]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.01 c ---[ 922]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.01 c ---[ 920]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.02 c ---[ 918]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.02 c ---[ 916]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.02 c ---[ 914]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.03 c ---[ 912]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.03 c ---[ 910]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.03 c ---[ 908]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.04 c ---[ 906]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.04 c ---[ 904]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.05 c ---[ 902]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.05 c ---[ 900]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.05 c ---[ 898]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.06 c ---[ 896]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.06 c ---[ 894]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.06 c ---[ 892]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.07 c ---[ 890]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.07 c ---[ 888]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.07 c ---[ 886]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.08 c ---[ 884]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.08 c ---[ 882]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.09 c ---[ 880]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.09 c ---[ 878]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.09 c ---[ 876]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.10 c ---[ 874]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.10 c ---[ 872]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.10 c ---[ 870]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.11 c ---[ 868]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.11 c ---[ 866]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.11 c ---[ 864]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.12 c ---[ 862]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.12 c ---[ 860]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.13 c ---[ 858]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.13 c ---[ 856]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.13 c ---[ 854]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.14 c ---[ 852]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.14 c ---[ 850]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.14 c ---[ 848]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.15 c ---[ 846]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.15 c ---[ 844]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.16 c ---[ 842]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.16 c ---[ 840]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.16 c ---[ 838]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.17 c ---[ 836]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.17 c ---[ 834]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.17 c ---[ 832]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.18 c ---[ 830]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.18 c ---[ 828]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.18 c ---[ 826]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.19 c ---[ 824]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.19 c ---[ 822]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.20 c ---[ 820]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.20 c ---[ 818]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.20 c ---[ 816]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.21 c ---[ 814]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.21 c ---[ 812]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.21 c ---[ 810]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.22 c ---[ 808]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.22 c ---[ 806]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.23 c ---[ 804]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.23 c ---[ 802]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.23 c ---[ 800]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.24 c ---[ 798]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.24 c ---[ 796]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.24 c ---[ 794]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.25 c ---[ 792]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.25 c ---[ 790]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.25 c ---[ 788]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.26 c ---[ 786]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.26 c ---[ 784]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 38.27 c ---[ 782]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.27 c ---[ 780]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.27 c ---[ 778]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.28 c ---[ 776]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.28 c ---[ 774]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.28 c ---[ 772]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.29 c ---[ 770]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.29 c ---[ 768]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.30 c ---[ 766]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.30 c ---[ 764]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.30 c ---[ 762]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.31 c ---[ 760]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.31 c ---[ 758]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.31 c ---[ 756]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.32 c ---[ 754]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.32 c ---[ 752]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.32 c ---[ 750]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.33 c ---[ 748]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.33 c ---[ 746]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.34 c ---[ 744]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.34 c ---[ 742]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.34 c ---[ 740]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.35 c ---[ 738]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.35 c ---[ 736]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.35 c ---[ 734]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.36 c ---[ 732]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.36 c ---[ 730]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.37 c ---[ 728]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.37 c ---[ 726]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.37 c ---[ 724]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 38.38 c ---[ 722]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.38 c ---[ 720]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.38 c ---[ 718]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.39 c ---[ 716]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.39 c ---[ 714]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.39 c ---[ 712]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.40 c ---[ 710]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.40 c ---[ 708]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.41 c ---[ 706]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.41 c ---[ 704]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.84 c ---[ 702]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.84 c ---[ 700]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.85 c ---[ 698]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.85 c ---[ 696]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.85 c ---[ 694]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.86 c ---[ 692]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.86 c ---[ 690]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.87 c ---[ 688]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.87 c ---[ 686]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.87 c ---[ 684]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.88 c ---[ 682]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.88 c ---[ 680]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.88 c ---[ 678]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.89 c ---[ 676]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.89 c ---[ 674]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.89 c ---[ 672]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.90 c ---[ 670]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.90 c ---[ 668]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.91 c ---[ 666]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.91 c ---[ 664]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.91 c ---[ 662]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.92 c ---[ 660]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.92 c ---[ 658]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.92 c ---[ 656]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.93 c ---[ 654]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.93 c ---[ 652]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.94 c ---[ 650]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.94 c ---[ 648]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.94 c ---[ 646]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.95 c ---[ 644]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.95 c ---[ 642]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.95 c ---[ 640]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.96 c ---[ 638]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.96 c ---[ 636]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.97 c ---[ 634]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.97 c ---[ 632]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.97 c ---[ 630]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.98 c ---[ 628]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.98 c ---[ 626]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.98 c ---[ 624]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.99 c ---[ 622]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 38.99 c ---[ 620]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.00 c ---[ 618]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.00 c ---[ 616]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.00 c ---[ 614]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.01 c ---[ 612]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.01 c ---[ 610]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.01 c ---[ 608]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.02 c ---[ 606]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.02 c ---[ 604]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.02 c ---[ 602]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.03 c ---[ 600]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.03 c ---[ 598]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.04 c ---[ 596]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.04 c ---[ 594]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.04 c ---[ 592]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.05 c ---[ 590]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.05 c ---[ 588]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.05 c ---[ 586]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.06 c ---[ 584]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.06 c ---[ 582]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.06 c ---[ 580]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.07 c ---[ 578]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.07 c ---[ 576]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.08 c ---[ 574]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.08 c ---[ 572]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.08 c ---[ 570]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.09 c ---[ 568]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.09 c ---[ 566]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.09 c ---[ 564]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.10 c ---[ 562]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.10 c ---[ 560]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.11 c ---[ 558]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.11 c ---[ 556]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.11 c ---[ 554]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.12 c ---[ 552]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.12 c ---[ 550]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.12 c ---[ 548]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.13 c ---[ 546]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.13 c ---[ 544]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.13 c ---[ 542]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.14 c ---[ 540]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.14 c ---[ 538]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.15 c ---[ 536]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.15 c ---[ 534]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.15 c ---[ 532]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.16 c ---[ 530]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.16 c ---[ 528]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.16 c ---[ 526]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.17 c ---[ 524]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.17 c ---[ 522]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.18 c ---[ 520]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.18 c ---[ 518]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.18 c ---[ 516]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.19 c ---[ 514]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.19 c ---[ 512]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.19 c ---[ 510]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.20 c ---[ 508]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.20 c ---[ 506]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.20 c ---[ 504]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.21 c ---[ 502]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.21 c ---[ 500]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.22 c ---[ 498]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.22 c ---[ 496]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.22 c ---[ 494]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.23 c ---[ 492]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.23 c ---[ 490]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.23 c ---[ 488]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.24 c ---[ 486]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.24 c ---[ 484]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.24 c ---[ 482]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.25 c ---[ 480]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.25 c ---[ 478]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.26 c ---[ 476]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.26 c ---[ 474]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.26 c ---[ 472]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.27 c ---[ 470]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.27 c ---[ 468]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.27 c ---[ 466]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.28 c ---[ 464]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.28 c ---[ 462]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.29 c ---[ 460]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.29 c ---[ 458]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.29 c ---[ 456]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.30 c ---[ 454]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.30 c ---[ 452]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.30 c ---[ 450]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.31 c ---[ 448]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.31 c ---[ 446]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.31 c ---[ 444]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.32 c ---[ 442]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.32 c ---[ 440]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.33 c ---[ 438]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.33 c ---[ 436]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.33 c ---[ 434]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.34 c ---[ 432]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.34 c ---[ 430]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.34 c ---[ 428]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.35 c ---[ 426]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.35 c ---[ 424]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.35 c ---[ 422]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.36 c ---[ 420]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.36 c ---[ 418]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.37 c ---[ 416]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.37 c ---[ 414]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.37 c ---[ 412]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.38 c ---[ 410]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.38 c ---[ 408]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.38 c ---[ 406]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.39 c ---[ 404]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.39 c ---[ 402]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.40 c ---[ 400]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.40 c ---[ 398]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.40 c ---[ 396]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.41 c ---[ 394]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.41 c ---[ 392]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.41 c ---[ 390]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.42 c ---[ 388]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.42 c ---[ 386]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.42 c ---[ 384]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.43 c ---[ 382]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.43 c ---[ 380]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.44 c ---[ 378]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.44 c ---[ 376]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.44 c ---[ 374]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.45 c ---[ 372]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.45 c ---[ 370]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.45 c ---[ 368]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.46 c ---[ 366]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.46 c ---[ 364]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.46 c ---[ 362]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.47 c ---[ 360]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.47 c ---[ 358]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.48 c ---[ 356]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.48 c ---[ 354]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.48 c ---[ 352]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.49 c ---[ 350]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.49 c ---[ 348]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.49 c ---[ 346]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.50 c ---[ 344]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.50 c ---[ 342]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.50 c ---[ 340]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.51 c ---[ 338]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.51 c ---[ 336]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.52 c ---[ 334]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.52 c ---[ 332]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.52 c ---[ 330]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.53 c ---[ 328]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.53 c ---[ 326]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.53 c ---[ 324]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.54 c ---[ 322]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.54 c ---[ 320]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.54 c ---[ 318]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.55 c ---[ 316]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.55 c ---[ 314]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.56 c ---[ 312]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.56 c ---[ 310]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.56 c ---[ 308]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.57 c ---[ 306]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.57 c ---[ 304]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.57 c ---[ 302]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.58 c ---[ 300]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.58 c ---[ 298]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.59 c ---[ 296]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.59 c ---[ 294]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.59 c ---[ 292]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.60 c ---[ 290]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.60 c ---[ 288]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.60 c ---[ 286]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.61 c ---[ 284]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.61 c ---[ 282]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.61 c ---[ 280]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.62 c ---[ 278]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.62 c ---[ 276]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.63 c ---[ 274]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.63 c ---[ 272]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.63 c ---[ 270]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.64 c ---[ 268]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.64 c ---[ 266]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.64 c ---[ 264]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.65 c ---[ 262]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.65 c ---[ 260]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.65 c ---[ 258]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.66 c ---[ 256]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.66 c ---[ 254]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.67 c ---[ 252]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.67 c ---[ 250]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.67 c ---[ 248]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.68 c ---[ 246]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.68 c ---[ 244]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 39.68 c ---[ 243]---> Adder-cost: 1364 maxlim: 3221677855 bits: 33/32 40.26 c ---[ 242]---> Adder-cost: 1364 maxlim: 3221677855 bits: 33/32 40.84 c ---[ 241]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 41.42 c ---[ 240]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 42.00 c ---[ 239]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 42.58 c ---[ 238]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 43.16 c ---[ 237]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 43.74 c ---[ 236]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 44.32 c ---[ 235]---> Adder-cost: 1244 maxlim: 3221677855 bits: 33/32 44.90 c ---[ 234]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 45.40 c ---[ 233]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 45.91 c ---[ 232]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 46.42 c ---[ 231]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 46.92 c ---[ 230]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 47.42 c ---[ 229]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 47.92 c ---[ 228]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 48.42 c ---[ 227]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 48.92 c ---[ 226]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 49.42 c ---[ 225]---> Adder-cost: 1364 maxlim: 3221677855 bits: 33/32 50.00 c ---[ 224]---> Adder-cost: 1364 maxlim: 3221677855 bits: 33/32 50.57 c ---[ 223]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 51.15 c ---[ 222]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 51.72 c ---[ 221]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 52.30 c ---[ 220]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 52.87 c ---[ 219]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 53.44 c ---[ 218]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 54.02 c ---[ 217]---> Adder-cost: 1244 maxlim: 3221677855 bits: 33/32 54.60 c ---[ 216]---> Adder-cost: 1452 maxlim: 4295169944 bits: 34/33 55.00 c ---[ 214]---> Adder-cost: 1452 maxlim: 4295200664 bits: 34/33 55.41 c ---[ 213]---> Adder-cost: 1452 maxlim: 4295210904 bits: 34/33 55.81 c ---[ 212]---> Adder-cost: 1452 maxlim: 4295190424 bits: 34/33 56.22 c ---[ 211]---> Adder-cost: 1452 maxlim: 4295175064 bits: 34/33 56.63 c ---[ 210]---> Adder-cost: 1452 maxlim: 4295169944 bits: 34/33 57.03 c ---[ 209]---> Adder-cost: 1452 maxlim: 4295169944 bits: 34/33 57.44 c ---[ 208]---> Adder-cost: 1452 maxlim: 4295169944 bits: 34/33 57.85 c ---[ 207]---> Adder-cost: 1452 maxlim: 4295169944 bits: 34/33 58.26 c ---[ 206]---> Adder-cost: 1680 maxlim: 5368922002 bits: 34/33 58.71 c ---[ 205]---> Adder-cost: 1680 maxlim: 5368922002 bits: 34/33 59.15 c ---[ 204]---> Adder-cost: 1678 maxlim: 5368922002 bits: 34/33 59.60 c ---[ 203]---> Adder-cost: 1678 maxlim: 5368922002 bits: 34/33 60.06 c ---[ 202]---> Adder-cost: 1678 maxlim: 5368922002 bits: 34/33 60.50 c ---[ 201]---> Adder-cost: 1678 maxlim: 5368922002 bits: 34/33 60.96 c ---[ 200]---> Adder-cost: 1678 maxlim: 5368922002 bits: 34/33 61.41 c ---[ 199]---> Adder-cost: 1678 maxlim: 5368922002 bits: 34/33 61.85 c ---[ 198]---> Adder-cost: 1676 maxlim: 5368922002 bits: 34/33 62.30 c ---[ 197]---> Adder-cost: 1590 maxlim: 5368870827 bits: 34/33 62.70 c ---[ 195]---> Adder-cost: 1590 maxlim: 5368881067 bits: 34/33 63.11 c ---[ 194]---> Adder-cost: 1590 maxlim: 5368881067 bits: 34/33 63.50 c ---[ 193]---> Adder-cost: 1590 maxlim: 5368881067 bits: 34/33 63.90 c ---[ 192]---> Adder-cost: 1590 maxlim: 5368881067 bits: 34/33 64.30 c ---[ 191]---> Adder-cost: 1590 maxlim: 5368881067 bits: 34/33 64.70 c ---[ 190]---> Adder-cost: 1590 maxlim: 5368891307 bits: 34/33 65.10 c ---[ 189]---> Adder-cost: 1590 maxlim: 5368901547 bits: 34/33 65.50 c ---[ 188]---> Adder-cost: 1590 maxlim: 5368875947 bits: 34/33 65.89 c ---[ 187]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 65.98 c ---[ 185]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 66.06 c ---[ 184]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 66.15 c ---[ 183]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 66.24 c ---[ 182]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 66.32 c ---[ 181]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 66.41 c ---[ 180]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 66.49 c ---[ 179]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 66.58 c ---[ 178]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 66.66 c ---[ 177]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 66.75 c ---[ 175]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 66.84 c ---[ 174]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 66.92 c ---[ 173]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 67.01 c ---[ 172]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 67.09 c ---[ 171]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 67.18 c ---[ 170]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 67.26 c ---[ 169]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 67.35 c ---[ 168]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 67.44 c ---[ 167]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 67.52 c ---[ 165]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 67.61 c ---[ 164]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 67.70 c ---[ 163]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 67.78 c ---[ 162]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 67.87 c ---[ 161]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 67.95 c ---[ 160]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 68.04 c ---[ 159]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 68.13 c ---[ 158]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 68.21 c ---[ 157]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 68.30 c ---[ 155]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 68.39 c ---[ 154]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 68.47 c ---[ 153]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 68.56 c ---[ 152]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 68.64 c ---[ 151]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 68.73 c ---[ 150]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 68.82 c ---[ 149]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 68.90 c ---[ 148]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 68.99 c ---[ 147]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 69.08 c ---[ 145]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 69.16 c ---[ 144]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 69.25 c ---[ 143]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 69.34 c ---[ 142]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 69.42 c ---[ 141]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 69.51 c ---[ 140]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 69.60 c ---[ 139]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 69.68 c ---[ 138]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 69.77 c ---[ 137]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 69.86 c ---[ 135]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 69.94 c ---[ 134]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 70.03 c ---[ 133]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 70.12 c ---[ 132]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 70.20 c ---[ 131]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 70.29 c ---[ 130]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 70.38 c ---[ 129]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 70.46 c ---[ 128]---> Sorter-cost: 3620 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 70.55 c ---[ 127]---> Adder-cost: 456 maxlim: 1073854407 bits: 32/31 70.71 c ---[ 125]---> Adder-cost: 456 maxlim: 1073857479 bits: 32/31 70.87 c ---[ 124]---> Adder-cost: 456 maxlim: 1073855431 bits: 32/31 71.03 c ---[ 123]---> Adder-cost: 456 maxlim: 1073854407 bits: 32/31 71.19 c ---[ 122]---> Adder-cost: 456 maxlim: 1073854407 bits: 32/31 71.35 c ---[ 121]---> Adder-cost: 456 maxlim: 1073854407 bits: 32/31 71.51 c ---[ 120]---> Adder-cost: 456 maxlim: 1073854407 bits: 32/31 71.67 c ---[ 119]---> Adder-cost: 456 maxlim: 1073854407 bits: 32/31 71.83 c ---[ 118]---> Adder-cost: 456 maxlim: 1073854407 bits: 32/31 71.98 c ---[ 117]---> Adder-cost: 572 maxlim: 2147555290 bits: 33/32 72.11 c ---[ 115]---> Adder-cost: 572 maxlim: 2147559386 bits: 33/32 72.23 c ---[ 114]---> Adder-cost: 572 maxlim: 2147555290 bits: 33/32 72.35 c ---[ 113]---> Adder-cost: 572 maxlim: 2147555290 bits: 33/32 72.47 c ---[ 112]---> Adder-cost: 572 maxlim: 2147555290 bits: 33/32 72.59 c ---[ 111]---> Adder-cost: 572 maxlim: 2147555290 bits: 33/32 72.71 c ---[ 110]---> Adder-cost: 572 maxlim: 2147555290 bits: 33/32 72.83 c ---[ 109]---> Adder-cost: 572 maxlim: 2147555290 bits: 33/32 72.95 c ---[ 108]---> Adder-cost: 572 maxlim: 2147555290 bits: 33/32 73.08 c ---[ 107]---> Adder-cost: 456 maxlim: 1073854407 bits: 32/31 73.23 c ---[ 105]---> Adder-cost: 456 maxlim: 1073857479 bits: 32/31 73.39 c ---[ 104]---> Adder-cost: 456 maxlim: 1073855431 bits: 32/31 73.55 c ---[ 103]---> Adder-cost: 456 maxlim: 1073854407 bits: 32/31 73.71 c ---[ 102]---> Adder-cost: 456 maxlim: 1073854407 bits: 32/31 73.87 c ---[ 101]---> Adder-cost: 456 maxlim: 1073854407 bits: 32/31 74.03 c ---[ 100]---> Adder-cost: 456 maxlim: 1073854407 bits: 32/31 74.19 c ---[ 99]---> Adder-cost: 456 maxlim: 1073854407 bits: 32/31 74.35 c ---[ 98]---> Adder-cost: 456 maxlim: 1073854407 bits: 32/31 74.51 c ---[ 97]---> Adder-cost: 1094 maxlim: 3221413792 bits: 33/32 74.83 c ---[ 95]---> Adder-cost: 1094 maxlim: 3221415840 bits: 33/32 75.14 c ---[ 94]---> Adder-cost: 1034 maxlim: 3221417888 bits: 33/32 75.46 c ---[ 93]---> Adder-cost: 1034 maxlim: 3221415840 bits: 33/32 75.78 c ---[ 92]---> Adder-cost: 1034 maxlim: 3221413792 bits: 33/32 76.11 c ---[ 91]---> Adder-cost: 1034 maxlim: 3221413792 bits: 33/32 76.43 c ---[ 90]---> Adder-cost: 1034 maxlim: 3221413792 bits: 33/32 76.75 c ---[ 89]---> Adder-cost: 1034 maxlim: 3221413792 bits: 33/32 77.07 c ---[ 88]---> Adder-cost: 974 maxlim: 3221413792 bits: 33/32 77.39 c ---[ 87]---> Adder-cost: 1590 maxlim: 5368870827 bits: 34/33 77.79 c ---[ 85]---> Adder-cost: 1590 maxlim: 5368875947 bits: 34/33 78.19 c ---[ 84]---> Adder-cost: 1590 maxlim: 5368873899 bits: 34/33 78.59 c ---[ 83]---> Adder-cost: 1590 maxlim: 5368871851 bits: 34/33 78.99 c ---[ 82]---> Adder-cost: 1590 maxlim: 5368870827 bits: 34/33 79.40 c ---[ 81]---> Adder-cost: 1590 maxlim: 5368870827 bits: 34/33 79.80 c ---[ 80]---> Adder-cost: 1590 maxlim: 5368870827 bits: 34/33 80.21 c ---[ 79]---> Adder-cost: 1590 maxlim: 5368870827 bits: 34/33 80.61 c ---[ 78]---> Adder-cost: 1590 maxlim: 5368870827 bits: 34/33 81.02 c ---[ 77]---> Adder-cost: 1278 maxlim: 4295114675 bits: 34/33 81.33 c ---[ 76]---> Adder-cost: 1278 maxlim: 4295117747 bits: 34/33 81.65 c ---[ 75]---> Adder-cost: 1278 maxlim: 4295118771 bits: 34/33 81.97 c ---[ 74]---> Adder-cost: 1278 maxlim: 4295114675 bits: 34/33 82.29 c ---[ 73]---> Adder-cost: 1278 maxlim: 4295114675 bits: 34/33 82.60 c ---[ 72]---> Adder-cost: 1278 maxlim: 4295114675 bits: 34/33 82.92 c ---[ 71]---> Adder-cost: 1278 maxlim: 4295114675 bits: 34/33 83.24 c ---[ 70]---> Adder-cost: 1278 maxlim: 4295114675 bits: 34/33 83.56 c ---[ 69]---> Adder-cost: 1278 maxlim: 4295114675 bits: 34/33 83.88 c ---[ 68]---> Adder-cost: 1364 maxlim: 3221677855 bits: 33/32 84.46 c ---[ 67]---> Adder-cost: 1364 maxlim: 3221678879 bits: 33/32 85.04 c ---[ 66]---> Adder-cost: 1304 maxlim: 3221680927 bits: 33/32 85.63 c ---[ 65]---> Adder-cost: 1304 maxlim: 3221678879 bits: 33/32 86.21 c ---[ 64]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 86.79 c ---[ 63]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 87.37 c ---[ 62]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 87.95 c ---[ 61]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 88.53 c ---[ 60]---> Adder-cost: 1244 maxlim: 3221677855 bits: 33/32 89.11 c ---[ 59]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 89.62 c ---[ 58]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 90.13 c ---[ 57]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 90.64 c ---[ 56]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 91.15 c ---[ 55]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 91.66 c ---[ 54]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 92.16 c ---[ 53]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 92.67 c ---[ 52]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 93.18 c ---[ 51]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 93.68 c ---[ 50]---> Adder-cost: 1590 maxlim: 5368870827 bits: 34/33 94.08 c ---[ 49]---> Adder-cost: 1590 maxlim: 5368881067 bits: 34/33 94.48 c ---[ 48]---> Adder-cost: 1590 maxlim: 5368891307 bits: 34/33 94.88 c ---[ 47]---> Adder-cost: 1590 maxlim: 5368901547 bits: 34/33 95.28 c ---[ 46]---> Adder-cost: 1590 maxlim: 5368922027 bits: 34/33 95.68 c ---[ 45]---> Adder-cost: 1590 maxlim: 5368891307 bits: 34/33 96.08 c ---[ 44]---> Adder-cost: 1590 maxlim: 5368901547 bits: 34/33 96.48 c ---[ 43]---> Adder-cost: 1590 maxlim: 5368881067 bits: 34/33 96.88 c ---[ 42]---> Adder-cost: 1590 maxlim: 5368875947 bits: 34/33 97.28 c ---[ 41]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 97.79 c ---[ 40]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 98.30 c ---[ 39]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 98.81 c ---[ 38]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 99.32 c ---[ 37]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 99.84 c ---[ 36]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 100.35 c ---[ 35]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 100.86 c ---[ 34]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 101.37 c ---[ 33]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 101.88 c ---[ 32]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 102.39 c ---[ 31]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 102.90 c ---[ 30]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 103.42 c ---[ 29]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 103.93 c ---[ 28]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 104.44 c ---[ 27]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 104.94 c ---[ 26]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 105.46 c ---[ 25]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 105.97 c ---[ 24]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 106.48 c ---[ 23]---> Adder-cost: 1452 maxlim: 4295169944 bits: 34/33 106.88 c ---[ 21]---> Adder-cost: 1452 maxlim: 4295175064 bits: 34/33 107.29 c ---[ 20]---> Adder-cost: 1452 maxlim: 4295175064 bits: 34/33 107.70 c ---[ 19]---> Adder-cost: 1452 maxlim: 4295175064 bits: 34/33 108.10 c ---[ 18]---> Adder-cost: 1452 maxlim: 4295180184 bits: 34/33 108.51 c ---[ 17]---> Adder-cost: 1452 maxlim: 4295175064 bits: 34/33 108.92 c ---[ 16]---> Adder-cost: 1452 maxlim: 4295175064 bits: 34/33 109.33 c ---[ 15]---> Adder-cost: 1452 maxlim: 4295169944 bits: 34/33 109.73 c ---[ 14]---> Adder-cost: 1452 maxlim: 4295169944 bits: 34/33 110.14 c ---[ 13]---> Adder-cost: 483 maxlim: 10239 bits: 15/14 110.26 c ---[ 12]---> Adder-cost: 579 maxlim: 10239 bits: 15/14 110.39 c ---[ 11]---> Sorter-cost: 423 Base: 2 2 2 2 2 2 2 2 2 2 110.40 c ---[ 10]---> Sorter-cost: 535 Base: 2 2 2 2 2 2 2 2 2 2 110.41 c ---[ 9]---> Sorter-cost: 533 Base: 2 2 2 2 2 2 2 2 2 2 2 110.43 c ---[ 8]---> Sorter-cost: 535 Base: 2 2 2 2 2 2 2 2 2 2 110.44 c ---[ 7]---> Sorter-cost: 487 Base: 2 2 2 2 2 2 2 2 2 2 2 110.45 c ---[ 6]---> Sorter-cost: 423 Base: 2 2 2 2 2 2 2 2 2 2 110.46 c ---[ 5]---> Sorter-cost: 533 Base: 2 2 2 2 2 2 2 2 2 2 2 110.47 c ---[ 4]---> Sorter-cost: 1666 Base: 2 2 2 2 2 2 2 2 2 2 110.49 c ---[ 3]---> Sorter-cost: 359 Base: 2 2 2 2 2 2 2 2 2 110.50 c ---[ 2]---> Adder-cost: 288 maxlim: 5119 bits: 14/13 110.55 c ---[ 1]---> Adder-cost: 521 maxlim: 5119 bits: 14/13 110.66 c ---[ 0]---> Adder-cost: 435 maxlim: 5119 bits: 14/13 115.76 c ==================================[MINISAT+]================================== 115.76 c | Conflicts | Original | Learnt | Progress | 115.76 c | | Clauses Literals | Max Clauses Literals LPC | | 115.76 c ============================================================================== 115.76 c | 0 | 5484912 14489756 | 1828304 0 0 nan | 0.000 % | 115.79 c | 100 | 5484912 14489756 | 2011134 100 929 9.3 | 2.898 % | 115.83 c | 250 | 5484912 14489756 | 2212247 250 1434 5.7 | 2.898 % | 116.45 c | 475 | 5484868 14489659 | 2433472 473 2197 4.6 | 2.899 % | 116.89 c | 812 | 5484854 14489628 | 2676819 809 3891 4.8 | 2.899 % | 117.29 c | 1319 | 5484837 14489591 | 2944501 1315 6090 4.6 | 2.899 % | 118.24 c | 2078 | 5484798 14489505 | 3238952 2072 10411 5.0 | 2.900 % | 119.80 c | 3217 | 5484770 14489443 | 3562847 3209 16434 5.1 | 2.900 % | 120.19 c | 4925 | 5484770 14489443 | 3919131 4917 89265 18.2 | 2.900 % | 121.77 c | 7487 | 5484770 14489443 | 4311045 7479 106971 14.3 | 2.900 % | 127.23 c | 11332 | 5484770 14489443 | 4742149 11324 134120 11.8 | 2.900 % | 134.23 c | 17098 | 5484697 14489282 | 5216364 17088 170676 10.0 | 2.902 % | 146.67 c | 25747 | 5484626 14489125 | 5738001 25734 240277 9.3 | 2.903 % | 174.24 c | 38721 | 5484222 14488232 | 6311801 38673 366288 9.5 | 2.909 % | 221.91 c | 58182 | 5483506 14486643 | 6942981 58099 542740 9.3 | 2.921 % | 262.00 c | 87377 | 5483153 14485863 | 7637279 87278 1212653 13.9 | 2.927 % | 292.30 c | 131166 | 5483045 14485621 | 8401007 131064 2458925 18.8 | 2.928 % | 385.21 c | 196850 | 5481464 14482113 | 9241108 196670 4249093 21.6 | 2.954 % | 548.04 c | 295376 | 5479413 14477567 | 10165219 295086 5771578 19.6 | 2.988 % | 915.69 c | 443165 | 5475397 14468651 | 11181740 442684 7610610 17.2 | 3.053 % | 1635.68 c | 664848 | 5467073 14450161 | 12299915 663867 9918712 14.9 | 3.192 % | 1801.19 c 1801.19 c *** TERMINATED *** 1801.19 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-35776-1149310613 -o ROOT/results/node5/solver-35776-1149310613 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node5/35776-1149310613/instance-35776-1149310613.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.88 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1637408/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=1180 CPUtime=0 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 123 0 0 0 0 0 0 0 19 0 1 0 196665012 1208320 108 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134615357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 295 108 67 215 0 77 0 [startup+10.0034 s] /proc/loadavg: 0.90 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1602912/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=38120 CPUtime=9.99 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 9904 0 0 0 992 7 0 0 25 0 1 0 196665012 39034880 8715 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134834144 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 9530 8715 93 215 0 9312 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 38120 [startup+20.0103 s] /proc/loadavg: 0.91 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1588640/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=52828 CPUtime=19.98 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 14179 0 0 0 1989 9 0 0 25 0 1 0 196665012 54095872 12331 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135005847 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 13207 12331 93 215 0 12989 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 52828 [startup+30.0173 s] /proc/loadavg: 0.93 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1571872/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=69460 CPUtime=29.98 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 19688 0 0 0 2986 12 0 0 25 0 1 0 196665012 71127040 16522 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135005244 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 17365 16522 93 215 0 17147 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 69460 [startup+40.0232 s] /proc/loadavg: 0.94 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1546784/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=95332 CPUtime=39.99 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 28582 0 0 0 3981 18 0 0 25 0 1 0 196665012 97619968 22779 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135012162 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 23833 22779 93 215 0 23615 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 95332 [startup+50.0302 s] /proc/loadavg: 0.95 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1545312/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=96284 CPUtime=50 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 28963 0 0 0 4981 19 0 0 25 0 1 0 196665012 98594816 23160 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135005244 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 24071 23160 109 215 0 23853 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 96284 [startup+60.0361 s] /proc/loadavg: 0.95 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1543840/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=97260 CPUtime=60 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 29326 0 0 0 5981 19 0 0 25 0 1 0 196665012 99594240 23523 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135013272 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 24315 23523 109 215 0 24097 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 97260 [startup+70.0431 s] /proc/loadavg: 0.96 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1537888/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=110200 CPUtime=70 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 30809 0 0 0 6980 20 0 0 25 0 1 0 196665012 112844800 25006 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134839023 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 27550 25006 109 215 0 27332 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 110200 [startup+80.05 s] /proc/loadavg: 0.97 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1535008/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=112088 CPUtime=80.01 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 31531 0 0 0 7980 21 0 0 25 0 1 0 196665012 114778112 25728 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135012189 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 28022 25728 109 215 0 27804 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 112088 [startup+90.056 s] /proc/loadavg: 0.97 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1533792/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=112780 CPUtime=90.01 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 31840 0 0 0 8980 21 0 0 25 0 1 0 196665012 115486720 26037 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135005856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 28195 26037 109 215 0 27977 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 112780 [startup+100.062 s] /proc/loadavg: 0.97 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1532576/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=113600 CPUtime=100.01 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 32137 0 0 0 9980 21 0 0 25 0 1 0 196665012 116326400 26334 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134808949 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 28400 26334 109 215 0 28182 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 113600 [startup+110.068 s] /proc/loadavg: 0.98 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1531360/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=114352 CPUtime=110.01 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 32450 0 0 0 10980 21 0 0 25 0 1 0 196665012 117096448 26647 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 28588 26647 109 215 0 28370 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 114352 [startup+120.074 s] /proc/loadavg: 0.98 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1230112/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=459784 CPUtime=120.01 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 107602 0 0 0 11947 54 0 0 25 0 1 0 196665012 470818816 101799 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134585530 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 114946 101799 124 215 0 114728 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 459784 [startup+130.08 s] /proc/loadavg: 0.98 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1228448/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=461232 CPUtime=130.02 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 108017 0 0 0 12947 55 0 0 25 0 1 0 196665012 472301568 102214 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580314 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 115308 102214 124 215 0 115090 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 461232 [startup+140.086 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1226784/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=462552 CPUtime=140.02 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 108416 0 0 0 13947 55 0 0 25 0 1 0 196665012 473653248 102613 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 115638 102613 124 215 0 115420 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 462552 [startup+150.092 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1226016/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=463376 CPUtime=150.02 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 108614 0 0 0 14947 55 0 0 25 0 1 0 196665012 474497024 102811 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581133 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 115844 102811 124 215 0 115626 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 463376 [startup+160.098 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1225440/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=464036 CPUtime=160.03 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 108757 0 0 0 15947 56 0 0 25 0 1 0 196665012 475172864 102954 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 116009 102954 124 215 0 115791 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 464036 [startup+170.104 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1224800/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=464564 CPUtime=170.03 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 108915 0 0 0 16947 56 0 0 25 0 1 0 196665012 475713536 103112 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 116141 103112 124 215 0 115923 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 464564 [startup+180.109 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1224224/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=465172 CPUtime=180.03 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 109059 0 0 0 17947 56 0 0 25 0 1 0 196665012 476336128 103256 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 116293 103256 124 215 0 116075 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 465172 [startup+190.115 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1223648/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=465696 CPUtime=190.03 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 109198 0 0 0 18947 56 0 0 25 0 1 0 196665012 476872704 103395 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134569815 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 116424 103395 124 215 0 116206 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 465696 [startup+200.121 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1222880/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=466224 CPUtime=200.03 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 109378 0 0 0 19947 56 0 0 25 0 1 0 196665012 477413376 103575 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134588639 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 116556 103575 124 215 0 116338 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 466224 [startup+210.127 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2430 /proc/meminfo: memFree=1222496/2055920 swapFree=4180904/4192956 ################ # More data... # ################ [pid=2430] ppid=2428 vsize=539892 CPUtime=1781.39 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128057 0 0 0 178052 87 0 0 25 0 1 0 196665012 552849408 122254 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134572980 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 134973 122254 124 215 0 134755 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (Kb) 539892 [startup+1783.1 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147872/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=539892 CPUtime=1782.4 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128058 0 0 0 178153 87 0 0 25 0 1 0 196665012 552849408 122255 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 134973 122255 124 215 0 134755 0 Current children cumulated CPU time (s) 1782.4 Current children cumulated vsize (Kb) 539892 [startup+1784.1 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147872/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=539892 CPUtime=1783.4 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128061 0 0 0 178253 87 0 0 25 0 1 0 196665012 552849408 122258 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134588661 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 134973 122258 124 215 0 134755 0 Current children cumulated CPU time (s) 1783.4 Current children cumulated vsize (Kb) 539892 [startup+1785.11 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147808/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=539892 CPUtime=1784.41 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128067 0 0 0 178354 87 0 0 25 0 1 0 196665012 552849408 122264 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134572994 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 134973 122264 124 215 0 134755 0 Current children cumulated CPU time (s) 1784.41 Current children cumulated vsize (Kb) 539892 [startup+1786.11 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147808/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=539892 CPUtime=1785.41 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128071 0 0 0 178454 87 0 0 25 0 1 0 196665012 552849408 122268 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 134973 122268 124 215 0 134755 0 Current children cumulated CPU time (s) 1785.41 Current children cumulated vsize (Kb) 539892 [startup+1787.12 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147808/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=539892 CPUtime=1786.42 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128074 0 0 0 178555 87 0 0 25 0 1 0 196665012 552849408 122271 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134569770 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 134973 122271 124 215 0 134755 0 Current children cumulated CPU time (s) 1786.42 Current children cumulated vsize (Kb) 539892 [startup+1788.12 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147744/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=540024 CPUtime=1787.42 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128079 0 0 0 178655 87 0 0 25 0 1 0 196665012 552984576 122276 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134572980 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 135006 122276 124 215 0 134788 0 Current children cumulated CPU time (s) 1787.42 Current children cumulated vsize (Kb) 540024 [startup+1789.13 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147744/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=540024 CPUtime=1788.42 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128087 0 0 0 178755 87 0 0 25 0 1 0 196665012 552984576 122284 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 135006 122284 124 215 0 134788 0 Current children cumulated CPU time (s) 1788.42 Current children cumulated vsize (Kb) 540024 [startup+1790.13 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147744/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=540024 CPUtime=1789.43 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128088 0 0 0 178856 87 0 0 25 0 1 0 196665012 552984576 122285 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134569822 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 135006 122285 124 215 0 134788 0 Current children cumulated CPU time (s) 1789.43 Current children cumulated vsize (Kb) 540024 [startup+1791.14 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147680/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=540024 CPUtime=1790.43 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128095 0 0 0 178956 87 0 0 25 0 1 0 196665012 552984576 122292 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134588609 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 135006 122292 124 215 0 134788 0 Current children cumulated CPU time (s) 1790.43 Current children cumulated vsize (Kb) 540024 [startup+1792.14 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147680/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=540024 CPUtime=1791.44 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128098 0 0 0 179057 87 0 0 25 0 1 0 196665012 552984576 122295 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 135006 122295 124 215 0 134788 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (Kb) 540024 [startup+1793.15 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147680/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=540024 CPUtime=1792.44 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128101 0 0 0 179157 87 0 0 25 0 1 0 196665012 552984576 122298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 135006 122298 124 215 0 134788 0 Current children cumulated CPU time (s) 1792.44 Current children cumulated vsize (Kb) 540024 [startup+1794.15 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147680/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=540024 CPUtime=1793.45 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128104 0 0 0 179258 87 0 0 25 0 1 0 196665012 552984576 122301 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 135006 122301 124 215 0 134788 0 Current children cumulated CPU time (s) 1793.45 Current children cumulated vsize (Kb) 540024 [startup+1795.16 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147680/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=540024 CPUtime=1794.45 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128108 0 0 0 179358 87 0 0 25 0 1 0 196665012 552984576 122305 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 135006 122305 124 215 0 134788 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (Kb) 540024 [startup+1796.16 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147616/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=540024 CPUtime=1795.46 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128112 0 0 0 179459 87 0 0 25 0 1 0 196665012 552984576 122309 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 135006 122309 124 215 0 134788 0 Current children cumulated CPU time (s) 1795.46 Current children cumulated vsize (Kb) 540024 [startup+1797.17 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147616/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=540156 CPUtime=1796.46 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128121 0 0 0 179559 87 0 0 25 0 1 0 196665012 553119744 122318 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581284 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 135039 122318 124 215 0 134821 0 Current children cumulated CPU time (s) 1796.46 Current children cumulated vsize (Kb) 540156 [startup+1798.17 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147552/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=540156 CPUtime=1797.47 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128125 0 0 0 179660 87 0 0 25 0 1 0 196665012 553119744 122322 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 135039 122322 124 215 0 134821 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (Kb) 540156 [startup+1799.18 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147552/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=540156 CPUtime=1798.47 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128131 0 0 0 179760 87 0 0 25 0 1 0 196665012 553119744 122328 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134588567 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 135039 122328 124 215 0 134821 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 540156 [startup+1800.18 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147552/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=540156 CPUtime=1799.47 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128136 0 0 0 179860 87 0 0 25 0 1 0 196665012 553119744 122333 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134572757 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 135039 122333 124 215 0 134821 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (Kb) 540156 [startup+1801.19 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147552/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=540156 CPUtime=1800.48 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128139 0 0 0 179961 87 0 0 25 0 1 0 196665012 553119744 122336 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 135039 122336 124 215 0 134821 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 540156 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 0.98 0.96 2/64 2625 /proc/meminfo: memFree=1147552/2055920 swapFree=4180904/4192956 [pid=2430] ppid=2428 vsize=540156 CPUtime=1800.48 /proc/2430/stat : 2430 (minisat+) R 2428 2430 2384 0 -1 4194304 128139 0 0 0 179961 87 0 0 25 0 1 0 196665012 553119744 122336 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2430/statm: 135039 122336 124 215 0 134821 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 540156 Sending SIGTERM to -2430 Sleeping 2 seconds Child status: 0 Real time (s): 1801.28 CPU time (s): 1800.58 CPU user time (s): 1799.62 CPU system time (s): 0.960853 CPU usage (%): 99.961 Max. virtual memory (cumulated for all children) (Kb): 540156
Begin job on node5 on Sat Jun 3 04:56:53 UTC 2006 FILE ID= 35776-1149310613 PBS_JOBID= 307936 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node5/35776-1149310613/instance-35776-1149310613.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-35776-1149310613 -o ROOT/results/node5/solver-35776-1149310613 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node5/35776-1149310613/instance-35776-1149310613.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 039ab37d4afaf5033e81ba68b8bf90de RANDOM SEED= 326771800 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.279 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.279 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1637680 kB Buffers: 26836 kB Cached: 326464 kB SwapCached: 3904 kB Active: 134336 kB Inactive: 227824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1637680 kB SwapTotal: 4192956 kB SwapFree: 4180904 kB Dirty: 208 kB Writeback: 0 kB Mapped: 14944 kB Slab: 42140 kB Committed_AS: 283512 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node5 on Sat Jun 3 05:26:55 UTC 2006