Trace number 4114652

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
minisatp 2012-10-02 git-d91742b? (TO) 1800.05 1800.43

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-sctap2.opb
MD5SUM69a6c7d8646ca0764023f06029f7c1d1
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2807518283
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7525688714
Optimality of the best value was proved NO
Number of variables56400
Total number of constraints1033
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 constraints1033
Minimum length of a constraint90
Maximum length of a constraint720
Number of terms in the objective function 42300
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 26381836591110
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 26381836591110
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 

0.00/0.00	c Parsing PB file...
1.19/1.29	c Converting 1503 PB-constraints to clauses...
1.19/1.29	c   -- Unit propagations: (none)
1.38/1.40	c   -- Detecting intervals from adjacent constraints: ######################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
1.38/1.40	c   -- Clauses(.)/Splits(s): sssss
1.38/1.41	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
1.38/1.42	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
1.38/1.44	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
1.38/1.46	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
1.38/1.47	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
1.38/1.49	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
1.48/1.51	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
1.48/1.53	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
1.48/1.54	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
1.48/1.56	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
1.48/1.58	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
1.48/1.59	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
1.58/1.61	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
1.58/1.63	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
1.58/1.65	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
1.58/1.66	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
1.58/1.68	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
1.68/1.70	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
1.68/1.72	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
1.68/1.73	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
1.68/1.75	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
1.68/1.77	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
1.68/1.78	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
1.78/1.80	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
1.78/1.82	c ---[1483]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.78/1.84	c ---[1482]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.78/1.86	c ---[1481]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.78/1.87	c ---[1480]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.78/1.89	c ---[1479]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.88/1.91	c ---[1478]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.88/1.92	c ---[1477]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.88/1.94	c ---[1476]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.88/1.96	c ---[1475]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.88/1.98	c ---[1474]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.88/1.99	c ---[1473]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.98/2.01	c ---[1472]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.98/2.03	c ---[1471]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.98/2.04	c ---[1470]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.98/2.06	c ---[1469]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.98/2.08	c ---[1468]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.08/2.10	c ---[1467]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.08/2.11	c ---[1466]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.08/2.13	c ---[1465]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.08/2.15	c ---[1464]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.08/2.17	c ---[1463]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.08/2.18	c ---[1462]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.08/2.20	c ---[1461]---> Sorter-cost: 1645     Base: 2 2 2 2 2 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/2.22	c ---[1460]---> Sorter-cost: 1645     Base: 2 2 2 2 2 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/2.24	c ---[1459]---> Sorter-cost: 1645     Base: 2 2 2 2 2 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/2.25	c ---[1458]---> Sorter-cost: 1645     Base: 2 2 2 2 2 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/2.27	c ---[1457]---> Sorter-cost: 1645     Base: 2 2 2 2 2 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/2.29	c ---[1456]---> Sorter-cost: 1645     Base: 2 2 2 2 2 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/2.31	c ---[1455]---> Sorter-cost: 1645     Base: 2 2 2 2 2 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/2.33	c ---[1454]---> Sorter-cost: 1645     Base: 2 2 2 2 2 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/2.34	c ---[1453]---> Sorter-cost: 1645     Base: 2 2 2 2 2 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/2.36	c ---[1452]---> Sorter-cost: 1645     Base: 2 2 2 2 2 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/2.38	c ---[1451]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.39/2.40	c ---[1450]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.39/2.41	c ---[1449]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.39/2.43	c ---[1448]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.39/2.45	c ---[1447]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.39/2.47	c ---[1446]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.39/2.48	c ---[1445]---> Sorter-cost: 1645     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.49/2.50	c ---[1444]---> 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
2.49/2.54	c ---[1443]---> 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
2.49/2.58	c ---[1442]---> 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
2.59/2.62	c ---[1441]---> 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
2.59/2.66	c ---[1440]---> 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
2.68/2.70	c ---[1439]---> 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
2.68/2.74	c ---[1438]---> 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
2.68/2.77	c ---[1437]---> 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
2.78/2.81	c ---[1436]---> 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
2.78/2.85	c ---[1435]---> 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
2.78/2.89	c ---[1434]---> 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
2.88/2.93	c ---[1433]---> 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
2.88/2.97	c ---[1432]---> 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
2.98/3.01	c ---[1431]---> 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
2.98/3.05	c ---[1430]---> 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
2.98/3.09	c ---[1429]---> 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
3.08/3.13	c ---[1428]---> 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
3.08/3.17	c ---[1427]---> 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
3.18/3.21	c ---[1426]---> 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
3.18/3.25	c ---[1425]---> 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
3.18/3.28	c ---[1424]---> 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
3.29/3.32	c ---[1423]---> 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
3.29/3.38	c ---[1422]---> 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
3.39/3.42	c ---[1421]---> 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
3.39/3.45	c ---[1420]---> 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
3.39/3.49	c ---[1419]---> 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
3.48/3.53	c ---[1418]---> 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
3.48/3.57	c ---[1417]---> 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
3.58/3.61	c ---[1416]---> 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
3.58/3.65	c ---[1415]---> 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
3.58/3.69	c ---[1414]---> 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
3.68/3.73	c ---[1413]---> 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
3.68/3.77	c ---[1412]---> 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
3.78/3.81	c ---[1411]---> 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
3.78/3.85	c ---[1410]---> 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
3.78/3.89	c ---[1409]---> 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
3.88/3.93	c ---[1408]---> 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
3.88/3.97	c ---[1407]---> 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
3.98/4.01	c ---[1406]---> 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
3.98/4.05	c ---[1405]---> 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
3.98/4.09	c ---[1404]---> 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
4.08/4.13	c ---[1403]---> 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
4.08/4.17	c ---[1402]---> 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
4.18/4.21	c ---[1401]---> 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
4.18/4.25	c ---[1400]---> 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
4.18/4.28	c ---[1399]---> 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
4.28/4.32	c ---[1398]---> 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
4.28/4.36	c ---[1397]---> 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
4.39/4.40	c ---[1396]---> 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
4.39/4.44	c ---[1395]---> 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
4.39/4.48	c ---[1394]---> 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
4.49/4.52	c ---[1393]---> 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
4.49/4.56	c ---[1392]---> 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
4.58/4.60	c ---[1391]---> 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
4.58/4.64	c ---[1390]---> 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
4.58/4.68	c ---[1389]---> 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
4.68/4.72	c ---[1388]---> 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
4.68/4.76	c ---[1387]---> 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
4.78/4.80	c ---[1386]---> 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
4.78/4.84	c ---[1385]---> 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
4.78/4.88	c ---[1384]---> 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
4.88/4.92	c ---[1383]---> 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
4.88/4.96	c ---[1382]---> 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
4.98/5.00	c ---[1381]---> 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
4.98/5.04	c ---[1380]---> 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
4.98/5.08	c ---[1379]---> 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
5.08/5.12	c ---[1378]---> 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
5.08/5.16	c ---[1377]---> 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
5.18/5.20	c ---[1376]---> 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
5.18/5.24	c ---[1375]---> 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
5.18/5.28	c ---[1374]---> 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
5.28/5.31	c ---[1373]---> 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
5.28/5.35	c ---[1372]---> 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
5.28/5.39	c ---[1371]---> 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
5.38/5.43	c ---[1370]---> 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
5.38/5.47	c ---[1369]---> 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
5.49/5.51	c ---[1368]---> 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
5.49/5.58	c ---[1367]---> 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
5.59/5.62	c ---[1366]---> 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
5.59/5.66	c ---[1365]---> 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
5.68/5.70	c ---[1364]---> 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
5.68/5.74	c ---[1363]---> 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
5.68/5.78	c ---[1362]---> 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
5.78/5.82	c ---[1361]---> 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
5.78/5.86	c ---[1360]---> 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
5.88/5.90	c ---[1359]---> 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
5.88/5.94	c ---[1358]---> 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
5.88/5.98	c ---[1357]---> 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
5.98/6.02	c ---[1356]---> 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
5.98/6.06	c ---[1355]---> 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.08/6.10	c ---[1354]---> 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.08/6.14	c ---[1353]---> 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.08/6.18	c ---[1352]---> 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.18/6.22	c ---[1351]---> 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.18/6.26	c ---[1350]---> 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.18/6.29	c ---[1349]---> 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.28/6.33	c ---[1348]---> 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.28/6.37	c ---[1347]---> 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.38/6.41	c ---[1346]---> 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.38/6.45	c ---[1345]---> 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.38/6.49	c ---[1344]---> 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.48/6.53	c ---[1343]---> 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.48/6.57	c ---[1342]---> 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.59/6.61	c ---[1341]---> 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.59/6.65	c ---[1340]---> 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.59/6.69	c ---[1339]---> 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.68/6.73	c ---[1338]---> 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.68/6.77	c ---[1337]---> 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.78/6.81	c ---[1336]---> 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.78/6.85	c ---[1335]---> 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.78/6.89	c ---[1334]---> 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.88/6.93	c ---[1333]---> 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.88/6.97	c ---[1332]---> 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/7.01	c ---[1331]---> 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/7.05	c ---[1330]---> 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/7.08	c ---[1329]---> 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.08/7.12	c ---[1328]---> 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.08/7.16	c ---[1327]---> 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.18/7.20	c ---[1326]---> 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.18/7.24	c ---[1325]---> 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.18/7.28	c ---[1324]---> 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.28/7.32	c ---[1323]---> 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.28/7.36	c ---[1322]---> 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/7.40	c ---[1321]---> 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/7.44	c ---[1320]---> 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/7.48	c ---[1319]---> 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.48/7.52	c ---[1318]---> 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
7.48/7.55	c ---[1317]---> 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
7.48/7.59	c ---[1316]---> 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
7.58/7.62	c ---[1315]---> 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
7.58/7.66	c ---[1314]---> 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
7.58/7.69	c ---[1313]---> 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
7.68/7.73	c ---[1312]---> 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
7.68/7.76	c ---[1311]---> 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
7.68/7.80	c ---[1310]---> 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
7.78/7.83	c ---[1309]---> 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
7.78/7.87	c ---[1308]---> 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
7.88/7.91	c ---[1307]---> 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
7.88/7.94	c ---[1306]---> 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
7.88/7.98	c ---[1305]---> 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
7.98/8.01	c ---[1304]---> 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
7.98/8.05	c ---[1303]---> 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
7.98/8.08	c ---[1302]---> 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
8.08/8.12	c ---[1301]---> 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
8.08/8.15	c ---[1300]---> 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
8.08/8.19	c ---[1299]---> 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
8.18/8.22	c ---[1298]---> 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
8.18/8.26	c ---[1297]---> 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
8.18/8.29	c ---[1296]---> 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
8.28/8.33	c ---[1295]---> 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
8.28/8.36	c ---[1294]---> 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
8.38/8.40	c ---[1293]---> 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
8.38/8.43	c ---[1292]---> 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
8.38/8.47	c ---[1291]---> 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
8.48/8.50	c ---[1290]---> 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
8.48/8.54	c ---[1289]---> 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
8.48/8.57	c ---[1288]---> 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
8.58/8.61	c ---[1287]---> 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
8.58/8.64	c ---[1286]---> 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
8.58/8.68	c ---[1285]---> 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
8.68/8.71	c ---[1284]---> 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
8.68/8.75	c ---[1283]---> 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
8.68/8.78	c ---[1282]---> 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
8.79/8.82	c ---[1281]---> 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
8.79/8.85	c ---[1280]---> 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
8.79/8.89	c ---[1279]---> 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
8.89/8.92	c ---[1278]---> 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
8.89/8.96	c ---[1277]---> 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
8.89/8.99	c ---[1276]---> 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
8.98/9.03	c ---[1275]---> 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
8.98/9.06	c ---[1274]---> 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
9.08/9.10	c ---[1273]---> 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
9.08/9.13	c ---[1272]---> 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
9.08/9.17	c ---[1271]---> 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
9.18/9.20	c ---[1270]---> 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
9.18/9.24	c ---[1269]---> 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
9.18/9.28	c ---[1268]---> 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
9.28/9.31	c ---[1267]---> 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
9.28/9.35	c ---[1266]---> 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
9.28/9.38	c ---[1265]---> 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
9.38/9.42	c ---[1264]---> 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
9.38/9.45	c ---[1263]---> 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
9.38/9.49	c ---[1262]---> 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
9.48/9.52	c ---[1261]---> 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
9.48/9.56	c ---[1260]---> 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
9.48/9.59	c ---[1259]---> 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
9.58/9.63	c ---[1258]---> 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
9.58/9.66	c ---[1257]---> 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
9.68/9.70	c ---[1256]---> 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
9.68/9.73	c ---[1255]---> 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
9.68/9.77	c ---[1254]---> 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
9.78/9.80	c ---[1253]---> 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
9.78/9.84	c ---[1252]---> 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
9.78/9.87	c ---[1251]---> 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
9.89/10.00	c ---[1250]---> 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
9.99/10.03	c ---[1249]---> 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
9.99/10.07	c ---[1248]---> 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
10.08/10.10	c ---[1247]---> 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
10.08/10.14	c ---[1246]---> 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
10.08/10.17	c ---[1245]---> 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
10.18/10.21	c ---[1244]---> 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
10.18/10.24	c ---[1243]---> 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
10.18/10.28	c ---[1242]---> 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
10.28/10.31	c ---[1241]---> 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
10.28/10.35	c ---[1240]---> 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
10.28/10.38	c ---[1239]---> 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
10.38/10.42	c ---[1238]---> 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
10.38/10.45	c ---[1237]---> 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
10.38/10.49	c ---[1236]---> 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
10.48/10.52	c ---[1235]---> 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
10.48/10.56	c ---[1234]---> 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
10.48/10.59	c ---[1233]---> 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
10.58/10.63	c ---[1232]---> 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
10.58/10.66	c ---[1231]---> 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
10.68/10.70	c ---[1230]---> 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
10.68/10.73	c ---[1229]---> 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
10.68/10.77	c ---[1228]---> 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
10.78/10.80	c ---[1227]---> 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
10.78/10.84	c ---[1226]---> 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
10.78/10.87	c ---[1225]---> 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
10.88/10.91	c ---[1224]---> 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
10.88/10.94	c ---[1223]---> 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
10.88/10.98	c ---[1222]---> 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
10.99/11.02	c ---[1221]---> 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
10.99/11.05	c ---[1220]---> 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
10.99/11.09	c ---[1219]---> 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
11.09/11.12	c ---[1218]---> 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
11.09/11.16	c ---[1217]---> 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
11.09/11.19	c ---[1216]---> 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
11.18/11.23	c ---[1215]---> 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
11.18/11.26	c ---[1214]---> 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
11.28/11.30	c ---[1213]---> 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
11.28/11.33	c ---[1212]---> 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
11.28/11.37	c ---[1211]---> 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
11.38/11.40	c ---[1210]---> 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
11.38/11.44	c ---[1209]---> 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
11.38/11.47	c ---[1208]---> 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
11.48/11.51	c ---[1207]---> 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
11.48/11.54	c ---[1206]---> 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
11.48/11.58	c ---[1205]---> 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
11.58/11.61	c ---[1204]---> 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
11.58/11.65	c ---[1203]---> 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
11.58/11.68	c ---[1202]---> 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
11.68/11.72	c ---[1201]---> 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
11.68/11.75	c ---[1200]---> 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
11.68/11.79	c ---[1199]---> 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
11.78/11.82	c ---[1198]---> 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
11.78/11.86	c ---[1197]---> 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
11.78/11.90	c ---[1196]---> 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
11.88/11.93	c ---[1195]---> 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
11.88/11.97	c ---[1194]---> 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
11.98/12.00	c ---[1193]---> 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
11.98/12.04	c ---[1192]---> 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
11.98/12.08	c ---[1191]---> 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
12.08/12.12	c ---[1190]---> 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
12.08/12.16	c ---[1189]---> 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
12.08/12.20	c ---[1188]---> 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
12.18/12.24	c ---[1187]---> 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
12.18/12.28	c ---[1186]---> 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
12.28/12.32	c ---[1185]---> 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
12.28/12.36	c ---[1184]---> 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
12.38/12.40	c ---[1183]---> 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
12.38/12.44	c ---[1182]---> 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
12.38/12.48	c ---[1181]---> 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
12.48/12.52	c ---[1180]---> 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
12.48/12.56	c ---[1179]---> 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
12.58/12.60	c ---[1178]---> 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
12.58/12.64	c ---[1177]---> 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
12.58/12.68	c ---[1176]---> 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
12.68/12.72	c ---[1175]---> 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
12.68/12.76	c ---[1174]---> 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
12.78/12.80	c ---[1173]---> 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
12.78/12.84	c ---[1172]---> 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
12.78/12.88	c ---[1171]---> 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
12.88/12.92	c ---[1170]---> 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
12.88/12.96	c ---[1169]---> 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
12.98/13.00	c ---[1168]---> 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
12.98/13.04	c ---[1167]---> 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
12.98/13.08	c ---[1166]---> 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
13.08/13.12	c ---[1165]---> Sorter-cost: 1645     Base: 2 2 2 2 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.08/13.14	c ---[1164]---> Sorter-cost: 1645     Base: 2 2 2 2 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.08/13.15	c ---[1163]---> Sorter-cost: 1645     Base: 2 2 2 2 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.08/13.17	c ---[1162]---> Sorter-cost: 1645     Base: 2 2 2 2 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.08/13.19	c ---[1161]---> Sorter-cost: 1645     Base: 2 2 2 2 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/13.21	c ---[1160]---> Sorter-cost: 1645     Base: 2 2 2 2 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/13.22	c ---[1159]---> Sorter-cost: 1645     Base: 2 2 2 2 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/13.24	c ---[1158]---> Sorter-cost: 1645     Base: 2 2 2 2 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/13.26	c ---[1157]---> Sorter-cost: 1645     Base: 2 2 2 2 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/13.28	c ---[1156]---> Sorter-cost: 1645     Base: 2 2 2 2 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/13.29	c ---[1155]---> Sorter-cost: 1645     Base: 2 2 2 2 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.28/13.31	c ---[1154]---> Sorter-cost: 1645     Base: 2 2 2 2 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.28/13.33	c ---[1153]---> Sorter-cost: 1645     Base: 2 2 2 2 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.28/13.35	c ---[1152]---> Sorter-cost: 1645     Base: 2 2 2 2 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.28/13.37	c ---[1151]---> Sorter-cost: 1645     Base: 2 2 2 2 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.28/13.38	c ---[1150]---> Sorter-cost: 1645     Base: 2 2 2 2 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.38/13.40	c ---[1149]---> Sorter-cost: 1645     Base: 2 2 2 2 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.38/13.42	c ---[1148]---> Sorter-cost: 1645     Base: 2 2 2 2 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.38/13.44	c ---[1147]---> Sorter-cost: 1645     Base: 2 2 2 2 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.38/13.45	c ---[1146]---> Sorter-cost: 1645     Base: 2 2 2 2 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.38/13.47	c ---[1145]---> Sorter-cost: 1645     Base: 2 2 2 2 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.38/13.49	c ---[1144]---> Sorter-cost: 1645     Base: 2 2 2 2 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.48/13.51	c ---[1143]---> Sorter-cost: 1645     Base: 2 2 2 2 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.48/13.52	c ---[1142]---> Sorter-cost: 1645     Base: 2 2 2 2 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.48/13.54	c ---[1141]---> Sorter-cost: 1645     Base: 2 2 2 2 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.48/13.56	c ---[1140]---> Sorter-cost: 1645     Base: 2 2 2 2 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.48/13.58	c ---[1139]---> Sorter-cost: 1645     Base: 2 2 2 2 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.48/13.59	c ---[1138]---> Sorter-cost: 1645     Base: 2 2 2 2 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.58/13.61	c ---[1137]---> Sorter-cost: 1645     Base: 2 2 2 2 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.58/13.63	c ---[1136]---> Sorter-cost: 1645     Base: 2 2 2 2 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.58/13.65	c ---[1135]---> Sorter-cost: 1645     Base: 2 2 2 2 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.58/13.67	c ---[1134]---> Sorter-cost: 1645     Base: 2 2 2 2 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.58/13.68	c ---[1133]---> Sorter-cost: 1645     Base: 2 2 2 2 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.68/13.70	c ---[1132]---> Sorter-cost: 1645     Base: 2 2 2 2 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.68/13.72	c ---[1131]---> Sorter-cost: 1645     Base: 2 2 2 2 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.68/13.74	c ---[1130]---> Sorter-cost: 1645     Base: 2 2 2 2 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.68/13.75	c ---[1129]---> Sorter-cost: 1645     Base: 2 2 2 2 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.68/13.77	c ---[1128]---> Sorter-cost: 1645     Base: 2 2 2 2 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.68/13.79	c ---[1127]---> Sorter-cost: 1645     Base: 2 2 2 2 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.78/13.81	c ---[1126]---> Sorter-cost: 1645     Base: 2 2 2 2 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.78/13.82	c ---[1125]---> Sorter-cost: 1645     Base: 2 2 2 2 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.78/13.84	c ---[1124]---> Sorter-cost: 1645     Base: 2 2 2 2 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.78/13.86	c ---[1123]---> Sorter-cost: 1645     Base: 2 2 2 2 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.78/13.88	c ---[1122]---> Sorter-cost: 1645     Base: 2 2 2 2 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.78/13.90	c ---[1121]---> Sorter-cost: 1645     Base: 2 2 2 2 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.88/13.91	c ---[1120]---> Sorter-cost: 1645     Base: 2 2 2 2 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.88/13.93	c ---[1119]---> Sorter-cost: 1645     Base: 2 2 2 2 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.88/13.95	c ---[1118]---> Sorter-cost: 1645     Base: 2 2 2 2 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.88/13.97	c ---[1117]---> Sorter-cost: 1645     Base: 2 2 2 2 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.88/13.98	c ---[1116]---> Sorter-cost: 1645     Base: 2 2 2 2 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.98/14.00	c ---[1115]---> Sorter-cost: 1645     Base: 2 2 2 2 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.98/14.02	c ---[1114]---> Sorter-cost: 1645     Base: 2 2 2 2 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.98/14.04	c ---[1113]---> Sorter-cost: 1645     Base: 2 2 2 2 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.98/14.05	c ---[1112]---> Sorter-cost: 1645     Base: 2 2 2 2 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.98/14.07	c ---[1111]---> Sorter-cost: 1645     Base: 2 2 2 2 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.98/14.09	c ---[1110]---> Sorter-cost: 1645     Base: 2 2 2 2 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.08/14.11	c ---[1109]---> Sorter-cost: 1645     Base: 2 2 2 2 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.08/14.13	c ---[1108]---> Sorter-cost: 1645     Base: 2 2 2 2 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.08/14.14	c ---[1107]---> Sorter-cost: 1645     Base: 2 2 2 2 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.08/14.16	c ---[1106]---> Sorter-cost: 1645     Base: 2 2 2 2 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.08/14.18	c ---[1105]---> Sorter-cost: 1645     Base: 2 2 2 2 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.18/14.20	c ---[1104]---> Sorter-cost: 1645     Base: 2 2 2 2 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.18/14.21	c ---[1103]---> Sorter-cost: 1645     Base: 2 2 2 2 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.18/14.23	c ---[1102]---> Sorter-cost: 1645     Base: 2 2 2 2 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.18/14.25	c ---[1101]---> Sorter-cost: 1645     Base: 2 2 2 2 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.18/14.27	c ---[1100]---> Sorter-cost: 1645     Base: 2 2 2 2 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.18/14.28	c ---[1099]---> Sorter-cost: 1645     Base: 2 2 2 2 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.18/14.30	c ---[1098]---> Sorter-cost: 1645     Base: 2 2 2 2 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.28/14.32	c ---[1097]---> Sorter-cost: 1645     Base: 2 2 2 2 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.28/14.34	c ---[1096]---> Sorter-cost: 1645     Base: 2 2 2 2 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.28/14.36	c ---[1095]---> Sorter-cost: 1645     Base: 2 2 2 2 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.28/14.37	c ---[1094]---> Sorter-cost: 1645     Base: 2 2 2 2 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.28/14.39	c ---[1093]---> Sorter-cost: 1645     Base: 2 2 2 2 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.38/14.41	c ---[1092]---> Sorter-cost: 1645     Base: 2 2 2 2 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.38/14.43	c ---[1091]---> Sorter-cost: 1645     Base: 2 2 2 2 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.38/14.44	c ---[1090]---> Sorter-cost: 1645     Base: 2 2 2 2 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.38/14.46	c ---[1089]---> Sorter-cost: 1645     Base: 2 2 2 2 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.38/14.48	c ---[1088]---> Sorter-cost: 1645     Base: 2 2 2 2 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/14.50	c ---[1087]---> Sorter-cost: 1645     Base: 2 2 2 2 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/14.51	c ---[1086]---> Sorter-cost: 1645     Base: 2 2 2 2 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/14.53	c ---[1085]---> Sorter-cost: 1645     Base: 2 2 2 2 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/14.55	c ---[1083]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.55	c ---[1081]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.55	c ---[1079]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.56	c ---[1077]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.56	c ---[1075]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.56	c ---[1073]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.56	c ---[1071]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.56	c ---[1069]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.56	c ---[1067]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.57	c ---[1065]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.57	c ---[1063]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.57	c ---[1061]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.57	c ---[1059]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.57	c ---[1057]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.57	c ---[1055]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.58	c ---[1053]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.58	c ---[1051]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.58	c ---[1049]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.58	c ---[1047]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.58	c ---[1045]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.58	c ---[1043]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.59	c ---[1041]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.59	c ---[1039]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.59	c ---[1037]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.59	c ---[1035]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.59	c ---[1033]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.48/14.60	c ---[1031]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.60	c ---[1029]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.60	c ---[1027]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.60	c ---[1025]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.60	c ---[1023]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.60	c ---[1021]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.61	c ---[1019]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.61	c ---[1017]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.61	c ---[1015]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.61	c ---[1013]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.61	c ---[1011]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.61	c ---[1009]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.62	c ---[1007]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.62	c ---[1005]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.62	c ---[1003]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.62	c ---[1001]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.62	c ---[ 999]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.63	c ---[ 997]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.63	c ---[ 995]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.63	c ---[ 993]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.63	c ---[ 991]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.63	c ---[ 989]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.63	c ---[ 987]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.64	c ---[ 985]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.64	c ---[ 983]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.64	c ---[ 981]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.64	c ---[ 979]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.64	c ---[ 977]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.65	c ---[ 975]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.65	c ---[ 973]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.65	c ---[ 971]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.65	c ---[ 969]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.65	c ---[ 967]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.65	c ---[ 965]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.66	c ---[ 963]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.66	c ---[ 961]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.66	c ---[ 959]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.66	c ---[ 957]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.66	c ---[ 955]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.66	c ---[ 953]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.67	c ---[ 951]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.67	c ---[ 949]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.67	c ---[ 947]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.67	c ---[ 945]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.67	c ---[ 943]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.68	c ---[ 941]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.68	c ---[ 939]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.68	c ---[ 937]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.68	c ---[ 935]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.68	c ---[ 933]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.68	c ---[ 931]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.69	c ---[ 929]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.69	c ---[ 927]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.69	c ---[ 925]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.69	c ---[ 923]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.69	c ---[ 921]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.58/14.69	c ---[ 919]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.70	c ---[ 917]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.70	c ---[ 915]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.70	c ---[ 913]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.70	c ---[ 911]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.70	c ---[ 909]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.71	c ---[ 907]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.71	c ---[ 905]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.71	c ---[ 903]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.71	c ---[ 901]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.71	c ---[ 899]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.71	c ---[ 897]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.72	c ---[ 895]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.72	c ---[ 893]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.72	c ---[ 891]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.72	c ---[ 889]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.72	c ---[ 887]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.73	c ---[ 885]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.73	c ---[ 883]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.73	c ---[ 881]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.73	c ---[ 879]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.73	c ---[ 877]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.73	c ---[ 875]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.74	c ---[ 873]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.74	c ---[ 871]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.74	c ---[ 869]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.74	c ---[ 867]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.74	c ---[ 865]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.74	c ---[ 863]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.75	c ---[ 861]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.75	c ---[ 859]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.75	c ---[ 857]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.75	c ---[ 855]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.75	c ---[ 853]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.76	c ---[ 851]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.76	c ---[ 849]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.76	c ---[ 847]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.76	c ---[ 845]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.76	c ---[ 843]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.76	c ---[ 841]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.77	c ---[ 839]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.77	c ---[ 837]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.77	c ---[ 835]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.77	c ---[ 833]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.77	c ---[ 831]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.78	c ---[ 829]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.78	c ---[ 827]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.78	c ---[ 825]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.78	c ---[ 823]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.78	c ---[ 821]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.78	c ---[ 819]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.79	c ---[ 817]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.79	c ---[ 815]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.79	c ---[ 813]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.79	c ---[ 811]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.79	c ---[ 809]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.68/14.79	c ---[ 807]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.80	c ---[ 805]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.80	c ---[ 803]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.80	c ---[ 801]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.80	c ---[ 799]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.80	c ---[ 797]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.81	c ---[ 795]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.81	c ---[ 793]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.81	c ---[ 791]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.81	c ---[ 789]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.81	c ---[ 787]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.81	c ---[ 785]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.82	c ---[ 783]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.82	c ---[ 781]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.82	c ---[ 779]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.82	c ---[ 777]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.82	c ---[ 775]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.82	c ---[ 773]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.83	c ---[ 771]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.83	c ---[ 769]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.83	c ---[ 767]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.83	c ---[ 765]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.83	c ---[ 763]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.84	c ---[ 761]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.84	c ---[ 759]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.84	c ---[ 757]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.84	c ---[ 755]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.84	c ---[ 753]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.84	c ---[ 751]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.85	c ---[ 749]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.85	c ---[ 747]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.85	c ---[ 745]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.85	c ---[ 743]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.85	c ---[ 741]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.86	c ---[ 739]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.86	c ---[ 737]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.86	c ---[ 735]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.86	c ---[ 733]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.86	c ---[ 731]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.86	c ---[ 729]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.87	c ---[ 727]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.87	c ---[ 725]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.87	c ---[ 723]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.87	c ---[ 721]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.87	c ---[ 719]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.87	c ---[ 717]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.88	c ---[ 715]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.88	c ---[ 713]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.88	c ---[ 711]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.88	c ---[ 709]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.88	c ---[ 707]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.89	c ---[ 705]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.89	c ---[ 703]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.89	c ---[ 701]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.89	c ---[ 699]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.89	c ---[ 697]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.78/14.89	c ---[ 695]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.90	c ---[ 693]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.90	c ---[ 691]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.90	c ---[ 689]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.90	c ---[ 687]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.90	c ---[ 685]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.91	c ---[ 683]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.91	c ---[ 681]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.91	c ---[ 679]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.91	c ---[ 677]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.91	c ---[ 675]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.91	c ---[ 673]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.92	c ---[ 671]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.92	c ---[ 669]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.92	c ---[ 667]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.92	c ---[ 665]---> Sorter-cost:  217     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.92	c ---[ 663]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.92	c ---[ 661]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.93	c ---[ 659]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.93	c ---[ 657]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.93	c ---[ 655]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.93	c ---[ 653]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.93	c ---[ 651]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.94	c ---[ 649]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.94	c ---[ 647]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.94	c ---[ 645]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.94	c ---[ 643]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.94	c ---[ 641]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.94	c ---[ 639]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.95	c ---[ 637]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.95	c ---[ 635]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.95	c ---[ 633]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.95	c ---[ 631]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.95	c ---[ 629]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.96	c ---[ 627]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.96	c ---[ 625]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.96	c ---[ 623]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.96	c ---[ 621]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.96	c ---[ 619]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.96	c ---[ 617]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.97	c ---[ 615]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.97	c ---[ 613]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.97	c ---[ 611]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.97	c ---[ 609]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.97	c ---[ 607]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.98	c ---[ 605]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.98	c ---[ 603]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.98	c ---[ 601]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.98	c ---[ 599]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.98	c ---[ 597]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.98	c ---[ 595]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.99	c ---[ 593]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.99	c ---[ 591]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.99	c ---[ 589]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.99	c ---[ 587]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.99	c ---[ 585]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.88/14.99	c ---[ 583]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.00	c ---[ 581]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.00	c ---[ 579]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.00	c ---[ 577]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.00	c ---[ 575]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.00	c ---[ 573]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.01	c ---[ 571]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.01	c ---[ 569]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.01	c ---[ 567]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.01	c ---[ 565]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.01	c ---[ 563]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.01	c ---[ 561]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.02	c ---[ 559]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.02	c ---[ 557]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.02	c ---[ 555]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.02	c ---[ 553]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.02	c ---[ 551]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.03	c ---[ 549]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.03	c ---[ 547]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.03	c ---[ 545]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.03	c ---[ 543]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.03	c ---[ 541]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.03	c ---[ 539]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.04	c ---[ 537]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.04	c ---[ 535]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.04	c ---[ 533]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.04	c ---[ 531]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.04	c ---[ 529]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.04	c ---[ 527]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.05	c ---[ 525]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.05	c ---[ 523]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.05	c ---[ 521]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.05	c ---[ 519]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.05	c ---[ 517]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.06	c ---[ 515]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.06	c ---[ 513]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.06	c ---[ 511]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.06	c ---[ 509]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.06	c ---[ 507]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.06	c ---[ 505]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.07	c ---[ 503]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.07	c ---[ 501]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.07	c ---[ 499]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.07	c ---[ 497]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.07	c ---[ 495]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.08	c ---[ 493]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.08	c ---[ 491]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.08	c ---[ 489]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.08	c ---[ 487]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.08	c ---[ 485]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.08	c ---[ 483]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.09	c ---[ 481]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.09	c ---[ 479]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.09	c ---[ 477]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.09	c ---[ 475]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.09	c ---[ 473]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
14.98/15.10	c ---[ 471]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.10	c ---[ 469]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.10	c ---[ 467]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.10	c ---[ 465]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.10	c ---[ 463]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.10	c ---[ 461]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.11	c ---[ 459]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.11	c ---[ 457]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.11	c ---[ 455]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.11	c ---[ 453]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.11	c ---[ 451]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.11	c ---[ 449]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.12	c ---[ 447]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.12	c ---[ 445]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.12	c ---[ 443]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.12	c ---[ 441]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.12	c ---[ 439]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.13	c ---[ 437]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.13	c ---[ 435]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.13	c ---[ 433]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.13	c ---[ 431]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.13	c ---[ 429]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.13	c ---[ 427]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.14	c ---[ 425]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.14	c ---[ 423]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.14	c ---[ 421]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.14	c ---[ 419]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.14	c ---[ 417]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.15	c ---[ 415]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.15	c ---[ 413]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.15	c ---[ 411]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.15	c ---[ 409]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.15	c ---[ 407]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.15	c ---[ 405]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.16	c ---[ 403]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.16	c ---[ 401]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.16	c ---[ 399]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.16	c ---[ 397]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.16	c ---[ 395]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.17	c ---[ 393]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.17	c ---[ 391]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.17	c ---[ 389]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.17	c ---[ 387]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.17	c ---[ 385]---> Sorter-cost:  219     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.17	c ---[ 383]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.18	c ---[ 381]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.18	c ---[ 379]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.18	c ---[ 377]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.18	c ---[ 375]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.18	c ---[ 373]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.19	c ---[ 371]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.19	c ---[ 369]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.19	c ---[ 367]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.19	c ---[ 365]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.19	c ---[ 363]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.08/15.19	c ---[ 361]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.20	c ---[ 359]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.20	c ---[ 357]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.20	c ---[ 355]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.20	c ---[ 353]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.20	c ---[ 351]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.20	c ---[ 349]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.21	c ---[ 347]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.21	c ---[ 345]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.21	c ---[ 343]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.21	c ---[ 341]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.21	c ---[ 339]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.22	c ---[ 337]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.22	c ---[ 335]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.22	c ---[ 333]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.22	c ---[ 331]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.22	c ---[ 329]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.22	c ---[ 327]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.23	c ---[ 325]---> Sorter-cost:  235     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.23	c ---[ 323]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.23	c ---[ 321]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.23	c ---[ 319]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.23	c ---[ 317]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.24	c ---[ 315]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.24	c ---[ 313]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.24	c ---[ 311]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.24	c ---[ 309]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.24	c ---[ 307]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.24	c ---[ 305]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.25	c ---[ 303]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.25	c ---[ 301]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.25	c ---[ 299]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.25	c ---[ 297]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.25	c ---[ 295]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.26	c ---[ 293]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.26	c ---[ 291]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.26	c ---[ 289]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.26	c ---[ 287]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.26	c ---[ 285]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.26	c ---[ 283]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.27	c ---[ 281]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.27	c ---[ 279]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.27	c ---[ 277]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.27	c ---[ 275]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.27	c ---[ 273]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.28	c ---[ 271]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.28	c ---[ 269]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.28	c ---[ 267]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.28	c ---[ 265]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.28	c ---[ 263]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.28	c ---[ 261]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.29	c ---[ 259]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.29	c ---[ 257]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.29	c ---[ 255]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.29	c ---[ 253]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.29	c ---[ 251]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.18/15.30	c ---[ 249]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.30	c ---[ 247]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.30	c ---[ 245]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.30	c ---[ 243]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.30	c ---[ 241]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.30	c ---[ 239]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.31	c ---[ 237]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.31	c ---[ 235]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.31	c ---[ 233]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.31	c ---[ 231]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.31	c ---[ 229]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.32	c ---[ 227]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.32	c ---[ 225]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.32	c ---[ 223]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.32	c ---[ 221]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.32	c ---[ 219]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.32	c ---[ 217]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.33	c ---[ 215]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.33	c ---[ 213]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.33	c ---[ 211]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.33	c ---[ 209]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.33	c ---[ 207]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.34	c ---[ 205]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.34	c ---[ 203]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.34	c ---[ 201]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.34	c ---[ 199]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.34	c ---[ 197]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.34	c ---[ 195]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.35	c ---[ 193]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.35	c ---[ 191]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.35	c ---[ 189]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.35	c ---[ 187]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.35	c ---[ 185]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.35	c ---[ 183]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.36	c ---[ 181]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.36	c ---[ 179]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.36	c ---[ 177]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.36	c ---[ 175]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.36	c ---[ 173]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.37	c ---[ 171]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.37	c ---[ 169]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.37	c ---[ 167]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.37	c ---[ 165]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.37	c ---[ 163]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.37	c ---[ 161]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.38	c ---[ 159]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.38	c ---[ 157]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.38	c ---[ 155]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.38	c ---[ 153]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.38	c ---[ 151]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.39	c ---[ 149]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.39	c ---[ 147]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.39	c ---[ 145]---> Sorter-cost:  237     Base: 2 2 2 2 2 2 2 2 2 2
15.28/15.39	c ---[ 144]---> Adder-cost: 1364   maxlim: 3221677855   bits: 33/32
15.58/15.68	c ---[ 143]---> Adder-cost: 1364   maxlim: 3221677855   bits: 33/32
15.88/15.98	c ---[ 142]---> Adder-cost: 1304   maxlim: 3221677855   bits: 33/32
16.18/16.26	c ---[ 141]---> Adder-cost: 1304   maxlim: 3221677855   bits: 33/32
16.48/16.55	c ---[ 140]---> Adder-cost: 1304   maxlim: 3221677855   bits: 33/32
16.77/16.84	c ---[ 139]---> Adder-cost: 1304   maxlim: 3221677855   bits: 33/32
17.07/17.13	c ---[ 138]---> Adder-cost: 1304   maxlim: 3221677855   bits: 33/32
17.37/17.42	c ---[ 137]---> Adder-cost: 1304   maxlim: 3221677855   bits: 33/32
17.68/17.71	c ---[ 136]---> Adder-cost: 1244   maxlim: 3221677855   bits: 33/32
17.97/18.00	c ---[ 135]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
18.17/18.25	c ---[ 134]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
18.47/18.51	c ---[ 133]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
18.68/18.76	c ---[ 132]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
18.97/19.02	c ---[ 131]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
19.17/19.27	c ---[ 130]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
19.47/19.53	c ---[ 129]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
19.67/19.78	c ---[ 128]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
19.97/20.04	c ---[ 127]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
20.17/20.29	c ---[ 126]---> Adder-cost: 1364   maxlim: 3221677855   bits: 33/32
20.47/20.58	c ---[ 125]---> Adder-cost: 1364   maxlim: 3221677855   bits: 33/32
20.77/20.87	c ---[ 124]---> Adder-cost: 1304   maxlim: 3221677855   bits: 33/32
21.07/21.16	c ---[ 123]---> Adder-cost: 1304   maxlim: 3221677855   bits: 33/32
21.37/21.45	c ---[ 122]---> Adder-cost: 1304   maxlim: 3221677855   bits: 33/32
21.67/21.74	c ---[ 121]---> Adder-cost: 1304   maxlim: 3221677855   bits: 33/32
21.98/22.03	c ---[ 120]---> Adder-cost: 1304   maxlim: 3221677855   bits: 33/32
22.27/22.32	c ---[ 119]---> Adder-cost: 1304   maxlim: 3221677855   bits: 33/32
22.57/22.61	c ---[ 118]---> Adder-cost: 1244   maxlim: 3221677855   bits: 33/32
22.87/22.90	c ---[ 117]---> Adder-cost: 1380   maxlim: 4295118769   bits: 34/33
22.97/23.07	c ---[ 115]---> Adder-cost: 1380   maxlim: 4295149489   bits: 34/33
23.18/23.24	c ---[ 114]---> Adder-cost: 1378   maxlim: 4295159729   bits: 34/33
23.37/23.41	c ---[ 113]---> Adder-cost: 1378   maxlim: 4295139249   bits: 34/33
23.47/23.58	c ---[ 112]---> Adder-cost: 1378   maxlim: 4295123889   bits: 34/33
23.67/23.76	c ---[ 111]---> Adder-cost: 1378   maxlim: 4295118769   bits: 34/33
23.87/23.93	c ---[ 110]---> Adder-cost: 1378   maxlim: 4295118769   bits: 34/33
24.07/24.10	c ---[ 109]---> Adder-cost: 1378   maxlim: 4295118769   bits: 34/33
24.18/24.27	c ---[ 108]---> Adder-cost: 1376   maxlim: 4295118769   bits: 34/33
24.37/24.44	c ---[ 107]---> Adder-cost: 1380   maxlim: 4295118769   bits: 34/33
24.57/24.61	c ---[ 106]---> Adder-cost: 1380   maxlim: 4295118769   bits: 34/33
24.67/24.78	c ---[ 105]---> Adder-cost: 1378   maxlim: 4295118769   bits: 34/33
24.87/24.95	c ---[ 104]---> Adder-cost: 1378   maxlim: 4295118769   bits: 34/33
25.07/25.12	c ---[ 103]---> Adder-cost: 1378   maxlim: 4295118769   bits: 34/33
25.17/25.29	c ---[ 102]---> Adder-cost: 1378   maxlim: 4295118769   bits: 34/33
25.38/25.46	c ---[ 101]---> Adder-cost: 1378   maxlim: 4295118769   bits: 34/33
25.57/25.64	c ---[ 100]---> Adder-cost: 1378   maxlim: 4295118769   bits: 34/33
25.77/25.81	c ---[  99]---> Adder-cost: 1376   maxlim: 4295118769   bits: 34/33
25.87/25.98	c ---[  98]---> Adder-cost: 1380   maxlim: 4295118769   bits: 34/33
26.07/26.15	c ---[  96]---> Adder-cost: 1380   maxlim: 4295129009   bits: 34/33
26.27/26.32	c ---[  95]---> Adder-cost: 1378   maxlim: 4295129009   bits: 34/33
26.38/26.49	c ---[  94]---> Adder-cost: 1378   maxlim: 4295129009   bits: 34/33
26.57/26.66	c ---[  93]---> Adder-cost: 1378   maxlim: 4295129009   bits: 34/33
26.77/26.83	c ---[  92]---> Adder-cost: 1378   maxlim: 4295129009   bits: 34/33
26.97/27.01	c ---[  91]---> Adder-cost: 1378   maxlim: 4295139249   bits: 34/33
27.07/27.18	c ---[  90]---> Adder-cost: 1378   maxlim: 4295149489   bits: 34/33
27.27/27.35	c ---[  89]---> Adder-cost: 1376   maxlim: 4295123889   bits: 34/33
27.48/27.52	c ---[  88]---> Adder-cost: 1008   maxlim: 3221362617   bits: 33/32
27.58/27.65	c ---[  86]---> Adder-cost: 1008   maxlim: 3221372857   bits: 33/32
27.67/27.78	c ---[  85]---> Adder-cost: 948   maxlim: 3221377977   bits: 33/32
27.87/27.92	c ---[  84]---> Adder-cost: 948   maxlim: 3221383097   bits: 33/32
27.97/28.05	c ---[  83]---> Adder-cost: 948   maxlim: 3221383097   bits: 33/32
28.07/28.18	c ---[  82]---> Adder-cost: 948   maxlim: 3221383097   bits: 33/32
28.27/28.32	c ---[  81]---> Adder-cost: 948   maxlim: 3221372857   bits: 33/32
28.38/28.45	c ---[  80]---> Adder-cost: 948   maxlim: 3221372857   bits: 33/32
28.48/28.58	c ---[  79]---> Adder-cost: 888   maxlim: 3221362617   bits: 33/32
28.69/28.71	c ---[  78]---> Adder-cost: 1380   maxlim: 4295118769   bits: 34/33
28.78/28.89	c ---[  76]---> Adder-cost: 1380   maxlim: 4295123889   bits: 34/33
28.98/29.06	c ---[  75]---> Adder-cost: 1378   maxlim: 4295129009   bits: 34/33
29.18/29.23	c ---[  74]---> Adder-cost: 1378   maxlim: 4295129009   bits: 34/33
29.38/29.40	c ---[  73]---> Adder-cost: 1378   maxlim: 4295129009   bits: 34/33
29.48/29.57	c ---[  72]---> Adder-cost: 1378   maxlim: 4295134129   bits: 34/33
29.69/29.74	c ---[  71]---> Adder-cost: 1378   maxlim: 4295129009   bits: 34/33
29.88/29.91	c ---[  70]---> Adder-cost: 1378   maxlim: 4295123889   bits: 34/33
29.98/30.08	c ---[  69]---> Adder-cost: 1376   maxlim: 4295118769   bits: 34/33
30.18/30.26	c ---[  68]---> Adder-cost: 1008   maxlim: 3221362617   bits: 33/32
30.28/30.39	c ---[  67]---> Adder-cost: 1008   maxlim: 3221367737   bits: 33/32
30.48/30.52	c ---[  66]---> Adder-cost: 948   maxlim: 3221372857   bits: 33/32
30.58/30.65	c ---[  65]---> Adder-cost: 948   maxlim: 3221383097   bits: 33/32
30.68/30.79	c ---[  64]---> Adder-cost: 948   maxlim: 3221393337   bits: 33/32
30.89/30.92	c ---[  63]---> Adder-cost: 948   maxlim: 3221372857   bits: 33/32
30.98/31.05	c ---[  62]---> Adder-cost: 948   maxlim: 3221367737   bits: 33/32
31.08/31.19	c ---[  61]---> Adder-cost: 948   maxlim: 3221362617   bits: 33/32
31.28/31.32	c ---[  60]---> Adder-cost: 888   maxlim: 3221362617   bits: 33/32
31.38/31.45	c ---[  59]---> Adder-cost: 1364   maxlim: 3221677855   bits: 33/32
31.68/31.74	c ---[  58]---> Adder-cost: 1364   maxlim: 3221677855   bits: 33/32
31.99/32.03	c ---[  57]---> Adder-cost: 1304   maxlim: 3221677855   bits: 33/32
32.28/32.32	c ---[  56]---> Adder-cost: 1304   maxlim: 3221677855   bits: 33/32
32.58/32.61	c ---[  55]---> Adder-cost: 1304   maxlim: 3221677855   bits: 33/32
32.88/32.90	c ---[  54]---> Adder-cost: 1304   maxlim: 3221677855   bits: 33/32
33.09/33.19	c ---[  53]---> Adder-cost: 1304   maxlim: 3221677855   bits: 33/32
33.38/33.48	c ---[  52]---> Adder-cost: 1304   maxlim: 3221677855   bits: 33/32
33.68/33.77	c ---[  51]---> Adder-cost: 1244   maxlim: 3221677855   bits: 33/32
33.98/34.06	c ---[  50]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
34.28/34.32	c ---[  49]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
34.48/34.57	c ---[  48]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
34.78/34.83	c ---[  47]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
34.98/35.08	c ---[  46]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
35.28/35.34	c ---[  45]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
35.48/35.59	c ---[  44]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
35.78/35.85	c ---[  43]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
36.08/36.11	c ---[  42]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
36.28/36.36	c ---[  41]---> Adder-cost: 1380   maxlim: 4295118769   bits: 34/33
36.48/36.53	c ---[  40]---> Adder-cost: 1380   maxlim: 4295129009   bits: 34/33
36.68/36.70	c ---[  39]---> Adder-cost: 1378   maxlim: 4295139249   bits: 34/33
36.78/36.87	c ---[  38]---> Adder-cost: 1378   maxlim: 4295149489   bits: 34/33
36.98/37.05	c ---[  37]---> Adder-cost: 1378   maxlim: 4295169969   bits: 34/33
37.18/37.22	c ---[  36]---> Adder-cost: 1378   maxlim: 4295139249   bits: 34/33
37.28/37.39	c ---[  35]---> Adder-cost: 1378   maxlim: 4295149489   bits: 34/33
37.48/37.56	c ---[  34]---> Adder-cost: 1378   maxlim: 4295129009   bits: 34/33
37.88/37.90	c ---[  33]---> Adder-cost: 1376   maxlim: 4295123889   bits: 34/33
37.98/38.07	c ---[  32]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
38.28/38.32	c ---[  31]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
38.49/38.58	c ---[  30]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
38.78/38.83	c ---[  29]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
38.98/39.09	c ---[  28]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
39.28/39.34	c ---[  27]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
39.48/39.60	c ---[  26]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
39.78/39.85	c ---[  25]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
40.08/40.11	c ---[  24]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
40.28/40.37	c ---[  23]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
40.58/40.62	c ---[  22]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
40.79/40.88	c ---[  21]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
41.08/41.13	c ---[  20]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
41.28/41.39	c ---[  19]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
41.58/41.64	c ---[  18]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
41.79/41.90	c ---[  17]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
42.08/42.15	c ---[  16]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
42.38/42.41	c ---[  15]---> Adder-cost: 1080   maxlim: 2147905327   bits: 33/32
42.58/42.66	c ---[  14]---> Adder-cost: 1380   maxlim: 4295118769   bits: 34/33
42.78/42.83	c ---[  12]---> Adder-cost: 1380   maxlim: 4295123889   bits: 34/33
42.99/43.01	c ---[  11]---> Adder-cost: 1378   maxlim: 4295123889   bits: 34/33
43.08/43.18	c ---[  10]---> Adder-cost: 1378   maxlim: 4295123889   bits: 34/33
43.28/43.35	c ---[   9]---> Adder-cost: 1378   maxlim: 4295129009   bits: 34/33
43.48/43.52	c ---[   8]---> Adder-cost: 1378   maxlim: 4295123889   bits: 34/33
43.58/43.69	c ---[   7]---> Adder-cost: 1378   maxlim: 4295123889   bits: 34/33
43.78/43.86	c ---[   6]---> Adder-cost: 1378   maxlim: 4295118769   bits: 34/33
43.99/44.03	c ---[   5]---> Adder-cost: 1376   maxlim: 4295118769   bits: 34/33
44.18/44.20	c ---[   4]---> Adder-cost: 483   maxlim: 10239   bits: 15/14
44.18/44.26	c ---[   3]---> Adder-cost: 483   maxlim: 10239   bits: 15/14
44.28/44.32	c ---[   2]---> Adder-cost: 288   maxlim: 5119   bits: 14/13
44.28/44.35	c ---[   1]---> Adder-cost: 435   maxlim: 5119   bits: 14/13
44.28/44.39	c ---[   0]---> Adder-cost: 435   maxlim: 5119   bits: 14/13
1800.00/1800.40	|  Eliminated clauses:          16.71 Mb                                      |
1800.00/1800.40	============================[ Search Statistics ]==============================
1800.00/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.00/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.00/1800.40	===============================================================================
1800.00/1800.40	|       100 |  834552  3844453 11188895 |  1409632       97      4 |  3.010 % |
1800.00/1800.40	|       250 |  834552  3844453 11188895 |  1550596      247      5 |  3.010 % |
1800.00/1800.40	|       475 |  834552  3844453 11188895 |  1705655      472      5 |  3.010 % |
1800.00/1800.40	|       812 |  834552  3844453 11188895 |  1876221      809      8 |  3.010 % |
1800.00/1800.40	|      1318 |  834552  3844453 11188895 |  2063843     1315      7 |  3.010 % |
1800.00/1800.40	|      2077 |  834552  3844453 11188895 |  2270227     2074      7 |  3.010 % |
1800.00/1800.40	|      3216 |  834542  3844453 11188895 |  2497250     3212      7 |  3.011 % |
1800.00/1800.40	|      4924 |  834542  3844453 11188895 |  2746975     4920      7 |  3.011 % |
1800.00/1800.40	|      7486 |  834542  3844453 11188895 |  3021673     7482      7 |  3.011 % |
1800.00/1800.40	|     11330 |  834520  3844453 11188895 |  3323840    11323      7 |  3.012 % |
1800.00/1800.40	|     17096 |  834509  3844453 11188895 |  3656224    17087      8 |  3.013 % |
1800.00/1800.40	|     25745 |  834498  3844453 11188895 |  4021846    25735      9 |  3.014 % |
1800.00/1800.40	|     38719 |  834488  3844453 11188895 |  4424031    38708      9 |  3.015 % |
1800.00/1800.40	|     58180 |  834487  3844453 11188895 |  4866434    58168     10 |  3.015 % |
1800.00/1800.40	|     87372 |  834487  3844453 11188895 |  5353078    87360     11 |  3.015 % |
1800.00/1800.40	|    131161 |  834482  3844453 11188895 |  5888385   131145     12 |  3.015 % |
1800.00/1800.40	|    196845 |  834429  3844453 11188895 |  6477224   196815     13 |  3.020 % |
1800.00/1800.40	|    295371 |  834358  3844453 11188895 |  7124946   295329     15 |  3.025 % |
1800.00/1800.40	|    443160 |  834279  3844453 11188895 |  7837441   443109     18 |  3.032 % |
1800.00/1800.40	|    664843 |  834217  3844453 11188895 |  8621185   664775     23 |  3.037 % |
1800.00/1800.40	|    997368 |  833930  3844453 11188895 |  9483304   997251     26 |  3.060 % |
1800.00/1800.40	|   1496156 |  833625  3844453 11188895 | 10431634  1495922     28 |  3.084 % |
1800.00/1800.40	|   2244338 |  833388  3844453 11188895 | 11474798  2243995     31 |  3.104 % |
1800.00/1800.40	|   3366612 |  832927  3844453 11188895 | 12622278  3366137     32 |  3.141 % |
1800.00/1800.40	c 
1800.00/1800.40	c *** TERMINATED ***
1800.00/1800.40	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4114652-1466546398/watcher-4114652-1466546398 -o /tmp/evaluation-result-4114652-1466546398/solver-4114652-1466546398 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466515264-21135 --watchdog 1960 minisatp HOME/instance-4114652-1466546398.opb 

