| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisat+ 1.14 | ? (TO) | 1800.68 | 1801.27 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sctap2.opb |
| MD5SUM | 69a6c7d8646ca0764023f06029f7c1d1 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 7525688714 |
| Optimality of the best value was proved | NO |
| Number of variables | 56400 |
| Total number of constraints | 1033 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1033 |
| Minimum length of a constraint | 90 |
| Maximum length of a constraint | 720 |
| 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 numbers | 45 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00 c Parsing PB file... 2.77 c Converting 1503 PB-constraints to clauses... 2.79 c -- Unit propagations: (none) 3.52 c -- Detecting intervals from adjacent constraints: ###################################################################################################################################################################################################################################################################################################################################################################################################################################################################################### 3.53 c -- Clauses(.)/Splits(s): sssss 3.53 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 3.57 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 3.60 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 3.64 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 3.67 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 3.70 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 3.74 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 3.77 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 3.81 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 3.84 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 3.87 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 3.91 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 3.94 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 3.98 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 4.01 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 4.05 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 4.08 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 4.12 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 4.15 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 4.18 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 4.22 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 4.25 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 4.29 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 4.32 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 4.35 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 4.39 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 4.43 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 4.46 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 4.50 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 4.53 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 4.57 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 4.60 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 4.64 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 4.67 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 4.70 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 4.74 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 4.77 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 4.81 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 4.84 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 4.88 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 4.91 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 4.94 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 4.98 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 5.01 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 5.05 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 5.08 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 5.12 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 5.15 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 5.19 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 5.22 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 5.26 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 5.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 5.34 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 5.38 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 5.41 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 5.45 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 5.48 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 5.52 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 5.55 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 5.59 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 5.62 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 5.66 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 5.69 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 5.73 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 5.81 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 5.89 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 5.96 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 6.04 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 6.12 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 6.20 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 6.28 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 6.36 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 6.44 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 6.52 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 6.60 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 6.68 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 6.76 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 6.84 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 6.92 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 7.00 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 7.08 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 7.16 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 7.24 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 7.32 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 7.40 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 7.53 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 7.61 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 7.69 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 7.77 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 7.85 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 7.93 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 8.01 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 8.09 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 8.18 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 8.26 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 8.34 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 8.42 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 8.50 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 8.58 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 8.66 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 8.74 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 8.82 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 8.90 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 8.99 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 9.07 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 9.15 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 9.23 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 9.31 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 9.39 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 9.47 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 9.55 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 9.63 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 9.72 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 9.80 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 9.88 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 9.96 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 10.04 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 10.12 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 10.20 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 10.28 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 10.37 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 10.45 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 10.53 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 10.61 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 10.69 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 10.77 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 10.85 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 10.94 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 11.02 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 11.10 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 11.18 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 11.26 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 11.34 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 11.43 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 11.51 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 11.59 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 11.68 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 11.76 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 11.84 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 11.92 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 12.10 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 12.18 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 12.27 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 12.35 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 12.43 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 12.51 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 12.60 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 12.68 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 12.76 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 12.84 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 12.92 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 13.01 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 13.09 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 13.17 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 13.25 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 13.34 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 13.42 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 13.50 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 13.58 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 13.66 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 13.75 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 13.83 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 13.91 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 13.99 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 14.07 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 14.16 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 14.24 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 14.32 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 14.40 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 14.49 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 14.57 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 14.65 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 14.73 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 14.82 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 14.90 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 14.98 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 15.06 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 15.15 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 15.23 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 15.31 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 15.39 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 15.48 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 15.56 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 15.64 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 15.73 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 15.81 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 15.89 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 15.97 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 16.05 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 16.14 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 16.21 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 16.28 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 16.36 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 16.43 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 16.50 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 16.58 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 16.65 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 16.72 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 16.80 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 16.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 16.95 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 17.02 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 17.09 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 17.17 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 17.24 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 17.31 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 17.39 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 17.46 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 17.54 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 17.61 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 17.68 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 17.76 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 17.83 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 17.90 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 17.98 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 18.05 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 18.13 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 18.20 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 18.27 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 18.35 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 18.42 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 18.49 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 18.57 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 18.64 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 18.72 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 18.79 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 18.86 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 18.94 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 19.01 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 19.09 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 19.16 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 19.23 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 19.31 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 19.38 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 19.46 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 19.53 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 19.60 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 19.68 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 19.75 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 19.83 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 19.90 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 19.97 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 20.05 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 20.12 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 20.20 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 20.27 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 20.34 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 20.42 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 20.49 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 20.57 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 20.64 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 20.72 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 20.79 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 20.86 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 20.94 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 21.01 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 21.09 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 21.38 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 21.45 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 21.53 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 21.60 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 21.67 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 21.74 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 21.81 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 21.88 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 21.95 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 22.02 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 22.09 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 22.16 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 22.23 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 22.30 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 22.37 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 22.44 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 22.51 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 22.58 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 22.65 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 22.72 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 22.79 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 22.86 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 22.93 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 23.00 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 23.07 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 23.14 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 23.21 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 23.28 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 23.35 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 23.42 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 23.49 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 23.56 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 23.63 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 23.70 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 23.77 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 23.84 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 23.92 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 23.99 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 24.07 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 24.14 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 24.21 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 24.29 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 24.36 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 24.43 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 24.51 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 24.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 24.66 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 24.73 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 24.80 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 24.88 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 24.95 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 25.03 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 25.10 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 25.17 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 25.25 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 25.32 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 25.39 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 25.47 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 25.54 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 25.62 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 25.70 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 25.78 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 25.86 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 25.94 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 26.02 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 26.10 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 26.18 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 26.26 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 26.34 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 26.42 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 26.50 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 26.58 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 26.66 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 26.74 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 26.82 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 26.90 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 26.98 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 27.06 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 27.14 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 27.22 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 27.30 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 27.38 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 27.46 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 27.54 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 27.62 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 27.70 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 27.74 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 27.77 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 27.81 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 27.84 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 27.88 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 27.91 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 27.95 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 27.98 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 28.02 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 28.06 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 28.09 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 28.13 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 28.16 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 28.20 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 28.23 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 28.27 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 28.30 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 28.34 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 28.37 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 28.41 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 28.45 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 28.48 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 28.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 28.55 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 28.59 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 28.62 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 28.66 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 28.70 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 28.73 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 28.77 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 28.80 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 28.84 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 28.87 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 28.91 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 28.94 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 28.98 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 29.02 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 29.05 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 29.09 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 29.12 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 29.16 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 29.19 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 29.23 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 29.27 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 29.30 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 29.34 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 29.37 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 29.41 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 29.44 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 29.48 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 29.51 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 29.55 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 29.59 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 29.62 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 29.66 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 29.69 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 29.73 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 29.76 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 29.80 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 29.84 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 29.87 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 29.91 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 29.94 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 29.98 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 30.02 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 30.05 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 30.09 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 30.13 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 30.16 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 30.20 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 30.24 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 30.28 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 30.31 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 30.35 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 30.39 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 30.42 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 30.46 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 30.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 30.54 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 30.57 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 30.61 c ---[1083]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.61 c ---[1081]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.62 c ---[1079]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.62 c ---[1077]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.63 c ---[1075]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.63 c ---[1073]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.63 c ---[1071]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.64 c ---[1069]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.64 c ---[1067]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.64 c ---[1065]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.65 c ---[1063]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.65 c ---[1061]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.66 c ---[1059]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.66 c ---[1057]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.66 c ---[1055]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.67 c ---[1053]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.67 c ---[1051]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.67 c ---[1049]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.68 c ---[1047]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.68 c ---[1045]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.68 c ---[1043]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.69 c ---[1041]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.69 c ---[1039]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.70 c ---[1037]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.70 c ---[1035]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.70 c ---[1033]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.71 c ---[1031]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.71 c ---[1029]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.71 c ---[1027]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.72 c ---[1025]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.72 c ---[1023]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.72 c ---[1021]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.73 c ---[1019]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.73 c ---[1017]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.74 c ---[1015]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.74 c ---[1013]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.74 c ---[1011]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.75 c ---[1009]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.75 c ---[1007]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.75 c ---[1005]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.76 c ---[1003]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.76 c ---[1001]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.77 c ---[ 999]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.77 c ---[ 997]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.77 c ---[ 995]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.78 c ---[ 993]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.78 c ---[ 991]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.78 c ---[ 989]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.79 c ---[ 987]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.79 c ---[ 985]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.80 c ---[ 983]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.80 c ---[ 981]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.80 c ---[ 979]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.81 c ---[ 977]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.81 c ---[ 975]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.81 c ---[ 973]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.82 c ---[ 971]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.82 c ---[ 969]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.83 c ---[ 967]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.83 c ---[ 965]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.83 c ---[ 963]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.84 c ---[ 961]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.84 c ---[ 959]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.84 c ---[ 957]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.85 c ---[ 955]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.85 c ---[ 953]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.86 c ---[ 951]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.86 c ---[ 949]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.86 c ---[ 947]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.87 c ---[ 945]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.87 c ---[ 943]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.87 c ---[ 941]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.88 c ---[ 939]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.88 c ---[ 937]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.88 c ---[ 935]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.89 c ---[ 933]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.89 c ---[ 931]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.90 c ---[ 929]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.90 c ---[ 927]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.90 c ---[ 925]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.91 c ---[ 923]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.91 c ---[ 921]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.91 c ---[ 919]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.92 c ---[ 917]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.92 c ---[ 915]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.93 c ---[ 913]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.93 c ---[ 911]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.93 c ---[ 909]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.94 c ---[ 907]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.94 c ---[ 905]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.94 c ---[ 903]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.95 c ---[ 901]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.95 c ---[ 899]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.96 c ---[ 897]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.96 c ---[ 895]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.96 c ---[ 893]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.97 c ---[ 891]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.97 c ---[ 889]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.97 c ---[ 887]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.98 c ---[ 885]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.98 c ---[ 883]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.98 c ---[ 881]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 30.99 c ---[ 879]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 30.99 c ---[ 877]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.00 c ---[ 875]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.00 c ---[ 873]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.00 c ---[ 871]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.01 c ---[ 869]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.01 c ---[ 867]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.01 c ---[ 865]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.02 c ---[ 863]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.02 c ---[ 861]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.03 c ---[ 859]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.03 c ---[ 857]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.03 c ---[ 855]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.04 c ---[ 853]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.04 c ---[ 851]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.04 c ---[ 849]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.05 c ---[ 847]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.05 c ---[ 845]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.06 c ---[ 843]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.06 c ---[ 841]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.06 c ---[ 839]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.07 c ---[ 837]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.07 c ---[ 835]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.07 c ---[ 833]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.08 c ---[ 831]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.08 c ---[ 829]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.08 c ---[ 827]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.09 c ---[ 825]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.09 c ---[ 823]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.10 c ---[ 821]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.10 c ---[ 819]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.10 c ---[ 817]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.11 c ---[ 815]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.11 c ---[ 813]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.11 c ---[ 811]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.12 c ---[ 809]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.12 c ---[ 807]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.12 c ---[ 805]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.13 c ---[ 803]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.13 c ---[ 801]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.14 c ---[ 799]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.14 c ---[ 797]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.14 c ---[ 795]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.15 c ---[ 793]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.15 c ---[ 791]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.15 c ---[ 789]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.16 c ---[ 787]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.16 c ---[ 785]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.17 c ---[ 783]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.17 c ---[ 781]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.17 c ---[ 779]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.18 c ---[ 777]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.18 c ---[ 775]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.18 c ---[ 773]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.19 c ---[ 771]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.19 c ---[ 769]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.19 c ---[ 767]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.20 c ---[ 765]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.20 c ---[ 763]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.21 c ---[ 761]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.21 c ---[ 759]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.21 c ---[ 757]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.22 c ---[ 755]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.22 c ---[ 753]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.22 c ---[ 751]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.23 c ---[ 749]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.23 c ---[ 747]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.23 c ---[ 745]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.24 c ---[ 743]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.24 c ---[ 741]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.24 c ---[ 739]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.25 c ---[ 737]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.25 c ---[ 735]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.26 c ---[ 733]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.26 c ---[ 731]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.26 c ---[ 729]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.27 c ---[ 727]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.27 c ---[ 725]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.27 c ---[ 723]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.28 c ---[ 721]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.28 c ---[ 719]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.28 c ---[ 717]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.29 c ---[ 715]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.29 c ---[ 713]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.30 c ---[ 711]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.30 c ---[ 709]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.30 c ---[ 707]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.31 c ---[ 705]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.31 c ---[ 703]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.31 c ---[ 701]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.32 c ---[ 699]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.32 c ---[ 697]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.32 c ---[ 695]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.33 c ---[ 693]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.33 c ---[ 691]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.34 c ---[ 689]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.34 c ---[ 687]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.34 c ---[ 685]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.35 c ---[ 683]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.35 c ---[ 681]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.35 c ---[ 679]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.36 c ---[ 677]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.36 c ---[ 675]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.36 c ---[ 673]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.37 c ---[ 671]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.37 c ---[ 669]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.38 c ---[ 667]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.38 c ---[ 665]---> Sorter-cost: 217 Base: 2 2 2 2 2 2 2 2 2 2 31.38 c ---[ 663]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.39 c ---[ 661]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.39 c ---[ 659]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.39 c ---[ 657]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.40 c ---[ 655]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.40 c ---[ 653]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.40 c ---[ 651]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.41 c ---[ 649]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.41 c ---[ 647]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.41 c ---[ 645]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.42 c ---[ 643]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.42 c ---[ 641]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.43 c ---[ 639]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.43 c ---[ 637]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.43 c ---[ 635]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.44 c ---[ 633]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.44 c ---[ 631]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.44 c ---[ 629]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.45 c ---[ 627]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.45 c ---[ 625]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.46 c ---[ 623]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.46 c ---[ 621]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.46 c ---[ 619]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.47 c ---[ 617]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.47 c ---[ 615]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.47 c ---[ 613]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.48 c ---[ 611]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.48 c ---[ 609]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.48 c ---[ 607]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.49 c ---[ 605]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.49 c ---[ 603]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.50 c ---[ 601]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.50 c ---[ 599]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.50 c ---[ 597]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.51 c ---[ 595]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.51 c ---[ 593]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.51 c ---[ 591]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.52 c ---[ 589]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.52 c ---[ 587]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.52 c ---[ 585]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.53 c ---[ 583]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.53 c ---[ 581]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.54 c ---[ 579]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.54 c ---[ 577]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.54 c ---[ 575]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.55 c ---[ 573]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.55 c ---[ 571]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.55 c ---[ 569]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.56 c ---[ 567]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.56 c ---[ 565]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.56 c ---[ 563]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.57 c ---[ 561]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.57 c ---[ 559]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.58 c ---[ 557]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.58 c ---[ 555]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.58 c ---[ 553]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.59 c ---[ 551]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.59 c ---[ 549]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.59 c ---[ 547]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.60 c ---[ 545]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.60 c ---[ 543]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.60 c ---[ 541]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.61 c ---[ 539]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.61 c ---[ 537]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.61 c ---[ 535]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.62 c ---[ 533]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.62 c ---[ 531]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.63 c ---[ 529]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.63 c ---[ 527]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.63 c ---[ 525]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.64 c ---[ 523]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.64 c ---[ 521]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.64 c ---[ 519]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.65 c ---[ 517]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.65 c ---[ 515]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.65 c ---[ 513]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.66 c ---[ 511]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.66 c ---[ 509]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.67 c ---[ 507]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.67 c ---[ 505]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.67 c ---[ 503]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.68 c ---[ 501]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.68 c ---[ 499]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.68 c ---[ 497]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.69 c ---[ 495]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.69 c ---[ 493]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.69 c ---[ 491]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.70 c ---[ 489]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.70 c ---[ 487]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.71 c ---[ 485]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.71 c ---[ 483]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.71 c ---[ 481]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.72 c ---[ 479]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.72 c ---[ 477]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.72 c ---[ 475]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.73 c ---[ 473]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.73 c ---[ 471]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.73 c ---[ 469]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.74 c ---[ 467]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.74 c ---[ 465]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.74 c ---[ 463]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.75 c ---[ 461]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.75 c ---[ 459]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.76 c ---[ 457]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.76 c ---[ 455]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.76 c ---[ 453]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.77 c ---[ 451]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.77 c ---[ 449]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.77 c ---[ 447]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.78 c ---[ 445]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.78 c ---[ 443]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.78 c ---[ 441]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.79 c ---[ 439]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.79 c ---[ 437]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.80 c ---[ 435]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.80 c ---[ 433]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.80 c ---[ 431]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.81 c ---[ 429]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.81 c ---[ 427]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.81 c ---[ 425]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.82 c ---[ 423]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.82 c ---[ 421]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.82 c ---[ 419]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.83 c ---[ 417]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.83 c ---[ 415]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.83 c ---[ 413]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.84 c ---[ 411]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.84 c ---[ 409]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.85 c ---[ 407]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.85 c ---[ 405]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.85 c ---[ 403]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.86 c ---[ 401]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.86 c ---[ 399]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.86 c ---[ 397]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.87 c ---[ 395]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.87 c ---[ 393]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.87 c ---[ 391]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.88 c ---[ 389]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.88 c ---[ 387]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.89 c ---[ 385]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 2 2 2 31.89 c ---[ 383]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.89 c ---[ 381]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.90 c ---[ 379]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.90 c ---[ 377]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.90 c ---[ 375]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.91 c ---[ 373]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.91 c ---[ 371]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.91 c ---[ 369]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.92 c ---[ 367]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.92 c ---[ 365]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.92 c ---[ 363]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.93 c ---[ 361]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.93 c ---[ 359]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.94 c ---[ 357]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.94 c ---[ 355]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.94 c ---[ 353]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.95 c ---[ 351]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.95 c ---[ 349]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.95 c ---[ 347]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.96 c ---[ 345]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.96 c ---[ 343]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.96 c ---[ 341]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 31.97 c ---[ 339]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.97 c ---[ 337]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.98 c ---[ 335]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.98 c ---[ 333]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.98 c ---[ 331]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.99 c ---[ 329]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.99 c ---[ 327]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 31.99 c ---[ 325]---> Sorter-cost: 235 Base: 2 2 2 2 2 2 2 2 2 2 32.00 c ---[ 323]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.00 c ---[ 321]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.00 c ---[ 319]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.01 c ---[ 317]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.01 c ---[ 315]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.01 c ---[ 313]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.02 c ---[ 311]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.02 c ---[ 309]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.03 c ---[ 307]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.03 c ---[ 305]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.03 c ---[ 303]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.04 c ---[ 301]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.04 c ---[ 299]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.04 c ---[ 297]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.05 c ---[ 295]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.05 c ---[ 293]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.05 c ---[ 291]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.06 c ---[ 289]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.06 c ---[ 287]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.06 c ---[ 285]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.07 c ---[ 283]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.07 c ---[ 281]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.08 c ---[ 279]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.08 c ---[ 277]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.08 c ---[ 275]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.09 c ---[ 273]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.09 c ---[ 271]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.09 c ---[ 269]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.10 c ---[ 267]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.10 c ---[ 265]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.10 c ---[ 263]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.11 c ---[ 261]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.11 c ---[ 259]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.11 c ---[ 257]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.12 c ---[ 255]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.12 c ---[ 253]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.13 c ---[ 251]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.13 c ---[ 249]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.13 c ---[ 247]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.14 c ---[ 245]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.14 c ---[ 243]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.14 c ---[ 241]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.15 c ---[ 239]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.15 c ---[ 237]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.15 c ---[ 235]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.16 c ---[ 233]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.16 c ---[ 231]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.16 c ---[ 229]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.17 c ---[ 227]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.17 c ---[ 225]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.18 c ---[ 223]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.18 c ---[ 221]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.18 c ---[ 219]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.19 c ---[ 217]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.19 c ---[ 215]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.19 c ---[ 213]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.20 c ---[ 211]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.20 c ---[ 209]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.20 c ---[ 207]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.21 c ---[ 205]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.21 c ---[ 203]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.21 c ---[ 201]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.22 c ---[ 199]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.22 c ---[ 197]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.23 c ---[ 195]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.23 c ---[ 193]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.23 c ---[ 191]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.24 c ---[ 189]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.24 c ---[ 187]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.24 c ---[ 185]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.25 c ---[ 183]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.25 c ---[ 181]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.25 c ---[ 179]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.26 c ---[ 177]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.26 c ---[ 175]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.26 c ---[ 173]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.27 c ---[ 171]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.27 c ---[ 169]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.28 c ---[ 167]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.28 c ---[ 165]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.28 c ---[ 163]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.29 c ---[ 161]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.29 c ---[ 159]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.29 c ---[ 157]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.30 c ---[ 155]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.30 c ---[ 153]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.30 c ---[ 151]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.31 c ---[ 149]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.31 c ---[ 147]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.31 c ---[ 145]---> Sorter-cost: 237 Base: 2 2 2 2 2 2 2 2 2 2 32.32 c ---[ 144]---> Adder-cost: 1364 maxlim: 3221677855 bits: 33/32 32.90 c ---[ 143]---> Adder-cost: 1364 maxlim: 3221677855 bits: 33/32 33.48 c ---[ 142]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 34.07 c ---[ 141]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 34.64 c ---[ 140]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 35.22 c ---[ 139]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 35.80 c ---[ 138]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 36.38 c ---[ 137]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 36.96 c ---[ 136]---> Adder-cost: 1244 maxlim: 3221677855 bits: 33/32 37.54 c ---[ 135]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 38.04 c ---[ 134]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 38.55 c ---[ 133]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 39.06 c ---[ 132]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 39.57 c ---[ 131]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 40.07 c ---[ 130]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 40.58 c ---[ 129]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 41.08 c ---[ 128]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 41.58 c ---[ 127]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 42.09 c ---[ 126]---> Adder-cost: 1364 maxlim: 3221677855 bits: 33/32 42.67 c ---[ 125]---> Adder-cost: 1364 maxlim: 3221677855 bits: 33/32 43.24 c ---[ 124]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 43.81 c ---[ 123]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 44.38 c ---[ 122]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 44.96 c ---[ 121]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 45.54 c ---[ 120]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 46.12 c ---[ 119]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 46.69 c ---[ 118]---> Adder-cost: 1244 maxlim: 3221677855 bits: 33/32 47.27 c ---[ 117]---> Adder-cost: 1380 maxlim: 4295118769 bits: 34/33 47.61 c ---[ 115]---> Adder-cost: 1380 maxlim: 4295149489 bits: 34/33 47.96 c ---[ 114]---> Adder-cost: 1378 maxlim: 4295159729 bits: 34/33 48.30 c ---[ 113]---> Adder-cost: 1378 maxlim: 4295139249 bits: 34/33 48.64 c ---[ 112]---> Adder-cost: 1378 maxlim: 4295123889 bits: 34/33 48.98 c ---[ 111]---> Adder-cost: 1378 maxlim: 4295118769 bits: 34/33 49.32 c ---[ 110]---> Adder-cost: 1378 maxlim: 4295118769 bits: 34/33 49.67 c ---[ 109]---> Adder-cost: 1378 maxlim: 4295118769 bits: 34/33 50.01 c ---[ 108]---> Adder-cost: 1376 maxlim: 4295118769 bits: 34/33 50.36 c ---[ 107]---> Adder-cost: 1380 maxlim: 4295118769 bits: 34/33 50.70 c ---[ 106]---> Adder-cost: 1380 maxlim: 4295118769 bits: 34/33 51.04 c ---[ 105]---> Adder-cost: 1378 maxlim: 4295118769 bits: 34/33 51.38 c ---[ 104]---> Adder-cost: 1378 maxlim: 4295118769 bits: 34/33 51.73 c ---[ 103]---> Adder-cost: 1378 maxlim: 4295118769 bits: 34/33 52.08 c ---[ 102]---> Adder-cost: 1378 maxlim: 4295118769 bits: 34/33 52.42 c ---[ 101]---> Adder-cost: 1378 maxlim: 4295118769 bits: 34/33 52.77 c ---[ 100]---> Adder-cost: 1378 maxlim: 4295118769 bits: 34/33 53.12 c ---[ 99]---> Adder-cost: 1376 maxlim: 4295118769 bits: 34/33 53.46 c ---[ 98]---> Adder-cost: 1380 maxlim: 4295118769 bits: 34/33 53.81 c ---[ 96]---> Adder-cost: 1380 maxlim: 4295129009 bits: 34/33 54.15 c ---[ 95]---> Adder-cost: 1378 maxlim: 4295129009 bits: 34/33 54.50 c ---[ 94]---> Adder-cost: 1378 maxlim: 4295129009 bits: 34/33 54.85 c ---[ 93]---> Adder-cost: 1378 maxlim: 4295129009 bits: 34/33 55.19 c ---[ 92]---> Adder-cost: 1378 maxlim: 4295129009 bits: 34/33 55.54 c ---[ 91]---> Adder-cost: 1378 maxlim: 4295139249 bits: 34/33 55.88 c ---[ 90]---> Adder-cost: 1378 maxlim: 4295149489 bits: 34/33 56.23 c ---[ 89]---> Adder-cost: 1376 maxlim: 4295123889 bits: 34/33 56.57 c ---[ 88]---> Adder-cost: 1008 maxlim: 3221362617 bits: 33/32 56.84 c ---[ 86]---> Adder-cost: 1008 maxlim: 3221372857 bits: 33/32 57.11 c ---[ 85]---> Adder-cost: 948 maxlim: 3221377977 bits: 33/32 57.38 c ---[ 84]---> Adder-cost: 948 maxlim: 3221383097 bits: 33/32 57.64 c ---[ 83]---> Adder-cost: 948 maxlim: 3221383097 bits: 33/32 57.91 c ---[ 82]---> Adder-cost: 948 maxlim: 3221383097 bits: 33/32 58.18 c ---[ 81]---> Adder-cost: 948 maxlim: 3221372857 bits: 33/32 58.44 c ---[ 80]---> Adder-cost: 948 maxlim: 3221372857 bits: 33/32 58.71 c ---[ 79]---> Adder-cost: 888 maxlim: 3221362617 bits: 33/32 58.98 c ---[ 78]---> Adder-cost: 1380 maxlim: 4295118769 bits: 34/33 59.32 c ---[ 76]---> Adder-cost: 1380 maxlim: 4295123889 bits: 34/33 59.67 c ---[ 75]---> Adder-cost: 1378 maxlim: 4295129009 bits: 34/33 60.01 c ---[ 74]---> Adder-cost: 1378 maxlim: 4295129009 bits: 34/33 60.36 c ---[ 73]---> Adder-cost: 1378 maxlim: 4295129009 bits: 34/33 60.70 c ---[ 72]---> Adder-cost: 1378 maxlim: 4295134129 bits: 34/33 61.05 c ---[ 71]---> Adder-cost: 1378 maxlim: 4295129009 bits: 34/33 61.40 c ---[ 70]---> Adder-cost: 1378 maxlim: 4295123889 bits: 34/33 61.74 c ---[ 69]---> Adder-cost: 1376 maxlim: 4295118769 bits: 34/33 62.08 c ---[ 68]---> Adder-cost: 1008 maxlim: 3221362617 bits: 33/32 62.35 c ---[ 67]---> Adder-cost: 1008 maxlim: 3221367737 bits: 33/32 62.61 c ---[ 66]---> Adder-cost: 948 maxlim: 3221372857 bits: 33/32 62.88 c ---[ 65]---> Adder-cost: 948 maxlim: 3221383097 bits: 33/32 63.14 c ---[ 64]---> Adder-cost: 948 maxlim: 3221393337 bits: 33/32 63.40 c ---[ 63]---> Adder-cost: 948 maxlim: 3221372857 bits: 33/32 63.67 c ---[ 62]---> Adder-cost: 948 maxlim: 3221367737 bits: 33/32 63.93 c ---[ 61]---> Adder-cost: 948 maxlim: 3221362617 bits: 33/32 64.20 c ---[ 60]---> Adder-cost: 888 maxlim: 3221362617 bits: 33/32 64.46 c ---[ 59]---> Adder-cost: 1364 maxlim: 3221677855 bits: 33/32 65.04 c ---[ 58]---> Adder-cost: 1364 maxlim: 3221677855 bits: 33/32 65.62 c ---[ 57]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 66.19 c ---[ 56]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 66.76 c ---[ 55]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 67.34 c ---[ 54]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 67.91 c ---[ 53]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 68.49 c ---[ 52]---> Adder-cost: 1304 maxlim: 3221677855 bits: 33/32 69.06 c ---[ 51]---> Adder-cost: 1244 maxlim: 3221677855 bits: 33/32 69.64 c ---[ 50]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 70.14 c ---[ 49]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 70.64 c ---[ 48]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 71.14 c ---[ 47]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 71.65 c ---[ 46]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 72.15 c ---[ 45]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 72.66 c ---[ 44]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 73.17 c ---[ 43]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 73.67 c ---[ 42]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 74.18 c ---[ 41]---> Adder-cost: 1380 maxlim: 4295118769 bits: 34/33 74.52 c ---[ 40]---> Adder-cost: 1380 maxlim: 4295129009 bits: 34/33 74.87 c ---[ 39]---> Adder-cost: 1378 maxlim: 4295139249 bits: 34/33 75.21 c ---[ 38]---> Adder-cost: 1378 maxlim: 4295149489 bits: 34/33 75.56 c ---[ 37]---> Adder-cost: 1378 maxlim: 4295169969 bits: 34/33 75.91 c ---[ 36]---> Adder-cost: 1378 maxlim: 4295139249 bits: 34/33 76.26 c ---[ 35]---> Adder-cost: 1378 maxlim: 4295149489 bits: 34/33 76.61 c ---[ 34]---> Adder-cost: 1378 maxlim: 4295129009 bits: 34/33 77.39 c ---[ 33]---> Adder-cost: 1376 maxlim: 4295123889 bits: 34/33 77.73 c ---[ 32]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 78.24 c ---[ 31]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 78.75 c ---[ 30]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 79.26 c ---[ 29]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 79.76 c ---[ 28]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 80.27 c ---[ 27]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 80.77 c ---[ 26]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 81.28 c ---[ 25]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 81.78 c ---[ 24]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 82.28 c ---[ 23]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 82.78 c ---[ 22]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 83.28 c ---[ 21]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 83.78 c ---[ 20]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 84.28 c ---[ 19]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 84.78 c ---[ 18]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 85.29 c ---[ 17]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 85.80 c ---[ 16]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 86.30 c ---[ 15]---> Adder-cost: 1080 maxlim: 2147905327 bits: 33/32 86.80 c ---[ 14]---> Adder-cost: 1380 maxlim: 4295118769 bits: 34/33 87.14 c ---[ 12]---> Adder-cost: 1380 maxlim: 4295123889 bits: 34/33 87.48 c ---[ 11]---> Adder-cost: 1378 maxlim: 4295123889 bits: 34/33 87.83 c ---[ 10]---> Adder-cost: 1378 maxlim: 4295123889 bits: 34/33 88.17 c ---[ 9]---> Adder-cost: 1378 maxlim: 4295129009 bits: 34/33 88.51 c ---[ 8]---> Adder-cost: 1378 maxlim: 4295123889 bits: 34/33 88.86 c ---[ 7]---> Adder-cost: 1378 maxlim: 4295123889 bits: 34/33 89.20 c ---[ 6]---> Adder-cost: 1378 maxlim: 4295118769 bits: 34/33 89.54 c ---[ 5]---> Adder-cost: 1376 maxlim: 4295118769 bits: 34/33 89.89 c ---[ 4]---> Adder-cost: 483 maxlim: 10239 bits: 15/14 90.00 c ---[ 3]---> Adder-cost: 483 maxlim: 10239 bits: 15/14 90.12 c ---[ 2]---> Adder-cost: 288 maxlim: 5119 bits: 14/13 90.18 c ---[ 1]---> Adder-cost: 435 maxlim: 5119 bits: 14/13 90.26 c ---[ 0]---> Adder-cost: 435 maxlim: 5119 bits: 14/13 94.10 c ==================================[MINISAT+]================================== 94.10 c | Conflicts | Original | Learnt | Progress | 94.10 c | | Clauses Literals | Max Clauses Literals LPC | | 94.10 c ============================================================================== 94.10 c | 0 | 4119796 11065123 | 1373265 0 0 nan | 0.000 % | 94.12 c | 100 | 4119796 11065123 | 1510591 100 905 9.1 | 3.000 % | 94.15 c | 250 | 4119796 11065123 | 1661650 250 1810 7.2 | 3.000 % | 94.40 c | 475 | 4119766 11065057 | 1827815 474 2777 5.9 | 3.000 % | 94.51 c | 812 | 4119766 11065057 | 2010597 811 3969 4.9 | 3.000 % | 95.03 c | 1319 | 4119752 11065026 | 2211657 1317 6426 4.9 | 3.001 % | 95.33 c | 2078 | 4119752 11065026 | 2432822 2076 10517 5.1 | 3.001 % | 96.23 c | 3217 | 4119735 11064989 | 2676104 3213 16699 5.2 | 3.001 % | 97.28 c | 4926 | 4119722 11064961 | 2943715 4921 25418 5.2 | 3.001 % | 99.91 c | 7489 | 4119656 11064813 | 3238087 7482 38667 5.2 | 3.003 % | 104.21 c | 11333 | 4119568 11064619 | 3561895 11323 83579 7.4 | 3.005 % | 112.54 c | 17099 | 4119499 11064467 | 3918085 17084 135770 7.9 | 3.006 % | 130.82 c | 25748 | 4119013 11063389 | 4309893 25716 209581 8.1 | 3.017 % | 160.68 c | 38723 | 4118795 11062907 | 4740883 38680 306324 7.9 | 3.022 % | 206.03 c | 58184 | 4117803 11060714 | 5214971 58092 488528 8.4 | 3.044 % | 269.18 c | 87376 | 4116705 11058286 | 5736468 87226 775107 8.9 | 3.069 % | 367.36 c | 131166 | 4114978 11054450 | 6310115 130930 1212012 9.3 | 3.107 % | 551.91 c | 196850 | 4112092 11048050 | 6941127 196470 1666813 8.5 | 3.171 % | 837.42 c | 295377 | 4109271 11041798 | 7635239 294845 2405785 8.2 | 3.236 % | 1319.93 c | 443166 | 4104052 11030195 | 8398763 442354 3732361 8.4 | 3.354 % | 1801.20 c 1801.20 c *** TERMINATED *** 1801.20 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node35/watcher-35750-1149309310 -o ROOT/results/node35/solver-35750-1149309310 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node35/35750-1149309310/instance-35750-1149309310.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.74 0.93 0.93 3/64 4339 /proc/meminfo: memFree=1513184/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=1048 CPUtime=0 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96 0 0 0 0 0 0 0 19 0 1 0 196594902 1073152 81 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 262 82 67 215 0 44 0 [startup+10.0029 s] /proc/loadavg: 0.78 0.93 0.93 2/64 4340 /proc/meminfo: memFree=1483168/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=32044 CPUtime=9.99 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 8630 0 0 0 995 4 0 0 25 0 1 0 196594902 32813056 7572 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 8011 7572 93 215 0 7793 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 32044 [startup+20.0091 s] /proc/loadavg: 0.81 0.93 0.93 2/64 4341 /proc/meminfo: memFree=1468904/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=46764 CPUtime=19.99 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 12897 0 0 0 1992 7 0 0 24 0 1 0 196594902 47886336 11180 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003239 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 11691 11180 93 215 0 11473 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 46764 [startup+30.0154 s] /proc/loadavg: 0.84 0.94 0.93 2/64 4341 /proc/meminfo: memFree=1451688/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=63792 CPUtime=29.94 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 18581 0 0 0 2984 10 0 0 25 0 1 0 196594902 65323008 15546 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003895 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 15948 15546 93 215 0 15730 0 Current children cumulated CPU time (s) 29.94 Current children cumulated vsize (Kb) 63792 [startup+40.0216 s] /proc/loadavg: 0.87 0.94 0.93 2/64 4341 /proc/meminfo: memFree=1446184/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=73516 CPUtime=39.94 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 19964 0 0 0 3983 11 0 0 25 0 1 0 196594902 75280384 16929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003878 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 18379 16929 109 215 0 18161 0 Current children cumulated CPU time (s) 39.94 Current children cumulated vsize (Kb) 73516 [startup+50.0278 s] /proc/loadavg: 0.89 0.94 0.93 2/64 4341 /proc/meminfo: memFree=1444840/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=74364 CPUtime=49.94 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 20303 0 0 0 4983 11 0 0 25 0 1 0 196594902 76148736 17268 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 18591 17268 109 215 0 18373 0 Current children cumulated CPU time (s) 49.94 Current children cumulated vsize (Kb) 74364 [startup+60.034 s] /proc/loadavg: 0.90 0.94 0.93 2/64 4341 /proc/meminfo: memFree=1443112/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=75424 CPUtime=59.95 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 20740 0 0 0 5984 11 0 0 25 0 1 0 196594902 77234176 17705 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134648467 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 18856 17705 109 215 0 18638 0 Current children cumulated CPU time (s) 59.95 Current children cumulated vsize (Kb) 75424 [startup+70.0402 s] /proc/loadavg: 0.92 0.94 0.93 2/64 4341 /proc/meminfo: memFree=1441768/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=76332 CPUtime=69.96 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 21077 0 0 0 6984 12 0 0 25 0 1 0 196594902 78163968 18042 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005892 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 19083 18042 109 215 0 18865 0 Current children cumulated CPU time (s) 69.96 Current children cumulated vsize (Kb) 76332 [startup+80.0464 s] /proc/loadavg: 0.93 0.94 0.93 2/64 4341 /proc/meminfo: memFree=1430056/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=87536 CPUtime=79.96 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 26616 0 0 0 7982 14 0 0 25 0 1 0 196594902 89636864 20944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005895 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 21884 20944 109 215 0 21666 0 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 87536 [startup+90.0526 s] /proc/loadavg: 0.94 0.94 0.93 2/64 4341 /proc/meminfo: memFree=1428712/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=88408 CPUtime=89.97 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 26953 0 0 0 8982 15 0 0 25 0 1 0 196594902 90529792 21281 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005240 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 22102 21281 109 215 0 21884 0 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 88408 [startup+100.059 s] /proc/loadavg: 0.95 0.95 0.93 2/64 4341 /proc/meminfo: memFree=1202984/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=348228 CPUtime=99.97 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 83268 0 0 0 9953 44 0 0 25 0 1 0 196594902 356585472 77596 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 87057 77596 124 215 0 86839 0 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 348228 [startup+110.065 s] /proc/loadavg: 0.96 0.95 0.93 2/64 4341 /proc/meminfo: memFree=1201320/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=349644 CPUtime=109.97 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 83683 0 0 0 10953 44 0 0 25 0 1 0 196594902 358035456 78011 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 87411 78011 124 215 0 87193 0 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 349644 [startup+120.071 s] /proc/loadavg: 0.96 0.95 0.93 2/64 4341 /proc/meminfo: memFree=1200488/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=350356 CPUtime=119.98 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 83882 0 0 0 11953 45 0 0 25 0 1 0 196594902 358764544 78210 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 87589 78210 124 215 0 87371 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 350356 [startup+130.078 s] /proc/loadavg: 0.97 0.95 0.93 2/64 4341 /proc/meminfo: memFree=1199592/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=351280 CPUtime=129.98 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 84117 0 0 0 12953 45 0 0 25 0 1 0 196594902 359710720 78445 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 87820 78445 124 215 0 87602 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 351280 [startup+140.084 s] /proc/loadavg: 0.97 0.95 0.93 2/64 4341 /proc/meminfo: memFree=1199016/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=351840 CPUtime=139.98 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 84252 0 0 0 13953 45 0 0 25 0 1 0 196594902 360284160 78580 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569822 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 87960 78580 124 215 0 87742 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 351840 [startup+150.09 s] /proc/loadavg: 0.98 0.95 0.93 2/64 4341 /proc/meminfo: memFree=1198376/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=352368 CPUtime=149.99 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 84407 0 0 0 14954 45 0 0 25 0 1 0 196594902 360824832 78735 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 88092 78735 124 215 0 87874 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 352368 [startup+160.096 s] /proc/loadavg: 0.98 0.95 0.93 2/64 4341 /proc/meminfo: memFree=1197800/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=352896 CPUtime=159.99 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 84564 0 0 0 15954 45 0 0 25 0 1 0 196594902 361365504 78892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 88224 78892 124 215 0 88006 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 352896 [startup+170.102 s] /proc/loadavg: 0.98 0.95 0.93 2/64 4341 /proc/meminfo: memFree=1196968/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=353636 CPUtime=169.99 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 84762 0 0 0 16954 45 0 0 25 0 1 0 196594902 362123264 79090 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 88409 79090 124 215 0 88191 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 353636 [startup+180.109 s] /proc/loadavg: 0.98 0.95 0.93 2/64 4341 /proc/meminfo: memFree=1196648/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=354032 CPUtime=179.99 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 84848 0 0 0 17954 45 0 0 25 0 1 0 196594902 362528768 79176 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573014 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 88508 79176 124 215 0 88290 0 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 354032 [startup+190.116 s] /proc/loadavg: 0.99 0.95 0.93 2/64 4341 /proc/meminfo: memFree=1195624/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=354956 CPUtime=190 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 85105 0 0 0 18954 46 0 0 25 0 1 0 196594902 363474944 79433 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569815 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 88739 79433 124 215 0 88521 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 354956 [startup+200.122 s] /proc/loadavg: 0.99 0.95 0.93 2/64 4341 /proc/meminfo: memFree=1195112/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=355352 CPUtime=200 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 85224 0 0 0 19954 46 0 0 25 0 1 0 196594902 363880448 79552 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 88838 79552 124 215 0 88620 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 355352 [startup+210.128 s] /proc/loadavg: 0.99 0.96 0.93 2/64 4341 /proc/meminfo: memFree=1194664/2055920 swapFree=4180888/4192956 ################ # More data... # ################ [pid=4339] ppid=4337 vsize=400644 CPUtime=1781.51 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96679 0 0 0 178087 64 0 0 25 0 1 0 196594902 410259456 91007 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581475 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100161 91007 124 215 0 99943 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 400644 [startup+1783.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148704/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400776 CPUtime=1782.51 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96681 0 0 0 178187 64 0 0 25 0 1 0 196594902 410394624 91009 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100194 91009 124 215 0 99976 0 Current children cumulated CPU time (s) 1782.51 Current children cumulated vsize (Kb) 400776 [startup+1784.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148704/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400776 CPUtime=1783.51 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96683 0 0 0 178287 64 0 0 25 0 1 0 196594902 410394624 91011 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100194 91011 124 215 0 99976 0 Current children cumulated CPU time (s) 1783.51 Current children cumulated vsize (Kb) 400776 [startup+1785.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148704/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400776 CPUtime=1784.52 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96686 0 0 0 178388 64 0 0 25 0 1 0 196594902 410394624 91014 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100194 91014 124 215 0 99976 0 Current children cumulated CPU time (s) 1784.52 Current children cumulated vsize (Kb) 400776 [startup+1786.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148704/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400776 CPUtime=1785.52 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96688 0 0 0 178488 64 0 0 25 0 1 0 196594902 410394624 91016 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100194 91016 124 215 0 99976 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (Kb) 400776 [startup+1787.13 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148704/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400776 CPUtime=1786.53 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96689 0 0 0 178589 64 0 0 25 0 1 0 196594902 410394624 91017 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588790 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100194 91017 124 215 0 99976 0 Current children cumulated CPU time (s) 1786.53 Current children cumulated vsize (Kb) 400776 [startup+1788.13 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148640/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400776 CPUtime=1787.53 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96692 0 0 0 178689 64 0 0 25 0 1 0 196594902 410394624 91020 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100194 91020 124 215 0 99976 0 Current children cumulated CPU time (s) 1787.53 Current children cumulated vsize (Kb) 400776 [startup+1789.14 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148640/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400776 CPUtime=1788.54 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96695 0 0 0 178790 64 0 0 25 0 1 0 196594902 410394624 91023 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100194 91023 124 215 0 99976 0 Current children cumulated CPU time (s) 1788.54 Current children cumulated vsize (Kb) 400776 [startup+1790.14 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148640/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400776 CPUtime=1789.54 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96704 0 0 0 178890 64 0 0 25 0 1 0 196594902 410394624 91032 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569789 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100194 91032 124 215 0 99976 0 Current children cumulated CPU time (s) 1789.54 Current children cumulated vsize (Kb) 400776 [startup+1791.15 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148576/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400776 CPUtime=1790.55 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96707 0 0 0 178991 64 0 0 25 0 1 0 196594902 410394624 91035 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100194 91035 124 215 0 99976 0 Current children cumulated CPU time (s) 1790.55 Current children cumulated vsize (Kb) 400776 [startup+1792.15 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148576/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400776 CPUtime=1791.55 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96711 0 0 0 179091 64 0 0 25 0 1 0 196594902 410394624 91039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580355 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100194 91039 124 215 0 99976 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (Kb) 400776 [startup+1793.16 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148576/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400908 CPUtime=1792.56 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96718 0 0 0 179192 64 0 0 25 0 1 0 196594902 410529792 91046 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581463 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100227 91046 124 215 0 100009 0 Current children cumulated CPU time (s) 1792.56 Current children cumulated vsize (Kb) 400908 [startup+1794.16 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148576/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400908 CPUtime=1793.56 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96721 0 0 0 179292 64 0 0 25 0 1 0 196594902 410529792 91049 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573016 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100227 91049 124 215 0 100009 0 Current children cumulated CPU time (s) 1793.56 Current children cumulated vsize (Kb) 400908 [startup+1795.17 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148512/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400908 CPUtime=1794.58 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96723 0 0 0 179393 65 0 0 25 0 1 0 196594902 410529792 91051 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100227 91051 124 215 0 100009 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 400908 [startup+1796.17 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148512/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400908 CPUtime=1795.58 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96726 0 0 0 179493 65 0 0 25 0 1 0 196594902 410529792 91054 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100227 91054 124 215 0 100009 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 400908 [startup+1797.18 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148512/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400908 CPUtime=1796.58 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96728 0 0 0 179593 65 0 0 25 0 1 0 196594902 410529792 91056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134589054 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100227 91056 124 215 0 100009 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (Kb) 400908 [startup+1798.18 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148512/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400908 CPUtime=1797.59 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96733 0 0 0 179694 65 0 0 25 0 1 0 196594902 410529792 91061 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100227 91061 124 215 0 100009 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 400908 [startup+1799.19 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148512/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400908 CPUtime=1798.59 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96736 0 0 0 179794 65 0 0 25 0 1 0 196594902 410529792 91064 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100227 91064 124 215 0 100009 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 400908 [startup+1800.19 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148448/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400908 CPUtime=1799.6 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96739 0 0 0 179895 65 0 0 25 0 1 0 196594902 410529792 91067 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588770 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100227 91067 124 215 0 100009 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 400908 [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148448/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400908 CPUtime=1800.6 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96742 0 0 0 179995 65 0 0 25 0 1 0 196594902 410529792 91070 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569748 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100227 91070 124 215 0 100009 0 Current children cumulated CPU time (s) 1800.6 Current children cumulated vsize (Kb) 400908 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.93 2/64 4536 /proc/meminfo: memFree=1148448/2055920 swapFree=4180888/4192956 [pid=4339] ppid=4337 vsize=400908 CPUtime=1800.61 /proc/4339/stat : 4339 (minisat+) R 4337 4339 4293 0 -1 4194304 96742 0 0 0 179996 65 0 0 25 0 1 0 196594902 410529792 91070 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4339/statm: 100227 91070 124 215 0 100009 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 400908 Sending SIGTERM to -4339 Sleeping 2 seconds Child status: 0 Real time (s): 1801.27 CPU time (s): 1800.68 CPU user time (s): 1799.96 CPU system time (s): 0.716891 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (Kb): 400908
Begin job on node35 on Sat Jun 3 04:35:10 UTC 2006 FILE ID= 35750-1149309310 PBS_JOBID= 307835 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node35/35750-1149309310/instance-35750-1149309310.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-35750-1149309310 -o ROOT/results/node35/solver-35750-1149309310 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node35/35750-1149309310/instance-35750-1149309310.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 69a6c7d8646ca0764023f06029f7c1d1 RANDOM SEED= 644367534 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1513392 kB Buffers: 28584 kB Cached: 445244 kB SwapCached: 3872 kB Active: 94608 kB Inactive: 388100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1513392 kB SwapTotal: 4192956 kB SwapFree: 4180888 kB Dirty: 312 kB Writeback: 0 kB Mapped: 14936 kB Slab: 45868 kB Committed_AS: 359704 kB PageTables: 1432 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node35 on Sat Jun 3 05:05:11 UTC 2006