Trace number 35776

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14? (TO) 1800.58 1801.28

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-sctap3.opb
MD5SUM039ab37d4afaf5033e81ba68b8bf90de
Bench CategoryOPT-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 FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11761405455
Optimality of the best value was proved NO
Number of variables74400
Total number of constraints1408
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1408
Minimum length of a constraint90
Maximum length of a constraint930
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 numbers45
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

Launcher Data (download as text)

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