pid=26833
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.04 2.00 3/176 26836
/proc/meminfo: memFree=31327956/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=7420 CPUtime=0 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 56690387 7598080 389 33554432000 4194304 5646918 140734957763184 140734916782488 4388221 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 1855 389 84 355 0 1496 0

[startup+0.100167 s]
/proc/loadavg: 2.06 2.04 2.00 3/176 26836
/proc/meminfo: memFree=31327956/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=22396 CPUtime=0.09 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 4305 0 0 0 9 0 0 0 20 0 1 0 56690387 22933504 3797 33554432000 4194304 5646918 140734957763184 140734916782488 4823346 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 5599 3797 94 355 0 5240 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22396

[startup+0.200341 s]
/proc/loadavg: 2.06 2.04 2.00 3/176 26836
/proc/meminfo: memFree=31327956/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=23848 CPUtime=0.19 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 4672 0 0 0 19 0 0 0 20 0 1 0 56690387 24420352 4164 33554432000 4194304 5646918 140734957763184 140734916782488 4829229 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 5962 4164 94 355 0 5603 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 23848

[startup+0.300286 s]
/proc/loadavg: 2.06 2.04 2.00 3/176 26836
/proc/meminfo: memFree=31327956/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=25436 CPUtime=0.29 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 5043 0 0 0 29 0 0 0 20 0 1 0 56690387 26046464 4535 33554432000 4194304 5646918 140734957763184 140734916782488 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 6359 4535 94 355 0 6000 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25436

[startup+0.700271 s]
/proc/loadavg: 2.06 2.04 2.00 3/176 26836
/proc/meminfo: memFree=31327956/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=34856 CPUtime=0.69 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 7412 0 0 0 68 1 0 0 20 0 1 0 56690387 35692544 6904 33554432000 4194304 5646918 140734957763184 140734916782488 4953072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 8714 6905 97 355 0 8355 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34856

[startup+1.50027 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 26837
/proc/meminfo: memFree=31291136/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=52748 CPUtime=1.48 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 12152 0 0 0 147 1 0 0 20 0 1 0 56690387 54013952 11186 33554432000 4194304 5646918 140734957763184 140734957762552 4817703 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 13187 11186 123 355 0 12828 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 52748

[startup+3.10023 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 26837
/proc/meminfo: memFree=31280984/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=59500 CPUtime=3.08 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 13581 0 0 0 306 2 0 0 20 0 1 0 56690387 60928000 12615 33554432000 4194304 5646918 140734957763184 140734957761848 4823297 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 14875 12615 123 355 0 14516 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 59500

[startup+6.30023 s]
/proc/loadavg: 2.06 2.04 2.00 3/178 26840
/proc/meminfo: memFree=31268400/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=75396 CPUtime=6.28 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 15462 0 0 0 626 2 0 0 20 0 1 0 56690387 77205504 16607 33554432000 4194304 5646918 140734957763184 140734957761848 4817458 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 18849 16607 123 355 0 18490 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 75396

[startup+12.7002 s]
/proc/loadavg: 2.05 2.04 2.00 3/178 26840
/proc/meminfo: memFree=31231944/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=104820 CPUtime=12.68 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 20035 0 0 0 1265 3 0 0 20 0 1 0 56690387 107335680 24165 33554432000 4194304 5646918 140734957763184 140734957761848 4464134 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 26205 24165 123 355 0 25846 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 104820

[startup+25.5002 s]
/proc/loadavg: 2.04 2.04 2.00 3/178 26840
/proc/meminfo: memFree=31213768/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=120252 CPUtime=25.47 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 22644 0 0 0 2543 4 0 0 20 0 1 0 56690387 123138048 27285 33554432000 4194304 5646918 140734957763184 140734957610408 4817444 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 30063 27285 154 355 0 29704 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 120252

[startup+51.1003 s]
/proc/loadavg: 2.10 2.05 2.01 3/178 26840
/proc/meminfo: memFree=30603944/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=751876 CPUtime=51.07 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 79771 0 0 0 5087 20 0 0 20 0 1 0 56690387 769921024 178202 33554432000 4194304 5646918 140734957763184 140734957761096 4441705 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 187969 178202 162 355 0 187610 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 751876

[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/178 26864
/proc/meminfo: memFree=30880100/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=710876 CPUtime=102.27 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 82546 0 0 0 10205 22 0 0 20 0 1 0 56690387 727937024 171711 33554432000 4194304 5646918 140734957763184 140734957761320 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 177719 171711 185 355 0 177360 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 710876

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 26865
/proc/meminfo: memFree=30801936/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=773356 CPUtime=162.25 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 85034 0 0 0 16202 23 0 0 20 0 1 0 56690387 791916544 177253 33554432000 4194304 5646918 140734957763184 140734957761288 4396915 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 193339 177253 185 355 0 192980 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 773356

[startup+222.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 26866
/proc/meminfo: memFree=30751380/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=779492 CPUtime=222.26 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 85984 0 0 0 22202 24 0 0 20 0 1 0 56690387 798199808 181269 33554432000 4194304 5646918 140734957763184 140734957761288 4402684 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 194873 181269 185 355 0 194514 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 779492

[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 26868
/proc/meminfo: memFree=30679824/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=873524 CPUtime=282.23 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 89291 0 0 0 28197 26 0 0 20 0 1 0 56690387 894488576 192387 33554432000 4194304 5646918 140734957763184 140734957761288 4402684 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 218381 192387 185 355 0 218022 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 873524

[startup+342.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/177 26869
/proc/meminfo: memFree=30608580/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=880368 CPUtime=342.21 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 90618 0 0 0 34195 26 0 0 20 0 1 0 56690387 901496832 196228 33554432000 4194304 5646918 140734957763184 140734957761288 4403043 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 220092 196228 185 355 0 219733 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 880368

[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 26870
/proc/meminfo: memFree=30553136/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=891216 CPUtime=402.19 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 92409 0 0 0 40192 27 0 0 20 0 1 0 56690387 912605184 205440 33554432000 4194304 5646918 140734957763184 140734957761288 4402764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 222804 205440 185 355 0 222445 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 891216

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 26871
/proc/meminfo: memFree=30503880/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=902652 CPUtime=462.17 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 94481 0 0 0 46189 28 0 0 20 0 1 0 56690387 924315648 213150 33554432000 4194304 5646918 140734957763184 140734957761288 4402829 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 225663 213150 185 355 0 225304 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 902652

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 26872
/proc/meminfo: memFree=30444192/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1043200 CPUtime=522.14 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 96891 0 0 0 52185 29 0 0 20 0 1 0 56690387 1068236800 223833 33554432000 4194304 5646918 140734957763184 140734957761880 4402788 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 260800 223833 185 355 0 260441 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1043200

[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 26986
/proc/meminfo: memFree=30778516/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1052068 CPUtime=582.12 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 99135 0 0 0 58183 29 0 0 20 0 1 0 56690387 1077317632 231274 33554432000 4194304 5646918 140734957763184 140734957761288 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 263017 231274 185 355 0 262658 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1052068


################
# More data... #
################


[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26995
/proc/meminfo: memFree=29822552/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1089164 CPUtime=882.06 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 105314 0 0 0 88174 32 0 0 20 0 1 0 56690387 1115303936 260916 33554432000 4194304 5646918 140734957763184 140734957761288 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 272291 260916 185 355 0 271932 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1089164

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26996
/proc/meminfo: memFree=29780128/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1095032 CPUtime=942.03 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 106381 0 0 0 94171 32 0 0 20 0 1 0 56690387 1121312768 266071 33554432000 4194304 5646918 140734957763184 140734957761288 4389024 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 273758 266071 185 355 0 273399 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 1095032

[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26997
/proc/meminfo: memFree=29700512/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1319848 CPUtime=1002.02 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 108291 0 0 0 100166 36 0 0 20 0 1 0 56690387 1351524352 279727 33554432000 4194304 5646918 140734957763184 140734957761320 4402684 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 329962 279727 185 355 0 329603 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1319848

[startup+1062.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 26998
/proc/meminfo: memFree=29652452/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1332764 CPUtime=1062.02 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 110799 0 0 0 106164 38 0 0 20 0 1 0 56690387 1364750336 286834 33554432000 4194304 5646918 140734957763184 140734957761288 4400009 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 333191 286834 185 355 0 332832 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1332764

[startup+1122.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 26999
/proc/meminfo: memFree=29559340/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1338264 CPUtime=1122.01 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 112178 0 0 0 112163 38 0 0 20 0 1 0 56690387 1370382336 291790 33554432000 4194304 5646918 140734957763184 140734957761288 4398822 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 334566 291790 185 355 0 334207 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1338264

[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 27001
/proc/meminfo: memFree=29525880/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1343012 CPUtime=1182.01 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 112860 0 0 0 118162 39 0 0 20 0 1 0 56690387 1375244288 295027 33554432000 4194304 5646918 140734957763184 140734957761288 4402684 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 335753 295027 185 355 0 335394 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 1343012

[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 27005
/proc/meminfo: memFree=29463844/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1351644 CPUtime=1242 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 115025 0 0 0 124160 40 0 0 20 0 1 0 56690387 1384083456 301280 33554432000 4194304 5646918 140734957763184 140734957761288 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 337911 301280 185 355 0 337552 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 1351644

[startup+1302.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 27006
/proc/meminfo: memFree=29437812/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1353512 CPUtime=1301.98 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 115999 0 0 0 130158 40 0 0 20 0 1 0 56690387 1385996288 304809 33554432000 4194304 5646918 140734957763184 140734957761288 4402815 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 338378 304809 185 355 0 338019 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1353512

[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 27007
/proc/meminfo: memFree=29389876/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1359436 CPUtime=1361.97 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 116969 0 0 0 136157 40 0 0 20 0 1 0 56690387 1392062464 307312 33554432000 4194304 5646918 140734957763184 140734957761288 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 339859 307312 185 355 0 339500 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1359436

[startup+1422.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 27008
/proc/meminfo: memFree=29350132/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1361288 CPUtime=1421.98 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 118008 0 0 0 142157 41 0 0 20 0 1 0 56690387 1393958912 312439 33554432000 4194304 5646918 140734957763184 140734957761288 4403091 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 340322 312439 185 355 0 339963 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1361288

[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 27010
/proc/meminfo: memFree=29314440/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1367992 CPUtime=1481.95 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 119234 0 0 0 148154 41 0 0 20 0 1 0 56690387 1400823808 315709 33554432000 4194304 5646918 140734957763184 140734957761288 4402821 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 341998 315709 185 355 0 341639 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1367992

[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 27011
/proc/meminfo: memFree=29283628/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1370992 CPUtime=1541.95 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 120051 0 0 0 154154 41 0 0 20 0 1 0 56690387 1403895808 319081 33554432000 4194304 5646918 140734957763184 140734957761288 4402684 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 342748 319081 185 355 0 342389 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1370992

[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 27012
/proc/meminfo: memFree=29207700/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1388868 CPUtime=1601.94 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 121152 0 0 0 160152 42 0 0 20 0 1 0 56690387 1422200832 324781 33554432000 4194304 5646918 140734957763184 140734957761432 4403380 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 347217 324781 185 355 0 346858 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1388868

[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 27013
/proc/meminfo: memFree=29122788/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1388868 CPUtime=1661.93 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 121159 0 0 0 166151 42 0 0 20 0 1 0 56690387 1422200832 327343 33554432000 4194304 5646918 140734957763184 140734957761432 4388947 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 347217 327343 185 355 0 346858 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1388868

[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 27014
/proc/meminfo: memFree=29076744/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1392512 CPUtime=1721.92 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 121980 0 0 0 172150 42 0 0 20 0 1 0 56690387 1425932288 331741 33554432000 4194304 5646918 140734957763184 140734957761288 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 348128 331741 185 355 0 347769 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1392512

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 27016
/proc/meminfo: memFree=29030572/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1394988 CPUtime=1781.91 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 122175 0 0 0 178149 42 0 0 20 0 1 0 56690387 1428467712 337557 33554432000 4194304 5646918 140734957763184 140734957761288 4403544 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 348747 337557 185 355 0 348388 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1394988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 27016
/proc/meminfo: memFree=29022504/32872528 swapFree=190484/190484
[pid=26836] ppid=26833 vsize=1394988 CPUtime=1800 cores=1,3,5,7
/proc/26836/stat : 26836 (minisatp) R 26833 26836 21118 0 -1 4202496 122180 0 0 0 179958 42 0 0 20 0 1 0 56690387 1428467712 340117 33554432000 4194304 5646918 140734957763184 140734957761288 4400014 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26836/statm: 348747 340117 185 355 0 348388 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1394988

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 26836 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.43
CPU time (s): 1800.05
CPU user time (s): 1799.59
CPU system time (s): 0.45693
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 1394988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.45693
maximum resident set size= 1360468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122180
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 164
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53431 second user time and 6.95894 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-21 23:59:59
IDJOB=4114652
IDBENCH=2382
IDSOLVER=2555
FILE ID=node102/4114652-1466546398
RUNJOBID= node102-1466515264-21135
PBS_JOBID= 19942887
Free space on /tmp= 71720 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap2.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114652-1466546398/watcher-4114652-1466546398 -o /tmp/evaluation-result-4114652-1466546398/solver-4114652-1466546398 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466515264-21135 --watchdog 1960  minisatp HOME/instance-4114652-1466546398.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 69a6c7d8646ca0764023f06029f7c1d1
RANDOM SEED=282674119

node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31328508 kB
Buffers:           24604 kB
Cached:            90084 kB
SwapCached:         1232 kB
Active:           573768 kB
Inactive:          82120 kB
Active(anon):     541492 kB
Inactive(anon):     1936 kB
Active(file):      32276 kB
Inactive(file):    80184 kB
Unevictable:      190484 kB
Mlocked:          190484 kB
SwapTotal:      67108856 kB
SwapFree:       67099880 kB
Dirty:              7100 kB
Writeback:             0 kB
AnonPages:        732716 kB
Mapped:             9004 kB
Shmem:                 0 kB
Slab:             567976 kB
SReclaimable:      11296 kB
SUnreclaim:       556680 kB
KernelStack:        1440 kB
PageTables:         5764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     901644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4114652-1466546398.opb

Free space on /tmp at the end= 71712 MiB
End job on node102 at 2016-06-22 00:29:59